Trace number 4302436

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.9.2? (TO) 252.106 227.15

General information on the benchmark

NameNurseRostering/
NurseRostering-17_c18.xml
MD5SUMe10494f4d2f2bb4c080233ff8f9dca75
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables3248
Number of constraints8691
Number of domains15
Minimum domain size1
Maximum domain size57
Distribution of domain sizes[{"size":1,"count":80},{"size":2,"count":736},{"size":5,"count":1792},{"size":11,"count":24},{"size":33,"count":504},{"size":57,"count":112}]
Minimum variable degree2
Maximum variable degree25
Distribution of variable degrees[{"degree":2,"count":1200},{"degree":3,"count":256},{"degree":15,"count":24},{"degree":16,"count":37},{"degree":17,"count":3},{"degree":18,"count":22},{"degree":19,"count":34},{"degree":20,"count":44},{"degree":21,"count":67},{"degree":22,"count":108},{"degree":23,"count":674},{"degree":24,"count":625},{"degree":25,"count":154}]
Minimum constraint arity2
Maximum constraint arity160
Distribution of constraint arities[{"arity":2,"count":3096},{"arity":3,"count":3456},{"arity":5,"count":136},{"arity":6,"count":1530},{"arity":8,"count":32},{"arity":33,"count":280},{"arity":57,"count":160},{"arity":160,"count":1}]
Number of extensional constraints2040
Number of intensional constraints1056
Distribution of constraint types[{"type":"extension","count":2040},{"type":"intension","count":1056},{"type":"regular","count":3456},{"type":"sum","count":64},{"type":"count","count":2074},{"type":"instantiation","count":1}]
Optimization problemYES
Type of objectivemin SUM

Solver Data 

0.99/0.74	c Concrete v3.9.2.1532736233296 running
18.49/7.10	c 21:57:14.590 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24677. 'extension(4, x[2][1]=[0‥4]) :: init: true :: relation: MDD 556773329, 9 edges, 5 vertices, 6 tuples
18.80/7.11	c 21:57:14.597 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24680. 'extension(4, 4) :: init: true :: relation: MDD 556773329, 9 edges, 5 vertices, 6 tuples
18.80/7.11	c 21:57:14.598 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24681. 'extension(4, 4) :: init: true :: relation: MDD 1653634548, 5 edges, 3 vertices, 4 tuples
18.80/7.11	c 21:57:14.599 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24706. 'extension(x[0][27]=[0‥4], 4) :: init: true :: relation: MDD 73689328, 9 edges, 5 vertices, 6 tuples
18.80/7.11	c 21:57:14.600 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24735. 'extension(x[1][14]=[0‥4], 4) :: init: true :: relation: MDD 1307540790, 9 edges, 5 vertices, 6 tuples
18.80/7.12	c 21:57:14.602 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24766. 'extension(x[1][16]=[0‥4], 4) :: init: true :: relation: MDD 1985362663, 9 edges, 5 vertices, 6 tuples
18.80/7.12	c 21:57:14.602 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24767. 'extension(4, x[3][16]=[0‥4]) :: init: true :: relation: MDD 1985362663, 9 edges, 5 vertices, 6 tuples
18.80/7.12	c 21:57:14.604 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24800. 'extension(4, 4) :: init: true :: relation: MDD 73689328, 9 edges, 5 vertices, 6 tuples
18.80/7.12	c 21:57:14.606 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24828. 'extension(x[2][10]=[0‥4], 4) :: init: true :: relation: MDD 1518022811, 9 edges, 5 vertices, 6 tuples
18.80/7.12	c 21:57:14.607 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24863. 'extension(4, 4) :: init: true :: relation: MDD 1307540790, 9 edges, 5 vertices, 6 tuples
18.80/7.12	c 21:57:14.608 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24892. 'extension(4, x[4][27]=[0‥4]) :: init: true :: relation: MDD 73689328, 9 edges, 5 vertices, 6 tuples
18.80/7.12	c 21:57:14.609 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24895. 'extension(4, 4) :: init: true :: relation: MDD 73689328, 9 edges, 5 vertices, 6 tuples
18.80/7.12	c 21:57:14.610 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24924. 'extension(4, x[5][10]=[0‥4]) :: init: true :: relation: MDD 1518022811, 9 edges, 5 vertices, 6 tuples
18.80/7.12	c 21:57:14.611 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24927. 'extension(4, 4) :: init: true :: relation: MDD 1518022811, 9 edges, 5 vertices, 6 tuples
18.80/7.12	c 21:57:14.613 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24957. 'extension(x[3][13]=[0‥4], 4) :: init: true :: relation: MDD 700171153, 9 edges, 5 vertices, 6 tuples
18.80/7.12	c 21:57:14.614 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24993. 'extension(4, 4) :: init: true :: relation: MDD 1307540790, 9 edges, 5 vertices, 6 tuples
18.80/7.12	c 21:57:14.614 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25023. 'extension(x[3][25]=[0‥4], 4) :: init: true :: relation: MDD 1572516402, 9 edges, 5 vertices, 6 tuples
18.80/7.13	c 21:57:14.615 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25024. 'extension(4, x[5][25]=[0‥4]) :: init: true :: relation: MDD 1572516402, 9 edges, 5 vertices, 6 tuples
18.80/7.13	c 21:57:14.617 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25056. 'extension(x[3][30]=[0‥4], 4) :: init: true :: relation: MDD 1864344016, 9 edges, 5 vertices, 6 tuples
18.80/7.13	c 21:57:14.619 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25089. 'extension(4, wk[7][0]=[0‥1]) :: init: true :: relation: MDD 1110014943, 5 edges, 3 vertices, 4 tuples
18.80/7.14	c 21:57:14.619 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25090. 'extension(x[4][7]=[0‥4], 4) :: init: true :: relation: MDD 651828130, 9 edges, 5 vertices, 6 tuples
18.80/7.14	c 21:57:14.620 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25124. 'extension(4, wk[13][0]=[0‥1]) :: init: true :: relation: MDD 1158611509, 5 edges, 3 vertices, 4 tuples
18.80/7.14	c 21:57:14.621 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25128. 'extension(4, 4) :: init: true :: relation: MDD 700171153, 9 edges, 5 vertices, 6 tuples
18.80/7.14	c 21:57:14.622 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25159. 'extension(4, wk[14][0]=[0‥1]) :: init: true :: relation: MDD 1113666007, 5 edges, 3 vertices, 4 tuples
18.80/7.14	c 21:57:14.622 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25163. 'extension(4, 4) :: init: true :: relation: MDD 1307540790, 9 edges, 5 vertices, 6 tuples
18.80/7.14	c 21:57:14.623 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25194. 'extension(4, wk[20][0]=[0‥1]) :: init: true :: relation: MDD 569894199, 5 edges, 3 vertices, 4 tuples
18.80/7.14	c 21:57:14.623 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25195. 'extension(x[4][20]=[0‥4], 4) :: init: true :: relation: MDD 656844049, 9 edges, 5 vertices, 6 tuples
18.80/7.14	c 21:57:14.624 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25229. 'extension(4, wk[21][0]=[0‥1]) :: init: true :: relation: MDD 507479765, 5 edges, 3 vertices, 4 tuples
18.80/7.14	c 21:57:14.625 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25230. 'extension(x[4][21]=[0‥4], 4) :: init: true :: relation: MDD 1726169577, 9 edges, 5 vertices, 6 tuples
18.80/7.14	c 21:57:14.625 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25231. 'extension(4, x[6][21]=[0‥4]) :: init: true :: relation: MDD 1726169577, 9 edges, 5 vertices, 6 tuples
18.80/7.14	c 21:57:14.627 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25264. 'extension(4, wk[30][0]=[0‥1]) :: init: true :: relation: MDD 768702707, 5 edges, 3 vertices, 4 tuples
18.80/7.14	c 21:57:14.628 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25268. 'extension(4, 4) :: init: true :: relation: MDD 1864344016, 9 edges, 5 vertices, 6 tuples
18.80/7.14	c 21:57:14.629 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25298. 'extension(4, wk[5][0]=[0‥1]) :: init: true :: relation: MDD 1148088421, 5 edges, 3 vertices, 4 tuples
18.80/7.14	c 21:57:14.629 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25299. 'extension(x[5][5]=[0‥4], 4) :: init: true :: relation: MDD 431300939, 9 edges, 5 vertices, 6 tuples
18.80/7.14	c 21:57:14.630 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25333. 'extension(4, wk[7][0]=[0‥1]) :: init: true :: relation: MDD 1538855361, 5 edges, 3 vertices, 4 tuples
18.80/7.14	c 21:57:14.631 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25337. 'extension(4, 4) :: init: true :: relation: MDD 651828130, 9 edges, 5 vertices, 6 tuples
18.80/7.14	c 21:57:14.631 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25368. 'extension(4, wk[13][0]=[0‥1]) :: init: true :: relation: MDD 2100073313, 5 edges, 3 vertices, 4 tuples
18.80/7.14	c 21:57:14.632 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25372. 'extension(4, 4) :: init: true :: relation: MDD 700171153, 9 edges, 5 vertices, 6 tuples
18.80/7.14	c 21:57:14.632 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25403. 'extension(4, wk[14][0]=[0‥1]) :: init: true :: relation: MDD 2088661957, 5 edges, 3 vertices, 4 tuples
18.80/7.14	c 21:57:14.633 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25404. 'extension(4, x[7][14]=[0‥4]) :: init: true :: relation: MDD 1307540790, 9 edges, 5 vertices, 6 tuples
18.80/7.14	c 21:57:14.634 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25407. 'extension(4, 4) :: init: true :: relation: MDD 1307540790, 9 edges, 5 vertices, 6 tuples
18.80/7.15	c 21:57:14.635 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25438. 'extension(4, wk[16][0]=[0‥1]) :: init: true :: relation: MDD 1087916281, 5 edges, 3 vertices, 4 tuples
18.80/7.15	c 21:57:14.635 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25439. 'extension(x[5][16]=[0‥4], 4) :: init: true :: relation: MDD 1985362663, 9 edges, 5 vertices, 6 tuples
18.80/7.15	c 21:57:14.636 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25473. 'extension(4, wk[20][0]=[0‥1]) :: init: true :: relation: MDD 1656143941, 5 edges, 3 vertices, 4 tuples
18.80/7.15	c 21:57:14.637 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25477. 'extension(4, 4) :: init: true :: relation: MDD 656844049, 9 edges, 5 vertices, 6 tuples
18.80/7.15	c 21:57:14.638 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25508. 'extension(4, wk[22][0]=[0‥1]) :: init: true :: relation: MDD 1615669446, 5 edges, 3 vertices, 4 tuples
18.80/7.15	c 21:57:14.638 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25509. 'extension(x[5][22]=[0‥4], 4) :: init: true :: relation: MDD 669812564, 9 edges, 5 vertices, 6 tuples
18.80/7.15	c 21:57:14.639 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25543. 'extension(4, wk[30][0]=[0‥1]) :: init: true :: relation: MDD 1752223660, 5 edges, 3 vertices, 4 tuples
18.80/7.15	c 21:57:14.639 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25547. 'extension(4, 4) :: init: true :: relation: MDD 1864344016, 9 edges, 5 vertices, 6 tuples
18.80/7.15	c 21:57:14.640 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25580. 'extension(4, 4) :: init: true :: relation: MDD 431300939, 9 edges, 5 vertices, 6 tuples
18.80/7.15	c 21:57:14.641 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25611. 'extension(4, x[8][7]=[0‥4]) :: init: true :: relation: MDD 651828130, 9 edges, 5 vertices, 6 tuples
18.80/7.15	c 21:57:14.642 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25614. 'extension(4, 4) :: init: true :: relation: MDD 651828130, 9 edges, 5 vertices, 6 tuples
18.80/7.15	c 21:57:14.643 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25645. 'extension(4, x[8][13]=[0‥4]) :: init: true :: relation: MDD 700171153, 9 edges, 5 vertices, 6 tuples
18.80/7.15	c 21:57:14.644 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25648. 'extension(4, 4) :: init: true :: relation: MDD 700171153, 9 edges, 5 vertices, 6 tuples
18.80/7.16	c 21:57:14.645 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25679. 'extension(4, x[8][16]=[0‥4]) :: init: true :: relation: MDD 1985362663, 9 edges, 5 vertices, 6 tuples
18.80/7.16	c 21:57:14.646 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25682. 'extension(4, 4) :: init: true :: relation: MDD 1985362663, 9 edges, 5 vertices, 6 tuples
18.80/7.16	c 21:57:14.647 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25713. 'extension(4, x[8][20]=[0‥4]) :: init: true :: relation: MDD 656844049, 9 edges, 5 vertices, 6 tuples
18.80/7.16	c 21:57:14.647 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25716. 'extension(4, 4) :: init: true :: relation: MDD 656844049, 9 edges, 5 vertices, 6 tuples
18.80/7.16	c 21:57:14.648 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25750. 'extension(4, 4) :: init: true :: relation: MDD 669812564, 9 edges, 5 vertices, 6 tuples
18.80/7.16	c 21:57:14.649 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25781. 'extension(4, x[8][30]=[0‥4]) :: init: true :: relation: MDD 1864344016, 9 edges, 5 vertices, 6 tuples
18.80/7.16	c 21:57:14.650 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25784. 'extension(4, 4) :: init: true :: relation: MDD 1864344016, 9 edges, 5 vertices, 6 tuples
18.80/7.16	c 21:57:14.651 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25814. 'extension(4, x[9][5]=[0‥4]) :: init: true :: relation: MDD 431300939, 9 edges, 5 vertices, 6 tuples
18.80/7.16	c 21:57:14.652 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25817. 'extension(4, 4) :: init: true :: relation: MDD 431300939, 9 edges, 5 vertices, 6 tuples
18.80/7.16	c 21:57:14.653 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25848. 'extension(x[7][19]=[0‥4], 4) :: init: true :: relation: MDD 121521031, 9 edges, 5 vertices, 6 tuples
18.80/7.16	c 21:57:14.654 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25885. 'extension(4, 4) :: init: true :: relation: MDD 669812564, 9 edges, 5 vertices, 6 tuples
18.80/7.17	c 21:57:14.655 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25919. 'extension(4, 4) :: init: true :: relation: MDD 121521031, 9 edges, 5 vertices, 6 tuples
18.80/7.17	c 21:57:14.655 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25953. 'extension(4, 4) :: init: true :: relation: MDD 669812564, 9 edges, 5 vertices, 6 tuples
18.80/7.17	c 21:57:14.656 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25984. 'extension(x[8][23]=[0‥4], 4) :: init: true :: relation: MDD 1660536720, 9 edges, 5 vertices, 6 tuples
18.80/7.17	c 21:57:14.657 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26021. 'extension(4, 4) :: init: true :: relation: MDD 121521031, 9 edges, 5 vertices, 6 tuples
18.80/7.17	c 21:57:14.658 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26052. 'extension(4, x[11][22]=[0‥4]) :: init: true :: relation: MDD 669812564, 9 edges, 5 vertices, 6 tuples
18.80/7.17	c 21:57:14.658 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26055. 'extension(4, 4) :: init: true :: relation: MDD 669812564, 9 edges, 5 vertices, 6 tuples
18.80/7.17	c 21:57:14.660 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26089. 'extension(4, 4) :: init: true :: relation: MDD 1660536720, 9 edges, 5 vertices, 6 tuples
18.80/7.17	c 21:57:14.661 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26120. 'extension(x[9][26]=[0‥4], 4) :: init: true :: relation: MDD 678858277, 9 edges, 5 vertices, 6 tuples
18.80/7.17	c 21:57:14.661 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26121. 'extension(4, x[11][26]=[0‥4]) :: init: true :: relation: MDD 678858277, 9 edges, 5 vertices, 6 tuples
18.80/7.18	c 21:57:14.663 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26154. 'extension(4, x[12][19]=[0‥4]) :: init: true :: relation: MDD 121521031, 9 edges, 5 vertices, 6 tuples
18.80/7.18	c 21:57:14.663 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26157. 'extension(4, 4) :: init: true :: relation: MDD 121521031, 9 edges, 5 vertices, 6 tuples
18.80/7.18	c 21:57:14.664 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26191. 'extension(4, 4) :: init: true :: relation: MDD 1660536720, 9 edges, 5 vertices, 6 tuples
18.80/7.18	c 21:57:14.665 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26222. 'extension(4, wk[13][1]=[0‥1]) :: init: true :: relation: MDD 264138968, 5 edges, 3 vertices, 4 tuples
18.80/7.18	c 21:57:14.665 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26223. 'extension(x[11][13]=[0‥4], 4) :: init: true :: relation: MDD 700171153, 9 edges, 5 vertices, 6 tuples
18.80/7.18	c 21:57:14.666 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26224. 'extension(4, x[13][13]=[0‥4]) :: init: true :: relation: MDD 700171153, 9 edges, 5 vertices, 6 tuples
18.80/7.18	c 21:57:14.668 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26257. 'extension(4, wk[23][1]=[0‥1]) :: init: true :: relation: MDD 507575219, 5 edges, 3 vertices, 4 tuples
18.80/7.18	c 21:57:14.668 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26261. 'extension(4, 4) :: init: true :: relation: MDD 1660536720, 9 edges, 5 vertices, 6 tuples
18.80/7.18	c 21:57:14.669 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26292. 'extension(4, wk[2][1]=[0‥1]) :: init: true :: relation: MDD 716896919, 5 edges, 3 vertices, 4 tuples
18.80/7.19	c 21:57:14.669 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26293. 'extension(x[12][2]=[0‥4], 4) :: init: true :: relation: MDD 1327714567, 9 edges, 5 vertices, 6 tuples
18.80/7.19	c 21:57:14.670 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26327. 'extension(4, wk[23][1]=[0‥1]) :: init: true :: relation: MDD 165687172, 5 edges, 3 vertices, 4 tuples
18.80/7.19	c 21:57:14.670 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26328. 'extension(4, x[14][23]=[0‥4]) :: init: true :: relation: MDD 1660536720, 9 edges, 5 vertices, 6 tuples
18.80/7.19	c 21:57:14.671 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26331. 'extension(4, 4) :: init: true :: relation: MDD 1660536720, 9 edges, 5 vertices, 6 tuples
18.80/7.19	c 21:57:14.673 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26362. 'extension(4, x[15][2]=[0‥4]) :: init: true :: relation: MDD 1327714567, 9 edges, 5 vertices, 6 tuples
18.80/7.19	c 21:57:14.673 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26365. 'extension(4, 4) :: init: true :: relation: MDD 1327714567, 9 edges, 5 vertices, 6 tuples
18.80/7.19	c 21:57:14.674 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26396. 'extension(x[13][6]=[0‥4], 4) :: init: true :: relation: MDD 322100932, 9 edges, 5 vertices, 6 tuples
18.80/7.19	c 21:57:14.675 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26433. 'extension(4, 4) :: init: true :: relation: MDD 322100932, 9 edges, 5 vertices, 6 tuples
18.80/7.19	c 21:57:14.676 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26464. 'extension(x[14][7]=[0‥4], 4) :: init: true :: relation: MDD 651828130, 9 edges, 5 vertices, 6 tuples
18.80/7.19	c 21:57:14.676 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26465. 'extension(4, x[16][7]=[0‥4]) :: init: true :: relation: MDD 651828130, 9 edges, 5 vertices, 6 tuples
18.80/7.19	c 21:57:14.678 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26498. 'extension(x[14][10]=[0‥4], 4) :: init: true :: relation: MDD 1518022811, 9 edges, 5 vertices, 6 tuples
18.80/7.19	c 21:57:14.678 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26499. 'extension(4, x[16][10]=[0‥4]) :: init: true :: relation: MDD 1518022811, 9 edges, 5 vertices, 6 tuples
18.80/7.19	c 21:57:14.680 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26532. 'extension(4, x[17][6]=[0‥4]) :: init: true :: relation: MDD 322100932, 9 edges, 5 vertices, 6 tuples
18.80/7.19	c 21:57:14.681 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26535. 'extension(4, 4) :: init: true :: relation: MDD 322100932, 9 edges, 5 vertices, 6 tuples
18.80/7.19	c 21:57:14.682 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26566. 'extension(x[17][9]=[0‥4], 4) :: init: true :: relation: MDD 1560244891, 9 edges, 5 vertices, 6 tuples
18.80/7.19	c 21:57:14.684 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26600. 'extension(4, wk[4][2]=[0‥1]) :: init: true :: relation: MDD 1379186202, 5 edges, 3 vertices, 4 tuples
18.80/7.19	c 21:57:14.684 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26601. 'extension(x[18][4]=[0‥4], 4) :: init: true :: relation: MDD 1820545559, 9 edges, 5 vertices, 6 tuples
18.80/7.19	c 21:57:14.684 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26635. 'extension(4, wk[8][2]=[0‥1]) :: init: true :: relation: MDD 167670282, 5 edges, 3 vertices, 4 tuples
18.80/7.20	c 21:57:14.685 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26636. 'extension(x[18][8]=[0‥4], 4) :: init: true :: relation: MDD 683211146, 9 edges, 5 vertices, 6 tuples
19.11/7.20	c 21:57:14.685 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26670. 'extension(4, wk[9][2]=[0‥1]) :: init: true :: relation: MDD 2032547119, 5 edges, 3 vertices, 4 tuples
19.11/7.20	c 21:57:14.686 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26674. 'extension(4, 4) :: init: true :: relation: MDD 1560244891, 9 edges, 5 vertices, 6 tuples
19.11/7.20	c 21:57:14.687 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26705. 'extension(4, wk[4][2]=[0‥1]) :: init: true :: relation: MDD 1422140849, 5 edges, 3 vertices, 4 tuples
19.11/7.20	c 21:57:14.687 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26706. 'extension(4, x[21][4]=[0‥4]) :: init: true :: relation: MDD 1820545559, 9 edges, 5 vertices, 6 tuples
19.11/7.20	c 21:57:14.687 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26709. 'extension(4, 4) :: init: true :: relation: MDD 1820545559, 9 edges, 5 vertices, 6 tuples
19.11/7.20	c 21:57:14.688 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26740. 'extension(4, wk[8][2]=[0‥1]) :: init: true :: relation: MDD 294309744, 5 edges, 3 vertices, 4 tuples
19.11/7.20	c 21:57:14.689 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26744. 'extension(4, 4) :: init: true :: relation: MDD 683211146, 9 edges, 5 vertices, 6 tuples
19.11/7.20	c 21:57:14.689 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26775. 'extension(4, wk[9][2]=[0‥1]) :: init: true :: relation: MDD 1627618479, 5 edges, 3 vertices, 4 tuples
19.11/7.20	c 21:57:14.689 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26779. 'extension(4, 4) :: init: true :: relation: MDD 1560244891, 9 edges, 5 vertices, 6 tuples
19.11/7.20	c 21:57:14.690 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26810. 'extension(4, wk[12][2]=[0‥1]) :: init: true :: relation: MDD 832648870, 5 edges, 3 vertices, 4 tuples
19.11/7.20	c 21:57:14.690 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26811. 'extension(x[19][12]=[0‥4], 4) :: init: true :: relation: MDD 1041552272, 9 edges, 5 vertices, 6 tuples
19.11/7.20	c 21:57:14.691 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26845. 'extension(4, wk[19][2]=[0‥1]) :: init: true :: relation: MDD 1622534157, 5 edges, 3 vertices, 4 tuples
19.11/7.20	c 21:57:14.691 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26846. 'extension(x[19][19]=[0‥4], 4) :: init: true :: relation: MDD 121521031, 9 edges, 5 vertices, 6 tuples
19.11/7.20	c 21:57:14.691 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26847. 'extension(4, x[21][19]=[0‥4]) :: init: true :: relation: MDD 121521031, 9 edges, 5 vertices, 6 tuples
19.11/7.20	c 21:57:14.694 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26880. 'extension(4, x[22][8]=[0‥4]) :: init: true :: relation: MDD 683211146, 9 edges, 5 vertices, 6 tuples
19.11/7.21	c 21:57:14.695 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26883. 'extension(4, 4) :: init: true :: relation: MDD 683211146, 9 edges, 5 vertices, 6 tuples
19.11/7.21	c 21:57:14.696 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26914. 'extension(4, x[22][9]=[0‥4]) :: init: true :: relation: MDD 1560244891, 9 edges, 5 vertices, 6 tuples
19.11/7.21	c 21:57:14.696 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26917. 'extension(4, 4) :: init: true :: relation: MDD 1560244891, 9 edges, 5 vertices, 6 tuples
19.11/7.21	c 21:57:14.697 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26948. 'extension(4, x[22][12]=[0‥4]) :: init: true :: relation: MDD 1041552272, 9 edges, 5 vertices, 6 tuples
19.11/7.21	c 21:57:14.698 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26951. 'extension(4, 4) :: init: true :: relation: MDD 1041552272, 9 edges, 5 vertices, 6 tuples
19.11/7.21	c 21:57:14.699 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26982. 'extension(x[20][18]=[0‥4], 4) :: init: true :: relation: MDD 1746061516, 9 edges, 5 vertices, 6 tuples
19.11/7.21	c 21:57:14.700 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27019. 'extension(4, 4) :: init: true :: relation: MDD 1746061516, 9 edges, 5 vertices, 6 tuples
19.11/7.21	c 21:57:14.700 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27050. 'extension(x[21][25]=[0‥4], 4) :: init: true :: relation: MDD 1572516402, 9 edges, 5 vertices, 6 tuples
19.11/7.21	c 21:57:14.701 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27051. 'extension(4, x[23][25]=[0‥4]) :: init: true :: relation: MDD 1572516402, 9 edges, 5 vertices, 6 tuples
19.11/7.21	c 21:57:14.702 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27084. 'extension(4, x[24][18]=[0‥4]) :: init: true :: relation: MDD 1746061516, 9 edges, 5 vertices, 6 tuples
19.11/7.21	c 21:57:14.703 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27087. 'extension(4, 4) :: init: true :: relation: MDD 1746061516, 9 edges, 5 vertices, 6 tuples
19.11/7.21	c 21:57:14.704 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27118. 'extension(x[23][0]=[0‥4], 4) :: init: true :: relation: MDD 1512759723, 9 edges, 5 vertices, 6 tuples
19.11/7.22	c 21:57:14.705 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27152. 'extension(x[23][9]=[0‥4], 4) :: init: true :: relation: MDD 1560244891, 9 edges, 5 vertices, 6 tuples
19.11/7.22	c 21:57:14.705 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27153. 'extension(4, x[25][9]=[0‥4]) :: init: true :: relation: MDD 1560244891, 9 edges, 5 vertices, 6 tuples
19.11/7.22	c 21:57:14.711 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27186. 'extension(x[23][24]=[0‥4], 4) :: init: true :: relation: MDD 1701331644, 9 edges, 5 vertices, 6 tuples
19.11/7.23	c 21:57:14.712 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27220. 'extension(4, x[26][0]=[0‥4]) :: init: true :: relation: MDD 1512759723, 9 edges, 5 vertices, 6 tuples
19.11/7.23	c 21:57:14.713 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27223. 'extension(4, 4) :: init: true :: relation: MDD 1512759723, 9 edges, 5 vertices, 6 tuples
19.11/7.23	c 21:57:14.714 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27254. 'extension(x[24][1]=[0‥4], 4) :: init: true :: relation: MDD 556773329, 9 edges, 5 vertices, 6 tuples
19.11/7.23	c 21:57:14.714 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27255. 'extension(4, x[26][1]=[0‥4]) :: init: true :: relation: MDD 556773329, 9 edges, 5 vertices, 6 tuples
19.11/7.23	c 21:57:14.716 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27291. 'extension(4, 4) :: init: true :: relation: MDD 1701331644, 9 edges, 5 vertices, 6 tuples
19.11/7.23	c 21:57:14.716 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27322. 'extension(x[24][26]=[0‥4], 4) :: init: true :: relation: MDD 678858277, 9 edges, 5 vertices, 6 tuples
19.11/7.23	c 21:57:14.717 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27356. 'extension(x[24][29]=[0‥4], 4) :: init: true :: relation: MDD 1360897103, 9 edges, 5 vertices, 6 tuples
19.11/7.23	c 21:57:14.718 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27390. 'extension(4, wk[24][3]=[0‥1]) :: init: true :: relation: MDD 1012194796, 5 edges, 3 vertices, 4 tuples
19.11/7.23	c 21:57:14.718 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27394. 'extension(4, 4) :: init: true :: relation: MDD 1701331644, 9 edges, 5 vertices, 6 tuples
19.11/7.23	c 21:57:14.719 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27425. 'extension(4, wk[26][3]=[0‥1]) :: init: true :: relation: MDD 1361755941, 5 edges, 3 vertices, 4 tuples
19.11/7.23	c 21:57:14.719 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27429. 'extension(4, 4) :: init: true :: relation: MDD 678858277, 9 edges, 5 vertices, 6 tuples
19.11/7.23	c 21:57:14.720 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27460. 'extension(4, wk[29][3]=[0‥1]) :: init: true :: relation: MDD 935818862, 5 edges, 3 vertices, 4 tuples
19.11/7.23	c 21:57:14.720 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27461. 'extension(4, x[27][29]=[0‥4]) :: init: true :: relation: MDD 1360897103, 9 edges, 5 vertices, 6 tuples
19.11/7.23	c 21:57:14.720 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27464. 'extension(4, 4) :: init: true :: relation: MDD 1360897103, 9 edges, 5 vertices, 6 tuples
19.11/7.23	c 21:57:14.722 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27495. 'extension(4, wk[11][3]=[0‥1]) :: init: true :: relation: MDD 1434741143, 5 edges, 3 vertices, 4 tuples
19.11/7.23	c 21:57:14.722 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27496. 'extension(x[26][11]=[0‥4], 4) :: init: true :: relation: MDD 918584437, 9 edges, 5 vertices, 6 tuples
19.11/7.23	c 21:57:14.723 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27530. 'extension(4, wk[24][3]=[0‥1]) :: init: true :: relation: MDD 5181771, 5 edges, 3 vertices, 4 tuples
19.11/7.23	c 21:57:14.723 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27534. 'extension(4, 4) :: init: true :: relation: MDD 1701331644, 9 edges, 5 vertices, 6 tuples
19.11/7.23	c 21:57:14.723 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27565. 'extension(4, wk[26][3]=[0‥1]) :: init: true :: relation: MDD 1829651877, 5 edges, 3 vertices, 4 tuples
19.11/7.23	c 21:57:14.723 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27566. 'extension(4, x[28][26]=[0‥4]) :: init: true :: relation: MDD 678858277, 9 edges, 5 vertices, 6 tuples
19.11/7.23	c 21:57:14.724 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27569. 'extension(4, 4) :: init: true :: relation: MDD 678858277, 9 edges, 5 vertices, 6 tuples
19.11/7.24	c 21:57:14.725 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27600. 'extension(4, wk[31][3]=[0‥1]) :: init: true :: relation: MDD 1791253516, 5 edges, 3 vertices, 4 tuples
19.11/7.24	c 21:57:14.725 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27601. 'extension(x[26][31]=[0‥4], 4) :: init: true :: relation: MDD 1909807998, 9 edges, 5 vertices, 6 tuples
19.11/7.24	c 21:57:14.726 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27637. 'extension(4, 4) :: init: true :: relation: MDD 918584437, 9 edges, 5 vertices, 6 tuples
19.11/7.24	c 21:57:14.727 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27668. 'extension(4, x[29][24]=[0‥4]) :: init: true :: relation: MDD 1701331644, 9 edges, 5 vertices, 6 tuples
19.11/7.24	c 21:57:14.727 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27671. 'extension(4, 4) :: init: true :: relation: MDD 1701331644, 9 edges, 5 vertices, 6 tuples
19.11/7.24	c 21:57:14.728 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27705. 'extension(4, 4) :: init: true :: relation: MDD 1909807998, 9 edges, 5 vertices, 6 tuples
19.11/7.24	c 21:57:14.729 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27738. 'extension(4, 4) :: init: true :: relation: MDD 918584437, 9 edges, 5 vertices, 6 tuples
19.11/7.24	c 21:57:14.730 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27769. 'extension(x[28][21]=[0‥4], 4) :: init: true :: relation: MDD 1726169577, 9 edges, 5 vertices, 6 tuples
19.11/7.24	c 21:57:14.730 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27803. 'extension(4, x[30][31]=[0‥4]) :: init: true :: relation: MDD 1909807998, 9 edges, 5 vertices, 6 tuples
19.11/7.24	c 21:57:14.731 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27806. 'extension(4, 4) :: init: true :: relation: MDD 1909807998, 9 edges, 5 vertices, 6 tuples
19.11/7.24	c 21:57:14.732 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27836. 'extension(4, x[31][11]=[0‥4]) :: init: true :: relation: MDD 918584437, 9 edges, 5 vertices, 6 tuples
19.11/7.24	c 21:57:14.733 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27839. 'extension(4, 4) :: init: true :: relation: MDD 918584437, 9 edges, 5 vertices, 6 tuples
19.11/7.24	c 21:57:14.733 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27873. 'extension(4, 4) :: init: true :: relation: MDD 1726169577, 9 edges, 5 vertices, 6 tuples
19.11/7.25	c 21:57:14.734 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27904. 'extension(x[30][4]=[0‥4], 4) :: init: true :: relation: MDD 1820545559, 9 edges, 5 vertices, 6 tuples
19.11/7.25	c 21:57:14.735 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27938. 'extension(x[30][15]=[0‥4], 4) :: init: true :: relation: MDD 394645908, 9 edges, 5 vertices, 6 tuples
19.11/7.25	c 21:57:14.735 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27939. 'extension(4, x[32][15]=[0‥4]) :: init: true :: relation: MDD 394645908, 9 edges, 5 vertices, 6 tuples
19.11/7.25	c 21:57:14.736 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27975. 'extension(4, 4) :: init: true :: relation: MDD 1726169577, 9 edges, 5 vertices, 6 tuples
19.11/7.25	c 21:57:14.737 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28006. 'extension(4, x[33][4]=[0‥4]) :: init: true :: relation: MDD 1820545559, 9 edges, 5 vertices, 6 tuples
19.11/7.25	c 21:57:14.738 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28009. 'extension(4, 4) :: init: true :: relation: MDD 1820545559, 9 edges, 5 vertices, 6 tuples
19.11/7.25	c 21:57:14.739 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28040. 'extension(4, x[33][21]=[0‥4]) :: init: true :: relation: MDD 1726169577, 9 edges, 5 vertices, 6 tuples
19.11/7.25	c 21:57:14.739 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28043. 'extension(4, 4) :: init: true :: relation: MDD 1726169577, 9 edges, 5 vertices, 6 tuples
19.11/7.25	c 21:57:14.741 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28074. 'extension(x[31][28]=[0‥4], 4) :: init: true :: relation: MDD 1969752268, 9 edges, 5 vertices, 6 tuples
19.11/7.25	c 21:57:14.742 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28108. 'extension(4, wk[5][4]=[0‥1]) :: init: true :: relation: MDD 1906635841, 5 edges, 3 vertices, 4 tuples
19.11/7.25	c 21:57:14.742 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28109. 'extension(x[32][5]=[0‥4], 4) :: init: true :: relation: MDD 431300939, 9 edges, 5 vertices, 6 tuples
19.11/7.25	c 21:57:14.742 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28110. 'extension(4, x[34][5]=[0‥4]) :: init: true :: relation: MDD 431300939, 9 edges, 5 vertices, 6 tuples
19.11/7.25	c 21:57:14.744 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28143. 'extension(4, wk[28][4]=[0‥1]) :: init: true :: relation: MDD 1351275110, 5 edges, 3 vertices, 4 tuples
19.11/7.25	c 21:57:14.744 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28147. 'extension(4, 4) :: init: true :: relation: MDD 1969752268, 9 edges, 5 vertices, 6 tuples
19.11/7.26	c 21:57:14.745 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28178. 'extension(4, wk[3][4]=[0‥1]) :: init: true :: relation: MDD 1372238985, 5 edges, 3 vertices, 4 tuples
19.11/7.26	c 21:57:14.745 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28179. 'extension(x[33][3]=[0‥4], 4) :: init: true :: relation: MDD 725873428, 9 edges, 5 vertices, 6 tuples
19.11/7.26	c 21:57:14.746 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28213. 'extension(4, wk[7][4]=[0‥1]) :: init: true :: relation: MDD 1725062057, 5 edges, 3 vertices, 4 tuples
19.11/7.26	c 21:57:14.746 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28214. 'extension(x[33][7]=[0‥4], 4) :: init: true :: relation: MDD 651828130, 9 edges, 5 vertices, 6 tuples
19.11/7.26	c 21:57:14.746 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28215. 'extension(4, x[35][7]=[0‥4]) :: init: true :: relation: MDD 651828130, 9 edges, 5 vertices, 6 tuples
19.11/7.26	c 21:57:14.748 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28248. 'extension(4, wk[28][4]=[0‥1]) :: init: true :: relation: MDD 560165559, 5 edges, 3 vertices, 4 tuples
19.11/7.26	c 21:57:14.748 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28252. 'extension(4, 4) :: init: true :: relation: MDD 1969752268, 9 edges, 5 vertices, 6 tuples
19.11/7.26	c 21:57:14.748 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28283. 'extension(4, wk[30][4]=[0‥1]) :: init: true :: relation: MDD 2097992252, 5 edges, 3 vertices, 4 tuples
19.11/7.26	c 21:57:14.749 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28284. 'extension(x[33][30]=[0‥4], 4) :: init: true :: relation: MDD 1864344016, 9 edges, 5 vertices, 6 tuples
19.11/7.26	c 21:57:14.749 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28285. 'extension(4, x[35][30]=[0‥4]) :: init: true :: relation: MDD 1864344016, 9 edges, 5 vertices, 6 tuples
19.11/7.26	c 21:57:14.751 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28317. 'extension(x[34][0]=[0‥4], 4) :: init: true :: relation: MDD 1512759723, 9 edges, 5 vertices, 6 tuples
19.11/7.26	c 21:57:14.752 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28354. 'extension(4, 4) :: init: true :: relation: MDD 725873428, 9 edges, 5 vertices, 6 tuples
19.11/7.26	c 21:57:14.752 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28385. 'extension(x[34][26]=[0‥4], 4) :: init: true :: relation: MDD 678858277, 9 edges, 5 vertices, 6 tuples
19.11/7.26	c 21:57:14.753 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28386. 'extension(4, x[36][26]=[0‥4]) :: init: true :: relation: MDD 678858277, 9 edges, 5 vertices, 6 tuples
19.11/7.26	c 21:57:14.754 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28422. 'extension(4, 4) :: init: true :: relation: MDD 1969752268, 9 edges, 5 vertices, 6 tuples
19.11/7.27	c 21:57:14.755 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28456. 'extension(4, 4) :: init: true :: relation: MDD 1512759723, 9 edges, 5 vertices, 6 tuples
19.11/7.27	c 21:57:14.756 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28490. 'extension(4, 4) :: init: true :: relation: MDD 725873428, 9 edges, 5 vertices, 6 tuples
19.11/7.27	c 21:57:14.756 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28521. 'extension(4, x[37][28]=[0‥4]) :: init: true :: relation: MDD 1969752268, 9 edges, 5 vertices, 6 tuples
19.11/7.27	c 21:57:14.757 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28524. 'extension(4, 4) :: init: true :: relation: MDD 1969752268, 9 edges, 5 vertices, 6 tuples
19.11/7.27	c 21:57:14.758 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28555. 'extension(4, x[38][0]=[0‥4]) :: init: true :: relation: MDD 1512759723, 9 edges, 5 vertices, 6 tuples
19.11/7.27	c 21:57:14.759 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28558. 'extension(4, 4) :: init: true :: relation: MDD 1512759723, 9 edges, 5 vertices, 6 tuples
19.11/7.27	c 21:57:14.760 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28592. 'extension(4, 4) :: init: true :: relation: MDD 725873428, 9 edges, 5 vertices, 6 tuples
19.11/7.27	c 21:57:14.760 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28623. 'extension(x[36][18]=[0‥4], 4) :: init: true :: relation: MDD 1746061516, 9 edges, 5 vertices, 6 tuples
19.11/7.27	c 21:57:14.761 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28657. 'extension(x[37][2]=[0‥4], 4) :: init: true :: relation: MDD 1327714567, 9 edges, 5 vertices, 6 tuples
19.11/7.27	c 21:57:14.762 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28658. 'extension(4, x[39][2]=[0‥4]) :: init: true :: relation: MDD 1327714567, 9 edges, 5 vertices, 6 tuples
19.11/7.27	c 21:57:14.763 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28691. 'extension(4, x[39][3]=[0‥4]) :: init: true :: relation: MDD 725873428, 9 edges, 5 vertices, 6 tuples
19.11/7.27	c 21:57:14.763 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28694. 'extension(4, 4) :: init: true :: relation: MDD 725873428, 9 edges, 5 vertices, 6 tuples
19.11/7.27	c 21:57:14.764 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28725. 'extension(4, x[39][18]=[0‥4]) :: init: true :: relation: MDD 1746061516, 9 edges, 5 vertices, 6 tuples
19.11/7.28	c 21:57:14.765 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28728. 'extension(4, 4) :: init: true :: relation: MDD 1746061516, 9 edges, 5 vertices, 6 tuples
19.11/7.28	c 21:57:14.767 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28759. 'extension(x[38][1]=[0‥4], 4) :: init: true :: relation: MDD 556773329, 9 edges, 5 vertices, 6 tuples
19.11/7.28	c 21:57:14.767 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28760. 'extension(4, x[40][1]=[0‥4]) :: init: true :: relation: MDD 556773329, 9 edges, 5 vertices, 6 tuples
19.11/7.28	c 21:57:14.768 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28793. 'extension(4, wk[11][5]=[0‥1]) :: init: true :: relation: MDD 922150177, 5 edges, 3 vertices, 4 tuples
19.11/7.28	c 21:57:14.769 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28794. 'extension(x[39][11]=[0‥4], 4) :: init: true :: relation: MDD 918584437, 9 edges, 5 vertices, 6 tuples
19.11/7.28	c 21:57:14.769 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28795. 'extension(4, x[41][11]=[0‥4]) :: init: true :: relation: MDD 918584437, 9 edges, 5 vertices, 6 tuples
19.11/7.28	c 21:57:14.771 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28828. 'extension(4, wk[29][5]=[0‥1]) :: init: true :: relation: MDD 12302064, 5 edges, 3 vertices, 4 tuples
19.11/7.28	c 21:57:14.771 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28829. 'extension(x[39][29]=[0‥4], 4) :: init: true :: relation: MDD 1360897103, 9 edges, 5 vertices, 6 tuples
19.11/7.28	c 21:57:14.772 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28863. 'extension(4, wk[10][5]=[0‥1]) :: init: true :: relation: MDD 410033330, 5 edges, 3 vertices, 4 tuples
19.11/7.28	c 21:57:14.772 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28864. 'extension(x[40][10]=[0‥4], 4) :: init: true :: relation: MDD 1518022811, 9 edges, 5 vertices, 6 tuples
19.11/7.28	c 21:57:14.773 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28898. 'extension(4, wk[20][5]=[0‥1]) :: init: true :: relation: MDD 1278790934, 5 edges, 3 vertices, 4 tuples
19.11/7.28	c 21:57:14.773 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28899. 'extension(x[40][20]=[0‥4], 4) :: init: true :: relation: MDD 656844049, 9 edges, 5 vertices, 6 tuples
19.11/7.28	c 21:57:14.774 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28933. 'extension(4, wk[25][5]=[0‥1]) :: init: true :: relation: MDD 605244604, 5 edges, 3 vertices, 4 tuples
19.11/7.28	c 21:57:14.774 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28934. 'extension(x[40][25]=[0‥4], 4) :: init: true :: relation: MDD 1572516402, 9 edges, 5 vertices, 6 tuples
19.11/7.28	c 21:57:14.775 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28968. 'extension(4, wk[29][5]=[0‥1]) :: init: true :: relation: MDD 735639515, 5 edges, 3 vertices, 4 tuples
19.11/7.29	c 21:57:14.775 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28972. 'extension(4, 4) :: init: true :: relation: MDD 1360897103, 9 edges, 5 vertices, 6 tuples
19.11/7.29	c 21:57:14.776 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29003. 'extension(4, x[43][10]=[0‥4]) :: init: true :: relation: MDD 1518022811, 9 edges, 5 vertices, 6 tuples
19.11/7.29	c 21:57:14.776 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29006. 'extension(4, 4) :: init: true :: relation: MDD 1518022811, 9 edges, 5 vertices, 6 tuples
19.11/7.29	c 21:57:14.777 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29037. 'extension(4, x[43][20]=[0‥4]) :: init: true :: relation: MDD 656844049, 9 edges, 5 vertices, 6 tuples
19.11/7.29	c 21:57:14.778 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29040. 'extension(4, 4) :: init: true :: relation: MDD 656844049, 9 edges, 5 vertices, 6 tuples
19.11/7.29	c 21:57:14.779 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29074. 'extension(4, 4) :: init: true :: relation: MDD 1572516402, 9 edges, 5 vertices, 6 tuples
19.11/7.29	c 21:57:14.780 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29105. 'extension(4, x[43][29]=[0‥4]) :: init: true :: relation: MDD 1360897103, 9 edges, 5 vertices, 6 tuples
19.11/7.29	c 21:57:14.780 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29108. 'extension(4, 4) :: init: true :: relation: MDD 1360897103, 9 edges, 5 vertices, 6 tuples
19.11/7.29	c 21:57:14.781 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29139. 'extension(x[42][6]=[0‥4], 4) :: init: true :: relation: MDD 322100932, 9 edges, 5 vertices, 6 tuples
19.11/7.29	c 21:57:14.782 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29173. 'extension(x[42][16]=[0‥4], 4) :: init: true :: relation: MDD 1985362663, 9 edges, 5 vertices, 6 tuples
19.11/7.29	c 21:57:14.783 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29207. 'extension(4, x[44][25]=[0‥4]) :: init: true :: relation: MDD 1572516402, 9 edges, 5 vertices, 6 tuples
19.11/7.29	c 21:57:14.783 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29210. 'extension(4, 4) :: init: true :: relation: MDD 1572516402, 9 edges, 5 vertices, 6 tuples
19.11/7.30	c 21:57:14.785 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29241. 'extension(4, x[45][6]=[0‥4]) :: init: true :: relation: MDD 322100932, 9 edges, 5 vertices, 6 tuples
19.44/7.30	c 21:57:14.785 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29244. 'extension(4, 4) :: init: true :: relation: MDD 322100932, 9 edges, 5 vertices, 6 tuples
19.44/7.30	c 21:57:14.787 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29275. 'extension(x[43][15]=[0‥4], 4) :: init: true :: relation: MDD 394645908, 9 edges, 5 vertices, 6 tuples
19.44/7.30	c 21:57:14.787 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29309. 'extension(4, x[45][16]=[0‥4]) :: init: true :: relation: MDD 1985362663, 9 edges, 5 vertices, 6 tuples
19.44/7.30	c 21:57:14.788 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29312. 'extension(4, 4) :: init: true :: relation: MDD 1985362663, 9 edges, 5 vertices, 6 tuples
19.44/7.30	c 21:57:14.789 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29346. 'extension(4, 4) :: init: true :: relation: MDD 394645908, 9 edges, 5 vertices, 6 tuples
19.44/7.30	c 21:57:14.790 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29380. 'extension(4, 4) :: init: true :: relation: MDD 394645908, 9 edges, 5 vertices, 6 tuples
19.44/7.30	c 21:57:14.791 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29411. 'extension(4, wk[15][6]=[0‥1]) :: init: true :: relation: MDD 994084545, 5 edges, 3 vertices, 4 tuples
19.44/7.30	c 21:57:14.792 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29412. 'extension(4, x[48][15]=[0‥4]) :: init: true :: relation: MDD 394645908, 9 edges, 5 vertices, 6 tuples
19.44/7.30	c 21:57:14.792 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29415. 'extension(4, 4) :: init: true :: relation: MDD 394645908, 9 edges, 5 vertices, 6 tuples
19.44/7.30	c 21:57:14.794 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29446. 'extension(4, wk[4][6]=[0‥1]) :: init: true :: relation: MDD 1336437944, 5 edges, 3 vertices, 4 tuples
19.44/7.30	c 21:57:14.794 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29447. 'extension(x[47][4]=[0‥4], 4) :: init: true :: relation: MDD 1820545559, 9 edges, 5 vertices, 6 tuples
19.44/7.30	c 21:57:14.794 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29448. 'extension(4, x[49][4]=[0‥4]) :: init: true :: relation: MDD 1820545559, 9 edges, 5 vertices, 6 tuples
19.44/7.31	c 21:57:14.796 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29481. 'extension(4, wk[8][6]=[0‥1]) :: init: true :: relation: MDD 837790893, 5 edges, 3 vertices, 4 tuples
19.44/7.31	c 21:57:14.796 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29482. 'extension(x[47][8]=[0‥4], 4) :: init: true :: relation: MDD 683211146, 9 edges, 5 vertices, 6 tuples
19.44/7.31	c 21:57:14.797 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29516. 'extension(4, wk[17][6]=[0‥1]) :: init: true :: relation: MDD 1510333744, 5 edges, 3 vertices, 4 tuples
19.44/7.31	c 21:57:14.797 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29517. 'extension(x[47][17]=[0‥4], 4) :: init: true :: relation: MDD 1978141335, 9 edges, 5 vertices, 6 tuples
19.44/7.31	c 21:57:14.798 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29551. 'extension(x[48][2]=[0‥4], 4) :: init: true :: relation: MDD 1327714567, 9 edges, 5 vertices, 6 tuples
19.44/7.31	c 21:57:14.799 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29585. 'extension(4, x[50][8]=[0‥4]) :: init: true :: relation: MDD 683211146, 9 edges, 5 vertices, 6 tuples
19.44/7.31	c 21:57:14.799 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29588. 'extension(4, 4) :: init: true :: relation: MDD 683211146, 9 edges, 5 vertices, 6 tuples
19.44/7.31	c 21:57:14.801 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29622. 'extension(4, 4) :: init: true :: relation: MDD 1978141335, 9 edges, 5 vertices, 6 tuples
19.44/7.31	c 21:57:14.802 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29653. 'extension(4, x[51][2]=[0‥4]) :: init: true :: relation: MDD 1327714567, 9 edges, 5 vertices, 6 tuples
19.44/7.31	c 21:57:14.802 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29656. 'extension(4, 4) :: init: true :: relation: MDD 1327714567, 9 edges, 5 vertices, 6 tuples
19.44/7.31	c 21:57:14.803 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29690. 'extension(4, 4) :: init: true :: relation: MDD 1978141335, 9 edges, 5 vertices, 6 tuples
19.44/7.31	c 21:57:14.804 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29724. 'extension(4, 4) :: init: true :: relation: MDD 1978141335, 9 edges, 5 vertices, 6 tuples
19.44/7.32	c 21:57:14.805 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29754. 'extension(x[51][1]=[0‥4], 4) :: init: true :: relation: MDD 556773329, 9 edges, 5 vertices, 6 tuples
19.44/7.32	c 21:57:14.805 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29755. 'extension(4, x[53][1]=[0‥4]) :: init: true :: relation: MDD 556773329, 9 edges, 5 vertices, 6 tuples
19.44/7.32	c 21:57:14.807 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29786. 'extension(x[51][12]=[0‥4], 4) :: init: true :: relation: MDD 1041552272, 9 edges, 5 vertices, 6 tuples
19.44/7.32	c 21:57:14.808 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29818. 'extension(4, x[53][17]=[0‥4]) :: init: true :: relation: MDD 1978141335, 9 edges, 5 vertices, 6 tuples
19.44/7.32	c 21:57:14.808 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29821. 'extension(4, 4) :: init: true :: relation: MDD 1978141335, 9 edges, 5 vertices, 6 tuples
19.44/7.32	c 21:57:14.809 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29850. 'extension(x[51][31]=[0‥4], 4) :: init: true :: relation: MDD 1909807998, 9 edges, 5 vertices, 6 tuples
19.44/7.32	c 21:57:14.810 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29882. 'extension(x[52][5]=[0‥4], 4) :: init: true :: relation: MDD 431300939, 9 edges, 5 vertices, 6 tuples
19.44/7.32	c 21:57:14.810 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29883. 'extension(4, x[54][5]=[0‥4]) :: init: true :: relation: MDD 431300939, 9 edges, 5 vertices, 6 tuples
19.44/7.32	c 21:57:14.812 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29916. 'extension(4, 4) :: init: true :: relation: MDD 1041552272, 9 edges, 5 vertices, 6 tuples
19.44/7.32	c 21:57:14.813 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29944. 'extension(x[52][27]=[0‥4], 4) :: init: true :: relation: MDD 73689328, 9 edges, 5 vertices, 6 tuples
19.44/7.32	c 21:57:14.813 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29975. 'extension(4, x[54][31]=[0‥4]) :: init: true :: relation: MDD 1909807998, 9 edges, 5 vertices, 6 tuples
19.44/7.32	c 21:57:14.814 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29978. 'extension(4, 4) :: init: true :: relation: MDD 1909807998, 9 edges, 5 vertices, 6 tuples
19.44/7.33	c 21:57:14.815 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30006. 'extension(4, wk[12][7]=[0‥1]) :: init: true :: relation: MDD 214560653, 5 edges, 3 vertices, 4 tuples
19.44/7.33	c 21:57:14.815 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30007. 'extension(4, x[55][12]=[0‥4]) :: init: true :: relation: MDD 1041552272, 9 edges, 5 vertices, 6 tuples
19.44/7.33	c 21:57:14.816 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30009. 'extension(4, 4) :: init: true :: relation: MDD 1041552272, 9 edges, 5 vertices, 6 tuples
19.44/7.33	c 21:57:14.817 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30036. 'extension(4, wk[27][7]=[0‥1]) :: init: true :: relation: MDD 383005108, 5 edges, 3 vertices, 4 tuples
19.44/7.33	c 21:57:14.817 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30037. 'extension(4, x[55][27]=[0‥4]) :: init: true :: relation: MDD 73689328, 9 edges, 5 vertices, 6 tuples
19.44/7.33	c 21:57:14.817 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30039. 'extension(4, 4) :: init: true :: relation: MDD 73689328, 9 edges, 5 vertices, 6 tuples
19.44/7.34	c 21:57:14.826 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30131. 'extension(x[2][1]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.34	c 21:57:14.827 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30141. 'extension(x[0][27]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.34	c 21:57:14.827 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30145. 'extension(x[1][14]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.34	c 21:57:14.828 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30151. 'extension(x[1][16]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.34	c 21:57:14.828 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30153. 'extension(x[3][16]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.34	c 21:57:14.829 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30171. 'extension(x[2][10]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.34	c 21:57:14.829 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30181. 'extension(x[4][27]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.34	c 21:57:14.830 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30191. 'extension(x[5][10]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.34	c 21:57:14.830 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30205. 'extension(x[3][13]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.34	c 21:57:14.831 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30211. 'extension(x[3][25]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.34	c 21:57:14.831 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30213. 'extension(x[5][25]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.34	c 21:57:14.832 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30227. 'extension(x[3][30]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.34	c 21:57:14.832 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30233. 'extension(wk[7][0]=[0‥1]) :: init: true :: relation: Empty MDD
19.44/7.34	c 21:57:14.832 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30235. 'extension(x[4][7]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.34	c 21:57:14.833 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30241. 'extension(wk[13][0]=[0‥1]) :: init: true :: relation: Empty MDD
19.44/7.34	c 21:57:14.833 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30247. 'extension(wk[14][0]=[0‥1]) :: init: true :: relation: Empty MDD
19.44/7.34	c 21:57:14.833 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30249. 'extension(wk[20][0]=[0‥1]) :: init: true :: relation: Empty MDD
19.44/7.34	c 21:57:14.833 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30251. 'extension(x[4][20]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.34	c 21:57:14.834 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30257. 'extension(wk[21][0]=[0‥1]) :: init: true :: relation: Empty MDD
19.44/7.34	c 21:57:14.834 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30259. 'extension(x[4][21]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.34	c 21:57:14.834 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30261. 'extension(x[6][21]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.35	c 21:57:14.835 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30275. 'extension(wk[30][0]=[0‥1]) :: init: true :: relation: Empty MDD
19.44/7.35	c 21:57:14.835 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30281. 'extension(wk[5][0]=[0‥1]) :: init: true :: relation: Empty MDD
19.44/7.35	c 21:57:14.835 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30283. 'extension(x[5][5]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.35	c 21:57:14.836 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30289. 'extension(wk[7][0]=[0‥1]) :: init: true :: relation: Empty MDD
19.44/7.35	c 21:57:14.836 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30295. 'extension(wk[13][0]=[0‥1]) :: init: true :: relation: Empty MDD
19.44/7.35	c 21:57:14.836 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30297. 'extension(wk[14][0]=[0‥1]) :: init: true :: relation: Empty MDD
19.44/7.35	c 21:57:14.836 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30299. 'extension(x[7][14]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.35	c 21:57:14.837 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30309. 'extension(wk[16][0]=[0‥1]) :: init: true :: relation: Empty MDD
19.44/7.35	c 21:57:14.837 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30311. 'extension(x[5][16]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.35	c 21:57:14.837 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30317. 'extension(wk[20][0]=[0‥1]) :: init: true :: relation: Empty MDD
19.44/7.35	c 21:57:14.838 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30323. 'extension(wk[22][0]=[0‥1]) :: init: true :: relation: Empty MDD
19.44/7.35	c 21:57:14.838 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30325. 'extension(x[5][22]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.35	c 21:57:14.838 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30331. 'extension(wk[30][0]=[0‥1]) :: init: true :: relation: Empty MDD
19.44/7.35	c 21:57:14.839 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30337. 'extension(x[8][7]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.35	c 21:57:14.839 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30347. 'extension(x[8][13]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.35	c 21:57:14.839 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30357. 'extension(x[8][16]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.35	c 21:57:14.840 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30371. 'extension(x[8][20]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.35	c 21:57:14.841 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30385. 'extension(x[8][30]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.35	c 21:57:14.841 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30395. 'extension(x[9][5]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.35	c 21:57:14.842 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30405. 'extension(x[7][19]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.35	c 21:57:14.842 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30415. 'extension(x[8][23]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.35	c 21:57:14.842 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30421. 'extension(x[11][22]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.35	c 21:57:14.843 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30435. 'extension(x[9][26]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.35	c 21:57:14.843 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30437. 'extension(x[11][26]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.35	c 21:57:14.844 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30451. 'extension(x[12][19]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.35	c 21:57:14.844 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30461. 'extension(wk[13][1]=[0‥1]) :: init: true :: relation: Empty MDD
19.44/7.36	c 21:57:14.845 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30463. 'extension(x[11][13]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.36	c 21:57:14.845 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30465. 'extension(x[13][13]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.36	c 21:57:14.845 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30479. 'extension(wk[23][1]=[0‥1]) :: init: true :: relation: Empty MDD
19.44/7.36	c 21:57:14.846 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30481. 'extension(wk[2][1]=[0‥1]) :: init: true :: relation: Empty MDD
19.44/7.36	c 21:57:14.846 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30483. 'extension(x[12][2]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.36	c 21:57:14.846 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30489. 'extension(wk[23][1]=[0‥1]) :: init: true :: relation: Empty MDD
19.44/7.36	c 21:57:14.846 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30491. 'extension(x[14][23]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.36	c 21:57:14.847 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30501. 'extension(x[15][2]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.36	c 21:57:14.847 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30515. 'extension(x[13][6]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.36	c 21:57:14.848 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30525. 'extension(x[14][7]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.36	c 21:57:14.848 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30527. 'extension(x[16][7]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.36	c 21:57:14.849 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30541. 'extension(x[14][10]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.36	c 21:57:14.849 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30543. 'extension(x[16][10]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.36	c 21:57:14.849 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30557. 'extension(x[17][6]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.36	c 21:57:14.850 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30567. 'extension(x[17][9]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.36	c 21:57:14.850 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30573. 'extension(wk[4][2]=[0‥1]) :: init: true :: relation: Empty MDD
19.44/7.36	c 21:57:14.850 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30575. 'extension(x[18][4]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.36	c 21:57:14.851 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30581. 'extension(wk[8][2]=[0‥1]) :: init: true :: relation: Empty MDD
19.44/7.36	c 21:57:14.851 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30583. 'extension(x[18][8]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.36	c 21:57:14.851 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30589. 'extension(wk[9][2]=[0‥1]) :: init: true :: relation: Empty MDD
19.44/7.36	c 21:57:14.851 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30595. 'extension(wk[4][2]=[0‥1]) :: init: true :: relation: Empty MDD
19.44/7.36	c 21:57:14.852 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30597. 'extension(x[21][4]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.36	c 21:57:14.852 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30611. 'extension(wk[8][2]=[0‥1]) :: init: true :: relation: Empty MDD
19.44/7.37	c 21:57:14.853 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30617. 'extension(wk[9][2]=[0‥1]) :: init: true :: relation: Empty MDD
19.44/7.37	c 21:57:14.853 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30619. 'extension(wk[12][2]=[0‥1]) :: init: true :: relation: Empty MDD
19.44/7.37	c 21:57:14.853 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30621. 'extension(x[19][12]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.37	c 21:57:14.853 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30627. 'extension(wk[19][2]=[0‥1]) :: init: true :: relation: Empty MDD
19.44/7.37	c 21:57:14.853 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30629. 'extension(x[19][19]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.37	c 21:57:14.854 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30631. 'extension(x[21][19]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.37	c 21:57:14.854 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30645. 'extension(x[22][8]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.37	c 21:57:14.855 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30655. 'extension(x[22][9]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.37	c 21:57:14.855 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30665. 'extension(x[22][12]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.37	c 21:57:14.856 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30679. 'extension(x[20][18]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.37	c 21:57:14.856 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30689. 'extension(x[21][25]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.37	c 21:57:14.856 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30691. 'extension(x[23][25]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.37	c 21:57:14.857 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30705. 'extension(x[24][18]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.37	c 21:57:14.858 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30715. 'extension(x[23][0]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.37	c 21:57:14.858 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30721. 'extension(x[23][9]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.37	c 21:57:14.858 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30723. 'extension(x[25][9]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.37	c 21:57:14.859 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30737. 'extension(x[23][24]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.37	c 21:57:14.859 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30743. 'extension(x[26][0]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.37	c 21:57:14.859 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30757. 'extension(x[24][1]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.37	c 21:57:14.860 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30759. 'extension(x[26][1]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.37	c 21:57:14.860 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30777. 'extension(x[24][26]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.37	c 21:57:14.861 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30783. 'extension(x[24][29]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.37	c 21:57:14.861 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30789. 'extension(wk[24][3]=[0‥1]) :: init: true :: relation: Empty MDD
19.44/7.37	c 21:57:14.861 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30791. 'extension(wk[26][3]=[0‥1]) :: init: true :: relation: Empty MDD
19.44/7.37	c 21:57:14.861 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30797. 'extension(wk[29][3]=[0‥1]) :: init: true :: relation: Empty MDD
19.44/7.37	c 21:57:14.862 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30799. 'extension(x[27][29]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.37	c 21:57:14.862 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30813. 'extension(wk[11][3]=[0‥1]) :: init: true :: relation: Empty MDD
19.44/7.37	c 21:57:14.862 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30815. 'extension(x[26][11]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.37	c 21:57:14.863 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30821. 'extension(wk[24][3]=[0‥1]) :: init: true :: relation: Empty MDD
19.44/7.37	c 21:57:14.863 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30823. 'extension(wk[26][3]=[0‥1]) :: init: true :: relation: Empty MDD
19.44/7.37	c 21:57:14.863 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30825. 'extension(x[28][26]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.37	c 21:57:14.863 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30835. 'extension(wk[31][3]=[0‥1]) :: init: true :: relation: Empty MDD
19.44/7.37	c 21:57:14.864 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30837. 'extension(x[26][31]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.38	c 21:57:14.864 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30847. 'extension(x[29][24]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.38	c 21:57:14.865 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30861. 'extension(x[28][21]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.38	c 21:57:14.865 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30867. 'extension(x[30][31]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.38	c 21:57:14.866 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30877. 'extension(x[31][11]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.38	c 21:57:14.866 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30891. 'extension(x[30][4]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.38	c 21:57:14.867 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30897. 'extension(x[30][15]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.38	c 21:57:14.867 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30899. 'extension(x[32][15]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.38	c 21:57:14.867 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30913. 'extension(x[33][4]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.38	c 21:57:14.868 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30927. 'extension(x[33][21]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.38	c 21:57:14.869 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30937. 'extension(x[31][28]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.38	c 21:57:14.869 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30943. 'extension(wk[5][4]=[0‥1]) :: init: true :: relation: Empty MDD
19.44/7.38	c 21:57:14.869 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30945. 'extension(x[32][5]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.38	c 21:57:14.869 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30947. 'extension(x[34][5]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.38	c 21:57:14.870 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30961. 'extension(wk[28][4]=[0‥1]) :: init: true :: relation: Empty MDD
19.44/7.38	c 21:57:14.870 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30967. 'extension(wk[3][4]=[0‥1]) :: init: true :: relation: Empty MDD
19.44/7.38	c 21:57:14.870 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30969. 'extension(x[33][3]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.38	c 21:57:14.871 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30975. 'extension(wk[7][4]=[0‥1]) :: init: true :: relation: Empty MDD
19.44/7.38	c 21:57:14.871 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30977. 'extension(x[33][7]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.38	c 21:57:14.871 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30979. 'extension(x[35][7]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.38	c 21:57:14.871 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30993. 'extension(wk[28][4]=[0‥1]) :: init: true :: relation: Empty MDD
19.44/7.38	c 21:57:14.872 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30995. 'extension(wk[30][4]=[0‥1]) :: init: true :: relation: Empty MDD
19.44/7.38	c 21:57:14.872 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30997. 'extension(x[33][30]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.38	c 21:57:14.872 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30999. 'extension(x[35][30]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.38	c 21:57:14.873 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31013. 'extension(x[34][0]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.38	c 21:57:14.873 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31023. 'extension(x[34][26]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.38	c 21:57:14.873 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31025. 'extension(x[36][26]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.38	c 21:57:14.874 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31043. 'extension(x[37][28]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.38	c 21:57:14.874 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31053. 'extension(x[38][0]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.39	c 21:57:14.875 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31063. 'extension(x[36][18]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.39	c 21:57:14.875 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31069. 'extension(x[37][2]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.39	c 21:57:14.875 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31071. 'extension(x[39][2]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.39	c 21:57:14.876 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31085. 'extension(x[39][3]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.39	c 21:57:14.877 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31095. 'extension(x[39][18]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.39	c 21:57:14.877 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31109. 'extension(x[38][1]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.39	c 21:57:14.877 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31111. 'extension(x[40][1]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.39	c 21:57:14.878 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31125. 'extension(wk[11][5]=[0‥1]) :: init: true :: relation: Empty MDD
19.44/7.39	c 21:57:14.878 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31127. 'extension(x[39][11]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.39	c 21:57:14.878 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31129. 'extension(x[41][11]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.39	c 21:57:14.879 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31143. 'extension(wk[29][5]=[0‥1]) :: init: true :: relation: Empty MDD
19.44/7.39	c 21:57:14.879 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31145. 'extension(x[39][29]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.39	c 21:57:14.879 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31151. 'extension(wk[10][5]=[0‥1]) :: init: true :: relation: Empty MDD
19.44/7.39	c 21:57:14.880 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31153. 'extension(x[40][10]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.39	c 21:57:14.880 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31159. 'extension(wk[20][5]=[0‥1]) :: init: true :: relation: Empty MDD
19.44/7.39	c 21:57:14.880 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31161. 'extension(x[40][20]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.39	c 21:57:14.880 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31167. 'extension(wk[25][5]=[0‥1]) :: init: true :: relation: Empty MDD
19.44/7.39	c 21:57:14.880 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31169. 'extension(x[40][25]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.39	c 21:57:14.881 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31175. 'extension(wk[29][5]=[0‥1]) :: init: true :: relation: Empty MDD
19.44/7.39	c 21:57:14.881 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31181. 'extension(x[43][10]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.39	c 21:57:14.882 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31195. 'extension(x[43][20]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.39	c 21:57:14.882 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31213. 'extension(x[43][29]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.39	c 21:57:14.883 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31223. 'extension(x[42][6]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.39	c 21:57:14.883 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31229. 'extension(x[42][16]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.39	c 21:57:14.883 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31235. 'extension(x[44][25]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.39	c 21:57:14.884 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31245. 'extension(x[45][6]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.40	c 21:57:14.885 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31259. 'extension(x[43][15]=[0‥4]) :: init: true :: relation: Empty MDD
19.44/7.40	c 21:57:14.885 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31265. 'extension(x[45][16]=[0‥4]) :: init: true :: relation: Empty MDD
19.76/7.40	c 21:57:14.886 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31283. 'extension(wk[15][6]=[0‥1]) :: init: true :: relation: Empty MDD
19.76/7.40	c 21:57:14.886 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31285. 'extension(x[48][15]=[0‥4]) :: init: true :: relation: Empty MDD
19.76/7.40	c 21:57:14.886 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31295. 'extension(wk[4][6]=[0‥1]) :: init: true :: relation: Empty MDD
19.76/7.40	c 21:57:14.886 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31297. 'extension(x[47][4]=[0‥4]) :: init: true :: relation: Empty MDD
19.76/7.40	c 21:57:14.887 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31299. 'extension(x[49][4]=[0‥4]) :: init: true :: relation: Empty MDD
19.76/7.40	c 21:57:14.887 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31313. 'extension(wk[8][6]=[0‥1]) :: init: true :: relation: Empty MDD
19.76/7.40	c 21:57:14.887 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31315. 'extension(x[47][8]=[0‥4]) :: init: true :: relation: Empty MDD
19.76/7.40	c 21:57:14.888 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31321. 'extension(wk[17][6]=[0‥1]) :: init: true :: relation: Empty MDD
19.76/7.40	c 21:57:14.888 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31323. 'extension(x[47][17]=[0‥4]) :: init: true :: relation: Empty MDD
19.76/7.41	c 21:57:14.888 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31329. 'extension(x[48][2]=[0‥4]) :: init: true :: relation: Empty MDD
19.76/7.41	c 21:57:14.888 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31335. 'extension(x[50][8]=[0‥4]) :: init: true :: relation: Empty MDD
19.76/7.41	c 21:57:14.889 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31353. 'extension(x[51][2]=[0‥4]) :: init: true :: relation: Empty MDD
19.76/7.41	c 21:57:14.890 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31367. 'extension(x[51][1]=[0‥4]) :: init: true :: relation: Empty MDD
19.76/7.41	c 21:57:14.890 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31369. 'extension(x[53][1]=[0‥4]) :: init: true :: relation: Empty MDD
19.76/7.41	c 21:57:14.891 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31383. 'extension(x[51][12]=[0‥4]) :: init: true :: relation: Empty MDD
19.76/7.41	c 21:57:14.891 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31389. 'extension(x[53][17]=[0‥4]) :: init: true :: relation: Empty MDD
19.76/7.41	c 21:57:14.891 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31399. 'extension(x[51][31]=[0‥4]) :: init: true :: relation: Empty MDD
19.76/7.41	c 21:57:14.892 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31405. 'extension(x[52][5]=[0‥4]) :: init: true :: relation: Empty MDD
19.76/7.41	c 21:57:14.892 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31407. 'extension(x[54][5]=[0‥4]) :: init: true :: relation: Empty MDD
19.76/7.41	c 21:57:14.893 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31425. 'extension(x[52][27]=[0‥4]) :: init: true :: relation: Empty MDD
19.76/7.41	c 21:57:14.893 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31431. 'extension(x[54][31]=[0‥4]) :: init: true :: relation: Empty MDD
19.76/7.41	c 21:57:14.893 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31445. 'extension(wk[12][7]=[0‥1]) :: init: true :: relation: Empty MDD
19.76/7.41	c 21:57:14.894 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31447. 'extension(x[55][12]=[0‥4]) :: init: true :: relation: Empty MDD
19.76/7.41	c 21:57:14.894 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31455. 'extension(wk[27][7]=[0‥1]) :: init: true :: relation: Empty MDD
19.76/7.41	c 21:57:14.894 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31457. 'extension(x[55][27]=[0‥4]) :: init: true :: relation: Empty MDD
252.04/227.11	Exception in thread "main" java.util.concurrent.TimeoutException
252.04/227.12		at concrete.MAC.mac(MAC.scala:188)
252.04/227.12		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
252.04/227.12		at scala.util.Try$.apply(Try.scala:209)
252.04/227.12		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
252.04/227.12		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
252.04/227.12		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
252.04/227.12		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
252.04/227.12		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
252.04/227.12		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
252.04/227.12		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
252.04/227.12		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
252.04/227.12		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
252.04/227.12		at concrete.MAC.oneRun(MAC.scala:253)
252.04/227.12		at concrete.MAC.nextSolution(MAC.scala:272)
252.04/227.12		at concrete.MAC.$anonfun$nextSolution$5(MAC.scala:336)
252.04/227.12		at concrete.ProblemState.map(ProblemState.scala:221)
252.04/227.12		at concrete.ProblemState.map(ProblemState.scala:204)
252.04/227.12		at concrete.MAC.nextSolution(MAC.scala:334)
252.04/227.12		at concrete.Solver.hasNext(Solver.scala:166)
252.04/227.12		at scala.collection.Iterator.foreach(Iterator.scala:944)
252.04/227.12		at scala.collection.Iterator.foreach$(Iterator.scala:944)
252.04/227.12		at concrete.Solver.foreach(Solver.scala:68)
252.04/227.12		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
252.04/227.12		at scala.util.Success.$anonfun$map$1(Try.scala:251)
252.04/227.12		at scala.util.Success.map(Try.scala:209)
252.04/227.12		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
252.04/227.12		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
252.04/227.12		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
252.04/227.12		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
252.04/227.12		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
252.04/227.12		at scala.Function0.apply$mcV$sp(Function0.scala:34)
252.04/227.12		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
252.04/227.12		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
252.04/227.12		at scala.App.$anonfun$main$1$adapted(App.scala:76)
252.04/227.12		at scala.collection.immutable.List.foreach(List.scala:389)
252.04/227.12		at scala.App.main(App.scala:76)
252.04/227.12		at scala.App.main$(App.scala:74)
252.04/227.12		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
252.04/227.12		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
252.04/227.12	s UNKNOWN

Verifier Data


Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (10487 MiB free)
  memory of node 1: 16384 MiB (12346 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302436-1532894227/watcher-4302436-1532894227 -o /tmp/evaluation-result-4302436-1532894227/solver-4302436-1532894227 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532892903-13712 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=594328557 HOME/instance-4302436-1532894227.xml 

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

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


[startup+0.100166 s]*
/proc/loadavg: 1.62 1.69 1.60 3/206 15598
/proc/meminfo: memFree=23375280/32770624 swapFree=67108860/67108860
[pid=15541] ppid=15538 vsize=10005480 memory=16816 CPUtime=0.08 cores=0,2,4,6
/proc/15541/stat : 15541 (java) S 15538 15541 12183 0 -1 1077944320 4364 12844 0 0 1 0 4 3 20 0 6 0 106985882 10245611520 4204 33554432000 4194304 4196468 140721915810400 140721915792944 139882542730999 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
/proc/15541/statm: 2501370 4204 1935 1 0 2489808 0
[pid=15541/tid=15594] ppid=15538 vsize=10005480 memory=4279135704013571469 CPUtime=0.07 cores=0,2,4,6
/proc/15541/task/15594/stat : 15594 (java) R 15538 15541 12183 0 -1 4202560 2198 12844 0 0 0 0 4 3 20 0 6 0 106985891 10245611520 4270 33554432000 4194304 4196468 140721915810400 139882514567760 139882528413525 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15595] ppid=15538 vsize=10005480 memory=-7522837583129502606 CPUtime=0.07 cores=0,2,4,6
/proc/15541/task/15595/stat : 15595 (java) S 15538 15541 12183 0 -1 1077944384 1 12844 0 0 0 0 4 3 20 0 6 0 106985892 10245611520 4270 33554432000 4194304 4196468 140721915810400 139882546973200 139882542741205 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15596] ppid=15538 vsize=10005480 memory=140331876816512 CPUtime=0.07 cores=0,2,4,6
/proc/15541/task/15596/stat : 15596 (java) S 15538 15541 12183 0 -1 1077944384 1 12844 0 0 0 0 4 3 20 0 6 0 106985892 10245611520 4270 33554432000 4194304 4196468 140721915810400 139882401692304 139882542741205 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15597] ppid=15538 vsize=10005480 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15541/task/15597/stat : 15597 (java) S 15538 15541 12183 0 -1 1077944384 2 12844 0 0 0 0 4 3 20 0 6 0 106985892 10245611520 4270 33554432000 4194304 4196468 140721915810400 139882400639248 139882542741205 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15598] ppid=15538 vsize=10005480 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/15541/task/15598/stat : 15598 (java) S 15538 15541 12183 0 -1 1077944384 2 12844 0 0 0 0 4 3 20 0 6 0 106985892 10245611520 4270 33554432000 4194304 4196468 140721915810400 139882399586704 139882542741205 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16816 KiB

[startup+0.210054 s]*
/proc/loadavg: 1.74 1.71 1.61 3/215 15607
/proc/meminfo: memFree=23351660/32770624 swapFree=67108860/67108860
[pid=15541] ppid=15538 vsize=10982744 memory=44932 CPUtime=0.25 cores=0,2,4,6
/proc/15541/stat : 15541 (java) S 15538 15541 12183 0 -1 1077944320 7921 12844 0 0 17 1 4 3 20 0 15 0 106985882 11246329856 11233 33554432000 4194304 4196468 140721915810400 140721915792944 139882542730999 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
/proc/15541/statm: 2745686 11233 2952 1 0 2708109 0
[pid=15541/tid=15594] ppid=15538 vsize=10982744 memory=-6517102902069810590 CPUtime=0.19 cores=0,2,4,6
/proc/15541/task/15594/stat : 15594 (java) R 15538 15541 12183 0 -1 4202560 4629 12844 0 0 11 1 4 3 20 0 15 0 106985891 11246329856 11365 33554432000 4194304 4196468 140721915810400 139882514527040 139882523006706 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15595] ppid=15538 vsize=10982744 memory=-9181546050914066336 CPUtime=0.07 cores=0,2,4,6
/proc/15541/task/15595/stat : 15595 (java) S 15538 15541 12183 0 -1 1077944384 1 12844 0 0 0 0 4 3 20 0 15 0 106985892 11246329856 11365 33554432000 4194304 4196468 140721915810400 139882546973200 139882542741205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15596] ppid=15538 vsize=10982744 memory=140331876816512 CPUtime=0.07 cores=0,2,4,6
/proc/15541/task/15596/stat : 15596 (java) S 15538 15541 12183 0 -1 1077944384 1 12844 0 0 0 0 4 3 20 0 15 0 106985892 11246329856 11365 33554432000 4194304 4196468 140721915810400 139882401692304 139882542741205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15597] ppid=15538 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15541/task/15597/stat : 15597 (java) S 15538 15541 12183 0 -1 1077944384 2 12844 0 0 0 0 4 3 20 0 15 0 106985892 11246329856 11365 33554432000 4194304 4196468 140721915810400 139882400639248 139882542741205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15598] ppid=15538 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/15541/task/15598/stat : 15598 (java) S 15538 15541 12183 0 -1 1077944384 2 12844 0 0 0 0 4 3 20 0 15 0 106985892 11246329856 11365 33554432000 4194304 4196468 140721915810400 139882399586704 139882542741205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15599] ppid=15538 vsize=10982744 memory=140331876816512 CPUtime=0.07 cores=0,2,4,6
/proc/15541/task/15599/stat : 15599 (java) S 15538 15541 12183 0 -1 1077944384 2 12844 0 0 0 0 4 3 20 0 15 0 106985893 11246329856 11365 33554432000 4194304 4196468 140721915810400 139881968626416 139882542742146 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15600] ppid=15538 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/15541/task/15600/stat : 15600 (java) S 15538 15541 12183 0 -1 1077944384 13 12844 0 0 0 0 4 3 20 0 15 0 106985894 11246329856 11365 33554432000 4194304 4196468 140721915810400 139881327093408 139882542741205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15601] ppid=15538 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15541/task/15601/stat : 15601 (java) S 15538 15541 12183 0 -1 1077944384 1 12844 0 0 0 0 4 3 20 0 15 0 106985894 11246329856 11365 33554432000 4194304 4196468 140721915810400 139881179243760 139882542741205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15602] ppid=15538 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15541/task/15602/stat : 15602 (java) S 15538 15541 12183 0 -1 1077944384 3 12844 0 0 0 0 4 3 20 0 15 0 106985897 11246329856 11365 33554432000 4194304 4196468 140721915810400 139880871844304 139882542749595 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15603] ppid=15538 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15541/task/15603/stat : 15603 (java) S 15538 15541 12183 0 -1 1077944384 427 12844 0 0 1 0 4 3 20 0 15 0 106985897 11246329856 11365 33554432000 4194304 4196468 140721915810400 139881967573232 139882542742146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15604] ppid=15538 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/15541/task/15604/stat : 15604 (java) S 15538 15541 12183 0 -1 1077944384 183 12844 0 0 1 0 4 3 20 0 15 0 106985897 11246329856 11365 33554432000 4194304 4196468 140721915810400 139881966520688 139882542742146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15605] ppid=15538 vsize=10982744 memory=140331876816512 CPUtime=0.1 cores=0,2,4,6
/proc/15541/task/15605/stat : 15605 (java) S 15538 15541 12183 0 -1 1077944384 615 12844 0 0 3 0 4 3 20 0 15 0 106985897 11246329856 11365 33554432000 4194304 4196468 140721915810400 139881965467632 139882542742146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15606] ppid=15538 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/15541/task/15606/stat : 15606 (java) S 15538 15541 12183 0 -1 1077944384 3 12844 0 0 0 0 4 3 20 0 15 0 106985897 11246329856 11365 33554432000 4194304 4196468 140721915810400 139880441047392 139882542741205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15607] ppid=15538 vsize=10982744 memory=140331876816512 CPUtime=0.07 cores=0,2,4,6
/proc/15541/task/15607/stat : 15607 (java) S 15538 15541 12183 0 -1 1077944384 1 12844 0 0 0 0 4 3 20 0 15 0 106985897 11246329856 11365 33554432000 4194304 4196468 140721915810400 139881964416048 139882542742146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 44932 KiB

[startup+0.310239 s]*
/proc/loadavg: 1.74 1.71 1.61 3/215 15607
/proc/meminfo: memFree=23340496/32770624 swapFree=67108860/67108860
[pid=15541] ppid=15538 vsize=10983192 memory=56132 CPUtime=0.38 cores=0,2,4,6
/proc/15541/stat : 15541 (java) S 15538 15541 12183 0 -1 1077944320 10593 12844 0 0 29 2 4 3 20 0 15 0 106985882 11246788608 14033 33554432000 4194304 4196468 140721915810400 140721915792944 139882542730999 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
/proc/15541/statm: 2745798 14033 3071 1 0 2708109 0
[pid=15541/tid=15594] ppid=15538 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/15541/task/15594/stat : 15594 (java) R 15538 15541 12183 0 -1 4202560 7134 12844 0 0 20 1 4 3 20 0 15 0 106985891 11246788608 14033 33554432000 4194304 4196468 140721915810400 139882514543008 139882542752925 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15595] ppid=15538 vsize=10983192 memory=7012755875661107280 CPUtime=0.07 cores=0,2,4,6
/proc/15541/task/15595/stat : 15595 (java) S 15538 15541 12183 0 -1 1077944384 1 12844 0 0 0 0 4 3 20 0 15 0 106985892 11246788608 14033 33554432000 4194304 4196468 140721915810400 139882546973200 139882542741205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15596] ppid=15538 vsize=10983192 memory=2076 CPUtime=0.07 cores=0,2,4,6
/proc/15541/task/15596/stat : 15596 (java) S 15538 15541 12183 0 -1 1077944384 1 12844 0 0 0 0 4 3 20 0 15 0 106985892 11246788608 14033 33554432000 4194304 4196468 140721915810400 139882401692304 139882542741205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15597] ppid=15538 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15541/task/15597/stat : 15597 (java) S 15538 15541 12183 0 -1 1077944384 2 12844 0 0 0 0 4 3 20 0 15 0 106985892 11246788608 14033 33554432000 4194304 4196468 140721915810400 139882400639248 139882542741205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15598] ppid=15538 vsize=10983192 memory=4872558044660077418 CPUtime=0.07 cores=0,2,4,6
/proc/15541/task/15598/stat : 15598 (java) S 15538 15541 12183 0 -1 1077944384 2 12844 0 0 0 0 4 3 20 0 15 0 106985892 11246788608 14033 33554432000 4194304 4196468 140721915810400 139882399586704 139882542741205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15599] ppid=15538 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15541/task/15599/stat : 15599 (java) S 15538 15541 12183 0 -1 1077944384 2 12844 0 0 0 0 4 3 20 0 15 0 106985893 11246788608 14033 33554432000 4194304 4196468 140721915810400 139881968626416 139882542742146 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15600] ppid=15538 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15541/task/15600/stat : 15600 (java) S 15538 15541 12183 0 -1 1077944384 13 12844 0 0 0 0 4 3 20 0 15 0 106985894 11246788608 14033 33554432000 4194304 4196468 140721915810400 139881327093408 139882542741205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15601] ppid=15538 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15541/task/15601/stat : 15601 (java) S 15538 15541 12183 0 -1 1077944384 1 12844 0 0 0 0 4 3 20 0 15 0 106985894 11246788608 14033 33554432000 4194304 4196468 140721915810400 139881179243760 139882542741205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15602] ppid=15538 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15541/task/15602/stat : 15602 (java) S 15538 15541 12183 0 -1 1077944384 3 12844 0 0 0 0 4 3 20 0 15 0 106985897 11246788608 14033 33554432000 4194304 4196468 140721915810400 139880871844304 139882542749595 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15603] ppid=15538 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15541/task/15603/stat : 15603 (java) S 15538 15541 12183 0 -1 1077944384 433 12844 0 0 1 0 4 3 20 0 15 0 106985897 11246788608 14033 33554432000 4194304 4196468 140721915810400 139881967573232 139882542742146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15604] ppid=15538 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15541/task/15604/stat : 15604 (java) S 15538 15541 12183 0 -1 1077944384 183 12844 0 0 1 0 4 3 20 0 15 0 106985897 11246788608 14033 33554432000 4194304 4196468 140721915810400 139881966520688 139882542742146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15605] ppid=15538 vsize=10983192 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/15541/task/15605/stat : 15605 (java) S 15538 15541 12183 0 -1 1077944384 621 12844 0 0 5 0 4 3 20 0 15 0 106985897 11246788608 14033 33554432000 4194304 4196468 140721915810400 139881965467632 139882542742146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15606] ppid=15538 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15541/task/15606/stat : 15606 (java) S 15538 15541 12183 0 -1 1077944384 3 12844 0 0 0 0 4 3 20 0 15 0 106985897 11246788608 14033 33554432000 4194304 4196468 140721915810400 139880441047392 139882542741205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15607] ppid=15538 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15541/task/15607/stat : 15607 (java) S 15538 15541 12183 0 -1 1077944384 1 12844 0 0 0 0 4 3 20 0 15 0 106985897 11246788608 14033 33554432000 4194304 4196468 140721915810400 139881964416048 139882542742146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56132 KiB

[startup+0.700807 s]
/proc/loadavg: 1.74 1.71 1.61 3/215 15607
/proc/meminfo: memFree=23329704/32770624 swapFree=67108860/67108860
[pid=15541] ppid=15538 vsize=10983192 memory=88672 CPUtime=0.99 cores=0,2,4,6
/proc/15541/stat : 15541 (java) S 15538 15541 12183 0 -1 1077944320 16768 12844 0 0 88 4 4 3 20 0 15 0 106985882 11246788608 22168 33554432000 4194304 4196468 140721915810400 140721915792944 139882542730999 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
/proc/15541/statm: 2745798 22168 3240 1 0 2708109 0
[pid=15541/tid=15594] ppid=15538 vsize=10983192 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/15541/task/15594/stat : 15594 (java) R 15538 15541 12183 0 -1 4202560 12195 12844 0 0 56 3 4 3 20 0 15 0 106985891 11246788608 22168 33554432000 4194304 4196468 140721915810400 139882514551824 139882524284304 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15595] ppid=15538 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15541/task/15595/stat : 15595 (java) S 15538 15541 12183 0 -1 1077944384 1 12844 0 0 0 0 4 3 20 0 15 0 106985892 11246788608 22168 33554432000 4194304 4196468 140721915810400 139882546973200 139882542741205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15596] ppid=15538 vsize=10983192 memory=4140 CPUtime=0.07 cores=0,2,4,6
/proc/15541/task/15596/stat : 15596 (java) S 15538 15541 12183 0 -1 1077944384 1 12844 0 0 0 0 4 3 20 0 15 0 106985892 11246788608 22168 33554432000 4194304 4196468 140721915810400 139882401692304 139882542741205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15597] ppid=15538 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15541/task/15597/stat : 15597 (java) S 15538 15541 12183 0 -1 1077944384 2 12844 0 0 0 0 4 3 20 0 15 0 106985892 11246788608 22168 33554432000 4194304 4196468 140721915810400 139882400639248 139882542741205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15598] ppid=15538 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15541/task/15598/stat : 15598 (java) S 15538 15541 12183 0 -1 1077944384 2 12844 0 0 0 0 4 3 20 0 15 0 106985892 11246788608 22168 33554432000 4194304 4196468 140721915810400 139882399586704 139882542741205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15599] ppid=15538 vsize=10983192 memory=4420 CPUtime=0.07 cores=0,2,4,6
/proc/15541/task/15599/stat : 15599 (java) S 15538 15541 12183 0 -1 1077944384 5 12844 0 0 0 0 4 3 20 0 15 0 106985893 11246788608 22168 33554432000 4194304 4196468 140721915810400 139881968626416 139882542742146 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15600] ppid=15538 vsize=10983192 memory=6628 CPUtime=0.07 cores=0,2,4,6
/proc/15541/task/15600/stat : 15600 (java) S 15538 15541 12183 0 -1 1077944384 13 12844 0 0 0 0 4 3 20 0 15 0 106985894 11246788608 22168 33554432000 4194304 4196468 140721915810400 139881327093408 139882542741205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15601] ppid=15538 vsize=10983192 memory=8836 CPUtime=0.07 cores=0,2,4,6
/proc/15541/task/15601/stat : 15601 (java) S 15538 15541 12183 0 -1 1077944384 1 12844 0 0 0 0 4 3 20 0 15 0 106985894 11246788608 22168 33554432000 4194304 4196468 140721915810400 139881179243760 139882542741205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15602] ppid=15538 vsize=10983192 memory=11044 CPUtime=0.07 cores=0,2,4,6
/proc/15541/task/15602/stat : 15602 (java) S 15538 15541 12183 0 -1 1077944384 3 12844 0 0 0 0 4 3 20 0 15 0 106985897 11246788608 22168 33554432000 4194304 4196468 140721915810400 139880871844304 139882542749595 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15603] ppid=15538 vsize=10983192 memory=13252 CPUtime=0.17 cores=0,2,4,6
/proc/15541/task/15603/stat : 15603 (java) S 15538 15541 12183 0 -1 1077944384 1115 12844 0 0 10 0 4 3 20 0 15 0 106985897 11246788608 22168 33554432000 4194304 4196468 140721915810400 139881967573232 139882542742146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15604] ppid=15538 vsize=10983192 memory=15460 CPUtime=0.14 cores=0,2,4,6
/proc/15541/task/15604/stat : 15604 (java) S 15538 15541 12183 0 -1 1077944384 543 12844 0 0 7 0 4 3 20 0 15 0 106985897 11246788608 22168 33554432000 4194304 4196468 140721915810400 139881966520688 139882542742146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15605] ppid=15538 vsize=10983192 memory=17668 CPUtime=0.2 cores=0,2,4,6
/proc/15541/task/15605/stat : 15605 (java) S 15538 15541 12183 0 -1 1077944384 690 12844 0 0 13 0 4 3 20 0 15 0 106985897 11246788608 22168 33554432000 4194304 4196468 140721915810400 139881965467632 139882542742146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15606] ppid=15538 vsize=10983192 memory=19876 CPUtime=0.07 cores=0,2,4,6
/proc/15541/task/15606/stat : 15606 (java) S 15538 15541 12183 0 -1 1077944384 3 12844 0 0 0 0 4 3 20 0 15 0 106985897 11246788608 22168 33554432000 4194304 4196468 140721915810400 139880441047392 139882542741205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15607] ppid=15538 vsize=10983192 memory=22084 CPUtime=0.07 cores=0,2,4,6
/proc/15541/task/15607/stat : 15607 (java) S 15538 15541 12183 0 -1 1077944384 1 12844 0 0 0 0 4 3 20 0 15 0 106985897 11246788608 22168 33554432000 4194304 4196468 140721915810400 139881964416048 139882542742146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88672 KiB

[startup+1.50129 s]
/proc/loadavg: 1.74 1.71 1.61 4/215 15607
/proc/meminfo: memFree=23283064/32770624 swapFree=67108860/67108860
[pid=15541] ppid=15538 vsize=10991948 memory=173552 CPUtime=3.18 cores=0,2,4,6
/proc/15541/stat : 15541 (java) S 15538 15541 12183 0 -1 1077944320 24792 12844 0 0 304 7 4 3 20 0 15 0 106985882 11255754752 43388 33554432000 4194304 4196468 140721915810400 140721915792944 139882542730999 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
/proc/15541/statm: 2747987 43388 3447 1 0 2709645 0
[pid=15541/tid=15594] ppid=15538 vsize=10991948 memory=0 CPUtime=1.45 cores=0,2,4,6
/proc/15541/task/15594/stat : 15594 (java) R 15538 15541 12183 0 -1 4202560 15014 12844 0 0 133 5 4 3 20 0 15 0 106985891 11255754752 43388 33554432000 4194304 4196468 140721915810400 139882514566360 139882068593663 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15595] ppid=15538 vsize=10991948 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15541/task/15595/stat : 15595 (java) S 15538 15541 12183 0 -1 1077944384 1 12844 0 0 0 0 4 3 20 0 15 0 106985892 11255754752 43388 33554432000 4194304 4196468 140721915810400 139882546973200 139882542741205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15596] ppid=15538 vsize=10991948 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15541/task/15596/stat : 15596 (java) S 15538 15541 12183 0 -1 1077944384 1 12844 0 0 0 0 4 3 20 0 15 0 106985892 11255754752 43388 33554432000 4194304 4196468 140721915810400 139882401692304 139882542741205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15597] ppid=15538 vsize=10991948 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15541/task/15597/stat : 15597 (java) S 15538 15541 12183 0 -1 1077944384 2 12844 0 0 0 0 4 3 20 0 15 0 106985892 11255754752 43388 33554432000 4194304 4196468 140721915810400 139882400639248 139882542741205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15598] ppid=15538 vsize=10991948 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15541/task/15598/stat : 15598 (java) S 15538 15541 12183 0 -1 1077944384 2 12844 0 0 0 0 4 3 20 0 15 0 106985892 11255754752 43388 33554432000 4194304 4196468 140721915810400 139882399586704 139882542741205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15599] ppid=15538 vsize=10991948 memory=-7965959130280075168 CPUtime=0.07 cores=0,2,4,6
/proc/15541/task/15599/stat : 15599 (java) S 15538 15541 12183 0 -1 1077944384 13 12844 0 0 0 0 4 3 20 0 15 0 106985893 11255754752 43388 33554432000 4194304 4196468 140721915810400 139881968626416 139882542742146 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15600] ppid=15538 vsize=10991948 memory=280663496403200 CPUtime=0.07 cores=0,2,4,6
/proc/15541/task/15600/stat : 15600 (java) S 15538 15541 12183 0 -1 1077944384 13 12844 0 0 0 0 4 3 20 0 15 0 106985894 11255754752 43388 33554432000 4194304 4196468 140721915810400 139881327093408 139882542741205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15601] ppid=15538 vsize=10991948 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15541/task/15601/stat : 15601 (java) S 15538 15541 12183 0 -1 1077944384 1 12844 0 0 0 0 4 3 20 0 15 0 106985894 11255754752 43388 33554432000 4194304 4196468 140721915810400 139881179243760 139882542741205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15602] ppid=15538 vsize=10991948 memory=1952 CPUtime=0.07 cores=0,2,4,6
/proc/15541/task/15602/stat : 15602 (java) S 15538 15541 12183 0 -1 1077944384 3 12844 0 0 0 0 4 3 20 0 15 0 106985897 11255754752 43388 33554432000 4194304 4196468 140721915810400 139880871844304 139882542749595 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15603] ppid=15538 vsize=10991948 memory=1232 CPUtime=0.67 cores=0,2,4,6
/proc/15541/task/15603/stat : 15603 (java) R 15538 15541 12183 0 -1 4202560 2676 12844 0 0 60 0 4 3 20 0 15 0 106985897 11255754752 43388 33554432000 4194304 4196468 140721915810400 139881967556816 139882526227783 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15604] ppid=15538 vsize=10991948 memory=8560 CPUtime=0.66 cores=0,2,4,6
/proc/15541/task/15604/stat : 15604 (java) R 15538 15541 12183 0 -1 4202560 3192 12844 0 0 59 0 4 3 20 0 15 0 106985897 11255754752 43388 33554432000 4194304 4196468 140721915810400 139881966509952 139882520563821 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15605] ppid=15538 vsize=10991948 memory=1712 CPUtime=0.56 cores=0,2,4,6
/proc/15541/task/15605/stat : 15605 (java) S 15538 15541 12183 0 -1 1077944384 1677 12844 0 0 49 0 4 3 20 0 15 0 106985897 11255754752 43388 33554432000 4194304 4196468 140721915810400 139881965467632 139882542742146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15606] ppid=15538 vsize=10991948 memory=5412 CPUtime=0.07 cores=0,2,4,6
/proc/15541/task/15606/stat : 15606 (java) S 15538 15541 12183 0 -1 1077944384 3 12844 0 0 0 0 4 3 20 0 15 0 106985897 11255754752 43388 33554432000 4194304 4196468 140721915810400 139880441047392 139882542741205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15607] ppid=15538 vsize=10991948 memory=4612 CPUtime=0.07 cores=0,2,4,6
/proc/15541/task/15607/stat : 15607 (java) S 15538 15541 12183 0 -1 1077944384 1 12844 0 0 0 0 4 3 20 0 15 0 106985897 11255754752 43388 33554432000 4194304 4196468 140721915810400 139881964416048 139882542742146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
Current children cumulated CPU time: 3.18 s
Current children cumulated vsize: 10991948 KiB

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

/proc/15541/task/15594/stat : 15594 (java) R 15538 15541 12183 0 -1 4202560 51658 12844 0 0 16100 29 4 3 20 0 15 0 106985891 11280941056 421254 33554432000 4194304 4196468 140721915810400 139882514565360 139882094464327 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15595] ppid=15538 vsize=11016544 memory=1685016 CPUtime=0.75 cores=0,2,4,6
/proc/15541/task/15595/stat : 15595 (java) S 15538 15541 12183 0 -1 1077944384 2143 12844 0 0 53 15 4 3 20 0 15 0 106985892 11280941056 421254 33554432000 4194304 4196468 140721915810400 139882546973200 139882542741205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15596] ppid=15538 vsize=11016544 memory=1711692 CPUtime=0.74 cores=0,2,4,6
/proc/15541/task/15596/stat : 15596 (java) S 15538 15541 12183 0 -1 1077944384 1344 12844 0 0 52 15 4 3 20 0 15 0 106985892 11280941056 421254 33554432000 4194304 4196468 140721915810400 139882401692304 139882542741205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15597] ppid=15538 vsize=11016544 memory=1692708 CPUtime=0.73 cores=0,2,4,6
/proc/15541/task/15597/stat : 15597 (java) S 15538 15541 12183 0 -1 1077944384 4438 12844 0 0 51 15 4 3 20 0 15 0 106985892 11280941056 421254 33554432000 4194304 4196468 140721915810400 139882400639248 139882542741205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15598] ppid=15538 vsize=11016544 memory=1701432 CPUtime=0.74 cores=0,2,4,6
/proc/15541/task/15598/stat : 15598 (java) S 15538 15541 12183 0 -1 1077944384 3118 12844 0 0 53 14 4 3 20 0 15 0 106985892 11280941056 421254 33554432000 4194304 4196468 140721915810400 139882399586704 139882542741205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15599] ppid=15538 vsize=11016544 memory=1685016 CPUtime=0.21 cores=0,2,4,6
/proc/15541/task/15599/stat : 15599 (java) S 15538 15541 12183 0 -1 1077944384 5012 12844 0 0 13 1 4 3 20 0 15 0 106985893 11280941056 421254 33554432000 4194304 4196468 140721915810400 139881968626416 139882542742146 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15600] ppid=15538 vsize=11016544 memory=1685016 CPUtime=0.07 cores=0,2,4,6
/proc/15541/task/15600/stat : 15600 (java) S 15538 15541 12183 0 -1 1077944384 22 12844 0 0 0 0 4 3 20 0 15 0 106985894 11280941056 421254 33554432000 4194304 4196468 140721915810400 139881327093472 139882542741205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15601] ppid=15538 vsize=11016544 memory=1685016 CPUtime=0.07 cores=0,2,4,6
/proc/15541/task/15601/stat : 15601 (java) S 15538 15541 12183 0 -1 1077944384 7 12844 0 0 0 0 4 3 20 0 15 0 106985894 11280941056 421254 33554432000 4194304 4196468 140721915810400 139881179243776 139882542741205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15602] ppid=15538 vsize=11016544 memory=4420 CPUtime=0.07 cores=0,2,4,6
/proc/15541/task/15602/stat : 15602 (java) S 15538 15541 12183 0 -1 1077944384 3 12844 0 0 0 0 4 3 20 0 15 0 106985897 11280941056 421254 33554432000 4194304 4196468 140721915810400 139880871844304 139882542749595 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15603] ppid=15538 vsize=11016544 memory=1685016 CPUtime=9.52 cores=0,2,4,6
/proc/15541/task/15603/stat : 15603 (java) S 15538 15541 12183 0 -1 1077944384 30507 12844 0 0 940 5 4 3 20 0 15 0 106985897 11280941056 421254 33554432000 4194304 4196468 140721915810400 139881967573232 139882542742146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15604] ppid=15538 vsize=11016544 memory=1685016 CPUtime=9.35 cores=0,2,4,6
/proc/15541/task/15604/stat : 15604 (java) S 15538 15541 12183 0 -1 1077944384 21047 12844 0 0 925 3 4 3 20 0 15 0 106985897 11280941056 421254 33554432000 4194304 4196468 140721915810400 139881966520688 139882542742146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15605] ppid=15538 vsize=11016544 memory=8560 CPUtime=3.47 cores=0,2,4,6
/proc/15541/task/15605/stat : 15605 (java) S 15538 15541 12183 0 -1 1077944384 23967 12844 0 0 334 6 4 3 20 0 15 0 106985897 11280941056 421254 33554432000 4194304 4196468 140721915810400 139881965467632 139882542742146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15606] ppid=15538 vsize=11016544 memory=1685016 CPUtime=0.07 cores=0,2,4,6
/proc/15541/task/15606/stat : 15606 (java) S 15538 15541 12183 0 -1 1077944384 3 12844 0 0 0 0 4 3 20 0 15 0 106985897 11280941056 421254 33554432000 4194304 4196468 140721915810400 139880441047392 139882542741205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15607] ppid=15538 vsize=11016544 memory=4140 CPUtime=0.15 cores=0,2,4,6
/proc/15541/task/15607/stat : 15607 (java) S 15538 15541 12183 0 -1 1077944384 271 12844 0 0 5 3 4 3 20 0 15 0 106985897 11280941056 421254 33554432000 4194304 4196468 140721915810400 139881964416048 139882542742146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
Current children cumulated CPU time: 186.5 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1685016 KiB

[startup+222.301 s]
/proc/loadavg: 1.66 1.73 1.65 3/216 15747
/proc/meminfo: memFree=22109764/32770624 swapFree=67108860/67108860
[pid=15541] ppid=15538 vsize=11016544 memory=1639876 CPUtime=247.15 cores=0,2,4,6
/proc/15541/stat : 15541 (java) S 15538 15541 12183 0 -1 1077944320 158503 12844 0 0 24595 113 4 3 20 0 15 0 106985882 11280941056 409969 33554432000 4194304 4196468 140721915810400 140721915792944 139882542730999 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
/proc/15541/statm: 2754136 409969 3534 1 0 2715789 0
[pid=15541/tid=15594] ppid=15538 vsize=11016544 memory=1647564 CPUtime=221.18 cores=0,2,4,6
/proc/15541/task/15594/stat : 15594 (java) R 15538 15541 12183 0 -1 4202560 52732 12844 0 0 22081 30 4 3 20 0 15 0 106985891 11280941056 409969 33554432000 4194304 4196468 140721915810400 139882514566352 139882094780858 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15595] ppid=15538 vsize=11016544 memory=1641924 CPUtime=0.83 cores=0,2,4,6
/proc/15541/task/15595/stat : 15595 (java) S 15538 15541 12183 0 -1 1077944384 2184 12844 0 0 61 15 4 3 20 0 15 0 106985892 11280941056 409969 33554432000 4194304 4196468 140721915810400 139882546973200 139882542741205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15596] ppid=15538 vsize=11016544 memory=1639872 CPUtime=0.83 cores=0,2,4,6
/proc/15541/task/15596/stat : 15596 (java) S 15538 15541 12183 0 -1 1077944384 1533 12844 0 0 60 16 4 3 20 0 15 0 106985892 11280941056 409969 33554432000 4194304 4196468 140721915810400 139882401692304 139882542741205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15597] ppid=15538 vsize=11016544 memory=1639876 CPUtime=0.81 cores=0,2,4,6
/proc/15541/task/15597/stat : 15597 (java) S 15538 15541 12183 0 -1 1077944384 5604 12844 0 0 59 15 4 3 20 0 15 0 106985892 11280941056 409969 33554432000 4194304 4196468 140721915810400 139882400639248 139882542741205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15598] ppid=15538 vsize=11016544 memory=1639876 CPUtime=0.83 cores=0,2,4,6
/proc/15541/task/15598/stat : 15598 (java) S 15538 15541 12183 0 -1 1077944384 3834 12844 0 0 61 15 4 3 20 0 15 0 106985892 11280941056 409969 33554432000 4194304 4196468 140721915810400 139882399586704 139882542741205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15599] ppid=15538 vsize=11016544 memory=4140 CPUtime=0.27 cores=0,2,4,6
/proc/15541/task/15599/stat : 15599 (java) S 15538 15541 12183 0 -1 1077944384 5376 12844 0 0 19 1 4 3 20 0 15 0 106985893 11280941056 409969 33554432000 4194304 4196468 140721915810400 139881968626416 139882542742146 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15600] ppid=15538 vsize=11016544 memory=76 CPUtime=0.07 cores=0,2,4,6
/proc/15541/task/15600/stat : 15600 (java) S 15538 15541 12183 0 -1 1077944384 22 12844 0 0 0 0 4 3 20 0 15 0 106985894 11280941056 409969 33554432000 4194304 4196468 140721915810400 139881327093472 139882542741205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15601] ppid=15538 vsize=11016544 memory=1639876 CPUtime=0.07 cores=0,2,4,6
/proc/15541/task/15601/stat : 15601 (java) S 15538 15541 12183 0 -1 1077944384 7 12844 0 0 0 0 4 3 20 0 15 0 106985894 11280941056 409969 33554432000 4194304 4196468 140721915810400 139881179243776 139882542741205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15602] ppid=15538 vsize=11016544 memory=1639876 CPUtime=0.07 cores=0,2,4,6
/proc/15541/task/15602/stat : 15602 (java) S 15538 15541 12183 0 -1 1077944384 3 12844 0 0 0 0 4 3 20 0 15 0 106985897 11280941056 409969 33554432000 4194304 4196468 140721915810400 139880871844304 139882542749595 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15603] ppid=15538 vsize=11016544 memory=1639876 CPUtime=9.69 cores=0,2,4,6
/proc/15541/task/15603/stat : 15603 (java) S 15538 15541 12183 0 -1 1077944384 32213 12844 0 0 957 5 4 3 20 0 15 0 106985897 11280941056 409969 33554432000 4194304 4196468 140721915810400 139881967573232 139882542742146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15604] ppid=15538 vsize=11016544 memory=1639876 CPUtime=9.51 cores=0,2,4,6
/proc/15541/task/15604/stat : 15604 (java) S 15538 15541 12183 0 -1 1077944384 25186 12844 0 0 940 4 4 3 20 0 15 0 106985897 11280941056 409969 33554432000 4194304 4196468 140721915810400 139881966520688 139882542742146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15605] ppid=15538 vsize=11016544 memory=1639876 CPUtime=3.55 cores=0,2,4,6
/proc/15541/task/15605/stat : 15605 (java) S 15538 15541 12183 0 -1 1077944384 27231 12844 0 0 341 7 4 3 20 0 15 0 106985897 11280941056 409969 33554432000 4194304 4196468 140721915810400 139881965467632 139882542742146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15606] ppid=15538 vsize=11016544 memory=4140 CPUtime=0.07 cores=0,2,4,6
/proc/15541/task/15606/stat : 15606 (java) S 15538 15541 12183 0 -1 1077944384 3 12844 0 0 0 0 4 3 20 0 15 0 106985897 11280941056 409969 33554432000 4194304 4196468 140721915810400 139880441047392 139882542741205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15607] ppid=15538 vsize=11016544 memory=1639876 CPUtime=0.18 cores=0,2,4,6
/proc/15541/task/15607/stat : 15607 (java) S 15538 15541 12183 0 -1 1077944384 382 12844 0 0 7 4 4 3 20 0 15 0 106985897 11280941056 409969 33554432000 4194304 4196468 140721915810400 139881964416048 139882542742146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
Current children cumulated CPU time: 247.15 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1639876 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+227.11 s]
/proc/loadavg: 1.60 1.72 1.65 3/216 15747
/proc/meminfo: memFree=21994704/32770624 swapFree=67108860/67108860
[pid=15541] ppid=15538 vsize=11016544 memory=1639876 CPUtime=252.04 cores=0,2,4,6
/proc/15541/stat : 15541 (java) S 15538 15541 12183 0 -1 1077944320 158572 12844 0 0 25084 113 4 3 20 0 15 0 106985882 11280941056 409969 33554432000 4194304 4196468 140721915810400 140721915792944 139882542730999 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
/proc/15541/statm: 2754136 409969 3534 1 0 2715789 0
[pid=15541/tid=15594] ppid=15538 vsize=11016544 memory=1641924 CPUtime=225.96 cores=0,2,4,6
/proc/15541/task/15594/stat : 15594 (java) R 15538 15541 12183 0 -1 4202560 52748 12844 0 0 22559 30 4 3 20 0 15 0 106985891 11280941056 409969 33554432000 4194304 4196468 140721915810400 139882514565280 139882094995359 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15595] ppid=15538 vsize=11016544 memory=1639872 CPUtime=0.84 cores=0,2,4,6
/proc/15541/task/15595/stat : 15595 (java) S 15538 15541 12183 0 -1 1077944384 2187 12844 0 0 62 15 4 3 20 0 15 0 106985892 11280941056 409969 33554432000 4194304 4196468 140721915810400 139882546973200 139882542741205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15596] ppid=15538 vsize=11016544 memory=1639876 CPUtime=0.84 cores=0,2,4,6
/proc/15541/task/15596/stat : 15596 (java) S 15538 15541 12183 0 -1 1077944384 1534 12844 0 0 61 16 4 3 20 0 15 0 106985892 11280941056 409969 33554432000 4194304 4196468 140721915810400 139882401692304 139882542741205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15597] ppid=15538 vsize=11016544 memory=1639876 CPUtime=0.83 cores=0,2,4,6
/proc/15541/task/15597/stat : 15597 (java) S 15538 15541 12183 0 -1 1077944384 5604 12844 0 0 61 15 4 3 20 0 15 0 106985892 11280941056 409969 33554432000 4194304 4196468 140721915810400 139882400639248 139882542741205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15598] ppid=15538 vsize=11016544 memory=1639876 CPUtime=0.85 cores=0,2,4,6
/proc/15541/task/15598/stat : 15598 (java) S 15538 15541 12183 0 -1 1077944384 3834 12844 0 0 63 15 4 3 20 0 15 0 106985892 11280941056 409969 33554432000 4194304 4196468 140721915810400 139882399586704 139882542741205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15599] ppid=15538 vsize=11016544 memory=1639876 CPUtime=0.28 cores=0,2,4,6
/proc/15541/task/15599/stat : 15599 (java) S 15538 15541 12183 0 -1 1077944384 5381 12844 0 0 20 1 4 3 20 0 15 0 106985893 11280941056 409969 33554432000 4194304 4196468 140721915810400 139881968626416 139882542742146 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15600] ppid=15538 vsize=11016544 memory=1639876 CPUtime=0.07 cores=0,2,4,6
/proc/15541/task/15600/stat : 15600 (java) S 15538 15541 12183 0 -1 1077944384 22 12844 0 0 0 0 4 3 20 0 15 0 106985894 11280941056 409969 33554432000 4194304 4196468 140721915810400 139881327093472 139882542741205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15601] ppid=15538 vsize=11016544 memory=1639876 CPUtime=0.07 cores=0,2,4,6
/proc/15541/task/15601/stat : 15601 (java) S 15538 15541 12183 0 -1 1077944384 7 12844 0 0 0 0 4 3 20 0 15 0 106985894 11280941056 409969 33554432000 4194304 4196468 140721915810400 139881179243776 139882542741205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15602] ppid=15538 vsize=11016544 memory=288230596050944315 CPUtime=0.07 cores=0,2,4,6
/proc/15541/task/15602/stat : 15602 (java) S 15538 15541 12183 0 -1 1077944384 3 12844 0 0 0 0 4 3 20 0 15 0 106985897 11280941056 409969 33554432000 4194304 4196468 140721915810400 139880871844304 139882542749595 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15603] ppid=15538 vsize=11016544 memory=1639876 CPUtime=9.7 cores=0,2,4,6
/proc/15541/task/15603/stat : 15603 (java) S 15538 15541 12183 0 -1 1077944384 32239 12844 0 0 958 5 4 3 20 0 15 0 106985897 11280941056 409969 33554432000 4194304 4196468 140721915810400 139881967573232 139882542742146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15604] ppid=15538 vsize=11016544 memory=1296 CPUtime=9.53 cores=0,2,4,6
/proc/15541/task/15604/stat : 15604 (java) S 15538 15541 12183 0 -1 1077944384 25194 12844 0 0 942 4 4 3 20 0 15 0 106985897 11280941056 409969 33554432000 4194304 4196468 140721915810400 139881966520688 139882542742146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15605] ppid=15538 vsize=11016544 memory=1712 CPUtime=3.55 cores=0,2,4,6
/proc/15541/task/15605/stat : 15605 (java) S 15538 15541 12183 0 -1 1077944384 27241 12844 0 0 341 7 4 3 20 0 15 0 106985897 11280941056 409969 33554432000 4194304 4196468 140721915810400 139881965467632 139882542742146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15606] ppid=15538 vsize=11016544 memory=5412 CPUtime=0.07 cores=0,2,4,6
/proc/15541/task/15606/stat : 15606 (java) S 15538 15541 12183 0 -1 1077944384 3 12844 0 0 0 0 4 3 20 0 15 0 106985897 11280941056 409969 33554432000 4194304 4196468 140721915810400 139880441047392 139882542741205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15607] ppid=15538 vsize=11016544 memory=4612 CPUtime=0.18 cores=0,2,4,6
/proc/15541/task/15607/stat : 15607 (java) S 15538 15541 12183 0 -1 1077944384 382 12844 0 0 7 4 4 3 20 0 15 0 106985897 11280941056 409969 33554432000 4194304 4196468 140721915810400 139881964416048 139882542742146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
Current children cumulated CPU time: 252.04 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1639876 KiB

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

[startup+227.15 s]
# the end of solver process 15541 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=250.911 s, system=1.1948 s

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

[startup+227.11 s]
/proc/loadavg: 1.60 1.72 1.65 3/216 15747
/proc/meminfo: memFree=21994704/32770624 swapFree=67108860/67108860
[pid=15541] ppid=15538 vsize=11016544 memory=1639876 CPUtime=252.04 cores=0,2,4,6
/proc/15541/stat : 15541 (java) S 15538 15541 12183 0 -1 1077944320 158572 12844 0 0 25084 113 4 3 20 0 15 0 106985882 11280941056 409969 33554432000 4194304 4196468 140721915810400 140721915792944 139882542730999 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
/proc/15541/statm: 2754136 409969 3534 1 0 2715789 0
[pid=15541/tid=15594] ppid=15538 vsize=11016544 memory=1641924 CPUtime=225.96 cores=0,2,4,6
/proc/15541/task/15594/stat : 15594 (java) R 15538 15541 12183 0 -1 4202560 52748 12844 0 0 22559 30 4 3 20 0 15 0 106985891 11280941056 409969 33554432000 4194304 4196468 140721915810400 139882514565280 139882094995359 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15595] ppid=15538 vsize=11016544 memory=1639872 CPUtime=0.84 cores=0,2,4,6
/proc/15541/task/15595/stat : 15595 (java) S 15538 15541 12183 0 -1 1077944384 2187 12844 0 0 62 15 4 3 20 0 15 0 106985892 11280941056 409969 33554432000 4194304 4196468 140721915810400 139882546973200 139882542741205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15596] ppid=15538 vsize=11016544 memory=1639876 CPUtime=0.84 cores=0,2,4,6
/proc/15541/task/15596/stat : 15596 (java) S 15538 15541 12183 0 -1 1077944384 1534 12844 0 0 61 16 4 3 20 0 15 0 106985892 11280941056 409969 33554432000 4194304 4196468 140721915810400 139882401692304 139882542741205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15597] ppid=15538 vsize=11016544 memory=1639876 CPUtime=0.83 cores=0,2,4,6
/proc/15541/task/15597/stat : 15597 (java) S 15538 15541 12183 0 -1 1077944384 5604 12844 0 0 61 15 4 3 20 0 15 0 106985892 11280941056 409969 33554432000 4194304 4196468 140721915810400 139882400639248 139882542741205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15598] ppid=15538 vsize=11016544 memory=1639876 CPUtime=0.85 cores=0,2,4,6
/proc/15541/task/15598/stat : 15598 (java) S 15538 15541 12183 0 -1 1077944384 3834 12844 0 0 63 15 4 3 20 0 15 0 106985892 11280941056 409969 33554432000 4194304 4196468 140721915810400 139882399586704 139882542741205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15599] ppid=15538 vsize=11016544 memory=1639876 CPUtime=0.28 cores=0,2,4,6
/proc/15541/task/15599/stat : 15599 (java) S 15538 15541 12183 0 -1 1077944384 5381 12844 0 0 20 1 4 3 20 0 15 0 106985893 11280941056 409969 33554432000 4194304 4196468 140721915810400 139881968626416 139882542742146 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15600] ppid=15538 vsize=11016544 memory=1639876 CPUtime=0.07 cores=0,2,4,6
/proc/15541/task/15600/stat : 15600 (java) S 15538 15541 12183 0 -1 1077944384 22 12844 0 0 0 0 4 3 20 0 15 0 106985894 11280941056 409969 33554432000 4194304 4196468 140721915810400 139881327093472 139882542741205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15601] ppid=15538 vsize=11016544 memory=1639876 CPUtime=0.07 cores=0,2,4,6
/proc/15541/task/15601/stat : 15601 (java) S 15538 15541 12183 0 -1 1077944384 7 12844 0 0 0 0 4 3 20 0 15 0 106985894 11280941056 409969 33554432000 4194304 4196468 140721915810400 139881179243776 139882542741205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15602] ppid=15538 vsize=11016544 memory=288230596050944315 CPUtime=0.07 cores=0,2,4,6
/proc/15541/task/15602/stat : 15602 (java) S 15538 15541 12183 0 -1 1077944384 3 12844 0 0 0 0 4 3 20 0 15 0 106985897 11280941056 409969 33554432000 4194304 4196468 140721915810400 139880871844304 139882542749595 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15603] ppid=15538 vsize=11016544 memory=1639876 CPUtime=9.7 cores=0,2,4,6
/proc/15541/task/15603/stat : 15603 (java) S 15538 15541 12183 0 -1 1077944384 32239 12844 0 0 958 5 4 3 20 0 15 0 106985897 11280941056 409969 33554432000 4194304 4196468 140721915810400 139881967573232 139882542742146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15604] ppid=15538 vsize=11016544 memory=1296 CPUtime=9.53 cores=0,2,4,6
/proc/15541/task/15604/stat : 15604 (java) S 15538 15541 12183 0 -1 1077944384 25194 12844 0 0 942 4 4 3 20 0 15 0 106985897 11280941056 409969 33554432000 4194304 4196468 140721915810400 139881966520688 139882542742146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15605] ppid=15538 vsize=11016544 memory=1712 CPUtime=3.55 cores=0,2,4,6
/proc/15541/task/15605/stat : 15605 (java) S 15538 15541 12183 0 -1 1077944384 27241 12844 0 0 341 7 4 3 20 0 15 0 106985897 11280941056 409969 33554432000 4194304 4196468 140721915810400 139881965467632 139882542742146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15606] ppid=15538 vsize=11016544 memory=5412 CPUtime=0.07 cores=0,2,4,6
/proc/15541/task/15606/stat : 15606 (java) S 15538 15541 12183 0 -1 1077944384 3 12844 0 0 0 0 4 3 20 0 15 0 106985897 11280941056 409969 33554432000 4194304 4196468 140721915810400 139880441047392 139882542741205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
[pid=15541/tid=15607] ppid=15538 vsize=11016544 memory=4612 CPUtime=0.18 cores=0,2,4,6
/proc/15541/task/15607/stat : 15607 (java) S 15538 15541 12183 0 -1 1077944384 382 12844 0 0 7 4 4 3 20 0 15 0 106985897 11280941056 409969 33554432000 4194304 4196468 140721915810400 139881964416048 139882542742146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15572992 140721915816562 140721915819361 140721915819361 140721915822031 0
Current children cumulated CPU time: 252.04 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1639876 KiB

Child status: 143
Real time (s): 227.15
CPU time (s): 252.106
CPU user time (s): 250.911
CPU system time (s): 1.1948
CPU usage (%): 110.987
Max. virtual memory (cumulated for all children) (KiB): 11017312
Max. memory (cumulated for all children) (KiB): 1875976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.911
system time used= 1.1948
maximum resident set size= 1878024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 172373
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19038
involuntary context switches= 776


# summary of solver processes directly reported to runsolver:
#   pid: 15541
#   total CPU time (s): 252.106
#   total CPU user time (s): 250.911
#   total CPU system time (s): 1.1948

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.41961 second user time and 2.12389 second system time

The end

Launcher Data 

Begin job on node107 at 2018-07-29 21:57:07
IDJOB=4302436
IDBENCH=141056
IDSOLVER=2776
FILE ID=node107/4302436-1532894227
RUNJOBID= node107-1532892903-13712
PBS_JOBID= 21022519
Free space on /tmp= 60800 MiB

SOLVER NAME= Concrete 3.9.2
BENCH NAME= XCSP18/NurseRostering/NurseRostering-17_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4302436-1532894227/watcher-4302436-1532894227 -o /tmp/evaluation-result-4302436-1532894227/solver-4302436-1532894227 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532892903-13712 --watchdog 312  bin/xcsp-3-concrete -J-Xss64M -randomseed=594328557 HOME/instance-4302436-1532894227.xml

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

MD5SUM BENCH= e10494f4d2f2bb4c080233ff8f9dca75
RANDOM SEED=594328557

node107.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.40
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.40
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.40
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.40
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:        23382472 kB
MemAvailable:   30613300 kB
Buffers:          244852 kB
Cached:          7249204 kB
SwapCached:            0 kB
Active:          5170364 kB
Inactive:        3724708 kB
Active(anon):    1352668 kB
Inactive(anon):    76484 kB
Active(file):    3817696 kB
Inactive(file):  3648224 kB
Unevictable:        7164 kB
Mlocked:            7164 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             26908 kB
Writeback:            28 kB
AnonPages:       1291956 kB
Mapped:            58160 kB
Shmem:             25228 kB
Slab:             190336 kB
SReclaimable:     161484 kB
SUnreclaim:        28852 kB
KernelStack:        3584 kB
PageTables:         8260 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2632196 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1044480 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       91520 kB
DirectMap2M:    33454080 kB

Free space on /tmp at the end= 60776 MiB
End job on node107 at 2018-07-29 22:00:54