Trace number 4293014

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.8-SuperNG 2018-06-13? (TO) 2520.09 2419.85

General information on the benchmark

NameNurseRostering/
NurseRostering-12_c18.xml
MD5SUM2a283c05e31c4b30f3ec3c3182bebd94
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark56621
Best CPU time to get the best result obtained on this benchmark2519.9
Satisfiable
(Un)Satisfiability was proved
Number of variables3618
Number of constraints8519
Number of domains14
Minimum domain size1
Maximum domain size61
Distribution of domain sizes[{"size":1,"count":226},{"size":2,"count":662},{"size":3,"count":5},{"size":5,"count":30},{"size":11,"count":1680},{"size":29,"count":427},{"size":61,"count":588}]
Minimum variable degree2
Maximum variable degree39
Distribution of variable degrees[{"degree":2,"count":1698},{"degree":3,"count":240},{"degree":27,"count":44},{"degree":28,"count":69},{"degree":29,"count":7},{"degree":30,"count":41},{"degree":31,"count":67},{"degree":32,"count":93},{"degree":33,"count":97},{"degree":34,"count":125},{"degree":35,"count":445},{"degree":36,"count":418},{"degree":37,"count":184},{"degree":38,"count":76},{"degree":39,"count":14}]
Minimum constraint arity2
Maximum constraint arity120
Distribution of constraint arities[{"arity":2,"count":2950},{"arity":3,"count":2860},{"arity":4,"count":310},{"arity":6,"count":1150},{"arity":7,"count":220},{"arity":11,"count":60},{"arity":29,"count":660},{"arity":61,"count":308},{"arity":120,"count":1}]
Number of extensional constraints1928
Number of intensional constraints1022
Distribution of constraint types[{"type":"extension","count":1928},{"type":"intension","count":1022},{"type":"regular","count":3110},{"type":"sum","count":120},{"type":"count","count":2338},{"type":"instantiation","count":1}]
Optimization problemYES
Type of objectivemin SUM

Solver Data 

0.98/0.73	c Concrete v3.8.1528841891564 running
19.86/7.39	c 01:57:10.971 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25512. 'extension(10, x[1][8]=[0‥10]) :: init: true :: relation: MDD 1594847431, 25 edges, 5 vertices, 36 tuples
19.86/7.40	c 01:57:10.977 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25513. 'extension(10, x[1][8]=[0‥10]) :: init: true :: relation: MDD 1929955360, 11 edges, 3 vertices, 10 tuples
20.12/7.40	c 01:57:10.984 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25561. 'extension(10, x[1][10]=[0‥10]) :: init: true :: relation: MDD 1961138094, 25 edges, 5 vertices, 36 tuples
20.12/7.40	c 01:57:10.985 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25562. 'extension(10, x[1][10]=[0‥10]) :: init: true :: relation: MDD 1788270137, 11 edges, 3 vertices, 10 tuples
20.12/7.40	c 01:57:10.986 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25610. 'extension(10, x[1][37]=[0‥10]) :: init: true :: relation: MDD 1502710927, 25 edges, 5 vertices, 36 tuples
20.12/7.40	c 01:57:10.987 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25611. 'extension(10, x[1][37]=[0‥10]) :: init: true :: relation: MDD 1620771868, 11 edges, 3 vertices, 10 tuples
20.12/7.41	c 01:57:10.988 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25659. 'extension(10, x[1][40]=[0‥10]) :: init: true :: relation: MDD 1243470467, 25 edges, 5 vertices, 36 tuples
20.12/7.41	c 01:57:10.989 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25660. 'extension(10, x[1][40]=[0‥10]) :: init: true :: relation: MDD 1038754411, 11 edges, 3 vertices, 10 tuples
20.12/7.41	c 01:57:10.991 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25708. 'extension(10, x[1][58]=[0‥10]) :: init: true :: relation: MDD 1313359405, 25 edges, 5 vertices, 36 tuples
20.12/7.41	c 01:57:10.991 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25709. 'extension(10, x[1][58]=[0‥10]) :: init: true :: relation: MDD 731802107, 11 edges, 3 vertices, 10 tuples
20.12/7.41	c 01:57:10.993 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25806. 'extension(x[0][4]=[0‥10], 10) :: init: true :: relation: MDD 272406527, 25 edges, 5 vertices, 36 tuples
20.12/7.41	c 01:57:10.994 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25807. 'extension(10, x[2][4]=[0‥10]) :: init: true :: relation: MDD 272406527, 25 edges, 5 vertices, 36 tuples
20.12/7.41	c 01:57:10.996 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25859. 'extension(x[0][54]=[0‥10], 10) :: init: true :: relation: MDD 685438214, 25 edges, 5 vertices, 36 tuples
20.12/7.42	c 01:57:10.997 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25912. 'extension(10, x[2][59]=[0‥10]) :: init: true :: relation: MDD 1438764761, 25 edges, 5 vertices, 36 tuples
20.12/7.42	c 01:57:10.999 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25915. 'extension(10, 10) :: init: true :: relation: MDD 1438764761, 25 edges, 5 vertices, 36 tuples
20.12/7.42	c 01:57:10.999 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25916. 'extension(10, 10) :: init: true :: relation: MDD 298295476, 11 edges, 3 vertices, 10 tuples
20.12/7.42	c 01:57:11.002 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25965. 'extension(x[1][19]=[0‥10], 10) :: init: true :: relation: MDD 1099892020, 25 edges, 5 vertices, 36 tuples
20.12/7.42	c 01:57:11.003 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25966. 'extension(10, x[3][19]=[0‥10]) :: init: true :: relation: MDD 1099892020, 25 edges, 5 vertices, 36 tuples
20.12/7.42	c 01:57:11.005 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26020. 'extension(x[1][47]=[0‥10], 10) :: init: true :: relation: MDD 71364493, 25 edges, 5 vertices, 36 tuples
20.12/7.43	c 01:57:11.006 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26075. 'extension(10, x[3][54]=[0‥10]) :: init: true :: relation: MDD 685438214, 25 edges, 5 vertices, 36 tuples
20.12/7.43	c 01:57:11.007 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26078. 'extension(10, 10) :: init: true :: relation: MDD 685438214, 25 edges, 5 vertices, 36 tuples
20.12/7.43	c 01:57:11.010 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26130. 'extension(x[2][2]=[0‥10], 10) :: init: true :: relation: MDD 1903728000, 25 edges, 5 vertices, 36 tuples
20.12/7.43	c 01:57:11.011 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26131. 'extension(10, x[4][2]=[0‥10]) :: init: true :: relation: MDD 1903728000, 25 edges, 5 vertices, 36 tuples
20.12/7.43	c 01:57:11.013 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26186. 'extension(x[2][14]=[0‥10], 10) :: init: true :: relation: MDD 1303427612, 25 edges, 5 vertices, 36 tuples
20.12/7.43	c 01:57:11.013 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26187. 'extension(10, x[4][14]=[0‥10]) :: init: true :: relation: MDD 1303427612, 25 edges, 5 vertices, 36 tuples
20.12/7.43	c 01:57:11.015 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26242. 'extension(x[2][41]=[0‥10], 10) :: init: true :: relation: MDD 1382159617, 25 edges, 5 vertices, 36 tuples
20.12/7.43	c 01:57:11.016 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26243. 'extension(10, x[4][41]=[0‥10]) :: init: true :: relation: MDD 1382159617, 25 edges, 5 vertices, 36 tuples
20.12/7.44	c 01:57:11.018 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26299. 'extension(x[2][42]=[0‥10], 10) :: init: true :: relation: MDD 1522549999, 25 edges, 5 vertices, 36 tuples
20.12/7.44	c 01:57:11.019 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26300. 'extension(10, x[4][42]=[0‥10]) :: init: true :: relation: MDD 1522549999, 25 edges, 5 vertices, 36 tuples
20.12/7.44	c 01:57:11.021 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26356. 'extension(x[2][44]=[0‥10], 10) :: init: true :: relation: MDD 1010040056, 25 edges, 5 vertices, 36 tuples
20.12/7.44	c 01:57:11.022 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26413. 'extension(10, x[4][47]=[0‥10]) :: init: true :: relation: MDD 71364493, 25 edges, 5 vertices, 36 tuples
20.12/7.45	c 01:57:11.023 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26416. 'extension(10, 10) :: init: true :: relation: MDD 71364493, 25 edges, 5 vertices, 36 tuples
20.12/7.45	c 01:57:11.025 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26470. 'extension(x[2][56]=[0‥10], 10) :: init: true :: relation: MDD 2040477002, 25 edges, 5 vertices, 36 tuples
20.12/7.45	c 01:57:11.027 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26526. 'extension(x[3][43]=[0‥10], 10) :: init: true :: relation: MDD 283747838, 25 edges, 5 vertices, 36 tuples
20.12/7.45	c 01:57:11.028 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26584. 'extension(10, x[5][44]=[0‥10]) :: init: true :: relation: MDD 1010040056, 25 edges, 5 vertices, 36 tuples
20.12/7.45	c 01:57:11.029 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26587. 'extension(10, 10) :: init: true :: relation: MDD 1010040056, 25 edges, 5 vertices, 36 tuples
20.12/7.45	c 01:57:11.031 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26642. 'extension(x[3][52]=[0‥10], 10) :: init: true :: relation: MDD 1180773372, 25 edges, 5 vertices, 36 tuples
20.12/7.45	c 01:57:11.032 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26699. 'extension(10, x[5][56]=[0‥10]) :: init: true :: relation: MDD 2040477002, 25 edges, 5 vertices, 36 tuples
20.12/7.45	c 01:57:11.033 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26702. 'extension(10, 10) :: init: true :: relation: MDD 2040477002, 25 edges, 5 vertices, 36 tuples
20.12/7.45	c 01:57:11.035 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26756. 'extension(10, wk[4][0]=[0‥1]) :: init: true :: relation: MDD 629092599, 11 edges, 3 vertices, 10 tuples
20.12/7.45	c 01:57:11.036 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26757. 'extension(x[4][4]=[0‥10], 10) :: init: true :: relation: MDD 272406527, 25 edges, 5 vertices, 36 tuples
20.12/7.45	c 01:57:11.036 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26758. 'extension(10, x[6][4]=[0‥10]) :: init: true :: relation: MDD 272406527, 25 edges, 5 vertices, 36 tuples
20.12/7.46	c 01:57:11.039 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26815. 'extension(10, wk[18][0]=[0‥1]) :: init: true :: relation: MDD 303638020, 11 edges, 3 vertices, 10 tuples
20.12/7.46	c 01:57:11.039 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26816. 'extension(x[4][18]=[0‥10], 10) :: init: true :: relation: MDD 983253408, 25 edges, 5 vertices, 36 tuples
20.12/7.46	c 01:57:11.040 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26817. 'extension(10, x[6][18]=[0‥10]) :: init: true :: relation: MDD 983253408, 25 edges, 5 vertices, 36 tuples
20.12/7.46	c 01:57:11.041 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26874. 'extension(10, wk[28][0]=[0‥1]) :: init: true :: relation: MDD 1179830093, 11 edges, 3 vertices, 10 tuples
20.12/7.46	c 01:57:11.042 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26875. 'extension(x[4][28]=[0‥10], 10) :: init: true :: relation: MDD 150306380, 25 edges, 5 vertices, 36 tuples
20.12/7.46	c 01:57:11.042 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26876. 'extension(10, x[6][28]=[0‥10]) :: init: true :: relation: MDD 150306380, 25 edges, 5 vertices, 36 tuples
20.12/7.47	c 01:57:11.046 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26933. 'extension(10, wk[29][0]=[0‥1]) :: init: true :: relation: MDD 592238700, 11 edges, 3 vertices, 10 tuples
20.12/7.47	c 01:57:11.046 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26934. 'extension(x[4][29]=[0‥10], 10) :: init: true :: relation: MDD 512934838, 25 edges, 5 vertices, 36 tuples
20.12/7.47	c 01:57:11.047 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26935. 'extension(10, x[6][29]=[0‥10]) :: init: true :: relation: MDD 512934838, 25 edges, 5 vertices, 36 tuples
20.12/7.47	c 01:57:11.048 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26992. 'extension(10, wk[43][0]=[0‥1]) :: init: true :: relation: MDD 154487101, 11 edges, 3 vertices, 10 tuples
20.12/7.47	c 01:57:11.049 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26993. 'extension(10, x[6][43]=[0‥10]) :: init: true :: relation: MDD 283747838, 25 edges, 5 vertices, 36 tuples
20.12/7.47	c 01:57:11.049 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26996. 'extension(10, 10) :: init: true :: relation: MDD 283747838, 25 edges, 5 vertices, 36 tuples
20.12/7.47	c 01:57:11.051 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27052. 'extension(10, wk[52][0]=[0‥1]) :: init: true :: relation: MDD 432914967, 11 edges, 3 vertices, 10 tuples
20.12/7.47	c 01:57:11.052 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27053. 'extension(10, x[6][52]=[0‥10]) :: init: true :: relation: MDD 1180773372, 25 edges, 5 vertices, 36 tuples
20.12/7.47	c 01:57:11.052 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27056. 'extension(10, 10) :: init: true :: relation: MDD 1180773372, 25 edges, 5 vertices, 36 tuples
20.12/7.47	c 01:57:11.054 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27111. 'extension(10, wk[25][0]=[0‥1]) :: init: true :: relation: MDD 568717494, 11 edges, 3 vertices, 10 tuples
20.12/7.47	c 01:57:11.055 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27112. 'extension(x[5][25]=[0‥10], 10) :: init: true :: relation: MDD 1411675719, 25 edges, 5 vertices, 36 tuples
20.12/7.47	c 01:57:11.056 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27170. 'extension(10, wk[36][0]=[0‥1]) :: init: true :: relation: MDD 937936076, 11 edges, 3 vertices, 10 tuples
20.12/7.47	c 01:57:11.056 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27171. 'extension(x[5][36]=[0‥10], 10) :: init: true :: relation: MDD 1735608827, 25 edges, 5 vertices, 36 tuples
20.12/7.48	c 01:57:11.057 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27229. 'extension(x[6][0]=[0‥10], 10) :: init: true :: relation: MDD 2003287374, 25 edges, 5 vertices, 36 tuples
20.12/7.48	c 01:57:11.058 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27230. 'extension(10, x[8][0]=[0‥10]) :: init: true :: relation: MDD 2003287374, 25 edges, 5 vertices, 36 tuples
20.12/7.49	c 01:57:11.059 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27287. 'extension(x[6][15]=[0‥10], 10) :: init: true :: relation: MDD 165875610, 25 edges, 5 vertices, 36 tuples
20.12/7.49	c 01:57:11.060 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27345. 'extension(x[6][24]=[0‥10], 10) :: init: true :: relation: MDD 1795135446, 25 edges, 5 vertices, 36 tuples
20.12/7.49	c 01:57:11.061 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27346. 'extension(10, x[8][24]=[0‥10]) :: init: true :: relation: MDD 1795135446, 25 edges, 5 vertices, 36 tuples
20.12/7.49	c 01:57:11.062 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27403. 'extension(10, x[8][25]=[0‥10]) :: init: true :: relation: MDD 1411675719, 25 edges, 5 vertices, 36 tuples
20.12/7.49	c 01:57:11.063 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27406. 'extension(10, 10) :: init: true :: relation: MDD 1411675719, 25 edges, 5 vertices, 36 tuples
20.12/7.49	c 01:57:11.064 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27461. 'extension(10, x[8][36]=[0‥10]) :: init: true :: relation: MDD 1735608827, 25 edges, 5 vertices, 36 tuples
20.12/7.49	c 01:57:11.065 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27464. 'extension(10, 10) :: init: true :: relation: MDD 1735608827, 25 edges, 5 vertices, 36 tuples
20.12/7.49	c 01:57:11.068 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27519. 'extension(x[7][7]=[0‥10], 10) :: init: true :: relation: MDD 1561651614, 25 edges, 5 vertices, 36 tuples
20.12/7.49	c 01:57:11.068 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27520. 'extension(10, x[9][7]=[0‥10]) :: init: true :: relation: MDD 1561651614, 25 edges, 5 vertices, 36 tuples
20.12/7.49	c 01:57:11.070 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27577. 'extension(10, x[9][15]=[0‥10]) :: init: true :: relation: MDD 165875610, 25 edges, 5 vertices, 36 tuples
20.12/7.49	c 01:57:11.070 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27580. 'extension(10, 10) :: init: true :: relation: MDD 165875610, 25 edges, 5 vertices, 36 tuples
20.12/7.49	c 01:57:11.072 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27635. 'extension(x[7][50]=[0‥10], 10) :: init: true :: relation: MDD 88286953, 25 edges, 5 vertices, 36 tuples
20.12/7.49	c 01:57:11.072 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27636. 'extension(10, x[9][50]=[0‥10]) :: init: true :: relation: MDD 88286953, 25 edges, 5 vertices, 36 tuples
20.47/7.50	c 01:57:11.074 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27693. 'extension(x[8][16]=[0‥10], 10) :: init: true :: relation: MDD 789948772, 25 edges, 5 vertices, 36 tuples
20.47/7.50	c 01:57:11.075 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27751. 'extension(x[8][32]=[0‥10], 10) :: init: true :: relation: MDD 416242770, 25 edges, 5 vertices, 36 tuples
20.47/7.50	c 01:57:11.075 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27752. 'extension(10, x[10][32]=[0‥10]) :: init: true :: relation: MDD 416242770, 25 edges, 5 vertices, 36 tuples
20.47/7.50	c 01:57:11.077 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27809. 'extension(x[8][38]=[0‥10], 10) :: init: true :: relation: MDD 1907982059, 25 edges, 5 vertices, 36 tuples
20.47/7.50	c 01:57:11.077 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27810. 'extension(10, x[10][38]=[0‥10]) :: init: true :: relation: MDD 1907982059, 25 edges, 5 vertices, 36 tuples
20.47/7.50	c 01:57:11.079 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27867. 'extension(x[8][40]=[0‥10], 10) :: init: true :: relation: MDD 1243470467, 25 edges, 5 vertices, 36 tuples
20.47/7.50	c 01:57:11.079 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27868. 'extension(10, x[10][40]=[0‥10]) :: init: true :: relation: MDD 1243470467, 25 edges, 5 vertices, 36 tuples
20.47/7.50	c 01:57:11.082 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27927. 'extension(x[9][5]=[0‥10], 10) :: init: true :: relation: MDD 1644606631, 25 edges, 5 vertices, 36 tuples
20.47/7.50	c 01:57:11.083 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27928. 'extension(10, x[11][5]=[0‥10]) :: init: true :: relation: MDD 1644606631, 25 edges, 5 vertices, 36 tuples
20.47/7.50	c 01:57:11.084 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27985. 'extension(x[9][9]=[0‥10], 10) :: init: true :: relation: MDD 674935302, 25 edges, 5 vertices, 36 tuples
20.47/7.50	c 01:57:11.084 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27986. 'extension(10, x[11][9]=[0‥10]) :: init: true :: relation: MDD 674935302, 25 edges, 5 vertices, 36 tuples
20.47/7.50	c 01:57:11.086 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28043. 'extension(10, x[11][16]=[0‥10]) :: init: true :: relation: MDD 789948772, 25 edges, 5 vertices, 36 tuples
20.47/7.50	c 01:57:11.086 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28046. 'extension(10, 10) :: init: true :: relation: MDD 789948772, 25 edges, 5 vertices, 36 tuples
20.47/7.51	c 01:57:11.088 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28101. 'extension(x[9][23]=[0‥10], 10) :: init: true :: relation: MDD 784882213, 25 edges, 5 vertices, 36 tuples
20.47/7.51	c 01:57:11.088 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28102. 'extension(10, x[11][23]=[0‥10]) :: init: true :: relation: MDD 784882213, 25 edges, 5 vertices, 36 tuples
20.47/7.51	c 01:57:11.090 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28159. 'extension(x[9][27]=[0‥10], 10) :: init: true :: relation: MDD 1534340040, 25 edges, 5 vertices, 36 tuples
20.47/7.51	c 01:57:11.090 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28160. 'extension(10, x[11][27]=[0‥10]) :: init: true :: relation: MDD 1534340040, 25 edges, 5 vertices, 36 tuples
20.47/7.51	c 01:57:11.091 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28217. 'extension(x[9][45]=[0‥10], 10) :: init: true :: relation: MDD 1879644274, 25 edges, 5 vertices, 36 tuples
20.47/7.51	c 01:57:11.091 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28218. 'extension(10, x[11][45]=[0‥10]) :: init: true :: relation: MDD 1879644274, 25 edges, 5 vertices, 36 tuples
20.47/7.51	c 01:57:11.094 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28277. 'extension(x[10][3]=[0‥10], 10) :: init: true :: relation: MDD 1527317172, 25 edges, 5 vertices, 36 tuples
20.47/7.51	c 01:57:11.094 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28335. 'extension(x[10][35]=[0‥10], 10) :: init: true :: relation: MDD 1991010480, 25 edges, 5 vertices, 36 tuples
20.47/7.51	c 01:57:11.096 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28393. 'extension(10, wk[3][1]=[0‥1]) :: init: true :: relation: MDD 1981900848, 11 edges, 3 vertices, 10 tuples
20.47/7.51	c 01:57:11.096 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28394. 'extension(10, x[13][3]=[0‥10]) :: init: true :: relation: MDD 1527317172, 25 edges, 5 vertices, 36 tuples
20.47/7.51	c 01:57:11.096 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28397. 'extension(10, 10) :: init: true :: relation: MDD 1527317172, 25 edges, 5 vertices, 36 tuples
20.47/7.52	c 01:57:11.098 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28452. 'extension(10, wk[13][1]=[0‥1]) :: init: true :: relation: MDD 184410212, 11 edges, 3 vertices, 10 tuples
20.47/7.52	c 01:57:11.098 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28453. 'extension(x[11][13]=[0‥10], 10) :: init: true :: relation: MDD 1452493025, 25 edges, 5 vertices, 36 tuples
20.47/7.52	c 01:57:11.098 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28454. 'extension(10, x[13][13]=[0‥10]) :: init: true :: relation: MDD 1452493025, 25 edges, 5 vertices, 36 tuples
20.47/7.52	c 01:57:11.100 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28511. 'extension(10, wk[33][1]=[0‥1]) :: init: true :: relation: MDD 593881656, 11 edges, 3 vertices, 10 tuples
20.47/7.52	c 01:57:11.100 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28512. 'extension(x[11][33]=[0‥10], 10) :: init: true :: relation: MDD 1114375302, 25 edges, 5 vertices, 36 tuples
20.47/7.52	c 01:57:11.100 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28513. 'extension(10, x[13][33]=[0‥10]) :: init: true :: relation: MDD 1114375302, 25 edges, 5 vertices, 36 tuples
20.47/7.52	c 01:57:11.102 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28570. 'extension(10, wk[35][1]=[0‥1]) :: init: true :: relation: MDD 2000793115, 11 edges, 3 vertices, 10 tuples
20.47/7.52	c 01:57:11.102 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28571. 'extension(10, x[13][35]=[0‥10]) :: init: true :: relation: MDD 1991010480, 25 edges, 5 vertices, 36 tuples
20.47/7.52	c 01:57:11.102 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28574. 'extension(10, 10) :: init: true :: relation: MDD 1991010480, 25 edges, 5 vertices, 36 tuples
20.47/7.52	c 01:57:11.104 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28629. 'extension(10, wk[6][1]=[0‥1]) :: init: true :: relation: MDD 467185608, 11 edges, 3 vertices, 10 tuples
20.47/7.52	c 01:57:11.105 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28630. 'extension(x[12][6]=[0‥10], 10) :: init: true :: relation: MDD 391479787, 25 edges, 5 vertices, 36 tuples
20.47/7.52	c 01:57:11.105 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28631. 'extension(10, x[14][6]=[0‥10]) :: init: true :: relation: MDD 391479787, 25 edges, 5 vertices, 36 tuples
20.47/7.52	c 01:57:11.106 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28688. 'extension(10, wk[9][1]=[0‥1]) :: init: true :: relation: MDD 350099713, 11 edges, 3 vertices, 10 tuples
20.47/7.52	c 01:57:11.107 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28689. 'extension(x[12][9]=[0‥10], 10) :: init: true :: relation: MDD 674935302, 25 edges, 5 vertices, 36 tuples
20.47/7.52	c 01:57:11.107 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28690. 'extension(10, x[14][9]=[0‥10]) :: init: true :: relation: MDD 674935302, 25 edges, 5 vertices, 36 tuples
20.47/7.53	c 01:57:11.109 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28747. 'extension(10, wk[10][1]=[0‥1]) :: init: true :: relation: MDD 1778993228, 11 edges, 3 vertices, 10 tuples
20.47/7.53	c 01:57:11.109 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28748. 'extension(x[12][10]=[0‥10], 10) :: init: true :: relation: MDD 1961138094, 25 edges, 5 vertices, 36 tuples
20.47/7.53	c 01:57:11.109 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28749. 'extension(10, x[14][10]=[0‥10]) :: init: true :: relation: MDD 1961138094, 25 edges, 5 vertices, 36 tuples
20.47/7.53	c 01:57:11.111 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28806. 'extension(10, wk[39][1]=[0‥1]) :: init: true :: relation: MDD 1296833449, 11 edges, 3 vertices, 10 tuples
20.47/7.53	c 01:57:11.111 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28807. 'extension(x[12][39]=[0‥10], 10) :: init: true :: relation: MDD 1236833317, 25 edges, 5 vertices, 36 tuples
20.47/7.53	c 01:57:11.112 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28865. 'extension(x[13][24]=[0‥10], 10) :: init: true :: relation: MDD 1795135446, 25 edges, 5 vertices, 36 tuples
20.47/7.53	c 01:57:11.113 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28866. 'extension(10, x[15][24]=[0‥10]) :: init: true :: relation: MDD 1795135446, 25 edges, 5 vertices, 36 tuples
20.47/7.53	c 01:57:11.115 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28923. 'extension(x[13][34]=[0‥10], 10) :: init: true :: relation: MDD 1300016164, 25 edges, 5 vertices, 36 tuples
20.47/7.53	c 01:57:11.115 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28924. 'extension(10, x[15][34]=[0‥10]) :: init: true :: relation: MDD 1300016164, 25 edges, 5 vertices, 36 tuples
20.47/7.53	c 01:57:11.116 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28981. 'extension(10, x[15][39]=[0‥10]) :: init: true :: relation: MDD 1236833317, 25 edges, 5 vertices, 36 tuples
20.47/7.53	c 01:57:11.117 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28984. 'extension(10, 10) :: init: true :: relation: MDD 1236833317, 25 edges, 5 vertices, 36 tuples
20.47/7.54	c 01:57:11.118 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29039. 'extension(x[13][45]=[0‥10], 10) :: init: true :: relation: MDD 1879644274, 25 edges, 5 vertices, 36 tuples
20.47/7.54	c 01:57:11.119 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29040. 'extension(10, x[15][45]=[0‥10]) :: init: true :: relation: MDD 1879644274, 25 edges, 5 vertices, 36 tuples
20.47/7.54	c 01:57:11.121 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29099. 'extension(x[13][55]=[0‥10], 10) :: init: true :: relation: MDD 776919575, 25 edges, 5 vertices, 36 tuples
20.47/7.54	c 01:57:11.121 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29100. 'extension(10, x[15][55]=[0‥10]) :: init: true :: relation: MDD 776919575, 25 edges, 5 vertices, 36 tuples
20.47/7.54	c 01:57:11.123 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29157. 'extension(x[14][18]=[0‥10], 10) :: init: true :: relation: MDD 983253408, 25 edges, 5 vertices, 36 tuples
20.47/7.55	c 01:57:11.128 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29158. 'extension(10, x[16][18]=[0‥10]) :: init: true :: relation: MDD 983253408, 25 edges, 5 vertices, 36 tuples
20.47/7.55	c 01:57:11.130 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29215. 'extension(x[14][27]=[0‥10], 10) :: init: true :: relation: MDD 1534340040, 25 edges, 5 vertices, 36 tuples
20.47/7.55	c 01:57:11.130 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29216. 'extension(10, x[16][27]=[0‥10]) :: init: true :: relation: MDD 1534340040, 25 edges, 5 vertices, 36 tuples
20.47/7.55	c 01:57:11.132 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29273. 'extension(x[14][48]=[0‥10], 10) :: init: true :: relation: MDD 1821310436, 25 edges, 5 vertices, 36 tuples
20.47/7.56	c 01:57:11.133 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29333. 'extension(x[15][2]=[0‥10], 10) :: init: true :: relation: MDD 1903728000, 25 edges, 5 vertices, 36 tuples
20.47/7.56	c 01:57:11.134 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29334. 'extension(10, x[17][2]=[0‥10]) :: init: true :: relation: MDD 1903728000, 25 edges, 5 vertices, 36 tuples
20.47/7.56	c 01:57:11.136 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29391. 'extension(x[15][17]=[0‥10], 10) :: init: true :: relation: MDD 1319217746, 25 edges, 5 vertices, 36 tuples
20.47/7.56	c 01:57:11.136 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29449. 'extension(x[15][38]=[0‥10], 10) :: init: true :: relation: MDD 1907982059, 25 edges, 5 vertices, 36 tuples
20.47/7.56	c 01:57:11.137 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29450. 'extension(10, x[17][38]=[0‥10]) :: init: true :: relation: MDD 1907982059, 25 edges, 5 vertices, 36 tuples
20.47/7.56	c 01:57:11.138 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29507. 'extension(10, x[17][48]=[0‥10]) :: init: true :: relation: MDD 1821310436, 25 edges, 5 vertices, 36 tuples
20.47/7.56	c 01:57:11.139 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29510. 'extension(10, 10) :: init: true :: relation: MDD 1821310436, 25 edges, 5 vertices, 36 tuples
20.47/7.56	c 01:57:11.141 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29567. 'extension(x[15][50]=[0‥10], 10) :: init: true :: relation: MDD 88286953, 25 edges, 5 vertices, 36 tuples
20.47/7.56	c 01:57:11.141 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29568. 'extension(10, x[17][50]=[0‥10]) :: init: true :: relation: MDD 88286953, 25 edges, 5 vertices, 36 tuples
20.47/7.56	c 01:57:11.143 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29625. 'extension(x[16][5]=[0‥10], 10) :: init: true :: relation: MDD 1644606631, 25 edges, 5 vertices, 36 tuples
20.47/7.56	c 01:57:11.143 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29626. 'extension(10, x[18][5]=[0‥10]) :: init: true :: relation: MDD 1644606631, 25 edges, 5 vertices, 36 tuples
20.47/7.56	c 01:57:11.145 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29683. 'extension(10, x[18][17]=[0‥10]) :: init: true :: relation: MDD 1319217746, 25 edges, 5 vertices, 36 tuples
20.47/7.56	c 01:57:11.146 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29686. 'extension(10, 10) :: init: true :: relation: MDD 1319217746, 25 edges, 5 vertices, 36 tuples
20.47/7.57	c 01:57:11.147 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29741. 'extension(x[16][19]=[0‥10], 10) :: init: true :: relation: MDD 1099892020, 25 edges, 5 vertices, 36 tuples
20.47/7.57	c 01:57:11.147 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29742. 'extension(10, x[18][19]=[0‥10]) :: init: true :: relation: MDD 1099892020, 25 edges, 5 vertices, 36 tuples
20.47/7.57	c 01:57:11.149 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29799. 'extension(x[16][28]=[0‥10], 10) :: init: true :: relation: MDD 150306380, 25 edges, 5 vertices, 36 tuples
20.47/7.57	c 01:57:11.149 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29800. 'extension(10, x[18][28]=[0‥10]) :: init: true :: relation: MDD 150306380, 25 edges, 5 vertices, 36 tuples
20.47/7.57	c 01:57:11.151 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29857. 'extension(x[16][33]=[0‥10], 10) :: init: true :: relation: MDD 1114375302, 25 edges, 5 vertices, 36 tuples
20.47/7.57	c 01:57:11.152 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29858. 'extension(10, x[18][33]=[0‥10]) :: init: true :: relation: MDD 1114375302, 25 edges, 5 vertices, 36 tuples
20.47/7.57	c 01:57:11.154 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29915. 'extension(x[16][55]=[0‥10], 10) :: init: true :: relation: MDD 776919575, 25 edges, 5 vertices, 36 tuples
20.47/7.57	c 01:57:11.154 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29916. 'extension(10, x[18][55]=[0‥10]) :: init: true :: relation: MDD 776919575, 25 edges, 5 vertices, 36 tuples
20.47/7.57	c 01:57:11.156 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29973. 'extension(x[17][42]=[0‥10], 10) :: init: true :: relation: MDD 1522549999, 25 edges, 5 vertices, 36 tuples
20.47/7.57	c 01:57:11.157 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29974. 'extension(10, x[19][42]=[0‥10]) :: init: true :: relation: MDD 1522549999, 25 edges, 5 vertices, 36 tuples
20.47/7.58	c 01:57:11.159 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30033. 'extension(x[17][46]=[0‥10], 10) :: init: true :: relation: MDD 23568923, 25 edges, 5 vertices, 36 tuples
20.47/7.58	c 01:57:11.159 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30093. 'extension(x[17][53]=[0‥10], 10) :: init: true :: relation: MDD 355900787, 25 edges, 5 vertices, 36 tuples
20.47/7.58	c 01:57:11.161 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30151. 'extension(10, wk[26][2]=[0‥1]) :: init: true :: relation: MDD 1686568571, 11 edges, 3 vertices, 10 tuples
20.47/7.58	c 01:57:11.161 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30152. 'extension(x[18][26]=[0‥10], 10) :: init: true :: relation: MDD 587346608, 25 edges, 5 vertices, 36 tuples
20.47/7.58	c 01:57:11.162 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30210. 'extension(10, wk[46][2]=[0‥1]) :: init: true :: relation: MDD 106350019, 11 edges, 3 vertices, 10 tuples
20.47/7.58	c 01:57:11.162 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30211. 'extension(10, x[20][46]=[0‥10]) :: init: true :: relation: MDD 23568923, 25 edges, 5 vertices, 36 tuples
20.47/7.58	c 01:57:11.162 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30214. 'extension(10, 10) :: init: true :: relation: MDD 23568923, 25 edges, 5 vertices, 36 tuples
20.47/7.58	c 01:57:11.164 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30271. 'extension(10, wk[49][2]=[0‥1]) :: init: true :: relation: MDD 1428223605, 11 edges, 3 vertices, 10 tuples
20.47/7.58	c 01:57:11.164 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30272. 'extension(x[18][49]=[0‥10], 10) :: init: true :: relation: MDD 1172390062, 25 edges, 5 vertices, 36 tuples
20.47/7.58	c 01:57:11.165 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30332. 'extension(10, wk[51][2]=[0‥1]) :: init: true :: relation: MDD 1002146838, 11 edges, 3 vertices, 10 tuples
20.47/7.58	c 01:57:11.165 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30333. 'extension(x[18][51]=[0‥10], 10) :: init: true :: relation: MDD 974168055, 25 edges, 5 vertices, 36 tuples
20.47/7.58	c 01:57:11.166 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30391. 'extension(10, wk[53][2]=[0‥1]) :: init: true :: relation: MDD 2141849216, 11 edges, 3 vertices, 10 tuples
20.47/7.58	c 01:57:11.166 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30392. 'extension(10, x[20][53]=[0‥10]) :: init: true :: relation: MDD 355900787, 25 edges, 5 vertices, 36 tuples
20.47/7.58	c 01:57:11.166 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30395. 'extension(10, 10) :: init: true :: relation: MDD 355900787, 25 edges, 5 vertices, 36 tuples
20.47/7.59	c 01:57:11.168 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30450. 'extension(10, wk[26][2]=[0‥1]) :: init: true :: relation: MDD 1178953630, 11 edges, 3 vertices, 10 tuples
20.47/7.59	c 01:57:11.168 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30451. 'extension(10, x[21][26]=[0‥10]) :: init: true :: relation: MDD 587346608, 25 edges, 5 vertices, 36 tuples
20.47/7.59	c 01:57:11.169 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30454. 'extension(10, 10) :: init: true :: relation: MDD 587346608, 25 edges, 5 vertices, 36 tuples
20.47/7.59	c 01:57:11.170 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30509. 'extension(10, wk[29][2]=[0‥1]) :: init: true :: relation: MDD 1063124585, 11 edges, 3 vertices, 10 tuples
20.47/7.59	c 01:57:11.171 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30510. 'extension(x[19][29]=[0‥10], 10) :: init: true :: relation: MDD 512934838, 25 edges, 5 vertices, 36 tuples
20.47/7.59	c 01:57:11.171 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30511. 'extension(10, x[21][29]=[0‥10]) :: init: true :: relation: MDD 512934838, 25 edges, 5 vertices, 36 tuples
20.47/7.59	c 01:57:11.173 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30568. 'extension(10, wk[49][2]=[0‥1]) :: init: true :: relation: MDD 1223820621, 11 edges, 3 vertices, 10 tuples
20.47/7.59	c 01:57:11.173 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30569. 'extension(10, x[21][49]=[0‥10]) :: init: true :: relation: MDD 1172390062, 25 edges, 5 vertices, 36 tuples
20.47/7.59	c 01:57:11.173 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30572. 'extension(10, 10) :: init: true :: relation: MDD 1172390062, 25 edges, 5 vertices, 36 tuples
20.47/7.59	c 01:57:11.175 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30629. 'extension(10, wk[51][2]=[0‥1]) :: init: true :: relation: MDD 300859499, 11 edges, 3 vertices, 10 tuples
20.47/7.59	c 01:57:11.175 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30630. 'extension(10, x[21][51]=[0‥10]) :: init: true :: relation: MDD 974168055, 25 edges, 5 vertices, 36 tuples
20.47/7.59	c 01:57:11.176 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30633. 'extension(10, 10) :: init: true :: relation: MDD 974168055, 25 edges, 5 vertices, 36 tuples
20.47/7.60	c 01:57:11.178 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30688. 'extension(x[20][22]=[0‥10], 10) :: init: true :: relation: MDD 1794607688, 25 edges, 5 vertices, 36 tuples
20.47/7.60	c 01:57:11.178 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30689. 'extension(10, x[22][22]=[0‥10]) :: init: true :: relation: MDD 1794607688, 25 edges, 5 vertices, 36 tuples
20.47/7.60	c 01:57:11.179 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30746. 'extension(x[20][32]=[0‥10], 10) :: init: true :: relation: MDD 416242770, 25 edges, 5 vertices, 36 tuples
20.47/7.60	c 01:57:11.179 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30747. 'extension(10, x[22][32]=[0‥10]) :: init: true :: relation: MDD 416242770, 25 edges, 5 vertices, 36 tuples
20.47/7.60	c 01:57:11.182 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30804. 'extension(x[21][7]=[0‥10], 10) :: init: true :: relation: MDD 1561651614, 25 edges, 5 vertices, 36 tuples
20.47/7.60	c 01:57:11.182 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30805. 'extension(10, x[23][7]=[0‥10]) :: init: true :: relation: MDD 1561651614, 25 edges, 5 vertices, 36 tuples
20.47/7.60	c 01:57:11.184 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30862. 'extension(x[21][20]=[0‥10], 10) :: init: true :: relation: MDD 715504968, 25 edges, 5 vertices, 36 tuples
20.47/7.60	c 01:57:11.184 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30920. 'extension(x[21][23]=[0‥10], 10) :: init: true :: relation: MDD 784882213, 25 edges, 5 vertices, 36 tuples
20.47/7.60	c 01:57:11.184 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30921. 'extension(10, x[23][23]=[0‥10]) :: init: true :: relation: MDD 784882213, 25 edges, 5 vertices, 36 tuples
20.47/7.60	c 01:57:11.187 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30978. 'extension(x[22][8]=[0‥10], 10) :: init: true :: relation: MDD 1594847431, 25 edges, 5 vertices, 36 tuples
20.79/7.61	c 01:57:11.187 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30979. 'extension(10, x[24][8]=[0‥10]) :: init: true :: relation: MDD 1594847431, 25 edges, 5 vertices, 36 tuples
20.79/7.61	c 01:57:11.189 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31035. 'extension(10, x[24][20]=[0‥10]) :: init: true :: relation: MDD 715504968, 25 edges, 5 vertices, 36 tuples
20.79/7.61	c 01:57:11.190 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31038. 'extension(10, 10) :: init: true :: relation: MDD 715504968, 25 edges, 5 vertices, 36 tuples
20.79/7.61	c 01:57:11.191 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31092. 'extension(x[22][21]=[0‥10], 10) :: init: true :: relation: MDD 516459169, 25 edges, 5 vertices, 36 tuples
20.79/7.61	c 01:57:11.192 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31149. 'extension(x[22][31]=[0‥10], 10) :: init: true :: relation: MDD 302905744, 25 edges, 5 vertices, 36 tuples
20.79/7.61	c 01:57:11.192 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31206. 'extension(x[22][41]=[0‥10], 10) :: init: true :: relation: MDD 1382159617, 25 edges, 5 vertices, 36 tuples
20.79/7.61	c 01:57:11.193 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31207. 'extension(10, x[24][41]=[0‥10]) :: init: true :: relation: MDD 1382159617, 25 edges, 5 vertices, 36 tuples
20.79/7.61	c 01:57:11.195 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31264. 'extension(x[23][0]=[0‥10], 10) :: init: true :: relation: MDD 2003287374, 25 edges, 5 vertices, 36 tuples
20.79/7.61	c 01:57:11.195 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31265. 'extension(10, x[25][0]=[0‥10]) :: init: true :: relation: MDD 2003287374, 25 edges, 5 vertices, 36 tuples
20.79/7.61	c 01:57:11.197 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31320. 'extension(x[23][11]=[0‥10], 10) :: init: true :: relation: MDD 1904839162, 25 edges, 5 vertices, 36 tuples
20.79/7.62	c 01:57:11.197 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31376. 'extension(10, x[25][21]=[0‥10]) :: init: true :: relation: MDD 516459169, 25 edges, 5 vertices, 36 tuples
20.79/7.62	c 01:57:11.198 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31379. 'extension(10, 10) :: init: true :: relation: MDD 516459169, 25 edges, 5 vertices, 36 tuples
20.79/7.62	c 01:57:11.199 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31432. 'extension(x[23][30]=[0‥10], 10) :: init: true :: relation: MDD 598551831, 25 edges, 5 vertices, 36 tuples
20.79/7.62	c 01:57:11.200 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31488. 'extension(10, x[25][31]=[0‥10]) :: init: true :: relation: MDD 302905744, 25 edges, 5 vertices, 36 tuples
20.79/7.62	c 01:57:11.200 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31491. 'extension(10, 10) :: init: true :: relation: MDD 302905744, 25 edges, 5 vertices, 36 tuples
20.79/7.62	c 01:57:11.201 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31544. 'extension(x[23][37]=[0‥10], 10) :: init: true :: relation: MDD 1502710927, 25 edges, 5 vertices, 36 tuples
20.79/7.62	c 01:57:11.202 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31545. 'extension(10, x[25][37]=[0‥10]) :: init: true :: relation: MDD 1502710927, 25 edges, 5 vertices, 36 tuples
20.79/7.62	c 01:57:11.203 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31600. 'extension(x[23][57]=[0‥10], 10) :: init: true :: relation: MDD 2062667890, 25 edges, 5 vertices, 36 tuples
20.79/7.62	c 01:57:11.204 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31656. 'extension(x[24][1]=[0‥10], 10) :: init: true :: relation: MDD 127252077, 25 edges, 5 vertices, 36 tuples
20.79/7.62	c 01:57:11.205 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31711. 'extension(10, x[26][11]=[0‥10]) :: init: true :: relation: MDD 1904839162, 25 edges, 5 vertices, 36 tuples
20.79/7.62	c 01:57:11.205 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31714. 'extension(10, 10) :: init: true :: relation: MDD 1904839162, 25 edges, 5 vertices, 36 tuples
20.79/7.62	c 01:57:11.206 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31766. 'extension(x[24][12]=[0‥10], 10) :: init: true :: relation: MDD 2016400644, 25 edges, 5 vertices, 36 tuples
20.79/7.63	c 01:57:11.207 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31821. 'extension(x[24][14]=[0‥10], 10) :: init: true :: relation: MDD 1303427612, 25 edges, 5 vertices, 36 tuples
20.79/7.63	c 01:57:11.207 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31822. 'extension(10, x[26][14]=[0‥10]) :: init: true :: relation: MDD 1303427612, 25 edges, 5 vertices, 36 tuples
20.79/7.63	c 01:57:11.209 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31876. 'extension(10, x[26][30]=[0‥10]) :: init: true :: relation: MDD 598551831, 25 edges, 5 vertices, 36 tuples
20.79/7.63	c 01:57:11.209 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31879. 'extension(10, 10) :: init: true :: relation: MDD 598551831, 25 edges, 5 vertices, 36 tuples
20.79/7.63	c 01:57:11.210 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31931. 'extension(x[24][34]=[0‥10], 10) :: init: true :: relation: MDD 1300016164, 25 edges, 5 vertices, 36 tuples
20.79/7.63	c 01:57:11.211 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31932. 'extension(10, x[26][34]=[0‥10]) :: init: true :: relation: MDD 1300016164, 25 edges, 5 vertices, 36 tuples
20.79/7.63	c 01:57:11.212 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31986. 'extension(10, x[26][57]=[0‥10]) :: init: true :: relation: MDD 2062667890, 25 edges, 5 vertices, 36 tuples
20.79/7.63	c 01:57:11.213 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31989. 'extension(10, 10) :: init: true :: relation: MDD 2062667890, 25 edges, 5 vertices, 36 tuples
20.79/7.63	c 01:57:11.214 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32041. 'extension(10, wk[1][3]=[0‥1]) :: init: true :: relation: MDD 956448191, 11 edges, 3 vertices, 10 tuples
20.79/7.63	c 01:57:11.214 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32042. 'extension(10, x[27][1]=[0‥10]) :: init: true :: relation: MDD 127252077, 25 edges, 5 vertices, 36 tuples
20.79/7.63	c 01:57:11.215 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32044. 'extension(10, 10) :: init: true :: relation: MDD 127252077, 25 edges, 5 vertices, 36 tuples
20.79/7.63	c 01:57:11.216 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32095. 'extension(10, wk[12][3]=[0‥1]) :: init: true :: relation: MDD 869437194, 11 edges, 3 vertices, 10 tuples
20.79/7.63	c 01:57:11.216 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32096. 'extension(10, x[27][12]=[0‥10]) :: init: true :: relation: MDD 2016400644, 25 edges, 5 vertices, 36 tuples
20.79/7.63	c 01:57:11.216 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32098. 'extension(10, 10) :: init: true :: relation: MDD 2016400644, 25 edges, 5 vertices, 36 tuples
20.79/7.64	c 01:57:11.218 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32149. 'extension(10, wk[22][3]=[0‥1]) :: init: true :: relation: MDD 1137180298, 11 edges, 3 vertices, 10 tuples
20.79/7.64	c 01:57:11.218 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32150. 'extension(x[25][22]=[0‥10], 10) :: init: true :: relation: MDD 1794607688, 25 edges, 5 vertices, 36 tuples
20.79/7.64	c 01:57:11.218 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32151. 'extension(10, x[27][22]=[0‥10]) :: init: true :: relation: MDD 1794607688, 25 edges, 5 vertices, 36 tuples
20.79/7.64	c 01:57:11.219 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32203. 'extension(10, wk[58][3]=[0‥1]) :: init: true :: relation: MDD 1757252775, 11 edges, 3 vertices, 10 tuples
20.79/7.64	c 01:57:11.220 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32204. 'extension(x[25][58]=[0‥10], 10) :: init: true :: relation: MDD 1313359405, 25 edges, 5 vertices, 36 tuples
20.79/7.64	c 01:57:11.220 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32205. 'extension(10, x[27][58]=[0‥10]) :: init: true :: relation: MDD 1313359405, 25 edges, 5 vertices, 36 tuples
20.79/7.64	c 01:57:11.222 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32257. 'extension(10, wk[6][3]=[0‥1]) :: init: true :: relation: MDD 1798299644, 11 edges, 3 vertices, 10 tuples
20.79/7.64	c 01:57:11.222 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32258. 'extension(x[26][6]=[0‥10], 10) :: init: true :: relation: MDD 391479787, 25 edges, 5 vertices, 36 tuples
20.79/7.64	c 01:57:11.222 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32259. 'extension(10, x[26][6]=[0‥10]) :: init: true :: relation: MDD 192752977, 11 edges, 3 vertices, 10 tuples
20.79/7.64	c 01:57:11.223 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32307. 'extension(10, wk[13][3]=[0‥1]) :: init: true :: relation: MDD 1068781783, 11 edges, 3 vertices, 10 tuples
20.79/7.64	c 01:57:11.223 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32308. 'extension(x[26][13]=[0‥10], 10) :: init: true :: relation: MDD 1452493025, 25 edges, 5 vertices, 36 tuples
20.79/7.64	c 01:57:11.224 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32309. 'extension(10, x[26][13]=[0‥10]) :: init: true :: relation: MDD 195730660, 11 edges, 3 vertices, 10 tuples
20.79/7.66	c 01:57:11.239 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32478. 'extension(x[1][8]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.66	c 01:57:11.240 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32480. 'extension(x[1][8]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.66	c 01:57:11.240 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32486. 'extension(x[1][10]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.66	c 01:57:11.240 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32488. 'extension(x[1][10]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.66	c 01:57:11.240 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32494. 'extension(x[1][37]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.66	c 01:57:11.241 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32496. 'extension(x[1][37]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.66	c 01:57:11.241 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32502. 'extension(x[1][40]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.66	c 01:57:11.241 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32504. 'extension(x[1][40]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.66	c 01:57:11.241 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32510. 'extension(x[1][58]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.66	c 01:57:11.241 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32512. 'extension(x[1][58]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.66	c 01:57:11.242 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32518. 'extension(x[0][4]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.66	c 01:57:11.242 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32520. 'extension(x[2][4]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.66	c 01:57:11.243 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32532. 'extension(x[0][54]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.66	c 01:57:11.243 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32536. 'extension(x[2][59]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.66	c 01:57:11.243 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32546. 'extension(x[1][19]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.66	c 01:57:11.244 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32548. 'extension(x[3][19]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.66	c 01:57:11.244 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32562. 'extension(x[1][47]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.66	c 01:57:11.245 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32566. 'extension(x[3][54]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.66	c 01:57:11.245 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32580. 'extension(x[2][2]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.66	c 01:57:11.245 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32582. 'extension(x[4][2]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.66	c 01:57:11.246 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32596. 'extension(x[2][14]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.66	c 01:57:11.246 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32598. 'extension(x[4][14]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.66	c 01:57:11.247 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32612. 'extension(x[2][41]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.66	c 01:57:11.247 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32614. 'extension(x[4][41]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.67	c 01:57:11.248 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32630. 'extension(x[2][42]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.67	c 01:57:11.248 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32632. 'extension(x[4][42]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.67	c 01:57:11.248 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32648. 'extension(x[2][44]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.67	c 01:57:11.249 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32654. 'extension(x[4][47]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.67	c 01:57:11.249 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32670. 'extension(x[2][56]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.67	c 01:57:11.250 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32676. 'extension(x[3][43]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.67	c 01:57:11.250 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32682. 'extension(x[5][44]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.67	c 01:57:11.251 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32698. 'extension(x[3][52]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.67	c 01:57:11.251 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32704. 'extension(x[5][56]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.67	c 01:57:11.251 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32718. 'extension(wk[4][0]=[0‥1]) :: init: true :: relation: Empty MDD
20.79/7.67	c 01:57:11.252 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32720. 'extension(x[4][4]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.67	c 01:57:11.252 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32722. 'extension(x[6][4]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.67	c 01:57:11.252 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32736. 'extension(wk[18][0]=[0‥1]) :: init: true :: relation: Empty MDD
20.79/7.67	c 01:57:11.252 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32738. 'extension(x[4][18]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.67	c 01:57:11.253 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32740. 'extension(x[6][18]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.67	c 01:57:11.253 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32754. 'extension(wk[28][0]=[0‥1]) :: init: true :: relation: Empty MDD
20.79/7.67	c 01:57:11.253 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32756. 'extension(x[4][28]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.67	c 01:57:11.253 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32758. 'extension(x[6][28]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.67	c 01:57:11.254 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32772. 'extension(wk[29][0]=[0‥1]) :: init: true :: relation: Empty MDD
20.79/7.68	c 01:57:11.254 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32774. 'extension(x[4][29]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.68	c 01:57:11.254 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32776. 'extension(x[6][29]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.68	c 01:57:11.255 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32790. 'extension(wk[43][0]=[0‥1]) :: init: true :: relation: Empty MDD
20.79/7.68	c 01:57:11.255 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32792. 'extension(x[6][43]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.68	c 01:57:11.256 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32808. 'extension(wk[52][0]=[0‥1]) :: init: true :: relation: Empty MDD
20.79/7.68	c 01:57:11.256 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32810. 'extension(x[6][52]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.68	c 01:57:11.256 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32824. 'extension(wk[25][0]=[0‥1]) :: init: true :: relation: Empty MDD
20.79/7.68	c 01:57:11.257 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32826. 'extension(x[5][25]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.68	c 01:57:11.257 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32832. 'extension(wk[36][0]=[0‥1]) :: init: true :: relation: Empty MDD
20.79/7.68	c 01:57:11.257 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32834. 'extension(x[5][36]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.68	c 01:57:11.257 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32840. 'extension(x[6][0]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.68	c 01:57:11.258 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32842. 'extension(x[8][0]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.68	c 01:57:11.258 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32856. 'extension(x[6][15]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.68	c 01:57:11.258 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32862. 'extension(x[6][24]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.68	c 01:57:11.259 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32864. 'extension(x[8][24]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.68	c 01:57:11.259 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32878. 'extension(x[8][25]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.68	c 01:57:11.260 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32892. 'extension(x[8][36]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.68	c 01:57:11.260 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32906. 'extension(x[7][7]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.68	c 01:57:11.260 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32908. 'extension(x[9][7]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.68	c 01:57:11.261 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32922. 'extension(x[9][15]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.68	c 01:57:11.261 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32936. 'extension(x[7][50]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.68	c 01:57:11.261 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32938. 'extension(x[9][50]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.68	c 01:57:11.262 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32952. 'extension(x[8][16]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.68	c 01:57:11.262 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32958. 'extension(x[8][32]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.68	c 01:57:11.262 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32960. 'extension(x[10][32]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.68	c 01:57:11.263 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32974. 'extension(x[8][38]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.68	c 01:57:11.263 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32976. 'extension(x[10][38]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.68	c 01:57:11.264 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32990. 'extension(x[8][40]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.68	c 01:57:11.264 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32992. 'extension(x[10][40]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.68	c 01:57:11.264 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33008. 'extension(x[9][5]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.68	c 01:57:11.265 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33010. 'extension(x[11][5]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.68	c 01:57:11.265 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33024. 'extension(x[9][9]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.68	c 01:57:11.265 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33026. 'extension(x[11][9]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.68	c 01:57:11.266 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33040. 'extension(x[11][16]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.68	c 01:57:11.267 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33054. 'extension(x[9][23]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.68	c 01:57:11.267 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33056. 'extension(x[11][23]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.69	c 01:57:11.267 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33070. 'extension(x[9][27]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.69	c 01:57:11.267 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33072. 'extension(x[11][27]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.69	c 01:57:11.268 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33086. 'extension(x[9][45]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.69	c 01:57:11.268 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33088. 'extension(x[11][45]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.69	c 01:57:11.269 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33104. 'extension(x[10][3]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.69	c 01:57:11.269 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33110. 'extension(x[10][35]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.69	c 01:57:11.269 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33116. 'extension(wk[3][1]=[0‥1]) :: init: true :: relation: Empty MDD
20.79/7.69	c 01:57:11.270 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33118. 'extension(x[13][3]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.69	c 01:57:11.270 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33132. 'extension(wk[13][1]=[0‥1]) :: init: true :: relation: Empty MDD
20.79/7.69	c 01:57:11.270 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33134. 'extension(x[11][13]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.69	c 01:57:11.270 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33136. 'extension(x[13][13]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.69	c 01:57:11.271 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33150. 'extension(wk[33][1]=[0‥1]) :: init: true :: relation: Empty MDD
20.79/7.69	c 01:57:11.271 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33152. 'extension(x[11][33]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.69	c 01:57:11.271 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33154. 'extension(x[13][33]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.69	c 01:57:11.272 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33168. 'extension(wk[35][1]=[0‥1]) :: init: true :: relation: Empty MDD
20.79/7.69	c 01:57:11.272 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33170. 'extension(x[13][35]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.69	c 01:57:11.272 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33184. 'extension(wk[6][1]=[0‥1]) :: init: true :: relation: Empty MDD
20.79/7.69	c 01:57:11.272 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33186. 'extension(x[12][6]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.69	c 01:57:11.273 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33188. 'extension(x[14][6]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.69	c 01:57:11.273 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33202. 'extension(wk[9][1]=[0‥1]) :: init: true :: relation: Empty MDD
20.79/7.69	c 01:57:11.273 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33204. 'extension(x[12][9]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.69	c 01:57:11.273 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33206. 'extension(x[14][9]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.69	c 01:57:11.274 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33220. 'extension(wk[10][1]=[0‥1]) :: init: true :: relation: Empty MDD
20.79/7.69	c 01:57:11.274 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33222. 'extension(x[12][10]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.69	c 01:57:11.274 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33224. 'extension(x[14][10]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.69	c 01:57:11.275 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33238. 'extension(wk[39][1]=[0‥1]) :: init: true :: relation: Empty MDD
20.79/7.69	c 01:57:11.275 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33240. 'extension(x[12][39]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.69	c 01:57:11.275 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33246. 'extension(x[13][24]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.69	c 01:57:11.275 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33248. 'extension(x[15][24]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.69	c 01:57:11.276 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33262. 'extension(x[13][34]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.69	c 01:57:11.276 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33264. 'extension(x[15][34]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.69	c 01:57:11.276 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33278. 'extension(x[15][39]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.70	c 01:57:11.277 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33292. 'extension(x[13][45]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.70	c 01:57:11.277 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33294. 'extension(x[15][45]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.70	c 01:57:11.278 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33310. 'extension(x[13][55]=[0‥10]) :: init: true :: relation: Empty MDD
20.79/7.70	c 01:57:11.278 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33312. 'extension(x[15][55]=[0‥10]) :: init: true :: relation: Empty MDD
21.04/7.70	c 01:57:11.279 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33326. 'extension(x[14][18]=[0‥10]) :: init: true :: relation: Empty MDD
21.04/7.70	c 01:57:11.279 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33328. 'extension(x[16][18]=[0‥10]) :: init: true :: relation: Empty MDD
21.04/7.70	c 01:57:11.280 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33342. 'extension(x[14][27]=[0‥10]) :: init: true :: relation: Empty MDD
21.04/7.70	c 01:57:11.280 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33344. 'extension(x[16][27]=[0‥10]) :: init: true :: relation: Empty MDD
21.04/7.70	c 01:57:11.280 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33358. 'extension(x[14][48]=[0‥10]) :: init: true :: relation: Empty MDD
21.04/7.70	c 01:57:11.281 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33364. 'extension(x[15][2]=[0‥10]) :: init: true :: relation: Empty MDD
21.04/7.70	c 01:57:11.281 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33366. 'extension(x[17][2]=[0‥10]) :: init: true :: relation: Empty MDD
21.04/7.70	c 01:57:11.281 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33380. 'extension(x[15][17]=[0‥10]) :: init: true :: relation: Empty MDD
21.04/7.70	c 01:57:11.282 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33386. 'extension(x[15][38]=[0‥10]) :: init: true :: relation: Empty MDD
21.04/7.70	c 01:57:11.282 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33388. 'extension(x[17][38]=[0‥10]) :: init: true :: relation: Empty MDD
21.04/7.70	c 01:57:11.282 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33402. 'extension(x[17][48]=[0‥10]) :: init: true :: relation: Empty MDD
21.04/7.70	c 01:57:11.283 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33418. 'extension(x[15][50]=[0‥10]) :: init: true :: relation: Empty MDD
21.04/7.70	c 01:57:11.283 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33420. 'extension(x[17][50]=[0‥10]) :: init: true :: relation: Empty MDD
21.04/7.70	c 01:57:11.283 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33434. 'extension(x[16][5]=[0‥10]) :: init: true :: relation: Empty MDD
21.04/7.70	c 01:57:11.284 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33436. 'extension(x[18][5]=[0‥10]) :: init: true :: relation: Empty MDD
21.04/7.70	c 01:57:11.284 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33450. 'extension(x[18][17]=[0‥10]) :: init: true :: relation: Empty MDD
21.04/7.70	c 01:57:11.285 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33464. 'extension(x[16][19]=[0‥10]) :: init: true :: relation: Empty MDD
21.04/7.71	c 01:57:11.285 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33466. 'extension(x[18][19]=[0‥10]) :: init: true :: relation: Empty MDD
21.04/7.71	c 01:57:11.285 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33480. 'extension(x[16][28]=[0‥10]) :: init: true :: relation: Empty MDD
21.04/7.71	c 01:57:11.285 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33482. 'extension(x[18][28]=[0‥10]) :: init: true :: relation: Empty MDD
21.04/7.71	c 01:57:11.286 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33496. 'extension(x[16][33]=[0‥10]) :: init: true :: relation: Empty MDD
21.04/7.71	c 01:57:11.286 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33498. 'extension(x[18][33]=[0‥10]) :: init: true :: relation: Empty MDD
21.04/7.71	c 01:57:11.287 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33512. 'extension(x[16][55]=[0‥10]) :: init: true :: relation: Empty MDD
21.04/7.71	c 01:57:11.287 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33514. 'extension(x[18][55]=[0‥10]) :: init: true :: relation: Empty MDD
21.04/7.71	c 01:57:11.287 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33528. 'extension(x[17][42]=[0‥10]) :: init: true :: relation: Empty MDD
21.04/7.71	c 01:57:11.287 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33530. 'extension(x[19][42]=[0‥10]) :: init: true :: relation: Empty MDD
21.04/7.71	c 01:57:11.288 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33546. 'extension(x[17][46]=[0‥10]) :: init: true :: relation: Empty MDD
21.04/7.71	c 01:57:11.288 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33552. 'extension(x[17][53]=[0‥10]) :: init: true :: relation: Empty MDD
21.04/7.71	c 01:57:11.289 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33558. 'extension(wk[26][2]=[0‥1]) :: init: true :: relation: Empty MDD
21.04/7.71	c 01:57:11.289 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33560. 'extension(x[18][26]=[0‥10]) :: init: true :: relation: Empty MDD
21.04/7.71	c 01:57:11.289 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33566. 'extension(wk[46][2]=[0‥1]) :: init: true :: relation: Empty MDD
21.04/7.71	c 01:57:11.289 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33568. 'extension(x[20][46]=[0‥10]) :: init: true :: relation: Empty MDD
21.04/7.71	c 01:57:11.290 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33584. 'extension(wk[49][2]=[0‥1]) :: init: true :: relation: Empty MDD
21.04/7.71	c 01:57:11.290 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33586. 'extension(x[18][49]=[0‥10]) :: init: true :: relation: Empty MDD
21.04/7.71	c 01:57:11.290 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33592. 'extension(wk[51][2]=[0‥1]) :: init: true :: relation: Empty MDD
21.04/7.71	c 01:57:11.290 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33594. 'extension(x[18][51]=[0‥10]) :: init: true :: relation: Empty MDD
21.04/7.71	c 01:57:11.291 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33600. 'extension(wk[53][2]=[0‥1]) :: init: true :: relation: Empty MDD
21.04/7.71	c 01:57:11.291 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33602. 'extension(x[20][53]=[0‥10]) :: init: true :: relation: Empty MDD
21.04/7.71	c 01:57:11.291 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33616. 'extension(wk[26][2]=[0‥1]) :: init: true :: relation: Empty MDD
21.04/7.71	c 01:57:11.291 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33618. 'extension(x[21][26]=[0‥10]) :: init: true :: relation: Empty MDD
21.04/7.71	c 01:57:11.292 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33632. 'extension(wk[29][2]=[0‥1]) :: init: true :: relation: Empty MDD
21.04/7.71	c 01:57:11.292 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33634. 'extension(x[19][29]=[0‥10]) :: init: true :: relation: Empty MDD
21.04/7.71	c 01:57:11.292 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33636. 'extension(x[21][29]=[0‥10]) :: init: true :: relation: Empty MDD
21.04/7.71	c 01:57:11.293 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33650. 'extension(wk[49][2]=[0‥1]) :: init: true :: relation: Empty MDD
21.04/7.71	c 01:57:11.293 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33652. 'extension(x[21][49]=[0‥10]) :: init: true :: relation: Empty MDD
21.04/7.71	c 01:57:11.293 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33668. 'extension(wk[51][2]=[0‥1]) :: init: true :: relation: Empty MDD
21.04/7.71	c 01:57:11.293 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33670. 'extension(x[21][51]=[0‥10]) :: init: true :: relation: Empty MDD
21.04/7.71	c 01:57:11.294 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33684. 'extension(x[20][22]=[0‥10]) :: init: true :: relation: Empty MDD
21.04/7.71	c 01:57:11.294 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33686. 'extension(x[22][22]=[0‥10]) :: init: true :: relation: Empty MDD
21.04/7.71	c 01:57:11.295 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33700. 'extension(x[20][32]=[0‥10]) :: init: true :: relation: Empty MDD
21.04/7.71	c 01:57:11.295 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33702. 'extension(x[22][32]=[0‥10]) :: init: true :: relation: Empty MDD
21.04/7.71	c 01:57:11.295 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33716. 'extension(x[21][7]=[0‥10]) :: init: true :: relation: Empty MDD
21.04/7.71	c 01:57:11.295 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33718. 'extension(x[23][7]=[0‥10]) :: init: true :: relation: Empty MDD
21.04/7.71	c 01:57:11.296 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33732. 'extension(x[21][20]=[0‥10]) :: init: true :: relation: Empty MDD
21.04/7.71	c 01:57:11.296 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33738. 'extension(x[21][23]=[0‥10]) :: init: true :: relation: Empty MDD
21.04/7.71	c 01:57:11.296 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33740. 'extension(x[23][23]=[0‥10]) :: init: true :: relation: Empty MDD
21.04/7.71	c 01:57:11.297 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33754. 'extension(x[22][8]=[0‥10]) :: init: true :: relation: Empty MDD
21.04/7.72	c 01:57:11.297 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33756. 'extension(x[24][8]=[0‥10]) :: init: true :: relation: Empty MDD
21.04/7.72	c 01:57:11.297 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33770. 'extension(x[24][20]=[0‥10]) :: init: true :: relation: Empty MDD
21.04/7.72	c 01:57:11.298 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33784. 'extension(x[22][21]=[0‥10]) :: init: true :: relation: Empty MDD
21.04/7.72	c 01:57:11.298 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33790. 'extension(x[22][31]=[0‥10]) :: init: true :: relation: Empty MDD
21.04/7.72	c 01:57:11.298 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33796. 'extension(x[22][41]=[0‥10]) :: init: true :: relation: Empty MDD
21.04/7.72	c 01:57:11.299 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33798. 'extension(x[24][41]=[0‥10]) :: init: true :: relation: Empty MDD
21.04/7.72	c 01:57:11.299 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33814. 'extension(x[23][0]=[0‥10]) :: init: true :: relation: Empty MDD
21.04/7.72	c 01:57:11.299 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33816. 'extension(x[25][0]=[0‥10]) :: init: true :: relation: Empty MDD
21.04/7.72	c 01:57:11.300 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33830. 'extension(x[23][11]=[0‥10]) :: init: true :: relation: Empty MDD
21.04/7.72	c 01:57:11.300 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33836. 'extension(x[25][21]=[0‥10]) :: init: true :: relation: Empty MDD
21.04/7.72	c 01:57:11.301 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33850. 'extension(x[23][30]=[0‥10]) :: init: true :: relation: Empty MDD
21.04/7.72	c 01:57:11.301 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33856. 'extension(x[25][31]=[0‥10]) :: init: true :: relation: Empty MDD
21.04/7.72	c 01:57:11.301 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33870. 'extension(x[23][37]=[0‥10]) :: init: true :: relation: Empty MDD
21.04/7.72	c 01:57:11.302 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33872. 'extension(x[25][37]=[0‥10]) :: init: true :: relation: Empty MDD
21.04/7.72	c 01:57:11.302 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33886. 'extension(x[23][57]=[0‥10]) :: init: true :: relation: Empty MDD
21.04/7.72	c 01:57:11.302 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33892. 'extension(x[24][1]=[0‥10]) :: init: true :: relation: Empty MDD
21.04/7.72	c 01:57:11.303 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33898. 'extension(x[26][11]=[0‥10]) :: init: true :: relation: Empty MDD
21.04/7.72	c 01:57:11.303 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33912. 'extension(x[24][12]=[0‥10]) :: init: true :: relation: Empty MDD
21.04/7.72	c 01:57:11.303 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33918. 'extension(x[24][14]=[0‥10]) :: init: true :: relation: Empty MDD
21.04/7.72	c 01:57:11.303 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33920. 'extension(x[26][14]=[0‥10]) :: init: true :: relation: Empty MDD
21.04/7.72	c 01:57:11.304 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33934. 'extension(x[26][30]=[0‥10]) :: init: true :: relation: Empty MDD
21.04/7.72	c 01:57:11.304 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33948. 'extension(x[24][34]=[0‥10]) :: init: true :: relation: Empty MDD
21.04/7.72	c 01:57:11.304 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33950. 'extension(x[26][34]=[0‥10]) :: init: true :: relation: Empty MDD
21.04/7.72	c 01:57:11.305 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33964. 'extension(x[26][57]=[0‥10]) :: init: true :: relation: Empty MDD
21.04/7.72	c 01:57:11.305 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33978. 'extension(wk[1][3]=[0‥1]) :: init: true :: relation: Empty MDD
21.04/7.72	c 01:57:11.305 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33980. 'extension(x[27][1]=[0‥10]) :: init: true :: relation: Empty MDD
21.04/7.72	c 01:57:11.306 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33992. 'extension(wk[12][3]=[0‥1]) :: init: true :: relation: Empty MDD
21.04/7.72	c 01:57:11.306 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33994. 'extension(x[27][12]=[0‥10]) :: init: true :: relation: Empty MDD
21.04/7.72	c 01:57:11.306 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34006. 'extension(wk[22][3]=[0‥1]) :: init: true :: relation: Empty MDD
21.04/7.72	c 01:57:11.306 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34008. 'extension(x[25][22]=[0‥10]) :: init: true :: relation: Empty MDD
21.04/7.72	c 01:57:11.307 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34010. 'extension(x[27][22]=[0‥10]) :: init: true :: relation: Empty MDD
21.04/7.73	c 01:57:11.307 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34022. 'extension(wk[58][3]=[0‥1]) :: init: true :: relation: Empty MDD
21.04/7.73	c 01:57:11.307 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34024. 'extension(x[25][58]=[0‥10]) :: init: true :: relation: Empty MDD
21.04/7.73	c 01:57:11.307 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34026. 'extension(x[27][58]=[0‥10]) :: init: true :: relation: Empty MDD
21.04/7.73	c 01:57:11.308 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34038. 'extension(wk[6][3]=[0‥1]) :: init: true :: relation: Empty MDD
21.04/7.73	c 01:57:11.308 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34040. 'extension(x[26][6]=[0‥10]) :: init: true :: relation: Empty MDD
21.04/7.73	c 01:57:11.308 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34042. 'extension(x[26][6]=[0‥10]) :: init: true :: relation: Empty MDD
21.04/7.73	c 01:57:11.308 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34048. 'extension(wk[13][3]=[0‥1]) :: init: true :: relation: Empty MDD
21.04/7.73	c 01:57:11.308 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34050. 'extension(x[26][13]=[0‥10]) :: init: true :: relation: Empty MDD
21.04/7.73	c 01:57:11.308 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34052. 'extension(x[26][13]=[0‥10]) :: init: true :: relation: Empty MDD
2520.02/2419.80	Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost
2520.02/2419.80		at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:24)
2520.02/2419.80		at concrete.heuristic.value.BestCost.$anonfun$select$2(BestCost.scala:53)
2520.02/2419.80		at bitvectors.SmallBitVector.filter(SmallBitVector.scala:142)
2520.02/2419.80		at bitvectors.SmallBitVector.filter(SmallBitVector.scala:5)
2520.02/2419.80		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:126)
2520.02/2419.80		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:8)
2520.02/2419.80		at concrete.heuristic.value.BestCost.select(BestCost.scala:53)
2520.02/2419.80		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:102)
2520.02/2419.80		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:102)
2520.02/2419.80		at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.02/2419.80		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:102)
2520.02/2419.81		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:102)
2520.02/2419.81		at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.02/2419.81		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:102)
2520.02/2419.81		at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:108)
2520.02/2419.81		at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42)
2520.02/2419.81		at scala.Option.map(Option.scala:146)
2520.02/2419.81		at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40)
2520.02/2419.81		at concrete.MAC.mac(MAC.scala:203)
2520.02/2419.81		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.02/2419.81		at scala.util.Try$.apply(Try.scala:209)
2520.02/2419.81		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.02/2419.81		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.02/2419.81		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.02/2419.81		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.02/2419.81		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.02/2419.81		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.02/2419.81		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.02/2419.81		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.02/2419.81		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.02/2419.81		at concrete.MAC.oneRun(MAC.scala:253)
2520.02/2419.81		at concrete.MAC.nextSolution(MAC.scala:272)
2520.02/2419.81		at concrete.MAC.$anonfun$nextSolution$5(MAC.scala:336)
2520.02/2419.81		at concrete.ProblemState.map(ProblemState.scala:221)
2520.02/2419.81		at concrete.ProblemState.map(ProblemState.scala:204)
2520.02/2419.81		at concrete.MAC.nextSolution(MAC.scala:334)
2520.02/2419.81		at concrete.Solver.hasNext(Solver.scala:166)
2520.02/2419.81		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.02/2419.81		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.02/2419.81		at concrete.Solver.foreach(Solver.scala:68)
2520.02/2419.81		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.02/2419.81		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.02/2419.81		at scala.util.Success.map(Try.scala:209)
2520.02/2419.81		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.02/2419.81		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.02/2419.81		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.02/2419.81		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.02/2419.81		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.02/2419.81		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.02/2419.81		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.02/2419.81		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.02/2419.81		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.02/2419.81		at scala.collection.immutable.List.foreach(List.scala:389)
2520.02/2419.81		at scala.App.main(App.scala:76)
2520.02/2419.81		at scala.App.main$(App.scala:74)
2520.02/2419.81		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.02/2419.81		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.02/2419.81	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 (6988 MiB free)
  memory of node 1: 16384 MiB (14042 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293014-1532303823/watcher-4293014-1532303823 -o /tmp/evaluation-result-4293014-1532303823/solver-4293014-1532303823 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532297041-4850 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=314162699 -superng HOME/instance-4293014-1532303823.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=6218, runsolver pid=6215
Current StackSize limit: 8192 KiB


[startup+0.100058 s]*
/proc/loadavg: 1.37 1.46 1.56 3/206 6275
/proc/meminfo: memFree=21525932/32770624 swapFree=67108860/67108860
[pid=6218] ppid=6215 vsize=9972712 memory=18592 CPUtime=0.08 cores=1,3,5,7
/proc/6218/stat : 6218 (java) S 6215 6218 4818 0 -1 1077944320 4292 12884 0 0 1 0 5 2 20 0 6 0 47945572 10212057088 4648 33554432000 4194304 4196468 140733595555424 140733595537968 140422928289527 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
/proc/6218/statm: 2493178 4648 1934 1 0 2481616 0
[pid=6218/tid=6271] ppid=6215 vsize=9988792 memory=-8384983170502934469 CPUtime=0.08 cores=1,3,5,7
/proc/6218/task/6271/stat : 6271 (java) R 6215 6218 4818 0 -1 4202560 2145 12884 0 0 1 0 5 2 20 0 6 0 47945581 10228523008 4714 33554432000 4194304 4196468 140733595555424 140422900126288 140422913802237 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6272] ppid=6215 vsize=9988792 memory=8257237230052613020 CPUtime=0.07 cores=1,3,5,7
/proc/6218/task/6272/stat : 6272 (java) S 6215 6218 4818 0 -1 1077944384 2 12884 0 0 0 0 5 2 20 0 6 0 47945582 10228523008 4714 33554432000 4194304 4196468 140733595555424 140422932532112 140422928299733 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6273] ppid=6215 vsize=9988792 memory=140506315654784 CPUtime=0.07 cores=1,3,5,7
/proc/6218/task/6273/stat : 6273 (java) S 6215 6218 4818 0 -1 1077944384 1 12884 0 0 0 0 5 2 20 0 6 0 47945582 10228523008 4714 33554432000 4194304 4196468 140733595555424 140422820805392 140422928299733 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6274] ppid=6215 vsize=9989820 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6218/task/6274/stat : 6274 (java) S 6215 6218 4818 0 -1 1077944384 2 12884 0 0 0 0 5 2 20 0 6 0 47945582 10229575680 4714 33554432000 4194304 4196468 140733595555424 140422819753104 140422928299733 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6275] ppid=6215 vsize=9989820 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/6218/task/6275/stat : 6275 (java) S 6215 6218 4818 0 -1 1077944384 1 12884 0 0 0 0 5 2 20 0 7 0 47945582 10229575680 4714 33554432000 4194304 4196468 140733595555424 140422818700304 140422928299733 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6276] ppid=6215 vsize=10055356 memory=140506315654784 CPUtime=0.07 cores=1,3,5,7
/proc/6218/task/6276/stat : 6276 (java) S 6215 6218 4818 0 -1 1077944384 2 12884 0 0 0 0 5 2 20 0 7 0 47945583 10296684544 4714 33554432000 4194304 4196468 140733595555424 140422387169392 140422928300674 0 0 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18592 KiB

[startup+0.210012 s]*
/proc/loadavg: 1.42 1.47 1.56 3/215 6284
/proc/meminfo: memFree=21502752/32770624 swapFree=67108860/67108860
[pid=6218] ppid=6215 vsize=10818904 memory=48972 CPUtime=0.26 cores=1,3,5,7
/proc/6218/stat : 6218 (java) S 6215 6218 4818 0 -1 1077944320 9144 12884 0 0 17 2 5 2 20 0 15 0 47945572 11078557696 12243 33554432000 4194304 4196468 140733595555424 140733595537968 140422928289527 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
/proc/6218/statm: 2704726 12243 2937 1 0 2667149 0
[pid=6218/tid=6271] ppid=6215 vsize=10818904 memory=7022364594140610616 CPUtime=0.18 cores=1,3,5,7
/proc/6218/task/6271/stat : 6271 (java) R 6215 6218 4818 0 -1 4202560 5792 12884 0 0 10 1 5 2 20 0 15 0 47945581 11078557696 12243 33554432000 4194304 4196468 140733595555424 140422900114336 140422912370014 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6272] ppid=6215 vsize=10818904 memory=342 CPUtime=0.07 cores=1,3,5,7
/proc/6218/task/6272/stat : 6272 (java) S 6215 6218 4818 0 -1 1077944384 2 12884 0 0 0 0 5 2 20 0 15 0 47945582 11078557696 12243 33554432000 4194304 4196468 140733595555424 140422932532112 140422928299733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6273] ppid=6215 vsize=10818904 memory=140506315664093 CPUtime=0.07 cores=1,3,5,7
/proc/6218/task/6273/stat : 6273 (java) S 6215 6218 4818 0 -1 1077944384 1 12884 0 0 0 0 5 2 20 0 15 0 47945582 11078557696 12243 33554432000 4194304 4196468 140733595555424 140422820805392 140422928299733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6274] ppid=6215 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6218/task/6274/stat : 6274 (java) S 6215 6218 4818 0 -1 1077944384 2 12884 0 0 0 0 5 2 20 0 15 0 47945582 11078557696 12243 33554432000 4194304 4196468 140733595555424 140422819753104 140422928299733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6275] ppid=6215 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/6218/task/6275/stat : 6275 (java) S 6215 6218 4818 0 -1 1077944384 1 12884 0 0 0 0 5 2 20 0 15 0 47945582 11078557696 12243 33554432000 4194304 4196468 140733595555424 140422818700304 140422928299733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6276] ppid=6215 vsize=10818904 memory=140506315654784 CPUtime=0.07 cores=1,3,5,7
/proc/6218/task/6276/stat : 6276 (java) S 6215 6218 4818 0 -1 1077944384 2 12884 0 0 0 0 5 2 20 0 15 0 47945583 11078557696 12243 33554432000 4194304 4196468 140733595555424 140422387169392 140422928300674 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6277] ppid=6215 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/6218/task/6277/stat : 6277 (java) S 6215 6218 4818 0 -1 1077944384 33 12884 0 0 0 0 5 2 20 0 15 0 47945584 11078557696 12243 33554432000 4194304 4196468 140733595555424 140422386115360 140422928299733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6278] ppid=6215 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6218/task/6278/stat : 6278 (java) S 6215 6218 4818 0 -1 1077944384 1 12884 0 0 0 0 5 2 20 0 15 0 47945584 11078557696 12243 33554432000 4194304 4196468 140733595555424 140422278014064 140422928299733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6279] ppid=6215 vsize=10819044 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6218/task/6279/stat : 6279 (java) S 6215 6218 4818 0 -1 1077944384 2 12884 0 0 0 0 5 2 20 0 15 0 47945587 11078701056 12243 33554432000 4194304 4196468 140733595555424 140421674035280 140422928308123 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6280] ppid=6215 vsize=10819044 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6218/task/6280/stat : 6280 (java) S 6215 6218 4818 0 -1 1077944384 518 12884 0 0 1 0 5 2 20 0 15 0 47945587 11078701056 12243 33554432000 4194304 4196468 140733595555424 140422352558704 140422928300674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6281] ppid=6215 vsize=10819044 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/6218/task/6281/stat : 6281 (java) S 6215 6218 4818 0 -1 1077944384 56 12884 0 0 0 0 5 2 20 0 15 0 47945587 11078701056 12243 33554432000 4194304 4196468 140733595555424 140422351505904 140422928300674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6282] ppid=6215 vsize=10819044 memory=140506315654784 CPUtime=0.1 cores=1,3,5,7
/proc/6218/task/6282/stat : 6282 (java) S 6215 6218 4818 0 -1 1077944384 549 12884 0 0 3 0 5 2 20 0 15 0 47945587 11078701056 12243 33554432000 4194304 4196468 140733595555424 140422350453616 140422928300674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6283] ppid=6215 vsize=10819044 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/6218/task/6283/stat : 6283 (java) S 6215 6218 4818 0 -1 1077944384 3 12884 0 0 0 0 5 2 20 0 15 0 47945587 11078701056 12243 33554432000 4194304 4196468 140733595555424 140421204274144 140422928299733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6284] ppid=6215 vsize=10819044 memory=140506315654784 CPUtime=0.07 cores=1,3,5,7
/proc/6218/task/6284/stat : 6284 (java) S 6215 6218 4818 0 -1 1077944384 1 12884 0 0 0 0 5 2 20 0 15 0 47945587 11078701056 12243 33554432000 4194304 4196468 140733595555424 140422349400496 140422928300674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 48972 KiB

[startup+0.310307 s]*
/proc/loadavg: 1.42 1.47 1.56 3/215 6284
/proc/meminfo: memFree=21491092/32770624 swapFree=67108860/67108860
[pid=6218] ppid=6215 vsize=10819352 memory=56848 CPUtime=0.38 cores=1,3,5,7
/proc/6218/stat : 6218 (java) S 6215 6218 4818 0 -1 1077944320 10344 12884 0 0 29 2 5 2 20 0 15 0 47945572 11079016448 14212 33554432000 4194304 4196468 140733595555424 140733595537968 140422928289527 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
/proc/6218/statm: 2704838 14212 3056 1 0 2667149 0
[pid=6218/tid=6271] ppid=6215 vsize=10819352 memory=8112282956445269571 CPUtime=0.28 cores=1,3,5,7
/proc/6218/task/6271/stat : 6271 (java) R 6215 6218 4818 0 -1 4202560 6971 12884 0 0 19 2 5 2 20 0 15 0 47945581 11079016448 14212 33554432000 4194304 4196468 140733595555424 140422900101536 140422909853087 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6272] ppid=6215 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6218/task/6272/stat : 6272 (java) S 6215 6218 4818 0 -1 1077944384 2 12884 0 0 0 0 5 2 20 0 15 0 47945582 11079016448 14212 33554432000 4194304 4196468 140733595555424 140422932532112 140422928299733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6273] ppid=6215 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6218/task/6273/stat : 6273 (java) S 6215 6218 4818 0 -1 1077944384 1 12884 0 0 0 0 5 2 20 0 15 0 47945582 11079016448 14212 33554432000 4194304 4196468 140733595555424 140422820805392 140422928299733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6274] ppid=6215 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6218/task/6274/stat : 6274 (java) S 6215 6218 4818 0 -1 1077944384 2 12884 0 0 0 0 5 2 20 0 15 0 47945582 11079016448 14212 33554432000 4194304 4196468 140733595555424 140422819753104 140422928299733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6275] ppid=6215 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6218/task/6275/stat : 6275 (java) S 6215 6218 4818 0 -1 1077944384 1 12884 0 0 0 0 5 2 20 0 15 0 47945582 11079016448 14212 33554432000 4194304 4196468 140733595555424 140422818700304 140422928299733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6276] ppid=6215 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6218/task/6276/stat : 6276 (java) S 6215 6218 4818 0 -1 1077944384 2 12884 0 0 0 0 5 2 20 0 15 0 47945583 11079016448 14212 33554432000 4194304 4196468 140733595555424 140422387169392 140422928300674 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6277] ppid=6215 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6218/task/6277/stat : 6277 (java) S 6215 6218 4818 0 -1 1077944384 33 12884 0 0 0 0 5 2 20 0 15 0 47945584 11079016448 14212 33554432000 4194304 4196468 140733595555424 140422386115360 140422928299733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6278] ppid=6215 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/6218/task/6278/stat : 6278 (java) S 6215 6218 4818 0 -1 1077944384 1 12884 0 0 0 0 5 2 20 0 15 0 47945584 11079016448 14212 33554432000 4194304 4196468 140733595555424 140422278014064 140422928299733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6279] ppid=6215 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/6218/task/6279/stat : 6279 (java) S 6215 6218 4818 0 -1 1077944384 2 12884 0 0 0 0 5 2 20 0 15 0 47945587 11079016448 14212 33554432000 4194304 4196468 140733595555424 140421674035280 140422928308123 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6280] ppid=6215 vsize=10819352 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/6218/task/6280/stat : 6280 (java) S 6215 6218 4818 0 -1 1077944384 519 12884 0 0 2 0 5 2 20 0 15 0 47945587 11079016448 14212 33554432000 4194304 4196468 140733595555424 140422352558704 140422928300674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6281] ppid=6215 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/6218/task/6281/stat : 6281 (java) S 6215 6218 4818 0 -1 1077944384 56 12884 0 0 1 0 5 2 20 0 15 0 47945587 11079016448 14212 33554432000 4194304 4196468 140733595555424 140422351505904 140422928300674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6282] ppid=6215 vsize=10819352 memory=140506315654784 CPUtime=0.12 cores=1,3,5,7
/proc/6218/task/6282/stat : 6282 (java) S 6215 6218 4818 0 -1 1077944384 560 12884 0 0 5 0 5 2 20 0 15 0 47945587 11079016448 14212 33554432000 4194304 4196468 140733595555424 140422350453616 140422928300674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6283] ppid=6215 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/6218/task/6283/stat : 6283 (java) S 6215 6218 4818 0 -1 1077944384 3 12884 0 0 0 0 5 2 20 0 15 0 47945587 11079016448 14212 33554432000 4194304 4196468 140733595555424 140421204274144 140422928299733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6284] ppid=6215 vsize=10819352 memory=140506315654784 CPUtime=0.07 cores=1,3,5,7
/proc/6218/task/6284/stat : 6284 (java) S 6215 6218 4818 0 -1 1077944384 1 12884 0 0 0 0 5 2 20 0 15 0 47945587 11079016448 14212 33554432000 4194304 4196468 140733595555424 140422349400496 140422928300674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 56848 KiB

[startup+0.700766 s]
/proc/loadavg: 1.42 1.47 1.56 4/215 6284
/proc/meminfo: memFree=21482408/32770624 swapFree=67108860/67108860
[pid=6218] ppid=6215 vsize=10819352 memory=89276 CPUtime=0.98 cores=1,3,5,7
/proc/6218/stat : 6218 (java) S 6215 6218 4818 0 -1 1077944320 16397 12884 0 0 87 4 5 2 20 0 15 0 47945572 11079016448 22319 33554432000 4194304 4196468 140733595555424 140733595537968 140422928289527 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
/proc/6218/statm: 2704838 22319 3239 1 0 2667149 0
[pid=6218/tid=6271] ppid=6215 vsize=10819352 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/6218/task/6271/stat : 6271 (java) R 6215 6218 4818 0 -1 4202560 11966 12884 0 0 57 2 5 2 20 0 15 0 47945581 11079016448 22319 33554432000 4194304 4196468 140733595555424 140422900110352 140422908565408 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6272] ppid=6215 vsize=10819352 memory=55 CPUtime=0.07 cores=1,3,5,7
/proc/6218/task/6272/stat : 6272 (java) S 6215 6218 4818 0 -1 1077944384 2 12884 0 0 0 0 5 2 20 0 15 0 47945582 11079016448 22319 33554432000 4194304 4196468 140733595555424 140422932532112 140422928299733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6273] ppid=6215 vsize=10819352 memory=1 CPUtime=0.07 cores=1,3,5,7
/proc/6218/task/6273/stat : 6273 (java) S 6215 6218 4818 0 -1 1077944384 1 12884 0 0 0 0 5 2 20 0 15 0 47945582 11079016448 22319 33554432000 4194304 4196468 140733595555424 140422820805392 140422928299733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6274] ppid=6215 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6218/task/6274/stat : 6274 (java) S 6215 6218 4818 0 -1 1077944384 2 12884 0 0 0 0 5 2 20 0 15 0 47945582 11079016448 22319 33554432000 4194304 4196468 140733595555424 140422819753104 140422928299733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6275] ppid=6215 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6218/task/6275/stat : 6275 (java) S 6215 6218 4818 0 -1 1077944384 1 12884 0 0 0 0 5 2 20 0 15 0 47945582 11079016448 22319 33554432000 4194304 4196468 140733595555424 140422818700304 140422928299733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6276] ppid=6215 vsize=10819352 memory=140509855089223 CPUtime=0.07 cores=1,3,5,7
/proc/6218/task/6276/stat : 6276 (java) S 6215 6218 4818 0 -1 1077944384 5 12884 0 0 0 0 5 2 20 0 15 0 47945583 11079016448 22319 33554432000 4194304 4196468 140733595555424 140422387169392 140422928300674 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6277] ppid=6215 vsize=10819352 memory=140509855089243 CPUtime=0.07 cores=1,3,5,7
/proc/6218/task/6277/stat : 6277 (java) S 6215 6218 4818 0 -1 1077944384 33 12884 0 0 0 0 5 2 20 0 15 0 47945584 11079016448 22319 33554432000 4194304 4196468 140733595555424 140422386115360 140422928299733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6278] ppid=6215 vsize=10819352 memory=140509855089244 CPUtime=0.07 cores=1,3,5,7
/proc/6218/task/6278/stat : 6278 (java) S 6215 6218 4818 0 -1 1077944384 1 12884 0 0 0 0 5 2 20 0 15 0 47945584 11079016448 22319 33554432000 4194304 4196468 140733595555424 140422278014064 140422928299733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6279] ppid=6215 vsize=10819352 memory=140509855089248 CPUtime=0.07 cores=1,3,5,7
/proc/6218/task/6279/stat : 6279 (java) S 6215 6218 4818 0 -1 1077944384 2 12884 0 0 0 0 5 2 20 0 15 0 47945587 11079016448 22319 33554432000 4194304 4196468 140733595555424 140421674035280 140422928308123 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6280] ppid=6215 vsize=10819352 memory=140509855089257 CPUtime=0.17 cores=1,3,5,7
/proc/6218/task/6280/stat : 6280 (java) S 6215 6218 4818 0 -1 1077944384 1131 12884 0 0 10 0 5 2 20 0 15 0 47945587 11079016448 22319 33554432000 4194304 4196468 140733595555424 140422352558704 140422928300674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6281] ppid=6215 vsize=10819352 memory=140509855089260 CPUtime=0.13 cores=1,3,5,7
/proc/6218/task/6281/stat : 6281 (java) S 6215 6218 4818 0 -1 1077944384 452 12884 0 0 6 0 5 2 20 0 15 0 47945587 11079016448 22319 33554432000 4194304 4196468 140733595555424 140422351505904 140422928300674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6282] ppid=6215 vsize=10819352 memory=143095425401486 CPUtime=0.19 cores=1,3,5,7
/proc/6218/task/6282/stat : 6282 (java) S 6215 6218 4818 0 -1 1077944384 607 12884 0 0 12 0 5 2 20 0 15 0 47945587 11079016448 22319 33554432000 4194304 4196468 140733595555424 140422350453616 140422928300674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6283] ppid=6215 vsize=10819352 memory=18464 CPUtime=0.07 cores=1,3,5,7
/proc/6218/task/6283/stat : 6283 (java) S 6215 6218 4818 0 -1 1077944384 3 12884 0 0 0 0 5 2 20 0 15 0 47945587 11079016448 22319 33554432000 4194304 4196468 140733595555424 140421204274144 140422928299733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6284] ppid=6215 vsize=10819352 memory=10444 CPUtime=0.07 cores=1,3,5,7
/proc/6218/task/6284/stat : 6284 (java) S 6215 6218 4818 0 -1 1077944384 1 12884 0 0 0 0 5 2 20 0 15 0 47945587 11079016448 22319 33554432000 4194304 4196468 140733595555424 140422349400496 140422928300674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 89276 KiB

[startup+1.50103 s]
/proc/loadavg: 1.42 1.47 1.56 4/215 6284
/proc/meminfo: memFree=21436436/32770624 swapFree=67108860/67108860
[pid=6218] ppid=6215 vsize=10828108 memory=181320 CPUtime=3.13 cores=1,3,5,7
/proc/6218/stat : 6218 (java) S 6215 6218 4818 0 -1 1077944320 22904 12884 0 0 299 7 5 2 20 0 15 0 47945572 11087982592 45330 33554432000 4194304 4196468 140733595555424 140733595537968 140422928289527 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
/proc/6218/statm: 2707027 45330 3458 1 0 2668685 0
[pid=6218/tid=6271] ppid=6215 vsize=10828108 memory=10799 CPUtime=1.46 cores=1,3,5,7
/proc/6218/task/6271/stat : 6271 (java) R 6215 6218 4818 0 -1 4202560 14912 12884 0 0 134 5 5 2 20 0 15 0 47945581 11087982592 45330 33554432000 4194304 4196468 140733595555424 140422900120720 140422501021272 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6272] ppid=6215 vsize=10828108 memory=25313 CPUtime=0.07 cores=1,3,5,7
/proc/6218/task/6272/stat : 6272 (java) S 6215 6218 4818 0 -1 1077944384 2 12884 0 0 0 0 5 2 20 0 15 0 47945582 11087982592 45330 33554432000 4194304 4196468 140733595555424 140422932532112 140422928299733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6273] ppid=6215 vsize=10828108 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6218/task/6273/stat : 6273 (java) S 6215 6218 4818 0 -1 1077944384 1 12884 0 0 0 0 5 2 20 0 15 0 47945582 11087982592 45330 33554432000 4194304 4196468 140733595555424 140422820805392 140422928299733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6274] ppid=6215 vsize=10828108 memory=321013415751723303 CPUtime=0.07 cores=1,3,5,7
/proc/6218/task/6274/stat : 6274 (java) S 6215 6218 4818 0 -1 1077944384 2 12884 0 0 0 0 5 2 20 0 15 0 47945582 11087982592 45330 33554432000 4194304 4196468 140733595555424 140422819753104 140422928299733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6275] ppid=6215 vsize=10828108 memory=288293281199310633 CPUtime=0.07 cores=1,3,5,7
/proc/6218/task/6275/stat : 6275 (java) S 6215 6218 4818 0 -1 1077944384 1 12884 0 0 0 0 5 2 20 0 15 0 47945582 11087982592 45330 33554432000 4194304 4196468 140733595555424 140422818700304 140422928299733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6276] ppid=6215 vsize=10828108 memory=6656426216303648864 CPUtime=0.07 cores=1,3,5,7
/proc/6218/task/6276/stat : 6276 (java) S 6215 6218 4818 0 -1 1077944384 12 12884 0 0 0 0 5 2 20 0 15 0 47945583 11087982592 45330 33554432000 4194304 4196468 140733595555424 140422387169392 140422928300674 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6277] ppid=6215 vsize=10828108 memory=6944656575208382560 CPUtime=0.07 cores=1,3,5,7
/proc/6218/task/6277/stat : 6277 (java) S 6215 6218 4818 0 -1 1077944384 33 12884 0 0 0 0 5 2 20 0 15 0 47945584 11087982592 45330 33554432000 4194304 4196468 140733595555424 140422386115360 140422928299733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6278] ppid=6215 vsize=10828108 memory=-2672971631320983069 CPUtime=0.07 cores=1,3,5,7
/proc/6218/task/6278/stat : 6278 (java) S 6215 6218 4818 0 -1 1077944384 1 12884 0 0 0 0 5 2 20 0 15 0 47945584 11087982592 45330 33554432000 4194304 4196468 140733595555424 140422278014064 140422928299733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6279] ppid=6215 vsize=10828108 memory=-7606742920825102191 CPUtime=0.07 cores=1,3,5,7
/proc/6218/task/6279/stat : 6279 (java) S 6215 6218 4818 0 -1 1077944384 2 12884 0 0 0 0 5 2 20 0 15 0 47945587 11087982592 45330 33554432000 4194304 4196468 140733595555424 140421674035280 140422928308123 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6280] ppid=6215 vsize=10828108 memory=-3472574944341025154 CPUtime=0.66 cores=1,3,5,7
/proc/6218/task/6280/stat : 6280 (java) R 6215 6218 4818 0 -1 4202560 1973 12884 0 0 59 0 5 2 20 0 15 0 47945587 11087982592 45330 33554432000 4194304 4196468 140733595555424 140422352546704 140422907535998 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6281] ppid=6215 vsize=10828108 memory=0 CPUtime=0.62 cores=1,3,5,7
/proc/6218/task/6281/stat : 6281 (java) R 6215 6218 4818 0 -1 4202560 2076 12884 0 0 55 0 5 2 20 0 15 0 47945587 11087982592 45330 33554432000 4194304 4196468 140733595555424 140422351496848 140422920578976 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6282] ppid=6215 vsize=10828108 memory=-2892745056951965031 CPUtime=0.57 cores=1,3,5,7
/proc/6218/task/6282/stat : 6282 (java) S 6215 6218 4818 0 -1 1077944384 1693 12884 0 0 50 0 5 2 20 0 15 0 47945587 11087982592 45330 33554432000 4194304 4196468 140733595555424 140422350453616 140422928300674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6283] ppid=6215 vsize=10828108 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6218/task/6283/stat : 6283 (java) S 6215 6218 4818 0 -1 1077944384 3 12884 0 0 0 0 5 2 20 0 15 0 47945587 11087982592 45330 33554432000 4194304 4196468 140733595555424 140421204274144 140422928299733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6284] ppid=6215 vsize=10828108 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6218/task/6284/stat : 6284 (java) S 6215 6218 4818 0 -1 1077944384 3 12884 0 0 0 0 5 2 20 0 15 0 47945587 11087982592 45330 33554432000 4194304 4196468 140733595555424 140422349400496 140422928300674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0

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

/proc/6218/task/6271/stat : 6271 (java) R 6215 6218 4818 0 -1 4202560 310602 12884 0 0 223941 67 5 2 20 0 15 0 47945581 11113168896 1446096 33554432000 4194304 4196468 140733595555424 140422900124016 140422506964950 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6272] ppid=6215 vsize=10852704 memory=5782336 CPUtime=21.11 cores=1,3,5,7
/proc/6218/task/6272/stat : 6272 (java) S 6215 6218 4818 0 -1 1077944384 58528 12884 0 0 1993 111 5 2 20 0 15 0 47945582 11113168896 1446096 33554432000 4194304 4196468 140733595555424 140422932532112 140422928299733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6273] ppid=6215 vsize=10852704 memory=5782336 CPUtime=21.08 cores=1,3,5,7
/proc/6218/task/6273/stat : 6273 (java) S 6215 6218 4818 0 -1 1077944384 59548 12884 0 0 1989 112 5 2 20 0 15 0 47945582 11113168896 1446096 33554432000 4194304 4196468 140733595555424 140422820805392 140422928299733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6274] ppid=6215 vsize=10852704 memory=5782336 CPUtime=21.06 cores=1,3,5,7
/proc/6218/task/6274/stat : 6274 (java) S 6215 6218 4818 0 -1 1077944384 59906 12884 0 0 1990 109 5 2 20 0 15 0 47945582 11113168896 1446096 33554432000 4194304 4196468 140733595555424 140422819753104 140422928299733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6275] ppid=6215 vsize=10852704 memory=3472328296227679313 CPUtime=21.14 cores=1,3,5,7
/proc/6218/task/6275/stat : 6275 (java) S 6215 6218 4818 0 -1 1077944384 68342 12884 0 0 1996 111 5 2 20 0 15 0 47945582 11113168896 1446096 33554432000 4194304 4196468 140733595555424 140422818700304 140422928299733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6276] ppid=6215 vsize=10852704 memory=5782336 CPUtime=0.81 cores=1,3,5,7
/proc/6218/task/6276/stat : 6276 (java) S 6215 6218 4818 0 -1 1077944384 52109 12884 0 0 66 8 5 2 20 0 15 0 47945583 11113168896 1446096 33554432000 4194304 4196468 140733595555424 140422387169392 140422928300674 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6277] ppid=6215 vsize=10852704 memory=5784384 CPUtime=0.07 cores=1,3,5,7
/proc/6218/task/6277/stat : 6277 (java) S 6215 6218 4818 0 -1 1077944384 50 12884 0 0 0 0 5 2 20 0 15 0 47945584 11113168896 1446096 33554432000 4194304 4196468 140733595555424 140422386115424 140422928299733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6278] ppid=6215 vsize=10852704 memory=5784384 CPUtime=0.07 cores=1,3,5,7
/proc/6218/task/6278/stat : 6278 (java) S 6215 6218 4818 0 -1 1077944384 7 12884 0 0 0 0 5 2 20 0 15 0 47945584 11113168896 1446096 33554432000 4194304 4196468 140733595555424 140422278014080 140422928299733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6279] ppid=6215 vsize=10852704 memory=5782336 CPUtime=0.07 cores=1,3,5,7
/proc/6218/task/6279/stat : 6279 (java) S 6215 6218 4818 0 -1 1077944384 2 12884 0 0 0 0 5 2 20 0 15 0 47945587 11113168896 1446096 33554432000 4194304 4196468 140733595555424 140421674035280 140422928308123 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6280] ppid=6215 vsize=10852704 memory=5784384 CPUtime=15.26 cores=1,3,5,7
/proc/6218/task/6280/stat : 6280 (java) S 6215 6218 4818 0 -1 1077944384 97715 12884 0 0 1508 11 5 2 20 0 15 0 47945587 11113168896 1446096 33554432000 4194304 4196468 140733595555424 140422352558704 140422928300674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6281] ppid=6215 vsize=10852704 memory=5782336 CPUtime=15.64 cores=1,3,5,7
/proc/6218/task/6281/stat : 6281 (java) S 6215 6218 4818 0 -1 1077944384 106578 12884 0 0 1547 10 5 2 20 0 15 0 47945587 11113168896 1446096 33554432000 4194304 4196468 140733595555424 140422351505904 140422928300674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6282] ppid=6215 vsize=10852704 memory=16032 CPUtime=5.29 cores=1,3,5,7
/proc/6218/task/6282/stat : 6282 (java) S 6215 6218 4818 0 -1 1077944384 102619 12884 0 0 508 14 5 2 20 0 15 0 47945587 11113168896 1446096 33554432000 4194304 4196468 140733595555424 140422350453616 140422928300674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6283] ppid=6215 vsize=10852704 memory=1292 CPUtime=0.07 cores=1,3,5,7
/proc/6218/task/6283/stat : 6283 (java) S 6215 6218 4818 0 -1 1077944384 3 12884 0 0 0 0 5 2 20 0 15 0 47945587 11113168896 1446096 33554432000 4194304 4196468 140733595555424 140421204274144 140422928299733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6284] ppid=6215 vsize=10852704 memory=5782336 CPUtime=1.21 cores=1,3,5,7
/proc/6218/task/6284/stat : 6284 (java) S 6215 6218 4818 0 -1 1077944384 2443 12884 0 0 48 66 5 2 20 0 15 0 47945587 11113168896 1446096 33554432000 4194304 4196468 140733595555424 140422349400496 140422928300674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
Current children cumulated CPU time: 2362.21 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 5784384 KiB

[startup+2322.3 s]
/proc/loadavg: 1.69 1.62 1.64 3/215 6510
/proc/meminfo: memFree=15913300/32770624 swapFree=67108860/67108860
[pid=6218] ppid=6215 vsize=10852704 memory=5788480 CPUtime=2422.32 cores=1,3,5,7
/proc/6218/stat : 6218 (java) S 6215 6218 4818 0 -1 1077944320 935591 12884 0 0 241614 611 5 2 20 0 15 0 47945572 11113168896 1447120 33554432000 4194304 4196468 140733595555424 140733595537968 140422928289527 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
/proc/6218/statm: 2713176 1447120 3541 1 0 2674829 0
[pid=6218/tid=6271] ppid=6215 vsize=10852704 memory=5788480 CPUtime=2300.11 cores=1,3,5,7
/proc/6218/task/6271/stat : 6271 (java) R 6215 6218 4818 0 -1 4202560 317900 12884 0 0 229937 67 5 2 20 0 15 0 47945581 11113168896 1447120 33554432000 4194304 4196468 140733595555424 140422900123728 140422517170083 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6272] ppid=6215 vsize=10852704 memory=5786432 CPUtime=21.15 cores=1,3,5,7
/proc/6218/task/6272/stat : 6272 (java) S 6215 6218 4818 0 -1 1077944384 60184 12884 0 0 1996 112 5 2 20 0 15 0 47945582 11113168896 1447120 33554432000 4194304 4196468 140733595555424 140422932532112 140422928299733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6273] ppid=6215 vsize=10852704 memory=5786432 CPUtime=21.11 cores=1,3,5,7
/proc/6218/task/6273/stat : 6273 (java) S 6215 6218 4818 0 -1 1077944384 60620 12884 0 0 1992 112 5 2 20 0 15 0 47945582 11113168896 1447120 33554432000 4194304 4196468 140733595555424 140422820805392 140422928299733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6274] ppid=6215 vsize=10852704 memory=5786432 CPUtime=21.09 cores=1,3,5,7
/proc/6218/task/6274/stat : 6274 (java) S 6215 6218 4818 0 -1 1077944384 61631 12884 0 0 1993 109 5 2 20 0 15 0 47945582 11113168896 1447120 33554432000 4194304 4196468 140733595555424 140422819753104 140422928299733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6275] ppid=6215 vsize=10852704 memory=5786432 CPUtime=21.17 cores=1,3,5,7
/proc/6218/task/6275/stat : 6275 (java) S 6215 6218 4818 0 -1 1077944384 71175 12884 0 0 1999 111 5 2 20 0 15 0 47945582 11113168896 1447120 33554432000 4194304 4196468 140733595555424 140422818700304 140422928299733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6276] ppid=6215 vsize=10852704 memory=241754 CPUtime=0.82 cores=1,3,5,7
/proc/6218/task/6276/stat : 6276 (java) S 6215 6218 4818 0 -1 1077944384 52441 12884 0 0 67 8 5 2 20 0 15 0 47945583 11113168896 1447120 33554432000 4194304 4196468 140733595555424 140422387169392 140422928300674 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6277] ppid=6215 vsize=10852704 memory=5788480 CPUtime=0.07 cores=1,3,5,7
/proc/6218/task/6277/stat : 6277 (java) S 6215 6218 4818 0 -1 1077944384 50 12884 0 0 0 0 5 2 20 0 15 0 47945584 11113168896 1447120 33554432000 4194304 4196468 140733595555424 140422386115424 140422928299733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6278] ppid=6215 vsize=10852704 memory=5788480 CPUtime=0.07 cores=1,3,5,7
/proc/6218/task/6278/stat : 6278 (java) S 6215 6218 4818 0 -1 1077944384 7 12884 0 0 0 0 5 2 20 0 15 0 47945584 11113168896 1447120 33554432000 4194304 4196468 140733595555424 140422278014080 140422928299733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6279] ppid=6215 vsize=10852704 memory=5788480 CPUtime=0.07 cores=1,3,5,7
/proc/6218/task/6279/stat : 6279 (java) S 6215 6218 4818 0 -1 1077944384 2 12884 0 0 0 0 5 2 20 0 15 0 47945587 11113168896 1447120 33554432000 4194304 4196468 140733595555424 140421674035280 140422928308123 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6280] ppid=6215 vsize=10852704 memory=5786432 CPUtime=15.26 cores=1,3,5,7
/proc/6218/task/6280/stat : 6280 (java) S 6215 6218 4818 0 -1 1077944384 97717 12884 0 0 1508 11 5 2 20 0 15 0 47945587 11113168896 1447120 33554432000 4194304 4196468 140733595555424 140422352558704 140422928300674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6281] ppid=6215 vsize=10852704 memory=5786432 CPUtime=15.64 cores=1,3,5,7
/proc/6218/task/6281/stat : 6281 (java) S 6215 6218 4818 0 -1 1077944384 106581 12884 0 0 1547 10 5 2 20 0 15 0 47945587 11113168896 1447120 33554432000 4194304 4196468 140733595555424 140422351505904 140422928300674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6282] ppid=6215 vsize=10852704 memory=5786432 CPUtime=5.29 cores=1,3,5,7
/proc/6218/task/6282/stat : 6282 (java) S 6215 6218 4818 0 -1 1077944384 102621 12884 0 0 508 14 5 2 20 0 15 0 47945587 11113168896 1447120 33554432000 4194304 4196468 140733595555424 140422350453616 140422928300674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6283] ppid=6215 vsize=10852704 memory=5788480 CPUtime=0.07 cores=1,3,5,7
/proc/6218/task/6283/stat : 6283 (java) S 6215 6218 4818 0 -1 1077944384 3 12884 0 0 0 0 5 2 20 0 15 0 47945587 11113168896 1447120 33554432000 4194304 4196468 140733595555424 140421204274144 140422928299733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6284] ppid=6215 vsize=10852704 memory=4612 CPUtime=1.24 cores=1,3,5,7
/proc/6218/task/6284/stat : 6284 (java) S 6215 6218 4818 0 -1 1077944384 2469 12884 0 0 49 68 5 2 20 0 15 0 47945587 11113168896 1447120 33554432000 4194304 4196468 140733595555424 140422349400496 140422928300674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
Current children cumulated CPU time: 2422.32 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 5788480 KiB

[startup+2382.3 s]
/proc/loadavg: 1.49 1.58 1.63 3/215 6511
/proc/meminfo: memFree=15913400/32770624 swapFree=67108860/67108860
[pid=6218] ppid=6215 vsize=10852704 memory=5788480 CPUtime=2482.44 cores=1,3,5,7
/proc/6218/stat : 6218 (java) S 6215 6218 4818 0 -1 1077944320 950861 12884 0 0 247623 614 5 2 20 0 15 0 47945572 11113168896 1447120 33554432000 4194304 4196468 140733595555424 140733595537968 140422928289527 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
/proc/6218/statm: 2713176 1447120 3541 1 0 2674829 0
[pid=6218/tid=6271] ppid=6215 vsize=10852704 memory=5788480 CPUtime=2360.07 cores=1,3,5,7
/proc/6218/task/6271/stat : 6271 (java) R 6215 6218 4818 0 -1 4202560 326308 12884 0 0 235932 68 5 2 20 0 15 0 47945581 11113168896 1447120 33554432000 4194304 4196468 140733595555424 140422900124560 140422508395158 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6272] ppid=6215 vsize=10852704 memory=5788480 CPUtime=21.18 cores=1,3,5,7
/proc/6218/task/6272/stat : 6272 (java) S 6215 6218 4818 0 -1 1077944384 61466 12884 0 0 1999 112 5 2 20 0 15 0 47945582 11113168896 1447120 33554432000 4194304 4196468 140733595555424 140422932532112 140422928299733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6273] ppid=6215 vsize=10852704 memory=5788480 CPUtime=21.14 cores=1,3,5,7
/proc/6218/task/6273/stat : 6273 (java) S 6215 6218 4818 0 -1 1077944384 61638 12884 0 0 1995 112 5 2 20 0 15 0 47945582 11113168896 1447120 33554432000 4194304 4196468 140733595555424 140422820805392 140422928299733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6274] ppid=6215 vsize=10852704 memory=5788480 CPUtime=21.11 cores=1,3,5,7
/proc/6218/task/6274/stat : 6274 (java) S 6215 6218 4818 0 -1 1077944384 62612 12884 0 0 1995 109 5 2 20 0 15 0 47945582 11113168896 1447120 33554432000 4194304 4196468 140733595555424 140422819753104 140422928299733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6275] ppid=6215 vsize=10852704 memory=5788480 CPUtime=21.19 cores=1,3,5,7
/proc/6218/task/6275/stat : 6275 (java) S 6215 6218 4818 0 -1 1077944384 74387 12884 0 0 2001 111 5 2 20 0 15 0 47945582 11113168896 1447120 33554432000 4194304 4196468 140733595555424 140422818700304 140422928299733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6276] ppid=6215 vsize=10852704 memory=5788480 CPUtime=0.83 cores=1,3,5,7
/proc/6218/task/6276/stat : 6276 (java) S 6215 6218 4818 0 -1 1077944384 52768 12884 0 0 67 9 5 2 20 0 15 0 47945583 11113168896 1447120 33554432000 4194304 4196468 140733595555424 140422387169392 140422928300674 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6277] ppid=6215 vsize=10852704 memory=281011724318305 CPUtime=0.07 cores=1,3,5,7
/proc/6218/task/6277/stat : 6277 (java) S 6215 6218 4818 0 -1 1077944384 50 12884 0 0 0 0 5 2 20 0 15 0 47945584 11113168896 1447120 33554432000 4194304 4196468 140733595555424 140422386115424 140422928299733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6278] ppid=6215 vsize=10852704 memory=5788480 CPUtime=0.07 cores=1,3,5,7
/proc/6218/task/6278/stat : 6278 (java) S 6215 6218 4818 0 -1 1077944384 7 12884 0 0 0 0 5 2 20 0 15 0 47945584 11113168896 1447120 33554432000 4194304 4196468 140733595555424 140422278014080 140422928299733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6279] ppid=6215 vsize=10852704 memory=5788480 CPUtime=0.07 cores=1,3,5,7
/proc/6218/task/6279/stat : 6279 (java) S 6215 6218 4818 0 -1 1077944384 2 12884 0 0 0 0 5 2 20 0 15 0 47945587 11113168896 1447120 33554432000 4194304 4196468 140733595555424 140421674035280 140422928308123 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6280] ppid=6215 vsize=10852704 memory=4136 CPUtime=15.26 cores=1,3,5,7
/proc/6218/task/6280/stat : 6280 (java) S 6215 6218 4818 0 -1 1077944384 97726 12884 0 0 1508 11 5 2 20 0 15 0 47945587 11113168896 1447120 33554432000 4194304 4196468 140733595555424 140422352558704 140422928300674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6281] ppid=6215 vsize=10852704 memory=4136 CPUtime=15.64 cores=1,3,5,7
/proc/6218/task/6281/stat : 6281 (java) S 6215 6218 4818 0 -1 1077944384 106584 12884 0 0 1547 10 5 2 20 0 15 0 47945587 11113168896 1447120 33554432000 4194304 4196468 140733595555424 140422351505904 140422928300674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6282] ppid=6215 vsize=10852704 memory=16032 CPUtime=5.29 cores=1,3,5,7
/proc/6218/task/6282/stat : 6282 (java) S 6215 6218 4818 0 -1 1077944384 102625 12884 0 0 508 14 5 2 20 0 15 0 47945587 11113168896 1447120 33554432000 4194304 4196468 140733595555424 140422350453616 140422928300674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6283] ppid=6215 vsize=10852704 memory=5788480 CPUtime=0.07 cores=1,3,5,7
/proc/6218/task/6283/stat : 6283 (java) S 6215 6218 4818 0 -1 1077944384 3 12884 0 0 0 0 5 2 20 0 15 0 47945587 11113168896 1447120 33554432000 4194304 4196468 140733595555424 140421204274144 140422928299733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6284] ppid=6215 vsize=10852704 memory=18464 CPUtime=1.27 cores=1,3,5,7
/proc/6218/task/6284/stat : 6284 (java) S 6215 6218 4818 0 -1 1077944384 2495 12884 0 0 51 69 5 2 20 0 15 0 47945587 11113168896 1447120 33554432000 4194304 4196468 140733595555424 140422349400496 140422928300674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
Current children cumulated CPU time: 2482.44 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 5788480 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2419.8 s]
/proc/loadavg: 1.54 1.58 1.63 3/215 6512
/proc/meminfo: memFree=15911444/32770624 swapFree=67108860/67108860
[pid=6218] ppid=6215 vsize=10852704 memory=5790528 CPUtime=2520.02 cores=1,3,5,7
/proc/6218/stat : 6218 (java) S 6215 6218 4818 0 -1 1077944320 964345 12884 0 0 251379 616 5 2 20 0 15 0 47945572 11113168896 1447632 33554432000 4194304 4196468 140733595555424 140733595537968 140422928289527 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
/proc/6218/statm: 2713176 1447632 3541 1 0 2674829 0
[pid=6218/tid=6271] ppid=6215 vsize=10852704 memory=2106 CPUtime=2397.54 cores=1,3,5,7
/proc/6218/task/6271/stat : 6271 (java) R 6215 6218 4818 0 -1 4202560 332340 12884 0 0 239678 69 5 2 20 0 15 0 47945581 11113168896 1447632 33554432000 4194304 4196468 140733595555424 140422900123680 140422497271255 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6272] ppid=6215 vsize=10852704 memory=2113 CPUtime=21.2 cores=1,3,5,7
/proc/6218/task/6272/stat : 6272 (java) S 6215 6218 4818 0 -1 1077944384 64535 12884 0 0 2001 112 5 2 20 0 15 0 47945582 11113168896 1447632 33554432000 4194304 4196468 140733595555424 140422932532112 140422928299733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6273] ppid=6215 vsize=10852704 memory=77 CPUtime=21.16 cores=1,3,5,7
/proc/6218/task/6273/stat : 6273 (java) S 6215 6218 4818 0 -1 1077944384 63745 12884 0 0 1997 112 5 2 20 0 15 0 47945582 11113168896 1447632 33554432000 4194304 4196468 140733595555424 140422820805392 140422928299733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6274] ppid=6215 vsize=10852704 memory=0 CPUtime=21.14 cores=1,3,5,7
/proc/6218/task/6274/stat : 6274 (java) S 6215 6218 4818 0 -1 1077944384 64241 12884 0 0 1998 109 5 2 20 0 15 0 47945582 11113168896 1447632 33554432000 4194304 4196468 140733595555424 140422819753104 140422928299733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6275] ppid=6215 vsize=10852704 memory=0 CPUtime=21.21 cores=1,3,5,7
/proc/6218/task/6275/stat : 6275 (java) S 6215 6218 4818 0 -1 1077944384 74661 12884 0 0 2003 111 5 2 20 0 15 0 47945582 11113168896 1447632 33554432000 4194304 4196468 140733595555424 140422818700304 140422928299733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6276] ppid=6215 vsize=10852704 memory=844 CPUtime=0.84 cores=1,3,5,7
/proc/6218/task/6276/stat : 6276 (java) S 6215 6218 4818 0 -1 1077944384 53101 12884 0 0 68 9 5 2 20 0 15 0 47945583 11113168896 1447632 33554432000 4194304 4196468 140733595555424 140422387169392 140422928300674 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6277] ppid=6215 vsize=10852704 memory=1800 CPUtime=0.07 cores=1,3,5,7
/proc/6218/task/6277/stat : 6277 (java) S 6215 6218 4818 0 -1 1077944384 50 12884 0 0 0 0 5 2 20 0 15 0 47945584 11113168896 1447632 33554432000 4194304 4196468 140733595555424 140422386115424 140422928299733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6278] ppid=6215 vsize=10852704 memory=920 CPUtime=0.07 cores=1,3,5,7
/proc/6218/task/6278/stat : 6278 (java) S 6215 6218 4818 0 -1 1077944384 7 12884 0 0 0 0 5 2 20 0 15 0 47945584 11113168896 1447632 33554432000 4194304 4196468 140733595555424 140422278014080 140422928299733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6279] ppid=6215 vsize=10852704 memory=3848 CPUtime=0.07 cores=1,3,5,7
/proc/6218/task/6279/stat : 6279 (java) S 6215 6218 4818 0 -1 1077944384 2 12884 0 0 0 0 5 2 20 0 15 0 47945587 11113168896 1447632 33554432000 4194304 4196468 140733595555424 140421674035280 140422928308123 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6280] ppid=6215 vsize=10852704 memory=2684 CPUtime=15.26 cores=1,3,5,7
/proc/6218/task/6280/stat : 6280 (java) S 6215 6218 4818 0 -1 1077944384 97734 12884 0 0 1508 11 5 2 20 0 15 0 47945587 11113168896 1447632 33554432000 4194304 4196468 140733595555424 140422352558704 140422928300674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6281] ppid=6215 vsize=10852704 memory=2712 CPUtime=15.64 cores=1,3,5,7
/proc/6218/task/6281/stat : 6281 (java) S 6215 6218 4818 0 -1 1077944384 106588 12884 0 0 1547 10 5 2 20 0 15 0 47945587 11113168896 1447632 33554432000 4194304 4196468 140733595555424 140422351505904 140422928300674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6282] ppid=6215 vsize=10852704 memory=1404 CPUtime=5.29 cores=1,3,5,7
/proc/6218/task/6282/stat : 6282 (java) S 6215 6218 4818 0 -1 1077944384 102629 12884 0 0 508 14 5 2 20 0 15 0 47945587 11113168896 1447632 33554432000 4194304 4196468 140733595555424 140422350453616 140422928300674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6283] ppid=6215 vsize=10852704 memory=5790528 CPUtime=0.07 cores=1,3,5,7
/proc/6218/task/6283/stat : 6283 (java) S 6215 6218 4818 0 -1 1077944384 3 12884 0 0 0 0 5 2 20 0 15 0 47945587 11113168896 1447632 33554432000 4194304 4196468 140733595555424 140421204274144 140422928299733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
[pid=6218/tid=6284] ppid=6215 vsize=10852704 memory=7379541998663394922 CPUtime=1.29 cores=1,3,5,7
/proc/6218/task/6284/stat : 6284 (java) S 6215 6218 4818 0 -1 1077944384 2519 12884 0 0 52 70 5 2 20 0 15 0 47945587 11113168896 1447632 33554432000 4194304 4196468 140733595555424 140422349400496 140422928300674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19968000 140733595560108 140733595563356 140733595563356 140733595566031 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 5790528 KiB

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

[startup+2419.85 s]
# the end of solver process 6218 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2513.86 s, system=6.2322 s

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

Child status: 143
Real time (s): 2419.85
CPU time (s): 2520.09
CPU user time (s): 2513.86
CPU system time (s): 6.2322
CPU usage (%): 104.142
Max. virtual memory (cumulated for all children) (KiB): 10853292
Max. memory (cumulated for all children) (KiB): 5811980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.86
system time used= 6.2322
maximum resident set size= 5811980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 982224
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3320
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 75209
involuntary context switches= 1926


# summary of solver processes directly reported to runsolver:
#   pid: 6218
#   total CPU time (s): 2520.09
#   total CPU user time (s): 2513.86
#   total CPU system time (s): 6.2322

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.4818 second user time and 22.0431 second system time

The end

Launcher Data 

Begin job on node150 at 2018-07-23 01:57:03
IDJOB=4293014
IDBENCH=141061
IDSOLVER=2751
FILE ID=node150/4293014-1532303823
RUNJOBID= node150-1532297041-4850
PBS_JOBID= 21018991
Free space on /tmp= 57228 MiB

SOLVER NAME= Concrete 3.8-SuperNG 2018-06-13
BENCH NAME= XCSP18/NurseRostering/NurseRostering-12_c18.xml
COMMAND LINE= concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED -superng BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4293014-1532303823/watcher-4293014-1532303823 -o /tmp/evaluation-result-4293014-1532303823/solver-4293014-1532303823 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532297041-4850 --watchdog 2580  concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=314162699 -superng HOME/instance-4293014-1532303823.xml

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

MD5SUM BENCH= 2a283c05e31c4b30f3ec3c3182bebd94
RANDOM SEED=314162699

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        21536568 kB
MemAvailable:   30596872 kB
Buffers:          199088 kB
Cached:          9068968 kB
SwapCached:            0 kB
Active:          2498676 kB
Inactive:        8163032 kB
Active(anon):    1351880 kB
Inactive(anon):    61468 kB
Active(file):    1146796 kB
Inactive(file):  8101564 kB
Unevictable:        7752 kB
Mlocked:            7752 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             26916 kB
Writeback:             0 kB
AnonPages:       1401424 kB
Mapped:            49548 kB
Shmem:             17032 kB
Slab:             267468 kB
SReclaimable:     240404 kB
SUnreclaim:        27064 kB
KernelStack:        3488 kB
PageTables:         8144 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2163512 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1165312 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 57200 MiB
End job on node150 at 2018-07-23 02:37:23