Trace number 4292965

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.8 2018-06-13SAT (TO)13519 2520.14 2449.83

General information on the benchmark

NameNurseRostering/
NurseRostering-10_c18.xml
MD5SUM8e8c57bbf90dbce08cf7a3cf301ec8dd
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark10181
Best CPU time to get the best result obtained on this benchmark2520.06
Satisfiable
(Un)Satisfiability was proved
Number of variables2140
Number of constraints5421
Number of domains18
Minimum domain size1
Maximum domain size41
Distribution of domain sizes[{"size":1,"count":94},{"size":2,"count":444},{"size":6,"count":1141},{"size":9,"count":7},{"size":10,"count":18},{"size":29,"count":128},{"size":41,"count":308}]
Minimum variable degree2
Maximum variable degree27
Distribution of variable degrees[{"degree":2,"count":860},{"degree":3,"count":160},{"degree":17,"count":33},{"degree":18,"count":41},{"degree":19,"count":6},{"degree":20,"count":31},{"degree":21,"count":40},{"degree":22,"count":67},{"degree":23,"count":71},{"degree":24,"count":80},{"degree":25,"count":360},{"degree":26,"count":293},{"degree":27,"count":98}]
Minimum constraint arity2
Maximum constraint arity80
Distribution of constraint arities[{"arity":2,"count":1932},{"arity":3,"count":2080},{"arity":4,"count":40},{"arity":6,"count":960},{"arity":29,"count":240},{"arity":41,"count":168},{"arity":80,"count":1}]
Number of extensional constraints1248
Number of intensional constraints684
Distribution of constraint types[{"type":"extension","count":1248},{"type":"intension","count":684},{"type":"regular","count":2080},{"type":"sum","count":80},{"type":"count","count":1328},{"type":"instantiation","count":1}]
Optimization problemYES
Type of objectivemin SUM

Solver Data 

0.98/0.74	c Concrete v3.8.1528841891564 running
16.25/6.02	c 01:17:44.081 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15786. 'extension(5, x[1][29]=[0‥5]) :: init: true :: relation: MDD 1037793103, 12 edges, 5 vertices, 9 tuples
16.25/6.02	c 01:17:44.086 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15787. 'extension(5, x[1][29]=[0‥5]) :: init: true :: relation: MDD 726483751, 6 edges, 3 vertices, 5 tuples
16.25/6.03	c 01:17:44.091 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15815. 'extension(5, x[1][38]=[0‥5]) :: init: true :: relation: MDD 917190676, 12 edges, 5 vertices, 9 tuples
16.25/6.03	c 01:17:44.091 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15816. 'extension(5, x[1][38]=[0‥5]) :: init: true :: relation: MDD 70543368, 6 edges, 3 vertices, 5 tuples
16.25/6.03	c 01:17:44.093 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15844. 'extension(x[0][6]=[0‥5], 5) :: init: true :: relation: MDD 879924346, 12 edges, 5 vertices, 9 tuples
16.25/6.03	c 01:17:44.094 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15845. 'extension(5, x[2][6]=[0‥5]) :: init: true :: relation: MDD 879924346, 12 edges, 5 vertices, 9 tuples
16.25/6.03	c 01:17:44.096 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15877. 'extension(x[0][15]=[0‥5], 5) :: init: true :: relation: MDD 854255346, 12 edges, 5 vertices, 9 tuples
16.25/6.04	c 01:17:44.097 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15910. 'extension(x[0][25]=[0‥5], 5) :: init: true :: relation: MDD 1007550632, 12 edges, 5 vertices, 9 tuples
16.25/6.04	c 01:17:44.097 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15911. 'extension(5, x[2][25]=[0‥5]) :: init: true :: relation: MDD 1007550632, 12 edges, 5 vertices, 9 tuples
16.25/6.04	c 01:17:44.100 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15943. 'extension(x[1][5]=[0‥5], 5) :: init: true :: relation: MDD 812229472, 12 edges, 5 vertices, 9 tuples
16.25/6.04	c 01:17:44.101 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15978. 'extension(5, x[3][15]=[0‥5]) :: init: true :: relation: MDD 854255346, 12 edges, 5 vertices, 9 tuples
16.25/6.04	c 01:17:44.102 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15981. 'extension(5, 5) :: init: true :: relation: MDD 854255346, 12 edges, 5 vertices, 9 tuples
16.25/6.04	c 01:17:44.105 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16013. 'extension(x[1][20]=[0‥5], 5) :: init: true :: relation: MDD 2037343019, 12 edges, 5 vertices, 9 tuples
16.25/6.04	c 01:17:44.105 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16014. 'extension(5, x[3][20]=[0‥5]) :: init: true :: relation: MDD 2037343019, 12 edges, 5 vertices, 9 tuples
16.25/6.05	c 01:17:44.108 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16048. 'extension(x[1][36]=[0‥5], 5) :: init: true :: relation: MDD 2009196049, 12 edges, 5 vertices, 9 tuples
16.25/6.05	c 01:17:44.108 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16049. 'extension(5, x[3][36]=[0‥5]) :: init: true :: relation: MDD 2009196049, 12 edges, 5 vertices, 9 tuples
16.25/6.05	c 01:17:44.111 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16083. 'extension(x[2][0]=[0‥5], 5) :: init: true :: relation: MDD 753853622, 12 edges, 5 vertices, 9 tuples
16.25/6.05	c 01:17:44.112 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16084. 'extension(5, x[4][0]=[0‥5]) :: init: true :: relation: MDD 753853622, 12 edges, 5 vertices, 9 tuples
16.25/6.06	c 01:17:44.123 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16119. 'extension(5, x[4][5]=[0‥5]) :: init: true :: relation: MDD 812229472, 12 edges, 5 vertices, 9 tuples
16.25/6.06	c 01:17:44.124 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16122. 'extension(5, 5) :: init: true :: relation: MDD 812229472, 12 edges, 5 vertices, 9 tuples
16.25/6.07	c 01:17:44.126 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16155. 'extension(x[2][10]=[0‥5], 5) :: init: true :: relation: MDD 1589745212, 12 edges, 5 vertices, 9 tuples
16.25/6.07	c 01:17:44.127 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16156. 'extension(5, x[4][10]=[0‥5]) :: init: true :: relation: MDD 1589745212, 12 edges, 5 vertices, 9 tuples
16.25/6.07	c 01:17:44.129 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16191. 'extension(x[2][12]=[0‥5], 5) :: init: true :: relation: MDD 134943275, 12 edges, 5 vertices, 9 tuples
16.25/6.07	c 01:17:44.130 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16227. 'extension(x[2][18]=[0‥5], 5) :: init: true :: relation: MDD 1784551034, 12 edges, 5 vertices, 9 tuples
16.25/6.07	c 01:17:44.131 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16228. 'extension(5, x[4][18]=[0‥5]) :: init: true :: relation: MDD 1784551034, 12 edges, 5 vertices, 9 tuples
16.25/6.07	c 01:17:44.133 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16263. 'extension(x[2][37]=[0‥5], 5) :: init: true :: relation: MDD 1909367224, 12 edges, 5 vertices, 9 tuples
16.25/6.07	c 01:17:44.133 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16264. 'extension(5, x[4][37]=[0‥5]) :: init: true :: relation: MDD 1909367224, 12 edges, 5 vertices, 9 tuples
16.25/6.07	c 01:17:44.136 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16299. 'extension(5, x[5][12]=[0‥5]) :: init: true :: relation: MDD 134943275, 12 edges, 5 vertices, 9 tuples
16.25/6.07	c 01:17:44.136 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16302. 'extension(5, 5) :: init: true :: relation: MDD 134943275, 12 edges, 5 vertices, 9 tuples
16.25/6.08	c 01:17:44.138 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16336. 'extension(x[3][17]=[0‥5], 5) :: init: true :: relation: MDD 1752220610, 12 edges, 5 vertices, 9 tuples
16.25/6.08	c 01:17:44.140 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16373. 'extension(5, wk[14][0]=[0‥1]) :: init: true :: relation: MDD 1542437569, 6 edges, 3 vertices, 5 tuples
16.25/6.08	c 01:17:44.140 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16374. 'extension(x[4][14]=[0‥5], 5) :: init: true :: relation: MDD 376660032, 12 edges, 5 vertices, 9 tuples
16.25/6.08	c 01:17:44.141 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16375. 'extension(5, x[6][14]=[0‥5]) :: init: true :: relation: MDD 376660032, 12 edges, 5 vertices, 9 tuples
16.25/6.08	c 01:17:44.143 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16412. 'extension(5, wk[17][0]=[0‥1]) :: init: true :: relation: MDD 391575500, 6 edges, 3 vertices, 5 tuples
16.25/6.08	c 01:17:44.143 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16413. 'extension(5, x[6][17]=[0‥5]) :: init: true :: relation: MDD 1752220610, 12 edges, 5 vertices, 9 tuples
16.25/6.08	c 01:17:44.144 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16416. 'extension(5, 5) :: init: true :: relation: MDD 1752220610, 12 edges, 5 vertices, 9 tuples
16.25/6.08	c 01:17:44.146 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16451. 'extension(5, wk[32][0]=[0‥1]) :: init: true :: relation: MDD 1940844413, 6 edges, 3 vertices, 5 tuples
16.25/6.09	c 01:17:44.146 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16452. 'extension(x[4][32]=[0‥5], 5) :: init: true :: relation: MDD 1628252344, 12 edges, 5 vertices, 9 tuples
16.25/6.09	c 01:17:44.146 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16453. 'extension(5, x[6][32]=[0‥5]) :: init: true :: relation: MDD 1628252344, 12 edges, 5 vertices, 9 tuples
16.25/6.09	c 01:17:44.149 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16490. 'extension(5, wk[31][0]=[0‥1]) :: init: true :: relation: MDD 994712181, 6 edges, 3 vertices, 5 tuples
16.25/6.09	c 01:17:44.149 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16491. 'extension(x[5][31]=[0‥5], 5) :: init: true :: relation: MDD 495289088, 12 edges, 5 vertices, 9 tuples
16.25/6.09	c 01:17:44.151 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16529. 'extension(x[6][0]=[0‥5], 5) :: init: true :: relation: MDD 753853622, 12 edges, 5 vertices, 9 tuples
16.25/6.09	c 01:17:44.151 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16530. 'extension(5, x[8][0]=[0‥5]) :: init: true :: relation: MDD 753853622, 12 edges, 5 vertices, 9 tuples
16.25/6.09	c 01:17:44.153 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16567. 'extension(x[6][8]=[0‥5], 5) :: init: true :: relation: MDD 783117220, 12 edges, 5 vertices, 9 tuples
16.25/6.09	c 01:17:44.154 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16568. 'extension(5, x[8][8]=[0‥5]) :: init: true :: relation: MDD 783117220, 12 edges, 5 vertices, 9 tuples
16.25/6.10	c 01:17:44.156 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16605. 'extension(x[6][11]=[0‥5], 5) :: init: true :: relation: MDD 1336210565, 12 edges, 5 vertices, 9 tuples
16.25/6.10	c 01:17:44.157 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16643. 'extension(5, x[8][31]=[0‥5]) :: init: true :: relation: MDD 495289088, 12 edges, 5 vertices, 9 tuples
16.25/6.10	c 01:17:44.157 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16646. 'extension(5, 5) :: init: true :: relation: MDD 495289088, 12 edges, 5 vertices, 9 tuples
16.25/6.10	c 01:17:44.159 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16681. 'extension(x[6][39]=[0‥5], 5) :: init: true :: relation: MDD 851116146, 12 edges, 5 vertices, 9 tuples
16.25/6.10	c 01:17:44.159 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16682. 'extension(5, x[8][39]=[0‥5]) :: init: true :: relation: MDD 851116146, 12 edges, 5 vertices, 9 tuples
16.25/6.10	c 01:17:44.161 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16719. 'extension(5, x[9][11]=[0‥5]) :: init: true :: relation: MDD 1336210565, 12 edges, 5 vertices, 9 tuples
16.25/6.10	c 01:17:44.162 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16722. 'extension(5, 5) :: init: true :: relation: MDD 1336210565, 12 edges, 5 vertices, 9 tuples
16.25/6.10	c 01:17:44.164 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16757. 'extension(x[7][14]=[0‥5], 5) :: init: true :: relation: MDD 376660032, 12 edges, 5 vertices, 9 tuples
16.25/6.10	c 01:17:44.164 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16758. 'extension(5, x[9][14]=[0‥5]) :: init: true :: relation: MDD 376660032, 12 edges, 5 vertices, 9 tuples
16.25/6.10	c 01:17:44.166 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16795. 'extension(x[7][19]=[0‥5], 5) :: init: true :: relation: MDD 1835878412, 12 edges, 5 vertices, 9 tuples
16.25/6.11	c 01:17:44.167 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16833. 'extension(x[7][32]=[0‥5], 5) :: init: true :: relation: MDD 1628252344, 12 edges, 5 vertices, 9 tuples
16.25/6.11	c 01:17:44.168 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16834. 'extension(5, x[9][32]=[0‥5]) :: init: true :: relation: MDD 1628252344, 12 edges, 5 vertices, 9 tuples
16.25/6.11	c 01:17:44.170 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16871. 'extension(x[7][33]=[0‥5], 5) :: init: true :: relation: MDD 1952473604, 12 edges, 5 vertices, 9 tuples
16.25/6.11	c 01:17:44.171 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16909. 'extension(5, x[10][19]=[0‥5]) :: init: true :: relation: MDD 1835878412, 12 edges, 5 vertices, 9 tuples
16.25/6.11	c 01:17:44.172 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16912. 'extension(5, 5) :: init: true :: relation: MDD 1835878412, 12 edges, 5 vertices, 9 tuples
16.25/6.11	c 01:17:44.173 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16947. 'extension(5, x[10][33]=[0‥5]) :: init: true :: relation: MDD 1952473604, 12 edges, 5 vertices, 9 tuples
16.25/6.11	c 01:17:44.174 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16950. 'extension(5, 5) :: init: true :: relation: MDD 1952473604, 12 edges, 5 vertices, 9 tuples
16.61/6.12	c 01:17:44.175 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16985. 'extension(x[8][38]=[0‥5], 5) :: init: true :: relation: MDD 917190676, 12 edges, 5 vertices, 9 tuples
16.61/6.12	c 01:17:44.176 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16986. 'extension(5, x[10][38]=[0‥5]) :: init: true :: relation: MDD 917190676, 12 edges, 5 vertices, 9 tuples
16.61/6.12	c 01:17:44.179 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17023. 'extension(x[9][7]=[0‥5], 5) :: init: true :: relation: MDD 972404515, 12 edges, 5 vertices, 9 tuples
16.61/6.12	c 01:17:44.180 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17061. 'extension(x[10][3]=[0‥5], 5) :: init: true :: relation: MDD 1594214614, 12 edges, 5 vertices, 9 tuples
16.61/6.12	c 01:17:44.181 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17099. 'extension(x[10][6]=[0‥5], 5) :: init: true :: relation: MDD 879924346, 12 edges, 5 vertices, 9 tuples
16.61/6.12	c 01:17:44.182 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17100. 'extension(5, x[12][6]=[0‥5]) :: init: true :: relation: MDD 879924346, 12 edges, 5 vertices, 9 tuples
16.61/6.12	c 01:17:44.184 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17137. 'extension(5, x[12][7]=[0‥5]) :: init: true :: relation: MDD 972404515, 12 edges, 5 vertices, 9 tuples
16.61/6.12	c 01:17:44.184 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17140. 'extension(5, 5) :: init: true :: relation: MDD 972404515, 12 edges, 5 vertices, 9 tuples
16.61/6.12	c 01:17:44.186 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17175. 'extension(x[10][18]=[0‥5], 5) :: init: true :: relation: MDD 1784551034, 12 edges, 5 vertices, 9 tuples
16.61/6.12	c 01:17:44.186 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17176. 'extension(5, x[12][18]=[0‥5]) :: init: true :: relation: MDD 1784551034, 12 edges, 5 vertices, 9 tuples
16.61/6.13	c 01:17:44.188 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17213. 'extension(x[10][22]=[0‥5], 5) :: init: true :: relation: MDD 1621615881, 12 edges, 5 vertices, 9 tuples
16.61/6.13	c 01:17:44.188 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17214. 'extension(5, x[12][22]=[0‥5]) :: init: true :: relation: MDD 1621615881, 12 edges, 5 vertices, 9 tuples
16.61/6.13	c 01:17:44.190 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17251. 'extension(5, wk[3][1]=[0‥1]) :: init: true :: relation: MDD 1565397985, 6 edges, 3 vertices, 5 tuples
16.61/6.13	c 01:17:44.191 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17252. 'extension(5, x[13][3]=[0‥5]) :: init: true :: relation: MDD 1594214614, 12 edges, 5 vertices, 9 tuples
16.61/6.13	c 01:17:44.191 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17255. 'extension(5, 5) :: init: true :: relation: MDD 1594214614, 12 edges, 5 vertices, 9 tuples
16.61/6.13	c 01:17:44.193 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17290. 'extension(5, wk[4][1]=[0‥1]) :: init: true :: relation: MDD 998157332, 6 edges, 3 vertices, 5 tuples
16.61/6.13	c 01:17:44.193 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17291. 'extension(x[11][4]=[0‥5], 5) :: init: true :: relation: MDD 2096808863, 12 edges, 5 vertices, 9 tuples
16.61/6.13	c 01:17:44.194 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17329. 'extension(5, wk[21][1]=[0‥1]) :: init: true :: relation: MDD 495984416, 6 edges, 3 vertices, 5 tuples
16.61/6.13	c 01:17:44.194 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17330. 'extension(x[11][21]=[0‥5], 5) :: init: true :: relation: MDD 1531409183, 12 edges, 5 vertices, 9 tuples
16.61/6.13	c 01:17:44.195 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17331. 'extension(5, x[13][21]=[0‥5]) :: init: true :: relation: MDD 1531409183, 12 edges, 5 vertices, 9 tuples
16.61/6.13	c 01:17:44.196 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17368. 'extension(5, wk[25][1]=[0‥1]) :: init: true :: relation: MDD 380556447, 6 edges, 3 vertices, 5 tuples
16.61/6.13	c 01:17:44.196 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17369. 'extension(x[11][25]=[0‥5], 5) :: init: true :: relation: MDD 1007550632, 12 edges, 5 vertices, 9 tuples
16.61/6.14	c 01:17:44.197 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17370. 'extension(5, x[13][25]=[0‥5]) :: init: true :: relation: MDD 1007550632, 12 edges, 5 vertices, 9 tuples
16.61/6.15	c 01:17:44.199 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17407. 'extension(5, wk[4][1]=[0‥1]) :: init: true :: relation: MDD 2004687135, 6 edges, 3 vertices, 5 tuples
16.61/6.15	c 01:17:44.199 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17408. 'extension(5, x[14][4]=[0‥5]) :: init: true :: relation: MDD 2096808863, 12 edges, 5 vertices, 9 tuples
16.61/6.15	c 01:17:44.200 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17411. 'extension(5, 5) :: init: true :: relation: MDD 2096808863, 12 edges, 5 vertices, 9 tuples
16.61/6.15	c 01:17:44.201 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17446. 'extension(5, wk[28][1]=[0‥1]) :: init: true :: relation: MDD 804993772, 6 edges, 3 vertices, 5 tuples
16.61/6.15	c 01:17:44.202 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17447. 'extension(x[12][28]=[0‥5], 5) :: init: true :: relation: MDD 1973281540, 12 edges, 5 vertices, 9 tuples
16.61/6.15	c 01:17:44.202 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17448. 'extension(5, x[14][28]=[0‥5]) :: init: true :: relation: MDD 1973281540, 12 edges, 5 vertices, 9 tuples
16.61/6.15	c 01:17:44.204 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17485. 'extension(x[13][1]=[0‥5], 5) :: init: true :: relation: MDD 242762528, 12 edges, 5 vertices, 9 tuples
16.61/6.15	c 01:17:44.205 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17523. 'extension(x[13][20]=[0‥5], 5) :: init: true :: relation: MDD 2037343019, 12 edges, 5 vertices, 9 tuples
16.61/6.15	c 01:17:44.205 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17524. 'extension(5, x[15][20]=[0‥5]) :: init: true :: relation: MDD 2037343019, 12 edges, 5 vertices, 9 tuples
16.61/6.15	c 01:17:44.207 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17561. 'extension(x[13][30]=[0‥5], 5) :: init: true :: relation: MDD 270313690, 12 edges, 5 vertices, 9 tuples
16.61/6.15	c 01:17:44.208 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17599. 'extension(x[13][35]=[0‥5], 5) :: init: true :: relation: MDD 2077150966, 12 edges, 5 vertices, 9 tuples
16.61/6.15	c 01:17:44.209 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17637. 'extension(5, x[16][1]=[0‥5]) :: init: true :: relation: MDD 242762528, 12 edges, 5 vertices, 9 tuples
16.61/6.15	c 01:17:44.210 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17640. 'extension(5, 5) :: init: true :: relation: MDD 242762528, 12 edges, 5 vertices, 9 tuples
16.61/6.15	c 01:17:44.211 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17675. 'extension(5, x[16][30]=[0‥5]) :: init: true :: relation: MDD 270313690, 12 edges, 5 vertices, 9 tuples
16.61/6.15	c 01:17:44.212 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17678. 'extension(5, 5) :: init: true :: relation: MDD 270313690, 12 edges, 5 vertices, 9 tuples
16.61/6.15	c 01:17:44.213 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17713. 'extension(5, x[16][35]=[0‥5]) :: init: true :: relation: MDD 2077150966, 12 edges, 5 vertices, 9 tuples
16.61/6.15	c 01:17:44.214 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17716. 'extension(5, 5) :: init: true :: relation: MDD 2077150966, 12 edges, 5 vertices, 9 tuples
16.61/6.15	c 01:17:44.216 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17751. 'extension(x[15][24]=[0‥5], 5) :: init: true :: relation: MDD 1561005241, 12 edges, 5 vertices, 9 tuples
16.61/6.15	c 01:17:44.216 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17752. 'extension(5, x[17][24]=[0‥5]) :: init: true :: relation: MDD 1561005241, 12 edges, 5 vertices, 9 tuples
16.61/6.16	c 01:17:44.218 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17789. 'extension(x[17][36]=[0‥5], 5) :: init: true :: relation: MDD 2009196049, 12 edges, 5 vertices, 9 tuples
16.61/6.16	c 01:17:44.218 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17790. 'extension(5, x[19][36]=[0‥5]) :: init: true :: relation: MDD 2009196049, 12 edges, 5 vertices, 9 tuples
16.61/6.16	c 01:17:44.221 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17827. 'extension(5, wk[21][2]=[0‥1]) :: init: true :: relation: MDD 129958347, 6 edges, 3 vertices, 5 tuples
16.61/6.16	c 01:17:44.221 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17828. 'extension(x[18][21]=[0‥5], 5) :: init: true :: relation: MDD 1531409183, 12 edges, 5 vertices, 9 tuples
16.61/6.16	c 01:17:44.221 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17829. 'extension(5, x[20][21]=[0‥5]) :: init: true :: relation: MDD 1531409183, 12 edges, 5 vertices, 9 tuples
16.61/6.16	c 01:17:44.223 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17866. 'extension(5, wk[39][2]=[0‥1]) :: init: true :: relation: MDD 1123573668, 6 edges, 3 vertices, 5 tuples
16.61/6.16	c 01:17:44.223 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17867. 'extension(x[18][39]=[0‥5], 5) :: init: true :: relation: MDD 851116146, 12 edges, 5 vertices, 9 tuples
16.61/6.16	c 01:17:44.224 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17868. 'extension(5, x[20][39]=[0‥5]) :: init: true :: relation: MDD 851116146, 12 edges, 5 vertices, 9 tuples
16.61/6.16	c 01:17:44.226 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17905. 'extension(5, wk[26][2]=[0‥1]) :: init: true :: relation: MDD 1200689594, 6 edges, 3 vertices, 5 tuples
16.61/6.16	c 01:17:44.226 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17906. 'extension(x[19][26]=[0‥5], 5) :: init: true :: relation: MDD 873002645, 12 edges, 5 vertices, 9 tuples
16.61/6.17	c 01:17:44.227 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17944. 'extension(x[20][10]=[0‥5], 5) :: init: true :: relation: MDD 1589745212, 12 edges, 5 vertices, 9 tuples
16.61/6.17	c 01:17:44.228 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17945. 'extension(5, x[22][10]=[0‥5]) :: init: true :: relation: MDD 1589745212, 12 edges, 5 vertices, 9 tuples
16.61/6.17	c 01:17:44.229 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17982. 'extension(x[20][16]=[0‥5], 5) :: init: true :: relation: MDD 1780306540, 12 edges, 5 vertices, 9 tuples
16.61/6.17	c 01:17:44.230 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17983. 'extension(5, x[22][16]=[0‥5]) :: init: true :: relation: MDD 1780306540, 12 edges, 5 vertices, 9 tuples
16.61/6.17	c 01:17:44.231 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18020. 'extension(5, x[22][26]=[0‥5]) :: init: true :: relation: MDD 873002645, 12 edges, 5 vertices, 9 tuples
16.61/6.17	c 01:17:44.231 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18023. 'extension(5, 5) :: init: true :: relation: MDD 873002645, 12 edges, 5 vertices, 9 tuples
16.61/6.17	c 01:17:44.233 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18058. 'extension(x[21][8]=[0‥5], 5) :: init: true :: relation: MDD 783117220, 12 edges, 5 vertices, 9 tuples
16.61/6.17	c 01:17:44.233 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18059. 'extension(5, x[23][8]=[0‥5]) :: init: true :: relation: MDD 783117220, 12 edges, 5 vertices, 9 tuples
16.61/6.17	c 01:17:44.235 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18096. 'extension(x[21][9]=[0‥5], 5) :: init: true :: relation: MDD 1645557354, 12 edges, 5 vertices, 9 tuples
16.61/6.17	c 01:17:44.235 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18097. 'extension(5, x[23][9]=[0‥5]) :: init: true :: relation: MDD 1645557354, 12 edges, 5 vertices, 9 tuples
16.61/6.17	c 01:17:44.237 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18134. 'extension(x[21][13]=[0‥5], 5) :: init: true :: relation: MDD 1259065345, 12 edges, 5 vertices, 9 tuples
16.61/6.18	c 01:17:44.237 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18172. 'extension(x[21][24]=[0‥5], 5) :: init: true :: relation: MDD 1561005241, 12 edges, 5 vertices, 9 tuples
16.61/6.18	c 01:17:44.238 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18173. 'extension(5, x[23][24]=[0‥5]) :: init: true :: relation: MDD 1561005241, 12 edges, 5 vertices, 9 tuples
16.61/6.18	c 01:17:44.240 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18210. 'extension(x[22][2]=[0‥5], 5) :: init: true :: relation: MDD 1286437308, 12 edges, 5 vertices, 9 tuples
16.61/6.18	c 01:17:44.241 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18247. 'extension(5, x[24][13]=[0‥5]) :: init: true :: relation: MDD 1259065345, 12 edges, 5 vertices, 9 tuples
16.61/6.18	c 01:17:44.241 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18250. 'extension(5, 5) :: init: true :: relation: MDD 1259065345, 12 edges, 5 vertices, 9 tuples
16.61/6.18	c 01:17:44.243 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18284. 'extension(x[22][23]=[0‥5], 5) :: init: true :: relation: MDD 1651795723, 12 edges, 5 vertices, 9 tuples
16.61/6.19	c 01:17:44.247 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18285. 'extension(5, x[24][23]=[0‥5]) :: init: true :: relation: MDD 1651795723, 12 edges, 5 vertices, 9 tuples
16.61/6.19	c 01:17:44.248 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18321. 'extension(x[22][29]=[0‥5], 5) :: init: true :: relation: MDD 1037793103, 12 edges, 5 vertices, 9 tuples
16.61/6.19	c 01:17:44.249 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18322. 'extension(5, x[24][29]=[0‥5]) :: init: true :: relation: MDD 1037793103, 12 edges, 5 vertices, 9 tuples
16.61/6.19	c 01:17:44.250 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18358. 'extension(x[22][37]=[0‥5], 5) :: init: true :: relation: MDD 1909367224, 12 edges, 5 vertices, 9 tuples
16.61/6.19	c 01:17:44.251 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18359. 'extension(5, x[24][37]=[0‥5]) :: init: true :: relation: MDD 1909367224, 12 edges, 5 vertices, 9 tuples
16.61/6.19	c 01:17:44.253 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18395. 'extension(5, x[25][2]=[0‥5]) :: init: true :: relation: MDD 1286437308, 12 edges, 5 vertices, 9 tuples
16.61/6.19	c 01:17:44.253 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18398. 'extension(5, 5) :: init: true :: relation: MDD 1286437308, 12 edges, 5 vertices, 9 tuples
16.61/6.19	c 01:17:44.255 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18431. 'extension(x[23][16]=[0‥5], 5) :: init: true :: relation: MDD 1780306540, 12 edges, 5 vertices, 9 tuples
16.61/6.19	c 01:17:44.255 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18432. 'extension(5, x[25][16]=[0‥5]) :: init: true :: relation: MDD 1780306540, 12 edges, 5 vertices, 9 tuples
16.61/6.20	c 01:17:44.257 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18467. 'extension(x[24][27]=[0‥5], 5) :: init: true :: relation: MDD 994584048, 12 edges, 5 vertices, 9 tuples
16.61/6.20	c 01:17:44.258 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18502. 'extension(5, wk[22][3]=[0‥1]) :: init: true :: relation: MDD 1620989914, 6 edges, 3 vertices, 5 tuples
16.61/6.20	c 01:17:44.259 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18503. 'extension(x[25][22]=[0‥5], 5) :: init: true :: relation: MDD 1621615881, 12 edges, 5 vertices, 9 tuples
16.61/6.20	c 01:17:44.259 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18504. 'extension(5, x[27][22]=[0‥5]) :: init: true :: relation: MDD 1621615881, 12 edges, 5 vertices, 9 tuples
16.61/6.20	c 01:17:44.260 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18536. 'extension(5, wk[27][3]=[0‥1]) :: init: true :: relation: MDD 999663323, 6 edges, 3 vertices, 5 tuples
16.61/6.20	c 01:17:44.261 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18537. 'extension(5, x[27][27]=[0‥5]) :: init: true :: relation: MDD 994584048, 12 edges, 5 vertices, 9 tuples
16.61/6.20	c 01:17:44.261 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18539. 'extension(5, 5) :: init: true :: relation: MDD 994584048, 12 edges, 5 vertices, 9 tuples
16.61/6.20	c 01:17:44.262 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18570. 'extension(5, wk[34][3]=[0‥1]) :: init: true :: relation: MDD 1300497562, 6 edges, 3 vertices, 5 tuples
16.61/6.20	c 01:17:44.262 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18571. 'extension(x[25][34]=[0‥5], 5) :: init: true :: relation: MDD 233300371, 12 edges, 5 vertices, 9 tuples
16.61/6.20	c 01:17:44.263 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18604. 'extension(5, wk[9][3]=[0‥1]) :: init: true :: relation: MDD 1482714257, 6 edges, 3 vertices, 5 tuples
16.61/6.20	c 01:17:44.264 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18605. 'extension(x[26][9]=[0‥5], 5) :: init: true :: relation: MDD 1645557354, 12 edges, 5 vertices, 9 tuples
16.61/6.20	c 01:17:44.264 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18606. 'extension(5, x[26][9]=[0‥5]) :: init: true :: relation: MDD 993343057, 6 edges, 3 vertices, 5 tuples
16.61/6.20	c 01:17:44.265 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18634. 'extension(5, wk[23][3]=[0‥1]) :: init: true :: relation: MDD 2063581529, 6 edges, 3 vertices, 5 tuples
16.61/6.20	c 01:17:44.265 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18635. 'extension(x[26][23]=[0‥5], 5) :: init: true :: relation: MDD 1651795723, 12 edges, 5 vertices, 9 tuples
16.61/6.20	c 01:17:44.265 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18636. 'extension(5, x[26][23]=[0‥5]) :: init: true :: relation: MDD 1713520020, 6 edges, 3 vertices, 5 tuples
16.61/6.20	c 01:17:44.266 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18664. 'extension(5, wk[28][3]=[0‥1]) :: init: true :: relation: MDD 1302568105, 6 edges, 3 vertices, 5 tuples
16.61/6.20	c 01:17:44.267 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18665. 'extension(x[26][28]=[0‥5], 5) :: init: true :: relation: MDD 1973281540, 12 edges, 5 vertices, 9 tuples
16.61/6.20	c 01:17:44.267 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18666. 'extension(5, x[26][28]=[0‥5]) :: init: true :: relation: MDD 1026134931, 6 edges, 3 vertices, 5 tuples
16.92/6.21	c 01:17:44.268 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18694. 'extension(5, wk[34][3]=[0‥1]) :: init: true :: relation: MDD 1680365536, 6 edges, 3 vertices, 5 tuples
16.92/6.21	c 01:17:44.269 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18695. 'extension(5, 5) :: init: true :: relation: MDD 233300371, 12 edges, 5 vertices, 9 tuples
16.92/6.21	c 01:17:44.269 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18696. 'extension(5, 5) :: init: true :: relation: MDD 1502971166, 6 edges, 3 vertices, 5 tuples
16.92/6.22	c 01:17:44.282 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18805. 'extension(x[1][29]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.22	c 01:17:44.282 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18807. 'extension(x[1][29]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.22	c 01:17:44.282 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18813. 'extension(x[1][38]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.22	c 01:17:44.283 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18815. 'extension(x[1][38]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.22	c 01:17:44.283 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18821. 'extension(x[0][6]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.22	c 01:17:44.283 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18823. 'extension(x[2][6]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.22	c 01:17:44.284 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18835. 'extension(x[0][15]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.22	c 01:17:44.284 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18839. 'extension(x[0][25]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.22	c 01:17:44.284 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18841. 'extension(x[2][25]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.22	c 01:17:44.285 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18853. 'extension(x[1][5]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.22	c 01:17:44.285 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18859. 'extension(x[3][15]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.22	c 01:17:44.286 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18873. 'extension(x[1][20]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.22	c 01:17:44.286 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18875. 'extension(x[3][20]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.23	c 01:17:44.287 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18889. 'extension(x[1][36]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.23	c 01:17:44.287 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18891. 'extension(x[3][36]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.23	c 01:17:44.288 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18905. 'extension(x[2][0]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.23	c 01:17:44.288 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18907. 'extension(x[4][0]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.23	c 01:17:44.289 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18921. 'extension(x[4][5]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.23	c 01:17:44.289 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18935. 'extension(x[2][10]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.23	c 01:17:44.289 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18937. 'extension(x[4][10]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.23	c 01:17:44.290 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18951. 'extension(x[2][12]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.23	c 01:17:44.290 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18957. 'extension(x[2][18]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.23	c 01:17:44.291 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18959. 'extension(x[4][18]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.23	c 01:17:44.291 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18973. 'extension(x[2][37]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.23	c 01:17:44.291 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18975. 'extension(x[4][37]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.23	c 01:17:44.292 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18989. 'extension(x[5][12]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.23	c 01:17:44.293 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19003. 'extension(x[3][17]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.23	c 01:17:44.293 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19009. 'extension(wk[14][0]=[0‥1]) :: init: true :: relation: Empty MDD
16.92/6.23	c 01:17:44.293 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19011. 'extension(x[4][14]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.23	c 01:17:44.293 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19013. 'extension(x[6][14]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.23	c 01:17:44.294 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19027. 'extension(wk[17][0]=[0‥1]) :: init: true :: relation: Empty MDD
16.92/6.23	c 01:17:44.294 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19029. 'extension(x[6][17]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.23	c 01:17:44.295 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19043. 'extension(wk[32][0]=[0‥1]) :: init: true :: relation: Empty MDD
16.92/6.23	c 01:17:44.295 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19045. 'extension(x[4][32]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.23	c 01:17:44.295 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19047. 'extension(x[6][32]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.24	c 01:17:44.297 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19061. 'extension(wk[31][0]=[0‥1]) :: init: true :: relation: Empty MDD
16.92/6.24	c 01:17:44.297 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19063. 'extension(x[5][31]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.24	c 01:17:44.297 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19069. 'extension(x[6][0]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.24	c 01:17:44.297 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19071. 'extension(x[8][0]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.24	c 01:17:44.298 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19085. 'extension(x[6][8]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.24	c 01:17:44.298 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19087. 'extension(x[8][8]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.24	c 01:17:44.299 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19101. 'extension(x[6][11]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.24	c 01:17:44.299 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19107. 'extension(x[8][31]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.24	c 01:17:44.300 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19121. 'extension(x[6][39]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.24	c 01:17:44.300 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19123. 'extension(x[8][39]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.24	c 01:17:44.301 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19137. 'extension(x[9][11]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.24	c 01:17:44.302 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19151. 'extension(x[7][14]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.24	c 01:17:44.302 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19153. 'extension(x[9][14]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.24	c 01:17:44.302 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19167. 'extension(x[7][19]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.24	c 01:17:44.303 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19173. 'extension(x[7][32]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.24	c 01:17:44.303 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19175. 'extension(x[9][32]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.24	c 01:17:44.304 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19189. 'extension(x[7][33]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.24	c 01:17:44.304 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19195. 'extension(x[10][19]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.24	c 01:17:44.305 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19209. 'extension(x[10][33]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.24	c 01:17:44.305 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19223. 'extension(x[8][38]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.24	c 01:17:44.305 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19225. 'extension(x[10][38]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.24	c 01:17:44.306 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19239. 'extension(x[9][7]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.24	c 01:17:44.306 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19245. 'extension(x[10][3]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.24	c 01:17:44.307 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19251. 'extension(x[10][6]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.25	c 01:17:44.307 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19253. 'extension(x[12][6]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.25	c 01:17:44.307 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19267. 'extension(x[12][7]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.25	c 01:17:44.308 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19281. 'extension(x[10][18]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.25	c 01:17:44.308 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19283. 'extension(x[12][18]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.25	c 01:17:44.309 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19297. 'extension(x[10][22]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.25	c 01:17:44.309 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19299. 'extension(x[12][22]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.25	c 01:17:44.310 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19313. 'extension(wk[3][1]=[0‥1]) :: init: true :: relation: Empty MDD
16.92/6.25	c 01:17:44.310 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19315. 'extension(x[13][3]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.25	c 01:17:44.311 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19329. 'extension(wk[4][1]=[0‥1]) :: init: true :: relation: Empty MDD
16.92/6.25	c 01:17:44.311 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19331. 'extension(x[11][4]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.25	c 01:17:44.311 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19337. 'extension(wk[21][1]=[0‥1]) :: init: true :: relation: Empty MDD
16.92/6.25	c 01:17:44.311 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19339. 'extension(x[11][21]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.25	c 01:17:44.311 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19341. 'extension(x[13][21]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.25	c 01:17:44.312 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19355. 'extension(wk[25][1]=[0‥1]) :: init: true :: relation: Empty MDD
16.92/6.25	c 01:17:44.312 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19357. 'extension(x[11][25]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.25	c 01:17:44.312 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19359. 'extension(x[13][25]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.25	c 01:17:44.313 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19373. 'extension(wk[4][1]=[0‥1]) :: init: true :: relation: Empty MDD
16.92/6.25	c 01:17:44.313 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19375. 'extension(x[14][4]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.25	c 01:17:44.314 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19389. 'extension(wk[28][1]=[0‥1]) :: init: true :: relation: Empty MDD
16.92/6.25	c 01:17:44.314 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19391. 'extension(x[12][28]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.25	c 01:17:44.314 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19393. 'extension(x[14][28]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.25	c 01:17:44.315 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19407. 'extension(x[13][1]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.25	c 01:17:44.315 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19413. 'extension(x[13][20]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.25	c 01:17:44.315 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19415. 'extension(x[15][20]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.25	c 01:17:44.316 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19429. 'extension(x[13][30]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.25	c 01:17:44.316 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19435. 'extension(x[13][35]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.25	c 01:17:44.317 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19441. 'extension(x[16][1]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.26	c 01:17:44.317 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19455. 'extension(x[16][30]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.26	c 01:17:44.318 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19469. 'extension(x[16][35]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.26	c 01:17:44.319 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19483. 'extension(x[15][24]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.26	c 01:17:44.319 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19485. 'extension(x[17][24]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.26	c 01:17:44.319 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19499. 'extension(x[17][36]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.26	c 01:17:44.320 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19501. 'extension(x[19][36]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.26	c 01:17:44.320 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19515. 'extension(wk[21][2]=[0‥1]) :: init: true :: relation: Empty MDD
16.92/6.26	c 01:17:44.320 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19517. 'extension(x[18][21]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.26	c 01:17:44.321 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19519. 'extension(x[20][21]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.26	c 01:17:44.321 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19533. 'extension(wk[39][2]=[0‥1]) :: init: true :: relation: Empty MDD
16.92/6.26	c 01:17:44.322 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19535. 'extension(x[18][39]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.26	c 01:17:44.322 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19537. 'extension(x[20][39]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.26	c 01:17:44.322 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19551. 'extension(wk[26][2]=[0‥1]) :: init: true :: relation: Empty MDD
16.92/6.26	c 01:17:44.323 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19553. 'extension(x[19][26]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.26	c 01:17:44.323 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19559. 'extension(x[20][10]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.26	c 01:17:44.323 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19561. 'extension(x[22][10]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.26	c 01:17:44.324 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19575. 'extension(x[20][16]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.26	c 01:17:44.324 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19577. 'extension(x[22][16]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.26	c 01:17:44.324 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19591. 'extension(x[22][26]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.26	c 01:17:44.325 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19605. 'extension(x[21][8]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.26	c 01:17:44.325 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19607. 'extension(x[23][8]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.26	c 01:17:44.326 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19621. 'extension(x[21][9]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.26	c 01:17:44.326 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19623. 'extension(x[23][9]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.26	c 01:17:44.327 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19637. 'extension(x[21][13]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.27	c 01:17:44.327 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19643. 'extension(x[21][24]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.27	c 01:17:44.327 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19645. 'extension(x[23][24]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.27	c 01:17:44.328 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19659. 'extension(x[22][2]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.27	c 01:17:44.328 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19665. 'extension(x[24][13]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.27	c 01:17:44.329 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19679. 'extension(x[22][23]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.27	c 01:17:44.329 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19681. 'extension(x[24][23]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.27	c 01:17:44.330 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19695. 'extension(x[22][29]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.27	c 01:17:44.330 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19697. 'extension(x[24][29]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.27	c 01:17:44.331 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19711. 'extension(x[22][37]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.27	c 01:17:44.331 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19713. 'extension(x[24][37]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.27	c 01:17:44.331 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19727. 'extension(x[25][2]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.27	c 01:17:44.332 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19741. 'extension(x[23][16]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.27	c 01:17:44.332 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19743. 'extension(x[25][16]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.27	c 01:17:44.333 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19757. 'extension(x[24][27]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.27	c 01:17:44.333 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19763. 'extension(wk[22][3]=[0‥1]) :: init: true :: relation: Empty MDD
16.92/6.27	c 01:17:44.333 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19765. 'extension(x[25][22]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.27	c 01:17:44.333 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19767. 'extension(x[27][22]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.27	c 01:17:44.334 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19779. 'extension(wk[27][3]=[0‥1]) :: init: true :: relation: Empty MDD
16.92/6.27	c 01:17:44.334 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19781. 'extension(x[27][27]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.27	c 01:17:44.335 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19793. 'extension(wk[34][3]=[0‥1]) :: init: true :: relation: Empty MDD
16.92/6.27	c 01:17:44.335 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19795. 'extension(x[25][34]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.27	c 01:17:44.335 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19801. 'extension(wk[9][3]=[0‥1]) :: init: true :: relation: Empty MDD
16.92/6.27	c 01:17:44.335 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19803. 'extension(x[26][9]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.27	c 01:17:44.335 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19805. 'extension(x[26][9]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.27	c 01:17:44.336 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19811. 'extension(wk[23][3]=[0‥1]) :: init: true :: relation: Empty MDD
16.92/6.27	c 01:17:44.336 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19813. 'extension(x[26][23]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.27	c 01:17:44.336 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19815. 'extension(x[26][23]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.28	c 01:17:44.336 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19821. 'extension(wk[28][3]=[0‥1]) :: init: true :: relation: Empty MDD
16.92/6.28	c 01:17:44.337 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19823. 'extension(x[26][28]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.28	c 01:17:44.337 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19825. 'extension(x[26][28]=[0‥5]) :: init: true :: relation: Empty MDD
16.92/6.28	c 01:17:44.337 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19831. 'extension(wk[34][3]=[0‥1]) :: init: true :: relation: Empty MDD
802.12/762.43	o 13519
2520.08/2449.80	Exception in thread "main" java.util.concurrent.TimeoutException
2520.08/2449.81		at concrete.MAC.mac(MAC.scala:188)
2520.08/2449.81		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.08/2449.81		at scala.util.Try$.apply(Try.scala:209)
2520.08/2449.81		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.08/2449.81		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.08/2449.81		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.08/2449.81		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.08/2449.81		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.08/2449.81		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.08/2449.81		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.08/2449.81		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.08/2449.81		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.08/2449.81		at concrete.MAC.oneRun(MAC.scala:253)
2520.08/2449.81		at concrete.MAC.nextSolution(MAC.scala:272)
2520.08/2449.81		at concrete.MAC.nextSolution(MAC.scala:355)
2520.08/2449.81		at concrete.Solver.hasNext(Solver.scala:166)
2520.08/2449.81		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.08/2449.81		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.08/2449.81		at concrete.Solver.foreach(Solver.scala:68)
2520.08/2449.81		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.08/2449.81		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.08/2449.81		at scala.util.Success.map(Try.scala:209)
2520.08/2449.81		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.08/2449.81		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.08/2449.81		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.08/2449.81		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.08/2449.81		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.08/2449.81		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.08/2449.81		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.08/2449.81		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.08/2449.81		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.08/2449.81		at scala.collection.immutable.List.foreach(List.scala:389)
2520.08/2449.81		at scala.App.main(App.scala:76)
2520.08/2449.81		at scala.App.main$(App.scala:74)
2520.08/2449.81		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.08/2449.81		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.08/2449.82	v <instantiation cost="13519">
2520.08/2449.82	v       <list>
2520.08/2449.82	v         x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] ps[0][0] ps[0][1] ps[0][2] ps[0][3] ps[0][4] ps[0][5] ps[1][0] ps[1][1] ps[1][2] ps[1][3] ps[1][4] ps[1][5] ps[2][0] ps[2][1] ps[2][2] ps[2][3] ps[2][4] ps[2][5] ps[3][0] ps[3][1] ps[3][2] ps[3][3] ps[3][4] ps[3][5] ps[4][0] ps[4][1] ps[4][2] ps[4][3] ps[4][4] ps[4][5] ps[5][0] ps[5][1] ps[5][2] ps[5][3] ps[5][4] ps[5][5] ps[6][0] ps[6][1] ps[6][2] ps[6][3] ps[6][4] ps[6][5] ps[7][0] ps[7][1] ps[7][2] ps[7][3] ps[7][4] ps[7][5] ps[8][0] ps[8][1] ps[8][2] ps[8][3] ps[8][4] ps[8][5] ps[9][0] ps[9][1] ps[9][2] ps[9][3] ps[9][4] ps[9][5] ps[10][0] ps[10][1] ps[10][2] ps[10][3] ps[10][4] ps[10][5] ps[11][0] ps[11][1] ps[11][2] ps[11][3] ps[11][4] ps[11][5] ps[12][0] ps[12][1] ps[12][2] ps[12][3] ps[12][4] ps[12][5] ps[13][0] ps[13][1] ps[13][2] ps[13][3] ps[13][4] ps[13][5] ps[14][0] ps[14][1] ps[14][2] ps[14][3] ps[14][4] ps[14][5] ps[15][0] ps[15][1] ps[15][2] ps[15][3] ps[15][4] ps[15][5] ps[16][0] ps[16][1] ps[16][2] ps[16][3] ps[16][4] ps[16][5] ps[17][0] ps[17][1] ps[17][2] ps[17][3] ps[17][4] ps[17][5] ps[18][0] ps[18][1] ps[18][2] ps[18][3] ps[18][4] ps[18][5] ps[19][0] ps[19][1] ps[19][2] ps[19][3] ps[19][4] ps[19][5] ps[20][0] ps[20][1] ps[20][2] ps[20][3] ps[20][4] ps[20][5] ps[21][0] ps[21][1] ps[21][2] ps[21][3] ps[21][4] ps[21][5] ps[22][0] ps[22][1] ps[22][2] ps[22][3] ps[22][4] ps[22][5] ps[23][0] ps[23][1] ps[23][2] ps[23][3] ps[23][4] ps[23][5] ps[24][0] ps[24][1] ps[24][2] ps[24][3] ps[24][4] ps[24][5] ps[25][0] ps[25][1] ps[25][2] ps[25][3] ps[25][4] ps[25][5] ps[26][0] ps[26][1] ps[26][2] ps[26][3] ps[26][4] ps[26][5] ps[27][0] ps[27][1] ps[27][2] ps[27][3] ps[27][4] ps[27][5] ps[28][0] ps[28][1] ps[28][2] ps[28][3] ps[28][4] ps[28][5] ps[29][0] ps[29][1] ps[29][2] ps[29][3] ps[29][4] ps[29][5] ps[30][0] ps[30][1] ps[30][2] ps[30][3] ps[30][4] ps[30][5] ps[31][0] ps[31][1] ps[31][2] ps[31][3] ps[31][4] ps[31][5] ps[32][0] ps[32][1] ps[32][2] ps[32][3] ps[32][4] ps[32][5] ps[33][0] ps[33][1] ps[33][2] ps[33][3] ps[33][4] ps[33][5] ps[34][0] ps[34][1] ps[34][2] ps[34][3] ps[34][4] ps[34][5] ps[35][0] ps[35][1] ps[35][2] ps[35][3] ps[35][4] ps[35][5] ps[36][0] ps[36][1] ps[36][2] ps[36][3] ps[36][4] ps[36][5] ps[37][0] ps[37][1] ps[37][2] ps[37][3] ps[37][4] ps[37][5] ps[38][0] ps[38][1] ps[38][2] ps[38][3] ps[38][4] ps[38][5] ps[39][0] ps[39][1] ps[39][2] ps[39][3] ps[39][4] ps[39][5] ds[0][0] ds[0][1] ds[0][2] ds[0][3] ds[0][4] ds[0][5] ds[1][0] ds[1][1] ds[1][2] ds[1][3] ds[1][4] ds[1][5] ds[2][0] ds[2][1] ds[2][2] ds[2][3] ds[2][4] ds[2][5] ds[3][0] ds[3][1] ds[3][2] ds[3][3] ds[3][4] ds[3][5] ds[4][0] ds[4][1] ds[4][2] ds[4][3] ds[4][4] ds[4][5] ds[5][0] ds[5][1] ds[5][2] ds[5][3] ds[5][4] ds[5][5] ds[6][0] ds[6][1] ds[6][2] ds[6][3] ds[6][4] ds[6][5] ds[7][0] ds[7][1] ds[7][2] ds[7][3] ds[7][4] ds[7][5] ds[8][0] ds[8][1] ds[8][2] ds[8][3] ds[8][4] ds[8][5] ds[9][0] ds[9][1] ds[9][2] ds[9][3] ds[9][4] ds[9][5] ds[10][0] ds[10][1] ds[10][2] ds[10][3] ds[10][4] ds[10][5] ds[11][0] ds[11][1] ds[11][2] ds[11][3] ds[11][4] ds[11][5] ds[12][0] ds[12][1] ds[12][2] ds[12][3] ds[12][4] ds[12][5] ds[13][0] ds[13][1] ds[13][2] ds[13][3] ds[13][4] ds[13][5] ds[14][0] ds[14][1] ds[14][2] ds[14][3] ds[14][4] ds[14][5] ds[15][0] ds[15][1] ds[15][2] ds[15][3] ds[15][4] ds[15][5] ds[16][0] ds[16][1] ds[16][2] ds[16][3] ds[16][4] ds[16][5] ds[17][0] ds[17][1] ds[17][2] ds[17][3] ds[17][4] ds[17][5] ds[18][0] ds[18][1] ds[18][2] ds[18][3] ds[18][4] ds[18][5] ds[19][0] ds[19][1] ds[19][2] ds[19][3] ds[19][4] ds[19][5] ds[20][0] ds[20][1] ds[20][2] ds[20][3] ds[20][4] ds[20][5] ds[21][0] ds[21][1] ds[21][2] ds[21][3] ds[21][4] ds[21][5] ds[22][0] ds[22][1] ds[22][2] ds[22][3] ds[22][4] ds[22][5] ds[23][0] ds[23][1] ds[23][2] ds[23][3] ds[23][4] ds[23][5] ds[24][0] ds[24][1] ds[24][2] ds[24][3] ds[24][4] ds[24][5] ds[25][0] ds[25][1] ds[25][2] ds[25][3] ds[25][4] ds[25][5] ds[26][0] ds[26][1] ds[26][2] ds[26][3] ds[26][4] ds[26][5] ds[27][0] ds[27][1] ds[27][2] ds[27][3] ds[27][4] ds[27][5] wk[0][0] wk[0][1] wk[0][2] wk[0][3] wk[1][0] wk[1][1] wk[1][2] wk[1][3] wk[2][0] wk[2][1] wk[2][2] wk[2][3] wk[3][0] wk[3][1] wk[3][2] wk[3][3] wk[4][0] wk[4][1] wk[4][2] wk[4][3] wk[5][0] wk[5][1] wk[5][2] wk[5][3] wk[6][0] wk[6][1] wk[6][2] wk[6][3] wk[7][0] wk[7][1] wk[7][2] wk[7][3] wk[8][0] wk[8][1] wk[8][2] wk[8][3] wk[9][0] wk[9][1] wk[9][2] wk[9][3] wk[10][0] wk[10][1] wk[10][2] wk[10][3] wk[11][0] wk[11][1] wk[11][2] wk[11][3] wk[12][0] wk[12][1] wk[12][2] wk[12][3] wk[13][0] wk[13][1] wk[13][2] wk[13][3] wk[14][0] wk[14][1] wk[14][2] wk[14][3] wk[15][0] wk[15][1] wk[15][2] wk[15][3] wk[16][0] wk[16][1] wk[16][2] wk[16][3] wk[17][0] wk[17][1] wk[17][2] wk[17][3] wk[18][0] wk[18][1] wk[18][2] wk[18][3] wk[19][0] wk[19][1] wk[19][2] wk[19][3] wk[20][0] wk[20][1] wk[20][2] wk[20][3] wk[21][0] wk[21][1] wk[21][2] wk[21][3] wk[22][0] wk[22][1] wk[22][2] wk[22][3] wk[23][0] wk[23][1] wk[23][2] wk[23][3] wk[24][0] wk[24][1] wk[24][2] wk[24][3] wk[25][0] wk[25][1] wk[25][2] wk[25][3] wk[26][0] wk[26][1] wk[26][2] wk[26][3] wk[27][0] wk[27][1] wk[27][2] wk[27][3] wk[28][0] wk[28][1] wk[28][2] wk[28][3] wk[29][0] wk[29][1] wk[29][2] wk[29][3] wk[30][0] wk[30][1] wk[30][2] wk[30][3] wk[31][0] wk[31][1] wk[31][2] wk[31][3] wk[32][0] wk[32][1] wk[32][2] wk[32][3] wk[33][0] wk[33][1] wk[33][2] wk[33][3] wk[34][0] wk[34][1] wk[34][2] wk[34][3] wk[35][0] wk[35][1] wk[35][2] wk[35][3] wk[36][0] wk[36][1] wk[36][2] wk[36][3] wk[37][0] wk[37][1] wk[37][2] wk[37][3] wk[38][0] wk[38][1] wk[38][2] wk[38][3] wk[39][0] wk[39][1] wk[39][2] wk[39][3] cn[0] cn[1] cn[2] cn[3] cn[4] cn[5] cn[6] cn[7] cn[8] cn[9] cn[10] cn[11] cn[12] cn[13] cn[14] cn[15] cn[16] cn[17] cn[18] cn[19] cn[20] cn[21] cn[22] cn[23] cn[24] cn[25] cn[26] cn[27] cn[28] cn[29] cn[30] cn[31] cn[32] cn[33] cn[34] cn[35] cn[36] cn[37] cn[38] cn[39] cn[40] cn[41] cn[42] cn[43] cn[44] cn[45] cn[46] cn[47] cn[48] cn[49] cn[50] cn[51] cn[52] cn[53] cn[54] cn[55] cn[56] cn[57] cn[58] cn[59] cn[60] cn[61] cn[62] cn[63] cn[64] cn[65] cn[66] cn[67] cn[68] cn[69] cn[70] cn[71] cn[72] cn[73] cn[74] cn[75] cn[76] cn[77] cn[78] cn[79] cn[80] cn[81] cn[82] cn[83] cn[84] cn[85] cn[86] cn[87] cn[88] cn[89] cn[90] cn[91] cn[92] cn[93] cn[94] cn[95] cn[96] cn[97] cn[98] cn[99] cn[100] cn[101] cn[102] cn[103] cn[104] cn[105] cn[106] cn[107] cn[108] cn[109] cn[110] cn[111] cn[112] cn[113] cn[114] cn[115] cn[116] cn[117] cn[118] cn[119] cn[120] cn[121] cn[122] cn[123] cn[124] cn[125] cn[126] cn[127] cn[128] cn[129] cn[130] cn[131] cn[132] cn[133] cn[134] cn[135] cn[136] cn[137] cn[138] cn[139] cn[140] cn[141] cn[142] cn[143] cn[144] cn[145] cn[146] cn[147] cn[148] cn[149] cn[150] cn[151] cn[152] cn[153] cn[154] cn[155] cn[156] cn[157] cn[158] cn[159] cn[160] cn[161] cn[162] cn[163] cn[164] cn[165] cn[166] cn[167] cn[168] cn[169] cn[170] cn[171] cn[172] cn[173] cn[174] cn[175] cn[176] cn[177] cn[178] cn[179] cn[180] cn[181] cn[182] cn[183] cn[184] cn[185] cn[186] cn[187] cn[188] cn[189] cn[190] cn[191] cn[192] cn[193] cn[194] cn[195] cn[196] cn[197] cn[198] cn[199] cn[200] cn[201] cn[202] cn[203] cn[204] cn[205] cn[206] cn[207] cn[208] cn[209] cf[0] cf[1] cf[2] cf[3] cf[4] cf[5] cf[6] cf[7] cf[8] cf[9] cf[10] cf[11] cf[12] cf[13] cf[14] cf[15] cf[16] cf[17] cf[18] cf[19] cf[20] cf[21] cf[22] cf[23] cf[24] cf[25] cf[26] cf[27] cf[28] cf[29] cf[30] cf[31] cf[32] cf[33] cf[34] cf[35] cf[36] cf[37] cf[38] cf[39] cf[40] cf[41] cf[42] cf[43] cf[44] cf[45] cf[46] cf[47] cf[48] cf[49] cf[50] cf[51] cf[52] cf[53] cf[54] cf[55] cf[56] cf[57] cf[58] cf[59] cf[60] cf[61] cf[62] cf[63] cf[64] cf[65] cf[66] cf[67] cf[68] cf[69] cf[70] cf[71] cf[72] cf[73] cc[0][0] cc[0][1] cc[0][2] cc[0][3] cc[0][4] cc[0][5] cc[1][0] cc[1][1] cc[1][2] cc[1][3] cc[1][4] cc[1][5] cc[2][0] cc[2][1] cc[2][2] cc[2][3] cc[2][4] cc[2][5] cc[3][0] cc[3][1] cc[3][2] cc[3][3] cc[3][4] cc[3][5] cc[4][0] cc[4][1] cc[4][2] cc[4][3] cc[4][4] cc[4][5] cc[5][0] cc[5][1] cc[5][2] cc[5][3] cc[5][4] cc[5][5] cc[6][0] cc[6][1] cc[6][2] cc[6][3] cc[6][4] cc[6][5] cc[7][0] cc[7][1] cc[7][2] cc[7][3] cc[7][4] cc[7][5] cc[8][0] cc[8][1] cc[8][2] cc[8][3] cc[8][4] cc[8][5] cc[9][0] cc[9][1] cc[9][2] cc[9][3] cc[9][4] cc[9][5] cc[10][0] cc[10][1] cc[10][2] cc[10][3] cc[10][4] cc[10][5] cc[11][0] cc[11][1] cc[11][2] cc[11][3] cc[11][4] cc[11][5] cc[12][0] cc[12][1] cc[12][2] cc[12][3] cc[12][4] cc[12][5] cc[13][0] cc[13][1] cc[13][2] cc[13][3] cc[13][4] cc[13][5] cc[14][0] cc[14][1] cc[14][2] cc[14][3] cc[14][4] cc[14][5] cc[15][0] cc[15][1] cc[15][2] cc[15][3] cc[15][4] cc[15][5] cc[16][0] cc[16][1] cc[16][2] cc[16][3] cc[16][4] cc[16][5] cc[17][0] cc[17][1] cc[17][2] cc[17][3] cc[17][4] cc[17][5] cc[18][0] cc[18][1] cc[18][2] cc[18][3] cc[18][4] cc[18][5] cc[19][0] cc[19][1] cc[19][2] cc[19][3] cc[19][4] cc[19][5] cc[20][0] cc[20][1] cc[20][2] cc[20][3] cc[20][4] cc[20][5] cc[21][0] cc[21][1] cc[21][2] cc[21][3] cc[21][4] cc[21][5] cc[22][0] cc[22][1] cc[22][2] cc[22][3] cc[22][4] cc[22][5] cc[23][0] cc[23][1] cc[23][2] cc[23][3] cc[23][4] cc[23][5] cc[24][0] cc[24][1] cc[24][2] cc[24][3] cc[24][4] cc[24][5] cc[25][0] cc[25][1] cc[25][2] cc[25][3] cc[25][4] cc[25][5] cc[26][0] cc[26][1] cc[26][2] cc[26][3] cc[26][4] cc[26][5] cc[27][0] cc[27][1] cc[27][2] cc[27][3] cc[27][4] cc[27][5]
2520.08/2449.82	v       </list>
2520.08/2449.82	v       <values>
2520.08/2449.82	v         1 5 5 1 0 3 5 2 5 5 1 5 0 3 3 5 0 1 0 2 0 5 5 0 0 5 1 0 5 5 2 5 0 3 3 2 5 2 5 5 1 5 5 1 0 3 5 2 5 3 1 5 1 3 3 5 0 2 0 2 0 5 5 1 0 5 1 2 5 5 2 0 0 3 3 4 5 2 5 5 5 5 5 5 0 5 5 2 0 4 1 0 1 3 3 5 0 5 4 2 5 2 2 1 0 0 1 1 1 5 1 0 0 3 3 5 5 4 5 0 5 5 3 5 4 5 5 1 1 4 5 0 5 3 3 5 0 5 5 2 5 1 4 5 0 0 1 2 1 0 3 0 0 3 3 5 5 5 5 2 1 0 3 4 5 5 0 1 1 4 5 4 5 3 3 3 5 5 5 5 5 2 4 5 0 2 1 2 1 0 5 0 0 3 3 5 5 5 0 2 1 0 3 4 5 5 0 5 5 5 5 5 5 5 5 3 5 5 5 5 0 1 4 0 5 5 5 5 5 0 5 0 5 5 5 1 0 5 4 1 5 2 3 4 3 4 0 5 5 5 5 5 5 5 5 3 0 5 3 2 0 5 4 0 5 5 5 5 5 0 5 5 5 5 5 1 0 5 5 1 5 2 3 4 3 4 0 1 5 1 5 5 0 3 5 3 0 0 3 2 0 5 5 0 5 0 5 1 0 0 2 5 5 5 5 1 0 5 5 5 1 5 5 4 3 4 0 2 1 3 5 5 0 3 5 3 0 0 3 5 0 2 5 0 5 0 1 1 1 5 2 0 5 5 5 2 0 5 5 5 1 5 5 5 3 4 5 1 1 5 5 0 1 3 5 5 0 2 3 5 5 1 5 0 0 0 1 2 1 5 5 0 5 5 5 3 0 2 5 1 3 0 1 5 3 4 5 5 4 5 1 0 5 5 5 5 2 1 3 2 5 2 5 5 0 0 1 1 1 0 5 0 5 2 3 5 5 1 0 2 3 0 1 5 5 5 5 5 5 1 1 0 5 5 0 5 5 5 5 3 3 2 5 5 0 0 1 5 1 0 2 2 0 2 3 5 5 1 0 2 5 0 5 5 5 5 5 1 5 1 1 0 3 3 0 5 5 5 5 5 3 5 0 5 5 5 1 5 5 5 2 5 0 2 3 2 0 1 0 5 5 3 5 2 5 5 5 1 0 1 1 5 3 3 0 5 3 1 5 5 5 5 0 5 5 5 5 5 5 5 2 5 0 2 3 2 0 1 5 5 1 5 0 1 4 5 0 5 1 1 5 5 3 3 0 0 3 1 0 3 5 0 0 0 5 5 5 5 1 0 5 5 0 2 3 5 0 5 5 5 1 5 0 1 4 1 0 5 1 4 5 0 3 3 2 1 3 2 0 3 0 3 5 0 5 0 1 5 1 0 5 5 5 5 5 5 0 5 0 5 3 0 0 1 5 1 4 2 1 5 4 0 3 5 5 1 3 2 0 3 0 3 5 0 5 0 1 2 5 0 3 5 5 5 5 2 0 2 0 5 5 2 1 1 5 3 4 2 5 5 4 1 5 5 5 1 3 5 0 3 0 3 2 0 0 0 1 1 5 0 3 0 0 5 5 3 5 2 0 2 5 2 1 5 5 5 4 2 5 5 4 1 5 5 0 1 5 5 0 3 2 3 1 0 0 0 1 2 0 0 3 2 0 0 3 3 5 1 0 3 1 5 5 5 5 5 5 1 0 5 4 2 5 3 0 5 5 5 5 5 5 5 5 5 0 0 5 2 0 5 5 2 5 0 3 5 5 1 5 5 1 5 5 5 5 1 5 5 0 5 4 5 0 3 5 5 5 5 5 5 5 5 5 5 0 5 5 1 0 5 5 2 5 0 3 5 5 2 5 5 1 2 0 1 5 1 5 5 1 5 5 5 0 3 5 4 5 1 5 3 0 2 2 5 0 5 5 5 0 0 3 2 5 2 3 5 0 5 0 5 1 2 1 1 3 3 2 2 5 5 5 2 0 5 0 4 0 1 5 3 0 3 2 5 5 0 1 5 1 0 3 5 0 2 3 0 0 5 4 5 1 2 5 1 3 3 2 2 5 1 1 2 0 5 2 5 0 4 5 3 0 3 2 5 5 0 1 1 5 5 3 5 0 5 5 3 0 5 4 0 5 2 5 1 3 3 2 5 4 1 1 4 0 3 2 5 5 5 0 5 0 3 1 0 5 0 5 1 5 5 5 0 0 5 5 3 0 3 4 0 5 2 5 5 3 5 2 5 4 1 1 4 5 3 2 0 5 5 0 5 0 3 1 0 0 0 5 5 1 0 5 0 0 5 5 3 2 3 4 2 5 5 0 5 5 5 2 5 5 4 5 5 5 5 5 0 5 4 0 2 5 5 5 0 0 0 1 5 4 0 1 5 0 5 5 5 5 5 5 1 5 5 0 5 5 5 5 5 5 5 5 5 5 5 5 4 5 4 4 2 5 5 5 5 1 5 3 5 5 0 2 5 5 5 5 5 5 5 5 3 0 13 0 3 0 12 6 0 9 1 0 12 6 5 0 5 0 12 0 10 1 0 5 12 3 0 0 9 3 13 0 4 0 6 5 13 7 0 5 0 3 13 0 7 9 0 0 12 4 8 0 0 3 13 0 8 0 2 5 13 0 10 0 0 5 13 8 2 3 0 3 12 8 3 0 5 0 12 0 0 0 17 0 11 7 0 4 5 0 12 3 4 0 5 3 13 10 0 1 5 0 12 2 6 4 0 3 13 10 0 0 5 2 11 0 0 9 9 0 10 14 0 1 2 0 11 1 3 6 8 0 10 3 3 5 0 4 13 14 2 0 0 0 12 15 1 0 0 0 12 17 0 1 0 0 10 0 17 0 1 0 10 1 8 7 0 0 12 5 11 0 0 1 11 17 0 0 0 0 11 0 2 8 7 0 11 11 0 5 0 0 12 16 0 0 0 0 12 3 0 7 5 0 13 0 0 0 15 0 13 1 3 5 6 1 12 14 0 1 0 0 13 0 6 6 2 1 13 9 0 0 0 5 14 3 4 6 2 0 13 9 5 5 5 0 16 7 6 6 6 1 14 9 7 4 4 3 13 7 5 3 6 3 16 7 5 4 6 4 14 7 4 0 2 3 24 6 2 2 4 3 23 10 4 3 5 2 16 9 5 4 5 2 15 7 8 3 4 1 17 7 7 5 4 2 15 8 6 5 4 0 17 7 5 3 4 0 21 5 5 4 5 0 21 11 6 1 5 1 16 10 7 2 5 2 14 10 5 5 6 2 12 9 6 5 6 2 12 10 6 5 6 2 11 6 3 3 2 1 25 5 3 2 2 1 27 8 5 5 4 1 17 9 6 6 6 2 11 7 6 6 6 2 13 9 5 3 6 3 14 9 4 5 5 3 14 8 3 2 0 3 24 2 1 2 2 3 30 1 0 1 0 1 1 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 1 0 0 0 1 0 1 1 0 0 1 1 0 0 1 1 1 0 0 1 0 0 0 1 1 0 0 1 0 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 0 0 0 1 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 1 0 1 1 0 0 1 1 0 0 0 1 1 0 1 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 2 0 0 0 0 2 1 0 0 0 1 2 2 0 3 3 3 0 0 1 1 1 0 0 0 0 0 1 1 2 2 0 2 1 0 0 0 0 0 0 0 0 0 3 3 0 0 1 0 0 0 2 0 0 0 0 0 2 0 0 0 0 0 0 1 0 1 0 0 1 1 1 0 2 0 0 1 1 0 0 0 0 0 0 2 3 3 3 1 1 0 0 0 1 1 1 1 0 1 0 3 3 3 0 0 3 3 3 3 3 0 0 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 0 0 0 0 0 0 1 0 0 2 2 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 3 3 0 0 0 0 2 2 0 0 0 3 0 0 0 0 3 3 0 0 0 3 3 3 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 100 200 100 0 2 1 0 0 100 0 3 2 100 200 1 0 1 1 0 100 1 0 1 0 0 0 3 0 0 100 400 400 0 0 0 400 500 100 0 0 4 100 200 100 0 0 1 0 100 0 200 0 1 3 0 100 0 0 2 2 0 200 1 0 1 1 0 200 100 0 2 0 200 300 300 0 200 0 300 300 100 0 3 0 400 200 100 0 3 2 300 100 1 0 1 1 0 100 100 0 3 1 0 0 1 0 3 0 0 100 0 0 0 200 200 300 200 0 200 200 400 500 100 0 2 0 100 300 0 0 3 0 0 0 100 0 3 1 100 0 0 0 1 2 0 100 2 0 2 100 0 200 1 0 1 300 200 700 1 0 500 500 200 400 2 0
2520.08/2449.82	v       </values>
2520.08/2449.82	v     </instantiation>
2520.08/2449.82	s SATISFIABLE

Verifier Data 

OK	13519

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 (11039 MiB free)
  memory of node 1: 16384 MiB (9424 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292965-1532301457/watcher-4292965-1532301457 -o /tmp/evaluation-result-4292965-1532301457/solver-4292965-1532301457 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532293810-5213 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=2019244133 HOME/instance-4292965-1532301457.xml 

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

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

solver pid=6511, runsolver pid=6508

[startup+0.100194 s]*
/proc/loadavg: 1.36 1.30 1.36 3/203 6565
/proc/meminfo: memFree=20950200/32770624 swapFree=67108860/67108860
[pid=6511] ppid=6508 vsize=9972712 memory=18328 CPUtime=0.09 cores=0,2,4,6
/proc/6511/stat : 6511 (java) S 6508 6511 5182 0 -1 1077944320 4215 13165 0 0 1 1 5 2 20 0 6 0 47708938 10212057088 4582 33554432000 4194304 4196468 140731407484672 140731407467216 139806063832823 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
/proc/6511/statm: 2493178 4582 1930 1 0 2481616 0
[pid=6511/tid=6564] ppid=6508 vsize=9972712 memory=4718545630382498451 CPUtime=0.07 cores=0,2,4,6
/proc/6511/task/6564/stat : 6564 (java) R 6508 6511 5182 0 -1 4202560 2037 13165 0 0 0 0 5 2 20 0 6 0 47708947 10212057088 4582 33554432000 4194304 4196468 140731407484672 139806035669584 139806056069950 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6565] ppid=6508 vsize=9972712 memory=5793855957196884409 CPUtime=0.07 cores=0,2,4,6
/proc/6511/task/6565/stat : 6565 (java) S 6508 6511 5182 0 -1 1077944384 1 13165 0 0 0 0 5 2 20 0 6 0 47708948 10212057088 4582 33554432000 4194304 4196468 140731407484672 139806068074768 139806063843029 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6566] ppid=6508 vsize=9972712 memory=140706186991232 CPUtime=0.07 cores=0,2,4,6
/proc/6511/task/6566/stat : 6566 (java) S 6508 6511 5182 0 -1 1077944384 1 13165 0 0 0 0 5 2 20 0 6 0 47708948 10212057088 4582 33554432000 4194304 4196468 140731407484672 139805956348304 139806063843029 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6567] ppid=6508 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/6511/task/6567/stat : 6567 (java) S 6508 6511 5182 0 -1 1077944384 2 13165 0 0 0 0 5 2 20 0 6 0 47708948 10212057088 4582 33554432000 4194304 4196468 140731407484672 139805955295760 139806063843029 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6568] ppid=6508 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/6511/task/6568/stat : 6568 (java) S 6508 6511 5182 0 -1 1077944384 2 13165 0 0 0 0 5 2 20 0 6 0 47708948 10212057088 4582 33554432000 4194304 4196468 140731407484672 139805954243216 139806063843029 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18328 KiB

[startup+0.210137 s]*
/proc/loadavg: 1.36 1.30 1.36 3/215 6577
/proc/meminfo: memFree=20928588/32770624 swapFree=67108860/67108860
[pid=6511] ppid=6508 vsize=10818904 memory=41668 CPUtime=0.25 cores=0,2,4,6
/proc/6511/stat : 6511 (java) S 6508 6511 5182 0 -1 1077944320 7643 13165 0 0 17 1 5 2 20 0 15 0 47708938 11078557696 10417 33554432000 4194304 4196468 140731407484672 140731407467216 139806063832823 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
/proc/6511/statm: 2704726 10417 2949 1 0 2667149 0
[pid=6511/tid=6564] ppid=6508 vsize=10818904 memory=-2899909650764262549 CPUtime=0.18 cores=0,2,4,6
/proc/6511/task/6564/stat : 6564 (java) R 6508 6511 5182 0 -1 4202560 4340 13165 0 0 10 1 5 2 20 0 15 0 47708947 11078557696 10549 33554432000 4194304 4196468 140731407484672 139806035631376 139806044108572 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6565] ppid=6508 vsize=10818904 memory=4211974432391781770 CPUtime=0.07 cores=0,2,4,6
/proc/6511/task/6565/stat : 6565 (java) S 6508 6511 5182 0 -1 1077944384 1 13165 0 0 0 0 5 2 20 0 15 0 47708948 11078557696 10549 33554432000 4194304 4196468 140731407484672 139806068074768 139806063843029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6566] ppid=6508 vsize=10818904 memory=140706186991232 CPUtime=0.07 cores=0,2,4,6
/proc/6511/task/6566/stat : 6566 (java) S 6508 6511 5182 0 -1 1077944384 1 13165 0 0 0 0 5 2 20 0 15 0 47708948 11078557696 10549 33554432000 4194304 4196468 140731407484672 139805956348304 139806063843029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6567] ppid=6508 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/6511/task/6567/stat : 6567 (java) S 6508 6511 5182 0 -1 1077944384 2 13165 0 0 0 0 5 2 20 0 15 0 47708948 11078557696 10549 33554432000 4194304 4196468 140731407484672 139805955295760 139806063843029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6568] ppid=6508 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/6511/task/6568/stat : 6568 (java) S 6508 6511 5182 0 -1 1077944384 2 13165 0 0 0 0 5 2 20 0 15 0 47708948 11078557696 10549 33554432000 4194304 4196468 140731407484672 139805954243216 139806063843029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6569] ppid=6508 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/6511/task/6569/stat : 6569 (java) S 6508 6511 5182 0 -1 1077944384 2 13165 0 0 0 0 5 2 20 0 15 0 47708949 11078557696 10549 33554432000 4194304 4196468 140731407484672 139805523241456 139806063843970 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6570] ppid=6508 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/6511/task/6570/stat : 6570 (java) S 6508 6511 5182 0 -1 1077944384 33 13165 0 0 0 0 5 2 20 0 15 0 47708950 11078557696 10549 33554432000 4194304 4196468 140731407484672 139805522187680 139806063843029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6571] ppid=6508 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/6511/task/6571/stat : 6571 (java) S 6508 6511 5182 0 -1 1077944384 1 13165 0 0 0 0 5 2 20 0 15 0 47708950 11078557696 10549 33554432000 4194304 4196468 140731407484672 139804943574512 139806063843029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6572] ppid=6508 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/6511/task/6572/stat : 6572 (java) S 6508 6511 5182 0 -1 1077944384 3 13165 0 0 0 0 5 2 20 0 15 0 47708953 11078557696 10549 33554432000 4194304 4196468 140731407484672 139804636175056 139806063851419 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6573] ppid=6508 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6511/task/6573/stat : 6573 (java) S 6508 6511 5182 0 -1 1077944384 485 13165 0 0 1 0 5 2 20 0 15 0 47708953 11078557696 10549 33554432000 4194304 4196468 140731407484672 139805488629744 139806063843970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6574] ppid=6508 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/6511/task/6574/stat : 6574 (java) S 6508 6511 5182 0 -1 1077944384 128 13165 0 0 0 0 5 2 20 0 15 0 47708953 11078557696 10549 33554432000 4194304 4196468 140731407484672 139805487577200 139806063843970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6575] ppid=6508 vsize=10818904 memory=140706186991232 CPUtime=0.1 cores=0,2,4,6
/proc/6511/task/6575/stat : 6575 (java) S 6508 6511 5182 0 -1 1077944384 604 13165 0 0 3 0 5 2 20 0 15 0 47708953 11078557696 10549 33554432000 4194304 4196468 140731407484672 139805486524656 139806063843970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6576] ppid=6508 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/6511/task/6576/stat : 6576 (java) S 6508 6511 5182 0 -1 1077944384 3 13165 0 0 0 0 5 2 20 0 15 0 47708953 11078557696 10549 33554432000 4194304 4196468 140731407484672 139804602616416 139806063843029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6577] ppid=6508 vsize=10818904 memory=140706186991232 CPUtime=0.07 cores=0,2,4,6
/proc/6511/task/6577/stat : 6577 (java) S 6508 6511 5182 0 -1 1077944384 1 13165 0 0 0 0 5 2 20 0 15 0 47708953 11078557696 10549 33554432000 4194304 4196468 140731407484672 139805485472560 139806063843970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 41668 KiB

[startup+0.310274 s]*
/proc/loadavg: 1.36 1.30 1.36 3/215 6577
/proc/meminfo: memFree=20916836/32770624 swapFree=67108860/67108860
[pid=6511] ppid=6508 vsize=10819352 memory=52912 CPUtime=0.37 cores=0,2,4,6
/proc/6511/stat : 6511 (java) S 6508 6511 5182 0 -1 1077944320 10310 13165 0 0 28 2 5 2 20 0 15 0 47708938 11079016448 13228 33554432000 4194304 4196468 140731407484672 140731407467216 139806063832823 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
/proc/6511/statm: 2704838 13228 3068 1 0 2667149 0
[pid=6511/tid=6564] ppid=6508 vsize=10819352 memory=8112282956445269571 CPUtime=0.28 cores=0,2,4,6
/proc/6511/task/6564/stat : 6564 (java) R 6508 6511 5182 0 -1 4202560 6842 13165 0 0 19 2 5 2 20 0 15 0 47708947 11079016448 13228 33554432000 4194304 4196468 140731407484672 139806035622352 139806045396383 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6565] ppid=6508 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/6511/task/6565/stat : 6565 (java) S 6508 6511 5182 0 -1 1077944384 1 13165 0 0 0 0 5 2 20 0 15 0 47708948 11079016448 13228 33554432000 4194304 4196468 140731407484672 139806068074768 139806063843029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6566] ppid=6508 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/6511/task/6566/stat : 6566 (java) S 6508 6511 5182 0 -1 1077944384 1 13165 0 0 0 0 5 2 20 0 15 0 47708948 11079016448 13228 33554432000 4194304 4196468 140731407484672 139805956348304 139806063843029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6567] ppid=6508 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/6511/task/6567/stat : 6567 (java) S 6508 6511 5182 0 -1 1077944384 2 13165 0 0 0 0 5 2 20 0 15 0 47708948 11079016448 13228 33554432000 4194304 4196468 140731407484672 139805955295760 139806063843029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6568] ppid=6508 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/6511/task/6568/stat : 6568 (java) S 6508 6511 5182 0 -1 1077944384 2 13165 0 0 0 0 5 2 20 0 15 0 47708948 11079016448 13228 33554432000 4194304 4196468 140731407484672 139805954243216 139806063843029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6569] ppid=6508 vsize=10819352 memory=140706186991231 CPUtime=0.07 cores=0,2,4,6
/proc/6511/task/6569/stat : 6569 (java) S 6508 6511 5182 0 -1 1077944384 2 13165 0 0 0 0 5 2 20 0 15 0 47708949 11079016448 13228 33554432000 4194304 4196468 140731407484672 139805523241456 139806063843970 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6570] ppid=6508 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/6511/task/6570/stat : 6570 (java) S 6508 6511 5182 0 -1 1077944384 33 13165 0 0 0 0 5 2 20 0 15 0 47708950 11079016448 13228 33554432000 4194304 4196468 140731407484672 139805522187680 139806063843029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6571] ppid=6508 vsize=10819352 memory=140706186991232 CPUtime=0.07 cores=0,2,4,6
/proc/6511/task/6571/stat : 6571 (java) S 6508 6511 5182 0 -1 1077944384 1 13165 0 0 0 0 5 2 20 0 15 0 47708950 11079016448 13228 33554432000 4194304 4196468 140731407484672 139804943574512 139806063843029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6572] ppid=6508 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/6511/task/6572/stat : 6572 (java) S 6508 6511 5182 0 -1 1077944384 3 13165 0 0 0 0 5 2 20 0 15 0 47708953 11079016448 13228 33554432000 4194304 4196468 140731407484672 139804636175056 139806063851419 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6573] ppid=6508 vsize=10819352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/6511/task/6573/stat : 6573 (java) S 6508 6511 5182 0 -1 1077944384 485 13165 0 0 2 0 5 2 20 0 15 0 47708953 11079016448 13228 33554432000 4194304 4196468 140731407484672 139805488629744 139806063843970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6574] ppid=6508 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/6511/task/6574/stat : 6574 (java) S 6508 6511 5182 0 -1 1077944384 131 13165 0 0 1 0 5 2 20 0 15 0 47708953 11079016448 13228 33554432000 4194304 4196468 140731407484672 139805487577200 139806063843970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6575] ppid=6508 vsize=10819352 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/6511/task/6575/stat : 6575 (java) S 6508 6511 5182 0 -1 1077944384 614 13165 0 0 5 0 5 2 20 0 15 0 47708953 11079016448 13228 33554432000 4194304 4196468 140731407484672 139805486524656 139806063843970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6576] ppid=6508 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/6511/task/6576/stat : 6576 (java) S 6508 6511 5182 0 -1 1077944384 3 13165 0 0 0 0 5 2 20 0 15 0 47708953 11079016448 13228 33554432000 4194304 4196468 140731407484672 139804602616416 139806063843029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6577] ppid=6508 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/6511/task/6577/stat : 6577 (java) S 6508 6511 5182 0 -1 1077944384 1 13165 0 0 0 0 5 2 20 0 15 0 47708953 11079016448 13228 33554432000 4194304 4196468 140731407484672 139805485472560 139806063843970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 52912 KiB

[startup+0.70079 s]
/proc/loadavg: 1.36 1.30 1.36 3/215 6577
/proc/meminfo: memFree=20906444/32770624 swapFree=67108860/67108860
[pid=6511] ppid=6508 vsize=10819352 memory=85180 CPUtime=0.98 cores=0,2,4,6
/proc/6511/stat : 6511 (java) S 6508 6511 5182 0 -1 1077944320 16432 13165 0 0 87 4 5 2 20 0 15 0 47708938 11079016448 21295 33554432000 4194304 4196468 140731407484672 140731407467216 139806063832823 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
/proc/6511/statm: 2704838 21295 3237 1 0 2667149 0
[pid=6511/tid=6564] ppid=6508 vsize=10819352 memory=15808 CPUtime=0.65 cores=0,2,4,6
/proc/6511/task/6564/stat : 6564 (java) R 6508 6511 5182 0 -1 4202560 11932 13165 0 0 56 2 5 2 20 0 15 0 47708947 11079016448 21295 33554432000 4194304 4196468 140731407484672 139806035653648 139806047019632 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6565] ppid=6508 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/6511/task/6565/stat : 6565 (java) S 6508 6511 5182 0 -1 1077944384 1 13165 0 0 0 0 5 2 20 0 15 0 47708948 11079016448 21295 33554432000 4194304 4196468 140731407484672 139806068074768 139806063843029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6566] ppid=6508 vsize=10819352 memory=288230583132500317 CPUtime=0.07 cores=0,2,4,6
/proc/6511/task/6566/stat : 6566 (java) S 6508 6511 5182 0 -1 1077944384 1 13165 0 0 0 0 5 2 20 0 15 0 47708948 11079016448 21295 33554432000 4194304 4196468 140731407484672 139805956348304 139806063843029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6567] ppid=6508 vsize=10819352 memory=14408211646139281 CPUtime=0.07 cores=0,2,4,6
/proc/6511/task/6567/stat : 6567 (java) S 6508 6511 5182 0 -1 1077944384 2 13165 0 0 0 0 5 2 20 0 15 0 47708948 11079016448 21295 33554432000 4194304 4196468 140731407484672 139805955295760 139806063843029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6568] ppid=6508 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/6511/task/6568/stat : 6568 (java) S 6508 6511 5182 0 -1 1077944384 2 13165 0 0 0 0 5 2 20 0 15 0 47708948 11079016448 21295 33554432000 4194304 4196468 140731407484672 139805954243216 139806063843029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6569] ppid=6508 vsize=10819352 memory=140706081710592 CPUtime=0.07 cores=0,2,4,6
/proc/6511/task/6569/stat : 6569 (java) S 6508 6511 5182 0 -1 1077944384 5 13165 0 0 0 0 5 2 20 0 15 0 47708949 11079016448 21295 33554432000 4194304 4196468 140731407484672 139805523241456 139806063843970 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6570] ppid=6508 vsize=10819352 memory=140707423585260 CPUtime=0.07 cores=0,2,4,6
/proc/6511/task/6570/stat : 6570 (java) S 6508 6511 5182 0 -1 1077944384 33 13165 0 0 0 0 5 2 20 0 15 0 47708950 11079016448 21295 33554432000 4194304 4196468 140731407484672 139805522187680 139806063843029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6571] ppid=6508 vsize=10819352 memory=1240 CPUtime=0.07 cores=0,2,4,6
/proc/6511/task/6571/stat : 6571 (java) S 6508 6511 5182 0 -1 1077944384 1 13165 0 0 0 0 5 2 20 0 15 0 47708950 11079016448 21295 33554432000 4194304 4196468 140731407484672 139804943574512 139806063843029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6572] ppid=6508 vsize=10819352 memory=7305218370954224980 CPUtime=0.07 cores=0,2,4,6
/proc/6511/task/6572/stat : 6572 (java) S 6508 6511 5182 0 -1 1077944384 3 13165 0 0 0 0 5 2 20 0 15 0 47708953 11079016448 21295 33554432000 4194304 4196468 140731407484672 139804636175056 139806063851419 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6573] ppid=6508 vsize=10819352 memory=6441954429982824551 CPUtime=0.17 cores=0,2,4,6
/proc/6511/task/6573/stat : 6573 (java) S 6508 6511 5182 0 -1 1077944384 1100 13165 0 0 10 0 5 2 20 0 15 0 47708953 11079016448 21295 33554432000 4194304 4196468 140731407484672 139805488629744 139806063843970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6574] ppid=6508 vsize=10819352 memory=6935650355406524496 CPUtime=0.13 cores=0,2,4,6
/proc/6511/task/6574/stat : 6574 (java) S 6508 6511 5182 0 -1 1077944384 494 13165 0 0 6 0 5 2 20 0 15 0 47708953 11079016448 21295 33554432000 4194304 4196468 140731407484672 139805487577200 139806063843970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6575] ppid=6508 vsize=10819352 memory=5450909908396308010 CPUtime=0.2 cores=0,2,4,6
/proc/6511/task/6575/stat : 6575 (java) S 6508 6511 5182 0 -1 1077944384 665 13165 0 0 13 0 5 2 20 0 15 0 47708953 11079016448 21295 33554432000 4194304 4196468 140731407484672 139805486524656 139806063843970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6576] ppid=6508 vsize=10819352 memory=1404238533841559158 CPUtime=0.07 cores=0,2,4,6
/proc/6511/task/6576/stat : 6576 (java) S 6508 6511 5182 0 -1 1077944384 3 13165 0 0 0 0 5 2 20 0 15 0 47708953 11079016448 21295 33554432000 4194304 4196468 140731407484672 139804602616416 139806063843029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6577] ppid=6508 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/6511/task/6577/stat : 6577 (java) S 6508 6511 5182 0 -1 1077944384 1 13165 0 0 0 0 5 2 20 0 15 0 47708953 11079016448 21295 33554432000 4194304 4196468 140731407484672 139805485472560 139806063843970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 85180 KiB

[startup+1.50136 s]
/proc/loadavg: 1.36 1.30 1.36 3/215 6577
/proc/meminfo: memFree=20861104/32770624 swapFree=67108860/67108860
[pid=6511] ppid=6508 vsize=10830156 memory=168176 CPUtime=3.13 cores=0,2,4,6
/proc/6511/stat : 6511 (java) S 6508 6511 5182 0 -1 1077944320 23672 13165 0 0 299 7 5 2 20 0 15 0 47708938 11090079744 42044 33554432000 4194304 4196468 140731407484672 140731407467216 139806063832823 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
/proc/6511/statm: 2707539 42044 3458 1 0 2669197 0
[pid=6511/tid=6564] ppid=6508 vsize=10830156 memory=135888 CPUtime=1.45 cores=0,2,4,6
/proc/6511/task/6564/stat : 6564 (java) R 6508 6511 5182 0 -1 4202560 15207 13165 0 0 133 5 5 2 20 0 15 0 47708947 11090079744 42044 33554432000 4194304 4196468 140731407484672 139806035646184 139806063854749 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6565] ppid=6508 vsize=10830156 memory=-3117775541953849953 CPUtime=0.07 cores=0,2,4,6
/proc/6511/task/6565/stat : 6565 (java) S 6508 6511 5182 0 -1 1077944384 1 13165 0 0 0 0 5 2 20 0 15 0 47708948 11090079744 42044 33554432000 4194304 4196468 140731407484672 139806068074768 139806063843029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6566] ppid=6508 vsize=10830156 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/6511/task/6566/stat : 6566 (java) S 6508 6511 5182 0 -1 1077944384 1 13165 0 0 0 0 5 2 20 0 15 0 47708948 11090079744 42044 33554432000 4194304 4196468 140731407484672 139805956348304 139806063843029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6567] ppid=6508 vsize=10830156 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/6511/task/6567/stat : 6567 (java) S 6508 6511 5182 0 -1 1077944384 2 13165 0 0 0 0 5 2 20 0 15 0 47708948 11090079744 42044 33554432000 4194304 4196468 140731407484672 139805955295760 139806063843029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6568] ppid=6508 vsize=10830156 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/6511/task/6568/stat : 6568 (java) S 6508 6511 5182 0 -1 1077944384 2 13165 0 0 0 0 5 2 20 0 15 0 47708948 11090079744 42044 33554432000 4194304 4196468 140731407484672 139805954243216 139806063843029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6569] ppid=6508 vsize=10830156 memory=168919721627592 CPUtime=0.07 cores=0,2,4,6
/proc/6511/task/6569/stat : 6569 (java) S 6508 6511 5182 0 -1 1077944384 12 13165 0 0 0 0 5 2 20 0 15 0 47708949 11090079744 42044 33554432000 4194304 4196468 140731407484672 139805523241456 139806063843970 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6570] ppid=6508 vsize=10830156 memory=262771 CPUtime=0.07 cores=0,2,4,6
/proc/6511/task/6570/stat : 6570 (java) S 6508 6511 5182 0 -1 1077944384 33 13165 0 0 0 0 5 2 20 0 15 0 47708950 11090079744 42044 33554432000 4194304 4196468 140731407484672 139805522187680 139806063843029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6571] ppid=6508 vsize=10830156 memory=4638778398332768848 CPUtime=0.07 cores=0,2,4,6
/proc/6511/task/6571/stat : 6571 (java) S 6508 6511 5182 0 -1 1077944384 1 13165 0 0 0 0 5 2 20 0 15 0 47708950 11090079744 42044 33554432000 4194304 4196468 140731407484672 139804943574512 139806063843029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6572] ppid=6508 vsize=10830156 memory=6935649255759568960 CPUtime=0.07 cores=0,2,4,6
/proc/6511/task/6572/stat : 6572 (java) S 6508 6511 5182 0 -1 1077944384 3 13165 0 0 0 0 5 2 20 0 15 0 47708953 11090079744 42044 33554432000 4194304 4196468 140731407484672 139804636175056 139806063851419 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6573] ppid=6508 vsize=10830156 memory=281412162814192 CPUtime=0.66 cores=0,2,4,6
/proc/6511/task/6573/stat : 6573 (java) R 6508 6511 5182 0 -1 4202560 1947 13165 0 0 59 0 5 2 20 0 15 0 47708953 11090079744 42044 33554432000 4194304 4196468 140731407484672 139805488615840 139806043525886 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6574] ppid=6508 vsize=10830156 memory=4638778398332698727 CPUtime=0.61 cores=0,2,4,6
/proc/6511/task/6574/stat : 6574 (java) R 6508 6511 5182 0 -1 4202560 2414 13165 0 0 54 0 5 2 20 0 15 0 47708953 11090079744 42044 33554432000 4194304 4196468 140731407484672 139805487557544 139806047318773 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6575] ppid=6508 vsize=10830156 memory=9051285945828671661 CPUtime=0.57 cores=0,2,4,6
/proc/6511/task/6575/stat : 6575 (java) S 6508 6511 5182 0 -1 1077944384 1856 13165 0 0 50 0 5 2 20 0 15 0 47708953 11090079744 42044 33554432000 4194304 4196468 140731407484672 139805486524656 139806063843970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6576] ppid=6508 vsize=10830156 memory=6943526294502006880 CPUtime=0.07 cores=0,2,4,6
/proc/6511/task/6576/stat : 6576 (java) S 6508 6511 5182 0 -1 1077944384 3 13165 0 0 0 0 5 2 20 0 15 0 47708953 11090079744 42044 33554432000 4194304 4196468 140731407484672 139804602616416 139806063843029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6577] ppid=6508 vsize=10830156 memory=6944656592455360604 CPUtime=0.07 cores=0,2,4,6
/proc/6511/task/6577/stat : 6577 (java) S 6508 6511 5182 0 -1 1077944384 1 13165 0 0 0 0 5 2 20 0 15 0 47708953 11090079744 42044 33554432000 4194304 4196468 140731407484672 139805485472560 139806063843970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
Current children cumulated CPU time: 3.13 s
Current children cumulated vsize: 10830156 KiB

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

/proc/6511/task/6564/stat : 6564 (java) R 6508 6511 5182 0 -1 4202560 84333 13165 0 0 229842 43 5 2 20 0 15 0 47708947 11113168896 154134 33554432000 4194304 4196468 140731407484672 139806035668256 139805644622727 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6565] ppid=6508 vsize=10852704 memory=617052 CPUtime=12.9 cores=0,2,4,6
/proc/6511/task/6565/stat : 6565 (java) S 6508 6511 5182 0 -1 1077944384 12473 13165 0 0 1232 51 5 2 20 0 15 0 47708948 11113168896 154134 33554432000 4194304 4196468 140731407484672 139806068074768 139806063843029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6566] ppid=6508 vsize=10852704 memory=617052 CPUtime=12.88 cores=0,2,4,6
/proc/6511/task/6566/stat : 6566 (java) S 6508 6511 5182 0 -1 1077944384 12989 13165 0 0 1230 51 5 2 20 0 15 0 47708948 11113168896 154134 33554432000 4194304 4196468 140731407484672 139805956348304 139806063843029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6567] ppid=6508 vsize=10852704 memory=617052 CPUtime=12.88 cores=0,2,4,6
/proc/6511/task/6567/stat : 6567 (java) S 6508 6511 5182 0 -1 1077944384 15673 13165 0 0 1227 54 5 2 20 0 15 0 47708948 11113168896 154134 33554432000 4194304 4196468 140731407484672 139805955295760 139806063843029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6568] ppid=6508 vsize=10852704 memory=617052 CPUtime=12.91 cores=0,2,4,6
/proc/6511/task/6568/stat : 6568 (java) S 6508 6511 5182 0 -1 1077944384 11906 13165 0 0 1233 51 5 2 20 0 15 0 47708948 11113168896 154134 33554432000 4194304 4196468 140731407484672 139805954243216 139806063843029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6569] ppid=6508 vsize=10852704 memory=618588 CPUtime=7.99 cores=0,2,4,6
/proc/6511/task/6569/stat : 6569 (java) S 6508 6511 5182 0 -1 1077944384 14396 13165 0 0 746 46 5 2 20 0 15 0 47708949 11113168896 154134 33554432000 4194304 4196468 140731407484672 139805523241456 139806063843970 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6570] ppid=6508 vsize=10852704 memory=617048 CPUtime=0.07 cores=0,2,4,6
/proc/6511/task/6570/stat : 6570 (java) S 6508 6511 5182 0 -1 1077944384 44 13165 0 0 0 0 5 2 20 0 15 0 47708950 11113168896 154134 33554432000 4194304 4196468 140731407484672 139805522187744 139806063843029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6571] ppid=6508 vsize=10852704 memory=617052 CPUtime=0.07 cores=0,2,4,6
/proc/6511/task/6571/stat : 6571 (java) S 6508 6511 5182 0 -1 1077944384 8 13165 0 0 0 0 5 2 20 0 15 0 47708950 11113168896 154134 33554432000 4194304 4196468 140731407484672 139804943574528 139806063843029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6572] ppid=6508 vsize=10852704 memory=617052 CPUtime=0.07 cores=0,2,4,6
/proc/6511/task/6572/stat : 6572 (java) S 6508 6511 5182 0 -1 1077944384 3 13165 0 0 0 0 5 2 20 0 15 0 47708953 11113168896 154134 33554432000 4194304 4196468 140731407484672 139804636175056 139806063851419 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6573] ppid=6508 vsize=10852704 memory=619100 CPUtime=12.17 cores=0,2,4,6
/proc/6511/task/6573/stat : 6573 (java) S 6508 6511 5182 0 -1 1077944384 60079 13165 0 0 1203 7 5 2 20 0 15 0 47708953 11113168896 154134 33554432000 4194304 4196468 140731407484672 139805488629744 139806063843970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6574] ppid=6508 vsize=10852704 memory=619100 CPUtime=13.66 cores=0,2,4,6
/proc/6511/task/6574/stat : 6574 (java) S 6508 6511 5182 0 -1 1077944384 58475 13165 0 0 1349 10 5 2 20 0 15 0 47708953 11113168896 154134 33554432000 4194304 4196468 140731407484672 139805487577200 139806063843970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6575] ppid=6508 vsize=10852704 memory=631420 CPUtime=5 cores=0,2,4,6
/proc/6511/task/6575/stat : 6575 (java) S 6508 6511 5182 0 -1 1077944384 62701 13165 0 0 484 9 5 2 20 0 15 0 47708953 11113168896 154134 33554432000 4194304 4196468 140731407484672 139805486524656 139806063843970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6576] ppid=6508 vsize=10852704 memory=4140 CPUtime=0.07 cores=0,2,4,6
/proc/6511/task/6576/stat : 6576 (java) S 6508 6511 5182 0 -1 1077944384 3 13165 0 0 0 0 5 2 20 0 15 0 47708953 11113168896 154134 33554432000 4194304 4196468 140731407484672 139804602616416 139806063843029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6577] ppid=6508 vsize=10852704 memory=65 CPUtime=1.4 cores=0,2,4,6
/proc/6511/task/6577/stat : 6577 (java) S 6508 6511 5182 0 -1 1077944384 1096 13165 0 0 64 69 5 2 20 0 15 0 47708953 11113168896 154134 33554432000 4194304 4196468 140731407484672 139805485472560 139806063843970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
Current children cumulated CPU time: 2390.18 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 616536 KiB

[startup+2382.3 s]
/proc/loadavg: 1.60 1.41 1.41 3/215 6779
/proc/meminfo: memFree=21351404/32770624 swapFree=67108860/67108860
[pid=6511] ppid=6508 vsize=10852704 memory=597556 CPUtime=2451.3 cores=0,2,4,6
/proc/6511/stat : 6511 (java) S 6508 6511 5182 0 -1 1077944320 337909 13165 0 0 244766 357 5 2 20 0 15 0 47708938 11113168896 149389 33554432000 4194304 4196468 140731407484672 140731407467216 139806063832823 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
/proc/6511/statm: 2713176 149389 3537 1 0 2674829 0
[pid=6511/tid=6564] ppid=6508 vsize=10852704 memory=597556 CPUtime=2358.26 cores=0,2,4,6
/proc/6511/task/6564/stat : 6564 (java) R 6508 6511 5182 0 -1 4202560 85024 13165 0 0 235776 43 5 2 20 0 15 0 47708947 11113168896 149389 33554432000 4194304 4196468 140731407484672 139806035668560 139805641240576 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6565] ppid=6508 vsize=10852704 memory=597556 CPUtime=13.28 cores=0,2,4,6
/proc/6511/task/6565/stat : 6565 (java) S 6508 6511 5182 0 -1 1077944384 12644 13165 0 0 1269 52 5 2 20 0 15 0 47708948 11113168896 149389 33554432000 4194304 4196468 140731407484672 139806068074768 139806063843029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6566] ppid=6508 vsize=10852704 memory=597556 CPUtime=13.26 cores=0,2,4,6
/proc/6511/task/6566/stat : 6566 (java) S 6508 6511 5182 0 -1 1077944384 13251 13165 0 0 1267 52 5 2 20 0 15 0 47708948 11113168896 149389 33554432000 4194304 4196468 140731407484672 139805956348304 139806063843029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6567] ppid=6508 vsize=10852704 memory=597556 CPUtime=13.26 cores=0,2,4,6
/proc/6511/task/6567/stat : 6567 (java) S 6508 6511 5182 0 -1 1077944384 15796 13165 0 0 1264 55 5 2 20 0 15 0 47708948 11113168896 149389 33554432000 4194304 4196468 140731407484672 139805955295760 139806063843029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6568] ppid=6508 vsize=10852704 memory=597556 CPUtime=13.29 cores=0,2,4,6
/proc/6511/task/6568/stat : 6568 (java) S 6508 6511 5182 0 -1 1077944384 11953 13165 0 0 1271 51 5 2 20 0 15 0 47708948 11113168896 149389 33554432000 4194304 4196468 140731407484672 139805954243216 139806063843029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6569] ppid=6508 vsize=10852704 memory=604736 CPUtime=8.2 cores=0,2,4,6
/proc/6511/task/6569/stat : 6569 (java) S 6508 6511 5182 0 -1 1077944384 14621 13165 0 0 766 47 5 2 20 0 15 0 47708949 11113168896 149389 33554432000 4194304 4196468 140731407484672 139805523241456 139806063843970 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6570] ppid=6508 vsize=10852704 memory=597556 CPUtime=0.07 cores=0,2,4,6
/proc/6511/task/6570/stat : 6570 (java) S 6508 6511 5182 0 -1 1077944384 44 13165 0 0 0 0 5 2 20 0 15 0 47708950 11113168896 149389 33554432000 4194304 4196468 140731407484672 139805522187744 139806063843029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6571] ppid=6508 vsize=10852704 memory=597556 CPUtime=0.07 cores=0,2,4,6
/proc/6511/task/6571/stat : 6571 (java) S 6508 6511 5182 0 -1 1077944384 8 13165 0 0 0 0 5 2 20 0 15 0 47708950 11113168896 149389 33554432000 4194304 4196468 140731407484672 139804943574528 139806063843029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6572] ppid=6508 vsize=10852704 memory=597556 CPUtime=0.07 cores=0,2,4,6
/proc/6511/task/6572/stat : 6572 (java) S 6508 6511 5182 0 -1 1077944384 3 13165 0 0 0 0 5 2 20 0 15 0 47708953 11113168896 149389 33554432000 4194304 4196468 140731407484672 139804636175056 139806063851419 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6573] ppid=6508 vsize=10852704 memory=617052 CPUtime=12.17 cores=0,2,4,6
/proc/6511/task/6573/stat : 6573 (java) S 6508 6511 5182 0 -1 1077944384 60081 13165 0 0 1203 7 5 2 20 0 15 0 47708953 11113168896 149389 33554432000 4194304 4196468 140731407484672 139805488629744 139806063843970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6574] ppid=6508 vsize=10852704 memory=7 CPUtime=13.66 cores=0,2,4,6
/proc/6511/task/6574/stat : 6574 (java) S 6508 6511 5182 0 -1 1077944384 58477 13165 0 0 1349 10 5 2 20 0 15 0 47708953 11113168896 149389 33554432000 4194304 4196468 140731407484672 139805487577200 139806063843970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6575] ppid=6508 vsize=10852704 memory=597556 CPUtime=5.01 cores=0,2,4,6
/proc/6511/task/6575/stat : 6575 (java) S 6508 6511 5182 0 -1 1077944384 62703 13165 0 0 484 10 5 2 20 0 15 0 47708953 11113168896 149389 33554432000 4194304 4196468 140731407484672 139805486524656 139806063843970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6576] ppid=6508 vsize=10852704 memory=281412164732672 CPUtime=0.07 cores=0,2,4,6
/proc/6511/task/6576/stat : 6576 (java) S 6508 6511 5182 0 -1 1077944384 3 13165 0 0 0 0 5 2 20 0 15 0 47708953 11113168896 149389 33554432000 4194304 4196468 140731407484672 139804602616416 139806063843029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6577] ppid=6508 vsize=10852704 memory=597556 CPUtime=1.44 cores=0,2,4,6
/proc/6511/task/6577/stat : 6577 (java) S 6508 6511 5182 0 -1 1077944384 1112 13165 0 0 66 71 5 2 20 0 15 0 47708953 11113168896 149389 33554432000 4194304 4196468 140731407484672 139805485472560 139806063843970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
Current children cumulated CPU time: 2451.3 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 597556 KiB

[startup+2442.3 s]
/proc/loadavg: 1.36 1.38 1.40 3/215 6781
/proc/meminfo: memFree=21348784/32770624 swapFree=67108860/67108860
[pid=6511] ppid=6508 vsize=10852704 memory=599604 CPUtime=2512.44 cores=0,2,4,6
/proc/6511/stat : 6511 (java) S 6508 6511 5182 0 -1 1077944320 339774 13165 0 0 250875 362 5 2 20 0 15 0 47708938 11113168896 149901 33554432000 4194304 4196468 140731407484672 140731407467216 139806063832823 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
/proc/6511/statm: 2713176 149901 3537 1 0 2674829 0
[pid=6511/tid=6564] ppid=6508 vsize=10852704 memory=1457444 CPUtime=2417.58 cores=0,2,4,6
/proc/6511/task/6564/stat : 6564 (java) R 6508 6511 5182 0 -1 4202560 85629 13165 0 0 241707 44 5 2 20 0 15 0 47708947 11113168896 149901 33554432000 4194304 4196468 140731407484672 139806035667360 139805632469296 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6565] ppid=6508 vsize=10852704 memory=599604 CPUtime=13.67 cores=0,2,4,6
/proc/6511/task/6565/stat : 6565 (java) S 6508 6511 5182 0 -1 1077944384 12825 13165 0 0 1307 53 5 2 20 0 15 0 47708948 11113168896 149901 33554432000 4194304 4196468 140731407484672 139806068074768 139806063843029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6566] ppid=6508 vsize=10852704 memory=599604 CPUtime=13.65 cores=0,2,4,6
/proc/6511/task/6566/stat : 6566 (java) S 6508 6511 5182 0 -1 1077944384 13333 13165 0 0 1305 53 5 2 20 0 15 0 47708948 11113168896 149901 33554432000 4194304 4196468 140731407484672 139805956348304 139806063843029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6567] ppid=6508 vsize=10852704 memory=599604 CPUtime=13.65 cores=0,2,4,6
/proc/6511/task/6567/stat : 6567 (java) S 6508 6511 5182 0 -1 1077944384 16019 13165 0 0 1302 56 5 2 20 0 15 0 47708948 11113168896 149901 33554432000 4194304 4196468 140731407484672 139805955295760 139806063843029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6568] ppid=6508 vsize=10852704 memory=597556 CPUtime=13.68 cores=0,2,4,6
/proc/6511/task/6568/stat : 6568 (java) S 6508 6511 5182 0 -1 1077944384 12043 13165 0 0 1309 52 5 2 20 0 15 0 47708948 11113168896 149901 33554432000 4194304 4196468 140731407484672 139805954243216 139806063843029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6569] ppid=6508 vsize=10852704 memory=604736 CPUtime=8.42 cores=0,2,4,6
/proc/6511/task/6569/stat : 6569 (java) S 6508 6511 5182 0 -1 1077944384 14843 13165 0 0 787 48 5 2 20 0 15 0 47708949 11113168896 149901 33554432000 4194304 4196468 140731407484672 139805523241456 139806063843970 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6570] ppid=6508 vsize=10852704 memory=597556 CPUtime=0.07 cores=0,2,4,6
/proc/6511/task/6570/stat : 6570 (java) S 6508 6511 5182 0 -1 1077944384 44 13165 0 0 0 0 5 2 20 0 15 0 47708950 11113168896 149901 33554432000 4194304 4196468 140731407484672 139805522187744 139806063843029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6571] ppid=6508 vsize=10852704 memory=599604 CPUtime=0.07 cores=0,2,4,6
/proc/6511/task/6571/stat : 6571 (java) S 6508 6511 5182 0 -1 1077944384 8 13165 0 0 0 0 5 2 20 0 15 0 47708950 11113168896 149901 33554432000 4194304 4196468 140731407484672 139804943574528 139806063843029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6572] ppid=6508 vsize=10852704 memory=599604 CPUtime=0.07 cores=0,2,4,6
/proc/6511/task/6572/stat : 6572 (java) S 6508 6511 5182 0 -1 1077944384 3 13165 0 0 0 0 5 2 20 0 15 0 47708953 11113168896 149901 33554432000 4194304 4196468 140731407484672 139804636175056 139806063851419 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6573] ppid=6508 vsize=10852704 memory=599604 CPUtime=12.18 cores=0,2,4,6
/proc/6511/task/6573/stat : 6573 (java) S 6508 6511 5182 0 -1 1077944384 60530 13165 0 0 1204 7 5 2 20 0 15 0 47708953 11113168896 149901 33554432000 4194304 4196468 140731407484672 139805488629744 139806063843970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6574] ppid=6508 vsize=10852704 memory=599604 CPUtime=13.66 cores=0,2,4,6
/proc/6511/task/6574/stat : 6574 (java) S 6508 6511 5182 0 -1 1077944384 58479 13165 0 0 1349 10 5 2 20 0 15 0 47708953 11113168896 149901 33554432000 4194304 4196468 140731407484672 139805487577200 139806063843970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6575] ppid=6508 vsize=10852704 memory=599604 CPUtime=5.01 cores=0,2,4,6
/proc/6511/task/6575/stat : 6575 (java) S 6508 6511 5182 0 -1 1077944384 62705 13165 0 0 484 10 5 2 20 0 15 0 47708953 11113168896 149901 33554432000 4194304 4196468 140731407484672 139805486524656 139806063843970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6576] ppid=6508 vsize=10852704 memory=599604 CPUtime=0.07 cores=0,2,4,6
/proc/6511/task/6576/stat : 6576 (java) S 6508 6511 5182 0 -1 1077944384 3 13165 0 0 0 0 5 2 20 0 15 0 47708953 11113168896 149901 33554432000 4194304 4196468 140731407484672 139804602616416 139806063843029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6577] ppid=6508 vsize=10852704 memory=15836 CPUtime=1.47 cores=0,2,4,6
/proc/6511/task/6577/stat : 6577 (java) S 6508 6511 5182 0 -1 1077944384 1121 13165 0 0 68 72 5 2 20 0 15 0 47708953 11113168896 149901 33554432000 4194304 4196468 140731407484672 139805485472560 139806063843970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
Current children cumulated CPU time: 2512.44 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 599604 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2449.8 s]
/proc/loadavg: 1.49 1.40 1.41 3/215 6782
/proc/meminfo: memFree=21348616/32770624 swapFree=67108860/67108860
[pid=6511] ppid=6508 vsize=10852704 memory=599604 CPUtime=2520.08 cores=0,2,4,6
/proc/6511/stat : 6511 (java) S 6508 6511 5182 0 -1 1077944320 340494 13165 0 0 251638 363 5 2 20 0 15 0 47708938 11113168896 149901 33554432000 4194304 4196468 140731407484672 140731407467216 139806063832823 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
/proc/6511/statm: 2713176 149901 3537 1 0 2674829 0
[pid=6511/tid=6564] ppid=6508 vsize=10852704 memory=1428 CPUtime=2425 cores=0,2,4,6
/proc/6511/task/6564/stat : 6564 (java) R 6508 6511 5182 0 -1 4202560 85780 13165 0 0 242449 44 5 2 20 0 15 0 47708947 11113168896 149901 33554432000 4194304 4196468 140731407484672 139806035668640 139805646005191 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6565] ppid=6508 vsize=10852704 memory=1196 CPUtime=13.73 cores=0,2,4,6
/proc/6511/task/6565/stat : 6565 (java) S 6508 6511 5182 0 -1 1077944384 12975 13165 0 0 1312 54 5 2 20 0 15 0 47708948 11113168896 149901 33554432000 4194304 4196468 140731407484672 139806068074768 139806063843029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6566] ppid=6508 vsize=10852704 memory=5300 CPUtime=13.7 cores=0,2,4,6
/proc/6511/task/6566/stat : 6566 (java) S 6508 6511 5182 0 -1 1077944384 13336 13165 0 0 1310 53 5 2 20 0 15 0 47708948 11113168896 149901 33554432000 4194304 4196468 140731407484672 139805956348304 139806063843029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6567] ppid=6508 vsize=10852704 memory=1404 CPUtime=13.7 cores=0,2,4,6
/proc/6511/task/6567/stat : 6567 (java) S 6508 6511 5182 0 -1 1077944384 16097 13165 0 0 1307 56 5 2 20 0 15 0 47708948 11113168896 149901 33554432000 4194304 4196468 140731407484672 139805955295760 139806063843029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6568] ppid=6508 vsize=10852704 memory=4140 CPUtime=13.73 cores=0,2,4,6
/proc/6511/task/6568/stat : 6568 (java) S 6508 6511 5182 0 -1 1077944384 12180 13165 0 0 1314 52 5 2 20 0 15 0 47708948 11113168896 149901 33554432000 4194304 4196468 140731407484672 139805954243216 139806063843029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6569] ppid=6508 vsize=10852704 memory=15836 CPUtime=8.45 cores=0,2,4,6
/proc/6511/task/6569/stat : 6569 (java) S 6508 6511 5182 0 -1 1077944384 15024 13165 0 0 790 48 5 2 20 0 15 0 47708949 11113168896 149901 33554432000 4194304 4196468 140731407484672 139805523241456 139806063843970 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6570] ppid=6508 vsize=10852704 memory=1296 CPUtime=0.07 cores=0,2,4,6
/proc/6511/task/6570/stat : 6570 (java) S 6508 6511 5182 0 -1 1077944384 44 13165 0 0 0 0 5 2 20 0 15 0 47708950 11113168896 149901 33554432000 4194304 4196468 140731407484672 139805522187744 139806063843029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6571] ppid=6508 vsize=10852704 memory=2412 CPUtime=0.07 cores=0,2,4,6
/proc/6511/task/6571/stat : 6571 (java) S 6508 6511 5182 0 -1 1077944384 8 13165 0 0 0 0 5 2 20 0 15 0 47708950 11113168896 149901 33554432000 4194304 4196468 140731407484672 139804943574528 139806063843029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6572] ppid=6508 vsize=10852704 memory=1724 CPUtime=0.07 cores=0,2,4,6
/proc/6511/task/6572/stat : 6572 (java) S 6508 6511 5182 0 -1 1077944384 3 13165 0 0 0 0 5 2 20 0 15 0 47708953 11113168896 149901 33554432000 4194304 4196468 140731407484672 139804636175056 139806063851419 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6573] ppid=6508 vsize=10852704 memory=1228 CPUtime=12.18 cores=0,2,4,6
/proc/6511/task/6573/stat : 6573 (java) S 6508 6511 5182 0 -1 1077944384 60532 13165 0 0 1204 7 5 2 20 0 15 0 47708953 11113168896 149901 33554432000 4194304 4196468 140731407484672 139805488629744 139806063843970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6574] ppid=6508 vsize=10852704 memory=1428 CPUtime=13.66 cores=0,2,4,6
/proc/6511/task/6574/stat : 6574 (java) S 6508 6511 5182 0 -1 1077944384 58481 13165 0 0 1349 10 5 2 20 0 15 0 47708953 11113168896 149901 33554432000 4194304 4196468 140731407484672 139805487577200 139806063843970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6575] ppid=6508 vsize=10852704 memory=599604 CPUtime=5.01 cores=0,2,4,6
/proc/6511/task/6575/stat : 6575 (java) S 6508 6511 5182 0 -1 1077944384 62707 13165 0 0 484 10 5 2 20 0 15 0 47708953 11113168896 149901 33554432000 4194304 4196468 140731407484672 139805486524656 139806063843970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6576] ppid=6508 vsize=10852704 memory=5300 CPUtime=0.07 cores=0,2,4,6
/proc/6511/task/6576/stat : 6576 (java) S 6508 6511 5182 0 -1 1077944384 3 13165 0 0 0 0 5 2 20 0 15 0 47708953 11113168896 149901 33554432000 4194304 4196468 140731407484672 139804602616416 139806063843029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
[pid=6511/tid=6577] ppid=6508 vsize=10852704 memory=8112282956445269571 CPUtime=1.47 cores=0,2,4,6
/proc/6511/task/6577/stat : 6577 (java) S 6508 6511 5182 0 -1 1077944384 1135 13165 0 0 68 72 5 2 20 0 15 0 47708953 11113168896 149901 33554432000 4194304 4196468 140731407484672 139805485472560 139806063843970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35098624 140731407489646 140731407492444 140731407492444 140731407495119 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 599604 KiB

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

[startup+2449.83 s]
# the end of solver process 6511 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.46 s, system=3.6734 s

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

Child status: 143
Real time (s): 2449.83
CPU time (s): 2520.14
CPU user time (s): 2516.46
CPU system time (s): 3.6734
CPU usage (%): 102.87
Max. virtual memory (cumulated for all children) (KiB): 10852704
Max. memory (cumulated for all children) (KiB): 1511164

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.46
system time used= 3.6734
maximum resident set size= 1518296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 355054
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3032
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 236558
involuntary context switches= 7657


# summary of solver processes directly reported to runsolver:
#   pid: 6511
#   total CPU time (s): 2520.14
#   total CPU user time (s): 2516.46
#   total CPU system time (s): 3.6734

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.2384 second user time and 22.3473 second system time

The end

Launcher Data 

Begin job on node103 at 2018-07-23 01:17:37
IDJOB=4292965
IDBENCH=141049
IDSOLVER=2750
FILE ID=node103/4292965-1532301457
RUNJOBID= node103-1532293810-5213
PBS_JOBID= 21018979
Free space on /tmp= 56828 MiB

SOLVER NAME= Concrete 3.8 2018-06-13
BENCH NAME= XCSP18/NurseRostering/NurseRostering-10_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4292965-1532301457/watcher-4292965-1532301457 -o /tmp/evaluation-result-4292965-1532301457/solver-4292965-1532301457 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532293810-5213 --watchdog 2580  bin/xcsp-3-concrete -J-Xss32M -randomseed=2019244133 HOME/instance-4292965-1532301457.xml

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

MD5SUM BENCH= 8e8c57bbf90dbce08cf7a3cf301ec8dd
RANDOM SEED=2019244133

node103.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.48
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.48
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.48
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.48
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:        20955632 kB
MemAvailable:   29504780 kB
Buffers:          244324 kB
Cached:          8505288 kB
SwapCached:            0 kB
Active:          3953628 kB
Inactive:        7280416 kB
Active(anon):    2487008 kB
Inactive(anon):    16976 kB
Active(file):    1466620 kB
Inactive(file):  7263440 kB
Unevictable:        7144 kB
Mlocked:            7144 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             26856 kB
Writeback:             0 kB
AnonPages:       2511024 kB
Mapped:            49584 kB
Shmem:             17036 kB
Slab:             275492 kB
SReclaimable:     247548 kB
SUnreclaim:        27944 kB
KernelStack:        3792 kB
PageTables:        10776 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3254320 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2273280 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 56800 MiB
End job on node103 at 2018-07-23 01:58:27