Trace number 4302433

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.9.2? (TO) 252.108 228.149

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.74	c Concrete v3.9.2.1532736233296 running
17.32/6.55	c 21:52:03.179 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18628. 'extension(4, x[1][24]=[0‥4]) :: init: true :: relation: MDD 1415274192, 7 edges, 4 vertices, 5 tuples
17.32/6.55	c 21:52:03.184 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18629. 'extension(4, x[1][24]=[0‥4]) :: init: true :: relation: MDD 457732796, 5 edges, 3 vertices, 4 tuples
17.32/6.55	c 21:52:03.190 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18653. 'extension(x[0][9]=[0‥4], 4) :: init: true :: relation: MDD 111238003, 7 edges, 4 vertices, 5 tuples
17.32/6.55	c 21:52:03.191 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18682. 'extension(x[0][11]=[0‥4], 4) :: init: true :: relation: MDD 1102463008, 7 edges, 4 vertices, 5 tuples
17.32/6.56	c 21:52:03.191 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18683. 'extension(4, x[2][11]=[0‥4]) :: init: true :: relation: MDD 1102463008, 7 edges, 4 vertices, 5 tuples
17.32/6.56	c 21:52:03.193 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18714. 'extension(4, 4) :: init: true :: relation: MDD 40936992, 7 edges, 4 vertices, 5 tuples
17.32/6.56	c 21:52:03.193 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18715. 'extension(4, 4) :: init: true :: relation: MDD 154468798, 5 edges, 3 vertices, 4 tuples
17.32/6.56	c 21:52:03.194 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18740. 'extension(x[0][23]=[0‥4], 4) :: init: true :: relation: MDD 1963943166, 7 edges, 4 vertices, 5 tuples
17.32/6.56	c 21:52:03.194 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18741. 'extension(4, x[2][23]=[0‥4]) :: init: true :: relation: MDD 1963943166, 7 edges, 4 vertices, 5 tuples
17.32/6.56	c 21:52:03.197 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18769. 'extension(4, x[3][9]=[0‥4]) :: init: true :: relation: MDD 111238003, 7 edges, 4 vertices, 5 tuples
17.32/6.56	c 21:52:03.198 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18772. 'extension(4, 4) :: init: true :: relation: MDD 111238003, 7 edges, 4 vertices, 5 tuples
17.32/6.56	c 21:52:03.199 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18800. 'extension(x[1][13]=[0‥4], 4) :: init: true :: relation: MDD 1021082377, 7 edges, 4 vertices, 5 tuples
17.32/6.56	c 21:52:03.201 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18831. 'extension(4, x[3][20]=[0‥4]) :: init: true :: relation: MDD 40936992, 7 edges, 4 vertices, 5 tuples
17.32/6.57	c 21:52:03.202 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18834. 'extension(4, 4) :: init: true :: relation: MDD 40936992, 7 edges, 4 vertices, 5 tuples
17.32/6.57	c 21:52:03.204 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18862. 'extension(x[2][10]=[0‥4], 4) :: init: true :: relation: MDD 637524006, 7 edges, 4 vertices, 5 tuples
17.32/6.57	c 21:52:03.205 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18894. 'extension(4, x[4][13]=[0‥4]) :: init: true :: relation: MDD 1021082377, 7 edges, 4 vertices, 5 tuples
17.32/6.57	c 21:52:03.206 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18897. 'extension(4, 4) :: init: true :: relation: MDD 1021082377, 7 edges, 4 vertices, 5 tuples
17.32/6.57	c 21:52:03.208 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18929. 'extension(4, 4) :: init: true :: relation: MDD 637524006, 7 edges, 4 vertices, 5 tuples
17.32/6.57	c 21:52:03.209 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18959. 'extension(4, wk[10][0]=[0‥1]) :: init: true :: relation: MDD 1651251663, 5 edges, 3 vertices, 4 tuples
17.32/6.57	c 21:52:03.209 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18963. 'extension(4, 4) :: init: true :: relation: MDD 637524006, 7 edges, 4 vertices, 5 tuples
17.32/6.57	c 21:52:03.210 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18994. 'extension(4, wk[10][0]=[0‥1]) :: init: true :: relation: MDD 1722102020, 5 edges, 3 vertices, 4 tuples
17.32/6.57	c 21:52:03.211 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18995. 'extension(4, x[7][10]=[0‥4]) :: init: true :: relation: MDD 637524006, 7 edges, 4 vertices, 5 tuples
17.32/6.57	c 21:52:03.211 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18998. 'extension(4, 4) :: init: true :: relation: MDD 637524006, 7 edges, 4 vertices, 5 tuples
17.32/6.58	c 21:52:03.213 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19029. 'extension(4, wk[30][0]=[0‥1]) :: init: true :: relation: MDD 1700960966, 5 edges, 3 vertices, 4 tuples
17.32/6.58	c 21:52:03.214 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19030. 'extension(x[5][30]=[0‥4], 4) :: init: true :: relation: MDD 903218049, 7 edges, 4 vertices, 5 tuples
17.32/6.58	c 21:52:03.214 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19031. 'extension(4, x[7][30]=[0‥4]) :: init: true :: relation: MDD 903218049, 7 edges, 4 vertices, 5 tuples
17.32/6.58	c 21:52:03.216 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19063. 'extension(x[6][11]=[0‥4], 4) :: init: true :: relation: MDD 1102463008, 7 edges, 4 vertices, 5 tuples
17.32/6.58	c 21:52:03.216 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19064. 'extension(4, x[8][11]=[0‥4]) :: init: true :: relation: MDD 1102463008, 7 edges, 4 vertices, 5 tuples
17.32/6.58	c 21:52:03.218 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19097. 'extension(x[6][21]=[0‥4], 4) :: init: true :: relation: MDD 1614588868, 7 edges, 4 vertices, 5 tuples
17.32/6.58	c 21:52:03.219 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19098. 'extension(4, x[8][21]=[0‥4]) :: init: true :: relation: MDD 1614588868, 7 edges, 4 vertices, 5 tuples
17.32/6.58	c 21:52:03.221 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19133. 'extension(x[6][22]=[0‥4], 4) :: init: true :: relation: MDD 1500820019, 7 edges, 4 vertices, 5 tuples
17.32/6.59	c 21:52:03.222 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19169. 'extension(x[6][31]=[0‥4], 4) :: init: true :: relation: MDD 1479691423, 7 edges, 4 vertices, 5 tuples
17.32/6.59	c 21:52:03.223 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19205. 'extension(4, 4) :: init: true :: relation: MDD 1500820019, 7 edges, 4 vertices, 5 tuples
17.32/6.59	c 21:52:03.224 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19238. 'extension(x[7][30]=[0‥4], 4) :: init: true :: relation: MDD 903218049, 7 edges, 4 vertices, 5 tuples
17.32/6.59	c 21:52:03.225 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19239. 'extension(4, x[9][30]=[0‥4]) :: init: true :: relation: MDD 903218049, 7 edges, 4 vertices, 5 tuples
17.32/6.59	c 21:52:03.226 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19274. 'extension(4, 4) :: init: true :: relation: MDD 1479691423, 7 edges, 4 vertices, 5 tuples
17.32/6.59	c 21:52:03.227 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19307. 'extension(4, 4) :: init: true :: relation: MDD 1500820019, 7 edges, 4 vertices, 5 tuples
17.32/6.59	c 21:52:03.228 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19343. 'extension(4, 4) :: init: true :: relation: MDD 1479691423, 7 edges, 4 vertices, 5 tuples
17.32/6.59	c 21:52:03.229 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19373. 'extension(x[9][6]=[0‥4], 4) :: init: true :: relation: MDD 1459669467, 7 edges, 4 vertices, 5 tuples
17.32/6.59	c 21:52:03.230 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19407. 'extension(4, x[11][22]=[0‥4]) :: init: true :: relation: MDD 1500820019, 7 edges, 4 vertices, 5 tuples
17.32/6.59	c 21:52:03.231 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19410. 'extension(4, 4) :: init: true :: relation: MDD 1500820019, 7 edges, 4 vertices, 5 tuples
17.32/6.60	c 21:52:03.232 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19443. 'extension(x[9][24]=[0‥4], 4) :: init: true :: relation: MDD 1415274192, 7 edges, 4 vertices, 5 tuples
17.32/6.60	c 21:52:03.233 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19479. 'extension(4, x[11][31]=[0‥4]) :: init: true :: relation: MDD 1479691423, 7 edges, 4 vertices, 5 tuples
17.32/6.60	c 21:52:03.234 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19482. 'extension(4, 4) :: init: true :: relation: MDD 1479691423, 7 edges, 4 vertices, 5 tuples
17.32/6.60	c 21:52:03.236 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19512. 'extension(x[10][2]=[0‥4], 4) :: init: true :: relation: MDD 242224826, 7 edges, 4 vertices, 5 tuples
17.32/6.60	c 21:52:03.236 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19513. 'extension(4, x[12][2]=[0‥4]) :: init: true :: relation: MDD 242224826, 7 edges, 4 vertices, 5 tuples
17.32/6.60	c 21:52:03.238 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19546. 'extension(4, x[12][6]=[0‥4]) :: init: true :: relation: MDD 1459669467, 7 edges, 4 vertices, 5 tuples
17.32/6.60	c 21:52:03.239 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19549. 'extension(4, 4) :: init: true :: relation: MDD 1459669467, 7 edges, 4 vertices, 5 tuples
17.63/6.60	c 21:52:03.240 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19583. 'extension(4, 4) :: init: true :: relation: MDD 1415274192, 7 edges, 4 vertices, 5 tuples
17.63/6.61	c 21:52:03.241 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19616. 'extension(x[10][25]=[0‥4], 4) :: init: true :: relation: MDD 584580417, 7 edges, 4 vertices, 5 tuples
17.63/6.61	c 21:52:03.241 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19617. 'extension(4, x[12][25]=[0‥4]) :: init: true :: relation: MDD 584580417, 7 edges, 4 vertices, 5 tuples
17.63/6.61	c 21:52:03.244 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19652. 'extension(4, wk[13][1]=[0‥1]) :: init: true :: relation: MDD 70543368, 5 edges, 3 vertices, 4 tuples
17.63/6.61	c 21:52:03.244 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19653. 'extension(x[11][13]=[0‥4], 4) :: init: true :: relation: MDD 1021082377, 7 edges, 4 vertices, 5 tuples
17.63/6.61	c 21:52:03.245 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19687. 'extension(4, wk[24][1]=[0‥1]) :: init: true :: relation: MDD 1714961449, 5 edges, 3 vertices, 4 tuples
17.63/6.61	c 21:52:03.245 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19688. 'extension(4, x[13][24]=[0‥4]) :: init: true :: relation: MDD 1415274192, 7 edges, 4 vertices, 5 tuples
17.63/6.61	c 21:52:03.246 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19691. 'extension(4, 4) :: init: true :: relation: MDD 1415274192, 7 edges, 4 vertices, 5 tuples
17.63/6.61	c 21:52:03.248 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19724. 'extension(4, wk[5][1]=[0‥1]) :: init: true :: relation: MDD 1097684722, 5 edges, 3 vertices, 4 tuples
17.63/6.61	c 21:52:03.248 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19725. 'extension(x[12][5]=[0‥4], 4) :: init: true :: relation: MDD 545392109, 7 edges, 4 vertices, 5 tuples
17.63/6.61	c 21:52:03.249 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19726. 'extension(4, x[14][5]=[0‥4]) :: init: true :: relation: MDD 545392109, 7 edges, 4 vertices, 5 tuples
17.63/6.61	c 21:52:03.250 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19759. 'extension(4, wk[13][1]=[0‥1]) :: init: true :: relation: MDD 1898629094, 5 edges, 3 vertices, 4 tuples
17.63/6.61	c 21:52:03.251 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19760. 'extension(4, x[14][13]=[0‥4]) :: init: true :: relation: MDD 1021082377, 7 edges, 4 vertices, 5 tuples
17.63/6.61	c 21:52:03.251 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19763. 'extension(4, 4) :: init: true :: relation: MDD 1021082377, 7 edges, 4 vertices, 5 tuples
17.63/6.62	c 21:52:03.253 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19794. 'extension(x[13][0]=[0‥4], 4) :: init: true :: relation: MDD 698562080, 7 edges, 4 vertices, 5 tuples
17.63/6.62	c 21:52:03.254 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19828. 'extension(x[13][14]=[0‥4], 4) :: init: true :: relation: MDD 1858863803, 7 edges, 4 vertices, 5 tuples
17.63/6.62	c 21:52:03.255 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19862. 'extension(x[13][27]=[0‥4], 4) :: init: true :: relation: MDD 2000779038, 7 edges, 4 vertices, 5 tuples
17.63/6.62	c 21:52:03.255 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19863. 'extension(4, x[15][27]=[0‥4]) :: init: true :: relation: MDD 2000779038, 7 edges, 4 vertices, 5 tuples
17.63/6.62	c 21:52:03.257 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19898. 'extension(4, 4) :: init: true :: relation: MDD 698562080, 7 edges, 4 vertices, 5 tuples
17.63/6.62	c 21:52:03.258 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19932. 'extension(4, 4) :: init: true :: relation: MDD 1858863803, 7 edges, 4 vertices, 5 tuples
17.63/6.62	c 21:52:03.259 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19966. 'extension(4, 4) :: init: true :: relation: MDD 698562080, 7 edges, 4 vertices, 5 tuples
17.63/6.62	c 21:52:03.259 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19997. 'extension(x[15][2]=[0‥4], 4) :: init: true :: relation: MDD 242224826, 7 edges, 4 vertices, 5 tuples
17.63/6.62	c 21:52:03.260 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20034. 'extension(4, 4) :: init: true :: relation: MDD 1858863803, 7 edges, 4 vertices, 5 tuples
17.63/6.62	c 21:52:03.261 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20065. 'extension(4, x[18][0]=[0‥4]) :: init: true :: relation: MDD 698562080, 7 edges, 4 vertices, 5 tuples
17.63/6.62	c 21:52:03.262 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20068. 'extension(4, 4) :: init: true :: relation: MDD 698562080, 7 edges, 4 vertices, 5 tuples
17.63/6.63	c 21:52:03.263 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20099. 'extension(4, x[18][2]=[0‥4]) :: init: true :: relation: MDD 242224826, 7 edges, 4 vertices, 5 tuples
17.63/6.63	c 21:52:03.263 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20102. 'extension(4, 4) :: init: true :: relation: MDD 242224826, 7 edges, 4 vertices, 5 tuples
17.63/6.63	c 21:52:03.264 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20133. 'extension(x[16][4]=[0‥4], 4) :: init: true :: relation: MDD 1918121287, 7 edges, 4 vertices, 5 tuples
17.63/6.63	c 21:52:03.265 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20167. 'extension(4, x[18][14]=[0‥4]) :: init: true :: relation: MDD 1858863803, 7 edges, 4 vertices, 5 tuples
17.63/6.63	c 21:52:03.266 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20170. 'extension(4, 4) :: init: true :: relation: MDD 1858863803, 7 edges, 4 vertices, 5 tuples
17.63/6.63	c 21:52:03.267 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20201. 'extension(x[16][29]=[0‥4], 4) :: init: true :: relation: MDD 777940932, 7 edges, 4 vertices, 5 tuples
17.63/6.63	c 21:52:03.268 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20234. 'extension(x[17][3]=[0‥4], 4) :: init: true :: relation: MDD 1801756410, 7 edges, 4 vertices, 5 tuples
17.63/6.63	c 21:52:03.269 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20271. 'extension(4, 4) :: init: true :: relation: MDD 1918121287, 7 edges, 4 vertices, 5 tuples
17.63/6.63	c 21:52:03.269 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20305. 'extension(4, 4) :: init: true :: relation: MDD 777940932, 7 edges, 4 vertices, 5 tuples
17.63/6.64	c 21:52:03.270 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20335. 'extension(4, wk[1][2]=[0‥1]) :: init: true :: relation: MDD 537346910, 5 edges, 3 vertices, 4 tuples
17.63/6.64	c 21:52:03.271 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20336. 'extension(x[18][1]=[0‥4], 4) :: init: true :: relation: MDD 33389111, 7 edges, 4 vertices, 5 tuples
17.63/6.64	c 21:52:03.271 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20370. 'extension(4, wk[3][2]=[0‥1]) :: init: true :: relation: MDD 800218956, 5 edges, 3 vertices, 4 tuples
17.63/6.64	c 21:52:03.271 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20374. 'extension(4, 4) :: init: true :: relation: MDD 1801756410, 7 edges, 4 vertices, 5 tuples
17.63/6.64	c 21:52:03.272 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20405. 'extension(4, wk[4][2]=[0‥1]) :: init: true :: relation: MDD 256084228, 5 edges, 3 vertices, 4 tuples
17.63/6.64	c 21:52:03.272 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20409. 'extension(4, 4) :: init: true :: relation: MDD 1918121287, 7 edges, 4 vertices, 5 tuples
17.63/6.64	c 21:52:03.273 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20440. 'extension(4, wk[18][2]=[0‥1]) :: init: true :: relation: MDD 348209600, 5 edges, 3 vertices, 4 tuples
17.63/6.64	c 21:52:03.273 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20441. 'extension(x[18][18]=[0‥4], 4) :: init: true :: relation: MDD 1938634748, 7 edges, 4 vertices, 5 tuples
17.63/6.64	c 21:52:03.273 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20442. 'extension(4, x[20][18]=[0‥4]) :: init: true :: relation: MDD 1938634748, 7 edges, 4 vertices, 5 tuples
17.63/6.64	c 21:52:03.275 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20475. 'extension(4, wk[29][2]=[0‥1]) :: init: true :: relation: MDD 1796938191, 5 edges, 3 vertices, 4 tuples
17.63/6.64	c 21:52:03.275 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20479. 'extension(4, 4) :: init: true :: relation: MDD 777940932, 7 edges, 4 vertices, 5 tuples
17.63/6.64	c 21:52:03.276 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20509. 'extension(4, wk[1][2]=[0‥1]) :: init: true :: relation: MDD 247309715, 5 edges, 3 vertices, 4 tuples
17.63/6.64	c 21:52:03.276 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20510. 'extension(4, x[21][1]=[0‥4]) :: init: true :: relation: MDD 33389111, 7 edges, 4 vertices, 5 tuples
17.63/6.64	c 21:52:03.276 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20513. 'extension(4, 4) :: init: true :: relation: MDD 33389111, 7 edges, 4 vertices, 5 tuples
17.63/6.64	c 21:52:03.277 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20544. 'extension(4, wk[3][2]=[0‥1]) :: init: true :: relation: MDD 875456779, 5 edges, 3 vertices, 4 tuples
17.63/6.64	c 21:52:03.278 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20548. 'extension(4, 4) :: init: true :: relation: MDD 1801756410, 7 edges, 4 vertices, 5 tuples
17.63/6.64	c 21:52:03.278 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20579. 'extension(4, wk[4][2]=[0‥1]) :: init: true :: relation: MDD 416285645, 5 edges, 3 vertices, 4 tuples
17.63/6.64	c 21:52:03.278 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20580. 'extension(4, x[21][4]=[0‥4]) :: init: true :: relation: MDD 1918121287, 7 edges, 4 vertices, 5 tuples
17.63/6.64	c 21:52:03.279 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20583. 'extension(4, 4) :: init: true :: relation: MDD 1918121287, 7 edges, 4 vertices, 5 tuples
17.63/6.64	c 21:52:03.280 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20614. 'extension(4, wk[15][2]=[0‥1]) :: init: true :: relation: MDD 1175146719, 5 edges, 3 vertices, 4 tuples
17.63/6.64	c 21:52:03.280 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20615. 'extension(x[19][15]=[0‥4], 4) :: init: true :: relation: MDD 2045188238, 7 edges, 4 vertices, 5 tuples
17.63/6.64	c 21:52:03.281 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20616. 'extension(4, x[21][15]=[0‥4]) :: init: true :: relation: MDD 2045188238, 7 edges, 4 vertices, 5 tuples
17.63/6.65	c 21:52:03.282 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20649. 'extension(4, wk[29][2]=[0‥1]) :: init: true :: relation: MDD 1993836574, 5 edges, 3 vertices, 4 tuples
17.63/6.65	c 21:52:03.282 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20650. 'extension(4, x[21][29]=[0‥4]) :: init: true :: relation: MDD 777940932, 7 edges, 4 vertices, 5 tuples
17.63/6.65	c 21:52:03.283 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20653. 'extension(4, 4) :: init: true :: relation: MDD 777940932, 7 edges, 4 vertices, 5 tuples
17.63/6.65	c 21:52:03.284 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20683. 'extension(4, x[22][3]=[0‥4]) :: init: true :: relation: MDD 1801756410, 7 edges, 4 vertices, 5 tuples
17.63/6.65	c 21:52:03.285 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20686. 'extension(4, 4) :: init: true :: relation: MDD 1801756410, 7 edges, 4 vertices, 5 tuples
17.63/6.65	c 21:52:03.286 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20717. 'extension(x[20][30]=[0‥4], 4) :: init: true :: relation: MDD 903218049, 7 edges, 4 vertices, 5 tuples
17.63/6.65	c 21:52:03.286 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20718. 'extension(4, x[22][30]=[0‥4]) :: init: true :: relation: MDD 903218049, 7 edges, 4 vertices, 5 tuples
17.63/6.65	c 21:52:03.288 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20750. 'extension(x[22][12]=[0‥4], 4) :: init: true :: relation: MDD 970900790, 7 edges, 4 vertices, 5 tuples
17.63/6.65	c 21:52:03.289 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20784. 'extension(x[23][5]=[0‥4], 4) :: init: true :: relation: MDD 545392109, 7 edges, 4 vertices, 5 tuples
17.63/6.65	c 21:52:03.290 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20821. 'extension(4, 4) :: init: true :: relation: MDD 970900790, 7 edges, 4 vertices, 5 tuples
17.63/6.65	c 21:52:03.290 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20852. 'extension(x[23][18]=[0‥4], 4) :: init: true :: relation: MDD 1938634748, 7 edges, 4 vertices, 5 tuples
17.63/6.65	c 21:52:03.291 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20886. 'extension(x[23][27]=[0‥4], 4) :: init: true :: relation: MDD 2000779038, 7 edges, 4 vertices, 5 tuples
17.63/6.66	c 21:52:03.292 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20922. 'extension(4, 4) :: init: true :: relation: MDD 545392109, 7 edges, 4 vertices, 5 tuples
17.63/6.66	c 21:52:03.292 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20953. 'extension(x[24][11]=[0‥4], 4) :: init: true :: relation: MDD 1102463008, 7 edges, 4 vertices, 5 tuples
17.63/6.66	c 21:52:03.293 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20990. 'extension(4, 4) :: init: true :: relation: MDD 970900790, 7 edges, 4 vertices, 5 tuples
17.63/6.66	c 21:52:03.293 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21024. 'extension(4, 4) :: init: true :: relation: MDD 1938634748, 7 edges, 4 vertices, 5 tuples
17.63/6.66	c 21:52:03.294 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21055. 'extension(4, x[26][27]=[0‥4]) :: init: true :: relation: MDD 2000779038, 7 edges, 4 vertices, 5 tuples
17.63/6.66	c 21:52:03.294 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21058. 'extension(4, 4) :: init: true :: relation: MDD 2000779038, 7 edges, 4 vertices, 5 tuples
17.63/6.66	c 21:52:03.295 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21088. 'extension(x[24][30]=[0‥4], 4) :: init: true :: relation: MDD 903218049, 7 edges, 4 vertices, 5 tuples
17.63/6.66	c 21:52:03.296 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21089. 'extension(4, x[26][30]=[0‥4]) :: init: true :: relation: MDD 903218049, 7 edges, 4 vertices, 5 tuples
17.63/6.66	c 21:52:03.297 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21121. 'extension(4, wk[5][3]=[0‥1]) :: init: true :: relation: MDD 1692036285, 5 edges, 3 vertices, 4 tuples
17.63/6.66	c 21:52:03.298 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21122. 'extension(4, x[27][5]=[0‥4]) :: init: true :: relation: MDD 545392109, 7 edges, 4 vertices, 5 tuples
17.63/6.66	c 21:52:03.298 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21125. 'extension(4, 4) :: init: true :: relation: MDD 545392109, 7 edges, 4 vertices, 5 tuples
17.63/6.66	c 21:52:03.299 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21156. 'extension(4, wk[8][3]=[0‥1]) :: init: true :: relation: MDD 19400322, 5 edges, 3 vertices, 4 tuples
17.63/6.66	c 21:52:03.300 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21157. 'extension(x[25][8]=[0‥4], 4) :: init: true :: relation: MDD 1266759621, 7 edges, 4 vertices, 5 tuples
17.63/6.66	c 21:52:03.300 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21191. 'extension(4, wk[11][3]=[0‥1]) :: init: true :: relation: MDD 1709321711, 5 edges, 3 vertices, 4 tuples
17.63/6.66	c 21:52:03.301 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21192. 'extension(4, x[27][11]=[0‥4]) :: init: true :: relation: MDD 1102463008, 7 edges, 4 vertices, 5 tuples
17.63/6.67	c 21:52:03.305 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21195. 'extension(4, 4) :: init: true :: relation: MDD 1102463008, 7 edges, 4 vertices, 5 tuples
17.63/6.67	c 21:52:03.306 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21226. 'extension(4, wk[12][3]=[0‥1]) :: init: true :: relation: MDD 1418310135, 5 edges, 3 vertices, 4 tuples
17.63/6.67	c 21:52:03.307 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21227. 'extension(4, x[27][12]=[0‥4]) :: init: true :: relation: MDD 970900790, 7 edges, 4 vertices, 5 tuples
17.63/6.67	c 21:52:03.307 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21230. 'extension(4, 4) :: init: true :: relation: MDD 970900790, 7 edges, 4 vertices, 5 tuples
17.63/6.67	c 21:52:03.308 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21261. 'extension(4, wk[18][3]=[0‥1]) :: init: true :: relation: MDD 1375503918, 5 edges, 3 vertices, 4 tuples
17.63/6.67	c 21:52:03.309 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21262. 'extension(4, x[27][18]=[0‥4]) :: init: true :: relation: MDD 1938634748, 7 edges, 4 vertices, 5 tuples
17.63/6.67	c 21:52:03.309 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21265. 'extension(4, 4) :: init: true :: relation: MDD 1938634748, 7 edges, 4 vertices, 5 tuples
17.63/6.67	c 21:52:03.310 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21296. 'extension(4, wk[26][3]=[0‥1]) :: init: true :: relation: MDD 1139605173, 5 edges, 3 vertices, 4 tuples
17.63/6.67	c 21:52:03.311 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21297. 'extension(x[25][26]=[0‥4], 4) :: init: true :: relation: MDD 291359466, 7 edges, 4 vertices, 5 tuples
17.63/6.67	c 21:52:03.311 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21298. 'extension(4, x[27][26]=[0‥4]) :: init: true :: relation: MDD 291359466, 7 edges, 4 vertices, 5 tuples
17.63/6.68	c 21:52:03.313 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21333. 'extension(4, wk[8][3]=[0‥1]) :: init: true :: relation: MDD 1406763631, 5 edges, 3 vertices, 4 tuples
17.63/6.68	c 21:52:03.313 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21337. 'extension(4, 4) :: init: true :: relation: MDD 1266759621, 7 edges, 4 vertices, 5 tuples
17.63/6.68	c 21:52:03.314 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21368. 'extension(4, wk[16][3]=[0‥1]) :: init: true :: relation: MDD 370356001, 5 edges, 3 vertices, 4 tuples
17.63/6.68	c 21:52:03.314 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21369. 'extension(x[26][16]=[0‥4], 4) :: init: true :: relation: MDD 277155095, 7 edges, 4 vertices, 5 tuples
17.63/6.68	c 21:52:03.315 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21403. 'extension(4, x[29][8]=[0‥4]) :: init: true :: relation: MDD 1266759621, 7 edges, 4 vertices, 5 tuples
17.63/6.68	c 21:52:03.315 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21406. 'extension(4, 4) :: init: true :: relation: MDD 1266759621, 7 edges, 4 vertices, 5 tuples
17.63/6.68	c 21:52:03.316 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21437. 'extension(4, x[29][16]=[0‥4]) :: init: true :: relation: MDD 277155095, 7 edges, 4 vertices, 5 tuples
17.63/6.68	c 21:52:03.316 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21440. 'extension(4, 4) :: init: true :: relation: MDD 277155095, 7 edges, 4 vertices, 5 tuples
17.63/6.68	c 21:52:03.317 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21471. 'extension(x[27][19]=[0‥4], 4) :: init: true :: relation: MDD 1549005458, 7 edges, 4 vertices, 5 tuples
17.63/6.68	c 21:52:03.317 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21472. 'extension(4, x[29][19]=[0‥4]) :: init: true :: relation: MDD 1549005458, 7 edges, 4 vertices, 5 tuples
17.63/6.68	c 21:52:03.319 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21505. 'extension(x[28][17]=[0‥4], 4) :: init: true :: relation: MDD 876945112, 7 edges, 4 vertices, 5 tuples
17.63/6.68	c 21:52:03.320 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21542. 'extension(4, 4) :: init: true :: relation: MDD 876945112, 7 edges, 4 vertices, 5 tuples
17.63/6.68	c 21:52:03.321 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21573. 'extension(x[29][21]=[0‥4], 4) :: init: true :: relation: MDD 1614588868, 7 edges, 4 vertices, 5 tuples
17.63/6.69	c 21:52:03.321 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21574. 'extension(4, x[31][21]=[0‥4]) :: init: true :: relation: MDD 1614588868, 7 edges, 4 vertices, 5 tuples
17.63/6.69	c 21:52:03.322 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21609. 'extension(x[29][23]=[0‥4], 4) :: init: true :: relation: MDD 1963943166, 7 edges, 4 vertices, 5 tuples
17.63/6.69	c 21:52:03.323 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21645. 'extension(x[30][8]=[0‥4], 4) :: init: true :: relation: MDD 1266759621, 7 edges, 4 vertices, 5 tuples
17.63/6.69	c 21:52:03.324 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21646. 'extension(4, x[32][8]=[0‥4]) :: init: true :: relation: MDD 1266759621, 7 edges, 4 vertices, 5 tuples
17.63/6.69	c 21:52:03.325 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21679. 'extension(x[30][9]=[0‥4], 4) :: init: true :: relation: MDD 111238003, 7 edges, 4 vertices, 5 tuples
17.63/6.69	c 21:52:03.326 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21713. 'extension(x[30][16]=[0‥4], 4) :: init: true :: relation: MDD 277155095, 7 edges, 4 vertices, 5 tuples
17.63/6.69	c 21:52:03.326 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21750. 'extension(4, 4) :: init: true :: relation: MDD 876945112, 7 edges, 4 vertices, 5 tuples
17.63/6.69	c 21:52:03.327 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21781. 'extension(x[30][19]=[0‥4], 4) :: init: true :: relation: MDD 1549005458, 7 edges, 4 vertices, 5 tuples
17.63/6.69	c 21:52:03.327 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21818. 'extension(4, 4) :: init: true :: relation: MDD 1963943166, 7 edges, 4 vertices, 5 tuples
17.63/6.69	c 21:52:03.328 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21851. 'extension(4, x[33][9]=[0‥4]) :: init: true :: relation: MDD 111238003, 7 edges, 4 vertices, 5 tuples
17.63/6.69	c 21:52:03.329 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21854. 'extension(4, 4) :: init: true :: relation: MDD 111238003, 7 edges, 4 vertices, 5 tuples
17.63/6.69	c 21:52:03.330 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21885. 'extension(4, x[33][16]=[0‥4]) :: init: true :: relation: MDD 277155095, 7 edges, 4 vertices, 5 tuples
17.63/6.69	c 21:52:03.330 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21888. 'extension(4, 4) :: init: true :: relation: MDD 277155095, 7 edges, 4 vertices, 5 tuples
17.63/6.69	c 21:52:03.331 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21919. 'extension(4, x[33][17]=[0‥4]) :: init: true :: relation: MDD 876945112, 7 edges, 4 vertices, 5 tuples
17.63/6.70	c 21:52:03.332 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21922. 'extension(4, 4) :: init: true :: relation: MDD 876945112, 7 edges, 4 vertices, 5 tuples
17.63/6.70	c 21:52:03.333 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21956. 'extension(4, 4) :: init: true :: relation: MDD 1549005458, 7 edges, 4 vertices, 5 tuples
17.95/6.71	c 21:52:03.334 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21987. 'extension(4, x[33][23]=[0‥4]) :: init: true :: relation: MDD 1963943166, 7 edges, 4 vertices, 5 tuples
17.95/6.71	c 21:52:03.334 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21990. 'extension(4, 4) :: init: true :: relation: MDD 1963943166, 7 edges, 4 vertices, 5 tuples
17.95/6.71	c 21:52:03.335 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22023. 'extension(x[31][27]=[0‥4], 4) :: init: true :: relation: MDD 2000779038, 7 edges, 4 vertices, 5 tuples
17.95/6.71	c 21:52:03.336 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22024. 'extension(4, x[33][27]=[0‥4]) :: init: true :: relation: MDD 2000779038, 7 edges, 4 vertices, 5 tuples
17.95/6.71	c 21:52:03.337 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22056. 'extension(4, wk[15][4]=[0‥1]) :: init: true :: relation: MDD 539682927, 5 edges, 3 vertices, 4 tuples
17.95/6.71	c 21:52:03.338 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22057. 'extension(x[32][15]=[0‥4], 4) :: init: true :: relation: MDD 2045188238, 7 edges, 4 vertices, 5 tuples
17.95/6.71	c 21:52:03.338 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22091. 'extension(4, wk[19][4]=[0‥1]) :: init: true :: relation: MDD 497877502, 5 edges, 3 vertices, 4 tuples
17.95/6.71	c 21:52:03.338 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22092. 'extension(4, x[34][19]=[0‥4]) :: init: true :: relation: MDD 1549005458, 7 edges, 4 vertices, 5 tuples
17.95/6.71	c 21:52:03.339 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22095. 'extension(4, 4) :: init: true :: relation: MDD 1549005458, 7 edges, 4 vertices, 5 tuples
17.95/6.71	c 21:52:03.340 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22126. 'extension(4, wk[15][4]=[0‥1]) :: init: true :: relation: MDD 902064508, 5 edges, 3 vertices, 4 tuples
17.95/6.71	c 21:52:03.340 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22130. 'extension(4, 4) :: init: true :: relation: MDD 2045188238, 7 edges, 4 vertices, 5 tuples
17.95/6.71	c 21:52:03.341 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22161. 'extension(4, wk[21][4]=[0‥1]) :: init: true :: relation: MDD 463759298, 5 edges, 3 vertices, 4 tuples
17.95/6.71	c 21:52:03.341 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22162. 'extension(x[33][21]=[0‥4], 4) :: init: true :: relation: MDD 1614588868, 7 edges, 4 vertices, 5 tuples
17.95/6.71	c 21:52:03.342 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22198. 'extension(4, wk[28][4]=[0‥1]) :: init: true :: relation: MDD 1299866826, 5 edges, 3 vertices, 4 tuples
17.95/6.71	c 21:52:03.342 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22199. 'extension(x[33][28]=[0‥4], 4) :: init: true :: relation: MDD 1615668218, 7 edges, 4 vertices, 5 tuples
17.95/6.71	c 21:52:03.343 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22232. 'extension(x[34][7]=[0‥4], 4) :: init: true :: relation: MDD 561227586, 7 edges, 4 vertices, 5 tuples
17.95/6.71	c 21:52:03.343 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22266. 'extension(4, x[36][15]=[0‥4]) :: init: true :: relation: MDD 2045188238, 7 edges, 4 vertices, 5 tuples
17.95/6.71	c 21:52:03.344 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22269. 'extension(4, 4) :: init: true :: relation: MDD 2045188238, 7 edges, 4 vertices, 5 tuples
17.95/6.71	c 21:52:03.345 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22300. 'extension(4, x[36][21]=[0‥4]) :: init: true :: relation: MDD 1614588868, 7 edges, 4 vertices, 5 tuples
17.95/6.71	c 21:52:03.346 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22303. 'extension(4, 4) :: init: true :: relation: MDD 1614588868, 7 edges, 4 vertices, 5 tuples
17.95/6.71	c 21:52:03.347 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22339. 'extension(4, 4) :: init: true :: relation: MDD 1615668218, 7 edges, 4 vertices, 5 tuples
17.95/6.71	c 21:52:03.348 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22372. 'extension(4, 4) :: init: true :: relation: MDD 561227586, 7 edges, 4 vertices, 5 tuples
17.95/6.71	c 21:52:03.348 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22403. 'extension(x[35][25]=[0‥4], 4) :: init: true :: relation: MDD 584580417, 7 edges, 4 vertices, 5 tuples
17.95/6.71	c 21:52:03.349 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22441. 'extension(4, 4) :: init: true :: relation: MDD 1615668218, 7 edges, 4 vertices, 5 tuples
17.95/6.71	c 21:52:03.349 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22474. 'extension(4, 4) :: init: true :: relation: MDD 561227586, 7 edges, 4 vertices, 5 tuples
17.95/6.71	c 21:52:03.350 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22504. 'extension(x[36][20]=[0‥4], 4) :: init: true :: relation: MDD 40936992, 7 edges, 4 vertices, 5 tuples
17.95/6.71	c 21:52:03.350 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22505. 'extension(4, x[38][20]=[0‥4]) :: init: true :: relation: MDD 40936992, 7 edges, 4 vertices, 5 tuples
17.95/6.72	c 21:52:03.352 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22541. 'extension(4, 4) :: init: true :: relation: MDD 584580417, 7 edges, 4 vertices, 5 tuples
17.95/6.72	c 21:52:03.352 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22572. 'extension(4, x[38][28]=[0‥4]) :: init: true :: relation: MDD 1615668218, 7 edges, 4 vertices, 5 tuples
17.95/6.72	c 21:52:03.352 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22575. 'extension(4, 4) :: init: true :: relation: MDD 1615668218, 7 edges, 4 vertices, 5 tuples
17.95/6.72	c 21:52:03.354 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22604. 'extension(4, x[39][7]=[0‥4]) :: init: true :: relation: MDD 561227586, 7 edges, 4 vertices, 5 tuples
17.95/6.72	c 21:52:03.354 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22607. 'extension(4, 4) :: init: true :: relation: MDD 561227586, 7 edges, 4 vertices, 5 tuples
17.95/6.72	c 21:52:03.355 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22636. 'extension(4, x[39][25]=[0‥4]) :: init: true :: relation: MDD 584580417, 7 edges, 4 vertices, 5 tuples
17.95/6.72	c 21:52:03.355 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22639. 'extension(4, 4) :: init: true :: relation: MDD 584580417, 7 edges, 4 vertices, 5 tuples
17.95/6.72	c 21:52:03.357 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22669. 'extension(x[38][1]=[0‥4], 4) :: init: true :: relation: MDD 33389111, 7 edges, 4 vertices, 5 tuples
17.95/6.72	c 21:52:03.358 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22700. 'extension(x[38][6]=[0‥4], 4) :: init: true :: relation: MDD 1459669467, 7 edges, 4 vertices, 5 tuples
17.95/6.72	c 21:52:03.358 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22731. 'extension(x[38][26]=[0‥4], 4) :: init: true :: relation: MDD 291359466, 7 edges, 4 vertices, 5 tuples
17.95/6.72	c 21:52:03.359 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22762. 'extension(4, wk[1][5]=[0‥1]) :: init: true :: relation: MDD 974631651, 5 edges, 3 vertices, 4 tuples
17.95/6.72	c 21:52:03.359 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22763. 'extension(4, x[41][1]=[0‥4]) :: init: true :: relation: MDD 33389111, 7 edges, 4 vertices, 5 tuples
17.95/6.72	c 21:52:03.360 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22765. 'extension(4, 4) :: init: true :: relation: MDD 33389111, 7 edges, 4 vertices, 5 tuples
17.95/6.72	c 21:52:03.361 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22792. 'extension(4, wk[2][5]=[0‥1]) :: init: true :: relation: MDD 160549854, 5 edges, 3 vertices, 4 tuples
17.95/6.72	c 21:52:03.361 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22793. 'extension(x[39][2]=[0‥4], 4) :: init: true :: relation: MDD 242224826, 7 edges, 4 vertices, 5 tuples
17.95/6.72	c 21:52:03.361 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22794. 'extension(4, x[41][2]=[0‥4]) :: init: true :: relation: MDD 242224826, 7 edges, 4 vertices, 5 tuples
17.95/6.73	c 21:52:03.362 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22822. 'extension(4, wk[6][5]=[0‥1]) :: init: true :: relation: MDD 2027549979, 5 edges, 3 vertices, 4 tuples
17.95/6.73	c 21:52:03.362 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22823. 'extension(4, x[41][6]=[0‥4]) :: init: true :: relation: MDD 1459669467, 7 edges, 4 vertices, 5 tuples
17.95/6.73	c 21:52:03.363 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22825. 'extension(4, 4) :: init: true :: relation: MDD 1459669467, 7 edges, 4 vertices, 5 tuples
17.95/6.73	c 21:52:03.364 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22852. 'extension(4, wk[26][5]=[0‥1]) :: init: true :: relation: MDD 1887326180, 5 edges, 3 vertices, 4 tuples
17.95/6.73	c 21:52:03.364 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22855. 'extension(4, 4) :: init: true :: relation: MDD 291359466, 7 edges, 4 vertices, 5 tuples
17.95/6.73	c 21:52:03.365 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22882. 'extension(4, wk[26][5]=[0‥1]) :: init: true :: relation: MDD 930641076, 5 edges, 3 vertices, 4 tuples
17.95/6.73	c 21:52:03.365 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22883. 'extension(4, 4) :: init: true :: relation: MDD 291359466, 7 edges, 4 vertices, 5 tuples
17.95/6.73	c 21:52:03.365 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22884. 'extension(4, 4) :: init: true :: relation: MDD 2065834544, 5 edges, 3 vertices, 4 tuples
17.95/6.75	c 21:52:03.386 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23323. 'extension(x[1][24]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.75	c 21:52:03.387 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23325. 'extension(x[1][24]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.75	c 21:52:03.387 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23331. 'extension(x[0][9]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.75	c 21:52:03.387 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23335. 'extension(x[0][11]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.75	c 21:52:03.388 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23337. 'extension(x[2][11]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.75	c 21:52:03.388 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23349. 'extension(x[0][23]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.75	c 21:52:03.388 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23351. 'extension(x[2][23]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.75	c 21:52:03.389 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23363. 'extension(x[3][9]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.75	c 21:52:03.390 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23377. 'extension(x[1][13]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.75	c 21:52:03.390 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23383. 'extension(x[3][20]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.75	c 21:52:03.390 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23395. 'extension(x[2][10]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.75	c 21:52:03.391 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23401. 'extension(x[4][13]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.75	c 21:52:03.391 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23419. 'extension(wk[10][0]=[0‥1]) :: init: true :: relation: Empty MDD
17.95/6.76	c 21:52:03.392 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23421. 'extension(wk[10][0]=[0‥1]) :: init: true :: relation: Empty MDD
17.95/6.76	c 21:52:03.392 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23423. 'extension(x[7][10]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.76	c 21:52:03.392 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23433. 'extension(wk[30][0]=[0‥1]) :: init: true :: relation: Empty MDD
17.95/6.76	c 21:52:03.392 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23435. 'extension(x[5][30]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.76	c 21:52:03.393 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23437. 'extension(x[7][30]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.76	c 21:52:03.393 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23447. 'extension(x[6][11]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.76	c 21:52:03.393 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23449. 'extension(x[8][11]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.76	c 21:52:03.394 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23463. 'extension(x[6][21]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.76	c 21:52:03.394 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23465. 'extension(x[8][21]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.76	c 21:52:03.395 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23481. 'extension(x[6][22]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.76	c 21:52:03.395 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23487. 'extension(x[6][31]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.76	c 21:52:03.395 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23497. 'extension(x[7][30]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.76	c 21:52:03.396 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23499. 'extension(x[9][30]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.76	c 21:52:03.396 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23515. 'extension(x[9][6]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.76	c 21:52:03.397 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23521. 'extension(x[11][22]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.76	c 21:52:03.397 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23533. 'extension(x[9][24]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.76	c 21:52:03.397 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23539. 'extension(x[11][31]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.76	c 21:52:03.398 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23547. 'extension(x[10][2]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.76	c 21:52:03.398 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23549. 'extension(x[12][2]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.76	c 21:52:03.399 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23563. 'extension(x[12][6]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.76	c 21:52:03.399 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23581. 'extension(x[10][25]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.76	c 21:52:03.399 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23583. 'extension(x[12][25]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.76	c 21:52:03.400 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23599. 'extension(wk[13][1]=[0‥1]) :: init: true :: relation: Empty MDD
17.95/6.76	c 21:52:03.401 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23601. 'extension(x[11][13]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.76	c 21:52:03.401 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23607. 'extension(wk[24][1]=[0‥1]) :: init: true :: relation: Empty MDD
17.95/6.76	c 21:52:03.401 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23609. 'extension(x[13][24]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.77	c 21:52:03.402 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23623. 'extension(wk[5][1]=[0‥1]) :: init: true :: relation: Empty MDD
17.95/6.77	c 21:52:03.402 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23625. 'extension(x[12][5]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.77	c 21:52:03.402 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23627. 'extension(x[14][5]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.77	c 21:52:03.402 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23641. 'extension(wk[13][1]=[0‥1]) :: init: true :: relation: Empty MDD
17.95/6.77	c 21:52:03.403 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23643. 'extension(x[14][13]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.77	c 21:52:03.403 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23657. 'extension(x[13][0]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.77	c 21:52:03.404 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23663. 'extension(x[13][14]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.77	c 21:52:03.404 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23669. 'extension(x[13][27]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.77	c 21:52:03.404 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23671. 'extension(x[15][27]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.77	c 21:52:03.405 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23691. 'extension(x[15][2]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.77	c 21:52:03.405 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23697. 'extension(x[18][0]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.77	c 21:52:03.405 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23707. 'extension(x[18][2]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.77	c 21:52:03.406 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23721. 'extension(x[16][4]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.77	c 21:52:03.406 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23727. 'extension(x[18][14]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.77	c 21:52:03.407 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23737. 'extension(x[16][29]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.77	c 21:52:03.407 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23743. 'extension(x[17][3]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.77	c 21:52:03.408 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23755. 'extension(wk[1][2]=[0‥1]) :: init: true :: relation: Empty MDD
17.95/6.77	c 21:52:03.408 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23757. 'extension(x[18][1]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.77	c 21:52:03.408 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23763. 'extension(wk[3][2]=[0‥1]) :: init: true :: relation: Empty MDD
17.95/6.77	c 21:52:03.408 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23769. 'extension(wk[4][2]=[0‥1]) :: init: true :: relation: Empty MDD
17.95/6.77	c 21:52:03.409 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23771. 'extension(wk[18][2]=[0‥1]) :: init: true :: relation: Empty MDD
17.95/6.77	c 21:52:03.409 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23773. 'extension(x[18][18]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.77	c 21:52:03.409 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23775. 'extension(x[20][18]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.77	c 21:52:03.409 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23789. 'extension(wk[29][2]=[0‥1]) :: init: true :: relation: Empty MDD
17.95/6.77	c 21:52:03.410 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23791. 'extension(wk[1][2]=[0‥1]) :: init: true :: relation: Empty MDD
17.95/6.77	c 21:52:03.410 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23793. 'extension(x[21][1]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.77	c 21:52:03.410 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23807. 'extension(wk[3][2]=[0‥1]) :: init: true :: relation: Empty MDD
17.95/6.77	c 21:52:03.410 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23809. 'extension(wk[4][2]=[0‥1]) :: init: true :: relation: Empty MDD
17.95/6.77	c 21:52:03.411 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23811. 'extension(x[21][4]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.77	c 21:52:03.411 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23821. 'extension(wk[15][2]=[0‥1]) :: init: true :: relation: Empty MDD
17.95/6.77	c 21:52:03.411 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23823. 'extension(x[19][15]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.77	c 21:52:03.411 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23825. 'extension(x[21][15]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.78	c 21:52:03.412 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23839. 'extension(wk[29][2]=[0‥1]) :: init: true :: relation: Empty MDD
17.95/6.78	c 21:52:03.412 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23841. 'extension(x[21][29]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.78	c 21:52:03.413 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23849. 'extension(x[22][3]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.78	c 21:52:03.413 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23859. 'extension(x[20][30]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.78	c 21:52:03.413 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23861. 'extension(x[22][30]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.78	c 21:52:03.414 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23873. 'extension(x[22][12]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.78	c 21:52:03.414 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23879. 'extension(x[23][5]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.78	c 21:52:03.414 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23889. 'extension(x[23][18]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.78	c 21:52:03.415 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23895. 'extension(x[23][27]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.78	c 21:52:03.415 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23905. 'extension(x[24][11]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.78	c 21:52:03.416 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23915. 'extension(x[26][27]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.78	c 21:52:03.416 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23925. 'extension(x[24][30]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.78	c 21:52:03.416 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23927. 'extension(x[26][30]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.78	c 21:52:03.417 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23939. 'extension(wk[5][3]=[0‥1]) :: init: true :: relation: Empty MDD
17.95/6.78	c 21:52:03.417 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23941. 'extension(x[27][5]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.78	c 21:52:03.417 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23951. 'extension(wk[8][3]=[0‥1]) :: init: true :: relation: Empty MDD
17.95/6.78	c 21:52:03.417 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23953. 'extension(x[25][8]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.78	c 21:52:03.418 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23959. 'extension(wk[11][3]=[0‥1]) :: init: true :: relation: Empty MDD
17.95/6.78	c 21:52:03.418 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23961. 'extension(x[27][11]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.78	c 21:52:03.418 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23975. 'extension(wk[12][3]=[0‥1]) :: init: true :: relation: Empty MDD
17.95/6.78	c 21:52:03.418 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23977. 'extension(x[27][12]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.78	c 21:52:03.419 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23987. 'extension(wk[18][3]=[0‥1]) :: init: true :: relation: Empty MDD
17.95/6.78	c 21:52:03.419 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23989. 'extension(x[27][18]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.78	c 21:52:03.420 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23999. 'extension(wk[26][3]=[0‥1]) :: init: true :: relation: Empty MDD
17.95/6.78	c 21:52:03.420 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24001. 'extension(x[25][26]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.78	c 21:52:03.420 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24003. 'extension(x[27][26]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.78	c 21:52:03.421 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24019. 'extension(wk[8][3]=[0‥1]) :: init: true :: relation: Empty MDD
17.95/6.79	c 21:52:03.421 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24025. 'extension(wk[16][3]=[0‥1]) :: init: true :: relation: Empty MDD
17.95/6.79	c 21:52:03.421 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24027. 'extension(x[26][16]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.79	c 21:52:03.421 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24033. 'extension(x[29][8]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.79	c 21:52:03.422 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24043. 'extension(x[29][16]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.79	c 21:52:03.422 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24057. 'extension(x[27][19]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.79	c 21:52:03.423 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24059. 'extension(x[29][19]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.79	c 21:52:03.423 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24073. 'extension(x[28][17]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.79	c 21:52:03.424 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24083. 'extension(x[29][21]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.79	c 21:52:03.424 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24085. 'extension(x[31][21]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.79	c 21:52:03.425 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24101. 'extension(x[29][23]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.79	c 21:52:03.425 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24107. 'extension(x[30][8]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.79	c 21:52:03.425 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24109. 'extension(x[32][8]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.79	c 21:52:03.426 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24123. 'extension(x[30][9]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.79	c 21:52:03.426 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24129. 'extension(x[30][16]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.79	c 21:52:03.426 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24135. 'extension(x[30][19]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.79	c 21:52:03.427 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24145. 'extension(x[33][9]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.79	c 21:52:03.427 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24159. 'extension(x[33][16]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.79	c 21:52:03.428 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24173. 'extension(x[33][17]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.79	c 21:52:03.428 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24187. 'extension(x[33][23]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.79	c 21:52:03.429 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24201. 'extension(x[31][27]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.79	c 21:52:03.429 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24203. 'extension(x[33][27]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.79	c 21:52:03.430 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24215. 'extension(wk[15][4]=[0‥1]) :: init: true :: relation: Empty MDD
17.95/6.79	c 21:52:03.430 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24217. 'extension(x[32][15]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.79	c 21:52:03.430 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24223. 'extension(wk[19][4]=[0‥1]) :: init: true :: relation: Empty MDD
17.95/6.79	c 21:52:03.430 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24225. 'extension(x[34][19]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.79	c 21:52:03.431 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24235. 'extension(wk[15][4]=[0‥1]) :: init: true :: relation: Empty MDD
17.95/6.79	c 21:52:03.431 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24241. 'extension(wk[21][4]=[0‥1]) :: init: true :: relation: Empty MDD
17.95/6.79	c 21:52:03.431 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24243. 'extension(x[33][21]=[0‥4]) :: init: true :: relation: Empty MDD
17.95/6.79	c 21:52:03.431 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24249. 'extension(wk[28][4]=[0‥1]) :: init: true :: relation: Empty MDD
18.26/6.80	c 21:52:03.432 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24251. 'extension(x[33][28]=[0‥4]) :: init: true :: relation: Empty MDD
18.26/6.80	c 21:52:03.432 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24257. 'extension(x[34][7]=[0‥4]) :: init: true :: relation: Empty MDD
18.26/6.80	c 21:52:03.432 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24263. 'extension(x[36][15]=[0‥4]) :: init: true :: relation: Empty MDD
18.26/6.80	c 21:52:03.433 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24273. 'extension(x[36][21]=[0‥4]) :: init: true :: relation: Empty MDD
18.26/6.80	c 21:52:03.433 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24295. 'extension(x[35][25]=[0‥4]) :: init: true :: relation: Empty MDD
18.26/6.80	c 21:52:03.434 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24301. 'extension(x[36][20]=[0‥4]) :: init: true :: relation: Empty MDD
18.26/6.80	c 21:52:03.434 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24303. 'extension(x[38][20]=[0‥4]) :: init: true :: relation: Empty MDD
18.26/6.80	c 21:52:03.435 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24323. 'extension(x[38][28]=[0‥4]) :: init: true :: relation: Empty MDD
18.26/6.80	c 21:52:03.435 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24331. 'extension(x[39][7]=[0‥4]) :: init: true :: relation: Empty MDD
18.26/6.80	c 21:52:03.435 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24341. 'extension(x[39][25]=[0‥4]) :: init: true :: relation: Empty MDD
18.26/6.80	c 21:52:03.436 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24355. 'extension(x[38][1]=[0‥4]) :: init: true :: relation: Empty MDD
18.26/6.80	c 21:52:03.436 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24361. 'extension(x[38][6]=[0‥4]) :: init: true :: relation: Empty MDD
18.26/6.80	c 21:52:03.437 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24367. 'extension(x[38][26]=[0‥4]) :: init: true :: relation: Empty MDD
18.26/6.80	c 21:52:03.437 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24373. 'extension(wk[1][5]=[0‥1]) :: init: true :: relation: Empty MDD
18.26/6.80	c 21:52:03.437 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24375. 'extension(x[41][1]=[0‥4]) :: init: true :: relation: Empty MDD
18.26/6.80	c 21:52:03.438 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24387. 'extension(wk[2][5]=[0‥1]) :: init: true :: relation: Empty MDD
18.26/6.80	c 21:52:03.438 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24389. 'extension(x[39][2]=[0‥4]) :: init: true :: relation: Empty MDD
18.26/6.80	c 21:52:03.438 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24391. 'extension(x[41][2]=[0‥4]) :: init: true :: relation: Empty MDD
18.26/6.80	c 21:52:03.438 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24403. 'extension(wk[6][5]=[0‥1]) :: init: true :: relation: Empty MDD
18.26/6.80	c 21:52:03.439 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24405. 'extension(x[41][6]=[0‥4]) :: init: true :: relation: Empty MDD
18.26/6.80	c 21:52:03.439 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24417. 'extension(wk[26][5]=[0‥1]) :: init: true :: relation: Empty MDD
18.26/6.80	c 21:52:03.439 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24423. 'extension(wk[26][5]=[0‥1]) :: init: true :: relation: Empty MDD
252.03/228.11	Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost
252.03/228.11		at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:24)
252.03/228.11		at concrete.heuristic.value.BestCost.$anonfun$select$2(BestCost.scala:53)
252.03/228.11		at bitvectors.SmallBitVector.filter(SmallBitVector.scala:142)
252.03/228.11		at bitvectors.SmallBitVector.filter(SmallBitVector.scala:5)
252.03/228.11		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:126)
252.03/228.11		at concrete.IntervalDomain.filter(IntervalDomain.scala:81)
252.03/228.11		at concrete.IntervalDomain.filter(IntervalDomain.scala:7)
252.03/228.11		at concrete.heuristic.value.BestCost.select(BestCost.scala:53)
252.03/228.11		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
252.03/228.11		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103)
252.03/228.11		at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
252.03/228.11		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
252.03/228.11		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103)
252.03/228.11		at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
252.03/228.11		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
252.03/228.11		at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:109)
252.03/228.11		at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42)
252.03/228.11		at scala.Option.map(Option.scala:146)
252.03/228.11		at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40)
252.03/228.11		at concrete.MAC.mac(MAC.scala:203)
252.03/228.11		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
252.03/228.11		at scala.util.Try$.apply(Try.scala:209)
252.03/228.11		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
252.03/228.11		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
252.03/228.11		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
252.03/228.11		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
252.03/228.11		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
252.03/228.11		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
252.03/228.11		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
252.03/228.11		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
252.03/228.11		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
252.03/228.11		at concrete.MAC.oneRun(MAC.scala:253)
252.03/228.11		at concrete.MAC.nextSolution(MAC.scala:272)
252.03/228.11		at concrete.MAC.$anonfun$nextSolution$5(MAC.scala:336)
252.03/228.11		at concrete.ProblemState.map(ProblemState.scala:221)
252.03/228.11		at concrete.ProblemState.map(ProblemState.scala:204)
252.03/228.11		at concrete.MAC.nextSolution(MAC.scala:334)
252.03/228.11		at concrete.Solver.hasNext(Solver.scala:166)
252.03/228.11		at scala.collection.Iterator.foreach(Iterator.scala:944)
252.03/228.11		at scala.collection.Iterator.foreach$(Iterator.scala:944)
252.03/228.11		at concrete.Solver.foreach(Solver.scala:68)
252.03/228.11		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
252.03/228.11		at scala.util.Success.$anonfun$map$1(Try.scala:251)
252.03/228.11		at scala.util.Success.map(Try.scala:209)
252.03/228.11		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
252.03/228.11		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
252.03/228.11		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
252.03/228.11		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
252.03/228.11		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
252.03/228.11		at scala.Function0.apply$mcV$sp(Function0.scala:34)
252.03/228.11		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
252.03/228.11		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
252.03/228.11		at scala.App.$anonfun$main$1$adapted(App.scala:76)
252.03/228.11		at scala.collection.immutable.List.foreach(List.scala:389)
252.03/228.11		at scala.App.main(App.scala:76)
252.03/228.11		at scala.App.main$(App.scala:74)
252.03/228.11		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
252.03/228.11		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
252.03/228.12	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 (13419 MiB free)
  memory of node 1: 16384 MiB (13003 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302433-1532893916/watcher-4302433-1532893916 -o /tmp/evaluation-result-4302433-1532893916/solver-4302433-1532893916 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532893235-14549 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=1552616022 HOME/instance-4302433-1532893916.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
solver pid=15315, runsolver pid=15312
Current StackSize limit: 8192 KiB


[startup+0.100052 s]*
/proc/loadavg: 1.89 1.88 1.40 3/207 15372
/proc/meminfo: memFree=27049776/32770624 swapFree=67108436/67108860
[pid=15315] ppid=15312 vsize=10005480 memory=17076 CPUtime=0.09 cores=0,2,4,6
/proc/15315/stat : 15315 (java) S 15312 15315 9814 0 -1 1077944320 4389 12861 0 0 1 1 4 3 20 0 6 0 106954778 10245611520 4269 33554432000 4194304 4196468 140724313457936 140724313440480 140061100564215 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
/proc/15315/statm: 2501370 4269 1935 1 0 2489808 0
[pid=15315/tid=15368] ppid=15312 vsize=10005480 memory=4279135704013962638 CPUtime=0.07 cores=0,2,4,6
/proc/15315/task/15368/stat : 15368 (java) R 15312 15315 9814 0 -1 4202560 2224 12861 0 0 0 0 4 3 20 0 6 0 106954787 10245611520 4269 33554432000 4194304 4196468 140724313457936 140061072400976 140061084644702 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15369] ppid=15312 vsize=10005480 memory=8257237230052613020 CPUtime=0.07 cores=0,2,4,6
/proc/15315/task/15369/stat : 15369 (java) S 15312 15315 9814 0 -1 1077944384 1 12861 0 0 0 0 4 3 20 0 6 0 106954788 10245611520 4269 33554432000 4194304 4196468 140724313457936 140061104806672 140061100574421 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15370] ppid=15312 vsize=10005480 memory=140659754370688 CPUtime=0.07 cores=0,2,4,6
/proc/15315/task/15370/stat : 15370 (java) S 15312 15315 9814 0 -1 1077944384 1 12861 0 0 0 0 4 3 20 0 6 0 106954788 10245611520 4269 33554432000 4194304 4196468 140724313457936 140060970142608 140061100574421 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15371] ppid=15312 vsize=10005480 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15315/task/15371/stat : 15371 (java) S 15312 15315 9814 0 -1 1077944384 1 12861 0 0 0 0 4 3 20 0 6 0 106954788 10245611520 4269 33554432000 4194304 4196468 140724313457936 140060969090064 140061100574421 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15372] ppid=15312 vsize=10005480 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/15315/task/15372/stat : 15372 (java) S 15312 15315 9814 0 -1 1077944384 2 12861 0 0 0 0 4 3 20 0 6 0 106954788 10245611520 4269 33554432000 4194304 4196468 140724313457936 140060968037520 140061100574421 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 17076 KiB

[startup+0.210039 s]*
/proc/loadavg: 1.89 1.88 1.40 3/216 15381
/proc/meminfo: memFree=27026172/32770624 swapFree=67108436/67108860
[pid=15315] ppid=15312 vsize=10982744 memory=45704 CPUtime=0.25 cores=0,2,4,6
/proc/15315/stat : 15315 (java) S 15312 15315 9814 0 -1 1077944320 8049 12861 0 0 16 2 4 3 20 0 15 0 106954778 11246329856 11360 33554432000 4194304 4196468 140724313457936 140724313440480 140061100564215 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
/proc/15315/statm: 2745686 11426 2976 1 0 2708109 0
[pid=15315/tid=15368] ppid=15312 vsize=10982744 memory=7022364594140610616 CPUtime=0.18 cores=0,2,4,6
/proc/15315/task/15368/stat : 15368 (java) R 15312 15315 9814 0 -1 4202560 4639 12861 0 0 10 1 4 3 20 0 15 0 106954787 11246329856 11426 33554432000 4194304 4196468 140724313457936 140061072387336 140061100576150 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15369] ppid=15312 vsize=10982744 memory=345 CPUtime=0.07 cores=0,2,4,6
/proc/15315/task/15369/stat : 15369 (java) S 15312 15315 9814 0 -1 1077944384 1 12861 0 0 0 0 4 3 20 0 15 0 106954788 11246329856 11426 33554432000 4194304 4196468 140724313457936 140061104806672 140061100574421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15370] ppid=15312 vsize=10982744 memory=140659754386118 CPUtime=0.07 cores=0,2,4,6
/proc/15315/task/15370/stat : 15370 (java) S 15312 15315 9814 0 -1 1077944384 1 12861 0 0 0 0 4 3 20 0 15 0 106954788 11246329856 11426 33554432000 4194304 4196468 140724313457936 140060970142608 140061100574421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15371] ppid=15312 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15315/task/15371/stat : 15371 (java) S 15312 15315 9814 0 -1 1077944384 1 12861 0 0 0 0 4 3 20 0 15 0 106954788 11246329856 11426 33554432000 4194304 4196468 140724313457936 140060969090064 140061100574421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15372] ppid=15312 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/15315/task/15372/stat : 15372 (java) S 15312 15315 9814 0 -1 1077944384 2 12861 0 0 0 0 4 3 20 0 15 0 106954788 11246329856 11426 33554432000 4194304 4196468 140724313457936 140060968037520 140061100574421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15373] ppid=15312 vsize=10982744 memory=140659754370688 CPUtime=0.07 cores=0,2,4,6
/proc/15315/task/15373/stat : 15373 (java) S 15312 15315 9814 0 -1 1077944384 2 12861 0 0 0 0 4 3 20 0 15 0 106954789 11246329856 11426 33554432000 4194304 4196468 140724313457936 140060392179696 140061100575362 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15374] ppid=15312 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/15315/task/15374/stat : 15374 (java) S 15312 15315 9814 0 -1 1077944384 13 12861 0 0 0 0 4 3 20 0 15 0 106954789 11246329856 11426 33554432000 4194304 4196468 140724313457936 140059957257120 140061100574421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15375] ppid=15312 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15315/task/15375/stat : 15375 (java) S 15312 15315 9814 0 -1 1077944384 1 12861 0 0 0 0 4 3 20 0 15 0 106954790 11246329856 11426 33554432000 4194304 4196468 140724313457936 140059755930608 140061100574421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15376] ppid=15312 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15315/task/15376/stat : 15376 (java) S 15312 15315 9814 0 -1 1077944384 3 12861 0 0 0 0 4 3 20 0 15 0 106954792 11246329856 11426 33554432000 4194304 4196468 140724313457936 140059448531152 140061100582811 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15377] ppid=15312 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15315/task/15377/stat : 15377 (java) S 15312 15315 9814 0 -1 1077944384 492 12861 0 0 1 0 4 3 20 0 15 0 106954792 11246329856 11426 33554432000 4194304 4196468 140724313457936 140060391127536 140061100575362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15378] ppid=15312 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/15315/task/15378/stat : 15378 (java) S 15312 15315 9814 0 -1 1077944384 138 12861 0 0 0 0 4 3 20 0 15 0 106954792 11246329856 11426 33554432000 4194304 4196468 140724313457936 140060390074992 140061100575362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15379] ppid=15312 vsize=10982744 memory=140659754370688 CPUtime=0.1 cores=0,2,4,6
/proc/15315/task/15379/stat : 15379 (java) R 15312 15315 9814 0 -1 4202560 609 12861 0 0 3 0 4 3 20 0 15 0 106954792 11246329856 11426 33554432000 4194304 4196468 140724313457936 140060389022448 140061079685533 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15380] ppid=15312 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/15315/task/15380/stat : 15380 (java) S 15312 15315 9814 0 -1 1077944384 3 12861 0 0 0 0 4 3 20 0 15 0 106954793 11246329856 11426 33554432000 4194304 4196468 140724313457936 140059017735264 140061100574421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15381] ppid=15312 vsize=10982744 memory=140659754370688 CPUtime=0.07 cores=0,2,4,6
/proc/15315/task/15381/stat : 15381 (java) S 15312 15315 9814 0 -1 1077944384 1 12861 0 0 0 0 4 3 20 0 15 0 106954793 11246329856 11426 33554432000 4194304 4196468 140724313457936 140060387969328 140061100575362 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 45704 KiB

[startup+0.310391 s]*
/proc/loadavg: 1.89 1.88 1.40 3/216 15381
/proc/meminfo: memFree=27014096/32770624 swapFree=67108436/67108860
[pid=15315] ppid=15312 vsize=10983192 memory=56348 CPUtime=0.38 cores=0,2,4,6
/proc/15315/stat : 15315 (java) S 15312 15315 9814 0 -1 1077944320 10586 12861 0 0 28 3 4 3 20 0 15 0 106954778 11246788608 14087 33554432000 4194304 4196468 140724313457936 140724313440480 140061100564215 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
/proc/15315/statm: 2745798 14087 3095 1 0 2708109 0
[pid=15315/tid=15368] ppid=15312 vsize=10983192 memory=6791534058613427641 CPUtime=0.27 cores=0,2,4,6
/proc/15315/task/15368/stat : 15368 (java) R 15312 15315 9814 0 -1 4202560 7125 12861 0 0 19 1 4 3 20 0 15 0 106954787 11246788608 14087 33554432000 4194304 4196468 140724313457936 140061072376224 140061084644702 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15369] ppid=15312 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15315/task/15369/stat : 15369 (java) S 15312 15315 9814 0 -1 1077944384 1 12861 0 0 0 0 4 3 20 0 15 0 106954788 11246788608 14087 33554432000 4194304 4196468 140724313457936 140061104806672 140061100574421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15370] ppid=15312 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15315/task/15370/stat : 15370 (java) S 15312 15315 9814 0 -1 1077944384 1 12861 0 0 0 0 4 3 20 0 15 0 106954788 11246788608 14087 33554432000 4194304 4196468 140724313457936 140060970142608 140061100574421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15371] ppid=15312 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15315/task/15371/stat : 15371 (java) S 15312 15315 9814 0 -1 1077944384 1 12861 0 0 0 0 4 3 20 0 15 0 106954788 11246788608 14087 33554432000 4194304 4196468 140724313457936 140060969090064 140061100574421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15372] ppid=15312 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15315/task/15372/stat : 15372 (java) S 15312 15315 9814 0 -1 1077944384 2 12861 0 0 0 0 4 3 20 0 15 0 106954788 11246788608 14087 33554432000 4194304 4196468 140724313457936 140060968037520 140061100574421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15373] ppid=15312 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15315/task/15373/stat : 15373 (java) S 15312 15315 9814 0 -1 1077944384 2 12861 0 0 0 0 4 3 20 0 15 0 106954789 11246788608 14087 33554432000 4194304 4196468 140724313457936 140060392179696 140061100575362 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15374] ppid=15312 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/15315/task/15374/stat : 15374 (java) S 15312 15315 9814 0 -1 1077944384 13 12861 0 0 0 0 4 3 20 0 15 0 106954789 11246788608 14087 33554432000 4194304 4196468 140724313457936 140059957257120 140061100574421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15375] ppid=15312 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15315/task/15375/stat : 15375 (java) S 15312 15315 9814 0 -1 1077944384 1 12861 0 0 0 0 4 3 20 0 15 0 106954790 11246788608 14087 33554432000 4194304 4196468 140724313457936 140059755930608 140061100574421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15376] ppid=15312 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15315/task/15376/stat : 15376 (java) S 15312 15315 9814 0 -1 1077944384 3 12861 0 0 0 0 4 3 20 0 15 0 106954792 11246788608 14087 33554432000 4194304 4196468 140724313457936 140059448531152 140061100582811 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15377] ppid=15312 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/15315/task/15377/stat : 15377 (java) S 15312 15315 9814 0 -1 1077944384 493 12861 0 0 2 0 4 3 20 0 15 0 106954792 11246788608 14087 33554432000 4194304 4196468 140724313457936 140060391127536 140061100575362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15378] ppid=15312 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/15315/task/15378/stat : 15378 (java) S 15312 15315 9814 0 -1 1077944384 138 12861 0 0 1 0 4 3 20 0 15 0 106954792 11246788608 14087 33554432000 4194304 4196468 140724313457936 140060390074992 140061100575362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15379] ppid=15312 vsize=10983192 memory=140659754370688 CPUtime=0.11 cores=0,2,4,6
/proc/15315/task/15379/stat : 15379 (java) S 15312 15315 9814 0 -1 1077944384 615 12861 0 0 4 0 4 3 20 0 15 0 106954792 11246788608 14087 33554432000 4194304 4196468 140724313457936 140060389022448 140061100575362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15380] ppid=15312 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/15315/task/15380/stat : 15380 (java) S 15312 15315 9814 0 -1 1077944384 3 12861 0 0 0 0 4 3 20 0 15 0 106954793 11246788608 14087 33554432000 4194304 4196468 140724313457936 140059017735264 140061100574421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15381] ppid=15312 vsize=10983192 memory=140659754370688 CPUtime=0.07 cores=0,2,4,6
/proc/15315/task/15381/stat : 15381 (java) S 15312 15315 9814 0 -1 1077944384 1 12861 0 0 0 0 4 3 20 0 15 0 106954793 11246788608 14087 33554432000 4194304 4196468 140724313457936 140060387969328 140061100575362 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56348 KiB

[startup+0.700733 s]
/proc/loadavg: 1.89 1.88 1.40 3/216 15381
/proc/meminfo: memFree=27004092/32770624 swapFree=67108436/67108860
[pid=15315] ppid=15312 vsize=10983192 memory=88452 CPUtime=0.98 cores=0,2,4,6
/proc/15315/stat : 15315 (java) S 15312 15315 9814 0 -1 1077944320 16740 12861 0 0 87 4 4 3 20 0 15 0 106954778 11246788608 22113 33554432000 4194304 4196468 140724313457936 140724313440480 140061100564215 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
/proc/15315/statm: 2745798 22113 3241 1 0 2708109 0
[pid=15315/tid=15368] ppid=15312 vsize=10983192 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/15315/task/15368/stat : 15368 (java) S 15312 15315 9814 0 -1 1077944384 12189 12861 0 0 56 3 4 3 20 0 15 0 106954787 11246788608 22113 33554432000 4194304 4196468 140724313457936 140061072385040 140061100574421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15369] ppid=15312 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15315/task/15369/stat : 15369 (java) S 15312 15315 9814 0 -1 1077944384 1 12861 0 0 0 0 4 3 20 0 15 0 106954788 11246788608 22113 33554432000 4194304 4196468 140724313457936 140061104806672 140061100574421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15370] ppid=15312 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15315/task/15370/stat : 15370 (java) S 15312 15315 9814 0 -1 1077944384 1 12861 0 0 0 0 4 3 20 0 15 0 106954788 11246788608 22113 33554432000 4194304 4196468 140724313457936 140060970142608 140061100574421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15371] ppid=15312 vsize=10983192 memory=140659642217264 CPUtime=0.07 cores=0,2,4,6
/proc/15315/task/15371/stat : 15371 (java) S 15312 15315 9814 0 -1 1077944384 1 12861 0 0 0 0 4 3 20 0 15 0 106954788 11246788608 22113 33554432000 4194304 4196468 140724313457936 140060969090064 140061100574421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15372] ppid=15312 vsize=10983192 memory=140660178944601 CPUtime=0.07 cores=0,2,4,6
/proc/15315/task/15372/stat : 15372 (java) S 15312 15315 9814 0 -1 1077944384 2 12861 0 0 0 0 4 3 20 0 15 0 106954788 11246788608 22113 33554432000 4194304 4196468 140724313457936 140060968037520 140061100574421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15373] ppid=15312 vsize=10983192 memory=1388 CPUtime=0.07 cores=0,2,4,6
/proc/15315/task/15373/stat : 15373 (java) R 15312 15315 9814 0 -1 4202560 6 12861 0 0 0 0 4 3 20 0 15 0 106954789 11246788608 22113 33554432000 4194304 4196468 140724313457936 140060392179696 140061100576150 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15374] ppid=15312 vsize=10983192 memory=4639098309541127525 CPUtime=0.07 cores=0,2,4,6
/proc/15315/task/15374/stat : 15374 (java) S 15312 15315 9814 0 -1 1077944384 13 12861 0 0 0 0 4 3 20 0 15 0 106954789 11246788608 22113 33554432000 4194304 4196468 140724313457936 140059957257120 140061100574421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15375] ppid=15312 vsize=10983192 memory=8027477668130812270 CPUtime=0.07 cores=0,2,4,6
/proc/15315/task/15375/stat : 15375 (java) S 15312 15315 9814 0 -1 1077944384 1 12861 0 0 0 0 4 3 20 0 15 0 106954790 11246788608 22113 33554432000 4194304 4196468 140724313457936 140059755930608 140061100574421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15376] ppid=15312 vsize=10983192 memory=17432 CPUtime=0.07 cores=0,2,4,6
/proc/15315/task/15376/stat : 15376 (java) S 15312 15315 9814 0 -1 1077944384 3 12861 0 0 0 0 4 3 20 0 15 0 106954792 11246788608 22113 33554432000 4194304 4196468 140724313457936 140059448531152 140061100582811 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15377] ppid=15312 vsize=10983192 memory=16148 CPUtime=0.17 cores=0,2,4,6
/proc/15315/task/15377/stat : 15377 (java) S 15312 15315 9814 0 -1 1077944384 1128 12861 0 0 10 0 4 3 20 0 15 0 106954792 11246788608 22113 33554432000 4194304 4196468 140724313457936 140060391127536 140061100575362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15378] ppid=15312 vsize=10983192 memory=4004 CPUtime=0.14 cores=0,2,4,6
/proc/15315/task/15378/stat : 15378 (java) S 15312 15315 9814 0 -1 1077944384 518 12861 0 0 7 0 4 3 20 0 15 0 106954792 11246788608 22113 33554432000 4194304 4196468 140724313457936 140060390074992 140061100575362 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15379] ppid=15312 vsize=10983192 memory=636 CPUtime=0.2 cores=0,2,4,6
/proc/15315/task/15379/stat : 15379 (java) S 15312 15315 9814 0 -1 1077944384 684 12861 0 0 13 0 4 3 20 0 15 0 106954792 11246788608 22113 33554432000 4194304 4196468 140724313457936 140060389022448 140061100575362 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15380] ppid=15312 vsize=10983192 memory=1780 CPUtime=0.07 cores=0,2,4,6
/proc/15315/task/15380/stat : 15380 (java) S 15312 15315 9814 0 -1 1077944384 3 12861 0 0 0 0 4 3 20 0 15 0 106954793 11246788608 22113 33554432000 4194304 4196468 140724313457936 140059017735264 140061100574421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15381] ppid=15312 vsize=10983192 memory=1236 CPUtime=0.07 cores=0,2,4,6
/proc/15315/task/15381/stat : 15381 (java) S 15312 15315 9814 0 -1 1077944384 1 12861 0 0 0 0 4 3 20 0 15 0 106954793 11246788608 22113 33554432000 4194304 4196468 140724313457936 140060387969328 140061100575362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88452 KiB

[startup+1.50109 s]
/proc/loadavg: 1.89 1.88 1.40 3/216 15381
/proc/meminfo: memFree=26960576/32770624 swapFree=67108436/67108860
[pid=15315] ppid=15312 vsize=10991948 memory=170876 CPUtime=3.19 cores=0,2,4,6
/proc/15315/stat : 15315 (java) S 15312 15315 9814 0 -1 1077944320 25244 12861 0 0 304 8 4 3 20 0 15 0 106954778 11255754752 42719 33554432000 4194304 4196468 140724313457936 140724313440480 140061100564215 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
/proc/15315/statm: 2747987 42719 3448 1 0 2709645 0
[pid=15315/tid=15368] ppid=15312 vsize=10991948 memory=65184 CPUtime=1.45 cores=0,2,4,6
/proc/15315/task/15368/stat : 15368 (java) R 15312 15315 9814 0 -1 4202560 15229 12861 0 0 133 5 4 3 20 0 15 0 106954787 11255754752 42719 33554432000 4194304 4196468 140724313457936 140061072397440 140061082971229 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15369] ppid=15312 vsize=10991948 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/15315/task/15369/stat : 15369 (java) S 15312 15315 9814 0 -1 1077944384 1 12861 0 0 0 0 4 3 20 0 15 0 106954788 11255754752 42719 33554432000 4194304 4196468 140724313457936 140061104806672 140061100574421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15370] ppid=15312 vsize=10991948 memory=281319284465824 CPUtime=0.07 cores=0,2,4,6
/proc/15315/task/15370/stat : 15370 (java) S 15312 15315 9814 0 -1 1077944384 1 12861 0 0 0 0 4 3 20 0 15 0 106954788 11255754752 42719 33554432000 4194304 4196468 140724313457936 140060970142608 140061100574421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15371] ppid=15312 vsize=10991948 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15315/task/15371/stat : 15371 (java) S 15312 15315 9814 0 -1 1077944384 1 12861 0 0 0 0 4 3 20 0 15 0 106954788 11255754752 42719 33554432000 4194304 4196468 140724313457936 140060969090064 140061100574421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15372] ppid=15312 vsize=10991948 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15315/task/15372/stat : 15372 (java) S 15312 15315 9814 0 -1 1077944384 2 12861 0 0 0 0 4 3 20 0 15 0 106954788 11255754752 42719 33554432000 4194304 4196468 140724313457936 140060968037520 140061100574421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15373] ppid=15312 vsize=10991948 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15315/task/15373/stat : 15373 (java) S 15312 15315 9814 0 -1 1077944384 14 12861 0 0 0 0 4 3 20 0 15 0 106954789 11255754752 42719 33554432000 4194304 4196468 140724313457936 140060392179696 140061100575362 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15374] ppid=15312 vsize=10991948 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15315/task/15374/stat : 15374 (java) S 15312 15315 9814 0 -1 1077944384 13 12861 0 0 0 0 4 3 20 0 15 0 106954789 11255754752 42719 33554432000 4194304 4196468 140724313457936 140059957257120 140061100574421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15375] ppid=15312 vsize=10991948 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15315/task/15375/stat : 15375 (java) S 15312 15315 9814 0 -1 1077944384 1 12861 0 0 0 0 4 3 20 0 15 0 106954790 11255754752 42719 33554432000 4194304 4196468 140724313457936 140059755930608 140061100574421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15376] ppid=15312 vsize=10991948 memory=-5921431000321636112 CPUtime=0.07 cores=0,2,4,6
/proc/15315/task/15376/stat : 15376 (java) S 15312 15315 9814 0 -1 1077944384 3 12861 0 0 0 0 4 3 20 0 15 0 106954792 11255754752 42719 33554432000 4194304 4196468 140724313457936 140059448531152 140061100582811 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15377] ppid=15312 vsize=10991948 memory=0 CPUtime=0.69 cores=0,2,4,6
/proc/15315/task/15377/stat : 15377 (java) R 15312 15315 9814 0 -1 4202560 3589 12861 0 0 61 1 4 3 20 0 15 0 106954792 11255754752 42719 33554432000 4194304 4196468 140724313457936 140060391111360 140061078417824 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15378] ppid=15312 vsize=10991948 memory=0 CPUtime=0.64 cores=0,2,4,6
/proc/15315/task/15378/stat : 15378 (java) R 15312 15315 9814 0 -1 4202560 2161 12861 0 0 57 0 4 3 20 0 15 0 106954792 11255754752 42719 33554432000 4194304 4196468 140724313457936 140060390060496 140061082091751 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15379] ppid=15312 vsize=10991948 memory=6791534058613427641 CPUtime=0.58 cores=0,2,4,6
/proc/15315/task/15379/stat : 15379 (java) S 15312 15315 9814 0 -1 1077944384 2036 12861 0 0 51 0 4 3 20 0 15 0 106954792 11255754752 42719 33554432000 4194304 4196468 140724313457936 140060389022448 140061100575362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15380] ppid=15312 vsize=10991948 memory=4638778398332698720 CPUtime=0.07 cores=0,2,4,6
/proc/15315/task/15380/stat : 15380 (java) S 15312 15315 9814 0 -1 1077944384 3 12861 0 0 0 0 4 3 20 0 15 0 106954793 11255754752 42719 33554432000 4194304 4196468 140724313457936 140059017735264 140061100574421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15381] ppid=15312 vsize=10991948 memory=281319284710272 CPUtime=0.07 cores=0,2,4,6
/proc/15315/task/15381/stat : 15381 (java) S 15312 15315 9814 0 -1 1077944384 1 12861 0 0 0 0 4 3 20 0 15 0 106954793 11255754752 42719 33554432000 4194304 4196468 140724313457936 140060387969328 140061100575362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
Current children cumulated CPU time: 3.19 s
Current children cumulated vsize: 10991948 KiB

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

/proc/15315/task/15368/stat : 15368 (java) R 15312 15315 9814 0 -1 4202560 47364 12861 0 0 16115 25 4 3 20 0 15 0 106954787 11280941056 360294 33554432000 4194304 4196468 140724313457936 140061072399392 140060661392455 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15369] ppid=15312 vsize=11016544 memory=1441692 CPUtime=0.61 cores=0,2,4,6
/proc/15315/task/15369/stat : 15369 (java) S 15312 15315 9814 0 -1 1077944384 1214 12861 0 0 43 11 4 3 20 0 15 0 106954788 11280941056 360294 33554432000 4194304 4196468 140724313457936 140061104806672 140061100574421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15370] ppid=15312 vsize=11016544 memory=1442716 CPUtime=0.57 cores=0,2,4,6
/proc/15315/task/15370/stat : 15370 (java) S 15312 15315 9814 0 -1 1077944384 1972 12861 0 0 40 10 4 3 20 0 15 0 106954788 11280941056 360294 33554432000 4194304 4196468 140724313457936 140060970142608 140061100574421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15371] ppid=15312 vsize=11016544 memory=1450412 CPUtime=0.59 cores=0,2,4,6
/proc/15315/task/15371/stat : 15371 (java) S 15312 15315 9814 0 -1 1077944384 862 12861 0 0 41 11 4 3 20 0 15 0 106954788 11280941056 360294 33554432000 4194304 4196468 140724313457936 140060969090064 140061100574421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15372] ppid=15312 vsize=11016544 memory=1443744 CPUtime=0.62 cores=0,2,4,6
/proc/15315/task/15372/stat : 15372 (java) S 15312 15315 9814 0 -1 1077944384 5522 12861 0 0 43 12 4 3 20 0 15 0 106954788 11280941056 360294 33554432000 4194304 4196468 140724313457936 140060968037520 140061100574421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15373] ppid=15312 vsize=11016544 memory=1442204 CPUtime=0.23 cores=0,2,4,6
/proc/15315/task/15373/stat : 15373 (java) S 15312 15315 9814 0 -1 1077944384 3490 12861 0 0 15 1 4 3 20 0 15 0 106954789 11280941056 360294 33554432000 4194304 4196468 140724313457936 140060392179696 140061100575362 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15374] ppid=15312 vsize=11016544 memory=1441692 CPUtime=0.07 cores=0,2,4,6
/proc/15315/task/15374/stat : 15374 (java) S 15312 15315 9814 0 -1 1077944384 20 12861 0 0 0 0 4 3 20 0 15 0 106954789 11280941056 360294 33554432000 4194304 4196468 140724313457936 140059957257184 140061100574421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15375] ppid=15312 vsize=11016544 memory=1441176 CPUtime=0.07 cores=0,2,4,6
/proc/15315/task/15375/stat : 15375 (java) S 15312 15315 9814 0 -1 1077944384 7 12861 0 0 0 0 4 3 20 0 15 0 106954790 11280941056 360294 33554432000 4194304 4196468 140724313457936 140059755930624 140061100574421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15376] ppid=15312 vsize=11016544 memory=1441692 CPUtime=0.07 cores=0,2,4,6
/proc/15315/task/15376/stat : 15376 (java) S 15312 15315 9814 0 -1 1077944384 3 12861 0 0 0 0 4 3 20 0 15 0 106954792 11280941056 360294 33554432000 4194304 4196468 140724313457936 140059448531152 140061100582811 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15377] ppid=15312 vsize=11016544 memory=1442204 CPUtime=8.51 cores=0,2,4,6
/proc/15315/task/15377/stat : 15377 (java) S 15312 15315 9814 0 -1 1077944384 27186 12861 0 0 839 5 4 3 20 0 15 0 106954792 11280941056 360294 33554432000 4194304 4196468 140724313457936 140060391127536 140061100575362 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15378] ppid=15312 vsize=11016544 memory=796 CPUtime=9.38 cores=0,2,4,6
/proc/15315/task/15378/stat : 15378 (java) S 15312 15315 9814 0 -1 1077944384 29130 12861 0 0 927 4 4 3 20 0 15 0 106954792 11280941056 360294 33554432000 4194304 4196468 140724313457936 140060390074992 140061100575362 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15379] ppid=15312 vsize=11016544 memory=1388 CPUtime=3.43 cores=0,2,4,6
/proc/15315/task/15379/stat : 15379 (java) S 15312 15315 9814 0 -1 1077944384 26621 12861 0 0 329 7 4 3 20 0 15 0 106954792 11280941056 360294 33554432000 4194304 4196468 140724313457936 140060389022448 140061100575362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15380] ppid=15312 vsize=11016544 memory=1444256 CPUtime=0.07 cores=0,2,4,6
/proc/15315/task/15380/stat : 15380 (java) S 15312 15315 9814 0 -1 1077944384 3 12861 0 0 0 0 4 3 20 0 15 0 106954793 11280941056 360294 33554432000 4194304 4196468 140724313457936 140059017735264 140061100574421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15381] ppid=15312 vsize=11016544 memory=1296 CPUtime=0.16 cores=0,2,4,6
/proc/15315/task/15381/stat : 15381 (java) S 15312 15315 9814 0 -1 1077944384 982 12861 0 0 5 4 4 3 20 0 15 0 106954793 11280941056 360294 33554432000 4194304 4196468 140724313457936 140060387969328 140061100575362 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
Current children cumulated CPU time: 185.05 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1441176 KiB

[startup+222.301 s]
/proc/loadavg: 1.65 1.81 1.49 3/215 15516
/proc/meminfo: memFree=25332616/32770624 swapFree=67108436/67108860
[pid=15315] ppid=15312 vsize=11016544 memory=1437588 CPUtime=246.11 cores=0,2,4,6
/proc/15315/stat : 15315 (java) S 15312 15315 9814 0 -1 1077944320 159187 12861 0 0 24507 97 4 3 20 0 15 0 106954778 11280941056 359397 33554432000 4194304 4196468 140724313457936 140724313440480 140061100564215 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
/proc/15315/statm: 2754136 359397 3533 1 0 2715789 0
[pid=15315/tid=15368] ppid=15312 vsize=11016544 memory=1437588 CPUtime=221.09 cores=0,2,4,6
/proc/15315/task/15368/stat : 15368 (java) R 15312 15315 9814 0 -1 4202560 48564 12861 0 0 22076 26 4 3 20 0 15 0 106954787 11280941056 359397 33554432000 4194304 4196468 140724313457936 140061072398448 140060646245603 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15369] ppid=15312 vsize=11016544 memory=1437588 CPUtime=0.8 cores=0,2,4,6
/proc/15315/task/15369/stat : 15369 (java) S 15312 15315 9814 0 -1 1077944384 1336 12861 0 0 61 12 4 3 20 0 15 0 106954788 11280941056 359397 33554432000 4194304 4196468 140724313457936 140061104806672 140061100574421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15370] ppid=15312 vsize=11016544 memory=1437588 CPUtime=0.77 cores=0,2,4,6
/proc/15315/task/15370/stat : 15370 (java) S 15312 15315 9814 0 -1 1077944384 2712 12861 0 0 59 11 4 3 20 0 15 0 106954788 11280941056 359397 33554432000 4194304 4196468 140724313457936 140060970142608 140061100574421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15371] ppid=15312 vsize=11016544 memory=1437588 CPUtime=0.78 cores=0,2,4,6
/proc/15315/task/15371/stat : 15371 (java) S 15312 15315 9814 0 -1 1077944384 991 12861 0 0 59 12 4 3 20 0 15 0 106954788 11280941056 359397 33554432000 4194304 4196468 140724313457936 140060969090064 140061100574421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15372] ppid=15312 vsize=11016544 memory=1437588 CPUtime=0.81 cores=0,2,4,6
/proc/15315/task/15372/stat : 15372 (java) S 15312 15315 9814 0 -1 1077944384 6663 12861 0 0 61 13 4 3 20 0 15 0 106954788 11280941056 359397 33554432000 4194304 4196468 140724313457936 140060968037520 140061100574421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15373] ppid=15312 vsize=11016544 memory=281319284773824 CPUtime=0.39 cores=0,2,4,6
/proc/15315/task/15373/stat : 15373 (java) S 15312 15315 9814 0 -1 1077944384 3861 12861 0 0 30 2 4 3 20 0 15 0 106954789 11280941056 359397 33554432000 4194304 4196468 140724313457936 140060392179696 140061100575362 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15374] ppid=15312 vsize=11016544 memory=1437588 CPUtime=0.07 cores=0,2,4,6
/proc/15315/task/15374/stat : 15374 (java) S 15312 15315 9814 0 -1 1077944384 20 12861 0 0 0 0 4 3 20 0 15 0 106954789 11280941056 359397 33554432000 4194304 4196468 140724313457936 140059957257184 140061100574421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15375] ppid=15312 vsize=11016544 memory=1437588 CPUtime=0.07 cores=0,2,4,6
/proc/15315/task/15375/stat : 15375 (java) S 15312 15315 9814 0 -1 1077944384 7 12861 0 0 0 0 4 3 20 0 15 0 106954790 11280941056 359397 33554432000 4194304 4196468 140724313457936 140059755930624 140061100574421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15376] ppid=15312 vsize=11016544 memory=1437588 CPUtime=0.07 cores=0,2,4,6
/proc/15315/task/15376/stat : 15376 (java) S 15312 15315 9814 0 -1 1077944384 3 12861 0 0 0 0 4 3 20 0 15 0 106954792 11280941056 359397 33554432000 4194304 4196468 140724313457936 140059448531152 140061100582811 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15377] ppid=15312 vsize=11016544 memory=1437588 CPUtime=8.71 cores=0,2,4,6
/proc/15315/task/15377/stat : 15377 (java) S 15312 15315 9814 0 -1 1077944384 30628 12861 0 0 859 5 4 3 20 0 15 0 106954792 11280941056 359397 33554432000 4194304 4196468 140724313457936 140060391127536 140061100575362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15378] ppid=15312 vsize=11016544 memory=1437588 CPUtime=9.58 cores=0,2,4,6
/proc/15315/task/15378/stat : 15378 (java) S 15312 15315 9814 0 -1 1077944384 31319 12861 0 0 947 4 4 3 20 0 15 0 106954792 11280941056 359397 33554432000 4194304 4196468 140724313457936 140060390074992 140061100575362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15379] ppid=15312 vsize=11016544 memory=4140 CPUtime=3.52 cores=0,2,4,6
/proc/15315/task/15379/stat : 15379 (java) S 15312 15315 9814 0 -1 1077944384 29884 12861 0 0 338 7 4 3 20 0 15 0 106954792 11280941056 359397 33554432000 4194304 4196468 140724313457936 140060389022448 140061100575362 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15380] ppid=15312 vsize=11016544 memory=4140 CPUtime=0.07 cores=0,2,4,6
/proc/15315/task/15380/stat : 15380 (java) S 15312 15315 9814 0 -1 1077944384 3 12861 0 0 0 0 4 3 20 0 15 0 106954793 11280941056 359397 33554432000 4194304 4196468 140724313457936 140059017735264 140061100574421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15381] ppid=15312 vsize=11016544 memory=30512 CPUtime=0.19 cores=0,2,4,6
/proc/15315/task/15381/stat : 15381 (java) S 15312 15315 9814 0 -1 1077944384 1007 12861 0 0 6 6 4 3 20 0 15 0 106954793 11280941056 359397 33554432000 4194304 4196468 140724313457936 140060387969328 140061100575362 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
Current children cumulated CPU time: 246.11 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1437588 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+228.101 s]
/proc/loadavg: 1.51 1.78 1.48 3/215 15516
/proc/meminfo: memFree=25335332/32770624 swapFree=67108436/67108860
[pid=15315] ppid=15312 vsize=11016544 memory=1437588 CPUtime=252.03 cores=0,2,4,6
/proc/15315/stat : 15315 (java) S 15312 15315 9814 0 -1 1077944320 159282 12861 0 0 25098 98 4 3 20 0 15 0 106954778 11280941056 359397 33554432000 4194304 4196468 140724313457936 140724313440480 140061100564215 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
/proc/15315/statm: 2754136 359397 3533 1 0 2715789 0
[pid=15315/tid=15368] ppid=15312 vsize=11016544 memory=1437588 CPUtime=226.83 cores=0,2,4,6
/proc/15315/task/15368/stat : 15368 (java) R 15312 15315 9814 0 -1 4202560 48592 12861 0 0 22650 26 4 3 20 0 15 0 106954787 11280941056 359397 33554432000 4194304 4196468 140724313457936 140061072398240 140060656908487 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15369] ppid=15312 vsize=11016544 memory=281319284773824 CPUtime=0.83 cores=0,2,4,6
/proc/15315/task/15369/stat : 15369 (java) S 15312 15315 9814 0 -1 1077944384 1337 12861 0 0 64 12 4 3 20 0 15 0 106954788 11280941056 359397 33554432000 4194304 4196468 140724313457936 140061104806672 140061100574421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15370] ppid=15312 vsize=11016544 memory=1437588 CPUtime=0.8 cores=0,2,4,6
/proc/15315/task/15370/stat : 15370 (java) S 15312 15315 9814 0 -1 1077944384 2713 12861 0 0 62 11 4 3 20 0 15 0 106954788 11280941056 359397 33554432000 4194304 4196468 140724313457936 140060970142608 140061100574421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15371] ppid=15312 vsize=11016544 memory=1437588 CPUtime=0.81 cores=0,2,4,6
/proc/15315/task/15371/stat : 15371 (java) S 15312 15315 9814 0 -1 1077944384 992 12861 0 0 62 12 4 3 20 0 15 0 106954788 11280941056 359397 33554432000 4194304 4196468 140724313457936 140060969090064 140061100574421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15372] ppid=15312 vsize=11016544 memory=1437588 CPUtime=0.83 cores=0,2,4,6
/proc/15315/task/15372/stat : 15372 (java) S 15312 15315 9814 0 -1 1077944384 6663 12861 0 0 63 13 4 3 20 0 15 0 106954788 11280941056 359397 33554432000 4194304 4196468 140724313457936 140060968037520 140061100574421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15373] ppid=15312 vsize=11016544 memory=1437588 CPUtime=0.42 cores=0,2,4,6
/proc/15315/task/15373/stat : 15373 (java) S 15312 15315 9814 0 -1 1077944384 3861 12861 0 0 33 2 4 3 20 0 15 0 106954789 11280941056 359397 33554432000 4194304 4196468 140724313457936 140060392179696 140061100575362 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15374] ppid=15312 vsize=11016544 memory=1437588 CPUtime=0.07 cores=0,2,4,6
/proc/15315/task/15374/stat : 15374 (java) S 15312 15315 9814 0 -1 1077944384 20 12861 0 0 0 0 4 3 20 0 15 0 106954789 11280941056 359397 33554432000 4194304 4196468 140724313457936 140059957257184 140061100574421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15375] ppid=15312 vsize=11016544 memory=1437588 CPUtime=0.07 cores=0,2,4,6
/proc/15315/task/15375/stat : 15375 (java) S 15312 15315 9814 0 -1 1077944384 7 12861 0 0 0 0 4 3 20 0 15 0 106954790 11280941056 359397 33554432000 4194304 4196468 140724313457936 140059755930624 140061100574421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15376] ppid=15312 vsize=11016544 memory=1437588 CPUtime=0.07 cores=0,2,4,6
/proc/15315/task/15376/stat : 15376 (java) S 15312 15315 9814 0 -1 1077944384 3 12861 0 0 0 0 4 3 20 0 15 0 106954792 11280941056 359397 33554432000 4194304 4196468 140724313457936 140059448531152 140061100582811 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15377] ppid=15312 vsize=11016544 memory=4140 CPUtime=8.72 cores=0,2,4,6
/proc/15315/task/15377/stat : 15377 (java) S 15312 15315 9814 0 -1 1077944384 30684 12861 0 0 860 5 4 3 20 0 15 0 106954792 11280941056 359397 33554432000 4194304 4196468 140724313457936 140060391127536 140061100575362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15378] ppid=15312 vsize=11016544 memory=1437588 CPUtime=9.6 cores=0,2,4,6
/proc/15315/task/15378/stat : 15378 (java) S 15312 15315 9814 0 -1 1077944384 31321 12861 0 0 949 4 4 3 20 0 15 0 106954792 11280941056 359397 33554432000 4194304 4196468 140724313457936 140060390074992 140061100575362 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15379] ppid=15312 vsize=11016544 memory=1437588 CPUtime=3.53 cores=0,2,4,6
/proc/15315/task/15379/stat : 15379 (java) S 15312 15315 9814 0 -1 1077944384 29890 12861 0 0 339 7 4 3 20 0 15 0 106954792 11280941056 359397 33554432000 4194304 4196468 140724313457936 140060389022448 140061100575362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15380] ppid=15312 vsize=11016544 memory=1437588 CPUtime=0.07 cores=0,2,4,6
/proc/15315/task/15380/stat : 15380 (java) S 15312 15315 9814 0 -1 1077944384 3 12861 0 0 0 0 4 3 20 0 15 0 106954793 11280941056 359397 33554432000 4194304 4196468 140724313457936 140059017735264 140061100574421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15381] ppid=15312 vsize=11016544 memory=1437588 CPUtime=0.19 cores=0,2,4,6
/proc/15315/task/15381/stat : 15381 (java) S 15312 15315 9814 0 -1 1077944384 1007 12861 0 0 6 6 4 3 20 0 15 0 106954793 11280941056 359397 33554432000 4194304 4196468 140724313457936 140060387969328 140061100575362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
Current children cumulated CPU time: 252.03 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1437588 KiB

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

[startup+228.149 s]
# the end of solver process 15315 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=251.069 s, system=1.03857 s

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

[startup+228.101 s]
/proc/loadavg: 1.51 1.78 1.48 3/215 15516
/proc/meminfo: memFree=25335332/32770624 swapFree=67108436/67108860
[pid=15315] ppid=15312 vsize=11016544 memory=1437588 CPUtime=252.03 cores=0,2,4,6
/proc/15315/stat : 15315 (java) S 15312 15315 9814 0 -1 1077944320 159282 12861 0 0 25098 98 4 3 20 0 15 0 106954778 11280941056 359397 33554432000 4194304 4196468 140724313457936 140724313440480 140061100564215 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
/proc/15315/statm: 2754136 359397 3533 1 0 2715789 0
[pid=15315/tid=15368] ppid=15312 vsize=11016544 memory=1437588 CPUtime=226.83 cores=0,2,4,6
/proc/15315/task/15368/stat : 15368 (java) R 15312 15315 9814 0 -1 4202560 48592 12861 0 0 22650 26 4 3 20 0 15 0 106954787 11280941056 359397 33554432000 4194304 4196468 140724313457936 140061072398240 140060656908487 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15369] ppid=15312 vsize=11016544 memory=281319284773824 CPUtime=0.83 cores=0,2,4,6
/proc/15315/task/15369/stat : 15369 (java) S 15312 15315 9814 0 -1 1077944384 1337 12861 0 0 64 12 4 3 20 0 15 0 106954788 11280941056 359397 33554432000 4194304 4196468 140724313457936 140061104806672 140061100574421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15370] ppid=15312 vsize=11016544 memory=1437588 CPUtime=0.8 cores=0,2,4,6
/proc/15315/task/15370/stat : 15370 (java) S 15312 15315 9814 0 -1 1077944384 2713 12861 0 0 62 11 4 3 20 0 15 0 106954788 11280941056 359397 33554432000 4194304 4196468 140724313457936 140060970142608 140061100574421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15371] ppid=15312 vsize=11016544 memory=1437588 CPUtime=0.81 cores=0,2,4,6
/proc/15315/task/15371/stat : 15371 (java) S 15312 15315 9814 0 -1 1077944384 992 12861 0 0 62 12 4 3 20 0 15 0 106954788 11280941056 359397 33554432000 4194304 4196468 140724313457936 140060969090064 140061100574421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15372] ppid=15312 vsize=11016544 memory=1437588 CPUtime=0.83 cores=0,2,4,6
/proc/15315/task/15372/stat : 15372 (java) S 15312 15315 9814 0 -1 1077944384 6663 12861 0 0 63 13 4 3 20 0 15 0 106954788 11280941056 359397 33554432000 4194304 4196468 140724313457936 140060968037520 140061100574421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15373] ppid=15312 vsize=11016544 memory=1437588 CPUtime=0.42 cores=0,2,4,6
/proc/15315/task/15373/stat : 15373 (java) S 15312 15315 9814 0 -1 1077944384 3861 12861 0 0 33 2 4 3 20 0 15 0 106954789 11280941056 359397 33554432000 4194304 4196468 140724313457936 140060392179696 140061100575362 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15374] ppid=15312 vsize=11016544 memory=1437588 CPUtime=0.07 cores=0,2,4,6
/proc/15315/task/15374/stat : 15374 (java) S 15312 15315 9814 0 -1 1077944384 20 12861 0 0 0 0 4 3 20 0 15 0 106954789 11280941056 359397 33554432000 4194304 4196468 140724313457936 140059957257184 140061100574421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15375] ppid=15312 vsize=11016544 memory=1437588 CPUtime=0.07 cores=0,2,4,6
/proc/15315/task/15375/stat : 15375 (java) S 15312 15315 9814 0 -1 1077944384 7 12861 0 0 0 0 4 3 20 0 15 0 106954790 11280941056 359397 33554432000 4194304 4196468 140724313457936 140059755930624 140061100574421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15376] ppid=15312 vsize=11016544 memory=1437588 CPUtime=0.07 cores=0,2,4,6
/proc/15315/task/15376/stat : 15376 (java) S 15312 15315 9814 0 -1 1077944384 3 12861 0 0 0 0 4 3 20 0 15 0 106954792 11280941056 359397 33554432000 4194304 4196468 140724313457936 140059448531152 140061100582811 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15377] ppid=15312 vsize=11016544 memory=4140 CPUtime=8.72 cores=0,2,4,6
/proc/15315/task/15377/stat : 15377 (java) S 15312 15315 9814 0 -1 1077944384 30684 12861 0 0 860 5 4 3 20 0 15 0 106954792 11280941056 359397 33554432000 4194304 4196468 140724313457936 140060391127536 140061100575362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15378] ppid=15312 vsize=11016544 memory=1437588 CPUtime=9.6 cores=0,2,4,6
/proc/15315/task/15378/stat : 15378 (java) S 15312 15315 9814 0 -1 1077944384 31321 12861 0 0 949 4 4 3 20 0 15 0 106954792 11280941056 359397 33554432000 4194304 4196468 140724313457936 140060390074992 140061100575362 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15379] ppid=15312 vsize=11016544 memory=1437588 CPUtime=3.53 cores=0,2,4,6
/proc/15315/task/15379/stat : 15379 (java) S 15312 15315 9814 0 -1 1077944384 29890 12861 0 0 339 7 4 3 20 0 15 0 106954792 11280941056 359397 33554432000 4194304 4196468 140724313457936 140060389022448 140061100575362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15380] ppid=15312 vsize=11016544 memory=1437588 CPUtime=0.07 cores=0,2,4,6
/proc/15315/task/15380/stat : 15380 (java) S 15312 15315 9814 0 -1 1077944384 3 12861 0 0 0 0 4 3 20 0 15 0 106954793 11280941056 359397 33554432000 4194304 4196468 140724313457936 140059017735264 140061100574421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
[pid=15315/tid=15381] ppid=15312 vsize=11016544 memory=1437588 CPUtime=0.19 cores=0,2,4,6
/proc/15315/task/15381/stat : 15381 (java) S 15312 15315 9814 0 -1 1077944384 1007 12861 0 0 6 6 4 3 20 0 15 0 106954793 11280941056 359397 33554432000 4194304 4196468 140724313457936 140060387969328 140061100575362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28016640 140724313459313 140724313462113 140724313462113 140724313464783 0
Current children cumulated CPU time: 252.03 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1437588 KiB

Child status: 143
Real time (s): 228.149
CPU time (s): 252.108
CPU user time (s): 251.069
CPU system time (s): 1.03857
CPU usage (%): 110.501
Max. virtual memory (cumulated for all children) (KiB): 11017132
Max. memory (cumulated for all children) (KiB): 1606340

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.069
system time used= 1.03857
maximum resident set size= 1608388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 172988
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21010
involuntary context switches= 502


# summary of solver processes directly reported to runsolver:
#   pid: 15315
#   total CPU time (s): 252.108
#   total CPU user time (s): 251.069
#   total CPU system time (s): 1.03857

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.36263 second user time and 2.19998 second system time

The end

Launcher Data 

Begin job on node137 at 2018-07-29 21:51:56
IDJOB=4302433
IDBENCH=141045
IDSOLVER=2776
FILE ID=node137/4302433-1532893916
RUNJOBID= node137-1532893235-14549
PBS_JOBID= 21022513
Free space on /tmp= 48508 MiB

SOLVER NAME= Concrete 3.9.2
BENCH NAME= XCSP18/NurseRostering/NurseRostering-14_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4302433-1532893916/watcher-4302433-1532893916 -o /tmp/evaluation-result-4302433-1532893916/solver-4302433-1532893916 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532893235-14549 --watchdog 312  bin/xcsp-3-concrete -J-Xss64M -randomseed=1552616022 HOME/instance-4302433-1532893916.xml

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

MD5SUM BENCH= 22d4927d0bd5c0ea6a9359fe3e752ee5
RANDOM SEED=1552616022

node137.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.54
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.56
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.54
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.56
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.54
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.56
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.54
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        27056688 kB
MemAvailable:   30860632 kB
Buffers:          215944 kB
Cached:          3823656 kB
SwapCached:           32 kB
Active:          2867752 kB
Inactive:        2298320 kB
Active(anon):    1073992 kB
Inactive(anon):    79972 kB
Active(file):    1793760 kB
Inactive(file):  2218348 kB
Unevictable:        7424 kB
Mlocked:            7424 kB
SwapTotal:      67108860 kB
SwapFree:       67108436 kB
Dirty:             26620 kB
Writeback:             0 kB
AnonPages:       1051784 kB
Mapped:            55488 kB
Shmem:             25052 kB
Slab:             243256 kB
SReclaimable:     215340 kB
SUnreclaim:        27916 kB
KernelStack:        3696 kB
PageTables:         7740 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2280756 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    813056 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 48484 MiB
End job on node137 at 2018-07-29 21:55:44