Trace number 4302783

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.9.2-SuperNG? (TO) 252.077 225.743

General information on the benchmark

NameNurseRostering/
NurseRostering-14_c18.xml
MD5SUM22d4927d0bd5c0ea6a9359fe3e752ee5
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables2475
Number of constraints6489
Number of domains18
Minimum domain size1
Maximum domain size43
Distribution of domain sizes[{"size":1,"count":76},{"size":2,"count":551},{"size":3,"count":3},{"size":5,"count":1344},{"size":6,"count":17},{"size":11,"count":8},{"size":22,"count":34},{"size":33,"count":378},{"size":43,"count":64}]
Minimum variable degree2
Maximum variable degree27
Distribution of variable degrees[{"degree":2,"count":939},{"degree":3,"count":192},{"degree":14,"count":4},{"degree":15,"count":23},{"degree":16,"count":35},{"degree":17,"count":6},{"degree":18,"count":18},{"degree":19,"count":41},{"degree":20,"count":52},{"degree":21,"count":51},{"degree":22,"count":124},{"degree":23,"count":377},{"degree":24,"count":320},{"degree":25,"count":177},{"degree":26,"count":94},{"degree":27,"count":22}]
Minimum constraint arity2
Maximum constraint arity128
Distribution of constraint arities[{"arity":2,"count":2524},{"arity":3,"count":2080},{"arity":4,"count":273},{"arity":5,"count":32},{"arity":6,"count":957},{"arity":7,"count":252},{"arity":33,"count":210},{"arity":43,"count":160},{"arity":128,"count":1}]
Number of extensional constraints1522
Number of intensional constraints797
Distribution of constraint types[{"type":"extension","count":1522},{"type":"intension","count":797},{"type":"regular","count":2558},{"type":"sum","count":64},{"type":"count","count":1547},{"type":"instantiation","count":1}]
Optimization problemYES
Type of objectivemin SUM

Solver Data 

0.98/0.75	c Concrete v3.9.2.1532736233296 running
17.30/6.53	c 21:52:54.106 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18628. 'extension(4, x[1][24]=[0‥4]) :: init: true :: relation: MDD 745835029, 7 edges, 4 vertices, 5 tuples
17.30/6.53	c 21:52:54.111 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18629. 'extension(4, x[1][24]=[0‥4]) :: init: true :: relation: MDD 360233196, 5 edges, 3 vertices, 4 tuples
17.30/6.54	c 21:52:54.116 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18653. 'extension(x[0][9]=[0‥4], 4) :: init: true :: relation: MDD 696870185, 7 edges, 4 vertices, 5 tuples
17.30/6.54	c 21:52:54.117 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18682. 'extension(x[0][11]=[0‥4], 4) :: init: true :: relation: MDD 1243227501, 7 edges, 4 vertices, 5 tuples
17.30/6.54	c 21:52:54.117 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18683. 'extension(4, x[2][11]=[0‥4]) :: init: true :: relation: MDD 1243227501, 7 edges, 4 vertices, 5 tuples
17.30/6.54	c 21:52:54.119 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18714. 'extension(4, 4) :: init: true :: relation: MDD 1744457797, 7 edges, 4 vertices, 5 tuples
17.30/6.54	c 21:52:54.120 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18715. 'extension(4, 4) :: init: true :: relation: MDD 490475818, 5 edges, 3 vertices, 4 tuples
17.30/6.54	c 21:52:54.120 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18740. 'extension(x[0][23]=[0‥4], 4) :: init: true :: relation: MDD 1518204977, 7 edges, 4 vertices, 5 tuples
17.30/6.54	c 21:52:54.121 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18741. 'extension(4, x[2][23]=[0‥4]) :: init: true :: relation: MDD 1518204977, 7 edges, 4 vertices, 5 tuples
17.30/6.54	c 21:52:54.123 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18769. 'extension(4, x[3][9]=[0‥4]) :: init: true :: relation: MDD 696870185, 7 edges, 4 vertices, 5 tuples
17.30/6.54	c 21:52:54.124 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18772. 'extension(4, 4) :: init: true :: relation: MDD 696870185, 7 edges, 4 vertices, 5 tuples
17.30/6.55	c 21:52:54.125 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18800. 'extension(x[1][13]=[0‥4], 4) :: init: true :: relation: MDD 831993944, 7 edges, 4 vertices, 5 tuples
17.30/6.55	c 21:52:54.127 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18831. 'extension(4, x[3][20]=[0‥4]) :: init: true :: relation: MDD 1744457797, 7 edges, 4 vertices, 5 tuples
17.30/6.55	c 21:52:54.127 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18834. 'extension(4, 4) :: init: true :: relation: MDD 1744457797, 7 edges, 4 vertices, 5 tuples
17.30/6.55	c 21:52:54.129 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18862. 'extension(x[2][10]=[0‥4], 4) :: init: true :: relation: MDD 441683672, 7 edges, 4 vertices, 5 tuples
17.30/6.55	c 21:52:54.130 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18894. 'extension(4, x[4][13]=[0‥4]) :: init: true :: relation: MDD 831993944, 7 edges, 4 vertices, 5 tuples
17.30/6.55	c 21:52:54.131 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18897. 'extension(4, 4) :: init: true :: relation: MDD 831993944, 7 edges, 4 vertices, 5 tuples
17.30/6.56	c 21:52:54.133 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18929. 'extension(4, 4) :: init: true :: relation: MDD 441683672, 7 edges, 4 vertices, 5 tuples
17.30/6.56	c 21:52:54.135 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18959. 'extension(4, wk[10][0]=[0‥1]) :: init: true :: relation: MDD 1870812438, 5 edges, 3 vertices, 4 tuples
17.30/6.56	c 21:52:54.135 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18963. 'extension(4, 4) :: init: true :: relation: MDD 441683672, 7 edges, 4 vertices, 5 tuples
17.30/6.56	c 21:52:54.136 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18994. 'extension(4, wk[10][0]=[0‥1]) :: init: true :: relation: MDD 1657512321, 5 edges, 3 vertices, 4 tuples
17.30/6.56	c 21:52:54.137 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18995. 'extension(4, x[7][10]=[0‥4]) :: init: true :: relation: MDD 441683672, 7 edges, 4 vertices, 5 tuples
17.30/6.56	c 21:52:54.137 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18998. 'extension(4, 4) :: init: true :: relation: MDD 441683672, 7 edges, 4 vertices, 5 tuples
17.30/6.56	c 21:52:54.139 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19029. 'extension(4, wk[30][0]=[0‥1]) :: init: true :: relation: MDD 1633770314, 5 edges, 3 vertices, 4 tuples
17.30/6.56	c 21:52:54.140 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19030. 'extension(x[5][30]=[0‥4], 4) :: init: true :: relation: MDD 1568507411, 7 edges, 4 vertices, 5 tuples
17.30/6.56	c 21:52:54.140 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19031. 'extension(4, x[7][30]=[0‥4]) :: init: true :: relation: MDD 1568507411, 7 edges, 4 vertices, 5 tuples
17.30/6.56	c 21:52:54.142 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19063. 'extension(x[6][11]=[0‥4], 4) :: init: true :: relation: MDD 1243227501, 7 edges, 4 vertices, 5 tuples
17.30/6.56	c 21:52:54.143 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19064. 'extension(4, x[8][11]=[0‥4]) :: init: true :: relation: MDD 1243227501, 7 edges, 4 vertices, 5 tuples
17.30/6.57	c 21:52:54.145 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19097. 'extension(x[6][21]=[0‥4], 4) :: init: true :: relation: MDD 1544765522, 7 edges, 4 vertices, 5 tuples
17.30/6.57	c 21:52:54.145 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19098. 'extension(4, x[8][21]=[0‥4]) :: init: true :: relation: MDD 1544765522, 7 edges, 4 vertices, 5 tuples
17.30/6.57	c 21:52:54.148 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19133. 'extension(x[6][22]=[0‥4], 4) :: init: true :: relation: MDD 160867654, 7 edges, 4 vertices, 5 tuples
17.30/6.57	c 21:52:54.149 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19169. 'extension(x[6][31]=[0‥4], 4) :: init: true :: relation: MDD 1002872041, 7 edges, 4 vertices, 5 tuples
17.30/6.57	c 21:52:54.150 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19205. 'extension(4, 4) :: init: true :: relation: MDD 160867654, 7 edges, 4 vertices, 5 tuples
17.30/6.58	c 21:52:54.151 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19238. 'extension(x[7][30]=[0‥4], 4) :: init: true :: relation: MDD 1568507411, 7 edges, 4 vertices, 5 tuples
17.30/6.58	c 21:52:54.152 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19239. 'extension(4, x[9][30]=[0‥4]) :: init: true :: relation: MDD 1568507411, 7 edges, 4 vertices, 5 tuples
17.30/6.58	c 21:52:54.153 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19274. 'extension(4, 4) :: init: true :: relation: MDD 1002872041, 7 edges, 4 vertices, 5 tuples
17.30/6.58	c 21:52:54.154 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19307. 'extension(4, 4) :: init: true :: relation: MDD 160867654, 7 edges, 4 vertices, 5 tuples
17.30/6.58	c 21:52:54.155 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19343. 'extension(4, 4) :: init: true :: relation: MDD 1002872041, 7 edges, 4 vertices, 5 tuples
17.30/6.58	c 21:52:54.156 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19373. 'extension(x[9][6]=[0‥4], 4) :: init: true :: relation: MDD 1886186662, 7 edges, 4 vertices, 5 tuples
17.30/6.58	c 21:52:54.157 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19407. 'extension(4, x[11][22]=[0‥4]) :: init: true :: relation: MDD 160867654, 7 edges, 4 vertices, 5 tuples
17.30/6.58	c 21:52:54.158 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19410. 'extension(4, 4) :: init: true :: relation: MDD 160867654, 7 edges, 4 vertices, 5 tuples
17.30/6.58	c 21:52:54.160 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19443. 'extension(x[9][24]=[0‥4], 4) :: init: true :: relation: MDD 745835029, 7 edges, 4 vertices, 5 tuples
17.30/6.58	c 21:52:54.161 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19479. 'extension(4, x[11][31]=[0‥4]) :: init: true :: relation: MDD 1002872041, 7 edges, 4 vertices, 5 tuples
17.30/6.58	c 21:52:54.161 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19482. 'extension(4, 4) :: init: true :: relation: MDD 1002872041, 7 edges, 4 vertices, 5 tuples
17.30/6.58	c 21:52:54.163 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19512. 'extension(x[10][2]=[0‥4], 4) :: init: true :: relation: MDD 1710180594, 7 edges, 4 vertices, 5 tuples
17.30/6.58	c 21:52:54.164 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19513. 'extension(4, x[12][2]=[0‥4]) :: init: true :: relation: MDD 1710180594, 7 edges, 4 vertices, 5 tuples
17.30/6.59	c 21:52:54.166 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19546. 'extension(4, x[12][6]=[0‥4]) :: init: true :: relation: MDD 1886186662, 7 edges, 4 vertices, 5 tuples
17.30/6.59	c 21:52:54.166 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19549. 'extension(4, 4) :: init: true :: relation: MDD 1886186662, 7 edges, 4 vertices, 5 tuples
17.30/6.59	c 21:52:54.167 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19583. 'extension(4, 4) :: init: true :: relation: MDD 745835029, 7 edges, 4 vertices, 5 tuples
17.30/6.59	c 21:52:54.168 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19616. 'extension(x[10][25]=[0‥4], 4) :: init: true :: relation: MDD 217911413, 7 edges, 4 vertices, 5 tuples
17.30/6.59	c 21:52:54.169 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19617. 'extension(4, x[12][25]=[0‥4]) :: init: true :: relation: MDD 217911413, 7 edges, 4 vertices, 5 tuples
17.62/6.60	c 21:52:54.171 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19652. 'extension(4, wk[13][1]=[0‥1]) :: init: true :: relation: MDD 800990938, 5 edges, 3 vertices, 4 tuples
17.62/6.60	c 21:52:54.172 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19653. 'extension(x[11][13]=[0‥4], 4) :: init: true :: relation: MDD 831993944, 7 edges, 4 vertices, 5 tuples
17.62/6.60	c 21:52:54.173 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19687. 'extension(4, wk[24][1]=[0‥1]) :: init: true :: relation: MDD 1681259036, 5 edges, 3 vertices, 4 tuples
17.62/6.60	c 21:52:54.173 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19688. 'extension(4, x[13][24]=[0‥4]) :: init: true :: relation: MDD 745835029, 7 edges, 4 vertices, 5 tuples
17.62/6.60	c 21:52:54.174 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19691. 'extension(4, 4) :: init: true :: relation: MDD 745835029, 7 edges, 4 vertices, 5 tuples
17.62/6.60	c 21:52:54.176 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19724. 'extension(4, wk[5][1]=[0‥1]) :: init: true :: relation: MDD 86384329, 5 edges, 3 vertices, 4 tuples
17.62/6.60	c 21:52:54.177 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19725. 'extension(x[12][5]=[0‥4], 4) :: init: true :: relation: MDD 1729954747, 7 edges, 4 vertices, 5 tuples
17.62/6.60	c 21:52:54.177 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19726. 'extension(4, x[14][5]=[0‥4]) :: init: true :: relation: MDD 1729954747, 7 edges, 4 vertices, 5 tuples
17.62/6.60	c 21:52:54.179 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19759. 'extension(4, wk[13][1]=[0‥1]) :: init: true :: relation: MDD 1768142988, 5 edges, 3 vertices, 4 tuples
17.62/6.60	c 21:52:54.179 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19760. 'extension(4, x[14][13]=[0‥4]) :: init: true :: relation: MDD 831993944, 7 edges, 4 vertices, 5 tuples
17.62/6.60	c 21:52:54.180 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19763. 'extension(4, 4) :: init: true :: relation: MDD 831993944, 7 edges, 4 vertices, 5 tuples
17.62/6.60	c 21:52:54.182 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19794. 'extension(x[13][0]=[0‥4], 4) :: init: true :: relation: MDD 1781668126, 7 edges, 4 vertices, 5 tuples
17.62/6.60	c 21:52:54.183 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19828. 'extension(x[13][14]=[0‥4], 4) :: init: true :: relation: MDD 1999639763, 7 edges, 4 vertices, 5 tuples
17.62/6.61	c 21:52:54.184 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19862. 'extension(x[13][27]=[0‥4], 4) :: init: true :: relation: MDD 482885994, 7 edges, 4 vertices, 5 tuples
17.62/6.61	c 21:52:54.184 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19863. 'extension(4, x[15][27]=[0‥4]) :: init: true :: relation: MDD 482885994, 7 edges, 4 vertices, 5 tuples
17.62/6.61	c 21:52:54.186 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19898. 'extension(4, 4) :: init: true :: relation: MDD 1781668126, 7 edges, 4 vertices, 5 tuples
17.62/6.61	c 21:52:54.187 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19932. 'extension(4, 4) :: init: true :: relation: MDD 1999639763, 7 edges, 4 vertices, 5 tuples
17.62/6.61	c 21:52:54.188 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19966. 'extension(4, 4) :: init: true :: relation: MDD 1781668126, 7 edges, 4 vertices, 5 tuples
17.62/6.61	c 21:52:54.188 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19997. 'extension(x[15][2]=[0‥4], 4) :: init: true :: relation: MDD 1710180594, 7 edges, 4 vertices, 5 tuples
17.62/6.61	c 21:52:54.189 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20034. 'extension(4, 4) :: init: true :: relation: MDD 1999639763, 7 edges, 4 vertices, 5 tuples
17.62/6.61	c 21:52:54.191 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20065. 'extension(4, x[18][0]=[0‥4]) :: init: true :: relation: MDD 1781668126, 7 edges, 4 vertices, 5 tuples
17.62/6.61	c 21:52:54.191 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20068. 'extension(4, 4) :: init: true :: relation: MDD 1781668126, 7 edges, 4 vertices, 5 tuples
17.62/6.61	c 21:52:54.193 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20099. 'extension(4, x[18][2]=[0‥4]) :: init: true :: relation: MDD 1710180594, 7 edges, 4 vertices, 5 tuples
17.62/6.61	c 21:52:54.193 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20102. 'extension(4, 4) :: init: true :: relation: MDD 1710180594, 7 edges, 4 vertices, 5 tuples
17.62/6.62	c 21:52:54.194 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20133. 'extension(x[16][4]=[0‥4], 4) :: init: true :: relation: MDD 1940906679, 7 edges, 4 vertices, 5 tuples
17.62/6.62	c 21:52:54.195 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20167. 'extension(4, x[18][14]=[0‥4]) :: init: true :: relation: MDD 1999639763, 7 edges, 4 vertices, 5 tuples
17.62/6.62	c 21:52:54.196 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20170. 'extension(4, 4) :: init: true :: relation: MDD 1999639763, 7 edges, 4 vertices, 5 tuples
17.62/6.63	c 21:52:54.197 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20201. 'extension(x[16][29]=[0‥4], 4) :: init: true :: relation: MDD 1756064432, 7 edges, 4 vertices, 5 tuples
17.62/6.63	c 21:52:54.199 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20234. 'extension(x[17][3]=[0‥4], 4) :: init: true :: relation: MDD 1032382137, 7 edges, 4 vertices, 5 tuples
17.62/6.63	c 21:52:54.199 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20271. 'extension(4, 4) :: init: true :: relation: MDD 1940906679, 7 edges, 4 vertices, 5 tuples
17.62/6.63	c 21:52:54.200 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20305. 'extension(4, 4) :: init: true :: relation: MDD 1756064432, 7 edges, 4 vertices, 5 tuples
17.62/6.63	c 21:52:54.201 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20335. 'extension(4, wk[1][2]=[0‥1]) :: init: true :: relation: MDD 1293251731, 5 edges, 3 vertices, 4 tuples
17.62/6.63	c 21:52:54.201 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20336. 'extension(x[18][1]=[0‥4], 4) :: init: true :: relation: MDD 1681318273, 7 edges, 4 vertices, 5 tuples
17.62/6.63	c 21:52:54.202 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20370. 'extension(4, wk[3][2]=[0‥1]) :: init: true :: relation: MDD 2028767654, 5 edges, 3 vertices, 4 tuples
17.62/6.63	c 21:52:54.202 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20374. 'extension(4, 4) :: init: true :: relation: MDD 1032382137, 7 edges, 4 vertices, 5 tuples
17.62/6.63	c 21:52:54.203 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20405. 'extension(4, wk[4][2]=[0‥1]) :: init: true :: relation: MDD 581770158, 5 edges, 3 vertices, 4 tuples
17.62/6.63	c 21:52:54.203 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20409. 'extension(4, 4) :: init: true :: relation: MDD 1940906679, 7 edges, 4 vertices, 5 tuples
17.62/6.63	c 21:52:54.203 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20440. 'extension(4, wk[18][2]=[0‥1]) :: init: true :: relation: MDD 1375503918, 5 edges, 3 vertices, 4 tuples
17.62/6.63	c 21:52:54.204 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20441. 'extension(x[18][18]=[0‥4], 4) :: init: true :: relation: MDD 1190857779, 7 edges, 4 vertices, 5 tuples
17.62/6.63	c 21:52:54.204 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20442. 'extension(4, x[20][18]=[0‥4]) :: init: true :: relation: MDD 1190857779, 7 edges, 4 vertices, 5 tuples
17.62/6.63	c 21:52:54.206 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20475. 'extension(4, wk[29][2]=[0‥1]) :: init: true :: relation: MDD 2034610694, 5 edges, 3 vertices, 4 tuples
17.62/6.63	c 21:52:54.206 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20479. 'extension(4, 4) :: init: true :: relation: MDD 1756064432, 7 edges, 4 vertices, 5 tuples
17.62/6.63	c 21:52:54.207 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20509. 'extension(4, wk[1][2]=[0‥1]) :: init: true :: relation: MDD 926188689, 5 edges, 3 vertices, 4 tuples
17.62/6.63	c 21:52:54.207 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20510. 'extension(4, x[21][1]=[0‥4]) :: init: true :: relation: MDD 1681318273, 7 edges, 4 vertices, 5 tuples
17.62/6.63	c 21:52:54.208 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20513. 'extension(4, 4) :: init: true :: relation: MDD 1681318273, 7 edges, 4 vertices, 5 tuples
17.62/6.63	c 21:52:54.209 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20544. 'extension(4, wk[3][2]=[0‥1]) :: init: true :: relation: MDD 1916269505, 5 edges, 3 vertices, 4 tuples
17.62/6.63	c 21:52:54.209 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20548. 'extension(4, 4) :: init: true :: relation: MDD 1032382137, 7 edges, 4 vertices, 5 tuples
17.62/6.63	c 21:52:54.210 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20579. 'extension(4, wk[4][2]=[0‥1]) :: init: true :: relation: MDD 1505774574, 5 edges, 3 vertices, 4 tuples
17.62/6.63	c 21:52:54.210 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20580. 'extension(4, x[21][4]=[0‥4]) :: init: true :: relation: MDD 1940906679, 7 edges, 4 vertices, 5 tuples
17.62/6.63	c 21:52:54.211 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20583. 'extension(4, 4) :: init: true :: relation: MDD 1940906679, 7 edges, 4 vertices, 5 tuples
17.62/6.63	c 21:52:54.212 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20614. 'extension(4, wk[15][2]=[0‥1]) :: init: true :: relation: MDD 1576936424, 5 edges, 3 vertices, 4 tuples
17.62/6.63	c 21:52:54.212 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20615. 'extension(x[19][15]=[0‥4], 4) :: init: true :: relation: MDD 1374115041, 7 edges, 4 vertices, 5 tuples
17.62/6.63	c 21:52:54.212 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20616. 'extension(4, x[21][15]=[0‥4]) :: init: true :: relation: MDD 1374115041, 7 edges, 4 vertices, 5 tuples
17.62/6.63	c 21:52:54.214 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20649. 'extension(4, wk[29][2]=[0‥1]) :: init: true :: relation: MDD 1292487390, 5 edges, 3 vertices, 4 tuples
17.62/6.63	c 21:52:54.214 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20650. 'extension(4, x[21][29]=[0‥4]) :: init: true :: relation: MDD 1756064432, 7 edges, 4 vertices, 5 tuples
17.62/6.64	c 21:52:54.215 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20653. 'extension(4, 4) :: init: true :: relation: MDD 1756064432, 7 edges, 4 vertices, 5 tuples
17.62/6.64	c 21:52:54.217 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20683. 'extension(4, x[22][3]=[0‥4]) :: init: true :: relation: MDD 1032382137, 7 edges, 4 vertices, 5 tuples
17.62/6.64	c 21:52:54.217 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20686. 'extension(4, 4) :: init: true :: relation: MDD 1032382137, 7 edges, 4 vertices, 5 tuples
17.62/6.64	c 21:52:54.219 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20717. 'extension(x[20][30]=[0‥4], 4) :: init: true :: relation: MDD 1568507411, 7 edges, 4 vertices, 5 tuples
17.62/6.64	c 21:52:54.219 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20718. 'extension(4, x[22][30]=[0‥4]) :: init: true :: relation: MDD 1568507411, 7 edges, 4 vertices, 5 tuples
17.62/6.64	c 21:52:54.221 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20750. 'extension(x[22][12]=[0‥4], 4) :: init: true :: relation: MDD 1935994577, 7 edges, 4 vertices, 5 tuples
17.62/6.64	c 21:52:54.222 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20784. 'extension(x[23][5]=[0‥4], 4) :: init: true :: relation: MDD 1729954747, 7 edges, 4 vertices, 5 tuples
17.62/6.64	c 21:52:54.222 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20821. 'extension(4, 4) :: init: true :: relation: MDD 1935994577, 7 edges, 4 vertices, 5 tuples
17.62/6.64	c 21:52:54.223 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20852. 'extension(x[23][18]=[0‥4], 4) :: init: true :: relation: MDD 1190857779, 7 edges, 4 vertices, 5 tuples
17.62/6.64	c 21:52:54.224 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20886. 'extension(x[23][27]=[0‥4], 4) :: init: true :: relation: MDD 482885994, 7 edges, 4 vertices, 5 tuples
17.62/6.65	c 21:52:54.225 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20922. 'extension(4, 4) :: init: true :: relation: MDD 1729954747, 7 edges, 4 vertices, 5 tuples
17.62/6.65	c 21:52:54.225 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20953. 'extension(x[24][11]=[0‥4], 4) :: init: true :: relation: MDD 1243227501, 7 edges, 4 vertices, 5 tuples
17.62/6.65	c 21:52:54.226 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20990. 'extension(4, 4) :: init: true :: relation: MDD 1935994577, 7 edges, 4 vertices, 5 tuples
17.62/6.65	c 21:52:54.226 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21024. 'extension(4, 4) :: init: true :: relation: MDD 1190857779, 7 edges, 4 vertices, 5 tuples
17.62/6.65	c 21:52:54.227 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21055. 'extension(4, x[26][27]=[0‥4]) :: init: true :: relation: MDD 482885994, 7 edges, 4 vertices, 5 tuples
17.62/6.65	c 21:52:54.228 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21058. 'extension(4, 4) :: init: true :: relation: MDD 482885994, 7 edges, 4 vertices, 5 tuples
17.62/6.65	c 21:52:54.229 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21088. 'extension(x[24][30]=[0‥4], 4) :: init: true :: relation: MDD 1568507411, 7 edges, 4 vertices, 5 tuples
17.62/6.65	c 21:52:54.229 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21089. 'extension(4, x[26][30]=[0‥4]) :: init: true :: relation: MDD 1568507411, 7 edges, 4 vertices, 5 tuples
17.62/6.65	c 21:52:54.231 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21121. 'extension(4, wk[5][3]=[0‥1]) :: init: true :: relation: MDD 1322907569, 5 edges, 3 vertices, 4 tuples
17.62/6.65	c 21:52:54.231 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21122. 'extension(4, x[27][5]=[0‥4]) :: init: true :: relation: MDD 1729954747, 7 edges, 4 vertices, 5 tuples
17.62/6.65	c 21:52:54.232 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21125. 'extension(4, 4) :: init: true :: relation: MDD 1729954747, 7 edges, 4 vertices, 5 tuples
17.62/6.66	c 21:52:54.233 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21156. 'extension(4, wk[8][3]=[0‥1]) :: init: true :: relation: MDD 1599728268, 5 edges, 3 vertices, 4 tuples
17.62/6.66	c 21:52:54.234 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21157. 'extension(x[25][8]=[0‥4], 4) :: init: true :: relation: MDD 1155300221, 7 edges, 4 vertices, 5 tuples
17.62/6.66	c 21:52:54.235 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21191. 'extension(4, wk[11][3]=[0‥1]) :: init: true :: relation: MDD 726483751, 5 edges, 3 vertices, 4 tuples
17.62/6.66	c 21:52:54.235 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21192. 'extension(4, x[27][11]=[0‥4]) :: init: true :: relation: MDD 1243227501, 7 edges, 4 vertices, 5 tuples
17.62/6.66	c 21:52:54.239 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21195. 'extension(4, 4) :: init: true :: relation: MDD 1243227501, 7 edges, 4 vertices, 5 tuples
17.62/6.67	c 21:52:54.241 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21226. 'extension(4, wk[12][3]=[0‥1]) :: init: true :: relation: MDD 1371397528, 5 edges, 3 vertices, 4 tuples
17.62/6.67	c 21:52:54.242 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21227. 'extension(4, x[27][12]=[0‥4]) :: init: true :: relation: MDD 1935994577, 7 edges, 4 vertices, 5 tuples
17.62/6.67	c 21:52:54.242 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21230. 'extension(4, 4) :: init: true :: relation: MDD 1935994577, 7 edges, 4 vertices, 5 tuples
17.62/6.67	c 21:52:54.243 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21261. 'extension(4, wk[18][3]=[0‥1]) :: init: true :: relation: MDD 496556704, 5 edges, 3 vertices, 4 tuples
17.62/6.67	c 21:52:54.244 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21262. 'extension(4, x[27][18]=[0‥4]) :: init: true :: relation: MDD 1190857779, 7 edges, 4 vertices, 5 tuples
17.62/6.67	c 21:52:54.244 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21265. 'extension(4, 4) :: init: true :: relation: MDD 1190857779, 7 edges, 4 vertices, 5 tuples
17.62/6.67	c 21:52:54.246 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21296. 'extension(4, wk[26][3]=[0‥1]) :: init: true :: relation: MDD 1641776831, 5 edges, 3 vertices, 4 tuples
17.62/6.67	c 21:52:54.246 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21297. 'extension(x[25][26]=[0‥4], 4) :: init: true :: relation: MDD 137685382, 7 edges, 4 vertices, 5 tuples
17.62/6.67	c 21:52:54.246 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21298. 'extension(4, x[27][26]=[0‥4]) :: init: true :: relation: MDD 137685382, 7 edges, 4 vertices, 5 tuples
17.62/6.67	c 21:52:54.249 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21333. 'extension(4, wk[8][3]=[0‥1]) :: init: true :: relation: MDD 1694102613, 5 edges, 3 vertices, 4 tuples
17.62/6.67	c 21:52:54.249 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21337. 'extension(4, 4) :: init: true :: relation: MDD 1155300221, 7 edges, 4 vertices, 5 tuples
17.62/6.67	c 21:52:54.250 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21368. 'extension(4, wk[16][3]=[0‥1]) :: init: true :: relation: MDD 2133998394, 5 edges, 3 vertices, 4 tuples
17.62/6.67	c 21:52:54.250 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21369. 'extension(x[26][16]=[0‥4], 4) :: init: true :: relation: MDD 202395890, 7 edges, 4 vertices, 5 tuples
17.62/6.67	c 21:52:54.251 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21403. 'extension(4, x[29][8]=[0‥4]) :: init: true :: relation: MDD 1155300221, 7 edges, 4 vertices, 5 tuples
17.62/6.67	c 21:52:54.251 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21406. 'extension(4, 4) :: init: true :: relation: MDD 1155300221, 7 edges, 4 vertices, 5 tuples
17.62/6.67	c 21:52:54.252 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21437. 'extension(4, x[29][16]=[0‥4]) :: init: true :: relation: MDD 202395890, 7 edges, 4 vertices, 5 tuples
17.62/6.67	c 21:52:54.253 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21440. 'extension(4, 4) :: init: true :: relation: MDD 202395890, 7 edges, 4 vertices, 5 tuples
17.62/6.67	c 21:52:54.253 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21471. 'extension(x[27][19]=[0‥4], 4) :: init: true :: relation: MDD 1106510750, 7 edges, 4 vertices, 5 tuples
17.62/6.67	c 21:52:54.254 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21472. 'extension(4, x[29][19]=[0‥4]) :: init: true :: relation: MDD 1106510750, 7 edges, 4 vertices, 5 tuples
17.62/6.68	c 21:52:54.255 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21505. 'extension(x[28][17]=[0‥4], 4) :: init: true :: relation: MDD 1872905355, 7 edges, 4 vertices, 5 tuples
17.62/6.68	c 21:52:54.256 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21542. 'extension(4, 4) :: init: true :: relation: MDD 1872905355, 7 edges, 4 vertices, 5 tuples
17.62/6.68	c 21:52:54.257 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21573. 'extension(x[29][21]=[0‥4], 4) :: init: true :: relation: MDD 1544765522, 7 edges, 4 vertices, 5 tuples
17.62/6.68	c 21:52:54.257 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21574. 'extension(4, x[31][21]=[0‥4]) :: init: true :: relation: MDD 1544765522, 7 edges, 4 vertices, 5 tuples
17.62/6.68	c 21:52:54.259 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21609. 'extension(x[29][23]=[0‥4], 4) :: init: true :: relation: MDD 1518204977, 7 edges, 4 vertices, 5 tuples
17.62/6.68	c 21:52:54.260 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21645. 'extension(x[30][8]=[0‥4], 4) :: init: true :: relation: MDD 1155300221, 7 edges, 4 vertices, 5 tuples
17.62/6.68	c 21:52:54.260 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21646. 'extension(4, x[32][8]=[0‥4]) :: init: true :: relation: MDD 1155300221, 7 edges, 4 vertices, 5 tuples
17.62/6.68	c 21:52:54.262 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21679. 'extension(x[30][9]=[0‥4], 4) :: init: true :: relation: MDD 696870185, 7 edges, 4 vertices, 5 tuples
17.62/6.68	c 21:52:54.263 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21713. 'extension(x[30][16]=[0‥4], 4) :: init: true :: relation: MDD 202395890, 7 edges, 4 vertices, 5 tuples
17.62/6.68	c 21:52:54.263 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21750. 'extension(4, 4) :: init: true :: relation: MDD 1872905355, 7 edges, 4 vertices, 5 tuples
17.62/6.68	c 21:52:54.264 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21781. 'extension(x[30][19]=[0‥4], 4) :: init: true :: relation: MDD 1106510750, 7 edges, 4 vertices, 5 tuples
17.62/6.68	c 21:52:54.264 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21818. 'extension(4, 4) :: init: true :: relation: MDD 1518204977, 7 edges, 4 vertices, 5 tuples
17.62/6.69	c 21:52:54.265 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21851. 'extension(4, x[33][9]=[0‥4]) :: init: true :: relation: MDD 696870185, 7 edges, 4 vertices, 5 tuples
17.62/6.69	c 21:52:54.266 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21854. 'extension(4, 4) :: init: true :: relation: MDD 696870185, 7 edges, 4 vertices, 5 tuples
17.62/6.69	c 21:52:54.267 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21885. 'extension(4, x[33][16]=[0‥4]) :: init: true :: relation: MDD 202395890, 7 edges, 4 vertices, 5 tuples
17.62/6.69	c 21:52:54.267 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21888. 'extension(4, 4) :: init: true :: relation: MDD 202395890, 7 edges, 4 vertices, 5 tuples
17.62/6.69	c 21:52:54.269 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21919. 'extension(4, x[33][17]=[0‥4]) :: init: true :: relation: MDD 1872905355, 7 edges, 4 vertices, 5 tuples
17.62/6.69	c 21:52:54.269 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21922. 'extension(4, 4) :: init: true :: relation: MDD 1872905355, 7 edges, 4 vertices, 5 tuples
17.62/6.69	c 21:52:54.270 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21956. 'extension(4, 4) :: init: true :: relation: MDD 1106510750, 7 edges, 4 vertices, 5 tuples
17.62/6.70	c 21:52:54.271 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21987. 'extension(4, x[33][23]=[0‥4]) :: init: true :: relation: MDD 1518204977, 7 edges, 4 vertices, 5 tuples
17.62/6.70	c 21:52:54.271 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21990. 'extension(4, 4) :: init: true :: relation: MDD 1518204977, 7 edges, 4 vertices, 5 tuples
17.62/6.70	c 21:52:54.273 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22023. 'extension(x[31][27]=[0‥4], 4) :: init: true :: relation: MDD 482885994, 7 edges, 4 vertices, 5 tuples
17.62/6.70	c 21:52:54.273 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22024. 'extension(4, x[33][27]=[0‥4]) :: init: true :: relation: MDD 482885994, 7 edges, 4 vertices, 5 tuples
17.62/6.70	c 21:52:54.275 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22056. 'extension(4, wk[15][4]=[0‥1]) :: init: true :: relation: MDD 1741892180, 5 edges, 3 vertices, 4 tuples
17.62/6.70	c 21:52:54.276 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22057. 'extension(x[32][15]=[0‥4], 4) :: init: true :: relation: MDD 1374115041, 7 edges, 4 vertices, 5 tuples
17.62/6.70	c 21:52:54.276 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22091. 'extension(4, wk[19][4]=[0‥1]) :: init: true :: relation: MDD 1756837032, 5 edges, 3 vertices, 4 tuples
17.62/6.70	c 21:52:54.276 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22092. 'extension(4, x[34][19]=[0‥4]) :: init: true :: relation: MDD 1106510750, 7 edges, 4 vertices, 5 tuples
17.62/6.70	c 21:52:54.277 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22095. 'extension(4, 4) :: init: true :: relation: MDD 1106510750, 7 edges, 4 vertices, 5 tuples
17.62/6.70	c 21:52:54.278 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22126. 'extension(4, wk[15][4]=[0‥1]) :: init: true :: relation: MDD 659763564, 5 edges, 3 vertices, 4 tuples
17.97/6.70	c 21:52:54.279 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22130. 'extension(4, 4) :: init: true :: relation: MDD 1374115041, 7 edges, 4 vertices, 5 tuples
17.97/6.70	c 21:52:54.279 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22161. 'extension(4, wk[21][4]=[0‥1]) :: init: true :: relation: MDD 704530496, 5 edges, 3 vertices, 4 tuples
17.97/6.71	c 21:52:54.280 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22162. 'extension(x[33][21]=[0‥4], 4) :: init: true :: relation: MDD 1544765522, 7 edges, 4 vertices, 5 tuples
17.97/6.71	c 21:52:54.280 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22198. 'extension(4, wk[28][4]=[0‥1]) :: init: true :: relation: MDD 497104907, 5 edges, 3 vertices, 4 tuples
17.97/6.71	c 21:52:54.281 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22199. 'extension(x[33][28]=[0‥4], 4) :: init: true :: relation: MDD 663083782, 7 edges, 4 vertices, 5 tuples
17.97/6.71	c 21:52:54.282 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22232. 'extension(x[34][7]=[0‥4], 4) :: init: true :: relation: MDD 2012528704, 7 edges, 4 vertices, 5 tuples
17.97/6.71	c 21:52:54.282 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22266. 'extension(4, x[36][15]=[0‥4]) :: init: true :: relation: MDD 1374115041, 7 edges, 4 vertices, 5 tuples
17.97/6.71	c 21:52:54.283 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22269. 'extension(4, 4) :: init: true :: relation: MDD 1374115041, 7 edges, 4 vertices, 5 tuples
17.97/6.71	c 21:52:54.284 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22300. 'extension(4, x[36][21]=[0‥4]) :: init: true :: relation: MDD 1544765522, 7 edges, 4 vertices, 5 tuples
17.97/6.71	c 21:52:54.284 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22303. 'extension(4, 4) :: init: true :: relation: MDD 1544765522, 7 edges, 4 vertices, 5 tuples
17.97/6.71	c 21:52:54.286 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22339. 'extension(4, 4) :: init: true :: relation: MDD 663083782, 7 edges, 4 vertices, 5 tuples
17.97/6.71	c 21:52:54.286 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22372. 'extension(4, 4) :: init: true :: relation: MDD 2012528704, 7 edges, 4 vertices, 5 tuples
17.97/6.71	c 21:52:54.287 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22403. 'extension(x[35][25]=[0‥4], 4) :: init: true :: relation: MDD 217911413, 7 edges, 4 vertices, 5 tuples
17.97/6.71	c 21:52:54.288 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22441. 'extension(4, 4) :: init: true :: relation: MDD 663083782, 7 edges, 4 vertices, 5 tuples
17.97/6.71	c 21:52:54.288 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22474. 'extension(4, 4) :: init: true :: relation: MDD 2012528704, 7 edges, 4 vertices, 5 tuples
17.97/6.71	c 21:52:54.289 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22504. 'extension(x[36][20]=[0‥4], 4) :: init: true :: relation: MDD 1744457797, 7 edges, 4 vertices, 5 tuples
17.97/6.71	c 21:52:54.289 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22505. 'extension(4, x[38][20]=[0‥4]) :: init: true :: relation: MDD 1744457797, 7 edges, 4 vertices, 5 tuples
17.97/6.71	c 21:52:54.291 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22541. 'extension(4, 4) :: init: true :: relation: MDD 217911413, 7 edges, 4 vertices, 5 tuples
17.97/6.71	c 21:52:54.291 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22572. 'extension(4, x[38][28]=[0‥4]) :: init: true :: relation: MDD 663083782, 7 edges, 4 vertices, 5 tuples
17.97/6.71	c 21:52:54.292 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22575. 'extension(4, 4) :: init: true :: relation: MDD 663083782, 7 edges, 4 vertices, 5 tuples
17.97/6.71	c 21:52:54.293 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22604. 'extension(4, x[39][7]=[0‥4]) :: init: true :: relation: MDD 2012528704, 7 edges, 4 vertices, 5 tuples
17.97/6.71	c 21:52:54.294 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22607. 'extension(4, 4) :: init: true :: relation: MDD 2012528704, 7 edges, 4 vertices, 5 tuples
17.97/6.72	c 21:52:54.295 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22636. 'extension(4, x[39][25]=[0‥4]) :: init: true :: relation: MDD 217911413, 7 edges, 4 vertices, 5 tuples
17.97/6.72	c 21:52:54.295 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22639. 'extension(4, 4) :: init: true :: relation: MDD 217911413, 7 edges, 4 vertices, 5 tuples
17.97/6.72	c 21:52:54.297 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22669. 'extension(x[38][1]=[0‥4], 4) :: init: true :: relation: MDD 1681318273, 7 edges, 4 vertices, 5 tuples
17.97/6.72	c 21:52:54.297 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22700. 'extension(x[38][6]=[0‥4], 4) :: init: true :: relation: MDD 1886186662, 7 edges, 4 vertices, 5 tuples
17.97/6.72	c 21:52:54.298 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22731. 'extension(x[38][26]=[0‥4], 4) :: init: true :: relation: MDD 137685382, 7 edges, 4 vertices, 5 tuples
17.97/6.72	c 21:52:54.299 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22762. 'extension(4, wk[1][5]=[0‥1]) :: init: true :: relation: MDD 1661728387, 5 edges, 3 vertices, 4 tuples
17.97/6.72	c 21:52:54.299 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22763. 'extension(4, x[41][1]=[0‥4]) :: init: true :: relation: MDD 1681318273, 7 edges, 4 vertices, 5 tuples
17.97/6.72	c 21:52:54.299 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22765. 'extension(4, 4) :: init: true :: relation: MDD 1681318273, 7 edges, 4 vertices, 5 tuples
17.97/6.72	c 21:52:54.300 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22792. 'extension(4, wk[2][5]=[0‥1]) :: init: true :: relation: MDD 232042179, 5 edges, 3 vertices, 4 tuples
17.97/6.72	c 21:52:54.301 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22793. 'extension(x[39][2]=[0‥4], 4) :: init: true :: relation: MDD 1710180594, 7 edges, 4 vertices, 5 tuples
17.97/6.72	c 21:52:54.301 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22794. 'extension(4, x[41][2]=[0‥4]) :: init: true :: relation: MDD 1710180594, 7 edges, 4 vertices, 5 tuples
17.97/6.72	c 21:52:54.302 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22822. 'extension(4, wk[6][5]=[0‥1]) :: init: true :: relation: MDD 1924563758, 5 edges, 3 vertices, 4 tuples
17.97/6.72	c 21:52:54.302 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22823. 'extension(4, x[41][6]=[0‥4]) :: init: true :: relation: MDD 1886186662, 7 edges, 4 vertices, 5 tuples
17.97/6.72	c 21:52:54.303 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22825. 'extension(4, 4) :: init: true :: relation: MDD 1886186662, 7 edges, 4 vertices, 5 tuples
17.97/6.72	c 21:52:54.304 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22852. 'extension(4, wk[26][5]=[0‥1]) :: init: true :: relation: MDD 381768094, 5 edges, 3 vertices, 4 tuples
17.97/6.72	c 21:52:54.304 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22855. 'extension(4, 4) :: init: true :: relation: MDD 137685382, 7 edges, 4 vertices, 5 tuples
17.97/6.73	c 21:52:54.305 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22882. 'extension(4, wk[26][5]=[0‥1]) :: init: true :: relation: MDD 1588330347, 5 edges, 3 vertices, 4 tuples
17.97/6.73	c 21:52:54.305 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22883. 'extension(4, 4) :: init: true :: relation: MDD 137685382, 7 edges, 4 vertices, 5 tuples
17.97/6.73	c 21:52:54.305 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22884. 'extension(4, 4) :: init: true :: relation: MDD 2113328739, 5 edges, 3 vertices, 4 tuples
17.97/6.75	c 21:52:54.328 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23323. 'extension(x[1][24]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.75	c 21:52:54.328 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23325. 'extension(x[1][24]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.75	c 21:52:54.328 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23331. 'extension(x[0][9]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.75	c 21:52:54.329 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23335. 'extension(x[0][11]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.75	c 21:52:54.329 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23337. 'extension(x[2][11]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.75	c 21:52:54.329 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23349. 'extension(x[0][23]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.75	c 21:52:54.329 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23351. 'extension(x[2][23]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.75	c 21:52:54.330 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23363. 'extension(x[3][9]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.75	c 21:52:54.331 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23377. 'extension(x[1][13]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.75	c 21:52:54.331 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23383. 'extension(x[3][20]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.75	c 21:52:54.332 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23395. 'extension(x[2][10]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.75	c 21:52:54.332 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23401. 'extension(x[4][13]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.75	c 21:52:54.333 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23419. 'extension(wk[10][0]=[0‥1]) :: init: true :: relation: Empty MDD
17.97/6.75	c 21:52:54.333 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23421. 'extension(wk[10][0]=[0‥1]) :: init: true :: relation: Empty MDD
17.97/6.75	c 21:52:54.333 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23423. 'extension(x[7][10]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.75	c 21:52:54.333 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23433. 'extension(wk[30][0]=[0‥1]) :: init: true :: relation: Empty MDD
17.97/6.75	c 21:52:54.334 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23435. 'extension(x[5][30]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.75	c 21:52:54.334 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23437. 'extension(x[7][30]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.75	c 21:52:54.334 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23447. 'extension(x[6][11]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.75	c 21:52:54.334 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23449. 'extension(x[8][11]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.76	c 21:52:54.335 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23463. 'extension(x[6][21]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.76	c 21:52:54.335 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23465. 'extension(x[8][21]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.76	c 21:52:54.336 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23481. 'extension(x[6][22]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.76	c 21:52:54.336 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23487. 'extension(x[6][31]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.76	c 21:52:54.337 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23497. 'extension(x[7][30]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.76	c 21:52:54.337 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23499. 'extension(x[9][30]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.76	c 21:52:54.338 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23515. 'extension(x[9][6]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.76	c 21:52:54.338 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23521. 'extension(x[11][22]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.76	c 21:52:54.339 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23533. 'extension(x[9][24]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.76	c 21:52:54.339 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23539. 'extension(x[11][31]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.76	c 21:52:54.339 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23547. 'extension(x[10][2]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.76	c 21:52:54.339 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23549. 'extension(x[12][2]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.76	c 21:52:54.340 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23563. 'extension(x[12][6]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.76	c 21:52:54.341 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23581. 'extension(x[10][25]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.76	c 21:52:54.341 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23583. 'extension(x[12][25]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.76	c 21:52:54.342 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23599. 'extension(wk[13][1]=[0‥1]) :: init: true :: relation: Empty MDD
17.97/6.76	c 21:52:54.342 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23601. 'extension(x[11][13]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.76	c 21:52:54.343 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23607. 'extension(wk[24][1]=[0‥1]) :: init: true :: relation: Empty MDD
17.97/6.76	c 21:52:54.343 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23609. 'extension(x[13][24]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.76	c 21:52:54.343 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23623. 'extension(wk[5][1]=[0‥1]) :: init: true :: relation: Empty MDD
17.97/6.76	c 21:52:54.344 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23625. 'extension(x[12][5]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.76	c 21:52:54.344 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23627. 'extension(x[14][5]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.76	c 21:52:54.344 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23641. 'extension(wk[13][1]=[0‥1]) :: init: true :: relation: Empty MDD
17.97/6.76	c 21:52:54.344 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23643. 'extension(x[14][13]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.77	c 21:52:54.345 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23657. 'extension(x[13][0]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.77	c 21:52:54.345 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23663. 'extension(x[13][14]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.77	c 21:52:54.346 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23669. 'extension(x[13][27]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.77	c 21:52:54.346 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23671. 'extension(x[15][27]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.77	c 21:52:54.347 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23691. 'extension(x[15][2]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.77	c 21:52:54.347 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23697. 'extension(x[18][0]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.77	c 21:52:54.347 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23707. 'extension(x[18][2]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.77	c 21:52:54.348 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23721. 'extension(x[16][4]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.77	c 21:52:54.348 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23727. 'extension(x[18][14]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.77	c 21:52:54.349 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23737. 'extension(x[16][29]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.77	c 21:52:54.349 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23743. 'extension(x[17][3]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.77	c 21:52:54.350 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23755. 'extension(wk[1][2]=[0‥1]) :: init: true :: relation: Empty MDD
17.97/6.77	c 21:52:54.350 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23757. 'extension(x[18][1]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.77	c 21:52:54.350 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23763. 'extension(wk[3][2]=[0‥1]) :: init: true :: relation: Empty MDD
17.97/6.77	c 21:52:54.351 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23769. 'extension(wk[4][2]=[0‥1]) :: init: true :: relation: Empty MDD
17.97/6.77	c 21:52:54.351 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23771. 'extension(wk[18][2]=[0‥1]) :: init: true :: relation: Empty MDD
17.97/6.77	c 21:52:54.351 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23773. 'extension(x[18][18]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.77	c 21:52:54.351 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23775. 'extension(x[20][18]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.77	c 21:52:54.352 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23789. 'extension(wk[29][2]=[0‥1]) :: init: true :: relation: Empty MDD
17.97/6.77	c 21:52:54.352 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23791. 'extension(wk[1][2]=[0‥1]) :: init: true :: relation: Empty MDD
17.97/6.77	c 21:52:54.352 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23793. 'extension(x[21][1]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.77	c 21:52:54.353 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23807. 'extension(wk[3][2]=[0‥1]) :: init: true :: relation: Empty MDD
17.97/6.77	c 21:52:54.353 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23809. 'extension(wk[4][2]=[0‥1]) :: init: true :: relation: Empty MDD
17.97/6.77	c 21:52:54.353 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23811. 'extension(x[21][4]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.77	c 21:52:54.353 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23821. 'extension(wk[15][2]=[0‥1]) :: init: true :: relation: Empty MDD
17.97/6.77	c 21:52:54.354 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23823. 'extension(x[19][15]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.77	c 21:52:54.354 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23825. 'extension(x[21][15]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.77	c 21:52:54.354 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23839. 'extension(wk[29][2]=[0‥1]) :: init: true :: relation: Empty MDD
17.97/6.78	c 21:52:54.355 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23841. 'extension(x[21][29]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.78	c 21:52:54.355 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23849. 'extension(x[22][3]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.78	c 21:52:54.355 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23859. 'extension(x[20][30]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.78	c 21:52:54.356 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23861. 'extension(x[22][30]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.78	c 21:52:54.356 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23873. 'extension(x[22][12]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.78	c 21:52:54.356 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23879. 'extension(x[23][5]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.78	c 21:52:54.357 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23889. 'extension(x[23][18]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.78	c 21:52:54.357 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23895. 'extension(x[23][27]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.78	c 21:52:54.358 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23905. 'extension(x[24][11]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.78	c 21:52:54.358 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23915. 'extension(x[26][27]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.78	c 21:52:54.359 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23925. 'extension(x[24][30]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.78	c 21:52:54.359 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23927. 'extension(x[26][30]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.78	c 21:52:54.359 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23939. 'extension(wk[5][3]=[0‥1]) :: init: true :: relation: Empty MDD
17.97/6.78	c 21:52:54.360 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23941. 'extension(x[27][5]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.78	c 21:52:54.360 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23951. 'extension(wk[8][3]=[0‥1]) :: init: true :: relation: Empty MDD
17.97/6.78	c 21:52:54.360 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23953. 'extension(x[25][8]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.78	c 21:52:54.361 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23959. 'extension(wk[11][3]=[0‥1]) :: init: true :: relation: Empty MDD
17.97/6.78	c 21:52:54.361 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23961. 'extension(x[27][11]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.78	c 21:52:54.361 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23975. 'extension(wk[12][3]=[0‥1]) :: init: true :: relation: Empty MDD
17.97/6.78	c 21:52:54.362 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23977. 'extension(x[27][12]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.78	c 21:52:54.362 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23987. 'extension(wk[18][3]=[0‥1]) :: init: true :: relation: Empty MDD
17.97/6.78	c 21:52:54.362 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23989. 'extension(x[27][18]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.78	c 21:52:54.363 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23999. 'extension(wk[26][3]=[0‥1]) :: init: true :: relation: Empty MDD
17.97/6.78	c 21:52:54.363 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24001. 'extension(x[25][26]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.78	c 21:52:54.363 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24003. 'extension(x[27][26]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.78	c 21:52:54.364 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24019. 'extension(wk[8][3]=[0‥1]) :: init: true :: relation: Empty MDD
17.97/6.79	c 21:52:54.364 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24025. 'extension(wk[16][3]=[0‥1]) :: init: true :: relation: Empty MDD
17.97/6.79	c 21:52:54.364 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24027. 'extension(x[26][16]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.79	c 21:52:54.365 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24033. 'extension(x[29][8]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.79	c 21:52:54.365 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24043. 'extension(x[29][16]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.79	c 21:52:54.366 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24057. 'extension(x[27][19]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.79	c 21:52:54.366 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24059. 'extension(x[29][19]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.79	c 21:52:54.367 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24073. 'extension(x[28][17]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.79	c 21:52:54.367 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24083. 'extension(x[29][21]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.79	c 21:52:54.367 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24085. 'extension(x[31][21]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.79	c 21:52:54.368 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24101. 'extension(x[29][23]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.79	c 21:52:54.368 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24107. 'extension(x[30][8]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.79	c 21:52:54.369 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24109. 'extension(x[32][8]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.79	c 21:52:54.369 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24123. 'extension(x[30][9]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.79	c 21:52:54.370 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24129. 'extension(x[30][16]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.79	c 21:52:54.370 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24135. 'extension(x[30][19]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.79	c 21:52:54.370 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24145. 'extension(x[33][9]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.79	c 21:52:54.371 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24159. 'extension(x[33][16]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.79	c 21:52:54.372 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24173. 'extension(x[33][17]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.79	c 21:52:54.372 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24187. 'extension(x[33][23]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.79	c 21:52:54.373 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24201. 'extension(x[31][27]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.80	c 21:52:54.373 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24203. 'extension(x[33][27]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.80	c 21:52:54.373 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24215. 'extension(wk[15][4]=[0‥1]) :: init: true :: relation: Empty MDD
17.97/6.80	c 21:52:54.374 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24217. 'extension(x[32][15]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.80	c 21:52:54.374 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24223. 'extension(wk[19][4]=[0‥1]) :: init: true :: relation: Empty MDD
17.97/6.80	c 21:52:54.374 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24225. 'extension(x[34][19]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.80	c 21:52:54.375 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24235. 'extension(wk[15][4]=[0‥1]) :: init: true :: relation: Empty MDD
17.97/6.80	c 21:52:54.375 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24241. 'extension(wk[21][4]=[0‥1]) :: init: true :: relation: Empty MDD
17.97/6.80	c 21:52:54.375 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24243. 'extension(x[33][21]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.80	c 21:52:54.375 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24249. 'extension(wk[28][4]=[0‥1]) :: init: true :: relation: Empty MDD
17.97/6.80	c 21:52:54.376 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24251. 'extension(x[33][28]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.80	c 21:52:54.376 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24257. 'extension(x[34][7]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.80	c 21:52:54.376 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24263. 'extension(x[36][15]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.80	c 21:52:54.377 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24273. 'extension(x[36][21]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.80	c 21:52:54.378 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24295. 'extension(x[35][25]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.80	c 21:52:54.378 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24301. 'extension(x[36][20]=[0‥4]) :: init: true :: relation: Empty MDD
17.97/6.80	c 21:52:54.378 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24303. 'extension(x[38][20]=[0‥4]) :: init: true :: relation: Empty MDD
18.29/6.80	c 21:52:54.379 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24323. 'extension(x[38][28]=[0‥4]) :: init: true :: relation: Empty MDD
18.29/6.80	c 21:52:54.379 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24331. 'extension(x[39][7]=[0‥4]) :: init: true :: relation: Empty MDD
18.29/6.80	c 21:52:54.380 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24341. 'extension(x[39][25]=[0‥4]) :: init: true :: relation: Empty MDD
18.29/6.80	c 21:52:54.380 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24355. 'extension(x[38][1]=[0‥4]) :: init: true :: relation: Empty MDD
18.29/6.80	c 21:52:54.381 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24361. 'extension(x[38][6]=[0‥4]) :: init: true :: relation: Empty MDD
18.29/6.81	c 21:52:54.381 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24367. 'extension(x[38][26]=[0‥4]) :: init: true :: relation: Empty MDD
18.29/6.81	c 21:52:54.381 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24373. 'extension(wk[1][5]=[0‥1]) :: init: true :: relation: Empty MDD
18.29/6.81	c 21:52:54.382 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24375. 'extension(x[41][1]=[0‥4]) :: init: true :: relation: Empty MDD
18.29/6.81	c 21:52:54.382 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24387. 'extension(wk[2][5]=[0‥1]) :: init: true :: relation: Empty MDD
18.29/6.81	c 21:52:54.382 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24389. 'extension(x[39][2]=[0‥4]) :: init: true :: relation: Empty MDD
18.29/6.81	c 21:52:54.382 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24391. 'extension(x[41][2]=[0‥4]) :: init: true :: relation: Empty MDD
18.29/6.81	c 21:52:54.383 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24403. 'extension(wk[6][5]=[0‥1]) :: init: true :: relation: Empty MDD
18.29/6.81	c 21:52:54.384 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24405. 'extension(x[41][6]=[0‥4]) :: init: true :: relation: Empty MDD
18.29/6.81	c 21:52:54.384 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24417. 'extension(wk[26][5]=[0‥1]) :: init: true :: relation: Empty MDD
18.29/6.81	c 21:52:54.384 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24423. 'extension(wk[26][5]=[0‥1]) :: init: true :: relation: Empty MDD
252.01/225.71	Exception in thread "main" java.util.concurrent.TimeoutException
252.01/225.71		at concrete.MAC.mac(MAC.scala:188)
252.01/225.71		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
252.01/225.71		at scala.util.Try$.apply(Try.scala:209)
252.01/225.71		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
252.01/225.71		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
252.01/225.71		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
252.01/225.71		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
252.01/225.71		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
252.01/225.71		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
252.01/225.71		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
252.01/225.71		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
252.01/225.71		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
252.01/225.71		at concrete.MAC.oneRun(MAC.scala:253)
252.01/225.71		at concrete.MAC.nextSolution(MAC.scala:272)
252.01/225.71		at concrete.MAC.$anonfun$nextSolution$5(MAC.scala:336)
252.01/225.71		at concrete.ProblemState.map(ProblemState.scala:221)
252.01/225.71		at concrete.ProblemState.map(ProblemState.scala:204)
252.01/225.71		at concrete.MAC.nextSolution(MAC.scala:334)
252.01/225.71		at concrete.Solver.hasNext(Solver.scala:166)
252.01/225.71		at scala.collection.Iterator.foreach(Iterator.scala:944)
252.01/225.71		at scala.collection.Iterator.foreach$(Iterator.scala:944)
252.01/225.71		at concrete.Solver.foreach(Solver.scala:68)
252.01/225.71		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
252.01/225.71		at scala.util.Success.$anonfun$map$1(Try.scala:251)
252.01/225.71		at scala.util.Success.map(Try.scala:209)
252.01/225.71		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
252.01/225.71		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
252.01/225.71		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
252.01/225.71		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
252.01/225.71		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
252.01/225.71		at scala.Function0.apply$mcV$sp(Function0.scala:34)
252.01/225.71		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
252.01/225.71		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
252.01/225.71		at scala.App.$anonfun$main$1$adapted(App.scala:76)
252.01/225.71		at scala.collection.immutable.List.foreach(List.scala:389)
252.01/225.71		at scala.App.main(App.scala:76)
252.01/225.71		at scala.App.main$(App.scala:74)
252.01/225.71		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
252.01/225.71		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
252.01/225.72	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 (13382 MiB free)
  memory of node 1: 16384 MiB (12539 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302783-1532893967/watcher-4302783-1532893967 -o /tmp/evaluation-result-4302783-1532893967/solver-4302783-1532893967 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532893331-28700 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=1791079043 -superng HOME/instance-4302783-1532893967.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=29596, runsolver pid=29593

[startup+0.10012 s]*
/proc/loadavg: 2.19 1.83 1.36 3/211 29653
/proc/meminfo: memFree=26538612/32770624 swapFree=67108744/67108860
[pid=29596] ppid=29593 vsize=10005480 memory=16812 CPUtime=0.08 cores=0,2,4,6
/proc/29596/stat : 29596 (java) S 29593 29596 19273 0 -1 1077944320 4356 13090 0 0 1 0 5 2 20 0 6 0 106959911 10245611520 4203 33554432000 4194304 4196468 140724534526544 140724534509088 140088906247927 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
/proc/29596/statm: 2501370 4203 1935 1 0 2489808 0
[pid=29596/tid=29649] ppid=29593 vsize=10005480 memory=4279135703946462605 CPUtime=0.07 cores=0,2,4,6
/proc/29596/task/29649/stat : 29649 (java) R 29593 29596 19273 0 -1 4202560 2165 13090 0 0 0 0 5 2 20 0 6 0 106959920 10245611520 4203 33554432000 4194304 4196468 140724534526544 140088878084688 140088890328444 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29650] ppid=29593 vsize=10005480 memory=-7522837583129502606 CPUtime=0.07 cores=0,2,4,6
/proc/29596/task/29650/stat : 29650 (java) S 29593 29596 19273 0 -1 1077944384 1 13090 0 0 0 0 5 2 20 0 6 0 106959921 10245611520 4203 33554432000 4194304 4196468 140724534526544 140088910490256 140088906258133 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29651] ppid=29593 vsize=10005480 memory=139751983736448 CPUtime=0.07 cores=0,2,4,6
/proc/29596/task/29651/stat : 29651 (java) S 29593 29596 19273 0 -1 1077944384 1 13090 0 0 0 0 5 2 20 0 6 0 106959921 10245611520 4203 33554432000 4194304 4196468 140724534526544 140088765209104 140088906258133 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29652] ppid=29593 vsize=10005480 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29596/task/29652/stat : 29652 (java) S 29593 29596 19273 0 -1 1077944384 1 13090 0 0 0 0 5 2 20 0 6 0 106959921 10245611520 4203 33554432000 4194304 4196468 140724534526544 140088764156304 140088906258133 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29653] ppid=29593 vsize=10005480 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/29596/task/29653/stat : 29653 (java) S 29593 29596 19273 0 -1 1077944384 2 13090 0 0 0 0 5 2 20 0 6 0 106959921 10245611520 4203 33554432000 4194304 4196468 140724534526544 140088763103504 140088906258133 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16812 KiB

[startup+0.210432 s]*
/proc/loadavg: 2.19 1.83 1.36 3/220 29662
/proc/meminfo: memFree=26515884/32770624 swapFree=67108744/67108860
[pid=29596] ppid=29593 vsize=10982744 memory=43736 CPUtime=0.26 cores=0,2,4,6
/proc/29596/stat : 29596 (java) S 29593 29596 19273 0 -1 1077944320 7665 13090 0 0 17 2 5 2 20 0 15 0 106959911 11246329856 10934 33554432000 4194304 4196468 140724534526544 140724534509088 140088906247927 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
/proc/29596/statm: 2745686 10934 2948 1 0 2708109 0
[pid=29596/tid=29649] ppid=29593 vsize=10982744 memory=7022364594140610616 CPUtime=0.18 cores=0,2,4,6
/proc/29596/task/29649/stat : 29649 (java) R 29593 29596 19273 0 -1 4202560 4259 13090 0 0 10 1 5 2 20 0 15 0 106959920 11246329856 11000 33554432000 4194304 4196468 140724534526544 140088878053008 140088886523676 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29650] ppid=29593 vsize=10982744 memory=364 CPUtime=0.07 cores=0,2,4,6
/proc/29596/task/29650/stat : 29650 (java) S 29593 29596 19273 0 -1 1077944384 1 13090 0 0 0 0 5 2 20 0 15 0 106959921 11246329856 11000 33554432000 4194304 4196468 140724534526544 140088910490256 140088906258133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29651] ppid=29593 vsize=10982744 memory=139751983763494 CPUtime=0.07 cores=0,2,4,6
/proc/29596/task/29651/stat : 29651 (java) S 29593 29596 19273 0 -1 1077944384 1 13090 0 0 0 0 5 2 20 0 15 0 106959921 11246329856 11000 33554432000 4194304 4196468 140724534526544 140088765209104 140088906258133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29652] ppid=29593 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29596/task/29652/stat : 29652 (java) S 29593 29596 19273 0 -1 1077944384 1 13090 0 0 0 0 5 2 20 0 15 0 106959921 11246329856 11000 33554432000 4194304 4196468 140724534526544 140088764156304 140088906258133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29653] ppid=29593 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/29596/task/29653/stat : 29653 (java) S 29593 29596 19273 0 -1 1077944384 2 13090 0 0 0 0 5 2 20 0 15 0 106959921 11246329856 11000 33554432000 4194304 4196468 140724534526544 140088763103504 140088906258133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29654] ppid=29593 vsize=10982744 memory=139751983736448 CPUtime=0.07 cores=0,2,4,6
/proc/29596/task/29654/stat : 29654 (java) S 29593 29596 19273 0 -1 1077944384 2 13090 0 0 0 0 5 2 20 0 15 0 106959922 11246329856 11000 33554432000 4194304 4196468 140724534526544 140088331676528 140088906259074 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29655] ppid=29593 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/29596/task/29655/stat : 29655 (java) S 29593 29596 19273 0 -1 1077944384 13 13090 0 0 0 0 5 2 20 0 15 0 106959923 11246329856 11000 33554432000 4194304 4196468 140724534526544 140087740327456 140088906258133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29656] ppid=29593 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29596/task/29656/stat : 29656 (java) S 29593 29596 19273 0 -1 1077944384 2 13090 0 0 0 0 5 2 20 0 15 0 106959923 11246329856 11000 33554432000 4194304 4196468 140724534526544 140087539000688 140088906258133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29657] ppid=29593 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29596/task/29657/stat : 29657 (java) S 29593 29596 19273 0 -1 1077944384 3 13090 0 0 0 0 5 2 20 0 15 0 106959926 11246329856 11000 33554432000 4194304 4196468 140724534526544 140087231600976 140088906266523 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29658] ppid=29593 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29596/task/29658/stat : 29658 (java) S 29593 29596 19273 0 -1 1077944384 370 13090 0 0 1 0 5 2 20 0 15 0 106959926 11246329856 11066 33554432000 4194304 4196468 140724534526544 140088330623344 140088906259074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29659] ppid=29593 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/29596/task/29659/stat : 29659 (java) S 29593 29596 19273 0 -1 1077944384 252 13090 0 0 1 0 5 2 20 0 15 0 106959926 11246329856 11066 33554432000 4194304 4196468 140724534526544 140088329570544 140088906259074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29660] ppid=29593 vsize=10982744 memory=139751983736448 CPUtime=0.1 cores=0,2,4,6
/proc/29596/task/29660/stat : 29660 (java) S 29593 29596 19273 0 -1 1077944384 606 13090 0 0 3 0 5 2 20 0 15 0 106959926 11246329856 11066 33554432000 4194304 4196468 140724534526544 140088328517744 140088906259074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29661] ppid=29593 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/29596/task/29661/stat : 29661 (java) S 29593 29596 19273 0 -1 1077944384 3 13090 0 0 0 0 5 2 20 0 15 0 106959926 11246329856 11066 33554432000 4194304 4196468 140724534526544 140086800804064 140088906258133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29662] ppid=29593 vsize=10982744 memory=139751983736448 CPUtime=0.07 cores=0,2,4,6
/proc/29596/task/29662/stat : 29662 (java) S 29593 29596 19273 0 -1 1077944384 1 13090 0 0 0 0 5 2 20 0 15 0 106959926 11246329856 11066 33554432000 4194304 4196468 140724534526544 140088327466160 140088906259074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 43736 KiB

[startup+0.310265 s]*
/proc/loadavg: 2.19 1.83 1.36 3/220 29662
/proc/meminfo: memFree=26502444/32770624 swapFree=67108744/67108860
[pid=29596] ppid=29593 vsize=10983192 memory=56532 CPUtime=0.38 cores=0,2,4,6
/proc/29596/stat : 29596 (java) S 29593 29596 19273 0 -1 1077944320 10695 13090 0 0 28 3 5 2 20 0 15 0 106959911 11246788608 14133 33554432000 4194304 4196468 140724534526544 140724534509088 140088906247927 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
/proc/29596/statm: 2745798 14133 3067 1 0 2708109 0
[pid=29596/tid=29649] ppid=29593 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/29596/task/29649/stat : 29649 (java) R 29593 29596 19273 0 -1 4202560 7230 13090 0 0 19 2 5 2 20 0 15 0 106959920 11246788608 14133 33554432000 4194304 4196468 140724534526544 140088878059936 140088890328414 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29650] ppid=29593 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29596/task/29650/stat : 29650 (java) S 29593 29596 19273 0 -1 1077944384 1 13090 0 0 0 0 5 2 20 0 15 0 106959921 11246788608 14133 33554432000 4194304 4196468 140724534526544 140088910490256 140088906258133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29651] ppid=29593 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29596/task/29651/stat : 29651 (java) S 29593 29596 19273 0 -1 1077944384 1 13090 0 0 0 0 5 2 20 0 15 0 106959921 11246788608 14133 33554432000 4194304 4196468 140724534526544 140088765209104 140088906258133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29652] ppid=29593 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29596/task/29652/stat : 29652 (java) S 29593 29596 19273 0 -1 1077944384 1 13090 0 0 0 0 5 2 20 0 15 0 106959921 11246788608 14133 33554432000 4194304 4196468 140724534526544 140088764156304 140088906258133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29653] ppid=29593 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29596/task/29653/stat : 29653 (java) S 29593 29596 19273 0 -1 1077944384 2 13090 0 0 0 0 5 2 20 0 15 0 106959921 11246788608 14133 33554432000 4194304 4196468 140724534526544 140088763103504 140088906258133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29654] ppid=29593 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29596/task/29654/stat : 29654 (java) S 29593 29596 19273 0 -1 1077944384 2 13090 0 0 0 0 5 2 20 0 15 0 106959922 11246788608 14133 33554432000 4194304 4196468 140724534526544 140088331676528 140088906259074 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29655] ppid=29593 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/29596/task/29655/stat : 29655 (java) S 29593 29596 19273 0 -1 1077944384 13 13090 0 0 0 0 5 2 20 0 15 0 106959923 11246788608 14133 33554432000 4194304 4196468 140724534526544 140087740327456 140088906258133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29656] ppid=29593 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29596/task/29656/stat : 29656 (java) S 29593 29596 19273 0 -1 1077944384 2 13090 0 0 0 0 5 2 20 0 15 0 106959923 11246788608 14133 33554432000 4194304 4196468 140724534526544 140087539000688 140088906258133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29657] ppid=29593 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29596/task/29657/stat : 29657 (java) S 29593 29596 19273 0 -1 1077944384 3 13090 0 0 0 0 5 2 20 0 15 0 106959926 11246788608 14133 33554432000 4194304 4196468 140724534526544 140087231600976 140088906266523 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29658] ppid=29593 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29596/task/29658/stat : 29658 (java) S 29593 29596 19273 0 -1 1077944384 370 13090 0 0 1 0 5 2 20 0 15 0 106959926 11246788608 14133 33554432000 4194304 4196468 140724534526544 140088330623344 140088906259074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29659] ppid=29593 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/29596/task/29659/stat : 29659 (java) S 29593 29596 19273 0 -1 1077944384 259 13090 0 0 1 0 5 2 20 0 15 0 106959926 11246788608 14133 33554432000 4194304 4196468 140724534526544 140088329570544 140088906259074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29660] ppid=29593 vsize=10983192 memory=139751983736448 CPUtime=0.12 cores=0,2,4,6
/proc/29596/task/29660/stat : 29660 (java) S 29593 29596 19273 0 -1 1077944384 612 13090 0 0 5 0 5 2 20 0 15 0 106959926 11246788608 14133 33554432000 4194304 4196468 140724534526544 140088328517744 140088906259074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29661] ppid=29593 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/29596/task/29661/stat : 29661 (java) S 29593 29596 19273 0 -1 1077944384 3 13090 0 0 0 0 5 2 20 0 15 0 106959926 11246788608 14133 33554432000 4194304 4196468 140724534526544 140086800804064 140088906258133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29662] ppid=29593 vsize=10983192 memory=139751983736448 CPUtime=0.07 cores=0,2,4,6
/proc/29596/task/29662/stat : 29662 (java) S 29593 29596 19273 0 -1 1077944384 1 13090 0 0 0 0 5 2 20 0 15 0 106959926 11246788608 14133 33554432000 4194304 4196468 140724534526544 140088327466160 140088906259074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56532 KiB

[startup+0.700717 s]
/proc/loadavg: 2.19 1.83 1.36 3/220 29662
/proc/meminfo: memFree=26491368/32770624 swapFree=67108744/67108860
[pid=29596] ppid=29593 vsize=10983192 memory=88692 CPUtime=0.98 cores=0,2,4,6
/proc/29596/stat : 29596 (java) S 29593 29596 19273 0 -1 1077944320 16811 13090 0 0 87 4 5 2 20 0 15 0 106959911 11246788608 22173 33554432000 4194304 4196468 140724534526544 140724534509088 140088906247927 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
/proc/29596/statm: 2745798 22173 3239 1 0 2708109 0
[pid=29596/tid=29649] ppid=29593 vsize=10983192 memory=279503721226688 CPUtime=0.66 cores=0,2,4,6
/proc/29596/task/29649/stat : 29649 (java) R 29593 29596 19273 0 -1 4202560 12276 13090 0 0 56 3 5 2 20 0 15 0 106959920 11246788608 22173 33554432000 4194304 4196468 140724534526544 140088878069648 140088889440678 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29650] ppid=29593 vsize=10983192 memory=279503721226880 CPUtime=0.07 cores=0,2,4,6
/proc/29596/task/29650/stat : 29650 (java) S 29593 29596 19273 0 -1 1077944384 1 13090 0 0 0 0 5 2 20 0 15 0 106959921 11246788608 22173 33554432000 4194304 4196468 140724534526544 140088910490256 140088906258133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29651] ppid=29593 vsize=10983192 memory=279503721023504 CPUtime=0.07 cores=0,2,4,6
/proc/29596/task/29651/stat : 29651 (java) S 29593 29596 19273 0 -1 1077944384 1 13090 0 0 0 0 5 2 20 0 15 0 106959921 11246788608 22173 33554432000 4194304 4196468 140724534526544 140088765209104 140088906258133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29652] ppid=29593 vsize=10983192 memory=33 CPUtime=0.07 cores=0,2,4,6
/proc/29596/task/29652/stat : 29652 (java) S 29593 29596 19273 0 -1 1077944384 1 13090 0 0 0 0 5 2 20 0 15 0 106959921 11246788608 22173 33554432000 4194304 4196468 140724534526544 140088764156304 140088906258133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29653] ppid=29593 vsize=10983192 memory=139751860613616 CPUtime=0.07 cores=0,2,4,6
/proc/29596/task/29653/stat : 29653 (java) S 29593 29596 19273 0 -1 1077944384 2 13090 0 0 0 0 5 2 20 0 15 0 106959921 11246788608 22173 33554432000 4194304 4196468 140724534526544 140088763103504 140088906258133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29654] ppid=29593 vsize=10983192 memory=139753940845142 CPUtime=0.07 cores=0,2,4,6
/proc/29596/task/29654/stat : 29654 (java) S 29593 29596 19273 0 -1 1077944384 5 13090 0 0 0 0 5 2 20 0 15 0 106959922 11246788608 22173 33554432000 4194304 4196468 140724534526544 140088331676528 140088906259074 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29655] ppid=29593 vsize=10983192 memory=1200 CPUtime=0.07 cores=0,2,4,6
/proc/29596/task/29655/stat : 29655 (java) S 29593 29596 19273 0 -1 1077944384 13 13090 0 0 0 0 5 2 20 0 15 0 106959923 11246788608 22173 33554432000 4194304 4196468 140724534526544 140087740327456 140088906258133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29656] ppid=29593 vsize=10983192 memory=7014751519616751185 CPUtime=0.07 cores=0,2,4,6
/proc/29596/task/29656/stat : 29656 (java) S 29593 29596 19273 0 -1 1077944384 2 13090 0 0 0 0 5 2 20 0 15 0 106959923 11246788608 22173 33554432000 4194304 4196468 140724534526544 140087539000688 140088906258133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29657] ppid=29593 vsize=10983192 memory=7811891939479414610 CPUtime=0.07 cores=0,2,4,6
/proc/29596/task/29657/stat : 29657 (java) S 29593 29596 19273 0 -1 1077944384 3 13090 0 0 0 0 5 2 20 0 15 0 106959926 11246788608 22173 33554432000 4194304 4196468 140724534526544 140087231600976 140088906266523 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29658] ppid=29593 vsize=10983192 memory=6148935659200796009 CPUtime=0.14 cores=0,2,4,6
/proc/29596/task/29658/stat : 29658 (java) S 29593 29596 19273 0 -1 1077944384 747 13090 0 0 7 0 5 2 20 0 15 0 106959926 11246788608 22173 33554432000 4194304 4196468 140724534526544 140088330623344 140088906259074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29659] ppid=29593 vsize=10983192 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/29596/task/29659/stat : 29659 (java) S 29593 29596 19273 0 -1 1077944384 897 13090 0 0 10 0 5 2 20 0 15 0 106959926 11246788608 22173 33554432000 4194304 4196468 140724534526544 140088329570544 140088906259074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29660] ppid=29593 vsize=10983192 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/29596/task/29660/stat : 29660 (java) S 29593 29596 19273 0 -1 1077944384 664 13090 0 0 13 0 5 2 20 0 15 0 106959926 11246788608 22173 33554432000 4194304 4196468 140724534526544 140088328517744 140088906259074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29661] ppid=29593 vsize=10983192 memory=4096 CPUtime=0.07 cores=0,2,4,6
/proc/29596/task/29661/stat : 29661 (java) S 29593 29596 19273 0 -1 1077944384 3 13090 0 0 0 0 5 2 20 0 15 0 106959926 11246788608 22173 33554432000 4194304 4196468 140724534526544 140086800804064 140088906258133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29662] ppid=29593 vsize=10983192 memory=2241 CPUtime=0.07 cores=0,2,4,6
/proc/29596/task/29662/stat : 29662 (java) S 29593 29596 19273 0 -1 1077944384 1 13090 0 0 0 0 5 2 20 0 15 0 106959926 11246788608 22173 33554432000 4194304 4196468 140724534526544 140088327466160 140088906259074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88692 KiB

[startup+1.50074 s]
/proc/loadavg: 2.19 1.83 1.36 4/220 29662
/proc/meminfo: memFree=26448992/32770624 swapFree=67108744/67108860
[pid=29596] ppid=29593 vsize=10991948 memory=173300 CPUtime=3.17 cores=0,2,4,6
/proc/29596/stat : 29596 (java) S 29593 29596 19273 0 -1 1077944320 25328 13090 0 0 302 8 5 2 20 0 15 0 106959911 11255754752 43325 33554432000 4194304 4196468 140724534526544 140724534509088 140088906247927 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
/proc/29596/statm: 2747987 43325 3448 1 0 2709645 0
[pid=29596/tid=29649] ppid=29593 vsize=10991948 memory=13884 CPUtime=1.45 cores=0,2,4,6
/proc/29596/task/29649/stat : 29649 (java) R 29593 29596 19273 0 -1 4202560 15263 13090 0 0 132 6 5 2 20 0 15 0 106959920 11255754752 43325 33554432000 4194304 4196468 140724534526544 140088878080016 140088891328689 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29650] ppid=29593 vsize=10991948 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/29596/task/29650/stat : 29650 (java) S 29593 29596 19273 0 -1 1077944384 1 13090 0 0 0 0 5 2 20 0 15 0 106959921 11255754752 43325 33554432000 4194304 4196468 140724534526544 140088910490256 140088906258133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29651] ppid=29593 vsize=10991948 memory=1404 CPUtime=0.07 cores=0,2,4,6
/proc/29596/task/29651/stat : 29651 (java) S 29593 29596 19273 0 -1 1077944384 1 13090 0 0 0 0 5 2 20 0 15 0 106959921 11255754752 43325 33554432000 4194304 4196468 140724534526544 140088765209104 140088906258133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29652] ppid=29593 vsize=10991948 memory=3140 CPUtime=0.07 cores=0,2,4,6
/proc/29596/task/29652/stat : 29652 (java) S 29593 29596 19273 0 -1 1077944384 1 13090 0 0 0 0 5 2 20 0 15 0 106959921 11255754752 43325 33554432000 4194304 4196468 140724534526544 140088764156304 140088906258133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29653] ppid=29593 vsize=10991948 memory=88692 CPUtime=0.07 cores=0,2,4,6
/proc/29596/task/29653/stat : 29653 (java) S 29593 29596 19273 0 -1 1077944384 2 13090 0 0 0 0 5 2 20 0 15 0 106959921 11255754752 43325 33554432000 4194304 4196468 140724534526544 140088763103504 140088906258133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29654] ppid=29593 vsize=10991948 memory=279503721226688 CPUtime=0.07 cores=0,2,4,6
/proc/29596/task/29654/stat : 29654 (java) S 29593 29596 19273 0 -1 1077944384 13 13090 0 0 0 0 5 2 20 0 15 0 106959922 11255754752 43325 33554432000 4194304 4196468 140724534526544 140088331676528 140088906259074 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29655] ppid=29593 vsize=10991948 memory=279503721226880 CPUtime=0.07 cores=0,2,4,6
/proc/29596/task/29655/stat : 29655 (java) S 29593 29596 19273 0 -1 1077944384 13 13090 0 0 0 0 5 2 20 0 15 0 106959923 11255754752 43325 33554432000 4194304 4196468 140724534526544 140087740327456 140088906258133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29656] ppid=29593 vsize=10991948 memory=279503721023136 CPUtime=0.07 cores=0,2,4,6
/proc/29596/task/29656/stat : 29656 (java) S 29593 29596 19273 0 -1 1077944384 2 13090 0 0 0 0 5 2 20 0 15 0 106959923 11255754752 43325 33554432000 4194304 4196468 140724534526544 140087539000688 140088906258133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29657] ppid=29593 vsize=10991948 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/29596/task/29657/stat : 29657 (java) S 29593 29596 19273 0 -1 1077944384 3 13090 0 0 0 0 5 2 20 0 15 0 106959926 11255754752 43325 33554432000 4194304 4196468 140724534526544 140087231600976 140088906266523 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29658] ppid=29593 vsize=10991948 memory=4638778398332698720 CPUtime=0.64 cores=0,2,4,6
/proc/29596/task/29658/stat : 29658 (java) R 29593 29596 19273 0 -1 4202560 2768 13090 0 0 57 0 5 2 20 0 15 0 106959926 11255754752 43325 33554432000 4194304 4196468 140724534526544 140088330608736 140088887770842 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29659] ppid=29593 vsize=10991948 memory=279503721503616 CPUtime=0.69 cores=0,2,4,6
/proc/29596/task/29659/stat : 29659 (java) R 29593 29596 19273 0 -1 4202560 3162 13090 0 0 61 1 5 2 20 0 15 0 106959926 11255754752 43325 33554432000 4194304 4196468 140724534526544 140088329557088 140088887770831 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29660] ppid=29593 vsize=10991948 memory=-7522837583129502606 CPUtime=0.57 cores=0,2,4,6
/proc/29596/task/29660/stat : 29660 (java) S 29593 29596 19273 0 -1 1077944384 1900 13090 0 0 50 0 5 2 20 0 15 0 106959926 11255754752 43325 33554432000 4194304 4196468 140724534526544 140088328517744 140088906259074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29661] ppid=29593 vsize=10991948 memory=6944656592452807323 CPUtime=0.07 cores=0,2,4,6
/proc/29596/task/29661/stat : 29661 (java) S 29593 29596 19273 0 -1 1077944384 3 13090 0 0 0 0 5 2 20 0 15 0 106959926 11255754752 43325 33554432000 4194304 4196468 140724534526544 140086800804064 140088906258133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29662] ppid=29593 vsize=10991948 memory=6944656591801719708 CPUtime=0.07 cores=0,2,4,6
/proc/29596/task/29662/stat : 29662 (java) S 29593 29596 19273 0 -1 1077944384 1 13090 0 0 0 0 5 2 20 0 15 0 106959926 11255754752 43325 33554432000 4194304 4196468 140724534526544 140088327466160 140088906259074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
Current children cumulated CPU time: 3.17 s
Current children cumulated vsize: 10991948 KiB

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

/proc/29596/task/29649/stat : 29649 (java) R 29593 29596 19273 0 -1 4202560 50127 13090 0 0 16108 26 5 2 20 0 15 0 106959920 11280941056 365504 33554432000 4194304 4196468 140724534526544 140088878082128 140088453263744 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29650] ppid=29593 vsize=11016544 memory=1471252 CPUtime=0.7 cores=0,2,4,6
/proc/29596/task/29650/stat : 29650 (java) S 29593 29596 19273 0 -1 1077944384 1748 13090 0 0 48 15 5 2 20 0 15 0 106959921 11280941056 365504 33554432000 4194304 4196468 140724534526544 140088910490256 140088906258133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29651] ppid=29593 vsize=11016544 memory=1462016 CPUtime=0.68 cores=0,2,4,6
/proc/29596/task/29651/stat : 29651 (java) S 29593 29596 19273 0 -1 1077944384 2488 13090 0 0 45 16 5 2 20 0 15 0 106959921 11280941056 365504 33554432000 4194304 4196468 140724534526544 140088765209104 140088906258133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29652] ppid=29593 vsize=11016544 memory=1494336 CPUtime=0.69 cores=0,2,4,6
/proc/29596/task/29652/stat : 29652 (java) S 29593 29596 19273 0 -1 1077944384 3131 13090 0 0 47 15 5 2 20 0 15 0 106959921 11280941056 365504 33554432000 4194304 4196468 140724534526544 140088764156304 140088906258133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29653] ppid=29593 vsize=11016544 memory=1462016 CPUtime=0.69 cores=0,2,4,6
/proc/29596/task/29653/stat : 29653 (java) S 29593 29596 19273 0 -1 1077944384 2174 13090 0 0 46 16 5 2 20 0 15 0 106959921 11280941056 365504 33554432000 4194304 4196468 140724534526544 140088763103504 140088906258133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29654] ppid=29593 vsize=11016544 memory=1462016 CPUtime=0.21 cores=0,2,4,6
/proc/29596/task/29654/stat : 29654 (java) S 29593 29596 19273 0 -1 1077944384 5055 13090 0 0 13 1 5 2 20 0 15 0 106959922 11280941056 365504 33554432000 4194304 4196468 140724534526544 140088331676528 140088906259074 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29655] ppid=29593 vsize=11016544 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29596/task/29655/stat : 29655 (java) S 29593 29596 19273 0 -1 1077944384 19 13090 0 0 0 0 5 2 20 0 15 0 106959923 11280941056 365504 33554432000 4194304 4196468 140724534526544 140087740327520 140088906258133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29656] ppid=29593 vsize=11016544 memory=1471252 CPUtime=0.07 cores=0,2,4,6
/proc/29596/task/29656/stat : 29656 (java) S 29593 29596 19273 0 -1 1077944384 9 13090 0 0 0 0 5 2 20 0 15 0 106959923 11280941056 365504 33554432000 4194304 4196468 140724534526544 140087539000704 140088906258133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29657] ppid=29593 vsize=11016544 memory=4096 CPUtime=0.07 cores=0,2,4,6
/proc/29596/task/29657/stat : 29657 (java) S 29593 29596 19273 0 -1 1077944384 3 13090 0 0 0 0 5 2 20 0 15 0 106959926 11280941056 365504 33554432000 4194304 4196468 140724534526544 140087231600976 140088906266523 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29658] ppid=29593 vsize=11016544 memory=18280 CPUtime=10.1 cores=0,2,4,6
/proc/29596/task/29658/stat : 29658 (java) S 29593 29596 19273 0 -1 1077944384 27093 13090 0 0 999 4 5 2 20 0 15 0 106959926 11280941056 365504 33554432000 4194304 4196468 140724534526544 140088330623344 140088906259074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29659] ppid=29593 vsize=11016544 memory=1236 CPUtime=10.29 cores=0,2,4,6
/proc/29596/task/29659/stat : 29659 (java) S 29593 29596 19273 0 -1 1077944384 27965 13090 0 0 1017 5 5 2 20 0 15 0 106959926 11280941056 365504 33554432000 4194304 4196468 140724534526544 140088329570544 140088906259074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29660] ppid=29593 vsize=11016544 memory=1462016 CPUtime=3.56 cores=0,2,4,6
/proc/29596/task/29660/stat : 29660 (java) S 29593 29596 19273 0 -1 1077944384 26513 13090 0 0 343 6 5 2 20 0 15 0 106959926 11280941056 365504 33554432000 4194304 4196468 140724534526544 140088328517744 140088906259074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29661] ppid=29593 vsize=11016544 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29596/task/29661/stat : 29661 (java) S 29593 29596 19273 0 -1 1077944384 3 13090 0 0 0 0 5 2 20 0 15 0 106959926 11280941056 365504 33554432000 4194304 4196468 140724534526544 140086800804064 140088906258133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29662] ppid=29593 vsize=11016544 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/29596/task/29662/stat : 29662 (java) S 29593 29596 19273 0 -1 1077944384 1091 13090 0 0 4 4 5 2 20 0 15 0 106959926 11280941056 365504 33554432000 4194304 4196468 140724534526544 140088327466160 140088906259074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
Current children cumulated CPU time: 187.95 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1462016 KiB

[startup+222.301 s]
/proc/loadavg: 1.88 1.88 1.48 3/219 29797
/proc/meminfo: memFree=24818296/32770624 swapFree=67108744/67108860
[pid=29596] ppid=29593 vsize=11016544 memory=1404044 CPUtime=248.57 cores=0,2,4,6
/proc/29596/stat : 29596 (java) S 29593 29596 19273 0 -1 1077944320 163225 13090 0 0 24736 114 5 2 20 0 15 0 106959911 11280941056 351011 33554432000 4194304 4196468 140724534526544 140724534509088 140088906247927 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
/proc/29596/statm: 2754136 351011 3535 1 0 2715789 0
[pid=29596/tid=29649] ppid=29593 vsize=11016544 memory=1404044 CPUtime=221.25 cores=0,2,4,6
/proc/29596/task/29649/stat : 29649 (java) R 29593 29596 19273 0 -1 4202560 51440 13090 0 0 22092 26 5 2 20 0 15 0 106959920 11280941056 351011 33554432000 4194304 4196468 140724534526544 140088878082768 140088455590618 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29650] ppid=29593 vsize=11016544 memory=1404044 CPUtime=0.77 cores=0,2,4,6
/proc/29596/task/29650/stat : 29650 (java) S 29593 29596 19273 0 -1 1077944384 2904 13090 0 0 54 16 5 2 20 0 15 0 106959921 11280941056 351011 33554432000 4194304 4196468 140724534526544 140088910490256 140088906258133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29651] ppid=29593 vsize=11016544 memory=1404044 CPUtime=0.76 cores=0,2,4,6
/proc/29596/task/29651/stat : 29651 (java) S 29593 29596 19273 0 -1 1077944384 3173 13090 0 0 52 17 5 2 20 0 15 0 106959921 11280941056 351011 33554432000 4194304 4196468 140724534526544 140088765209104 140088906258133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29652] ppid=29593 vsize=11016544 memory=164 CPUtime=0.77 cores=0,2,4,6
/proc/29596/task/29652/stat : 29652 (java) S 29593 29596 19273 0 -1 1077944384 3289 13090 0 0 54 16 5 2 20 0 15 0 106959921 11280941056 351011 33554432000 4194304 4196468 140724534526544 140088764156304 140088906258133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29653] ppid=29593 vsize=11016544 memory=279503722323776 CPUtime=0.75 cores=0,2,4,6
/proc/29596/task/29653/stat : 29653 (java) S 29593 29596 19273 0 -1 1077944384 2321 13090 0 0 52 16 5 2 20 0 15 0 106959921 11280941056 351011 33554432000 4194304 4196468 140724534526544 140088763103504 140088906258133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29654] ppid=29593 vsize=11016544 memory=5794277188810391906 CPUtime=0.26 cores=0,2,4,6
/proc/29596/task/29654/stat : 29654 (java) S 29593 29596 19273 0 -1 1077944384 5425 13090 0 0 18 1 5 2 20 0 15 0 106959922 11280941056 351011 33554432000 4194304 4196468 140724534526544 140088331676528 140088906259074 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29655] ppid=29593 vsize=11016544 memory=1404044 CPUtime=0.07 cores=0,2,4,6
/proc/29596/task/29655/stat : 29655 (java) S 29593 29596 19273 0 -1 1077944384 19 13090 0 0 0 0 5 2 20 0 15 0 106959923 11280941056 351011 33554432000 4194304 4196468 140724534526544 140087740327520 140088906258133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29656] ppid=29593 vsize=11016544 memory=1404044 CPUtime=0.07 cores=0,2,4,6
/proc/29596/task/29656/stat : 29656 (java) S 29593 29596 19273 0 -1 1077944384 9 13090 0 0 0 0 5 2 20 0 15 0 106959923 11280941056 351011 33554432000 4194304 4196468 140724534526544 140087539000704 140088906258133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29657] ppid=29593 vsize=11016544 memory=4616 CPUtime=0.07 cores=0,2,4,6
/proc/29596/task/29657/stat : 29657 (java) S 29593 29596 19273 0 -1 1077944384 3 13090 0 0 0 0 5 2 20 0 15 0 106959926 11280941056 351011 33554432000 4194304 4196468 140724534526544 140087231600976 140088906266523 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29658] ppid=29593 vsize=11016544 memory=1424 CPUtime=10.26 cores=0,2,4,6
/proc/29596/task/29658/stat : 29658 (java) S 29593 29596 19273 0 -1 1077944384 30546 13090 0 0 1015 4 5 2 20 0 15 0 106959926 11280941056 351011 33554432000 4194304 4196468 140724534526544 140088330623344 140088906259074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29659] ppid=29593 vsize=11016544 memory=288230574492221466 CPUtime=10.46 cores=0,2,4,6
/proc/29596/task/29659/stat : 29659 (java) S 29593 29596 19273 0 -1 1077944384 30948 13090 0 0 1034 5 5 2 20 0 15 0 106959926 11280941056 351011 33554432000 4194304 4196468 140724534526544 140088329570544 140088906259074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29660] ppid=29593 vsize=11016544 memory=288230596050944315 CPUtime=3.62 cores=0,2,4,6
/proc/29596/task/29660/stat : 29660 (java) S 29593 29596 19273 0 -1 1077944384 29830 13090 0 0 349 6 5 2 20 0 15 0 106959926 11280941056 351011 33554432000 4194304 4196468 140724534526544 140088328517744 140088906259074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29661] ppid=29593 vsize=11016544 memory=15534111569742379 CPUtime=0.07 cores=0,2,4,6
/proc/29596/task/29661/stat : 29661 (java) S 29593 29596 19273 0 -1 1077944384 3 13090 0 0 0 0 5 2 20 0 15 0 106959926 11280941056 351011 33554432000 4194304 4196468 140724534526544 140086800804064 140088906258133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29662] ppid=29593 vsize=11016544 memory=4096 CPUtime=0.17 cores=0,2,4,6
/proc/29596/task/29662/stat : 29662 (java) S 29593 29596 19273 0 -1 1077944384 1120 13090 0 0 5 5 5 2 20 0 15 0 106959926 11280941056 351011 33554432000 4194304 4196468 140724534526544 140088327466160 140088906259074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
Current children cumulated CPU time: 248.57 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1404044 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+225.701 s]
/proc/loadavg: 1.89 1.88 1.49 3/219 29798
/proc/meminfo: memFree=24845188/32770624 swapFree=67108744/67108860
[pid=29596] ppid=29593 vsize=11016544 memory=1404044 CPUtime=252.01 cores=0,2,4,6
/proc/29596/stat : 29596 (java) S 29593 29596 19273 0 -1 1077944320 163246 13090 0 0 25080 114 5 2 20 0 15 0 106959911 11280941056 351011 33554432000 4194304 4196468 140724534526544 140724534509088 140088906247927 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
/proc/29596/statm: 2754136 351011 3535 1 0 2715789 0
[pid=29596/tid=29649] ppid=29593 vsize=11016544 memory=1404044 CPUtime=224.64 cores=0,2,4,6
/proc/29596/task/29649/stat : 29649 (java) R 29593 29596 19273 0 -1 4202560 51447 13090 0 0 22431 26 5 2 20 0 15 0 106959920 11280941056 351011 33554432000 4194304 4196468 140724534526544 140088878082752 140088453574618 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29650] ppid=29593 vsize=11016544 memory=1404044 CPUtime=0.78 cores=0,2,4,6
/proc/29596/task/29650/stat : 29650 (java) S 29593 29596 19273 0 -1 1077944384 2905 13090 0 0 55 16 5 2 20 0 15 0 106959921 11280941056 351011 33554432000 4194304 4196468 140724534526544 140088910490256 140088906258133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29651] ppid=29593 vsize=11016544 memory=164 CPUtime=0.76 cores=0,2,4,6
/proc/29596/task/29651/stat : 29651 (java) S 29593 29596 19273 0 -1 1077944384 3173 13090 0 0 52 17 5 2 20 0 15 0 106959921 11280941056 351011 33554432000 4194304 4196468 140724534526544 140088765209104 140088906258133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29652] ppid=29593 vsize=11016544 memory=1404044 CPUtime=0.78 cores=0,2,4,6
/proc/29596/task/29652/stat : 29652 (java) S 29593 29596 19273 0 -1 1077944384 3289 13090 0 0 55 16 5 2 20 0 15 0 106959921 11280941056 351011 33554432000 4194304 4196468 140724534526544 140088764156304 140088906258133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29653] ppid=29593 vsize=11016544 memory=2396 CPUtime=0.76 cores=0,2,4,6
/proc/29596/task/29653/stat : 29653 (java) S 29593 29596 19273 0 -1 1077944384 2321 13090 0 0 53 16 5 2 20 0 15 0 106959921 11280941056 351011 33554432000 4194304 4196468 140724534526544 140088763103504 140088906258133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29654] ppid=29593 vsize=11016544 memory=279503722323776 CPUtime=0.26 cores=0,2,4,6
/proc/29596/task/29654/stat : 29654 (java) S 29593 29596 19273 0 -1 1077944384 5425 13090 0 0 18 1 5 2 20 0 15 0 106959922 11280941056 351011 33554432000 4194304 4196468 140724534526544 140088331676528 140088906259074 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29655] ppid=29593 vsize=11016544 memory=5794277188810391906 CPUtime=0.07 cores=0,2,4,6
/proc/29596/task/29655/stat : 29655 (java) S 29593 29596 19273 0 -1 1077944384 19 13090 0 0 0 0 5 2 20 0 15 0 106959923 11280941056 351011 33554432000 4194304 4196468 140724534526544 140087740327520 140088906258133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29656] ppid=29593 vsize=11016544 memory=1404044 CPUtime=0.07 cores=0,2,4,6
/proc/29596/task/29656/stat : 29656 (java) S 29593 29596 19273 0 -1 1077944384 9 13090 0 0 0 0 5 2 20 0 15 0 106959923 11280941056 351011 33554432000 4194304 4196468 140724534526544 140087539000704 140088906258133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29657] ppid=29593 vsize=11016544 memory=1800 CPUtime=0.07 cores=0,2,4,6
/proc/29596/task/29657/stat : 29657 (java) S 29593 29596 19273 0 -1 1077944384 3 13090 0 0 0 0 5 2 20 0 15 0 106959926 11280941056 351011 33554432000 4194304 4196468 140724534526544 140087231600976 140088906266523 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29658] ppid=29593 vsize=11016544 memory=18280 CPUtime=10.27 cores=0,2,4,6
/proc/29596/task/29658/stat : 29658 (java) S 29593 29596 19273 0 -1 1077944384 30550 13090 0 0 1016 4 5 2 20 0 15 0 106959926 11280941056 351011 33554432000 4194304 4196468 140724534526544 140088330623344 140088906259074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29659] ppid=29593 vsize=11016544 memory=1404044 CPUtime=10.47 cores=0,2,4,6
/proc/29596/task/29659/stat : 29659 (java) S 29593 29596 19273 0 -1 1077944384 30950 13090 0 0 1035 5 5 2 20 0 15 0 106959926 11280941056 351011 33554432000 4194304 4196468 140724534526544 140088329570544 140088906259074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29660] ppid=29593 vsize=11016544 memory=1404044 CPUtime=3.62 cores=0,2,4,6
/proc/29596/task/29660/stat : 29660 (java) S 29593 29596 19273 0 -1 1077944384 29837 13090 0 0 349 6 5 2 20 0 15 0 106959926 11280941056 351011 33554432000 4194304 4196468 140724534526544 140088328517744 140088906259074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29661] ppid=29593 vsize=11016544 memory=1404044 CPUtime=0.07 cores=0,2,4,6
/proc/29596/task/29661/stat : 29661 (java) S 29593 29596 19273 0 -1 1077944384 3 13090 0 0 0 0 5 2 20 0 15 0 106959926 11280941056 351011 33554432000 4194304 4196468 140724534526544 140086800804064 140088906258133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29662] ppid=29593 vsize=11016544 memory=6791534058613427641 CPUtime=0.17 cores=0,2,4,6
/proc/29596/task/29662/stat : 29662 (java) S 29593 29596 19273 0 -1 1077944384 1120 13090 0 0 5 5 5 2 20 0 15 0 106959926 11280941056 351011 33554432000 4194304 4196468 140724534526544 140088327466160 140088906259074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
Current children cumulated CPU time: 252.01 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1404044 KiB

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

[startup+225.743 s]
# the end of solver process 29596 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=250.884 s, system=1.19289 s

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

[startup+225.701 s]
/proc/loadavg: 1.89 1.88 1.49 3/219 29798
/proc/meminfo: memFree=24845188/32770624 swapFree=67108744/67108860
[pid=29596] ppid=29593 vsize=11016544 memory=1404044 CPUtime=252.01 cores=0,2,4,6
/proc/29596/stat : 29596 (java) S 29593 29596 19273 0 -1 1077944320 163246 13090 0 0 25080 114 5 2 20 0 15 0 106959911 11280941056 351011 33554432000 4194304 4196468 140724534526544 140724534509088 140088906247927 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
/proc/29596/statm: 2754136 351011 3535 1 0 2715789 0
[pid=29596/tid=29649] ppid=29593 vsize=11016544 memory=1404044 CPUtime=224.64 cores=0,2,4,6
/proc/29596/task/29649/stat : 29649 (java) R 29593 29596 19273 0 -1 4202560 51447 13090 0 0 22431 26 5 2 20 0 15 0 106959920 11280941056 351011 33554432000 4194304 4196468 140724534526544 140088878082752 140088453574618 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29650] ppid=29593 vsize=11016544 memory=1404044 CPUtime=0.78 cores=0,2,4,6
/proc/29596/task/29650/stat : 29650 (java) S 29593 29596 19273 0 -1 1077944384 2905 13090 0 0 55 16 5 2 20 0 15 0 106959921 11280941056 351011 33554432000 4194304 4196468 140724534526544 140088910490256 140088906258133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29651] ppid=29593 vsize=11016544 memory=164 CPUtime=0.76 cores=0,2,4,6
/proc/29596/task/29651/stat : 29651 (java) S 29593 29596 19273 0 -1 1077944384 3173 13090 0 0 52 17 5 2 20 0 15 0 106959921 11280941056 351011 33554432000 4194304 4196468 140724534526544 140088765209104 140088906258133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29652] ppid=29593 vsize=11016544 memory=1404044 CPUtime=0.78 cores=0,2,4,6
/proc/29596/task/29652/stat : 29652 (java) S 29593 29596 19273 0 -1 1077944384 3289 13090 0 0 55 16 5 2 20 0 15 0 106959921 11280941056 351011 33554432000 4194304 4196468 140724534526544 140088764156304 140088906258133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29653] ppid=29593 vsize=11016544 memory=2396 CPUtime=0.76 cores=0,2,4,6
/proc/29596/task/29653/stat : 29653 (java) S 29593 29596 19273 0 -1 1077944384 2321 13090 0 0 53 16 5 2 20 0 15 0 106959921 11280941056 351011 33554432000 4194304 4196468 140724534526544 140088763103504 140088906258133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29654] ppid=29593 vsize=11016544 memory=279503722323776 CPUtime=0.26 cores=0,2,4,6
/proc/29596/task/29654/stat : 29654 (java) S 29593 29596 19273 0 -1 1077944384 5425 13090 0 0 18 1 5 2 20 0 15 0 106959922 11280941056 351011 33554432000 4194304 4196468 140724534526544 140088331676528 140088906259074 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29655] ppid=29593 vsize=11016544 memory=5794277188810391906 CPUtime=0.07 cores=0,2,4,6
/proc/29596/task/29655/stat : 29655 (java) S 29593 29596 19273 0 -1 1077944384 19 13090 0 0 0 0 5 2 20 0 15 0 106959923 11280941056 351011 33554432000 4194304 4196468 140724534526544 140087740327520 140088906258133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29656] ppid=29593 vsize=11016544 memory=1404044 CPUtime=0.07 cores=0,2,4,6
/proc/29596/task/29656/stat : 29656 (java) S 29593 29596 19273 0 -1 1077944384 9 13090 0 0 0 0 5 2 20 0 15 0 106959923 11280941056 351011 33554432000 4194304 4196468 140724534526544 140087539000704 140088906258133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29657] ppid=29593 vsize=11016544 memory=1800 CPUtime=0.07 cores=0,2,4,6
/proc/29596/task/29657/stat : 29657 (java) S 29593 29596 19273 0 -1 1077944384 3 13090 0 0 0 0 5 2 20 0 15 0 106959926 11280941056 351011 33554432000 4194304 4196468 140724534526544 140087231600976 140088906266523 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29658] ppid=29593 vsize=11016544 memory=18280 CPUtime=10.27 cores=0,2,4,6
/proc/29596/task/29658/stat : 29658 (java) S 29593 29596 19273 0 -1 1077944384 30550 13090 0 0 1016 4 5 2 20 0 15 0 106959926 11280941056 351011 33554432000 4194304 4196468 140724534526544 140088330623344 140088906259074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29659] ppid=29593 vsize=11016544 memory=1404044 CPUtime=10.47 cores=0,2,4,6
/proc/29596/task/29659/stat : 29659 (java) S 29593 29596 19273 0 -1 1077944384 30950 13090 0 0 1035 5 5 2 20 0 15 0 106959926 11280941056 351011 33554432000 4194304 4196468 140724534526544 140088329570544 140088906259074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29660] ppid=29593 vsize=11016544 memory=1404044 CPUtime=3.62 cores=0,2,4,6
/proc/29596/task/29660/stat : 29660 (java) S 29593 29596 19273 0 -1 1077944384 29837 13090 0 0 349 6 5 2 20 0 15 0 106959926 11280941056 351011 33554432000 4194304 4196468 140724534526544 140088328517744 140088906259074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29661] ppid=29593 vsize=11016544 memory=1404044 CPUtime=0.07 cores=0,2,4,6
/proc/29596/task/29661/stat : 29661 (java) S 29593 29596 19273 0 -1 1077944384 3 13090 0 0 0 0 5 2 20 0 15 0 106959926 11280941056 351011 33554432000 4194304 4196468 140724534526544 140086800804064 140088906258133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
[pid=29596/tid=29662] ppid=29593 vsize=11016544 memory=6791534058613427641 CPUtime=0.17 cores=0,2,4,6
/proc/29596/task/29662/stat : 29662 (java) S 29593 29596 19273 0 -1 1077944384 1120 13090 0 0 5 5 5 2 20 0 15 0 106959926 11280941056 351011 33554432000 4194304 4196468 140724534526544 140088327466160 140088906259074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17694720 140724534528616 140724534531425 140724534531425 140724534534095 0
Current children cumulated CPU time: 252.01 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1404044 KiB

Child status: 143
Real time (s): 225.743
CPU time (s): 252.077
CPU user time (s): 250.884
CPU system time (s): 1.19289
CPU usage (%): 111.665
Max. virtual memory (cumulated for all children) (KiB): 11017132
Max. memory (cumulated for all children) (KiB): 1681700

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.884
system time used= 1.19289
maximum resident set size= 1684260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 177206
page faults= 0
swaps= 0
block input operations= 0
block output operations= 504
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18468
involuntary context switches= 529


# summary of solver processes directly reported to runsolver:
#   pid: 29596
#   total CPU time (s): 252.077
#   total CPU user time (s): 250.884
#   total CPU system time (s): 1.19289

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.83853 second user time and 1.67086 second system time

The end

Launcher Data 

Begin job on node134 at 2018-07-29 21:52:47
IDJOB=4302783
IDBENCH=141045
IDSOLVER=2777
FILE ID=node134/4302783-1532893967
RUNJOBID= node134-1532893331-28700
PBS_JOBID= 21022511
Free space on /tmp= 60932 MiB

SOLVER NAME= Concrete 3.9.2-SuperNG
BENCH NAME= XCSP18/NurseRostering/NurseRostering-14_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED -superng BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4302783-1532893967/watcher-4302783-1532893967 -o /tmp/evaluation-result-4302783-1532893967/solver-4302783-1532893967 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532893331-28700 --watchdog 312  bin/xcsp-3-concrete -J-Xss64M -randomseed=1791079043 -superng HOME/instance-4302783-1532893967.xml

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

MD5SUM BENCH= 22d4927d0bd5c0ea6a9359fe3e752ee5
RANDOM SEED=1791079043

node134.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.68
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.68
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.68
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.68
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:        26544776 kB
MemAvailable:   30186256 kB
Buffers:          206188 kB
Cached:          3705868 kB
SwapCached:            0 kB
Active:          3480408 kB
Inactive:        2265024 kB
Active(anon):    1782884 kB
Inactive(anon):    78480 kB
Active(file):    1697524 kB
Inactive(file):  2186544 kB
Unevictable:        7364 kB
Mlocked:            7364 kB
SwapTotal:      67108860 kB
SwapFree:       67108744 kB
Dirty:             26752 kB
Writeback:             0 kB
AnonPages:       1799720 kB
Mapped:            58120 kB
Shmem:             25132 kB
Slab:             174836 kB
SReclaimable:     146492 kB
SUnreclaim:        28344 kB
KernelStack:        3888 kB
PageTables:         8860 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2889588 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1552384 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 60904 MiB
End job on node134 at 2018-07-29 21:56:33