Trace number 4304195

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.9.2? (TO) 2520.15 2444.45

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.74	c Concrete v3.9.2.1532736233296 running
21.48/7.78	c 05:59:17.064 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25512. 'extension(10, x[1][8]=[0‥10]) :: init: true :: relation: MDD 1747327205, 25 edges, 5 vertices, 36 tuples
21.48/7.78	c 05:59:17.070 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25513. 'extension(10, x[1][8]=[0‥10]) :: init: true :: relation: MDD 1957005830, 11 edges, 3 vertices, 10 tuples
21.48/7.78	c 05:59:17.075 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25561. 'extension(10, x[1][10]=[0‥10]) :: init: true :: relation: MDD 1040385133, 25 edges, 5 vertices, 36 tuples
21.48/7.79	c 05:59:17.075 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25562. 'extension(10, x[1][10]=[0‥10]) :: init: true :: relation: MDD 1045622109, 11 edges, 3 vertices, 10 tuples
21.48/7.79	c 05:59:17.077 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25610. 'extension(10, x[1][37]=[0‥10]) :: init: true :: relation: MDD 744541767, 25 edges, 5 vertices, 36 tuples
21.48/7.79	c 05:59:17.078 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25611. 'extension(10, x[1][37]=[0‥10]) :: init: true :: relation: MDD 989030690, 11 edges, 3 vertices, 10 tuples
21.48/7.79	c 05:59:17.079 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25659. 'extension(10, x[1][40]=[0‥10]) :: init: true :: relation: MDD 1397088232, 25 edges, 5 vertices, 36 tuples
21.48/7.79	c 05:59:17.080 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25660. 'extension(10, x[1][40]=[0‥10]) :: init: true :: relation: MDD 1218017691, 11 edges, 3 vertices, 10 tuples
21.48/7.79	c 05:59:17.082 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25708. 'extension(10, x[1][58]=[0‥10]) :: init: true :: relation: MDD 1680630881, 25 edges, 5 vertices, 36 tuples
21.48/7.79	c 05:59:17.082 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25709. 'extension(10, x[1][58]=[0‥10]) :: init: true :: relation: MDD 1001114349, 11 edges, 3 vertices, 10 tuples
21.48/7.79	c 05:59:17.085 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25806. 'extension(x[0][4]=[0‥10], 10) :: init: true :: relation: MDD 788830525, 25 edges, 5 vertices, 36 tuples
21.48/7.79	c 05:59:17.086 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25807. 'extension(10, x[2][4]=[0‥10]) :: init: true :: relation: MDD 788830525, 25 edges, 5 vertices, 36 tuples
21.48/7.80	c 05:59:17.088 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25859. 'extension(x[0][54]=[0‥10], 10) :: init: true :: relation: MDD 1746468168, 25 edges, 5 vertices, 36 tuples
21.48/7.80	c 05:59:17.089 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25912. 'extension(10, x[2][59]=[0‥10]) :: init: true :: relation: MDD 279513068, 25 edges, 5 vertices, 36 tuples
21.48/7.80	c 05:59:17.090 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25915. 'extension(10, 10) :: init: true :: relation: MDD 279513068, 25 edges, 5 vertices, 36 tuples
21.48/7.80	c 05:59:17.090 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25916. 'extension(10, 10) :: init: true :: relation: MDD 1238292935, 11 edges, 3 vertices, 10 tuples
21.81/7.80	c 05:59:17.094 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25965. 'extension(x[1][19]=[0‥10], 10) :: init: true :: relation: MDD 71871969, 25 edges, 5 vertices, 36 tuples
21.81/7.81	c 05:59:17.095 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25966. 'extension(10, x[3][19]=[0‥10]) :: init: true :: relation: MDD 71871969, 25 edges, 5 vertices, 36 tuples
21.81/7.81	c 05:59:17.097 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26020. 'extension(x[1][47]=[0‥10], 10) :: init: true :: relation: MDD 775300103, 25 edges, 5 vertices, 36 tuples
21.81/7.81	c 05:59:17.098 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26075. 'extension(10, x[3][54]=[0‥10]) :: init: true :: relation: MDD 1746468168, 25 edges, 5 vertices, 36 tuples
21.81/7.82	c 05:59:17.099 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26078. 'extension(10, 10) :: init: true :: relation: MDD 1746468168, 25 edges, 5 vertices, 36 tuples
21.81/7.82	c 05:59:17.102 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26130. 'extension(x[2][2]=[0‥10], 10) :: init: true :: relation: MDD 17203574, 25 edges, 5 vertices, 36 tuples
21.81/7.82	c 05:59:17.103 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26131. 'extension(10, x[4][2]=[0‥10]) :: init: true :: relation: MDD 17203574, 25 edges, 5 vertices, 36 tuples
21.81/7.82	c 05:59:17.105 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26186. 'extension(x[2][14]=[0‥10], 10) :: init: true :: relation: MDD 1081836597, 25 edges, 5 vertices, 36 tuples
21.81/7.82	c 05:59:17.106 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26187. 'extension(10, x[4][14]=[0‥10]) :: init: true :: relation: MDD 1081836597, 25 edges, 5 vertices, 36 tuples
21.81/7.82	c 05:59:17.108 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26242. 'extension(x[2][41]=[0‥10], 10) :: init: true :: relation: MDD 2050328083, 25 edges, 5 vertices, 36 tuples
21.81/7.82	c 05:59:17.109 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26243. 'extension(10, x[4][41]=[0‥10]) :: init: true :: relation: MDD 2050328083, 25 edges, 5 vertices, 36 tuples
21.81/7.82	c 05:59:17.112 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26299. 'extension(x[2][42]=[0‥10], 10) :: init: true :: relation: MDD 374145466, 25 edges, 5 vertices, 36 tuples
21.81/7.82	c 05:59:17.113 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26300. 'extension(10, x[4][42]=[0‥10]) :: init: true :: relation: MDD 374145466, 25 edges, 5 vertices, 36 tuples
21.81/7.82	c 05:59:17.115 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26356. 'extension(x[2][44]=[0‥10], 10) :: init: true :: relation: MDD 448581721, 25 edges, 5 vertices, 36 tuples
21.81/7.83	c 05:59:17.117 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26413. 'extension(10, x[4][47]=[0‥10]) :: init: true :: relation: MDD 775300103, 25 edges, 5 vertices, 36 tuples
21.81/7.83	c 05:59:17.117 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26416. 'extension(10, 10) :: init: true :: relation: MDD 775300103, 25 edges, 5 vertices, 36 tuples
21.81/7.83	c 05:59:17.120 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26470. 'extension(x[2][56]=[0‥10], 10) :: init: true :: relation: MDD 1810873106, 25 edges, 5 vertices, 36 tuples
21.81/7.83	c 05:59:17.122 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26526. 'extension(x[3][43]=[0‥10], 10) :: init: true :: relation: MDD 340097685, 25 edges, 5 vertices, 36 tuples
21.81/7.84	c 05:59:17.123 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26584. 'extension(10, x[5][44]=[0‥10]) :: init: true :: relation: MDD 448581721, 25 edges, 5 vertices, 36 tuples
21.81/7.84	c 05:59:17.124 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26587. 'extension(10, 10) :: init: true :: relation: MDD 448581721, 25 edges, 5 vertices, 36 tuples
21.81/7.84	c 05:59:17.126 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26642. 'extension(x[3][52]=[0‥10], 10) :: init: true :: relation: MDD 438793128, 25 edges, 5 vertices, 36 tuples
21.81/7.84	c 05:59:17.127 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26699. 'extension(10, x[5][56]=[0‥10]) :: init: true :: relation: MDD 1810873106, 25 edges, 5 vertices, 36 tuples
21.81/7.84	c 05:59:17.128 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26702. 'extension(10, 10) :: init: true :: relation: MDD 1810873106, 25 edges, 5 vertices, 36 tuples
21.81/7.84	c 05:59:17.131 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26756. 'extension(10, wk[4][0]=[0‥1]) :: init: true :: relation: MDD 1835638995, 11 edges, 3 vertices, 10 tuples
21.81/7.84	c 05:59:17.132 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26757. 'extension(x[4][4]=[0‥10], 10) :: init: true :: relation: MDD 788830525, 25 edges, 5 vertices, 36 tuples
21.81/7.84	c 05:59:17.132 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26758. 'extension(10, x[6][4]=[0‥10]) :: init: true :: relation: MDD 788830525, 25 edges, 5 vertices, 36 tuples
21.81/7.85	c 05:59:17.135 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26815. 'extension(10, wk[18][0]=[0‥1]) :: init: true :: relation: MDD 875487383, 11 edges, 3 vertices, 10 tuples
21.81/7.85	c 05:59:17.136 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26816. 'extension(x[4][18]=[0‥10], 10) :: init: true :: relation: MDD 1590736099, 25 edges, 5 vertices, 36 tuples
21.81/7.85	c 05:59:17.136 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26817. 'extension(10, x[6][18]=[0‥10]) :: init: true :: relation: MDD 1590736099, 25 edges, 5 vertices, 36 tuples
21.81/7.85	c 05:59:17.138 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26874. 'extension(10, wk[28][0]=[0‥1]) :: init: true :: relation: MDD 206091587, 11 edges, 3 vertices, 10 tuples
21.81/7.85	c 05:59:17.139 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26875. 'extension(x[4][28]=[0‥10], 10) :: init: true :: relation: MDD 319450809, 25 edges, 5 vertices, 36 tuples
21.81/7.85	c 05:59:17.139 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26876. 'extension(10, x[6][28]=[0‥10]) :: init: true :: relation: MDD 319450809, 25 edges, 5 vertices, 36 tuples
21.81/7.85	c 05:59:17.142 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26933. 'extension(10, wk[29][0]=[0‥1]) :: init: true :: relation: MDD 1950102816, 11 edges, 3 vertices, 10 tuples
21.81/7.85	c 05:59:17.143 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26934. 'extension(x[4][29]=[0‥10], 10) :: init: true :: relation: MDD 1715802200, 25 edges, 5 vertices, 36 tuples
21.81/7.85	c 05:59:17.143 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26935. 'extension(10, x[6][29]=[0‥10]) :: init: true :: relation: MDD 1715802200, 25 edges, 5 vertices, 36 tuples
21.81/7.86	c 05:59:17.145 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26992. 'extension(10, wk[43][0]=[0‥1]) :: init: true :: relation: MDD 298156448, 11 edges, 3 vertices, 10 tuples
21.81/7.86	c 05:59:17.145 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26993. 'extension(10, x[6][43]=[0‥10]) :: init: true :: relation: MDD 340097685, 25 edges, 5 vertices, 36 tuples
21.81/7.86	c 05:59:17.146 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26996. 'extension(10, 10) :: init: true :: relation: MDD 340097685, 25 edges, 5 vertices, 36 tuples
21.81/7.86	c 05:59:17.149 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27052. 'extension(10, wk[52][0]=[0‥1]) :: init: true :: relation: MDD 430798309, 11 edges, 3 vertices, 10 tuples
21.81/7.86	c 05:59:17.149 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27053. 'extension(10, x[6][52]=[0‥10]) :: init: true :: relation: MDD 438793128, 25 edges, 5 vertices, 36 tuples
21.81/7.86	c 05:59:17.149 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27056. 'extension(10, 10) :: init: true :: relation: MDD 438793128, 25 edges, 5 vertices, 36 tuples
21.81/7.86	c 05:59:17.152 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27111. 'extension(10, wk[25][0]=[0‥1]) :: init: true :: relation: MDD 560734926, 11 edges, 3 vertices, 10 tuples
21.81/7.86	c 05:59:17.153 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27112. 'extension(x[5][25]=[0‥10], 10) :: init: true :: relation: MDD 323653293, 25 edges, 5 vertices, 36 tuples
21.81/7.86	c 05:59:17.154 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27170. 'extension(10, wk[36][0]=[0‥1]) :: init: true :: relation: MDD 2073961917, 11 edges, 3 vertices, 10 tuples
21.81/7.86	c 05:59:17.154 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27171. 'extension(x[5][36]=[0‥10], 10) :: init: true :: relation: MDD 1670479841, 25 edges, 5 vertices, 36 tuples
21.81/7.86	c 05:59:17.156 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27229. 'extension(x[6][0]=[0‥10], 10) :: init: true :: relation: MDD 319086807, 25 edges, 5 vertices, 36 tuples
21.81/7.86	c 05:59:17.156 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27230. 'extension(10, x[8][0]=[0‥10]) :: init: true :: relation: MDD 319086807, 25 edges, 5 vertices, 36 tuples
21.81/7.87	c 05:59:17.158 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27287. 'extension(x[6][15]=[0‥10], 10) :: init: true :: relation: MDD 22515625, 25 edges, 5 vertices, 36 tuples
21.81/7.87	c 05:59:17.159 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27345. 'extension(x[6][24]=[0‥10], 10) :: init: true :: relation: MDD 667237426, 25 edges, 5 vertices, 36 tuples
21.81/7.87	c 05:59:17.159 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27346. 'extension(10, x[8][24]=[0‥10]) :: init: true :: relation: MDD 667237426, 25 edges, 5 vertices, 36 tuples
21.81/7.87	c 05:59:17.161 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27403. 'extension(10, x[8][25]=[0‥10]) :: init: true :: relation: MDD 323653293, 25 edges, 5 vertices, 36 tuples
21.81/7.87	c 05:59:17.162 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27406. 'extension(10, 10) :: init: true :: relation: MDD 323653293, 25 edges, 5 vertices, 36 tuples
21.81/7.87	c 05:59:17.164 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27461. 'extension(10, x[8][36]=[0‥10]) :: init: true :: relation: MDD 1670479841, 25 edges, 5 vertices, 36 tuples
21.81/7.87	c 05:59:17.164 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27464. 'extension(10, 10) :: init: true :: relation: MDD 1670479841, 25 edges, 5 vertices, 36 tuples
21.81/7.88	c 05:59:17.167 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27519. 'extension(x[7][7]=[0‥10], 10) :: init: true :: relation: MDD 732918485, 25 edges, 5 vertices, 36 tuples
21.81/7.88	c 05:59:17.168 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27520. 'extension(10, x[9][7]=[0‥10]) :: init: true :: relation: MDD 732918485, 25 edges, 5 vertices, 36 tuples
21.81/7.88	c 05:59:17.170 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27577. 'extension(10, x[9][15]=[0‥10]) :: init: true :: relation: MDD 22515625, 25 edges, 5 vertices, 36 tuples
21.81/7.88	c 05:59:17.170 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27580. 'extension(10, 10) :: init: true :: relation: MDD 22515625, 25 edges, 5 vertices, 36 tuples
21.81/7.88	c 05:59:17.172 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27635. 'extension(x[7][50]=[0‥10], 10) :: init: true :: relation: MDD 1263015120, 25 edges, 5 vertices, 36 tuples
21.81/7.88	c 05:59:17.173 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27636. 'extension(10, x[9][50]=[0‥10]) :: init: true :: relation: MDD 1263015120, 25 edges, 5 vertices, 36 tuples
21.81/7.88	c 05:59:17.175 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27693. 'extension(x[8][16]=[0‥10], 10) :: init: true :: relation: MDD 640113478, 25 edges, 5 vertices, 36 tuples
21.81/7.89	c 05:59:17.176 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27751. 'extension(x[8][32]=[0‥10], 10) :: init: true :: relation: MDD 673992096, 25 edges, 5 vertices, 36 tuples
21.81/7.89	c 05:59:17.176 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27752. 'extension(10, x[10][32]=[0‥10]) :: init: true :: relation: MDD 673992096, 25 edges, 5 vertices, 36 tuples
21.81/7.89	c 05:59:17.178 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27809. 'extension(x[8][38]=[0‥10], 10) :: init: true :: relation: MDD 29838617, 25 edges, 5 vertices, 36 tuples
21.81/7.89	c 05:59:17.179 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27810. 'extension(10, x[10][38]=[0‥10]) :: init: true :: relation: MDD 29838617, 25 edges, 5 vertices, 36 tuples
21.81/7.89	c 05:59:17.180 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27867. 'extension(x[8][40]=[0‥10], 10) :: init: true :: relation: MDD 1397088232, 25 edges, 5 vertices, 36 tuples
21.81/7.89	c 05:59:17.181 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27868. 'extension(10, x[10][40]=[0‥10]) :: init: true :: relation: MDD 1397088232, 25 edges, 5 vertices, 36 tuples
21.81/7.89	c 05:59:17.184 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27927. 'extension(x[9][5]=[0‥10], 10) :: init: true :: relation: MDD 202696101, 25 edges, 5 vertices, 36 tuples
21.81/7.90	c 05:59:17.185 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27928. 'extension(10, x[11][5]=[0‥10]) :: init: true :: relation: MDD 202696101, 25 edges, 5 vertices, 36 tuples
21.81/7.90	c 05:59:17.187 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27985. 'extension(x[9][9]=[0‥10], 10) :: init: true :: relation: MDD 1087989112, 25 edges, 5 vertices, 36 tuples
21.81/7.90	c 05:59:17.187 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27986. 'extension(10, x[11][9]=[0‥10]) :: init: true :: relation: MDD 1087989112, 25 edges, 5 vertices, 36 tuples
21.81/7.90	c 05:59:17.188 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28043. 'extension(10, x[11][16]=[0‥10]) :: init: true :: relation: MDD 640113478, 25 edges, 5 vertices, 36 tuples
21.81/7.90	c 05:59:17.189 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28046. 'extension(10, 10) :: init: true :: relation: MDD 640113478, 25 edges, 5 vertices, 36 tuples
22.16/7.90	c 05:59:17.192 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28101. 'extension(x[9][23]=[0‥10], 10) :: init: true :: relation: MDD 1277490082, 25 edges, 5 vertices, 36 tuples
22.16/7.90	c 05:59:17.192 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28102. 'extension(10, x[11][23]=[0‥10]) :: init: true :: relation: MDD 1277490082, 25 edges, 5 vertices, 36 tuples
22.16/7.90	c 05:59:17.194 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28159. 'extension(x[9][27]=[0‥10], 10) :: init: true :: relation: MDD 586722754, 25 edges, 5 vertices, 36 tuples
22.16/7.90	c 05:59:17.194 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28160. 'extension(10, x[11][27]=[0‥10]) :: init: true :: relation: MDD 586722754, 25 edges, 5 vertices, 36 tuples
22.16/7.90	c 05:59:17.196 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28217. 'extension(x[9][45]=[0‥10], 10) :: init: true :: relation: MDD 1903137985, 25 edges, 5 vertices, 36 tuples
22.16/7.91	c 05:59:17.196 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28218. 'extension(10, x[11][45]=[0‥10]) :: init: true :: relation: MDD 1903137985, 25 edges, 5 vertices, 36 tuples
22.16/7.91	c 05:59:17.199 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28277. 'extension(x[10][3]=[0‥10], 10) :: init: true :: relation: MDD 374740213, 25 edges, 5 vertices, 36 tuples
22.16/7.91	c 05:59:17.199 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28335. 'extension(x[10][35]=[0‥10], 10) :: init: true :: relation: MDD 121463477, 25 edges, 5 vertices, 36 tuples
22.16/7.91	c 05:59:17.201 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28393. 'extension(10, wk[3][1]=[0‥1]) :: init: true :: relation: MDD 286840121, 11 edges, 3 vertices, 10 tuples
22.16/7.91	c 05:59:17.201 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28394. 'extension(10, x[13][3]=[0‥10]) :: init: true :: relation: MDD 374740213, 25 edges, 5 vertices, 36 tuples
22.16/7.91	c 05:59:17.202 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28397. 'extension(10, 10) :: init: true :: relation: MDD 374740213, 25 edges, 5 vertices, 36 tuples
22.16/7.91	c 05:59:17.204 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28452. 'extension(10, wk[13][1]=[0‥1]) :: init: true :: relation: MDD 1190608890, 11 edges, 3 vertices, 10 tuples
22.16/7.91	c 05:59:17.204 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28453. 'extension(x[11][13]=[0‥10], 10) :: init: true :: relation: MDD 925976643, 25 edges, 5 vertices, 36 tuples
22.16/7.91	c 05:59:17.204 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28454. 'extension(10, x[13][13]=[0‥10]) :: init: true :: relation: MDD 925976643, 25 edges, 5 vertices, 36 tuples
22.16/7.91	c 05:59:17.206 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28511. 'extension(10, wk[33][1]=[0‥1]) :: init: true :: relation: MDD 1244785938, 11 edges, 3 vertices, 10 tuples
22.16/7.91	c 05:59:17.206 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28512. 'extension(x[11][33]=[0‥10], 10) :: init: true :: relation: MDD 1525320084, 25 edges, 5 vertices, 36 tuples
22.16/7.91	c 05:59:17.206 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28513. 'extension(10, x[13][33]=[0‥10]) :: init: true :: relation: MDD 1525320084, 25 edges, 5 vertices, 36 tuples
22.16/7.92	c 05:59:17.208 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28570. 'extension(10, wk[35][1]=[0‥1]) :: init: true :: relation: MDD 1883144272, 11 edges, 3 vertices, 10 tuples
22.16/7.92	c 05:59:17.208 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28571. 'extension(10, x[13][35]=[0‥10]) :: init: true :: relation: MDD 121463477, 25 edges, 5 vertices, 36 tuples
22.16/7.92	c 05:59:17.209 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28574. 'extension(10, 10) :: init: true :: relation: MDD 121463477, 25 edges, 5 vertices, 36 tuples
22.16/7.92	c 05:59:17.211 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28629. 'extension(10, wk[6][1]=[0‥1]) :: init: true :: relation: MDD 1698990491, 11 edges, 3 vertices, 10 tuples
22.16/7.92	c 05:59:17.211 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28630. 'extension(x[12][6]=[0‥10], 10) :: init: true :: relation: MDD 1545308588, 25 edges, 5 vertices, 36 tuples
22.16/7.92	c 05:59:17.212 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28631. 'extension(10, x[14][6]=[0‥10]) :: init: true :: relation: MDD 1545308588, 25 edges, 5 vertices, 36 tuples
22.16/7.92	c 05:59:17.213 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28688. 'extension(10, wk[9][1]=[0‥1]) :: init: true :: relation: MDD 990722659, 11 edges, 3 vertices, 10 tuples
22.16/7.92	c 05:59:17.213 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28689. 'extension(x[12][9]=[0‥10], 10) :: init: true :: relation: MDD 1087989112, 25 edges, 5 vertices, 36 tuples
22.16/7.92	c 05:59:17.214 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28690. 'extension(10, x[14][9]=[0‥10]) :: init: true :: relation: MDD 1087989112, 25 edges, 5 vertices, 36 tuples
22.16/7.92	c 05:59:17.216 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28747. 'extension(10, wk[10][1]=[0‥1]) :: init: true :: relation: MDD 1669392873, 11 edges, 3 vertices, 10 tuples
22.16/7.92	c 05:59:17.216 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28748. 'extension(x[12][10]=[0‥10], 10) :: init: true :: relation: MDD 1040385133, 25 edges, 5 vertices, 36 tuples
22.16/7.92	c 05:59:17.216 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28749. 'extension(10, x[14][10]=[0‥10]) :: init: true :: relation: MDD 1040385133, 25 edges, 5 vertices, 36 tuples
22.16/7.93	c 05:59:17.218 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28806. 'extension(10, wk[39][1]=[0‥1]) :: init: true :: relation: MDD 1641677843, 11 edges, 3 vertices, 10 tuples
22.16/7.93	c 05:59:17.219 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28807. 'extension(x[12][39]=[0‥10], 10) :: init: true :: relation: MDD 476234749, 25 edges, 5 vertices, 36 tuples
22.16/7.93	c 05:59:17.220 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28865. 'extension(x[13][24]=[0‥10], 10) :: init: true :: relation: MDD 667237426, 25 edges, 5 vertices, 36 tuples
22.16/7.93	c 05:59:17.220 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28866. 'extension(10, x[15][24]=[0‥10]) :: init: true :: relation: MDD 667237426, 25 edges, 5 vertices, 36 tuples
22.16/7.93	c 05:59:17.223 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28923. 'extension(x[13][34]=[0‥10], 10) :: init: true :: relation: MDD 1342373353, 25 edges, 5 vertices, 36 tuples
22.16/7.93	c 05:59:17.223 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28924. 'extension(10, x[15][34]=[0‥10]) :: init: true :: relation: MDD 1342373353, 25 edges, 5 vertices, 36 tuples
22.16/7.93	c 05:59:17.224 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28981. 'extension(10, x[15][39]=[0‥10]) :: init: true :: relation: MDD 476234749, 25 edges, 5 vertices, 36 tuples
22.16/7.93	c 05:59:17.225 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28984. 'extension(10, 10) :: init: true :: relation: MDD 476234749, 25 edges, 5 vertices, 36 tuples
22.16/7.94	c 05:59:17.227 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29039. 'extension(x[13][45]=[0‥10], 10) :: init: true :: relation: MDD 1903137985, 25 edges, 5 vertices, 36 tuples
22.16/7.94	c 05:59:17.227 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29040. 'extension(10, x[15][45]=[0‥10]) :: init: true :: relation: MDD 1903137985, 25 edges, 5 vertices, 36 tuples
22.16/7.94	c 05:59:17.230 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29099. 'extension(x[13][55]=[0‥10], 10) :: init: true :: relation: MDD 1765745171, 25 edges, 5 vertices, 36 tuples
22.16/7.94	c 05:59:17.230 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29100. 'extension(10, x[15][55]=[0‥10]) :: init: true :: relation: MDD 1765745171, 25 edges, 5 vertices, 36 tuples
22.16/7.94	c 05:59:17.232 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29157. 'extension(x[14][18]=[0‥10], 10) :: init: true :: relation: MDD 1590736099, 25 edges, 5 vertices, 36 tuples
22.16/7.95	c 05:59:17.236 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29158. 'extension(10, x[16][18]=[0‥10]) :: init: true :: relation: MDD 1590736099, 25 edges, 5 vertices, 36 tuples
22.16/7.95	c 05:59:17.238 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29215. 'extension(x[14][27]=[0‥10], 10) :: init: true :: relation: MDD 586722754, 25 edges, 5 vertices, 36 tuples
22.16/7.95	c 05:59:17.239 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29216. 'extension(10, x[16][27]=[0‥10]) :: init: true :: relation: MDD 586722754, 25 edges, 5 vertices, 36 tuples
22.16/7.95	c 05:59:17.241 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29273. 'extension(x[14][48]=[0‥10], 10) :: init: true :: relation: MDD 150135782, 25 edges, 5 vertices, 36 tuples
22.16/7.95	c 05:59:17.243 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29333. 'extension(x[15][2]=[0‥10], 10) :: init: true :: relation: MDD 17203574, 25 edges, 5 vertices, 36 tuples
22.16/7.95	c 05:59:17.243 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29334. 'extension(10, x[17][2]=[0‥10]) :: init: true :: relation: MDD 17203574, 25 edges, 5 vertices, 36 tuples
22.16/7.95	c 05:59:17.245 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29391. 'extension(x[15][17]=[0‥10], 10) :: init: true :: relation: MDD 762376978, 25 edges, 5 vertices, 36 tuples
22.16/7.95	c 05:59:17.246 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29449. 'extension(x[15][38]=[0‥10], 10) :: init: true :: relation: MDD 29838617, 25 edges, 5 vertices, 36 tuples
22.16/7.96	c 05:59:17.246 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29450. 'extension(10, x[17][38]=[0‥10]) :: init: true :: relation: MDD 29838617, 25 edges, 5 vertices, 36 tuples
22.16/7.96	c 05:59:17.248 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29507. 'extension(10, x[17][48]=[0‥10]) :: init: true :: relation: MDD 150135782, 25 edges, 5 vertices, 36 tuples
22.16/7.96	c 05:59:17.249 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29510. 'extension(10, 10) :: init: true :: relation: MDD 150135782, 25 edges, 5 vertices, 36 tuples
22.16/7.96	c 05:59:17.251 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29567. 'extension(x[15][50]=[0‥10], 10) :: init: true :: relation: MDD 1263015120, 25 edges, 5 vertices, 36 tuples
22.16/7.96	c 05:59:17.251 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29568. 'extension(10, x[17][50]=[0‥10]) :: init: true :: relation: MDD 1263015120, 25 edges, 5 vertices, 36 tuples
22.16/7.96	c 05:59:17.254 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29625. 'extension(x[16][5]=[0‥10], 10) :: init: true :: relation: MDD 202696101, 25 edges, 5 vertices, 36 tuples
22.16/7.96	c 05:59:17.255 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29626. 'extension(10, x[18][5]=[0‥10]) :: init: true :: relation: MDD 202696101, 25 edges, 5 vertices, 36 tuples
22.16/7.97	c 05:59:17.257 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29683. 'extension(10, x[18][17]=[0‥10]) :: init: true :: relation: MDD 762376978, 25 edges, 5 vertices, 36 tuples
22.16/7.97	c 05:59:17.257 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29686. 'extension(10, 10) :: init: true :: relation: MDD 762376978, 25 edges, 5 vertices, 36 tuples
22.16/7.97	c 05:59:17.259 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29741. 'extension(x[16][19]=[0‥10], 10) :: init: true :: relation: MDD 71871969, 25 edges, 5 vertices, 36 tuples
22.16/7.97	c 05:59:17.259 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29742. 'extension(10, x[18][19]=[0‥10]) :: init: true :: relation: MDD 71871969, 25 edges, 5 vertices, 36 tuples
22.16/7.97	c 05:59:17.261 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29799. 'extension(x[16][28]=[0‥10], 10) :: init: true :: relation: MDD 319450809, 25 edges, 5 vertices, 36 tuples
22.16/7.97	c 05:59:17.262 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29800. 'extension(10, x[18][28]=[0‥10]) :: init: true :: relation: MDD 319450809, 25 edges, 5 vertices, 36 tuples
22.16/7.97	c 05:59:17.264 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29857. 'extension(x[16][33]=[0‥10], 10) :: init: true :: relation: MDD 1525320084, 25 edges, 5 vertices, 36 tuples
22.16/7.97	c 05:59:17.264 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29858. 'extension(10, x[18][33]=[0‥10]) :: init: true :: relation: MDD 1525320084, 25 edges, 5 vertices, 36 tuples
22.16/7.97	c 05:59:17.266 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29915. 'extension(x[16][55]=[0‥10], 10) :: init: true :: relation: MDD 1765745171, 25 edges, 5 vertices, 36 tuples
22.16/7.98	c 05:59:17.267 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29916. 'extension(10, x[18][55]=[0‥10]) :: init: true :: relation: MDD 1765745171, 25 edges, 5 vertices, 36 tuples
22.16/7.98	c 05:59:17.270 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29973. 'extension(x[17][42]=[0‥10], 10) :: init: true :: relation: MDD 374145466, 25 edges, 5 vertices, 36 tuples
22.16/7.98	c 05:59:17.270 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29974. 'extension(10, x[19][42]=[0‥10]) :: init: true :: relation: MDD 374145466, 25 edges, 5 vertices, 36 tuples
22.16/7.98	c 05:59:17.272 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30033. 'extension(x[17][46]=[0‥10], 10) :: init: true :: relation: MDD 496627227, 25 edges, 5 vertices, 36 tuples
22.16/7.98	c 05:59:17.273 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30093. 'extension(x[17][53]=[0‥10], 10) :: init: true :: relation: MDD 627677863, 25 edges, 5 vertices, 36 tuples
22.16/7.98	c 05:59:17.275 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30151. 'extension(10, wk[26][2]=[0‥1]) :: init: true :: relation: MDD 1392027380, 11 edges, 3 vertices, 10 tuples
22.16/7.98	c 05:59:17.275 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30152. 'extension(x[18][26]=[0‥10], 10) :: init: true :: relation: MDD 235740612, 25 edges, 5 vertices, 36 tuples
22.16/7.98	c 05:59:17.275 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30210. 'extension(10, wk[46][2]=[0‥1]) :: init: true :: relation: MDD 184996973, 11 edges, 3 vertices, 10 tuples
22.16/7.98	c 05:59:17.276 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30211. 'extension(10, x[20][46]=[0‥10]) :: init: true :: relation: MDD 496627227, 25 edges, 5 vertices, 36 tuples
22.16/7.98	c 05:59:17.276 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30214. 'extension(10, 10) :: init: true :: relation: MDD 496627227, 25 edges, 5 vertices, 36 tuples
22.16/7.99	c 05:59:17.278 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30271. 'extension(10, wk[49][2]=[0‥1]) :: init: true :: relation: MDD 1375111241, 11 edges, 3 vertices, 10 tuples
22.16/7.99	c 05:59:17.278 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30272. 'extension(x[18][49]=[0‥10], 10) :: init: true :: relation: MDD 991363637, 25 edges, 5 vertices, 36 tuples
22.16/7.99	c 05:59:17.279 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30332. 'extension(10, wk[51][2]=[0‥1]) :: init: true :: relation: MDD 1318424328, 11 edges, 3 vertices, 10 tuples
22.16/7.99	c 05:59:17.279 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30333. 'extension(x[18][51]=[0‥10], 10) :: init: true :: relation: MDD 725884502, 25 edges, 5 vertices, 36 tuples
22.16/7.99	c 05:59:17.280 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30391. 'extension(10, wk[53][2]=[0‥1]) :: init: true :: relation: MDD 1924108520, 11 edges, 3 vertices, 10 tuples
22.16/7.99	c 05:59:17.280 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30392. 'extension(10, x[20][53]=[0‥10]) :: init: true :: relation: MDD 627677863, 25 edges, 5 vertices, 36 tuples
22.16/7.99	c 05:59:17.281 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30395. 'extension(10, 10) :: init: true :: relation: MDD 627677863, 25 edges, 5 vertices, 36 tuples
22.16/7.99	c 05:59:17.283 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30450. 'extension(10, wk[26][2]=[0‥1]) :: init: true :: relation: MDD 1686568571, 11 edges, 3 vertices, 10 tuples
22.16/7.99	c 05:59:17.284 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30451. 'extension(10, x[21][26]=[0‥10]) :: init: true :: relation: MDD 235740612, 25 edges, 5 vertices, 36 tuples
22.16/7.99	c 05:59:17.284 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30454. 'extension(10, 10) :: init: true :: relation: MDD 235740612, 25 edges, 5 vertices, 36 tuples
22.16/7.99	c 05:59:17.286 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30509. 'extension(10, wk[29][2]=[0‥1]) :: init: true :: relation: MDD 112026691, 11 edges, 3 vertices, 10 tuples
22.16/7.99	c 05:59:17.286 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30510. 'extension(x[19][29]=[0‥10], 10) :: init: true :: relation: MDD 1715802200, 25 edges, 5 vertices, 36 tuples
22.16/7.99	c 05:59:17.286 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30511. 'extension(10, x[21][29]=[0‥10]) :: init: true :: relation: MDD 1715802200, 25 edges, 5 vertices, 36 tuples
22.50/8.01	c 05:59:17.291 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30568. 'extension(10, wk[49][2]=[0‥1]) :: init: true :: relation: MDD 1428223605, 11 edges, 3 vertices, 10 tuples
22.50/8.01	c 05:59:17.291 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30569. 'extension(10, x[21][49]=[0‥10]) :: init: true :: relation: MDD 991363637, 25 edges, 5 vertices, 36 tuples
22.50/8.01	c 05:59:17.292 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30572. 'extension(10, 10) :: init: true :: relation: MDD 991363637, 25 edges, 5 vertices, 36 tuples
22.50/8.01	c 05:59:17.294 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30629. 'extension(10, wk[51][2]=[0‥1]) :: init: true :: relation: MDD 1002146838, 11 edges, 3 vertices, 10 tuples
22.50/8.01	c 05:59:17.294 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30630. 'extension(10, x[21][51]=[0‥10]) :: init: true :: relation: MDD 725884502, 25 edges, 5 vertices, 36 tuples
22.50/8.01	c 05:59:17.294 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30633. 'extension(10, 10) :: init: true :: relation: MDD 725884502, 25 edges, 5 vertices, 36 tuples
22.50/8.01	c 05:59:17.297 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30688. 'extension(x[20][22]=[0‥10], 10) :: init: true :: relation: MDD 686904524, 25 edges, 5 vertices, 36 tuples
22.50/8.01	c 05:59:17.297 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30689. 'extension(10, x[22][22]=[0‥10]) :: init: true :: relation: MDD 686904524, 25 edges, 5 vertices, 36 tuples
22.50/8.01	c 05:59:17.298 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30746. 'extension(x[20][32]=[0‥10], 10) :: init: true :: relation: MDD 673992096, 25 edges, 5 vertices, 36 tuples
22.50/8.01	c 05:59:17.301 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30747. 'extension(10, x[22][32]=[0‥10]) :: init: true :: relation: MDD 673992096, 25 edges, 5 vertices, 36 tuples
22.50/8.01	c 05:59:17.304 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30804. 'extension(x[21][7]=[0‥10], 10) :: init: true :: relation: MDD 732918485, 25 edges, 5 vertices, 36 tuples
22.50/8.01	c 05:59:17.305 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30805. 'extension(10, x[23][7]=[0‥10]) :: init: true :: relation: MDD 732918485, 25 edges, 5 vertices, 36 tuples
22.50/8.02	c 05:59:17.307 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30862. 'extension(x[21][20]=[0‥10], 10) :: init: true :: relation: MDD 2090593105, 25 edges, 5 vertices, 36 tuples
22.50/8.02	c 05:59:17.307 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30920. 'extension(x[21][23]=[0‥10], 10) :: init: true :: relation: MDD 1277490082, 25 edges, 5 vertices, 36 tuples
22.50/8.02	c 05:59:17.308 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30921. 'extension(10, x[23][23]=[0‥10]) :: init: true :: relation: MDD 1277490082, 25 edges, 5 vertices, 36 tuples
22.50/8.02	c 05:59:17.311 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30978. 'extension(x[22][8]=[0‥10], 10) :: init: true :: relation: MDD 1747327205, 25 edges, 5 vertices, 36 tuples
22.50/8.02	c 05:59:17.311 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30979. 'extension(10, x[24][8]=[0‥10]) :: init: true :: relation: MDD 1747327205, 25 edges, 5 vertices, 36 tuples
22.50/8.02	c 05:59:17.313 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31035. 'extension(10, x[24][20]=[0‥10]) :: init: true :: relation: MDD 2090593105, 25 edges, 5 vertices, 36 tuples
22.50/8.02	c 05:59:17.313 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31038. 'extension(10, 10) :: init: true :: relation: MDD 2090593105, 25 edges, 5 vertices, 36 tuples
22.50/8.02	c 05:59:17.315 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31092. 'extension(x[22][21]=[0‥10], 10) :: init: true :: relation: MDD 1595487029, 25 edges, 5 vertices, 36 tuples
22.50/8.02	c 05:59:17.316 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31149. 'extension(x[22][31]=[0‥10], 10) :: init: true :: relation: MDD 636536295, 25 edges, 5 vertices, 36 tuples
22.50/8.02	c 05:59:17.316 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31206. 'extension(x[22][41]=[0‥10], 10) :: init: true :: relation: MDD 2050328083, 25 edges, 5 vertices, 36 tuples
22.50/8.03	c 05:59:17.316 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31207. 'extension(10, x[24][41]=[0‥10]) :: init: true :: relation: MDD 2050328083, 25 edges, 5 vertices, 36 tuples
22.50/8.03	c 05:59:17.319 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31264. 'extension(x[23][0]=[0‥10], 10) :: init: true :: relation: MDD 319086807, 25 edges, 5 vertices, 36 tuples
22.50/8.03	c 05:59:17.320 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31265. 'extension(10, x[25][0]=[0‥10]) :: init: true :: relation: MDD 319086807, 25 edges, 5 vertices, 36 tuples
22.50/8.03	c 05:59:17.322 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31320. 'extension(x[23][11]=[0‥10], 10) :: init: true :: relation: MDD 903297131, 25 edges, 5 vertices, 36 tuples
22.50/8.03	c 05:59:17.322 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31376. 'extension(10, x[25][21]=[0‥10]) :: init: true :: relation: MDD 1595487029, 25 edges, 5 vertices, 36 tuples
22.50/8.03	c 05:59:17.323 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31379. 'extension(10, 10) :: init: true :: relation: MDD 1595487029, 25 edges, 5 vertices, 36 tuples
22.50/8.03	c 05:59:17.324 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31432. 'extension(x[23][30]=[0‥10], 10) :: init: true :: relation: MDD 545116599, 25 edges, 5 vertices, 36 tuples
22.50/8.03	c 05:59:17.325 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31488. 'extension(10, x[25][31]=[0‥10]) :: init: true :: relation: MDD 636536295, 25 edges, 5 vertices, 36 tuples
22.50/8.03	c 05:59:17.325 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31491. 'extension(10, 10) :: init: true :: relation: MDD 636536295, 25 edges, 5 vertices, 36 tuples
22.50/8.04	c 05:59:17.327 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31544. 'extension(x[23][37]=[0‥10], 10) :: init: true :: relation: MDD 744541767, 25 edges, 5 vertices, 36 tuples
22.50/8.04	c 05:59:17.327 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31545. 'extension(10, x[25][37]=[0‥10]) :: init: true :: relation: MDD 744541767, 25 edges, 5 vertices, 36 tuples
22.50/8.04	c 05:59:17.329 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31600. 'extension(x[23][57]=[0‥10], 10) :: init: true :: relation: MDD 362463583, 25 edges, 5 vertices, 36 tuples
22.50/8.04	c 05:59:17.330 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31656. 'extension(x[24][1]=[0‥10], 10) :: init: true :: relation: MDD 1128198660, 25 edges, 5 vertices, 36 tuples
22.50/8.04	c 05:59:17.331 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31711. 'extension(10, x[26][11]=[0‥10]) :: init: true :: relation: MDD 903297131, 25 edges, 5 vertices, 36 tuples
22.50/8.04	c 05:59:17.331 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31714. 'extension(10, 10) :: init: true :: relation: MDD 903297131, 25 edges, 5 vertices, 36 tuples
22.50/8.04	c 05:59:17.333 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31766. 'extension(x[24][12]=[0‥10], 10) :: init: true :: relation: MDD 1701378456, 25 edges, 5 vertices, 36 tuples
22.50/8.04	c 05:59:17.333 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31821. 'extension(x[24][14]=[0‥10], 10) :: init: true :: relation: MDD 1081836597, 25 edges, 5 vertices, 36 tuples
22.50/8.04	c 05:59:17.334 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31822. 'extension(10, x[26][14]=[0‥10]) :: init: true :: relation: MDD 1081836597, 25 edges, 5 vertices, 36 tuples
22.50/8.04	c 05:59:17.335 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31876. 'extension(10, x[26][30]=[0‥10]) :: init: true :: relation: MDD 545116599, 25 edges, 5 vertices, 36 tuples
22.50/8.04	c 05:59:17.336 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31879. 'extension(10, 10) :: init: true :: relation: MDD 545116599, 25 edges, 5 vertices, 36 tuples
22.50/8.05	c 05:59:17.337 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31931. 'extension(x[24][34]=[0‥10], 10) :: init: true :: relation: MDD 1342373353, 25 edges, 5 vertices, 36 tuples
22.50/8.05	c 05:59:17.338 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31932. 'extension(10, x[26][34]=[0‥10]) :: init: true :: relation: MDD 1342373353, 25 edges, 5 vertices, 36 tuples
22.50/8.05	c 05:59:17.339 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31986. 'extension(10, x[26][57]=[0‥10]) :: init: true :: relation: MDD 362463583, 25 edges, 5 vertices, 36 tuples
22.50/8.05	c 05:59:17.340 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31989. 'extension(10, 10) :: init: true :: relation: MDD 362463583, 25 edges, 5 vertices, 36 tuples
22.50/8.05	c 05:59:17.342 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32041. 'extension(10, wk[1][3]=[0‥1]) :: init: true :: relation: MDD 745287727, 11 edges, 3 vertices, 10 tuples
22.50/8.05	c 05:59:17.342 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32042. 'extension(10, x[27][1]=[0‥10]) :: init: true :: relation: MDD 1128198660, 25 edges, 5 vertices, 36 tuples
22.50/8.05	c 05:59:17.342 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32044. 'extension(10, 10) :: init: true :: relation: MDD 1128198660, 25 edges, 5 vertices, 36 tuples
22.50/8.05	c 05:59:17.344 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32095. 'extension(10, wk[12][3]=[0‥1]) :: init: true :: relation: MDD 215694469, 11 edges, 3 vertices, 10 tuples
22.50/8.05	c 05:59:17.344 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32096. 'extension(10, x[27][12]=[0‥10]) :: init: true :: relation: MDD 1701378456, 25 edges, 5 vertices, 36 tuples
22.50/8.05	c 05:59:17.344 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32098. 'extension(10, 10) :: init: true :: relation: MDD 1701378456, 25 edges, 5 vertices, 36 tuples
22.50/8.05	c 05:59:17.346 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32149. 'extension(10, wk[22][3]=[0‥1]) :: init: true :: relation: MDD 977245867, 11 edges, 3 vertices, 10 tuples
22.50/8.05	c 05:59:17.346 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32150. 'extension(x[25][22]=[0‥10], 10) :: init: true :: relation: MDD 686904524, 25 edges, 5 vertices, 36 tuples
22.50/8.05	c 05:59:17.346 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32151. 'extension(10, x[27][22]=[0‥10]) :: init: true :: relation: MDD 686904524, 25 edges, 5 vertices, 36 tuples
22.50/8.06	c 05:59:17.348 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32203. 'extension(10, wk[58][3]=[0‥1]) :: init: true :: relation: MDD 1700344615, 11 edges, 3 vertices, 10 tuples
22.50/8.06	c 05:59:17.348 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32204. 'extension(x[25][58]=[0‥10], 10) :: init: true :: relation: MDD 1680630881, 25 edges, 5 vertices, 36 tuples
22.50/8.06	c 05:59:17.348 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32205. 'extension(10, x[27][58]=[0‥10]) :: init: true :: relation: MDD 1680630881, 25 edges, 5 vertices, 36 tuples
22.50/8.06	c 05:59:17.350 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32257. 'extension(10, wk[6][3]=[0‥1]) :: init: true :: relation: MDD 2007031139, 11 edges, 3 vertices, 10 tuples
22.50/8.06	c 05:59:17.351 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32258. 'extension(x[26][6]=[0‥10], 10) :: init: true :: relation: MDD 1545308588, 25 edges, 5 vertices, 36 tuples
22.50/8.06	c 05:59:17.351 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32259. 'extension(10, x[26][6]=[0‥10]) :: init: true :: relation: MDD 42496654, 11 edges, 3 vertices, 10 tuples
22.50/8.06	c 05:59:17.352 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32307. 'extension(10, wk[13][3]=[0‥1]) :: init: true :: relation: MDD 140778365, 11 edges, 3 vertices, 10 tuples
22.50/8.06	c 05:59:17.352 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32308. 'extension(x[26][13]=[0‥10], 10) :: init: true :: relation: MDD 925976643, 25 edges, 5 vertices, 36 tuples
22.50/8.06	c 05:59:17.353 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32309. 'extension(10, x[26][13]=[0‥10]) :: init: true :: relation: MDD 1056175713, 11 edges, 3 vertices, 10 tuples
22.50/8.08	c 05:59:17.371 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32478. 'extension(x[1][8]=[0‥10]) :: init: true :: relation: Empty MDD
22.50/8.08	c 05:59:17.371 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32480. 'extension(x[1][8]=[0‥10]) :: init: true :: relation: Empty MDD
22.50/8.08	c 05:59:17.371 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32486. 'extension(x[1][10]=[0‥10]) :: init: true :: relation: Empty MDD
22.50/8.08	c 05:59:17.372 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32488. 'extension(x[1][10]=[0‥10]) :: init: true :: relation: Empty MDD
22.50/8.08	c 05:59:17.372 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32494. 'extension(x[1][37]=[0‥10]) :: init: true :: relation: Empty MDD
22.50/8.08	c 05:59:17.372 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32496. 'extension(x[1][37]=[0‥10]) :: init: true :: relation: Empty MDD
22.50/8.08	c 05:59:17.372 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32502. 'extension(x[1][40]=[0‥10]) :: init: true :: relation: Empty MDD
22.50/8.09	c 05:59:17.373 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32504. 'extension(x[1][40]=[0‥10]) :: init: true :: relation: Empty MDD
22.50/8.09	c 05:59:17.373 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32510. 'extension(x[1][58]=[0‥10]) :: init: true :: relation: Empty MDD
22.50/8.09	c 05:59:17.373 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32512. 'extension(x[1][58]=[0‥10]) :: init: true :: relation: Empty MDD
22.50/8.09	c 05:59:17.374 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32518. 'extension(x[0][4]=[0‥10]) :: init: true :: relation: Empty MDD
22.50/8.09	c 05:59:17.374 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32520. 'extension(x[2][4]=[0‥10]) :: init: true :: relation: Empty MDD
22.50/8.09	c 05:59:17.374 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32532. 'extension(x[0][54]=[0‥10]) :: init: true :: relation: Empty MDD
22.50/8.09	c 05:59:17.375 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32536. 'extension(x[2][59]=[0‥10]) :: init: true :: relation: Empty MDD
22.50/8.09	c 05:59:17.375 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32546. 'extension(x[1][19]=[0‥10]) :: init: true :: relation: Empty MDD
22.50/8.09	c 05:59:17.375 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32548. 'extension(x[3][19]=[0‥10]) :: init: true :: relation: Empty MDD
22.50/8.09	c 05:59:17.376 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32562. 'extension(x[1][47]=[0‥10]) :: init: true :: relation: Empty MDD
22.50/8.09	c 05:59:17.376 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32566. 'extension(x[3][54]=[0‥10]) :: init: true :: relation: Empty MDD
22.50/8.09	c 05:59:17.377 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32580. 'extension(x[2][2]=[0‥10]) :: init: true :: relation: Empty MDD
22.50/8.09	c 05:59:17.377 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32582. 'extension(x[4][2]=[0‥10]) :: init: true :: relation: Empty MDD
22.50/8.09	c 05:59:17.378 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32596. 'extension(x[2][14]=[0‥10]) :: init: true :: relation: Empty MDD
22.50/8.09	c 05:59:17.378 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32598. 'extension(x[4][14]=[0‥10]) :: init: true :: relation: Empty MDD
22.50/8.09	c 05:59:17.379 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32612. 'extension(x[2][41]=[0‥10]) :: init: true :: relation: Empty MDD
22.50/8.09	c 05:59:17.379 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32614. 'extension(x[4][41]=[0‥10]) :: init: true :: relation: Empty MDD
22.50/8.09	c 05:59:17.380 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32630. 'extension(x[2][42]=[0‥10]) :: init: true :: relation: Empty MDD
22.50/8.09	c 05:59:17.380 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32632. 'extension(x[4][42]=[0‥10]) :: init: true :: relation: Empty MDD
22.50/8.09	c 05:59:17.381 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32648. 'extension(x[2][44]=[0‥10]) :: init: true :: relation: Empty MDD
22.50/8.09	c 05:59:17.381 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32654. 'extension(x[4][47]=[0‥10]) :: init: true :: relation: Empty MDD
22.50/8.09	c 05:59:17.382 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32670. 'extension(x[2][56]=[0‥10]) :: init: true :: relation: Empty MDD
22.50/8.09	c 05:59:17.382 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32676. 'extension(x[3][43]=[0‥10]) :: init: true :: relation: Empty MDD
22.50/8.09	c 05:59:17.383 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32682. 'extension(x[5][44]=[0‥10]) :: init: true :: relation: Empty MDD
22.50/8.09	c 05:59:17.384 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32698. 'extension(x[3][52]=[0‥10]) :: init: true :: relation: Empty MDD
22.50/8.09	c 05:59:17.384 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32704. 'extension(x[5][56]=[0‥10]) :: init: true :: relation: Empty MDD
22.50/8.09	c 05:59:17.384 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32718. 'extension(wk[4][0]=[0‥1]) :: init: true :: relation: Empty MDD
22.50/8.09	c 05:59:17.385 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32720. 'extension(x[4][4]=[0‥10]) :: init: true :: relation: Empty MDD
22.50/8.09	c 05:59:17.385 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32722. 'extension(x[6][4]=[0‥10]) :: init: true :: relation: Empty MDD
22.50/8.09	c 05:59:17.385 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32736. 'extension(wk[18][0]=[0‥1]) :: init: true :: relation: Empty MDD
22.50/8.09	c 05:59:17.386 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32738. 'extension(x[4][18]=[0‥10]) :: init: true :: relation: Empty MDD
22.50/8.09	c 05:59:17.386 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32740. 'extension(x[6][18]=[0‥10]) :: init: true :: relation: Empty MDD
22.50/8.09	c 05:59:17.386 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32754. 'extension(wk[28][0]=[0‥1]) :: init: true :: relation: Empty MDD
22.50/8.10	c 05:59:17.387 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32756. 'extension(x[4][28]=[0‥10]) :: init: true :: relation: Empty MDD
22.50/8.10	c 05:59:17.387 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32758. 'extension(x[6][28]=[0‥10]) :: init: true :: relation: Empty MDD
22.50/8.10	c 05:59:17.387 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32772. 'extension(wk[29][0]=[0‥1]) :: init: true :: relation: Empty MDD
22.50/8.10	c 05:59:17.388 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32774. 'extension(x[4][29]=[0‥10]) :: init: true :: relation: Empty MDD
22.50/8.10	c 05:59:17.388 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32776. 'extension(x[6][29]=[0‥10]) :: init: true :: relation: Empty MDD
22.50/8.10	c 05:59:17.388 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32790. 'extension(wk[43][0]=[0‥1]) :: init: true :: relation: Empty MDD
22.50/8.10	c 05:59:17.389 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32792. 'extension(x[6][43]=[0‥10]) :: init: true :: relation: Empty MDD
22.50/8.10	c 05:59:17.389 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32808. 'extension(wk[52][0]=[0‥1]) :: init: true :: relation: Empty MDD
22.50/8.10	c 05:59:17.390 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32810. 'extension(x[6][52]=[0‥10]) :: init: true :: relation: Empty MDD
22.50/8.10	c 05:59:17.390 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32824. 'extension(wk[25][0]=[0‥1]) :: init: true :: relation: Empty MDD
22.50/8.10	c 05:59:17.390 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32826. 'extension(x[5][25]=[0‥10]) :: init: true :: relation: Empty MDD
22.50/8.10	c 05:59:17.391 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32832. 'extension(wk[36][0]=[0‥1]) :: init: true :: relation: Empty MDD
22.50/8.10	c 05:59:17.391 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32834. 'extension(x[5][36]=[0‥10]) :: init: true :: relation: Empty MDD
22.50/8.10	c 05:59:17.391 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32840. 'extension(x[6][0]=[0‥10]) :: init: true :: relation: Empty MDD
22.50/8.10	c 05:59:17.391 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32842. 'extension(x[8][0]=[0‥10]) :: init: true :: relation: Empty MDD
22.50/8.10	c 05:59:17.392 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32856. 'extension(x[6][15]=[0‥10]) :: init: true :: relation: Empty MDD
22.50/8.10	c 05:59:17.392 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32862. 'extension(x[6][24]=[0‥10]) :: init: true :: relation: Empty MDD
22.50/8.10	c 05:59:17.393 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32864. 'extension(x[8][24]=[0‥10]) :: init: true :: relation: Empty MDD
22.50/8.10	c 05:59:17.393 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32878. 'extension(x[8][25]=[0‥10]) :: init: true :: relation: Empty MDD
22.50/8.10	c 05:59:17.394 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32892. 'extension(x[8][36]=[0‥10]) :: init: true :: relation: Empty MDD
22.50/8.10	c 05:59:17.394 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32906. 'extension(x[7][7]=[0‥10]) :: init: true :: relation: Empty MDD
22.50/8.10	c 05:59:17.394 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32908. 'extension(x[9][7]=[0‥10]) :: init: true :: relation: Empty MDD
22.50/8.10	c 05:59:17.395 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32922. 'extension(x[9][15]=[0‥10]) :: init: true :: relation: Empty MDD
22.50/8.10	c 05:59:17.396 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32936. 'extension(x[7][50]=[0‥10]) :: init: true :: relation: Empty MDD
22.50/8.10	c 05:59:17.396 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32938. 'extension(x[9][50]=[0‥10]) :: init: true :: relation: Empty MDD
22.50/8.10	c 05:59:17.396 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32952. 'extension(x[8][16]=[0‥10]) :: init: true :: relation: Empty MDD
22.50/8.11	c 05:59:17.397 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32958. 'extension(x[8][32]=[0‥10]) :: init: true :: relation: Empty MDD
22.50/8.11	c 05:59:17.397 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32960. 'extension(x[10][32]=[0‥10]) :: init: true :: relation: Empty MDD
22.50/8.11	c 05:59:17.397 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32974. 'extension(x[8][38]=[0‥10]) :: init: true :: relation: Empty MDD
22.50/8.11	c 05:59:17.398 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32976. 'extension(x[10][38]=[0‥10]) :: init: true :: relation: Empty MDD
22.50/8.11	c 05:59:17.398 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32990. 'extension(x[8][40]=[0‥10]) :: init: true :: relation: Empty MDD
22.50/8.11	c 05:59:17.398 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32992. 'extension(x[10][40]=[0‥10]) :: init: true :: relation: Empty MDD
22.50/8.11	c 05:59:17.399 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33008. 'extension(x[9][5]=[0‥10]) :: init: true :: relation: Empty MDD
22.50/8.11	c 05:59:17.399 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33010. 'extension(x[11][5]=[0‥10]) :: init: true :: relation: Empty MDD
22.50/8.11	c 05:59:17.400 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33024. 'extension(x[9][9]=[0‥10]) :: init: true :: relation: Empty MDD
22.50/8.11	c 05:59:17.400 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33026. 'extension(x[11][9]=[0‥10]) :: init: true :: relation: Empty MDD
22.50/8.11	c 05:59:17.401 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33040. 'extension(x[11][16]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.11	c 05:59:17.401 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33054. 'extension(x[9][23]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.11	c 05:59:17.401 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33056. 'extension(x[11][23]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.11	c 05:59:17.402 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33070. 'extension(x[9][27]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.11	c 05:59:17.402 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33072. 'extension(x[11][27]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.11	c 05:59:17.403 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33086. 'extension(x[9][45]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.11	c 05:59:17.403 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33088. 'extension(x[11][45]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.11	c 05:59:17.404 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33104. 'extension(x[10][3]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.11	c 05:59:17.404 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33110. 'extension(x[10][35]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.11	c 05:59:17.405 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33116. 'extension(wk[3][1]=[0‥1]) :: init: true :: relation: Empty MDD
22.83/8.11	c 05:59:17.405 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33118. 'extension(x[13][3]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.11	c 05:59:17.405 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33132. 'extension(wk[13][1]=[0‥1]) :: init: true :: relation: Empty MDD
22.83/8.11	c 05:59:17.405 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33134. 'extension(x[11][13]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.11	c 05:59:17.406 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33136. 'extension(x[13][13]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.11	c 05:59:17.406 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33150. 'extension(wk[33][1]=[0‥1]) :: init: true :: relation: Empty MDD
22.83/8.11	c 05:59:17.406 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33152. 'extension(x[11][33]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.11	c 05:59:17.406 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33154. 'extension(x[13][33]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.12	c 05:59:17.407 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33168. 'extension(wk[35][1]=[0‥1]) :: init: true :: relation: Empty MDD
22.83/8.12	c 05:59:17.407 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33170. 'extension(x[13][35]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.12	c 05:59:17.408 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33184. 'extension(wk[6][1]=[0‥1]) :: init: true :: relation: Empty MDD
22.83/8.12	c 05:59:17.408 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33186. 'extension(x[12][6]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.12	c 05:59:17.408 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33188. 'extension(x[14][6]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.12	c 05:59:17.409 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33202. 'extension(wk[9][1]=[0‥1]) :: init: true :: relation: Empty MDD
22.83/8.12	c 05:59:17.409 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33204. 'extension(x[12][9]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.12	c 05:59:17.409 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33206. 'extension(x[14][9]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.12	c 05:59:17.410 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33220. 'extension(wk[10][1]=[0‥1]) :: init: true :: relation: Empty MDD
22.83/8.12	c 05:59:17.410 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33222. 'extension(x[12][10]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.12	c 05:59:17.410 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33224. 'extension(x[14][10]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.12	c 05:59:17.411 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33238. 'extension(wk[39][1]=[0‥1]) :: init: true :: relation: Empty MDD
22.83/8.12	c 05:59:17.411 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33240. 'extension(x[12][39]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.12	c 05:59:17.411 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33246. 'extension(x[13][24]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.12	c 05:59:17.411 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33248. 'extension(x[15][24]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.12	c 05:59:17.412 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33262. 'extension(x[13][34]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.12	c 05:59:17.412 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33264. 'extension(x[15][34]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.12	c 05:59:17.413 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33278. 'extension(x[15][39]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.12	c 05:59:17.413 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33292. 'extension(x[13][45]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.12	c 05:59:17.413 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33294. 'extension(x[15][45]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.12	c 05:59:17.414 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33310. 'extension(x[13][55]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.12	c 05:59:17.414 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33312. 'extension(x[15][55]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.12	c 05:59:17.415 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33326. 'extension(x[14][18]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.12	c 05:59:17.415 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33328. 'extension(x[16][18]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.12	c 05:59:17.416 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33342. 'extension(x[14][27]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.12	c 05:59:17.416 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33344. 'extension(x[16][27]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.12	c 05:59:17.416 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33358. 'extension(x[14][48]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.13	c 05:59:17.417 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33364. 'extension(x[15][2]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.13	c 05:59:17.417 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33366. 'extension(x[17][2]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.13	c 05:59:17.417 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33380. 'extension(x[15][17]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.13	c 05:59:17.418 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33386. 'extension(x[15][38]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.13	c 05:59:17.418 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33388. 'extension(x[17][38]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.13	c 05:59:17.418 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33402. 'extension(x[17][48]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.13	c 05:59:17.419 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33418. 'extension(x[15][50]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.13	c 05:59:17.419 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33420. 'extension(x[17][50]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.13	c 05:59:17.420 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33434. 'extension(x[16][5]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.13	c 05:59:17.420 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33436. 'extension(x[18][5]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.13	c 05:59:17.421 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33450. 'extension(x[18][17]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.13	c 05:59:17.421 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33464. 'extension(x[16][19]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.13	c 05:59:17.421 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33466. 'extension(x[18][19]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.13	c 05:59:17.422 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33480. 'extension(x[16][28]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.13	c 05:59:17.422 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33482. 'extension(x[18][28]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.13	c 05:59:17.423 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33496. 'extension(x[16][33]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.13	c 05:59:17.423 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33498. 'extension(x[18][33]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.13	c 05:59:17.424 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33512. 'extension(x[16][55]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.13	c 05:59:17.424 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33514. 'extension(x[18][55]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.14	c 05:59:17.424 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33528. 'extension(x[17][42]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.14	c 05:59:17.425 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33530. 'extension(x[19][42]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.14	c 05:59:17.425 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33546. 'extension(x[17][46]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.14	c 05:59:17.426 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33552. 'extension(x[17][53]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.14	c 05:59:17.426 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33558. 'extension(wk[26][2]=[0‥1]) :: init: true :: relation: Empty MDD
22.83/8.14	c 05:59:17.426 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33560. 'extension(x[18][26]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.14	c 05:59:17.426 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33566. 'extension(wk[46][2]=[0‥1]) :: init: true :: relation: Empty MDD
22.83/8.14	c 05:59:17.427 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33568. 'extension(x[20][46]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.14	c 05:59:17.427 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33584. 'extension(wk[49][2]=[0‥1]) :: init: true :: relation: Empty MDD
22.83/8.14	c 05:59:17.427 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33586. 'extension(x[18][49]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.14	c 05:59:17.428 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33592. 'extension(wk[51][2]=[0‥1]) :: init: true :: relation: Empty MDD
22.83/8.14	c 05:59:17.428 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33594. 'extension(x[18][51]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.14	c 05:59:17.428 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33600. 'extension(wk[53][2]=[0‥1]) :: init: true :: relation: Empty MDD
22.83/8.14	c 05:59:17.428 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33602. 'extension(x[20][53]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.14	c 05:59:17.429 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33616. 'extension(wk[26][2]=[0‥1]) :: init: true :: relation: Empty MDD
22.83/8.14	c 05:59:17.429 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33618. 'extension(x[21][26]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.14	c 05:59:17.430 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33632. 'extension(wk[29][2]=[0‥1]) :: init: true :: relation: Empty MDD
22.83/8.14	c 05:59:17.430 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33634. 'extension(x[19][29]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.14	c 05:59:17.430 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33636. 'extension(x[21][29]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.14	c 05:59:17.431 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33650. 'extension(wk[49][2]=[0‥1]) :: init: true :: relation: Empty MDD
22.83/8.14	c 05:59:17.431 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33652. 'extension(x[21][49]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.14	c 05:59:17.431 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33668. 'extension(wk[51][2]=[0‥1]) :: init: true :: relation: Empty MDD
22.83/8.14	c 05:59:17.432 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33670. 'extension(x[21][51]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.14	c 05:59:17.432 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33684. 'extension(x[20][22]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.14	c 05:59:17.432 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33686. 'extension(x[22][22]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.14	c 05:59:17.433 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33700. 'extension(x[20][32]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.14	c 05:59:17.433 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33702. 'extension(x[22][32]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.14	c 05:59:17.434 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33716. 'extension(x[21][7]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.14	c 05:59:17.434 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33718. 'extension(x[23][7]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.14	c 05:59:17.435 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33732. 'extension(x[21][20]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.14	c 05:59:17.435 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33738. 'extension(x[21][23]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.14	c 05:59:17.435 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33740. 'extension(x[23][23]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.14	c 05:59:17.436 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33754. 'extension(x[22][8]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.14	c 05:59:17.436 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33756. 'extension(x[24][8]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.15	c 05:59:17.437 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33770. 'extension(x[24][20]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.15	c 05:59:17.437 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33784. 'extension(x[22][21]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.15	c 05:59:17.437 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33790. 'extension(x[22][31]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.15	c 05:59:17.438 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33796. 'extension(x[22][41]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.15	c 05:59:17.438 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33798. 'extension(x[24][41]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.15	c 05:59:17.439 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33814. 'extension(x[23][0]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.15	c 05:59:17.439 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33816. 'extension(x[25][0]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.15	c 05:59:17.439 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33830. 'extension(x[23][11]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.15	c 05:59:17.440 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33836. 'extension(x[25][21]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.15	c 05:59:17.440 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33850. 'extension(x[23][30]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.15	c 05:59:17.441 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33856. 'extension(x[25][31]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.15	c 05:59:17.441 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33870. 'extension(x[23][37]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.15	c 05:59:17.441 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33872. 'extension(x[25][37]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.15	c 05:59:17.442 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33886. 'extension(x[23][57]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.15	c 05:59:17.442 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33892. 'extension(x[24][1]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.15	c 05:59:17.443 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33898. 'extension(x[26][11]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.15	c 05:59:17.443 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33912. 'extension(x[24][12]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.15	c 05:59:17.443 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33918. 'extension(x[24][14]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.15	c 05:59:17.444 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33920. 'extension(x[26][14]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.15	c 05:59:17.444 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33934. 'extension(x[26][30]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.15	c 05:59:17.445 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33948. 'extension(x[24][34]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.15	c 05:59:17.445 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33950. 'extension(x[26][34]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.15	c 05:59:17.445 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33964. 'extension(x[26][57]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.15	c 05:59:17.446 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33978. 'extension(wk[1][3]=[0‥1]) :: init: true :: relation: Empty MDD
22.83/8.15	c 05:59:17.446 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33980. 'extension(x[27][1]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.15	c 05:59:17.446 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33992. 'extension(wk[12][3]=[0‥1]) :: init: true :: relation: Empty MDD
22.83/8.16	c 05:59:17.447 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33994. 'extension(x[27][12]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.16	c 05:59:17.447 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34006. 'extension(wk[22][3]=[0‥1]) :: init: true :: relation: Empty MDD
22.83/8.16	c 05:59:17.447 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34008. 'extension(x[25][22]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.16	c 05:59:17.447 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34010. 'extension(x[27][22]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.16	c 05:59:17.448 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34022. 'extension(wk[58][3]=[0‥1]) :: init: true :: relation: Empty MDD
22.83/8.16	c 05:59:17.448 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34024. 'extension(x[25][58]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.16	c 05:59:17.448 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34026. 'extension(x[27][58]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.16	c 05:59:17.449 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34038. 'extension(wk[6][3]=[0‥1]) :: init: true :: relation: Empty MDD
22.83/8.16	c 05:59:17.449 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34040. 'extension(x[26][6]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.16	c 05:59:17.449 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34042. 'extension(x[26][6]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.16	c 05:59:17.449 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34048. 'extension(wk[13][3]=[0‥1]) :: init: true :: relation: Empty MDD
22.83/8.16	c 05:59:17.449 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34050. 'extension(x[26][13]=[0‥10]) :: init: true :: relation: Empty MDD
22.83/8.16	c 05:59:17.449 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34052. 'extension(x[26][13]=[0‥10]) :: init: true :: relation: Empty MDD
2520.09/2444.41	Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost
2520.09/2444.41		at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:24)
2520.09/2444.41		at concrete.heuristic.value.BestCost.$anonfun$select$2(BestCost.scala:53)
2520.09/2444.41		at concrete.BitVectorDomain.$anonfun$filter$1(BitVectorDomain.scala:126)
2520.09/2444.41		at bitvectors.SmallBitVector.filter(SmallBitVector.scala:142)
2520.09/2444.41		at bitvectors.SmallBitVector.filter(SmallBitVector.scala:5)
2520.09/2444.41		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:126)
2520.09/2444.41		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:8)
2520.09/2444.41		at concrete.heuristic.value.BestCost.select(BestCost.scala:53)
2520.09/2444.41		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
2520.09/2444.41		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103)
2520.09/2444.41		at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.09/2444.41		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
2520.09/2444.41		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103)
2520.09/2444.41		at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.09/2444.41		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
2520.09/2444.41		at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:109)
2520.09/2444.41		at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42)
2520.09/2444.41		at scala.Option.map(Option.scala:146)
2520.09/2444.41		at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40)
2520.09/2444.41		at concrete.MAC.mac(MAC.scala:203)
2520.09/2444.41		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.09/2444.41		at scala.util.Try$.apply(Try.scala:209)
2520.09/2444.41		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.09/2444.41		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.09/2444.41		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.09/2444.41		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.09/2444.41		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.09/2444.41		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.09/2444.41		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.09/2444.41		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.09/2444.41		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.09/2444.41		at concrete.MAC.oneRun(MAC.scala:253)
2520.09/2444.41		at concrete.MAC.nextSolution(MAC.scala:272)
2520.09/2444.41		at concrete.MAC.$anonfun$nextSolution$5(MAC.scala:336)
2520.09/2444.41		at concrete.ProblemState.map(ProblemState.scala:221)
2520.09/2444.41		at concrete.ProblemState.map(ProblemState.scala:204)
2520.09/2444.41		at concrete.MAC.nextSolution(MAC.scala:334)
2520.09/2444.41		at concrete.Solver.hasNext(Solver.scala:166)
2520.09/2444.41		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.09/2444.41		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.09/2444.41		at concrete.Solver.foreach(Solver.scala:68)
2520.09/2444.41		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.09/2444.41		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.09/2444.41		at scala.util.Success.map(Try.scala:209)
2520.09/2444.41		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.09/2444.41		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.09/2444.41		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.09/2444.41		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.09/2444.41		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.09/2444.41		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.09/2444.41		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.09/2444.41		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.09/2444.41		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.09/2444.41		at scala.collection.immutable.List.foreach(List.scala:389)
2520.09/2444.41		at scala.App.main(App.scala:76)
2520.09/2444.41		at scala.App.main$(App.scala:74)
2520.09/2444.41		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.09/2444.41		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.09/2444.42	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 (4837 MiB free)
  memory of node 1: 16384 MiB (5424 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304195-1534046349/watcher-4304195-1534046349 -o /tmp/evaluation-result-4304195-1534046349/solver-4304195-1534046349 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1534038877-15391 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1758268148 HOME/instance-4304195-1534046349.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=16674, runsolver pid=16671
Current StackSize limit: 8192 KiB


[startup+0.109764 s]*
/proc/loadavg: 1.40 1.34 1.33 3/206 16731
/proc/meminfo: memFree=10497244/32770624 swapFree=67108496/67108860
[pid=16674] ppid=16671 vsize=10453864 memory=24392 CPUtime=0.1 cores=1,3,5,7
/proc/16674/stat : 16674 (java) S 16671 16674 14233 0 -1 1077944320 4725 12944 0 0 2 1 5 2 20 0 9 0 222198071 10704756736 6098 33554432000 4194304 4196468 140731512003264 140731511985808 140128513814263 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
/proc/16674/statm: 2613466 6098 2101 1 0 2576007 0
[pid=16674/tid=16727] ppid=16671 vsize=10453864 memory=4351193297984913547 CPUtime=0.08 cores=1,3,5,7
/proc/16674/task/16727/stat : 16727 (java) R 16671 16674 14233 0 -1 4202560 2512 12944 0 0 1 0 5 2 20 0 9 0 222198080 10704756736 6098 33554432000 4194304 4196468 140731512003264 140128485650288 140128497894750 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16728] ppid=16671 vsize=10453864 memory=8257237230052613020 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16728/stat : 16728 (java) S 16671 16674 14233 0 -1 1077944384 1 12944 0 0 0 0 5 2 20 0 9 0 222198081 10704756736 6098 33554432000 4194304 4196468 140731512003264 140128518056848 140128513824469 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16729] ppid=16671 vsize=10453864 memory=139769293223552 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16729/stat : 16729 (java) S 16671 16674 14233 0 -1 1077944384 1 12944 0 0 0 0 5 2 20 0 9 0 222198081 10704756736 6098 33554432000 4194304 4196468 140731512003264 140128409807632 140128513824469 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16730] ppid=16671 vsize=10453864 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16730/stat : 16730 (java) S 16671 16674 14233 0 -1 1077944384 1 12944 0 0 0 0 5 2 20 0 9 0 222198081 10704756736 6098 33554432000 4194304 4196468 140731512003264 140128052501648 140128513824469 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16731] ppid=16671 vsize=10453864 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16731/stat : 16731 (java) S 16671 16674 14233 0 -1 1077944384 2 12944 0 0 0 0 5 2 20 0 9 0 222198081 10704756736 6098 33554432000 4194304 4196468 140731512003264 140128051448848 140128513824469 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16732] ppid=16671 vsize=10453864 memory=139769293223552 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16732/stat : 16732 (java) S 16671 16674 14233 0 -1 1077944384 2 12944 0 0 0 0 5 2 20 0 9 0 222198082 10704756736 6098 33554432000 4194304 4196468 140731512003264 140128006871152 140128513825410 0 0 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16733] ppid=16671 vsize=10453864 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16733/stat : 16733 (java) S 16671 16674 14233 0 -1 1077944384 13 12944 0 0 0 0 5 2 20 0 9 0 222198083 10704756736 6098 33554432000 4194304 4196468 140731512003264 140127348187936 140128513824469 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16734] ppid=16671 vsize=10453864 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16734/stat : 16734 (java) S 16671 16674 14233 0 -1 1077944384 1 12944 0 0 0 0 5 2 20 0 9 0 222198083 10704756736 6098 33554432000 4194304 4196468 140731512003264 140127200339120 140128513824469 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10453864 KiB
Current children cumulated memory: 24392 KiB

[startup+0.210178 s]*
/proc/loadavg: 1.40 1.34 1.33 3/215 16740
/proc/meminfo: memFree=10479052/32770624 swapFree=67108496/67108860
[pid=16674] ppid=16671 vsize=10985364 memory=47004 CPUtime=0.25 cores=1,3,5,7
/proc/16674/stat : 16674 (java) S 16671 16674 14233 0 -1 1077944320 8466 12944 0 0 16 2 5 2 20 0 15 0 222198071 11249012736 11751 33554432000 4194304 4196468 140731512003264 140731511985808 140128513814263 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
/proc/16674/statm: 2746341 11751 2960 1 0 2708764 0
[pid=16674/tid=16727] ppid=16671 vsize=10985364 memory=7022364594140610616 CPUtime=0.18 cores=1,3,5,7
/proc/16674/task/16727/stat : 16727 (java) R 16671 16674 14233 0 -1 4202560 5157 12944 0 0 10 1 5 2 20 0 15 0 222198080 11249012736 11883 33554432000 4194304 4196468 140731512003264 140128485639072 140128506493981 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16728] ppid=16671 vsize=10985364 memory=288292155783643526 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16728/stat : 16728 (java) S 16671 16674 14233 0 -1 1077944384 1 12944 0 0 0 0 5 2 20 0 15 0 222198081 11249012736 11883 33554432000 4194304 4196468 140731512003264 140128518056848 140128513824469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16729] ppid=16671 vsize=10985364 memory=3688505497876708685 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16729/stat : 16729 (java) S 16671 16674 14233 0 -1 1077944384 1 12944 0 0 0 0 5 2 20 0 15 0 222198081 11249012736 11883 33554432000 4194304 4196468 140731512003264 140128409807632 140128513824469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16730] ppid=16671 vsize=10985364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16730/stat : 16730 (java) S 16671 16674 14233 0 -1 1077944384 1 12944 0 0 0 0 5 2 20 0 15 0 222198081 11249012736 11747 33554432000 4194304 4196468 140731512003264 140128052501648 140128513824469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16731] ppid=16671 vsize=10985364 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16731/stat : 16731 (java) S 16671 16674 14233 0 -1 1077944384 2 12944 0 0 0 0 5 2 20 0 15 0 222198081 11249012736 11534 33554432000 4194304 4196468 140731512003264 140128051448848 140128513824469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16732] ppid=16671 vsize=10985364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16732/stat : 16732 (java) S 16671 16674 14233 0 -1 1077944384 2 12944 0 0 0 0 5 2 20 0 15 0 222198082 11249012736 11534 33554432000 4194304 4196468 140731512003264 140128006871152 140128513825410 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16733] ppid=16671 vsize=10983736 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16733/stat : 16733 (java) S 16671 16674 14233 0 -1 1077944384 13 12944 0 0 0 0 5 2 20 0 15 0 222198083 11247345664 11534 33554432000 4194304 4196468 140731512003264 140127348187936 140128513824469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16734] ppid=16671 vsize=10983736 memory=139769293223552 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16734/stat : 16734 (java) S 16671 16674 14233 0 -1 1077944384 1 12944 0 0 0 0 5 2 20 0 15 0 222198083 11247345664 11294 33554432000 4194304 4196468 140731512003264 140127200339056 140128513824469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16735] ppid=16671 vsize=10983736 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16735/stat : 16735 (java) S 16671 16674 14233 0 -1 1077944384 3 12944 0 0 0 0 5 2 20 0 15 0 222198086 11247345664 11294 33554432000 4194304 4196468 140731512003264 140126892939344 140128513832859 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16736] ppid=16671 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/16674/task/16736/stat : 16736 (java) S 16671 16674 14233 0 -1 1077944384 420 12944 0 0 1 0 5 2 20 0 15 0 222198086 11246329856 11286 33554432000 4194304 4196468 140731512003264 140127938538096 140128513825410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16737] ppid=16671 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/16674/task/16737/stat : 16737 (java) S 16671 16674 14233 0 -1 1077944384 190 12944 0 0 1 0 5 2 20 0 15 0 222198086 11246329856 11286 33554432000 4194304 4196468 140731512003264 140127937485296 140128513825410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16738] ppid=16671 vsize=10982744 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/16674/task/16738/stat : 16738 (java) S 16671 16674 14233 0 -1 1077944384 611 12944 0 0 3 0 5 2 20 0 15 0 222198086 11246329856 11286 33554432000 4194304 4196468 140731512003264 140127936433008 140128513825410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16739] ppid=16671 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16739/stat : 16739 (java) S 16671 16674 14233 0 -1 1077944384 3 12944 0 0 0 0 5 2 20 0 15 0 222198086 11246329856 11286 33554432000 4194304 4196468 140731512003264 140126462143456 140128513824469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16740] ppid=16671 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16740/stat : 16740 (java) S 16671 16674 14233 0 -1 1077944384 1 12944 0 0 0 0 5 2 20 0 15 0 222198086 11246329856 11286 33554432000 4194304 4196468 140731512003264 140127935379888 140128513825410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10985364 KiB
Current children cumulated memory: 47004 KiB

[startup+0.310444 s]*
/proc/loadavg: 1.40 1.34 1.33 3/215 16740
/proc/meminfo: memFree=10465904/32770624 swapFree=67108496/67108860
[pid=16674] ppid=16671 vsize=10983192 memory=55604 CPUtime=0.38 cores=1,3,5,7
/proc/16674/stat : 16674 (java) S 16671 16674 14233 0 -1 1077944320 10482 12944 0 0 28 3 5 2 20 0 15 0 222198071 11246788608 13901 33554432000 4194304 4196468 140731512003264 140731511985808 140128513814263 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
/proc/16674/statm: 2745798 13901 3079 1 0 2708109 0
[pid=16674/tid=16727] ppid=16671 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/16674/task/16727/stat : 16727 (java) R 16671 16674 14233 0 -1 4202560 7035 12944 0 0 19 2 5 2 20 0 15 0 222198080 11246788608 13901 33554432000 4194304 4196468 140731512003264 140128485626272 140128497894750 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16728] ppid=16671 vsize=10983192 memory=4126316290023845779 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16728/stat : 16728 (java) S 16671 16674 14233 0 -1 1077944384 1 12944 0 0 0 0 5 2 20 0 15 0 222198081 11246788608 13901 33554432000 4194304 4196468 140731512003264 140128518056848 140128513824469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16729] ppid=16671 vsize=10983192 memory=139769293230545 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16729/stat : 16729 (java) S 16671 16674 14233 0 -1 1077944384 1 12944 0 0 0 0 5 2 20 0 15 0 222198081 11246788608 13901 33554432000 4194304 4196468 140731512003264 140128409807632 140128513824469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16730] ppid=16671 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16730/stat : 16730 (java) S 16671 16674 14233 0 -1 1077944384 1 12944 0 0 0 0 5 2 20 0 15 0 222198081 11246788608 13901 33554432000 4194304 4196468 140731512003264 140128052501648 140128513824469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16731] ppid=16671 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16731/stat : 16731 (java) S 16671 16674 14233 0 -1 1077944384 2 12944 0 0 0 0 5 2 20 0 15 0 222198081 11246788608 13901 33554432000 4194304 4196468 140731512003264 140128051448848 140128513824469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16732] ppid=16671 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16732/stat : 16732 (java) S 16671 16674 14233 0 -1 1077944384 2 12944 0 0 0 0 5 2 20 0 15 0 222198082 11246788608 13901 33554432000 4194304 4196468 140731512003264 140128006871152 140128513825410 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16733] ppid=16671 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16733/stat : 16733 (java) S 16671 16674 14233 0 -1 1077944384 13 12944 0 0 0 0 5 2 20 0 15 0 222198083 11246788608 13901 33554432000 4194304 4196468 140731512003264 140127348187936 140128513824469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16734] ppid=16671 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16734/stat : 16734 (java) S 16671 16674 14233 0 -1 1077944384 1 12944 0 0 0 0 5 2 20 0 15 0 222198083 11246788608 13901 33554432000 4194304 4196468 140731512003264 140127200339056 140128513824469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16735] ppid=16671 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16735/stat : 16735 (java) S 16671 16674 14233 0 -1 1077944384 3 12944 0 0 0 0 5 2 20 0 15 0 222198086 11246788608 13901 33554432000 4194304 4196468 140731512003264 140126892939344 140128513832859 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16736] ppid=16671 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/16674/task/16736/stat : 16736 (java) S 16671 16674 14233 0 -1 1077944384 422 12944 0 0 1 0 5 2 20 0 15 0 222198086 11246788608 13901 33554432000 4194304 4196468 140731512003264 140127938538096 140128513825410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16737] ppid=16671 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/16674/task/16737/stat : 16737 (java) S 16671 16674 14233 0 -1 1077944384 190 12944 0 0 1 0 5 2 20 0 15 0 222198086 11246788608 13901 33554432000 4194304 4196468 140731512003264 140127937485296 140128513825410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16738] ppid=16671 vsize=10983192 memory=-1 CPUtime=0.11 cores=1,3,5,7
/proc/16674/task/16738/stat : 16738 (java) R 16671 16674 14233 0 -1 4202560 619 12944 0 0 4 0 5 2 20 0 15 0 222198086 11246788608 13901 33554432000 4194304 4196468 140731512003264 140127936433008 140128513835610 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16739] ppid=16671 vsize=10983192 memory=139769293223552 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16739/stat : 16739 (java) S 16671 16674 14233 0 -1 1077944384 3 12944 0 0 0 0 5 2 20 0 15 0 222198086 11246788608 13901 33554432000 4194304 4196468 140731512003264 140126462143456 140128513824469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16740] ppid=16671 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16740/stat : 16740 (java) S 16671 16674 14233 0 -1 1077944384 1 12944 0 0 0 0 5 2 20 0 15 0 222198086 11246788608 13901 33554432000 4194304 4196468 140731512003264 140127935379888 140128513825410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55604 KiB

[startup+0.700767 s]
/proc/loadavg: 1.40 1.34 1.33 5/215 16740
/proc/meminfo: memFree=10455732/32770624 swapFree=67108496/67108860
[pid=16674] ppid=16671 vsize=10983192 memory=88716 CPUtime=0.98 cores=1,3,5,7
/proc/16674/stat : 16674 (java) S 16671 16674 14233 0 -1 1077944320 16780 12944 0 0 86 5 5 2 20 0 15 0 222198071 11246788608 22179 33554432000 4194304 4196468 140731512003264 140731511985808 140128513814263 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
/proc/16674/statm: 2745798 22179 3246 1 0 2708109 0
[pid=16674/tid=16727] ppid=16671 vsize=10983192 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/16674/task/16727/stat : 16727 (java) R 16671 16674 14233 0 -1 4202560 12304 12944 0 0 56 3 5 2 20 0 15 0 222198080 11246788608 22179 33554432000 4194304 4196468 140731512003264 140128485635088 140128497001044 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16728] ppid=16671 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16728/stat : 16728 (java) S 16671 16674 14233 0 -1 1077944384 1 12944 0 0 0 0 5 2 20 0 15 0 222198081 11246788608 22179 33554432000 4194304 4196468 140731512003264 140128518056848 140128513824469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16729] ppid=16671 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16729/stat : 16729 (java) S 16671 16674 14233 0 -1 1077944384 1 12944 0 0 0 0 5 2 20 0 15 0 222198081 11246788608 22179 33554432000 4194304 4196468 140731512003264 140128409807632 140128513824469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16730] ppid=16671 vsize=10983192 memory=2459070105089 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16730/stat : 16730 (java) S 16671 16674 14233 0 -1 1077944384 1 12944 0 0 0 0 5 2 20 0 15 0 222198081 11246788608 22179 33554432000 4194304 4196468 140731512003264 140128052501648 140128513824469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16731] ppid=16671 vsize=10983192 memory=24774524 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16731/stat : 16731 (java) S 16671 16674 14233 0 -1 1077944384 2 12944 0 0 0 0 5 2 20 0 15 0 222198081 11246788608 22179 33554432000 4194304 4196468 140731512003264 140128051448848 140128513824469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16732] ppid=16671 vsize=10983192 memory=4000 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16732/stat : 16732 (java) S 16671 16674 14233 0 -1 1077944384 5 12944 0 0 0 0 5 2 20 0 15 0 222198082 11246788608 22179 33554432000 4194304 4196468 140731512003264 140128006871152 140128513825410 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16733] ppid=16671 vsize=10983192 memory=14204 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16733/stat : 16733 (java) S 16671 16674 14233 0 -1 1077944384 13 12944 0 0 0 0 5 2 20 0 15 0 222198083 11246788608 22179 33554432000 4194304 4196468 140731512003264 140127348187936 140128513824469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16734] ppid=16671 vsize=10983192 memory=33824 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16734/stat : 16734 (java) S 16671 16674 14233 0 -1 1077944384 1 12944 0 0 0 0 5 2 20 0 15 0 222198083 11246788608 22179 33554432000 4194304 4196468 140731512003264 140127200339056 140128513824469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16735] ppid=16671 vsize=10983192 memory=1180 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16735/stat : 16735 (java) S 16671 16674 14233 0 -1 1077944384 3 12944 0 0 0 0 5 2 20 0 15 0 222198086 11246788608 22179 33554432000 4194304 4196468 140731512003264 140126892939344 140128513832859 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16736] ppid=16671 vsize=10983192 memory=504 CPUtime=0.16 cores=1,3,5,7
/proc/16674/task/16736/stat : 16736 (java) S 16671 16674 14233 0 -1 1077944384 1020 12944 0 0 9 0 5 2 20 0 15 0 222198086 11246788608 22179 33554432000 4194304 4196468 140731512003264 140127938538096 140128513825410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16737] ppid=16671 vsize=10983192 memory=1720 CPUtime=0.14 cores=1,3,5,7
/proc/16674/task/16737/stat : 16737 (java) S 16671 16674 14233 0 -1 1077944384 533 12944 0 0 7 0 5 2 20 0 15 0 222198086 11246788608 22179 33554432000 4194304 4196468 140731512003264 140127937485296 140128513825410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16738] ppid=16671 vsize=10983192 memory=6296139276938465376 CPUtime=0.2 cores=1,3,5,7
/proc/16674/task/16738/stat : 16738 (java) S 16671 16674 14233 0 -1 1077944384 700 12944 0 0 13 0 5 2 20 0 15 0 222198086 11246788608 22179 33554432000 4194304 4196468 140731512003264 140127936433008 140128513825410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16739] ppid=16671 vsize=10983192 memory=7013343144155834993 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16739/stat : 16739 (java) S 16671 16674 14233 0 -1 1077944384 3 12944 0 0 0 0 5 2 20 0 15 0 222198086 11246788608 22179 33554432000 4194304 4196468 140731512003264 140126462143456 140128513824469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16740] ppid=16671 vsize=10983192 memory=6935651454918152272 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16740/stat : 16740 (java) S 16671 16674 14233 0 -1 1077944384 1 12944 0 0 0 0 5 2 20 0 15 0 222198086 11246788608 22179 33554432000 4194304 4196468 140731512003264 140127935379888 140128513825410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88716 KiB

[startup+1.50081 s]
/proc/loadavg: 1.40 1.34 1.33 3/215 16740
/proc/meminfo: memFree=10409400/32770624 swapFree=67108496/67108860
[pid=16674] ppid=16671 vsize=10991948 memory=174516 CPUtime=3.19 cores=1,3,5,7
/proc/16674/stat : 16674 (java) S 16671 16674 14233 0 -1 1077944320 24020 12944 0 0 304 8 5 2 20 0 15 0 222198071 11255754752 43629 33554432000 4194304 4196468 140731512003264 140731511985808 140128513814263 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
/proc/16674/statm: 2747987 43629 3448 1 0 2709645 0
[pid=16674/tid=16727] ppid=16671 vsize=10991948 memory=7306899515758371927 CPUtime=1.45 cores=1,3,5,7
/proc/16674/task/16727/stat : 16727 (java) R 16671 16674 14233 0 -1 4202560 15092 12944 0 0 132 6 5 2 20 0 15 0 222198080 11255754752 43629 33554432000 4194304 4196468 140731512003264 140128485643808 140128088059587 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16728] ppid=16671 vsize=10991948 memory=7813015644523620436 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16728/stat : 16728 (java) S 16671 16674 14233 0 -1 1077944384 1 12944 0 0 0 0 5 2 20 0 15 0 222198081 11255754752 43629 33554432000 4194304 4196468 140731512003264 140128518056848 140128513824469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16729] ppid=16671 vsize=10991948 memory=7660735577656418412 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16729/stat : 16729 (java) S 16671 16674 14233 0 -1 1077944384 1 12944 0 0 0 0 5 2 20 0 15 0 222198081 11255754752 43629 33554432000 4194304 4196468 140731512003264 140128409807632 140128513824469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16730] ppid=16671 vsize=10991948 memory=5571041044932679781 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16730/stat : 16730 (java) S 16671 16674 14233 0 -1 1077944384 1 12944 0 0 0 0 5 2 20 0 15 0 222198081 11255754752 43629 33554432000 4194304 4196468 140731512003264 140128052501648 140128513824469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16731] ppid=16671 vsize=10991948 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16731/stat : 16731 (java) S 16671 16674 14233 0 -1 1077944384 2 12944 0 0 0 0 5 2 20 0 15 0 222198081 11255754752 43629 33554432000 4194304 4196468 140731512003264 140128051448848 140128513824469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16732] ppid=16671 vsize=10991948 memory=7518026630507423338 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16732/stat : 16732 (java) S 16671 16674 14233 0 -1 1077944384 13 12944 0 0 0 0 5 2 20 0 15 0 222198082 11255754752 43629 33554432000 4194304 4196468 140731512003264 140128006871152 140128513825410 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16733] ppid=16671 vsize=10991948 memory=6155106127431750245 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16733/stat : 16733 (java) S 16671 16674 14233 0 -1 1077944384 13 12944 0 0 0 0 5 2 20 0 15 0 222198083 11255754752 43629 33554432000 4194304 4196468 140731512003264 140127348187936 140128513824469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16734] ppid=16671 vsize=10991948 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16734/stat : 16734 (java) S 16671 16674 14233 0 -1 1077944384 1 12944 0 0 0 0 5 2 20 0 15 0 222198083 11255754752 43629 33554432000 4194304 4196468 140731512003264 140127200339056 140128513824469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16735] ppid=16671 vsize=10991948 memory=12 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16735/stat : 16735 (java) S 16671 16674 14233 0 -1 1077944384 3 12944 0 0 0 0 5 2 20 0 15 0 222198086 11255754752 43629 33554432000 4194304 4196468 140731512003264 140126892939344 140128513832859 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16736] ppid=16671 vsize=10991948 memory=139769174858498 CPUtime=0.68 cores=1,3,5,7
/proc/16674/task/16736/stat : 16736 (java) R 16671 16674 14233 0 -1 4202560 2391 12944 0 0 61 0 5 2 20 0 15 0 222198086 11255754752 43629 33554432000 4194304 4196468 140731512003264 140127938523976 140128498923216 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16737] ppid=16671 vsize=10991948 memory=279538349693584 CPUtime=0.66 cores=1,3,5,7
/proc/16674/task/16737/stat : 16737 (java) R 16671 16674 14233 0 -1 4202560 2527 12944 0 0 59 0 5 2 20 0 15 0 222198086 11255754752 43629 33554432000 4194304 4196468 140731512003264 140127937474896 140128499846162 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16738] ppid=16671 vsize=10991948 memory=0 CPUtime=0.57 cores=1,3,5,7
/proc/16674/task/16738/stat : 16738 (java) S 16671 16674 14233 0 -1 1077944384 1779 12944 0 0 50 0 5 2 20 0 15 0 222198086 11255754752 43629 33554432000 4194304 4196468 140731512003264 140127936433008 140128513825410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0

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

/proc/16674/task/16727/stat : 16727 (java) R 16671 16674 14233 0 -1 4202560 127983 12944 0 0 229741 73 5 2 20 0 15 0 222198080 11280941056 498511 33554432000 4194304 4196468 140731512003264 140128485648448 140128109453059 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16728] ppid=16671 vsize=11016544 memory=1994044 CPUtime=13.07 cores=1,3,5,7
/proc/16674/task/16728/stat : 16728 (java) S 16671 16674 14233 0 -1 1077944384 31450 12944 0 0 1241 59 5 2 20 0 15 0 222198081 11280941056 498511 33554432000 4194304 4196468 140731512003264 140128518056848 140128513824469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16729] ppid=16671 vsize=11016544 memory=1994044 CPUtime=13.1 cores=1,3,5,7
/proc/16674/task/16729/stat : 16729 (java) S 16671 16674 14233 0 -1 1077944384 34669 12944 0 0 1245 58 5 2 20 0 15 0 222198081 11280941056 498511 33554432000 4194304 4196468 140731512003264 140128409807632 140128513824469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16730] ppid=16671 vsize=11016544 memory=1994044 CPUtime=13.09 cores=1,3,5,7
/proc/16674/task/16730/stat : 16730 (java) S 16671 16674 14233 0 -1 1077944384 29926 12944 0 0 1245 57 5 2 20 0 15 0 222198081 11280941056 498511 33554432000 4194304 4196468 140731512003264 140128052501648 140128513824469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16731] ppid=16671 vsize=11016544 memory=1994044 CPUtime=13.04 cores=1,3,5,7
/proc/16674/task/16731/stat : 16731 (java) S 16671 16674 14233 0 -1 1077944384 25431 12944 0 0 1242 55 5 2 20 0 15 0 222198081 11280941056 498511 33554432000 4194304 4196468 140731512003264 140128051448848 140128513824469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16732] ppid=16671 vsize=11016544 memory=1994044 CPUtime=8.44 cores=1,3,5,7
/proc/16674/task/16732/stat : 16732 (java) S 16671 16674 14233 0 -1 1077944384 26141 12944 0 0 783 54 5 2 20 0 15 0 222198082 11280941056 498511 33554432000 4194304 4196468 140731512003264 140128006871152 140128513825410 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 46 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16733] ppid=16671 vsize=11016544 memory=1994044 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16733/stat : 16733 (java) S 16671 16674 14233 0 -1 1077944384 15 12944 0 0 0 0 5 2 20 0 15 0 222198083 11280941056 498511 33554432000 4194304 4196468 140731512003264 140127348188000 140128513824469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16734] ppid=16671 vsize=11016544 memory=5420 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16734/stat : 16734 (java) S 16671 16674 14233 0 -1 1077944384 1 12944 0 0 0 0 5 2 20 0 15 0 222198083 11280941056 498511 33554432000 4194304 4196468 140731512003264 140127200339072 140128513824469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16735] ppid=16671 vsize=11016544 memory=3872 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16735/stat : 16735 (java) S 16671 16674 14233 0 -1 1077944384 3 12944 0 0 0 0 5 2 20 0 15 0 222198086 11280941056 498511 33554432000 4194304 4196468 140731512003264 140126892939344 140128513832859 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16736] ppid=16671 vsize=11016544 memory=60168 CPUtime=15.56 cores=1,3,5,7
/proc/16674/task/16736/stat : 16736 (java) S 16671 16674 14233 0 -1 1077944384 133753 12944 0 0 1538 11 5 2 20 0 15 0 222198086 11280941056 498511 33554432000 4194304 4196468 140731512003264 140127938538096 140128513825410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16737] ppid=16671 vsize=11016544 memory=1994044 CPUtime=15.09 cores=1,3,5,7
/proc/16674/task/16737/stat : 16737 (java) S 16671 16674 14233 0 -1 1077944384 123263 12944 0 0 1490 12 5 2 20 0 15 0 222198086 11280941056 498511 33554432000 4194304 4196468 140731512003264 140127937485296 140128513825410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16738] ppid=16671 vsize=11016544 memory=756 CPUtime=5.39 cores=1,3,5,7
/proc/16674/task/16738/stat : 16738 (java) S 16671 16674 14233 0 -1 1077944384 133644 12944 0 0 519 13 5 2 20 0 15 0 222198086 11280941056 498511 33554432000 4194304 4196468 140731512003264 140127936433008 140128513825410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16739] ppid=16671 vsize=11016544 memory=1624 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16739/stat : 16739 (java) S 16671 16674 14233 0 -1 1077944384 3 12944 0 0 0 0 5 2 20 0 15 0 222198086 11280941056 498511 33554432000 4194304 4196468 140731512003264 140126462143456 140128513824469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16740] ppid=16671 vsize=11016544 memory=3872 CPUtime=1.29 cores=1,3,5,7
/proc/16674/task/16740/stat : 16740 (java) S 16671 16674 14233 0 -1 1077944384 2366 12944 0 0 54 68 5 2 20 0 15 0 222198086 11280941056 498511 33554432000 4194304 4196468 140731512003264 140127935379888 140128513825410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 56 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
Current children cumulated CPU time: 2395.77 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1994044 KiB

[startup+2382.3 s]
/proc/loadavg: 1.46 1.47 1.45 3/215 16963
/proc/meminfo: memFree=8998204/32770624 swapFree=67108496/67108860
[pid=16674] ppid=16671 vsize=11016544 memory=1994044 CPUtime=2456.86 cores=1,3,5,7
/proc/16674/stat : 16674 (java) S 16671 16674 14233 0 -1 1077944320 673029 12944 0 0 245256 423 5 2 20 0 15 0 222198071 11280941056 498511 33554432000 4194304 4196468 140731512003264 140731511985808 140128513814263 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
/proc/16674/statm: 2754136 498511 3540 1 0 2715789 0
[pid=16674/tid=16727] ppid=16671 vsize=11016544 memory=1994044 CPUtime=2357.53 cores=1,3,5,7
/proc/16674/task/16727/stat : 16727 (java) R 16671 16674 14233 0 -1 4202560 128984 12944 0 0 235672 74 5 2 20 0 15 0 222198080 11280941056 498511 33554432000 4194304 4196468 140731512003264 140128485648864 140128086022381 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16728] ppid=16671 vsize=11016544 memory=1994044 CPUtime=13.45 cores=1,3,5,7
/proc/16674/task/16728/stat : 16728 (java) S 16671 16674 14233 0 -1 1077944384 31650 12944 0 0 1277 61 5 2 20 0 15 0 222198081 11280941056 498511 33554432000 4194304 4196468 140731512003264 140128518056848 140128513824469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16729] ppid=16671 vsize=11016544 memory=1994044 CPUtime=13.48 cores=1,3,5,7
/proc/16674/task/16729/stat : 16729 (java) S 16671 16674 14233 0 -1 1077944384 34787 12944 0 0 1282 59 5 2 20 0 15 0 222198081 11280941056 498511 33554432000 4194304 4196468 140731512003264 140128409807632 140128513824469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16730] ppid=16671 vsize=11016544 memory=1994044 CPUtime=13.47 cores=1,3,5,7
/proc/16674/task/16730/stat : 16730 (java) S 16671 16674 14233 0 -1 1077944384 30124 12944 0 0 1281 59 5 2 20 0 15 0 222198081 11280941056 498511 33554432000 4194304 4196468 140731512003264 140128052501648 140128513824469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16731] ppid=16671 vsize=11016544 memory=1994044 CPUtime=13.41 cores=1,3,5,7
/proc/16674/task/16731/stat : 16731 (java) S 16671 16674 14233 0 -1 1077944384 25644 12944 0 0 1278 56 5 2 20 0 15 0 222198081 11280941056 498511 33554432000 4194304 4196468 140731512003264 140128051448848 140128513824469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16732] ppid=16671 vsize=11016544 memory=279538351290800 CPUtime=8.68 cores=1,3,5,7
/proc/16674/task/16732/stat : 16732 (java) S 16671 16674 14233 0 -1 1077944384 26558 12944 0 0 806 55 5 2 20 0 15 0 222198082 11280941056 498511 33554432000 4194304 4196468 140731512003264 140128006871152 140128513825410 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 46 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16733] ppid=16671 vsize=11016544 memory=1994044 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16733/stat : 16733 (java) S 16671 16674 14233 0 -1 1077944384 15 12944 0 0 0 0 5 2 20 0 15 0 222198083 11280941056 498511 33554432000 4194304 4196468 140731512003264 140127348188000 140128513824469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16734] ppid=16671 vsize=11016544 memory=1994044 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16734/stat : 16734 (java) S 16671 16674 14233 0 -1 1077944384 1 12944 0 0 0 0 5 2 20 0 15 0 222198083 11280941056 498511 33554432000 4194304 4196468 140731512003264 140127200339072 140128513824469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16735] ppid=16671 vsize=11016544 memory=1994044 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16735/stat : 16735 (java) S 16671 16674 14233 0 -1 1077944384 3 12944 0 0 0 0 5 2 20 0 15 0 222198086 11280941056 498511 33554432000 4194304 4196468 140731512003264 140126892939344 140128513832859 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16736] ppid=16671 vsize=11016544 memory=2260 CPUtime=15.56 cores=1,3,5,7
/proc/16674/task/16736/stat : 16736 (java) S 16671 16674 14233 0 -1 1077944384 133757 12944 0 0 1538 11 5 2 20 0 15 0 222198086 11280941056 498511 33554432000 4194304 4196468 140731512003264 140127938538096 140128513825410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16737] ppid=16671 vsize=11016544 memory=1994044 CPUtime=15.09 cores=1,3,5,7
/proc/16674/task/16737/stat : 16737 (java) S 16671 16674 14233 0 -1 1077944384 123267 12944 0 0 1490 12 5 2 20 0 15 0 222198086 11280941056 498511 33554432000 4194304 4196468 140731512003264 140127937485296 140128513825410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16738] ppid=16671 vsize=11016544 memory=1994044 CPUtime=5.39 cores=1,3,5,7
/proc/16674/task/16738/stat : 16738 (java) S 16671 16674 14233 0 -1 1077944384 133648 12944 0 0 519 13 5 2 20 0 15 0 222198086 11280941056 498511 33554432000 4194304 4196468 140731512003264 140127936433008 140128513825410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16739] ppid=16671 vsize=11016544 memory=3872 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16739/stat : 16739 (java) S 16671 16674 14233 0 -1 1077944384 3 12944 0 0 0 0 5 2 20 0 15 0 222198086 11280941056 498511 33554432000 4194304 4196468 140731512003264 140126462143456 140128513824469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16740] ppid=16671 vsize=11016544 memory=60168 CPUtime=1.32 cores=1,3,5,7
/proc/16674/task/16740/stat : 16740 (java) S 16671 16674 14233 0 -1 1077944384 2396 12944 0 0 55 70 5 2 20 0 15 0 222198086 11280941056 498511 33554432000 4194304 4196468 140731512003264 140127935379888 140128513825410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 56 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
Current children cumulated CPU time: 2456.86 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1994044 KiB

[startup+2442.3 s]
/proc/loadavg: 1.55 1.50 1.45 3/215 16964
/proc/meminfo: memFree=8998920/32770624 swapFree=67108496/67108860
[pid=16674] ppid=16671 vsize=11016544 memory=1992500 CPUtime=2517.96 cores=1,3,5,7
/proc/16674/stat : 16674 (java) S 16671 16674 14233 0 -1 1077944320 676537 12944 0 0 251359 430 5 2 20 0 15 0 222198071 11280941056 498125 33554432000 4194304 4196468 140731512003264 140731511985808 140128513814263 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
/proc/16674/statm: 2754136 498125 3540 1 0 2715789 0
[pid=16674/tid=16727] ppid=16671 vsize=11016544 memory=1992500 CPUtime=2416.84 cores=1,3,5,7
/proc/16674/task/16727/stat : 16727 (java) R 16671 16674 14233 0 -1 4202560 130189 12944 0 0 241603 74 5 2 20 0 15 0 222198080 11280941056 498125 33554432000 4194304 4196468 140731512003264 140128485648464 140128109132352 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16728] ppid=16671 vsize=11016544 memory=1992500 CPUtime=13.83 cores=1,3,5,7
/proc/16674/task/16728/stat : 16728 (java) S 16671 16674 14233 0 -1 1077944384 31835 12944 0 0 1314 62 5 2 20 0 15 0 222198081 11280941056 498125 33554432000 4194304 4196468 140731512003264 140128518056848 140128513824469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16729] ppid=16671 vsize=11016544 memory=1994044 CPUtime=13.85 cores=1,3,5,7
/proc/16674/task/16729/stat : 16729 (java) S 16671 16674 14233 0 -1 1077944384 35072 12944 0 0 1318 60 5 2 20 0 15 0 222198081 11280941056 498125 33554432000 4194304 4196468 140731512003264 140128409807632 140128513824469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16730] ppid=16671 vsize=11016544 memory=1992500 CPUtime=13.84 cores=1,3,5,7
/proc/16674/task/16730/stat : 16730 (java) S 16671 16674 14233 0 -1 1077944384 30331 12944 0 0 1317 60 5 2 20 0 15 0 222198081 11280941056 498125 33554432000 4194304 4196468 140731512003264 140128052501648 140128513824469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16731] ppid=16671 vsize=11016544 memory=1992500 CPUtime=13.79 cores=1,3,5,7
/proc/16674/task/16731/stat : 16731 (java) S 16671 16674 14233 0 -1 1077944384 25838 12944 0 0 1315 57 5 2 20 0 15 0 222198081 11280941056 498125 33554432000 4194304 4196468 140731512003264 140128051448848 140128513824469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16732] ppid=16671 vsize=11016544 memory=1992500 CPUtime=8.93 cores=1,3,5,7
/proc/16674/task/16732/stat : 16732 (java) S 16671 16674 14233 0 -1 1077944384 26986 12944 0 0 829 57 5 2 20 0 15 0 222198082 11280941056 498125 33554432000 4194304 4196468 140731512003264 140128006871152 140128513825410 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 46 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16733] ppid=16671 vsize=11016544 memory=1992500 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16733/stat : 16733 (java) S 16671 16674 14233 0 -1 1077944384 15 12944 0 0 0 0 5 2 20 0 15 0 222198083 11280941056 498125 33554432000 4194304 4196468 140731512003264 140127348188000 140128513824469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16734] ppid=16671 vsize=11016544 memory=1992500 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16734/stat : 16734 (java) S 16671 16674 14233 0 -1 1077944384 1 12944 0 0 0 0 5 2 20 0 15 0 222198083 11280941056 498125 33554432000 4194304 4196468 140731512003264 140127200339072 140128513824469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16735] ppid=16671 vsize=11016544 memory=1992500 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16735/stat : 16735 (java) S 16671 16674 14233 0 -1 1077944384 3 12944 0 0 0 0 5 2 20 0 15 0 222198086 11280941056 498125 33554432000 4194304 4196468 140731512003264 140126892939344 140128513832859 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16736] ppid=16671 vsize=11016544 memory=1992500 CPUtime=15.57 cores=1,3,5,7
/proc/16674/task/16736/stat : 16736 (java) S 16671 16674 14233 0 -1 1077944384 134321 12944 0 0 1539 11 5 2 20 0 15 0 222198086 11280941056 498125 33554432000 4194304 4196468 140731512003264 140127938538096 140128513825410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16737] ppid=16671 vsize=11016544 memory=7 CPUtime=15.09 cores=1,3,5,7
/proc/16674/task/16737/stat : 16737 (java) S 16671 16674 14233 0 -1 1077944384 123272 12944 0 0 1490 12 5 2 20 0 15 0 222198086 11280941056 498125 33554432000 4194304 4196468 140731512003264 140127937485296 140128513825410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16738] ppid=16671 vsize=11016544 memory=1992500 CPUtime=5.4 cores=1,3,5,7
/proc/16674/task/16738/stat : 16738 (java) S 16671 16674 14233 0 -1 1077944384 134062 12944 0 0 520 13 5 2 20 0 15 0 222198086 11280941056 498125 33554432000 4194304 4196468 140731512003264 140127936433008 140128513825410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16739] ppid=16671 vsize=11016544 memory=1132 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16739/stat : 16739 (java) S 16671 16674 14233 0 -1 1077944384 3 12944 0 0 0 0 5 2 20 0 15 0 222198086 11280941056 498125 33554432000 4194304 4196468 140731512003264 140126462143456 140128513824469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16740] ppid=16671 vsize=11016544 memory=6791534058613427641 CPUtime=1.35 cores=1,3,5,7
/proc/16674/task/16740/stat : 16740 (java) S 16671 16674 14233 0 -1 1077944384 2417 12944 0 0 56 72 5 2 20 0 15 0 222198086 11280941056 498125 33554432000 4194304 4196468 140731512003264 140127935379888 140128513825410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 56 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
Current children cumulated CPU time: 2517.96 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1992500 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2444.4 s]
/proc/loadavg: 1.55 1.50 1.45 3/215 16964
/proc/meminfo: memFree=8998920/32770624 swapFree=67108496/67108860
[pid=16674] ppid=16671 vsize=11016544 memory=1992500 CPUtime=2520.09 cores=1,3,5,7
/proc/16674/stat : 16674 (java) S 16671 16674 14233 0 -1 1077944320 676546 12944 0 0 251572 430 5 2 20 0 15 0 222198071 11280941056 498125 33554432000 4194304 4196468 140731512003264 140731511985808 140128513814263 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
/proc/16674/statm: 2754136 498125 3540 1 0 2715789 0
[pid=16674/tid=16727] ppid=16671 vsize=11016544 memory=1564 CPUtime=2418.92 cores=1,3,5,7
/proc/16674/task/16727/stat : 16727 (java) R 16671 16674 14233 0 -1 4202560 130198 12944 0 0 241811 74 5 2 20 0 15 0 222198080 11280941056 498125 33554432000 4194304 4196468 140731512003264 140128485648320 140128084100563 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16728] ppid=16671 vsize=11016544 memory=6791534058613427641 CPUtime=13.84 cores=1,3,5,7
/proc/16674/task/16728/stat : 16728 (java) S 16671 16674 14233 0 -1 1077944384 31835 12944 0 0 1315 62 5 2 20 0 15 0 222198081 11280941056 498125 33554432000 4194304 4196468 140731512003264 140128518056848 140128513824469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16729] ppid=16671 vsize=11016544 memory=3988 CPUtime=13.86 cores=1,3,5,7
/proc/16674/task/16729/stat : 16729 (java) S 16671 16674 14233 0 -1 1077944384 35072 12944 0 0 1319 60 5 2 20 0 15 0 222198081 11280941056 498125 33554432000 4194304 4196468 140731512003264 140128409807632 140128513824469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16730] ppid=16671 vsize=11016544 memory=2048 CPUtime=13.85 cores=1,3,5,7
/proc/16674/task/16730/stat : 16730 (java) S 16671 16674 14233 0 -1 1077944384 30331 12944 0 0 1318 60 5 2 20 0 15 0 222198081 11280941056 498125 33554432000 4194304 4196468 140731512003264 140128052501648 140128513824469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16731] ppid=16671 vsize=11016544 memory=7888 CPUtime=13.79 cores=1,3,5,7
/proc/16674/task/16731/stat : 16731 (java) S 16671 16674 14233 0 -1 1077944384 25838 12944 0 0 1315 57 5 2 20 0 15 0 222198081 11280941056 498125 33554432000 4194304 4196468 140731512003264 140128051448848 140128513824469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16732] ppid=16671 vsize=11016544 memory=808 CPUtime=8.94 cores=1,3,5,7
/proc/16674/task/16732/stat : 16732 (java) S 16671 16674 14233 0 -1 1077944384 26986 12944 0 0 830 57 5 2 20 0 15 0 222198082 11280941056 498125 33554432000 4194304 4196468 140731512003264 140128006871152 140128513825410 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 46 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16733] ppid=16671 vsize=11016544 memory=1800 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16733/stat : 16733 (java) S 16671 16674 14233 0 -1 1077944384 15 12944 0 0 0 0 5 2 20 0 15 0 222198083 11280941056 498125 33554432000 4194304 4196468 140731512003264 140127348188000 140128513824469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16734] ppid=16671 vsize=11016544 memory=916 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16734/stat : 16734 (java) S 16671 16674 14233 0 -1 1077944384 1 12944 0 0 0 0 5 2 20 0 15 0 222198083 11280941056 498125 33554432000 4194304 4196468 140731512003264 140127200339072 140128513824469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16735] ppid=16671 vsize=11016544 memory=3852 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16735/stat : 16735 (java) S 16671 16674 14233 0 -1 1077944384 3 12944 0 0 0 0 5 2 20 0 15 0 222198086 11280941056 498125 33554432000 4194304 4196468 140731512003264 140126892939344 140128513832859 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16736] ppid=16671 vsize=11016544 memory=2696 CPUtime=15.57 cores=1,3,5,7
/proc/16674/task/16736/stat : 16736 (java) S 16671 16674 14233 0 -1 1077944384 134321 12944 0 0 1539 11 5 2 20 0 15 0 222198086 11280941056 498125 33554432000 4194304 4196468 140731512003264 140127938538096 140128513825410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16737] ppid=16671 vsize=11016544 memory=2716 CPUtime=15.09 cores=1,3,5,7
/proc/16674/task/16737/stat : 16737 (java) S 16671 16674 14233 0 -1 1077944384 123272 12944 0 0 1490 12 5 2 20 0 15 0 222198086 11280941056 498125 33554432000 4194304 4196468 140731512003264 140127937485296 140128513825410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16738] ppid=16671 vsize=11016544 memory=4104 CPUtime=5.4 cores=1,3,5,7
/proc/16674/task/16738/stat : 16738 (java) S 16671 16674 14233 0 -1 1077944384 134062 12944 0 0 520 13 5 2 20 0 15 0 222198086 11280941056 498125 33554432000 4194304 4196468 140731512003264 140127936433008 140128513825410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16739] ppid=16671 vsize=11016544 memory=1408 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16739/stat : 16739 (java) S 16671 16674 14233 0 -1 1077944384 3 12944 0 0 0 0 5 2 20 0 15 0 222198086 11280941056 498125 33554432000 4194304 4196468 140731512003264 140126462143456 140128513824469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
[pid=16674/tid=16740] ppid=16671 vsize=11016544 memory=3284 CPUtime=1.35 cores=1,3,5,7
/proc/16674/task/16740/stat : 16740 (java) S 16671 16674 14233 0 -1 1077944384 2417 12944 0 0 56 72 5 2 20 0 15 0 222198086 11280941056 498125 33554432000 4194304 4196468 140731512003264 140127935379888 140128513825410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 56 0 0 6293624 6294260 25972736 140731512011372 140731512014172 140731512014172 140731512016847 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1992500 KiB

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

[startup+2444.45 s]
# the end of solver process 16674 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2515.8 s, system=4.34279 s

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

Child status: 143
Real time (s): 2444.45
CPU time (s): 2520.15
CPU user time (s): 2515.8
CPU system time (s): 4.34279
CPU usage (%): 103.097
Max. virtual memory (cumulated for all children) (KiB): 11017204
Max. memory (cumulated for all children) (KiB): 2425196

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.8
system time used= 4.34279
maximum resident set size= 2427244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 690746
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3168
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 240756
involuntary context switches= 5659


# summary of solver processes directly reported to runsolver:
#   pid: 16674
#   total CPU time (s): 2520.15
#   total CPU user time (s): 2515.8
#   total CPU system time (s): 4.34279

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.6735 second user time and 18.9185 second system time

The end

Launcher Data 

Begin job on node149 at 2018-08-12 05:59:09
IDJOB=4304195
IDBENCH=141061
IDSOLVER=2780
FILE ID=node149/4304195-1534046349
RUNJOBID= node149-1534038877-15391
PBS_JOBID= 21036971
Free space on /tmp= 38776 MiB

SOLVER NAME= Concrete 3.9.2
BENCH NAME= XCSP18/NurseRostering/NurseRostering-12_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4304195-1534046349/watcher-4304195-1534046349 -o /tmp/evaluation-result-4304195-1534046349/solver-4304195-1534046349 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1534038877-15391 --watchdog 2580  bin/xcsp-3-concrete -J-Xss64M -randomseed=1758268148 HOME/instance-4304195-1534046349.xml

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

MD5SUM BENCH= 2a283c05e31c4b30f3ec3c3182bebd94
RANDOM SEED=1758268148

node149.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.60
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.60
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.60
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.60
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:        10508612 kB
MemAvailable:   30181488 kB
Buffers:          174796 kB
Cached:         19510728 kB
SwapCached:           28 kB
Active:          9576332 kB
Inactive:       11884516 kB
Active(anon):    1724076 kB
Inactive(anon):   103136 kB
Active(file):    7852256 kB
Inactive(file): 11781380 kB
Unevictable:        7608 kB
Mlocked:            7608 kB
SwapTotal:      67108860 kB
SwapFree:       67108496 kB
Dirty:             26944 kB
Writeback:            12 kB
AnonPages:       1796660 kB
Mapped:            66924 kB
Shmem:             49616 kB
Slab:             495724 kB
SReclaimable:     467700 kB
SUnreclaim:        28024 kB
KernelStack:        3568 kB
PageTables:         9080 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2863992 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1609728 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 38752 MiB
End job on node149 at 2018-08-12 06:39:53