Trace number 4292994

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.8-SuperNG 2018-06-13? (TO) 2520.13 2449.04

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 

1.00/0.73	c Concrete v3.8.1528841891564 running
18.76/7.09	c 01:46:32.762 [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.76/7.09	c 01:46:32.770 [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.76/7.09	c 01:46:32.771 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24681. 'extension(4, 4) :: init: true :: relation: MDD 2095803461, 5 edges, 3 vertices, 4 tuples
18.76/7.09	c 01:46:32.772 [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.76/7.09	c 01:46:32.773 [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.76/7.10	c 01:46:32.774 [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.76/7.10	c 01:46:32.775 [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.76/7.10	c 01:46:32.777 [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.76/7.10	c 01:46:32.778 [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.76/7.10	c 01:46:32.779 [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.76/7.10	c 01:46:32.780 [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.76/7.10	c 01:46:32.781 [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.76/7.10	c 01:46:32.783 [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.76/7.10	c 01:46:32.784 [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
19.07/7.11	c 01:46:32.785 [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
19.07/7.11	c 01:46:32.786 [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
19.07/7.11	c 01:46:32.787 [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
19.07/7.11	c 01:46:32.787 [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
19.07/7.11	c 01:46:32.790 [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
19.07/7.11	c 01:46:32.791 [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
19.07/7.11	c 01:46:32.792 [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
19.07/7.11	c 01:46:32.793 [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
19.07/7.11	c 01:46:32.793 [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
19.07/7.12	c 01:46:32.794 [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
19.07/7.12	c 01:46:32.794 [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
19.07/7.12	c 01:46:32.795 [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
19.07/7.12	c 01:46:32.795 [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
19.07/7.12	c 01:46:32.796 [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
19.07/7.12	c 01:46:32.797 [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
19.07/7.12	c 01:46:32.797 [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
19.07/7.12	c 01:46:32.799 [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
19.07/7.12	c 01:46:32.800 [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
19.07/7.12	c 01:46:32.801 [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
19.07/7.12	c 01:46:32.801 [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
19.07/7.12	c 01:46:32.802 [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
19.07/7.12	c 01:46:32.802 [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
19.07/7.13	c 01:46:32.803 [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
19.07/7.13	c 01:46:32.804 [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
19.07/7.13	c 01:46:32.804 [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
19.07/7.13	c 01:46:32.805 [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
19.07/7.13	c 01:46:32.805 [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
19.07/7.13	c 01:46:32.807 [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
19.07/7.13	c 01:46:32.807 [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
19.07/7.13	c 01:46:32.808 [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
19.07/7.13	c 01:46:32.809 [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
19.07/7.13	c 01:46:32.809 [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
19.07/7.13	c 01:46:32.810 [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
19.07/7.13	c 01:46:32.811 [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
19.07/7.13	c 01:46:32.811 [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
19.07/7.13	c 01:46:32.812 [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
19.07/7.13	c 01:46:32.813 [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
19.07/7.13	c 01:46:32.813 [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
19.07/7.14	c 01:46:32.815 [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
19.07/7.14	c 01:46:32.815 [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
19.07/7.14	c 01:46:32.816 [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
19.07/7.14	c 01:46:32.817 [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
19.07/7.14	c 01:46:32.818 [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
19.07/7.14	c 01:46:32.819 [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
19.07/7.14	c 01:46:32.820 [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
19.07/7.14	c 01:46:32.821 [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
19.07/7.14	c 01:46:32.821 [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
19.07/7.15	c 01:46:32.823 [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
19.07/7.15	c 01:46:32.823 [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
19.07/7.15	c 01:46:32.824 [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
19.07/7.15	c 01:46:32.825 [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
19.07/7.15	c 01:46:32.826 [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
19.07/7.15	c 01:46:32.827 [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
19.07/7.15	c 01:46:32.827 [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
19.07/7.16	c 01:46:32.828 [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
19.07/7.16	c 01:46:32.829 [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
19.07/7.16	c 01:46:32.830 [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
19.07/7.16	c 01:46:32.831 [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
19.07/7.16	c 01:46:32.832 [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
19.07/7.16	c 01:46:32.832 [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
19.07/7.16	c 01:46:32.834 [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
19.07/7.16	c 01:46:32.835 [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
19.07/7.16	c 01:46:32.836 [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
19.07/7.16	c 01:46:32.837 [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
19.07/7.17	c 01:46:32.837 [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
19.07/7.17	c 01:46:32.837 [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
19.07/7.17	c 01:46:32.839 [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
19.07/7.17	c 01:46:32.840 [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
19.07/7.17	c 01:46:32.840 [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
19.07/7.17	c 01:46:32.841 [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
19.07/7.17	c 01:46:32.841 [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
19.07/7.17	c 01:46:32.842 [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
19.07/7.17	c 01:46:32.842 [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
19.07/7.17	c 01:46:32.844 [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
19.07/7.17	c 01:46:32.845 [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
19.07/7.17	c 01:46:32.846 [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
19.07/7.17	c 01:46:32.847 [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
19.07/7.17	c 01:46:32.848 [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
19.07/7.17	c 01:46:32.848 [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
19.07/7.17	c 01:46:32.850 [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
19.07/7.17	c 01:46:32.850 [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
19.07/7.17	c 01:46:32.852 [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
19.07/7.17	c 01:46:32.852 [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
19.07/7.17	c 01:46:32.854 [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
19.07/7.18	c 01:46:32.855 [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
19.07/7.18	c 01:46:32.855 [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
19.07/7.18	c 01:46:32.856 [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
19.07/7.18	c 01:46:32.856 [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.07/7.18	c 01:46:32.857 [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.07/7.18	c 01:46:32.857 [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.07/7.18	c 01:46:32.858 [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.07/7.18	c 01:46:32.858 [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.07/7.18	c 01:46:32.859 [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.07/7.18	c 01:46:32.860 [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.07/7.18	c 01:46:32.860 [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.07/7.18	c 01:46:32.861 [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.07/7.18	c 01:46:32.861 [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.07/7.18	c 01:46:32.861 [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.07/7.18	c 01:46:32.861 [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.07/7.18	c 01:46:32.862 [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.07/7.19	c 01:46:32.862 [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.07/7.19	c 01:46:32.863 [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.07/7.19	c 01:46:32.865 [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.07/7.19	c 01:46:32.866 [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.07/7.19	c 01:46:32.867 [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.07/7.19	c 01:46:32.867 [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.07/7.19	c 01:46:32.868 [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.07/7.19	c 01:46:32.868 [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.07/7.19	c 01:46:32.869 [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.07/7.19	c 01:46:32.871 [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.07/7.19	c 01:46:32.871 [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.07/7.19	c 01:46:32.871 [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.07/7.19	c 01:46:32.873 [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.07/7.20	c 01:46:32.874 [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.38/7.20	c 01:46:32.875 [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.38/7.20	c 01:46:32.876 [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.38/7.20	c 01:46:32.876 [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.38/7.20	c 01:46:32.882 [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.38/7.20	c 01:46:32.884 [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.38/7.21	c 01:46:32.884 [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.38/7.21	c 01:46:32.885 [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.38/7.21	c 01:46:32.885 [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.38/7.21	c 01:46:32.887 [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.38/7.21	c 01:46:32.887 [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.38/7.21	c 01:46:32.888 [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.38/7.21	c 01:46:32.889 [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.38/7.21	c 01:46:32.890 [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.38/7.21	c 01:46:32.890 [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.38/7.21	c 01:46:32.890 [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.38/7.21	c 01:46:32.891 [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.38/7.21	c 01:46:32.891 [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.38/7.21	c 01:46:32.891 [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.38/7.21	c 01:46:32.893 [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.38/7.21	c 01:46:32.893 [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.38/7.22	c 01:46:32.894 [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.38/7.22	c 01:46:32.894 [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.38/7.22	c 01:46:32.895 [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.38/7.22	c 01:46:32.895 [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.38/7.22	c 01:46:32.896 [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.38/7.22	c 01:46:32.897 [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.38/7.22	c 01:46:32.897 [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.38/7.22	c 01:46:32.898 [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.38/7.22	c 01:46:32.899 [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.38/7.22	c 01:46:32.899 [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.38/7.22	c 01:46:32.900 [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.38/7.22	c 01:46:32.901 [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.38/7.22	c 01:46:32.902 [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.38/7.22	c 01:46:32.902 [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.38/7.22	c 01:46:32.903 [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.38/7.23	c 01:46:32.904 [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.38/7.23	c 01:46:32.905 [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.38/7.23	c 01:46:32.906 [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.38/7.23	c 01:46:32.906 [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.38/7.23	c 01:46:32.907 [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.38/7.23	c 01:46:32.907 [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.38/7.23	c 01:46:32.909 [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.38/7.23	c 01:46:32.910 [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.38/7.23	c 01:46:32.910 [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.38/7.23	c 01:46:32.911 [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.38/7.23	c 01:46:32.912 [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.38/7.23	c 01:46:32.913 [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.38/7.24	c 01:46:32.914 [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.38/7.24	c 01:46:32.914 [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.38/7.24	c 01:46:32.915 [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.38/7.24	c 01:46:32.916 [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.38/7.24	c 01:46:32.916 [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.38/7.24	c 01:46:32.917 [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.38/7.24	c 01:46:32.918 [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.38/7.24	c 01:46:32.918 [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.38/7.24	c 01:46:32.919 [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.38/7.24	c 01:46:32.919 [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.38/7.24	c 01:46:32.921 [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.38/7.24	c 01:46:32.921 [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.38/7.24	c 01:46:32.921 [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.38/7.24	c 01:46:32.922 [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.38/7.25	c 01:46:32.922 [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.38/7.25	c 01:46:32.924 [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.38/7.25	c 01:46:32.925 [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.38/7.25	c 01:46:32.925 [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.38/7.25	c 01:46:32.926 [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.38/7.25	c 01:46:32.927 [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.38/7.25	c 01:46:32.928 [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.38/7.25	c 01:46:32.929 [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.38/7.25	c 01:46:32.929 [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.38/7.25	c 01:46:32.930 [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.38/7.25	c 01:46:32.931 [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.38/7.25	c 01:46:32.932 [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.38/7.25	c 01:46:32.933 [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.38/7.25	c 01:46:32.933 [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.38/7.26	c 01:46:32.934 [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.38/7.26	c 01:46:32.935 [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.38/7.26	c 01:46:32.936 [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.38/7.26	c 01:46:32.937 [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.38/7.26	c 01:46:32.938 [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.38/7.26	c 01:46:32.938 [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.38/7.26	c 01:46:32.940 [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.38/7.26	c 01:46:32.940 [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.38/7.26	c 01:46:32.942 [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.38/7.26	c 01:46:32.942 [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.38/7.26	c 01:46:32.943 [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.38/7.27	c 01:46:32.945 [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.38/7.27	c 01:46:32.945 [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.38/7.27	c 01:46:32.946 [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.38/7.27	c 01:46:32.946 [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.38/7.27	c 01:46:32.947 [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.38/7.27	c 01:46:32.947 [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.38/7.27	c 01:46:32.948 [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.38/7.27	c 01:46:32.948 [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.38/7.27	c 01:46:32.949 [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.38/7.27	c 01:46:32.949 [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.38/7.27	c 01:46:32.950 [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.38/7.27	c 01:46:32.950 [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.38/7.27	c 01:46:32.952 [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.38/7.27	c 01:46:32.952 [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.38/7.27	c 01:46:32.953 [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.38/7.28	c 01:46:32.954 [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.38/7.28	c 01:46:32.954 [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.38/7.28	c 01:46:32.956 [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.38/7.28	c 01:46:32.957 [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.38/7.28	c 01:46:32.957 [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.38/7.28	c 01:46:32.958 [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.38/7.28	c 01:46:32.959 [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.38/7.28	c 01:46:32.960 [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.38/7.28	c 01:46:32.961 [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.38/7.28	c 01:46:32.962 [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.38/7.28	c 01:46:32.962 [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.38/7.28	c 01:46:32.964 [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.38/7.29	c 01:46:32.964 [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.38/7.29	c 01:46:32.965 [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.38/7.29	c 01:46:32.965 [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.38/7.29	c 01:46:32.966 [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.38/7.29	c 01:46:32.968 [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.38/7.29	c 01:46:32.968 [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.38/7.29	c 01:46:32.968 [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.38/7.29	c 01:46:32.970 [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.38/7.29	c 01:46:32.970 [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.38/7.29	c 01:46:32.971 [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.38/7.29	c 01:46:32.971 [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.38/7.29	c 01:46:32.972 [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.38/7.29	c 01:46:32.973 [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.38/7.29	c 01:46:32.973 [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.38/7.30	c 01:46:32.974 [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.38/7.30	c 01:46:32.975 [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.71/7.30	c 01:46:32.977 [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.71/7.30	c 01:46:32.978 [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.71/7.30	c 01:46:32.979 [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.71/7.30	c 01:46:32.980 [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.71/7.30	c 01:46:32.980 [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.71/7.30	c 01:46:32.982 [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.71/7.30	c 01:46:32.983 [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.71/7.30	c 01:46:32.983 [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.71/7.31	c 01:46:32.984 [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.71/7.31	c 01:46:32.985 [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.71/7.31	c 01:46:32.986 [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.71/7.31	c 01:46:32.987 [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.71/7.31	c 01:46:32.988 [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.71/7.31	c 01:46:32.988 [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.71/7.31	c 01:46:32.989 [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.71/7.31	c 01:46:32.990 [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.71/7.31	c 01:46:32.990 [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.71/7.31	c 01:46:32.991 [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.71/7.31	c 01:46:32.992 [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.71/7.31	c 01:46:32.992 [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.71/7.31	c 01:46:32.992 [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.71/7.32	c 01:46:33.000 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30131. 'extension(x[2][1]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.32	c 01:46:33.001 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30141. 'extension(x[0][27]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.32	c 01:46:33.002 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30145. 'extension(x[1][14]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.32	c 01:46:33.002 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30151. 'extension(x[1][16]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.32	c 01:46:33.002 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30153. 'extension(x[3][16]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.32	c 01:46:33.003 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30171. 'extension(x[2][10]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.32	c 01:46:33.003 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30181. 'extension(x[4][27]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.32	c 01:46:33.004 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30191. 'extension(x[5][10]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.33	c 01:46:33.004 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30205. 'extension(x[3][13]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.33	c 01:46:33.005 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30211. 'extension(x[3][25]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.33	c 01:46:33.005 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30213. 'extension(x[5][25]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.33	c 01:46:33.006 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30227. 'extension(x[3][30]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.33	c 01:46:33.006 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30233. 'extension(wk[7][0]=[0‥1]) :: init: true :: relation: Empty MDD
19.71/7.33	c 01:46:33.006 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30235. 'extension(x[4][7]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.33	c 01:46:33.007 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30241. 'extension(wk[13][0]=[0‥1]) :: init: true :: relation: Empty MDD
19.71/7.33	c 01:46:33.007 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30247. 'extension(wk[14][0]=[0‥1]) :: init: true :: relation: Empty MDD
19.71/7.33	c 01:46:33.007 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30249. 'extension(wk[20][0]=[0‥1]) :: init: true :: relation: Empty MDD
19.71/7.33	c 01:46:33.007 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30251. 'extension(x[4][20]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.33	c 01:46:33.008 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30257. 'extension(wk[21][0]=[0‥1]) :: init: true :: relation: Empty MDD
19.71/7.33	c 01:46:33.008 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30259. 'extension(x[4][21]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.33	c 01:46:33.008 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30261. 'extension(x[6][21]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.33	c 01:46:33.009 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30275. 'extension(wk[30][0]=[0‥1]) :: init: true :: relation: Empty MDD
19.71/7.33	c 01:46:33.009 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30281. 'extension(wk[5][0]=[0‥1]) :: init: true :: relation: Empty MDD
19.71/7.33	c 01:46:33.009 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30283. 'extension(x[5][5]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.33	c 01:46:33.009 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30289. 'extension(wk[7][0]=[0‥1]) :: init: true :: relation: Empty MDD
19.71/7.33	c 01:46:33.010 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30295. 'extension(wk[13][0]=[0‥1]) :: init: true :: relation: Empty MDD
19.71/7.33	c 01:46:33.010 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30297. 'extension(wk[14][0]=[0‥1]) :: init: true :: relation: Empty MDD
19.71/7.33	c 01:46:33.010 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30299. 'extension(x[7][14]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.34	c 01:46:33.011 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30309. 'extension(wk[16][0]=[0‥1]) :: init: true :: relation: Empty MDD
19.71/7.34	c 01:46:33.011 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30311. 'extension(x[5][16]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.34	c 01:46:33.011 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30317. 'extension(wk[20][0]=[0‥1]) :: init: true :: relation: Empty MDD
19.71/7.34	c 01:46:33.011 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30323. 'extension(wk[22][0]=[0‥1]) :: init: true :: relation: Empty MDD
19.71/7.34	c 01:46:33.012 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30325. 'extension(x[5][22]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.34	c 01:46:33.012 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30331. 'extension(wk[30][0]=[0‥1]) :: init: true :: relation: Empty MDD
19.71/7.34	c 01:46:33.012 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30337. 'extension(x[8][7]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.34	c 01:46:33.013 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30347. 'extension(x[8][13]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.34	c 01:46:33.013 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30357. 'extension(x[8][16]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.34	c 01:46:33.014 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30371. 'extension(x[8][20]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.34	c 01:46:33.014 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30385. 'extension(x[8][30]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.34	c 01:46:33.015 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30395. 'extension(x[9][5]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.34	c 01:46:33.015 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30405. 'extension(x[7][19]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.34	c 01:46:33.016 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30415. 'extension(x[8][23]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.34	c 01:46:33.016 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30421. 'extension(x[11][22]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.34	c 01:46:33.017 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30435. 'extension(x[9][26]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.34	c 01:46:33.017 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30437. 'extension(x[11][26]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.34	c 01:46:33.018 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30451. 'extension(x[12][19]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.34	c 01:46:33.018 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30461. 'extension(wk[13][1]=[0‥1]) :: init: true :: relation: Empty MDD
19.71/7.34	c 01:46:33.018 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30463. 'extension(x[11][13]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.34	c 01:46:33.019 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30465. 'extension(x[13][13]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.34	c 01:46:33.019 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30479. 'extension(wk[23][1]=[0‥1]) :: init: true :: relation: Empty MDD
19.71/7.34	c 01:46:33.019 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30481. 'extension(wk[2][1]=[0‥1]) :: init: true :: relation: Empty MDD
19.71/7.34	c 01:46:33.020 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30483. 'extension(x[12][2]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.34	c 01:46:33.020 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30489. 'extension(wk[23][1]=[0‥1]) :: init: true :: relation: Empty MDD
19.71/7.34	c 01:46:33.020 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30491. 'extension(x[14][23]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.34	c 01:46:33.021 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30501. 'extension(x[15][2]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.34	c 01:46:33.021 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30515. 'extension(x[13][6]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.34	c 01:46:33.022 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30525. 'extension(x[14][7]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.34	c 01:46:33.022 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30527. 'extension(x[16][7]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.34	c 01:46:33.022 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30541. 'extension(x[14][10]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.34	c 01:46:33.023 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30543. 'extension(x[16][10]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.34	c 01:46:33.023 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30557. 'extension(x[17][6]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.34	c 01:46:33.024 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30567. 'extension(x[17][9]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.35	c 01:46:33.024 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30573. 'extension(wk[4][2]=[0‥1]) :: init: true :: relation: Empty MDD
19.71/7.35	c 01:46:33.024 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30575. 'extension(x[18][4]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.35	c 01:46:33.025 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30581. 'extension(wk[8][2]=[0‥1]) :: init: true :: relation: Empty MDD
19.71/7.35	c 01:46:33.025 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30583. 'extension(x[18][8]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.35	c 01:46:33.025 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30589. 'extension(wk[9][2]=[0‥1]) :: init: true :: relation: Empty MDD
19.71/7.35	c 01:46:33.025 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30595. 'extension(wk[4][2]=[0‥1]) :: init: true :: relation: Empty MDD
19.71/7.35	c 01:46:33.026 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30597. 'extension(x[21][4]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.35	c 01:46:33.026 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30611. 'extension(wk[8][2]=[0‥1]) :: init: true :: relation: Empty MDD
19.71/7.35	c 01:46:33.027 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30617. 'extension(wk[9][2]=[0‥1]) :: init: true :: relation: Empty MDD
19.71/7.35	c 01:46:33.027 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30619. 'extension(wk[12][2]=[0‥1]) :: init: true :: relation: Empty MDD
19.71/7.35	c 01:46:33.027 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30621. 'extension(x[19][12]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.35	c 01:46:33.027 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30627. 'extension(wk[19][2]=[0‥1]) :: init: true :: relation: Empty MDD
19.71/7.35	c 01:46:33.027 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30629. 'extension(x[19][19]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.35	c 01:46:33.028 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30631. 'extension(x[21][19]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.35	c 01:46:33.028 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30645. 'extension(x[22][8]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.35	c 01:46:33.029 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30655. 'extension(x[22][9]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.35	c 01:46:33.029 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30665. 'extension(x[22][12]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.35	c 01:46:33.030 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30679. 'extension(x[20][18]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.35	c 01:46:33.030 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30689. 'extension(x[21][25]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.35	c 01:46:33.031 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30691. 'extension(x[23][25]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.35	c 01:46:33.031 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30705. 'extension(x[24][18]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.35	c 01:46:33.032 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30715. 'extension(x[23][0]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.35	c 01:46:33.032 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30721. 'extension(x[23][9]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.35	c 01:46:33.032 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30723. 'extension(x[25][9]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.35	c 01:46:33.033 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30737. 'extension(x[23][24]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.35	c 01:46:33.033 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30743. 'extension(x[26][0]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.35	c 01:46:33.034 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30757. 'extension(x[24][1]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.36	c 01:46:33.034 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30759. 'extension(x[26][1]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.36	c 01:46:33.035 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30777. 'extension(x[24][26]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.36	c 01:46:33.035 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30783. 'extension(x[24][29]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.36	c 01:46:33.035 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30789. 'extension(wk[24][3]=[0‥1]) :: init: true :: relation: Empty MDD
19.71/7.36	c 01:46:33.036 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30791. 'extension(wk[26][3]=[0‥1]) :: init: true :: relation: Empty MDD
19.71/7.36	c 01:46:33.036 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30797. 'extension(wk[29][3]=[0‥1]) :: init: true :: relation: Empty MDD
19.71/7.36	c 01:46:33.036 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30799. 'extension(x[27][29]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.36	c 01:46:33.037 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30813. 'extension(wk[11][3]=[0‥1]) :: init: true :: relation: Empty MDD
19.71/7.36	c 01:46:33.037 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30815. 'extension(x[26][11]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.36	c 01:46:33.037 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30821. 'extension(wk[24][3]=[0‥1]) :: init: true :: relation: Empty MDD
19.71/7.36	c 01:46:33.037 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30823. 'extension(wk[26][3]=[0‥1]) :: init: true :: relation: Empty MDD
19.71/7.36	c 01:46:33.037 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30825. 'extension(x[28][26]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.36	c 01:46:33.038 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30835. 'extension(wk[31][3]=[0‥1]) :: init: true :: relation: Empty MDD
19.71/7.36	c 01:46:33.038 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30837. 'extension(x[26][31]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.36	c 01:46:33.038 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30847. 'extension(x[29][24]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.36	c 01:46:33.039 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30861. 'extension(x[28][21]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.37	c 01:46:33.040 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30867. 'extension(x[30][31]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.37	c 01:46:33.040 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30877. 'extension(x[31][11]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.37	c 01:46:33.041 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30891. 'extension(x[30][4]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.37	c 01:46:33.041 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30897. 'extension(x[30][15]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.37	c 01:46:33.041 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30899. 'extension(x[32][15]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.37	c 01:46:33.042 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30913. 'extension(x[33][4]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.37	c 01:46:33.042 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30927. 'extension(x[33][21]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.37	c 01:46:33.043 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30937. 'extension(x[31][28]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.37	c 01:46:33.043 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30943. 'extension(wk[5][4]=[0‥1]) :: init: true :: relation: Empty MDD
19.71/7.37	c 01:46:33.043 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30945. 'extension(x[32][5]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.37	c 01:46:33.044 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30947. 'extension(x[34][5]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.37	c 01:46:33.044 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30961. 'extension(wk[28][4]=[0‥1]) :: init: true :: relation: Empty MDD
19.71/7.37	c 01:46:33.045 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30967. 'extension(wk[3][4]=[0‥1]) :: init: true :: relation: Empty MDD
19.71/7.37	c 01:46:33.045 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30969. 'extension(x[33][3]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.37	c 01:46:33.045 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30975. 'extension(wk[7][4]=[0‥1]) :: init: true :: relation: Empty MDD
19.71/7.37	c 01:46:33.045 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30977. 'extension(x[33][7]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.37	c 01:46:33.045 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30979. 'extension(x[35][7]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.37	c 01:46:33.046 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30993. 'extension(wk[28][4]=[0‥1]) :: init: true :: relation: Empty MDD
19.71/7.37	c 01:46:33.046 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30995. 'extension(wk[30][4]=[0‥1]) :: init: true :: relation: Empty MDD
19.71/7.37	c 01:46:33.046 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30997. 'extension(x[33][30]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.37	c 01:46:33.046 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30999. 'extension(x[35][30]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.37	c 01:46:33.047 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31013. 'extension(x[34][0]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.37	c 01:46:33.048 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31023. 'extension(x[34][26]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.37	c 01:46:33.048 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31025. 'extension(x[36][26]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.37	c 01:46:33.049 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31043. 'extension(x[37][28]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.37	c 01:46:33.049 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31053. 'extension(x[38][0]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.37	c 01:46:33.050 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31063. 'extension(x[36][18]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.37	c 01:46:33.050 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31069. 'extension(x[37][2]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.37	c 01:46:33.050 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31071. 'extension(x[39][2]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.37	c 01:46:33.051 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31085. 'extension(x[39][3]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.37	c 01:46:33.051 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31095. 'extension(x[39][18]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.37	c 01:46:33.052 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31109. 'extension(x[38][1]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.37	c 01:46:33.052 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31111. 'extension(x[40][1]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.37	c 01:46:33.053 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31125. 'extension(wk[11][5]=[0‥1]) :: init: true :: relation: Empty MDD
19.71/7.37	c 01:46:33.053 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31127. 'extension(x[39][11]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.37	c 01:46:33.053 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31129. 'extension(x[41][11]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.37	c 01:46:33.054 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31143. 'extension(wk[29][5]=[0‥1]) :: init: true :: relation: Empty MDD
19.71/7.37	c 01:46:33.054 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31145. 'extension(x[39][29]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.38	c 01:46:33.054 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31151. 'extension(wk[10][5]=[0‥1]) :: init: true :: relation: Empty MDD
19.71/7.38	c 01:46:33.054 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31153. 'extension(x[40][10]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.38	c 01:46:33.055 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31159. 'extension(wk[20][5]=[0‥1]) :: init: true :: relation: Empty MDD
19.71/7.38	c 01:46:33.055 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31161. 'extension(x[40][20]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.38	c 01:46:33.055 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31167. 'extension(wk[25][5]=[0‥1]) :: init: true :: relation: Empty MDD
19.71/7.38	c 01:46:33.055 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31169. 'extension(x[40][25]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.38	c 01:46:33.056 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31175. 'extension(wk[29][5]=[0‥1]) :: init: true :: relation: Empty MDD
19.71/7.38	c 01:46:33.056 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31181. 'extension(x[43][10]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.38	c 01:46:33.057 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31195. 'extension(x[43][20]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.38	c 01:46:33.057 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31213. 'extension(x[43][29]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.38	c 01:46:33.058 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31223. 'extension(x[42][6]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.38	c 01:46:33.058 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31229. 'extension(x[42][16]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.38	c 01:46:33.058 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31235. 'extension(x[44][25]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.38	c 01:46:33.059 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31245. 'extension(x[45][6]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.38	c 01:46:33.060 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31259. 'extension(x[43][15]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.38	c 01:46:33.060 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31265. 'extension(x[45][16]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.39	c 01:46:33.061 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31283. 'extension(wk[15][6]=[0‥1]) :: init: true :: relation: Empty MDD
19.71/7.39	c 01:46:33.061 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31285. 'extension(x[48][15]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.39	c 01:46:33.061 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31295. 'extension(wk[4][6]=[0‥1]) :: init: true :: relation: Empty MDD
19.71/7.39	c 01:46:33.062 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31297. 'extension(x[47][4]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.39	c 01:46:33.062 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31299. 'extension(x[49][4]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.39	c 01:46:33.062 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31313. 'extension(wk[8][6]=[0‥1]) :: init: true :: relation: Empty MDD
19.71/7.39	c 01:46:33.063 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31315. 'extension(x[47][8]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.39	c 01:46:33.063 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31321. 'extension(wk[17][6]=[0‥1]) :: init: true :: relation: Empty MDD
19.71/7.39	c 01:46:33.063 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31323. 'extension(x[47][17]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.39	c 01:46:33.063 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31329. 'extension(x[48][2]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.39	c 01:46:33.064 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31335. 'extension(x[50][8]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.39	c 01:46:33.065 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31353. 'extension(x[51][2]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.39	c 01:46:33.065 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31367. 'extension(x[51][1]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.39	c 01:46:33.065 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31369. 'extension(x[53][1]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.39	c 01:46:33.066 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31383. 'extension(x[51][12]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.39	c 01:46:33.066 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31389. 'extension(x[53][17]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.39	c 01:46:33.067 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31399. 'extension(x[51][31]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.39	c 01:46:33.067 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31405. 'extension(x[52][5]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.39	c 01:46:33.067 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31407. 'extension(x[54][5]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.39	c 01:46:33.068 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31425. 'extension(x[52][27]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.39	c 01:46:33.068 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31431. 'extension(x[54][31]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.39	c 01:46:33.069 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31445. 'extension(wk[12][7]=[0‥1]) :: init: true :: relation: Empty MDD
19.71/7.39	c 01:46:33.069 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31447. 'extension(x[55][12]=[0‥4]) :: init: true :: relation: Empty MDD
19.71/7.39	c 01:46:33.069 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31455. 'extension(wk[27][7]=[0‥1]) :: init: true :: relation: Empty MDD
19.71/7.39	c 01:46:33.070 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31457. 'extension(x[55][27]=[0‥4]) :: init: true :: relation: Empty MDD
2520.09/2449.01	Exception in thread "main" java.util.concurrent.TimeoutException
2520.09/2449.02		at concrete.MAC.mac(MAC.scala:188)
2520.09/2449.02		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.09/2449.02		at scala.util.Try$.apply(Try.scala:209)
2520.09/2449.02		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.09/2449.02		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.09/2449.02		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.09/2449.02		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.09/2449.02		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.09/2449.02		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.09/2449.02		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.09/2449.02		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.09/2449.02		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.09/2449.02		at concrete.MAC.oneRun(MAC.scala:253)
2520.09/2449.02		at concrete.MAC.nextSolution(MAC.scala:272)
2520.09/2449.02		at concrete.MAC.$anonfun$nextSolution$5(MAC.scala:336)
2520.09/2449.02		at concrete.ProblemState.map(ProblemState.scala:221)
2520.09/2449.02		at concrete.ProblemState.map(ProblemState.scala:204)
2520.09/2449.02		at concrete.MAC.nextSolution(MAC.scala:334)
2520.09/2449.02		at concrete.Solver.hasNext(Solver.scala:166)
2520.09/2449.02		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.09/2449.02		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.09/2449.02		at concrete.Solver.foreach(Solver.scala:68)
2520.09/2449.02		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.09/2449.02		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.09/2449.02		at scala.util.Success.map(Try.scala:209)
2520.09/2449.02		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.09/2449.02		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.09/2449.02		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.09/2449.02		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.09/2449.02		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.09/2449.02		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.09/2449.02		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.09/2449.02		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.09/2449.02		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.09/2449.02		at scala.collection.immutable.List.foreach(List.scala:389)
2520.09/2449.02		at scala.App.main(App.scala:76)
2520.09/2449.02		at scala.App.main$(App.scala:74)
2520.09/2449.02		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.09/2449.02		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.09/2449.02	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 (6090 MiB free)
  memory of node 1: 16384 MiB (10444 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292994-1532303185/watcher-4292994-1532303185 -o /tmp/evaluation-result-4292994-1532303185/solver-4292994-1532303185 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532295772-9832 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=2050438511 -superng HOME/instance-4292994-1532303185.xml 

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

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


[startup+0.100121 s]*
/proc/loadavg: 1.10 1.42 1.46 3/206 10918
/proc/meminfo: memFree=16925208/32770624 swapFree=67108860/67108860
[pid=10861] ppid=10858 vsize=9972712 memory=16808 CPUtime=0.1 cores=1,3,5,7
/proc/10861/stat : 10861 (java) S 10858 10861 9800 0 -1 1077944320 4350 13271 0 0 1 1 5 3 20 0 6 0 47881382 10212057088 4202 33554432000 4194304 4196468 140733139800288 140733139782832 139749301968631 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
/proc/10861/statm: 2493178 4202 1934 1 0 2481616 0
[pid=10861/tid=10914] ppid=10858 vsize=9972712 memory=4279135704047060365 CPUtime=0.08 cores=1,3,5,7
/proc/10861/task/10914/stat : 10914 (java) R 10858 10861 9800 0 -1 4202560 2184 13271 0 0 0 0 5 3 20 0 6 0 47881391 10212057088 4202 33554432000 4194304 4196468 140733139800288 139749273805392 139749286049118 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10915] ppid=10858 vsize=9972712 memory=8257237230052613020 CPUtime=0.08 cores=1,3,5,7
/proc/10861/task/10915/stat : 10915 (java) S 10858 10861 9800 0 -1 1077944384 1 13271 0 0 0 0 5 3 20 0 6 0 47881392 10212057088 4202 33554432000 4194304 4196468 140733139800288 139749306210832 139749301978837 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10916] ppid=10858 vsize=9972712 memory=140146775897728 CPUtime=0.08 cores=1,3,5,7
/proc/10861/task/10916/stat : 10916 (java) S 10858 10861 9800 0 -1 1077944384 1 13271 0 0 0 0 5 3 20 0 6 0 47881392 10212057088 4202 33554432000 4194304 4196468 140733139800288 139749194484368 139749301978837 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10917] ppid=10858 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10861/task/10917/stat : 10917 (java) S 10858 10861 9800 0 -1 1077944384 1 13271 0 0 0 0 5 3 20 0 6 0 47881392 10212057088 4202 33554432000 4194304 4196468 140733139800288 139749193431312 139749301978837 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10918] ppid=10858 vsize=9972712 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/10861/task/10918/stat : 10918 (java) S 10858 10861 9800 0 -1 1077944384 2 13271 0 0 0 0 5 3 20 0 6 0 47881392 10212057088 4202 33554432000 4194304 4196468 140733139800288 139749192378768 139749301978837 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16808 KiB

[startup+0.209927 s]*
/proc/loadavg: 1.10 1.42 1.46 3/215 10927
/proc/meminfo: memFree=16904144/32770624 swapFree=67108860/67108860
[pid=10861] ppid=10858 vsize=10818936 memory=43836 CPUtime=0.26 cores=1,3,5,7
/proc/10861/stat : 10861 (java) S 10858 10861 9800 0 -1 1077944320 9328 13271 0 0 16 2 5 3 20 0 15 0 47881382 11078590464 10959 33554432000 4194304 4196468 140733139800288 140733139782832 139749301968631 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
/proc/10861/statm: 2704734 10959 2964 1 0 2667157 0
[pid=10861/tid=10914] ppid=10858 vsize=10818936 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/10861/task/10914/stat : 10914 (java) R 10858 10861 9800 0 -1 4202560 6142 13271 0 0 10 1 5 3 20 0 15 0 47881391 11078590464 11144 33554432000 4194304 4196468 140733139800288 139749273793440 139749294648349 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10915] ppid=10858 vsize=10818936 memory=343 CPUtime=0.08 cores=1,3,5,7
/proc/10861/task/10915/stat : 10915 (java) S 10858 10861 9800 0 -1 1077944384 1 13271 0 0 0 0 5 3 20 0 15 0 47881392 11078590464 11144 33554432000 4194304 4196468 140733139800288 139749306210832 139749301978837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10916] ppid=10858 vsize=10818936 memory=140146776177622 CPUtime=0.08 cores=1,3,5,7
/proc/10861/task/10916/stat : 10916 (java) S 10858 10861 9800 0 -1 1077944384 1 13271 0 0 0 0 5 3 20 0 15 0 47881392 11078590464 11144 33554432000 4194304 4196468 140733139800288 139749194484368 139749301978837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10917] ppid=10858 vsize=10818936 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10861/task/10917/stat : 10917 (java) S 10858 10861 9800 0 -1 1077944384 1 13271 0 0 0 0 5 3 20 0 15 0 47881392 11078590464 11144 33554432000 4194304 4196468 140733139800288 139749193431312 139749301978837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10918] ppid=10858 vsize=10818904 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/10861/task/10918/stat : 10918 (java) S 10858 10861 9800 0 -1 1077944384 2 13271 0 0 0 0 5 3 20 0 15 0 47881392 11078557696 11144 33554432000 4194304 4196468 140733139800288 139749192378768 139749301978837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10919] ppid=10858 vsize=10818904 memory=140146775897728 CPUtime=0.08 cores=1,3,5,7
/proc/10861/task/10919/stat : 10919 (java) S 10858 10861 9800 0 -1 1077944384 2 13271 0 0 0 0 5 3 20 0 15 0 47881393 11078557696 11144 33554432000 4194304 4196468 140733139800288 139748760824560 139749301979778 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10920] ppid=10858 vsize=10818904 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/10861/task/10920/stat : 10920 (java) S 10858 10861 9800 0 -1 1077944384 33 13271 0 0 0 0 5 3 20 0 15 0 47881394 11078557696 11144 33554432000 4194304 4196468 140733139800288 139748759770784 139749301978837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10921] ppid=10858 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10861/task/10921/stat : 10921 (java) S 10858 10861 9800 0 -1 1077944384 1 13271 0 0 0 0 5 3 20 0 15 0 47881394 11078557696 11144 33554432000 4194304 4196468 140733139800288 139748169475312 139749301978837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10922] ppid=10858 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10861/task/10922/stat : 10922 (java) S 10858 10861 9800 0 -1 1077944384 3 13271 0 0 0 0 5 3 20 0 15 0 47881396 11078557696 11144 33554432000 4194304 4196468 140733139800288 139747862075856 139749301987227 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10923] ppid=10858 vsize=10818904 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/10861/task/10923/stat : 10923 (java) S 10858 10861 9800 0 -1 1077944384 537 13271 0 0 1 0 5 3 20 0 15 0 47881396 11078557696 11144 33554432000 4194304 4196468 140733139800288 139748726212848 139749301979778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10924] ppid=10858 vsize=10818904 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/10861/task/10924/stat : 10924 (java) S 10858 10861 9800 0 -1 1077944384 54 13271 0 0 0 0 5 3 20 0 15 0 47881396 11078557696 11144 33554432000 4194304 4196468 140733139800288 139748725160304 139749301979778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10925] ppid=10858 vsize=10818936 memory=140146775897728 CPUtime=0.11 cores=1,3,5,7
/proc/10861/task/10925/stat : 10925 (java) S 10858 10861 9800 0 -1 1077944384 542 13271 0 0 3 0 5 3 20 0 15 0 47881396 11078590464 11144 33554432000 4194304 4196468 140733139800288 139748724107248 139749301979778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10926] ppid=10858 vsize=10818936 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/10861/task/10926/stat : 10926 (java) S 10858 10861 9800 0 -1 1077944384 3 13271 0 0 0 0 5 3 20 0 15 0 47881397 11078590464 11144 33554432000 4194304 4196468 140733139800288 139747828517216 139749301978837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10927] ppid=10858 vsize=10818936 memory=140146775897728 CPUtime=0.08 cores=1,3,5,7
/proc/10861/task/10927/stat : 10927 (java) S 10858 10861 9800 0 -1 1077944384 1 13271 0 0 0 0 5 3 20 0 15 0 47881397 11078590464 11144 33554432000 4194304 4196468 140733139800288 139748723055664 139749301979778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818936 KiB
Current children cumulated memory: 43836 KiB

[startup+0.310377 s]*
/proc/loadavg: 1.10 1.42 1.46 3/215 10927
/proc/meminfo: memFree=16890500/32770624 swapFree=67108860/67108860
[pid=10861] ppid=10858 vsize=10819352 memory=52548 CPUtime=0.39 cores=1,3,5,7
/proc/10861/stat : 10861 (java) S 10858 10861 9800 0 -1 1077944320 10722 13271 0 0 28 3 5 3 20 0 15 0 47881382 11079016448 13137 33554432000 4194304 4196468 140733139800288 140733139782832 139749301968631 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
/proc/10861/statm: 2704838 13137 3084 1 0 2667149 0
[pid=10861/tid=10914] ppid=10858 vsize=10819352 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/10861/task/10914/stat : 10914 (java) R 10858 10861 9800 0 -1 4202560 7342 13271 0 0 19 2 5 3 20 0 15 0 47881391 11079016448 13137 33554432000 4194304 4196468 140733139800288 139749273780640 139749286049118 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10915] ppid=10858 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10861/task/10915/stat : 10915 (java) S 10858 10861 9800 0 -1 1077944384 1 13271 0 0 0 0 5 3 20 0 15 0 47881392 11079016448 13137 33554432000 4194304 4196468 140733139800288 139749306210832 139749301978837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10916] ppid=10858 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10861/task/10916/stat : 10916 (java) S 10858 10861 9800 0 -1 1077944384 1 13271 0 0 0 0 5 3 20 0 15 0 47881392 11079016448 13137 33554432000 4194304 4196468 140733139800288 139749194484368 139749301978837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10917] ppid=10858 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10861/task/10917/stat : 10917 (java) S 10858 10861 9800 0 -1 1077944384 1 13271 0 0 0 0 5 3 20 0 15 0 47881392 11079016448 13137 33554432000 4194304 4196468 140733139800288 139749193431312 139749301978837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10918] ppid=10858 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10861/task/10918/stat : 10918 (java) S 10858 10861 9800 0 -1 1077944384 2 13271 0 0 0 0 5 3 20 0 15 0 47881392 11079016448 13137 33554432000 4194304 4196468 140733139800288 139749192378768 139749301978837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10919] ppid=10858 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10861/task/10919/stat : 10919 (java) S 10858 10861 9800 0 -1 1077944384 2 13271 0 0 0 0 5 3 20 0 15 0 47881393 11079016448 13137 33554432000 4194304 4196468 140733139800288 139748760824560 139749301979778 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10920] ppid=10858 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/10861/task/10920/stat : 10920 (java) S 10858 10861 9800 0 -1 1077944384 33 13271 0 0 0 0 5 3 20 0 15 0 47881394 11079016448 13137 33554432000 4194304 4196468 140733139800288 139748759770784 139749301978837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10921] ppid=10858 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10861/task/10921/stat : 10921 (java) S 10858 10861 9800 0 -1 1077944384 1 13271 0 0 0 0 5 3 20 0 15 0 47881394 11079016448 13137 33554432000 4194304 4196468 140733139800288 139748169475312 139749301978837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10922] ppid=10858 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10861/task/10922/stat : 10922 (java) S 10858 10861 9800 0 -1 1077944384 3 13271 0 0 0 0 5 3 20 0 15 0 47881396 11079016448 13137 33554432000 4194304 4196468 140733139800288 139747862075856 139749301987227 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10923] ppid=10858 vsize=10819352 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/10861/task/10923/stat : 10923 (java) S 10858 10861 9800 0 -1 1077944384 538 13271 0 0 2 0 5 3 20 0 15 0 47881396 11079016448 13137 33554432000 4194304 4196468 140733139800288 139748726212848 139749301979778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10924] ppid=10858 vsize=10819352 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/10861/task/10924/stat : 10924 (java) S 10858 10861 9800 0 -1 1077944384 54 13271 0 0 1 0 5 3 20 0 15 0 47881396 11079016448 13137 33554432000 4194304 4196468 140733139800288 139748725160304 139749301979778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10925] ppid=10858 vsize=10819352 memory=140146775897728 CPUtime=0.13 cores=1,3,5,7
/proc/10861/task/10925/stat : 10925 (java) S 10858 10861 9800 0 -1 1077944384 554 13271 0 0 5 0 5 3 20 0 15 0 47881396 11079016448 13137 33554432000 4194304 4196468 140733139800288 139748724107248 139749301979778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10926] ppid=10858 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/10861/task/10926/stat : 10926 (java) S 10858 10861 9800 0 -1 1077944384 3 13271 0 0 0 0 5 3 20 0 15 0 47881397 11079016448 13137 33554432000 4194304 4196468 140733139800288 139747828517216 139749301978837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10927] ppid=10858 vsize=10819352 memory=140146775897728 CPUtime=0.08 cores=1,3,5,7
/proc/10861/task/10927/stat : 10927 (java) S 10858 10861 9800 0 -1 1077944384 1 13271 0 0 0 0 5 3 20 0 15 0 47881397 11079016448 13137 33554432000 4194304 4196468 140733139800288 139748723055664 139749301979778 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 52548 KiB

[startup+0.700816 s]
/proc/loadavg: 1.10 1.42 1.46 3/215 10927
/proc/meminfo: memFree=16881692/32770624 swapFree=67108860/67108860
[pid=10861] ppid=10858 vsize=10819352 memory=84872 CPUtime=1 cores=1,3,5,7
/proc/10861/stat : 10861 (java) S 10858 10861 9800 0 -1 1077944320 16801 13271 0 0 88 4 5 3 20 0 15 0 47881382 11079016448 21218 33554432000 4194304 4196468 140733139800288 140733139782832 139749301968631 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
/proc/10861/statm: 2704838 21218 3241 1 0 2667149 0
[pid=10861/tid=10914] ppid=10858 vsize=10819352 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/10861/task/10914/stat : 10914 (java) R 10858 10861 9800 0 -1 4202560 12335 13271 0 0 56 3 5 3 20 0 15 0 47881391 11079016448 21218 33554432000 4194304 4196468 140733139800288 139749273789456 139749283532191 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10915] ppid=10858 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10861/task/10915/stat : 10915 (java) S 10858 10861 9800 0 -1 1077944384 1 13271 0 0 0 0 5 3 20 0 15 0 47881392 11079016448 21218 33554432000 4194304 4196468 140733139800288 139749306210832 139749301978837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10916] ppid=10858 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10861/task/10916/stat : 10916 (java) S 10858 10861 9800 0 -1 1077944384 1 13271 0 0 0 0 5 3 20 0 15 0 47881392 11079016448 21218 33554432000 4194304 4196468 140733139800288 139749194484368 139749301978837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10917] ppid=10858 vsize=10819352 memory=32804 CPUtime=0.08 cores=1,3,5,7
/proc/10861/task/10917/stat : 10917 (java) S 10858 10861 9800 0 -1 1077944384 1 13271 0 0 0 0 5 3 20 0 15 0 47881392 11079016448 21218 33554432000 4194304 4196468 140733139800288 139749193431312 139749301978837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10918] ppid=10858 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10861/task/10918/stat : 10918 (java) S 10858 10861 9800 0 -1 1077944384 2 13271 0 0 0 0 5 3 20 0 15 0 47881392 11079016448 21218 33554432000 4194304 4196468 140733139800288 139749192378768 139749301978837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10919] ppid=10858 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10861/task/10919/stat : 10919 (java) S 10858 10861 9800 0 -1 1077944384 5 13271 0 0 0 0 5 3 20 0 15 0 47881393 11079016448 21218 33554432000 4194304 4196468 140733139800288 139748760824560 139749301979778 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10920] ppid=10858 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10861/task/10920/stat : 10920 (java) S 10858 10861 9800 0 -1 1077944384 33 13271 0 0 0 0 5 3 20 0 15 0 47881394 11079016448 21218 33554432000 4194304 4196468 140733139800288 139748759770784 139749301978837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10921] ppid=10858 vsize=10819352 memory=140146662060816 CPUtime=0.08 cores=1,3,5,7
/proc/10861/task/10921/stat : 10921 (java) S 10858 10861 9800 0 -1 1077944384 1 13271 0 0 0 0 5 3 20 0 15 0 47881394 11079016448 21218 33554432000 4194304 4196468 140733139800288 139748169475312 139749301978837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10922] ppid=10858 vsize=10819352 memory=140149077836369 CPUtime=0.08 cores=1,3,5,7
/proc/10861/task/10922/stat : 10922 (java) S 10858 10861 9800 0 -1 1077944384 3 13271 0 0 0 0 5 3 20 0 15 0 47881396 11079016448 21218 33554432000 4194304 4196468 140733139800288 139747862075856 139749301987227 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10923] ppid=10858 vsize=10819352 memory=14004 CPUtime=0.16 cores=1,3,5,7
/proc/10861/task/10923/stat : 10923 (java) S 10858 10861 9800 0 -1 1077944384 945 13271 0 0 8 0 5 3 20 0 15 0 47881396 11079016448 21218 33554432000 4194304 4196468 140733139800288 139748726212848 139749301979778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10924] ppid=10858 vsize=10819352 memory=4639098309541127269 CPUtime=0.17 cores=1,3,5,7
/proc/10861/task/10924/stat : 10924 (java) S 10858 10861 9800 0 -1 1077944384 669 13271 0 0 9 0 5 3 20 0 15 0 47881396 11079016448 21218 33554432000 4194304 4196468 140733139800288 139748725160304 139749301979778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10925] ppid=10858 vsize=10819352 memory=7813023418146120529 CPUtime=0.21 cores=1,3,5,7
/proc/10861/task/10925/stat : 10925 (java) S 10858 10861 9800 0 -1 1077944384 609 13271 0 0 13 0 5 3 20 0 15 0 47881396 11079016448 21218 33554432000 4194304 4196468 140733139800288 139748724107248 139749301979778 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10926] ppid=10858 vsize=10819352 memory=4140 CPUtime=0.08 cores=1,3,5,7
/proc/10861/task/10926/stat : 10926 (java) S 10858 10861 9800 0 -1 1077944384 3 13271 0 0 0 0 5 3 20 0 15 0 47881397 11079016448 21218 33554432000 4194304 4196468 140733139800288 139747828517216 139749301978837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10927] ppid=10858 vsize=10819352 memory=2241 CPUtime=0.08 cores=1,3,5,7
/proc/10861/task/10927/stat : 10927 (java) S 10858 10861 9800 0 -1 1077944384 1 13271 0 0 0 0 5 3 20 0 15 0 47881397 11079016448 21218 33554432000 4194304 4196468 140733139800288 139748723055664 139749301979778 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 84872 KiB

[startup+1.50156 s]
/proc/loadavg: 1.10 1.42 1.46 6/215 10927
/proc/meminfo: memFree=16835612/32770624 swapFree=67108860/67108860
[pid=10861] ppid=10858 vsize=10828108 memory=180916 CPUtime=3.1 cores=1,3,5,7
/proc/10861/stat : 10861 (java) S 10858 10861 9800 0 -1 1077944320 23010 13271 0 0 294 8 5 3 20 0 15 0 47881382 11087982592 45229 33554432000 4194304 4196468 140733139800288 140733139782832 139749301968631 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
/proc/10861/statm: 2707027 45229 3449 1 0 2668685 0
[pid=10861/tid=10914] ppid=10858 vsize=10828108 memory=12848 CPUtime=1.46 cores=1,3,5,7
/proc/10861/task/10914/stat : 10914 (java) R 10858 10861 9800 0 -1 4202560 15202 13271 0 0 132 6 5 3 20 0 15 0 47881391 11087982592 45229 33554432000 4194304 4196468 140733139800288 139749273799712 139748862907294 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10915] ppid=10858 vsize=10828108 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/10861/task/10915/stat : 10915 (java) S 10858 10861 9800 0 -1 1077944384 1 13271 0 0 0 0 5 3 20 0 15 0 47881392 11087982592 45229 33554432000 4194304 4196468 140733139800288 139749306210832 139749301978837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10916] ppid=10858 vsize=10828108 memory=1408 CPUtime=0.08 cores=1,3,5,7
/proc/10861/task/10916/stat : 10916 (java) S 10858 10861 9800 0 -1 1077944384 1 13271 0 0 0 0 5 3 20 0 15 0 47881392 11087982592 45229 33554432000 4194304 4196468 140733139800288 139749194484368 139749301978837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10917] ppid=10858 vsize=10828108 memory=3276 CPUtime=0.08 cores=1,3,5,7
/proc/10861/task/10917/stat : 10917 (java) S 10858 10861 9800 0 -1 1077944384 1 13271 0 0 0 0 5 3 20 0 15 0 47881392 11087982592 45229 33554432000 4194304 4196468 140733139800288 139749193431312 139749301978837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10918] ppid=10858 vsize=10828108 memory=84872 CPUtime=0.08 cores=1,3,5,7
/proc/10861/task/10918/stat : 10918 (java) S 10858 10861 9800 0 -1 1077944384 2 13271 0 0 0 0 5 3 20 0 15 0 47881392 11087982592 45229 33554432000 4194304 4196468 140733139800288 139749192378768 139749301978837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10919] ppid=10858 vsize=10828108 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10861/task/10919/stat : 10919 (java) S 10858 10861 9800 0 -1 1077944384 12 13271 0 0 0 0 5 3 20 0 15 0 47881393 11087982592 45229 33554432000 4194304 4196468 140733139800288 139748760824560 139749301979778 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10920] ppid=10858 vsize=10828108 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10861/task/10920/stat : 10920 (java) S 10858 10861 9800 0 -1 1077944384 33 13271 0 0 0 0 5 3 20 0 15 0 47881394 11087982592 45229 33554432000 4194304 4196468 140733139800288 139748759770784 139749301978837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10921] ppid=10858 vsize=10828108 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10861/task/10921/stat : 10921 (java) S 10858 10861 9800 0 -1 1077944384 1 13271 0 0 0 0 5 3 20 0 15 0 47881394 11087982592 45229 33554432000 4194304 4196468 140733139800288 139748169475312 139749301978837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10922] ppid=10858 vsize=10828108 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/10861/task/10922/stat : 10922 (java) S 10858 10861 9800 0 -1 1077944384 3 13271 0 0 0 0 5 3 20 0 15 0 47881396 11087982592 45229 33554432000 4194304 4196468 140733139800288 139747862075856 139749301987227 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10923] ppid=10858 vsize=10828108 memory=6935649255759568960 CPUtime=0.62 cores=1,3,5,7
/proc/10861/task/10923/stat : 10923 (java) R 10858 10861 9800 0 -1 4202560 1946 13271 0 0 54 0 5 3 20 0 15 0 47881396 11087982592 45229 33554432000 4194304 4196468 140733139800288 139748726192112 139749285468973 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10924] ppid=10858 vsize=10828108 memory=280293324397440 CPUtime=0.63 cores=1,3,5,7
/proc/10861/task/10924/stat : 10924 (java) R 10858 10861 9800 0 -1 4202560 1873 13271 0 0 55 0 5 3 20 0 15 0 47881396 11087982592 45229 33554432000 4194304 4196468 140733139800288 139748725160432 139749285465411 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10925] ppid=10858 vsize=10828108 memory=6944656592452938395 CPUtime=0.59 cores=1,3,5,7
/proc/10861/task/10925/stat : 10925 (java) R 10858 10861 9800 0 -1 4202560 1739 13271 0 0 51 0 5 3 20 0 15 0 47881396 11087982592 45229 33554432000 4194304 4196468 140733139800288 139748724107248 139749280887216 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10926] ppid=10858 vsize=10828108 memory=-7522837583129502606 CPUtime=0.08 cores=1,3,5,7
/proc/10861/task/10926/stat : 10926 (java) S 10858 10861 9800 0 -1 1077944384 3 13271 0 0 0 0 5 3 20 0 15 0 47881397 11087982592 45229 33554432000 4194304 4196468 140733139800288 139747828517216 139749301978837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10927] ppid=10858 vsize=10828108 memory=4206468019014099040 CPUtime=0.08 cores=1,3,5,7
/proc/10861/task/10927/stat : 10927 (java) S 10858 10861 9800 0 -1 1077944384 1 13271 0 0 0 0 5 3 20 0 15 0 47881397 11087982592 45229 33554432000 4194304 4196468 140733139800288 139748723055664 139749301979778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 10828108 KiB

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

/proc/10861/task/10914/stat : 10914 (java) R 10858 10861 9800 0 -1 4202560 101918 13271 0 0 230102 49 5 3 20 0 15 0 47881391 11180277760 274193 33554432000 4194304 4196468 140733139800288 139749273803568 139748868849179 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10915] ppid=10858 vsize=10918240 memory=1096760 CPUtime=12.26 cores=1,3,5,7
/proc/10861/task/10915/stat : 10915 (java) S 10858 10861 9800 0 -1 1077944384 14852 13271 0 0 1154 64 5 3 20 0 15 0 47881392 11180277760 274193 33554432000 4194304 4196468 140733139800288 139749306210832 139749301978837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10916] ppid=10858 vsize=10918240 memory=1096768 CPUtime=12.36 cores=1,3,5,7
/proc/10861/task/10916/stat : 10916 (java) S 10858 10861 9800 0 -1 1077944384 14417 13271 0 0 1164 64 5 3 20 0 15 0 47881392 11180277760 274193 33554432000 4194304 4196468 140733139800288 139749194484368 139749301978837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10917] ppid=10858 vsize=10918240 memory=516 CPUtime=12.32 cores=1,3,5,7
/proc/10861/task/10917/stat : 10917 (java) S 10858 10861 9800 0 -1 1077944384 16073 13271 0 0 1164 60 5 3 20 0 15 0 47881392 11180277760 274193 33554432000 4194304 4196468 140733139800288 139749193431312 139749301978837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10918] ppid=10858 vsize=10918240 memory=1096772 CPUtime=12.33 cores=1,3,5,7
/proc/10861/task/10918/stat : 10918 (java) S 10858 10861 9800 0 -1 1077944384 9192 13271 0 0 1165 60 5 3 20 0 15 0 47881392 11180277760 274193 33554432000 4194304 4196468 140733139800288 139749192378768 139749301978837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10919] ppid=10858 vsize=10918240 memory=1096772 CPUtime=6.44 cores=1,3,5,7
/proc/10861/task/10919/stat : 10919 (java) S 10858 10861 9800 0 -1 1077944384 14591 13271 0 0 597 39 5 3 20 0 15 0 47881393 11180277760 274193 33554432000 4194304 4196468 140733139800288 139748760824560 139749301979778 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10920] ppid=10858 vsize=10918240 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10861/task/10920/stat : 10920 (java) S 10858 10861 9800 0 -1 1077944384 55 13271 0 0 0 0 5 3 20 0 15 0 47881394 11180277760 274193 33554432000 4194304 4196468 140733139800288 139748759770848 139749301978837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10921] ppid=10858 vsize=10918240 memory=1096772 CPUtime=0.08 cores=1,3,5,7
/proc/10861/task/10921/stat : 10921 (java) S 10858 10861 9800 0 -1 1077944384 9 13271 0 0 0 0 5 3 20 0 15 0 47881394 11180277760 274193 33554432000 4194304 4196468 140733139800288 139748169475328 139749301978837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10922] ppid=10858 vsize=10918240 memory=1096772 CPUtime=0.08 cores=1,3,5,7
/proc/10861/task/10922/stat : 10922 (java) S 10858 10861 9800 0 -1 1077944384 3 13271 0 0 0 0 5 3 20 0 15 0 47881396 11180277760 274193 33554432000 4194304 4196468 140733139800288 139747862075856 139749301987227 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10923] ppid=10858 vsize=10918240 memory=1096772 CPUtime=13.88 cores=1,3,5,7
/proc/10861/task/10923/stat : 10923 (java) S 10858 10861 9800 0 -1 1077944384 74380 13271 0 0 1371 9 5 3 20 0 15 0 47881396 11180277760 274193 33554432000 4194304 4196468 140733139800288 139748726212848 139749301979778 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10924] ppid=10858 vsize=10918240 memory=1096772 CPUtime=14.38 cores=1,3,5,7
/proc/10861/task/10924/stat : 10924 (java) S 10858 10861 9800 0 -1 1077944384 75762 13271 0 0 1422 8 5 3 20 0 15 0 47881396 11180277760 274193 33554432000 4194304 4196468 140733139800288 139748725160304 139749301979778 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10925] ppid=10858 vsize=10918240 memory=1096772 CPUtime=5.24 cores=1,3,5,7
/proc/10861/task/10925/stat : 10925 (java) S 10858 10861 9800 0 -1 1077944384 78474 13271 0 0 506 10 5 3 20 0 15 0 47881396 11180277760 274193 33554432000 4194304 4196468 140733139800288 139748724107248 139749301979778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10926] ppid=10858 vsize=10918240 memory=1096772 CPUtime=0.08 cores=1,3,5,7
/proc/10861/task/10926/stat : 10926 (java) S 10858 10861 9800 0 -1 1077944384 3 13271 0 0 0 0 5 3 20 0 15 0 47881397 11180277760 274193 33554432000 4194304 4196468 140733139800288 139747828517216 139749301978837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10927] ppid=10858 vsize=10918240 memory=1096772 CPUtime=1.29 cores=1,3,5,7
/proc/10861/task/10927/stat : 10927 (java) S 10858 10861 9800 0 -1 1077944384 2507 13271 0 0 57 64 5 3 20 0 15 0 47881397 11180277760 274193 33554432000 4194304 4196468 140733139800288 139748723055664 139749301979778 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
Current children cumulated CPU time: 2391.46 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1096772 KiB

[startup+2382.3 s]
/proc/loadavg: 1.61 1.60 1.59 3/215 11152
/proc/meminfo: memFree=11494392/32770624 swapFree=67108860/67108860
[pid=10861] ppid=10858 vsize=10918240 memory=1096776 CPUtime=2452.37 cores=1,3,5,7
/proc/10861/stat : 10861 (java) S 10858 10861 9800 0 -1 1077944320 405999 13271 0 0 244831 398 5 3 20 0 15 0 47881382 11180277760 274194 33554432000 4194304 4196468 140733139800288 140733139782832 139749301968631 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
/proc/10861/statm: 2729560 274194 3536 1 0 2691213 0
[pid=10861/tid=10914] ppid=10858 vsize=10918240 memory=1788 CPUtime=2361.04 cores=1,3,5,7
/proc/10861/task/10914/stat : 10914 (java) R 10858 10861 9800 0 -1 4202560 102610 13271 0 0 236047 49 5 3 20 0 15 0 47881391 11180277760 274194 33554432000 4194304 4196468 140733139800288 139749273802400 139748884420524 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10915] ppid=10858 vsize=10918240 memory=1952 CPUtime=12.56 cores=1,3,5,7
/proc/10861/task/10915/stat : 10915 (java) S 10858 10861 9800 0 -1 1077944384 15093 13271 0 0 1184 64 5 3 20 0 15 0 47881392 11180277760 274194 33554432000 4194304 4196468 140733139800288 139749306210832 139749301978837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10916] ppid=10858 vsize=10918240 memory=1096776 CPUtime=12.68 cores=1,3,5,7
/proc/10861/task/10916/stat : 10916 (java) S 10858 10861 9800 0 -1 1077944384 14439 13271 0 0 1194 66 5 3 20 0 15 0 47881392 11180277760 274194 33554432000 4194304 4196468 140733139800288 139749194484368 139749301978837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10917] ppid=10858 vsize=10918240 memory=516 CPUtime=12.63 cores=1,3,5,7
/proc/10861/task/10917/stat : 10917 (java) S 10858 10861 9800 0 -1 1077944384 16336 13271 0 0 1194 61 5 3 20 0 15 0 47881392 11180277760 274194 33554432000 4194304 4196468 140733139800288 139749193431312 139749301978837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10918] ppid=10858 vsize=10918240 memory=1096772 CPUtime=12.64 cores=1,3,5,7
/proc/10861/task/10918/stat : 10918 (java) S 10858 10861 9800 0 -1 1077944384 9299 13271 0 0 1195 61 5 3 20 0 15 0 47881392 11180277760 274194 33554432000 4194304 4196468 140733139800288 139749192378768 139749301978837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10919] ppid=10858 vsize=10918240 memory=1096776 CPUtime=6.61 cores=1,3,5,7
/proc/10861/task/10919/stat : 10919 (java) S 10858 10861 9800 0 -1 1077944384 14806 13271 0 0 613 40 5 3 20 0 15 0 47881393 11180277760 274194 33554432000 4194304 4196468 140733139800288 139748760824560 139749301979778 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10920] ppid=10858 vsize=10918240 memory=1096776 CPUtime=0.08 cores=1,3,5,7
/proc/10861/task/10920/stat : 10920 (java) S 10858 10861 9800 0 -1 1077944384 55 13271 0 0 0 0 5 3 20 0 15 0 47881394 11180277760 274194 33554432000 4194304 4196468 140733139800288 139748759770848 139749301978837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10921] ppid=10858 vsize=10918240 memory=1096776 CPUtime=0.08 cores=1,3,5,7
/proc/10861/task/10921/stat : 10921 (java) S 10858 10861 9800 0 -1 1077944384 9 13271 0 0 0 0 5 3 20 0 15 0 47881394 11180277760 274194 33554432000 4194304 4196468 140733139800288 139748169475328 139749301978837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10922] ppid=10858 vsize=10918240 memory=1096776 CPUtime=0.08 cores=1,3,5,7
/proc/10861/task/10922/stat : 10922 (java) S 10858 10861 9800 0 -1 1077944384 3 13271 0 0 0 0 5 3 20 0 15 0 47881396 11180277760 274194 33554432000 4194304 4196468 140733139800288 139747862075856 139749301987227 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10923] ppid=10858 vsize=10918240 memory=1096776 CPUtime=13.88 cores=1,3,5,7
/proc/10861/task/10923/stat : 10923 (java) S 10858 10861 9800 0 -1 1077944384 74384 13271 0 0 1371 9 5 3 20 0 15 0 47881396 11180277760 274194 33554432000 4194304 4196468 140733139800288 139748726212848 139749301979778 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10924] ppid=10858 vsize=10918240 memory=1096776 CPUtime=14.38 cores=1,3,5,7
/proc/10861/task/10924/stat : 10924 (java) S 10858 10861 9800 0 -1 1077944384 75766 13271 0 0 1422 8 5 3 20 0 15 0 47881396 11180277760 274194 33554432000 4194304 4196468 140733139800288 139748725160304 139749301979778 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10925] ppid=10858 vsize=10918240 memory=1096776 CPUtime=5.24 cores=1,3,5,7
/proc/10861/task/10925/stat : 10925 (java) S 10858 10861 9800 0 -1 1077944384 78478 13271 0 0 506 10 5 3 20 0 15 0 47881396 11180277760 274194 33554432000 4194304 4196468 140733139800288 139748724107248 139749301979778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10926] ppid=10858 vsize=10918240 memory=1096776 CPUtime=0.08 cores=1,3,5,7
/proc/10861/task/10926/stat : 10926 (java) S 10858 10861 9800 0 -1 1077944384 3 13271 0 0 0 0 5 3 20 0 15 0 47881397 11180277760 274194 33554432000 4194304 4196468 140733139800288 139747828517216 139749301978837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10927] ppid=10858 vsize=10918240 memory=1096776 CPUtime=1.32 cores=1,3,5,7
/proc/10861/task/10927/stat : 10927 (java) S 10858 10861 9800 0 -1 1077944384 2526 13271 0 0 58 66 5 3 20 0 15 0 47881397 11180277760 274194 33554432000 4194304 4196468 140733139800288 139748723055664 139749301979778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
Current children cumulated CPU time: 2452.37 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1096776 KiB

[startup+2442.3 s]
/proc/loadavg: 1.67 1.62 1.60 3/215 11410
/proc/meminfo: memFree=15660624/32770624 swapFree=67108860/67108860
[pid=10861] ppid=10858 vsize=10918240 memory=1092696 CPUtime=2513.29 cores=1,3,5,7
/proc/10861/stat : 10861 (java) S 10858 10861 9800 0 -1 1077944320 408402 13271 0 0 250916 405 5 3 20 0 15 0 47881382 11180277760 273174 33554432000 4194304 4196468 140733139800288 140733139782832 139749301968631 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
/proc/10861/statm: 2729560 273174 3536 1 0 2691213 0
[pid=10861/tid=10914] ppid=10858 vsize=10918240 memory=1092696 CPUtime=2420.49 cores=1,3,5,7
/proc/10861/task/10914/stat : 10914 (java) R 10858 10861 9800 0 -1 4202560 103624 13271 0 0 241990 51 5 3 20 0 15 0 47881391 11180277760 273174 33554432000 4194304 4196468 140733139800288 139749273803568 139748858495104 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10915] ppid=10858 vsize=10918240 memory=1096788 CPUtime=12.87 cores=1,3,5,7
/proc/10861/task/10915/stat : 10915 (java) S 10858 10861 9800 0 -1 1077944384 15193 13271 0 0 1214 65 5 3 20 0 15 0 47881392 11180277760 273174 33554432000 4194304 4196468 140733139800288 139749306210832 139749301978837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10916] ppid=10858 vsize=10918240 memory=1096788 CPUtime=12.99 cores=1,3,5,7
/proc/10861/task/10916/stat : 10916 (java) S 10858 10861 9800 0 -1 1077944384 14850 13271 0 0 1225 66 5 3 20 0 15 0 47881392 11180277760 273174 33554432000 4194304 4196468 140733139800288 139749194484368 139749301978837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10917] ppid=10858 vsize=10918240 memory=1096788 CPUtime=12.94 cores=1,3,5,7
/proc/10861/task/10917/stat : 10917 (java) S 10858 10861 9800 0 -1 1077944384 16640 13271 0 0 1225 61 5 3 20 0 15 0 47881392 11180277760 273174 33554432000 4194304 4196468 140733139800288 139749193431312 139749301978837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10918] ppid=10858 vsize=10918240 memory=1095756 CPUtime=12.96 cores=1,3,5,7
/proc/10861/task/10918/stat : 10918 (java) S 10858 10861 9800 0 -1 1077944384 9517 13271 0 0 1226 62 5 3 20 0 15 0 47881392 11180277760 273174 33554432000 4194304 4196468 140733139800288 139749192378768 139749301978837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10919] ppid=10858 vsize=10918240 memory=1093192 CPUtime=6.78 cores=1,3,5,7
/proc/10861/task/10919/stat : 10919 (java) S 10858 10861 9800 0 -1 1077944384 15130 13271 0 0 629 41 5 3 20 0 15 0 47881393 11180277760 273174 33554432000 4194304 4196468 140733139800288 139748760824560 139749301979778 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10920] ppid=10858 vsize=10918240 memory=1092696 CPUtime=0.08 cores=1,3,5,7
/proc/10861/task/10920/stat : 10920 (java) S 10858 10861 9800 0 -1 1077944384 55 13271 0 0 0 0 5 3 20 0 15 0 47881394 11180277760 273174 33554432000 4194304 4196468 140733139800288 139748759770848 139749301978837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10921] ppid=10858 vsize=10918240 memory=1096776 CPUtime=0.08 cores=1,3,5,7
/proc/10861/task/10921/stat : 10921 (java) S 10858 10861 9800 0 -1 1077944384 9 13271 0 0 0 0 5 3 20 0 15 0 47881394 11180277760 273174 33554432000 4194304 4196468 140733139800288 139748169475328 139749301978837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10922] ppid=10858 vsize=10918240 memory=1094732 CPUtime=0.08 cores=1,3,5,7
/proc/10861/task/10922/stat : 10922 (java) S 10858 10861 9800 0 -1 1077944384 3 13271 0 0 0 0 5 3 20 0 15 0 47881396 11180277760 273174 33554432000 4194304 4196468 140733139800288 139747862075856 139749301987227 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10923] ppid=10858 vsize=10918240 memory=1096788 CPUtime=13.88 cores=1,3,5,7
/proc/10861/task/10923/stat : 10923 (java) S 10858 10861 9800 0 -1 1077944384 74386 13271 0 0 1371 9 5 3 20 0 15 0 47881396 11180277760 273174 33554432000 4194304 4196468 140733139800288 139748726212848 139749301979778 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10924] ppid=10858 vsize=10918240 memory=1095756 CPUtime=14.38 cores=1,3,5,7
/proc/10861/task/10924/stat : 10924 (java) S 10858 10861 9800 0 -1 1077944384 75768 13271 0 0 1422 8 5 3 20 0 15 0 47881396 11180277760 273174 33554432000 4194304 4196468 140733139800288 139748725160304 139749301979778 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10925] ppid=10858 vsize=10918240 memory=1096268 CPUtime=5.24 cores=1,3,5,7
/proc/10861/task/10925/stat : 10925 (java) S 10858 10861 9800 0 -1 1077944384 78480 13271 0 0 506 10 5 3 20 0 15 0 47881396 11180277760 273174 33554432000 4194304 4196468 140733139800288 139748724107248 139749301979778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10926] ppid=10858 vsize=10918240 memory=1096784 CPUtime=0.08 cores=1,3,5,7
/proc/10861/task/10926/stat : 10926 (java) S 10858 10861 9800 0 -1 1077944384 3 13271 0 0 0 0 5 3 20 0 15 0 47881397 11180277760 273174 33554432000 4194304 4196468 140733139800288 139747828517216 139749301978837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10927] ppid=10858 vsize=10918240 memory=1092696 CPUtime=1.36 cores=1,3,5,7
/proc/10861/task/10927/stat : 10927 (java) S 10858 10861 9800 0 -1 1077944384 2552 13271 0 0 60 68 5 3 20 0 15 0 47881397 11180277760 273174 33554432000 4194304 4196468 140733139800288 139748723055664 139749301979778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
Current children cumulated CPU time: 2513.29 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1092696 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2449 s]*
/proc/loadavg: 1.64 1.61 1.60 3/215 11410
/proc/meminfo: memFree=15640392/32770624 swapFree=67108860/67108860
[pid=10861] ppid=10858 vsize=10918240 memory=1092696 CPUtime=2520.09 cores=1,3,5,7
/proc/10861/stat : 10861 (java) S 10858 10861 9800 0 -1 1077944320 408441 13271 0 0 251596 405 5 3 20 0 15 0 47881382 11180277760 273174 33554432000 4194304 4196468 140733139800288 140733139782832 139749301968631 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
/proc/10861/statm: 2729560 273174 3536 1 0 2691213 0
[pid=10861/tid=10914] ppid=10858 vsize=10918240 memory=1444 CPUtime=2427.14 cores=1,3,5,7
/proc/10861/task/10914/stat : 10914 (java) R 10858 10861 9800 0 -1 4202560 103648 13271 0 0 242655 51 5 3 20 0 15 0 47881391 11180277760 273174 33554432000 4194304 4196468 140733139800288 139749273803744 139748874652349 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10915] ppid=10858 vsize=10918240 memory=5520 CPUtime=12.92 cores=1,3,5,7
/proc/10861/task/10915/stat : 10915 (java) S 10858 10861 9800 0 -1 1077944384 15193 13271 0 0 1218 66 5 3 20 0 15 0 47881392 11180277760 273174 33554432000 4194304 4196468 140733139800288 139749306210832 139749301978837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10916] ppid=10858 vsize=10918240 memory=4126316290023845779 CPUtime=13.02 cores=1,3,5,7
/proc/10861/task/10916/stat : 10916 (java) S 10858 10861 9800 0 -1 1077944384 14852 13271 0 0 1228 66 5 3 20 0 15 0 47881392 11180277760 273174 33554432000 4194304 4196468 140733139800288 139749194484368 139749301978837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10917] ppid=10858 vsize=10918240 memory=4008 CPUtime=12.98 cores=1,3,5,7
/proc/10861/task/10917/stat : 10917 (java) S 10858 10861 9800 0 -1 1077944384 16640 13271 0 0 1228 62 5 3 20 0 15 0 47881392 11180277760 273174 33554432000 4194304 4196468 140733139800288 139749193431312 139749301978837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10918] ppid=10858 vsize=10918240 memory=18460 CPUtime=12.99 cores=1,3,5,7
/proc/10861/task/10918/stat : 10918 (java) S 10858 10861 9800 0 -1 1077944384 9517 13271 0 0 1229 62 5 3 20 0 15 0 47881392 11180277760 273174 33554432000 4194304 4196468 140733139800288 139749192378768 139749301978837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10919] ppid=10858 vsize=10918240 memory=10604 CPUtime=6.8 cores=1,3,5,7
/proc/10861/task/10919/stat : 10919 (java) S 10858 10861 9800 0 -1 1077944384 15141 13271 0 0 631 41 5 3 20 0 15 0 47881393 11180277760 273174 33554432000 4194304 4196468 140733139800288 139748760824560 139749301979778 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10920] ppid=10858 vsize=10918240 memory=1788 CPUtime=0.08 cores=1,3,5,7
/proc/10861/task/10920/stat : 10920 (java) S 10858 10861 9800 0 -1 1077944384 55 13271 0 0 0 0 5 3 20 0 15 0 47881394 11180277760 273174 33554432000 4194304 4196468 140733139800288 139748759770848 139749301978837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10921] ppid=10858 vsize=10918240 memory=644 CPUtime=0.08 cores=1,3,5,7
/proc/10861/task/10921/stat : 10921 (java) S 10858 10861 9800 0 -1 1077944384 9 13271 0 0 0 0 5 3 20 0 15 0 47881394 11180277760 273174 33554432000 4194304 4196468 140733139800288 139748169475328 139749301978837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10922] ppid=10858 vsize=10918240 memory=952 CPUtime=0.08 cores=1,3,5,7
/proc/10861/task/10922/stat : 10922 (java) S 10858 10861 9800 0 -1 1077944384 3 13271 0 0 0 0 5 3 20 0 15 0 47881396 11180277760 273174 33554432000 4194304 4196468 140733139800288 139747862075856 139749301987227 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10923] ppid=10858 vsize=10918240 memory=1236 CPUtime=13.88 cores=1,3,5,7
/proc/10861/task/10923/stat : 10923 (java) S 10858 10861 9800 0 -1 1077944384 74386 13271 0 0 1371 9 5 3 20 0 15 0 47881396 11180277760 273174 33554432000 4194304 4196468 140733139800288 139748726212848 139749301979778 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10924] ppid=10858 vsize=10918240 memory=2340 CPUtime=14.38 cores=1,3,5,7
/proc/10861/task/10924/stat : 10924 (java) S 10858 10861 9800 0 -1 1077944384 75768 13271 0 0 1422 8 5 3 20 0 15 0 47881396 11180277760 273174 33554432000 4194304 4196468 140733139800288 139748725160304 139749301979778 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10925] ppid=10858 vsize=10918240 memory=1576 CPUtime=5.24 cores=1,3,5,7
/proc/10861/task/10925/stat : 10925 (java) S 10858 10861 9800 0 -1 1077944384 78480 13271 0 0 506 10 5 3 20 0 15 0 47881396 11180277760 273174 33554432000 4194304 4196468 140733139800288 139748724107248 139749301979778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10926] ppid=10858 vsize=10918240 memory=928 CPUtime=0.08 cores=1,3,5,7
/proc/10861/task/10926/stat : 10926 (java) S 10858 10861 9800 0 -1 1077944384 3 13271 0 0 0 0 5 3 20 0 15 0 47881397 11180277760 273174 33554432000 4194304 4196468 140733139800288 139747828517216 139749301978837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
[pid=10861/tid=10927] ppid=10858 vsize=10918240 memory=2240 CPUtime=1.36 cores=1,3,5,7
/proc/10861/task/10927/stat : 10927 (java) S 10858 10861 9800 0 -1 1077944384 2554 13271 0 0 60 68 5 3 20 0 15 0 47881397 11180277760 273174 33554432000 4194304 4196468 140733139800288 139748723055664 139749301979778 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9203712 140733139802283 140733139805532 140733139805532 140733139808207 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1092696 KiB

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

[startup+2449.04 s]
# the end of solver process 10861 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.03 s, system=4.1008 s

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

Child status: 143
Real time (s): 2449.04
CPU time (s): 2520.13
CPU user time (s): 2516.03
CPU system time (s): 4.1008
CPU usage (%): 102.903
Max. virtual memory (cumulated for all children) (KiB): 10918240
Max. memory (cumulated for all children) (KiB): 2314796

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.03
system time used= 4.1008
maximum resident set size= 2314796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 422746
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3400
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 199542
involuntary context switches= 4874


# summary of solver processes directly reported to runsolver:
#   pid: 10861
#   total CPU time (s): 2520.13
#   total CPU user time (s): 2516.03
#   total CPU system time (s): 4.1008

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.7081 second user time and 24.1263 second system time

The end

Launcher Data 

Begin job on node106 at 2018-07-23 01:46:25
IDJOB=4292994
IDBENCH=141056
IDSOLVER=2751
FILE ID=node106/4292994-1532303185
RUNJOBID= node106-1532295772-9832
PBS_JOBID= 21018983
Free space on /tmp= 53004 MiB

SOLVER NAME= Concrete 3.8-SuperNG 2018-06-13
BENCH NAME= XCSP18/NurseRostering/NurseRostering-17_c18.xml
COMMAND LINE= concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED -superng BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4292994-1532303185/watcher-4292994-1532303185 -o /tmp/evaluation-result-4292994-1532303185/solver-4292994-1532303185 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532295772-9832 --watchdog 2580  concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=2050438511 -superng HOME/instance-4292994-1532303185.xml

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

MD5SUM BENCH= e10494f4d2f2bb4c080233ff8f9dca75
RANDOM SEED=2050438511

node106.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	: 5334.11
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	: 5334.11
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	: 5334.11
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	: 5334.11
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:        16931764 kB
MemAvailable:   30774964 kB
Buffers:          253336 kB
Cached:         13678096 kB
SwapCached:            0 kB
Active:          2539828 kB
Inactive:       12607456 kB
Active(anon):    1218560 kB
Inactive(anon):    17096 kB
Active(file):    1321268 kB
Inactive(file): 12590360 kB
Unevictable:        6920 kB
Mlocked:            6920 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             26564 kB
Writeback:             0 kB
AnonPages:       1222848 kB
Mapped:            49628 kB
Shmem:             17036 kB
Slab:             387164 kB
SReclaimable:     360032 kB
SUnreclaim:        27132 kB
KernelStack:        3504 kB
PageTables:         8056 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1988996 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1116160 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /tmp at the end= 52976 MiB
End job on node106 at 2018-07-23 02:27:14