Trace number 4304186

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.9.2-SuperNG? (TO) 2520.05 2454.53

General information on the benchmark

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

Solver Data 

0.98/0.74	c Concrete v3.9.2.1532736233296 running
19.27/7.20	c 05:39:01.763 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24677. 'extension(4, x[2][1]=[0‥4]) :: init: true :: relation: MDD 1327714567, 9 edges, 5 vertices, 6 tuples
19.27/7.20	c 05:39:01.771 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24680. 'extension(4, 4) :: init: true :: relation: MDD 1327714567, 9 edges, 5 vertices, 6 tuples
19.27/7.20	c 05:39:01.771 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24681. 'extension(4, 4) :: init: true :: relation: MDD 1916224178, 5 edges, 3 vertices, 4 tuples
19.27/7.20	c 05:39:01.772 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24706. 'extension(x[0][27]=[0‥4], 4) :: init: true :: relation: MDD 883349979, 9 edges, 5 vertices, 6 tuples
19.27/7.21	c 05:39:01.774 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24735. 'extension(x[1][14]=[0‥4], 4) :: init: true :: relation: MDD 394645908, 9 edges, 5 vertices, 6 tuples
19.27/7.21	c 05:39:01.775 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24766. 'extension(x[1][16]=[0‥4], 4) :: init: true :: relation: MDD 1978141335, 9 edges, 5 vertices, 6 tuples
19.27/7.21	c 05:39:01.776 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24767. 'extension(4, x[3][16]=[0‥4]) :: init: true :: relation: MDD 1978141335, 9 edges, 5 vertices, 6 tuples
19.27/7.21	c 05:39:01.778 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24800. 'extension(4, 4) :: init: true :: relation: MDD 883349979, 9 edges, 5 vertices, 6 tuples
19.27/7.21	c 05:39:01.779 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24828. 'extension(x[2][10]=[0‥4], 4) :: init: true :: relation: MDD 918584437, 9 edges, 5 vertices, 6 tuples
19.27/7.21	c 05:39:01.780 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24863. 'extension(4, 4) :: init: true :: relation: MDD 394645908, 9 edges, 5 vertices, 6 tuples
19.27/7.21	c 05:39:01.781 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24892. 'extension(4, x[4][27]=[0‥4]) :: init: true :: relation: MDD 883349979, 9 edges, 5 vertices, 6 tuples
19.27/7.21	c 05:39:01.782 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24895. 'extension(4, 4) :: init: true :: relation: MDD 883349979, 9 edges, 5 vertices, 6 tuples
19.27/7.21	c 05:39:01.784 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24924. 'extension(4, x[5][10]=[0‥4]) :: init: true :: relation: MDD 918584437, 9 edges, 5 vertices, 6 tuples
19.27/7.22	c 05:39:01.785 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24927. 'extension(4, 4) :: init: true :: relation: MDD 918584437, 9 edges, 5 vertices, 6 tuples
19.27/7.22	c 05:39:01.786 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24957. 'extension(x[3][13]=[0‥4], 4) :: init: true :: relation: MDD 1307540790, 9 edges, 5 vertices, 6 tuples
19.27/7.22	c 05:39:01.787 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24993. 'extension(4, 4) :: init: true :: relation: MDD 394645908, 9 edges, 5 vertices, 6 tuples
19.27/7.22	c 05:39:01.788 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25023. 'extension(x[3][25]=[0‥4], 4) :: init: true :: relation: MDD 1499437334, 9 edges, 5 vertices, 6 tuples
19.27/7.22	c 05:39:01.788 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25024. 'extension(4, x[5][25]=[0‥4]) :: init: true :: relation: MDD 1499437334, 9 edges, 5 vertices, 6 tuples
19.27/7.22	c 05:39:01.791 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25056. 'extension(x[3][30]=[0‥4], 4) :: init: true :: relation: MDD 1387948122, 9 edges, 5 vertices, 6 tuples
19.27/7.22	c 05:39:01.792 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25089. 'extension(4, wk[7][0]=[0‥1]) :: init: true :: relation: MDD 1663774813, 5 edges, 3 vertices, 4 tuples
19.27/7.23	c 05:39:01.793 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25090. 'extension(x[4][7]=[0‥4], 4) :: init: true :: relation: MDD 683211146, 9 edges, 5 vertices, 6 tuples
19.27/7.23	c 05:39:01.794 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25124. 'extension(4, wk[13][0]=[0‥1]) :: init: true :: relation: MDD 264138968, 5 edges, 3 vertices, 4 tuples
19.27/7.23	c 05:39:01.794 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25128. 'extension(4, 4) :: init: true :: relation: MDD 1307540790, 9 edges, 5 vertices, 6 tuples
19.27/7.23	c 05:39:01.795 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25159. 'extension(4, wk[14][0]=[0‥1]) :: init: true :: relation: MDD 1483243447, 5 edges, 3 vertices, 4 tuples
19.27/7.23	c 05:39:01.796 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25163. 'extension(4, 4) :: init: true :: relation: MDD 394645908, 9 edges, 5 vertices, 6 tuples
19.27/7.23	c 05:39:01.796 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25194. 'extension(4, wk[20][0]=[0‥1]) :: init: true :: relation: MDD 1186127045, 5 edges, 3 vertices, 4 tuples
19.27/7.23	c 05:39:01.797 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25195. 'extension(x[4][20]=[0‥4], 4) :: init: true :: relation: MDD 1751972013, 9 edges, 5 vertices, 6 tuples
19.27/7.23	c 05:39:01.798 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25229. 'extension(4, wk[21][0]=[0‥1]) :: init: true :: relation: MDD 1727379710, 5 edges, 3 vertices, 4 tuples
19.27/7.23	c 05:39:01.798 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25230. 'extension(x[4][21]=[0‥4], 4) :: init: true :: relation: MDD 1416549024, 9 edges, 5 vertices, 6 tuples
19.27/7.23	c 05:39:01.799 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25231. 'extension(4, x[6][21]=[0‥4]) :: init: true :: relation: MDD 1416549024, 9 edges, 5 vertices, 6 tuples
19.27/7.23	c 05:39:01.800 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25264. 'extension(4, wk[30][0]=[0‥1]) :: init: true :: relation: MDD 1675999402, 5 edges, 3 vertices, 4 tuples
19.27/7.23	c 05:39:01.801 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25268. 'extension(4, 4) :: init: true :: relation: MDD 1387948122, 9 edges, 5 vertices, 6 tuples
19.27/7.23	c 05:39:01.802 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25298. 'extension(4, wk[5][0]=[0‥1]) :: init: true :: relation: MDD 1208794670, 5 edges, 3 vertices, 4 tuples
19.27/7.23	c 05:39:01.803 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25299. 'extension(x[5][5]=[0‥4], 4) :: init: true :: relation: MDD 322100932, 9 edges, 5 vertices, 6 tuples
19.27/7.23	c 05:39:01.803 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25333. 'extension(4, wk[7][0]=[0‥1]) :: init: true :: relation: MDD 1476245668, 5 edges, 3 vertices, 4 tuples
19.27/7.23	c 05:39:01.804 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25337. 'extension(4, 4) :: init: true :: relation: MDD 683211146, 9 edges, 5 vertices, 6 tuples
19.27/7.24	c 05:39:01.805 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25368. 'extension(4, wk[13][0]=[0‥1]) :: init: true :: relation: MDD 2100048989, 5 edges, 3 vertices, 4 tuples
19.27/7.24	c 05:39:01.805 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25372. 'extension(4, 4) :: init: true :: relation: MDD 1307540790, 9 edges, 5 vertices, 6 tuples
19.27/7.24	c 05:39:01.806 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25403. 'extension(4, wk[14][0]=[0‥1]) :: init: true :: relation: MDD 976949492, 5 edges, 3 vertices, 4 tuples
19.27/7.24	c 05:39:01.806 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25404. 'extension(4, x[7][14]=[0‥4]) :: init: true :: relation: MDD 394645908, 9 edges, 5 vertices, 6 tuples
19.27/7.24	c 05:39:01.807 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25407. 'extension(4, 4) :: init: true :: relation: MDD 394645908, 9 edges, 5 vertices, 6 tuples
19.27/7.24	c 05:39:01.808 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25438. 'extension(4, wk[16][0]=[0‥1]) :: init: true :: relation: MDD 1153180745, 5 edges, 3 vertices, 4 tuples
19.27/7.24	c 05:39:01.809 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25439. 'extension(x[5][16]=[0‥4], 4) :: init: true :: relation: MDD 1978141335, 9 edges, 5 vertices, 6 tuples
19.27/7.24	c 05:39:01.810 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25473. 'extension(4, wk[20][0]=[0‥1]) :: init: true :: relation: MDD 1886350630, 5 edges, 3 vertices, 4 tuples
19.27/7.24	c 05:39:01.810 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25477. 'extension(4, 4) :: init: true :: relation: MDD 1751972013, 9 edges, 5 vertices, 6 tuples
19.27/7.24	c 05:39:01.811 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25508. 'extension(4, wk[22][0]=[0‥1]) :: init: true :: relation: MDD 856937591, 5 edges, 3 vertices, 4 tuples
19.27/7.24	c 05:39:01.811 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25509. 'extension(x[5][22]=[0‥4], 4) :: init: true :: relation: MDD 426123784, 9 edges, 5 vertices, 6 tuples
19.27/7.25	c 05:39:01.812 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25543. 'extension(4, wk[30][0]=[0‥1]) :: init: true :: relation: MDD 1114681666, 5 edges, 3 vertices, 4 tuples
19.27/7.25	c 05:39:01.813 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25547. 'extension(4, 4) :: init: true :: relation: MDD 1387948122, 9 edges, 5 vertices, 6 tuples
19.27/7.25	c 05:39:01.814 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25580. 'extension(4, 4) :: init: true :: relation: MDD 322100932, 9 edges, 5 vertices, 6 tuples
19.27/7.25	c 05:39:01.814 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25611. 'extension(4, x[8][7]=[0‥4]) :: init: true :: relation: MDD 683211146, 9 edges, 5 vertices, 6 tuples
19.27/7.25	c 05:39:01.815 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25614. 'extension(4, 4) :: init: true :: relation: MDD 683211146, 9 edges, 5 vertices, 6 tuples
19.27/7.25	c 05:39:01.816 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25645. 'extension(4, x[8][13]=[0‥4]) :: init: true :: relation: MDD 1307540790, 9 edges, 5 vertices, 6 tuples
19.27/7.25	c 05:39:01.817 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25648. 'extension(4, 4) :: init: true :: relation: MDD 1307540790, 9 edges, 5 vertices, 6 tuples
19.27/7.25	c 05:39:01.818 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25679. 'extension(4, x[8][16]=[0‥4]) :: init: true :: relation: MDD 1978141335, 9 edges, 5 vertices, 6 tuples
19.27/7.25	c 05:39:01.819 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25682. 'extension(4, 4) :: init: true :: relation: MDD 1978141335, 9 edges, 5 vertices, 6 tuples
19.27/7.25	c 05:39:01.820 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25713. 'extension(4, x[8][20]=[0‥4]) :: init: true :: relation: MDD 1751972013, 9 edges, 5 vertices, 6 tuples
19.27/7.25	c 05:39:01.821 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25716. 'extension(4, 4) :: init: true :: relation: MDD 1751972013, 9 edges, 5 vertices, 6 tuples
19.27/7.25	c 05:39:01.822 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25750. 'extension(4, 4) :: init: true :: relation: MDD 426123784, 9 edges, 5 vertices, 6 tuples
19.27/7.25	c 05:39:01.822 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25781. 'extension(4, x[8][30]=[0‥4]) :: init: true :: relation: MDD 1387948122, 9 edges, 5 vertices, 6 tuples
19.27/7.25	c 05:39:01.823 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25784. 'extension(4, 4) :: init: true :: relation: MDD 1387948122, 9 edges, 5 vertices, 6 tuples
19.27/7.26	c 05:39:01.824 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25814. 'extension(4, x[9][5]=[0‥4]) :: init: true :: relation: MDD 322100932, 9 edges, 5 vertices, 6 tuples
19.27/7.26	c 05:39:01.825 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25817. 'extension(4, 4) :: init: true :: relation: MDD 322100932, 9 edges, 5 vertices, 6 tuples
19.27/7.26	c 05:39:01.826 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25848. 'extension(x[7][19]=[0‥4], 4) :: init: true :: relation: MDD 1747862060, 9 edges, 5 vertices, 6 tuples
19.27/7.26	c 05:39:01.827 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25885. 'extension(4, 4) :: init: true :: relation: MDD 426123784, 9 edges, 5 vertices, 6 tuples
19.27/7.26	c 05:39:01.828 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25919. 'extension(4, 4) :: init: true :: relation: MDD 1747862060, 9 edges, 5 vertices, 6 tuples
19.27/7.26	c 05:39:01.829 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25953. 'extension(4, 4) :: init: true :: relation: MDD 426123784, 9 edges, 5 vertices, 6 tuples
19.27/7.26	c 05:39:01.829 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25984. 'extension(x[8][23]=[0‥4], 4) :: init: true :: relation: MDD 154923232, 9 edges, 5 vertices, 6 tuples
19.27/7.26	c 05:39:01.830 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26021. 'extension(4, 4) :: init: true :: relation: MDD 1747862060, 9 edges, 5 vertices, 6 tuples
19.27/7.26	c 05:39:01.831 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26052. 'extension(4, x[11][22]=[0‥4]) :: init: true :: relation: MDD 426123784, 9 edges, 5 vertices, 6 tuples
19.27/7.26	c 05:39:01.831 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26055. 'extension(4, 4) :: init: true :: relation: MDD 426123784, 9 edges, 5 vertices, 6 tuples
19.27/7.26	c 05:39:01.833 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26089. 'extension(4, 4) :: init: true :: relation: MDD 154923232, 9 edges, 5 vertices, 6 tuples
19.27/7.26	c 05:39:01.834 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26120. 'extension(x[9][26]=[0‥4], 4) :: init: true :: relation: MDD 339734447, 9 edges, 5 vertices, 6 tuples
19.27/7.26	c 05:39:01.834 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26121. 'extension(4, x[11][26]=[0‥4]) :: init: true :: relation: MDD 339734447, 9 edges, 5 vertices, 6 tuples
19.27/7.27	c 05:39:01.836 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26154. 'extension(4, x[12][19]=[0‥4]) :: init: true :: relation: MDD 1747862060, 9 edges, 5 vertices, 6 tuples
19.27/7.27	c 05:39:01.837 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26157. 'extension(4, 4) :: init: true :: relation: MDD 1747862060, 9 edges, 5 vertices, 6 tuples
19.27/7.27	c 05:39:01.838 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26191. 'extension(4, 4) :: init: true :: relation: MDD 154923232, 9 edges, 5 vertices, 6 tuples
19.27/7.27	c 05:39:01.839 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26222. 'extension(4, wk[13][1]=[0‥1]) :: init: true :: relation: MDD 1572423881, 5 edges, 3 vertices, 4 tuples
19.27/7.28	c 05:39:01.839 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26223. 'extension(x[11][13]=[0‥4], 4) :: init: true :: relation: MDD 1307540790, 9 edges, 5 vertices, 6 tuples
19.27/7.28	c 05:39:01.840 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26224. 'extension(4, x[13][13]=[0‥4]) :: init: true :: relation: MDD 1307540790, 9 edges, 5 vertices, 6 tuples
19.27/7.28	c 05:39:01.842 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26257. 'extension(4, wk[23][1]=[0‥1]) :: init: true :: relation: MDD 132423149, 5 edges, 3 vertices, 4 tuples
19.27/7.28	c 05:39:01.842 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26261. 'extension(4, 4) :: init: true :: relation: MDD 154923232, 9 edges, 5 vertices, 6 tuples
19.27/7.28	c 05:39:01.843 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26292. 'extension(4, wk[2][1]=[0‥1]) :: init: true :: relation: MDD 1415638483, 5 edges, 3 vertices, 4 tuples
19.27/7.28	c 05:39:01.843 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26293. 'extension(x[12][2]=[0‥4], 4) :: init: true :: relation: MDD 725873428, 9 edges, 5 vertices, 6 tuples
19.27/7.28	c 05:39:01.844 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26327. 'extension(4, wk[23][1]=[0‥1]) :: init: true :: relation: MDD 611890729, 5 edges, 3 vertices, 4 tuples
19.27/7.28	c 05:39:01.844 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26328. 'extension(4, x[14][23]=[0‥4]) :: init: true :: relation: MDD 154923232, 9 edges, 5 vertices, 6 tuples
19.27/7.28	c 05:39:01.845 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26331. 'extension(4, 4) :: init: true :: relation: MDD 154923232, 9 edges, 5 vertices, 6 tuples
19.27/7.28	c 05:39:01.847 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26362. 'extension(4, x[15][2]=[0‥4]) :: init: true :: relation: MDD 725873428, 9 edges, 5 vertices, 6 tuples
19.27/7.28	c 05:39:01.847 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26365. 'extension(4, 4) :: init: true :: relation: MDD 725873428, 9 edges, 5 vertices, 6 tuples
19.27/7.28	c 05:39:01.848 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26396. 'extension(x[13][6]=[0‥4], 4) :: init: true :: relation: MDD 651828130, 9 edges, 5 vertices, 6 tuples
19.27/7.28	c 05:39:01.850 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26433. 'extension(4, 4) :: init: true :: relation: MDD 651828130, 9 edges, 5 vertices, 6 tuples
19.27/7.28	c 05:39:01.850 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26464. 'extension(x[14][7]=[0‥4], 4) :: init: true :: relation: MDD 683211146, 9 edges, 5 vertices, 6 tuples
19.27/7.28	c 05:39:01.850 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26465. 'extension(4, x[16][7]=[0‥4]) :: init: true :: relation: MDD 683211146, 9 edges, 5 vertices, 6 tuples
19.27/7.28	c 05:39:01.852 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26498. 'extension(x[14][10]=[0‥4], 4) :: init: true :: relation: MDD 918584437, 9 edges, 5 vertices, 6 tuples
19.27/7.28	c 05:39:01.852 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26499. 'extension(4, x[16][10]=[0‥4]) :: init: true :: relation: MDD 918584437, 9 edges, 5 vertices, 6 tuples
19.27/7.29	c 05:39:01.854 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26532. 'extension(4, x[17][6]=[0‥4]) :: init: true :: relation: MDD 651828130, 9 edges, 5 vertices, 6 tuples
19.27/7.29	c 05:39:01.855 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26535. 'extension(4, 4) :: init: true :: relation: MDD 651828130, 9 edges, 5 vertices, 6 tuples
19.27/7.29	c 05:39:01.856 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26566. 'extension(x[17][9]=[0‥4], 4) :: init: true :: relation: MDD 1518022811, 9 edges, 5 vertices, 6 tuples
19.27/7.29	c 05:39:01.858 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26600. 'extension(4, wk[4][2]=[0‥1]) :: init: true :: relation: MDD 658824366, 5 edges, 3 vertices, 4 tuples
19.27/7.29	c 05:39:01.858 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26601. 'extension(x[18][4]=[0‥4], 4) :: init: true :: relation: MDD 431300939, 9 edges, 5 vertices, 6 tuples
19.27/7.29	c 05:39:01.858 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26635. 'extension(4, wk[8][2]=[0‥1]) :: init: true :: relation: MDD 146875684, 5 edges, 3 vertices, 4 tuples
19.27/7.29	c 05:39:01.859 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26636. 'extension(x[18][8]=[0‥4], 4) :: init: true :: relation: MDD 1560244891, 9 edges, 5 vertices, 6 tuples
19.27/7.29	c 05:39:01.859 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26670. 'extension(4, wk[9][2]=[0‥1]) :: init: true :: relation: MDD 1728266914, 5 edges, 3 vertices, 4 tuples
19.27/7.29	c 05:39:01.860 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26674. 'extension(4, 4) :: init: true :: relation: MDD 1518022811, 9 edges, 5 vertices, 6 tuples
19.27/7.29	c 05:39:01.861 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26705. 'extension(4, wk[4][2]=[0‥1]) :: init: true :: relation: MDD 1665967079, 5 edges, 3 vertices, 4 tuples
19.27/7.29	c 05:39:01.861 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26706. 'extension(4, x[21][4]=[0‥4]) :: init: true :: relation: MDD 431300939, 9 edges, 5 vertices, 6 tuples
19.27/7.29	c 05:39:01.861 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26709. 'extension(4, 4) :: init: true :: relation: MDD 431300939, 9 edges, 5 vertices, 6 tuples
19.27/7.29	c 05:39:01.863 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26740. 'extension(4, wk[8][2]=[0‥1]) :: init: true :: relation: MDD 1212453642, 5 edges, 3 vertices, 4 tuples
19.27/7.29	c 05:39:01.863 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26744. 'extension(4, 4) :: init: true :: relation: MDD 1560244891, 9 edges, 5 vertices, 6 tuples
19.27/7.29	c 05:39:01.863 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26775. 'extension(4, wk[9][2]=[0‥1]) :: init: true :: relation: MDD 2000856156, 5 edges, 3 vertices, 4 tuples
19.27/7.29	c 05:39:01.864 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26779. 'extension(4, 4) :: init: true :: relation: MDD 1518022811, 9 edges, 5 vertices, 6 tuples
19.27/7.29	c 05:39:01.864 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26810. 'extension(4, wk[12][2]=[0‥1]) :: init: true :: relation: MDD 379833480, 5 edges, 3 vertices, 4 tuples
19.62/7.30	c 05:39:01.864 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26811. 'extension(x[19][12]=[0‥4], 4) :: init: true :: relation: MDD 700171153, 9 edges, 5 vertices, 6 tuples
19.62/7.30	c 05:39:01.865 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26845. 'extension(4, wk[19][2]=[0‥1]) :: init: true :: relation: MDD 1297189990, 5 edges, 3 vertices, 4 tuples
19.62/7.30	c 05:39:01.865 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26846. 'extension(x[19][19]=[0‥4], 4) :: init: true :: relation: MDD 1747862060, 9 edges, 5 vertices, 6 tuples
19.62/7.30	c 05:39:01.866 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26847. 'extension(4, x[21][19]=[0‥4]) :: init: true :: relation: MDD 1747862060, 9 edges, 5 vertices, 6 tuples
19.62/7.30	c 05:39:01.868 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26880. 'extension(4, x[22][8]=[0‥4]) :: init: true :: relation: MDD 1560244891, 9 edges, 5 vertices, 6 tuples
19.62/7.30	c 05:39:01.869 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26883. 'extension(4, 4) :: init: true :: relation: MDD 1560244891, 9 edges, 5 vertices, 6 tuples
19.62/7.30	c 05:39:01.870 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26914. 'extension(4, x[22][9]=[0‥4]) :: init: true :: relation: MDD 1518022811, 9 edges, 5 vertices, 6 tuples
19.62/7.30	c 05:39:01.870 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26917. 'extension(4, 4) :: init: true :: relation: MDD 1518022811, 9 edges, 5 vertices, 6 tuples
19.62/7.30	c 05:39:01.871 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26948. 'extension(4, x[22][12]=[0‥4]) :: init: true :: relation: MDD 700171153, 9 edges, 5 vertices, 6 tuples
19.62/7.30	c 05:39:01.872 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26951. 'extension(4, 4) :: init: true :: relation: MDD 700171153, 9 edges, 5 vertices, 6 tuples
19.62/7.30	c 05:39:01.873 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26982. 'extension(x[20][18]=[0‥4], 4) :: init: true :: relation: MDD 121521031, 9 edges, 5 vertices, 6 tuples
19.62/7.30	c 05:39:01.874 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27019. 'extension(4, 4) :: init: true :: relation: MDD 121521031, 9 edges, 5 vertices, 6 tuples
19.62/7.31	c 05:39:01.874 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27050. 'extension(x[21][25]=[0‥4], 4) :: init: true :: relation: MDD 1499437334, 9 edges, 5 vertices, 6 tuples
19.62/7.31	c 05:39:01.875 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27051. 'extension(4, x[23][25]=[0‥4]) :: init: true :: relation: MDD 1499437334, 9 edges, 5 vertices, 6 tuples
19.62/7.31	c 05:39:01.877 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27084. 'extension(4, x[24][18]=[0‥4]) :: init: true :: relation: MDD 121521031, 9 edges, 5 vertices, 6 tuples
19.62/7.31	c 05:39:01.877 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27087. 'extension(4, 4) :: init: true :: relation: MDD 121521031, 9 edges, 5 vertices, 6 tuples
19.62/7.31	c 05:39:01.879 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27118. 'extension(x[23][0]=[0‥4], 4) :: init: true :: relation: MDD 1478269879, 9 edges, 5 vertices, 6 tuples
19.62/7.31	c 05:39:01.880 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27152. 'extension(x[23][9]=[0‥4], 4) :: init: true :: relation: MDD 1518022811, 9 edges, 5 vertices, 6 tuples
19.62/7.31	c 05:39:01.880 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27153. 'extension(4, x[25][9]=[0‥4]) :: init: true :: relation: MDD 1518022811, 9 edges, 5 vertices, 6 tuples
19.62/7.32	c 05:39:01.886 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27186. 'extension(x[23][24]=[0‥4], 4) :: init: true :: relation: MDD 1038892935, 9 edges, 5 vertices, 6 tuples
19.62/7.32	c 05:39:01.888 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27220. 'extension(4, x[26][0]=[0‥4]) :: init: true :: relation: MDD 1478269879, 9 edges, 5 vertices, 6 tuples
19.62/7.32	c 05:39:01.888 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27223. 'extension(4, 4) :: init: true :: relation: MDD 1478269879, 9 edges, 5 vertices, 6 tuples
19.62/7.32	c 05:39:01.890 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27254. 'extension(x[24][1]=[0‥4], 4) :: init: true :: relation: MDD 1327714567, 9 edges, 5 vertices, 6 tuples
19.62/7.32	c 05:39:01.890 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27255. 'extension(4, x[26][1]=[0‥4]) :: init: true :: relation: MDD 1327714567, 9 edges, 5 vertices, 6 tuples
19.62/7.32	c 05:39:01.891 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27291. 'extension(4, 4) :: init: true :: relation: MDD 1038892935, 9 edges, 5 vertices, 6 tuples
19.62/7.32	c 05:39:01.892 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27322. 'extension(x[24][26]=[0‥4], 4) :: init: true :: relation: MDD 339734447, 9 edges, 5 vertices, 6 tuples
19.62/7.32	c 05:39:01.893 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27356. 'extension(x[24][29]=[0‥4], 4) :: init: true :: relation: MDD 3804010, 9 edges, 5 vertices, 6 tuples
19.62/7.32	c 05:39:01.894 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27390. 'extension(4, wk[24][3]=[0‥1]) :: init: true :: relation: MDD 1071522313, 5 edges, 3 vertices, 4 tuples
19.62/7.32	c 05:39:01.894 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27394. 'extension(4, 4) :: init: true :: relation: MDD 1038892935, 9 edges, 5 vertices, 6 tuples
19.62/7.33	c 05:39:01.894 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27425. 'extension(4, wk[26][3]=[0‥1]) :: init: true :: relation: MDD 2057313241, 5 edges, 3 vertices, 4 tuples
19.62/7.33	c 05:39:01.895 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27429. 'extension(4, 4) :: init: true :: relation: MDD 339734447, 9 edges, 5 vertices, 6 tuples
19.62/7.33	c 05:39:01.895 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27460. 'extension(4, wk[29][3]=[0‥1]) :: init: true :: relation: MDD 1871838170, 5 edges, 3 vertices, 4 tuples
19.62/7.33	c 05:39:01.896 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27461. 'extension(4, x[27][29]=[0‥4]) :: init: true :: relation: MDD 3804010, 9 edges, 5 vertices, 6 tuples
19.62/7.33	c 05:39:01.896 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27464. 'extension(4, 4) :: init: true :: relation: MDD 3804010, 9 edges, 5 vertices, 6 tuples
19.62/7.33	c 05:39:01.898 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27495. 'extension(4, wk[11][3]=[0‥1]) :: init: true :: relation: MDD 1623148876, 5 edges, 3 vertices, 4 tuples
19.62/7.33	c 05:39:01.898 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27496. 'extension(x[26][11]=[0‥4], 4) :: init: true :: relation: MDD 1041552272, 9 edges, 5 vertices, 6 tuples
19.62/7.33	c 05:39:01.899 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27530. 'extension(4, wk[24][3]=[0‥1]) :: init: true :: relation: MDD 1739390441, 5 edges, 3 vertices, 4 tuples
19.62/7.33	c 05:39:01.899 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27534. 'extension(4, 4) :: init: true :: relation: MDD 1038892935, 9 edges, 5 vertices, 6 tuples
19.62/7.33	c 05:39:01.899 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27565. 'extension(4, wk[26][3]=[0‥1]) :: init: true :: relation: MDD 1633530712, 5 edges, 3 vertices, 4 tuples
19.62/7.33	c 05:39:01.899 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27566. 'extension(4, x[28][26]=[0‥4]) :: init: true :: relation: MDD 339734447, 9 edges, 5 vertices, 6 tuples
19.62/7.33	c 05:39:01.900 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27569. 'extension(4, 4) :: init: true :: relation: MDD 339734447, 9 edges, 5 vertices, 6 tuples
19.62/7.33	c 05:39:01.901 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27600. 'extension(4, wk[31][3]=[0‥1]) :: init: true :: relation: MDD 1802555899, 5 edges, 3 vertices, 4 tuples
19.62/7.33	c 05:39:01.901 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27601. 'extension(x[26][31]=[0‥4], 4) :: init: true :: relation: MDD 686721068, 9 edges, 5 vertices, 6 tuples
19.62/7.33	c 05:39:01.902 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27637. 'extension(4, 4) :: init: true :: relation: MDD 1041552272, 9 edges, 5 vertices, 6 tuples
19.62/7.33	c 05:39:01.903 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27668. 'extension(4, x[29][24]=[0‥4]) :: init: true :: relation: MDD 1038892935, 9 edges, 5 vertices, 6 tuples
19.62/7.33	c 05:39:01.903 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27671. 'extension(4, 4) :: init: true :: relation: MDD 1038892935, 9 edges, 5 vertices, 6 tuples
19.62/7.34	c 05:39:01.905 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27705. 'extension(4, 4) :: init: true :: relation: MDD 686721068, 9 edges, 5 vertices, 6 tuples
19.62/7.34	c 05:39:01.905 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27738. 'extension(4, 4) :: init: true :: relation: MDD 1041552272, 9 edges, 5 vertices, 6 tuples
19.62/7.34	c 05:39:01.906 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27769. 'extension(x[28][21]=[0‥4], 4) :: init: true :: relation: MDD 1416549024, 9 edges, 5 vertices, 6 tuples
19.62/7.34	c 05:39:01.907 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27803. 'extension(4, x[30][31]=[0‥4]) :: init: true :: relation: MDD 686721068, 9 edges, 5 vertices, 6 tuples
19.62/7.34	c 05:39:01.907 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27806. 'extension(4, 4) :: init: true :: relation: MDD 686721068, 9 edges, 5 vertices, 6 tuples
19.62/7.34	c 05:39:01.908 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27836. 'extension(4, x[31][11]=[0‥4]) :: init: true :: relation: MDD 1041552272, 9 edges, 5 vertices, 6 tuples
19.62/7.34	c 05:39:01.909 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27839. 'extension(4, 4) :: init: true :: relation: MDD 1041552272, 9 edges, 5 vertices, 6 tuples
19.62/7.34	c 05:39:01.910 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27873. 'extension(4, 4) :: init: true :: relation: MDD 1416549024, 9 edges, 5 vertices, 6 tuples
19.62/7.34	c 05:39:01.911 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27904. 'extension(x[30][4]=[0‥4], 4) :: init: true :: relation: MDD 431300939, 9 edges, 5 vertices, 6 tuples
19.62/7.34	c 05:39:01.911 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27938. 'extension(x[30][15]=[0‥4], 4) :: init: true :: relation: MDD 1985362663, 9 edges, 5 vertices, 6 tuples
19.62/7.34	c 05:39:01.912 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27939. 'extension(4, x[32][15]=[0‥4]) :: init: true :: relation: MDD 1985362663, 9 edges, 5 vertices, 6 tuples
19.62/7.34	c 05:39:01.913 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27975. 'extension(4, 4) :: init: true :: relation: MDD 1416549024, 9 edges, 5 vertices, 6 tuples
19.62/7.35	c 05:39:01.914 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28006. 'extension(4, x[33][4]=[0‥4]) :: init: true :: relation: MDD 431300939, 9 edges, 5 vertices, 6 tuples
19.62/7.35	c 05:39:01.914 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28009. 'extension(4, 4) :: init: true :: relation: MDD 431300939, 9 edges, 5 vertices, 6 tuples
19.62/7.35	c 05:39:01.916 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28040. 'extension(4, x[33][21]=[0‥4]) :: init: true :: relation: MDD 1416549024, 9 edges, 5 vertices, 6 tuples
19.62/7.35	c 05:39:01.916 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28043. 'extension(4, 4) :: init: true :: relation: MDD 1416549024, 9 edges, 5 vertices, 6 tuples
19.62/7.35	c 05:39:01.917 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28074. 'extension(x[31][28]=[0‥4], 4) :: init: true :: relation: MDD 1343407473, 9 edges, 5 vertices, 6 tuples
19.62/7.35	c 05:39:01.918 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28108. 'extension(4, wk[5][4]=[0‥1]) :: init: true :: relation: MDD 206384196, 5 edges, 3 vertices, 4 tuples
19.62/7.35	c 05:39:01.919 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28109. 'extension(x[32][5]=[0‥4], 4) :: init: true :: relation: MDD 322100932, 9 edges, 5 vertices, 6 tuples
19.62/7.35	c 05:39:01.919 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28110. 'extension(4, x[34][5]=[0‥4]) :: init: true :: relation: MDD 322100932, 9 edges, 5 vertices, 6 tuples
19.62/7.35	c 05:39:01.921 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28143. 'extension(4, wk[28][4]=[0‥1]) :: init: true :: relation: MDD 313249054, 5 edges, 3 vertices, 4 tuples
19.62/7.35	c 05:39:01.921 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28147. 'extension(4, 4) :: init: true :: relation: MDD 1343407473, 9 edges, 5 vertices, 6 tuples
19.62/7.35	c 05:39:01.922 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28178. 'extension(4, wk[3][4]=[0‥1]) :: init: true :: relation: MDD 285964343, 5 edges, 3 vertices, 4 tuples
19.62/7.35	c 05:39:01.922 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28179. 'extension(x[33][3]=[0‥4], 4) :: init: true :: relation: MDD 1820545559, 9 edges, 5 vertices, 6 tuples
19.62/7.35	c 05:39:01.923 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28213. 'extension(4, wk[7][4]=[0‥1]) :: init: true :: relation: MDD 132326253, 5 edges, 3 vertices, 4 tuples
19.62/7.35	c 05:39:01.923 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28214. 'extension(x[33][7]=[0‥4], 4) :: init: true :: relation: MDD 683211146, 9 edges, 5 vertices, 6 tuples
19.62/7.35	c 05:39:01.923 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28215. 'extension(4, x[35][7]=[0‥4]) :: init: true :: relation: MDD 683211146, 9 edges, 5 vertices, 6 tuples
19.62/7.36	c 05:39:01.925 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28248. 'extension(4, wk[28][4]=[0‥1]) :: init: true :: relation: MDD 362140338, 5 edges, 3 vertices, 4 tuples
19.62/7.36	c 05:39:01.925 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28252. 'extension(4, 4) :: init: true :: relation: MDD 1343407473, 9 edges, 5 vertices, 6 tuples
19.62/7.36	c 05:39:01.926 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28283. 'extension(4, wk[30][4]=[0‥1]) :: init: true :: relation: MDD 1395740534, 5 edges, 3 vertices, 4 tuples
19.62/7.36	c 05:39:01.926 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28284. 'extension(x[33][30]=[0‥4], 4) :: init: true :: relation: MDD 1387948122, 9 edges, 5 vertices, 6 tuples
19.62/7.36	c 05:39:01.926 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28285. 'extension(4, x[35][30]=[0‥4]) :: init: true :: relation: MDD 1387948122, 9 edges, 5 vertices, 6 tuples
19.62/7.36	c 05:39:01.928 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28317. 'extension(x[34][0]=[0‥4], 4) :: init: true :: relation: MDD 1478269879, 9 edges, 5 vertices, 6 tuples
19.62/7.36	c 05:39:01.929 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28354. 'extension(4, 4) :: init: true :: relation: MDD 1820545559, 9 edges, 5 vertices, 6 tuples
19.62/7.36	c 05:39:01.930 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28385. 'extension(x[34][26]=[0‥4], 4) :: init: true :: relation: MDD 339734447, 9 edges, 5 vertices, 6 tuples
19.62/7.36	c 05:39:01.930 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28386. 'extension(4, x[36][26]=[0‥4]) :: init: true :: relation: MDD 339734447, 9 edges, 5 vertices, 6 tuples
19.62/7.36	c 05:39:01.932 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28422. 'extension(4, 4) :: init: true :: relation: MDD 1343407473, 9 edges, 5 vertices, 6 tuples
19.62/7.36	c 05:39:01.933 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28456. 'extension(4, 4) :: init: true :: relation: MDD 1478269879, 9 edges, 5 vertices, 6 tuples
19.62/7.36	c 05:39:01.933 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28490. 'extension(4, 4) :: init: true :: relation: MDD 1820545559, 9 edges, 5 vertices, 6 tuples
19.62/7.36	c 05:39:01.934 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28521. 'extension(4, x[37][28]=[0‥4]) :: init: true :: relation: MDD 1343407473, 9 edges, 5 vertices, 6 tuples
19.62/7.36	c 05:39:01.934 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28524. 'extension(4, 4) :: init: true :: relation: MDD 1343407473, 9 edges, 5 vertices, 6 tuples
19.62/7.37	c 05:39:01.936 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28555. 'extension(4, x[38][0]=[0‥4]) :: init: true :: relation: MDD 1478269879, 9 edges, 5 vertices, 6 tuples
19.62/7.37	c 05:39:01.936 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28558. 'extension(4, 4) :: init: true :: relation: MDD 1478269879, 9 edges, 5 vertices, 6 tuples
19.62/7.37	c 05:39:01.938 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28592. 'extension(4, 4) :: init: true :: relation: MDD 1820545559, 9 edges, 5 vertices, 6 tuples
19.62/7.37	c 05:39:01.938 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28623. 'extension(x[36][18]=[0‥4], 4) :: init: true :: relation: MDD 121521031, 9 edges, 5 vertices, 6 tuples
19.62/7.37	c 05:39:01.939 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28657. 'extension(x[37][2]=[0‥4], 4) :: init: true :: relation: MDD 725873428, 9 edges, 5 vertices, 6 tuples
19.62/7.37	c 05:39:01.939 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28658. 'extension(4, x[39][2]=[0‥4]) :: init: true :: relation: MDD 725873428, 9 edges, 5 vertices, 6 tuples
19.62/7.37	c 05:39:01.941 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28691. 'extension(4, x[39][3]=[0‥4]) :: init: true :: relation: MDD 1820545559, 9 edges, 5 vertices, 6 tuples
19.62/7.37	c 05:39:01.941 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28694. 'extension(4, 4) :: init: true :: relation: MDD 1820545559, 9 edges, 5 vertices, 6 tuples
19.62/7.37	c 05:39:01.943 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28725. 'extension(4, x[39][18]=[0‥4]) :: init: true :: relation: MDD 121521031, 9 edges, 5 vertices, 6 tuples
19.62/7.37	c 05:39:01.943 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28728. 'extension(4, 4) :: init: true :: relation: MDD 121521031, 9 edges, 5 vertices, 6 tuples
19.62/7.38	c 05:39:01.945 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28759. 'extension(x[38][1]=[0‥4], 4) :: init: true :: relation: MDD 1327714567, 9 edges, 5 vertices, 6 tuples
19.62/7.38	c 05:39:01.945 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28760. 'extension(4, x[40][1]=[0‥4]) :: init: true :: relation: MDD 1327714567, 9 edges, 5 vertices, 6 tuples
19.62/7.38	c 05:39:01.947 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28793. 'extension(4, wk[11][5]=[0‥1]) :: init: true :: relation: MDD 1375681611, 5 edges, 3 vertices, 4 tuples
19.62/7.38	c 05:39:01.947 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28794. 'extension(x[39][11]=[0‥4], 4) :: init: true :: relation: MDD 1041552272, 9 edges, 5 vertices, 6 tuples
19.62/7.38	c 05:39:01.948 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28795. 'extension(4, x[41][11]=[0‥4]) :: init: true :: relation: MDD 1041552272, 9 edges, 5 vertices, 6 tuples
19.62/7.38	c 05:39:01.949 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28828. 'extension(4, wk[29][5]=[0‥1]) :: init: true :: relation: MDD 816576412, 5 edges, 3 vertices, 4 tuples
19.62/7.38	c 05:39:01.950 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28829. 'extension(x[39][29]=[0‥4], 4) :: init: true :: relation: MDD 3804010, 9 edges, 5 vertices, 6 tuples
19.62/7.38	c 05:39:01.951 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28863. 'extension(4, wk[10][5]=[0‥1]) :: init: true :: relation: MDD 730298964, 5 edges, 3 vertices, 4 tuples
19.62/7.38	c 05:39:01.951 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28864. 'extension(x[40][10]=[0‥4], 4) :: init: true :: relation: MDD 918584437, 9 edges, 5 vertices, 6 tuples
19.62/7.38	c 05:39:01.952 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28898. 'extension(4, wk[20][5]=[0‥1]) :: init: true :: relation: MDD 650608468, 5 edges, 3 vertices, 4 tuples
19.62/7.38	c 05:39:01.952 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28899. 'extension(x[40][20]=[0‥4], 4) :: init: true :: relation: MDD 1751972013, 9 edges, 5 vertices, 6 tuples
19.62/7.38	c 05:39:01.952 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28933. 'extension(4, wk[25][5]=[0‥1]) :: init: true :: relation: MDD 1119920494, 5 edges, 3 vertices, 4 tuples
19.62/7.38	c 05:39:01.953 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28934. 'extension(x[40][25]=[0‥4], 4) :: init: true :: relation: MDD 1499437334, 9 edges, 5 vertices, 6 tuples
19.62/7.38	c 05:39:01.953 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28968. 'extension(4, wk[29][5]=[0‥1]) :: init: true :: relation: MDD 1745904086, 5 edges, 3 vertices, 4 tuples
19.62/7.38	c 05:39:01.953 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28972. 'extension(4, 4) :: init: true :: relation: MDD 3804010, 9 edges, 5 vertices, 6 tuples
19.62/7.39	c 05:39:01.954 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29003. 'extension(4, x[43][10]=[0‥4]) :: init: true :: relation: MDD 918584437, 9 edges, 5 vertices, 6 tuples
19.62/7.39	c 05:39:01.955 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29006. 'extension(4, 4) :: init: true :: relation: MDD 918584437, 9 edges, 5 vertices, 6 tuples
19.62/7.39	c 05:39:01.956 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29037. 'extension(4, x[43][20]=[0‥4]) :: init: true :: relation: MDD 1751972013, 9 edges, 5 vertices, 6 tuples
19.62/7.39	c 05:39:01.957 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29040. 'extension(4, 4) :: init: true :: relation: MDD 1751972013, 9 edges, 5 vertices, 6 tuples
19.62/7.39	c 05:39:01.958 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29074. 'extension(4, 4) :: init: true :: relation: MDD 1499437334, 9 edges, 5 vertices, 6 tuples
19.62/7.39	c 05:39:01.958 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29105. 'extension(4, x[43][29]=[0‥4]) :: init: true :: relation: MDD 3804010, 9 edges, 5 vertices, 6 tuples
19.62/7.39	c 05:39:01.959 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29108. 'extension(4, 4) :: init: true :: relation: MDD 3804010, 9 edges, 5 vertices, 6 tuples
19.62/7.39	c 05:39:01.961 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29139. 'extension(x[42][6]=[0‥4], 4) :: init: true :: relation: MDD 651828130, 9 edges, 5 vertices, 6 tuples
19.62/7.39	c 05:39:01.961 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29173. 'extension(x[42][16]=[0‥4], 4) :: init: true :: relation: MDD 1978141335, 9 edges, 5 vertices, 6 tuples
19.62/7.39	c 05:39:01.962 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29207. 'extension(4, x[44][25]=[0‥4]) :: init: true :: relation: MDD 1499437334, 9 edges, 5 vertices, 6 tuples
19.62/7.39	c 05:39:01.962 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29210. 'extension(4, 4) :: init: true :: relation: MDD 1499437334, 9 edges, 5 vertices, 6 tuples
19.62/7.39	c 05:39:01.964 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29241. 'extension(4, x[45][6]=[0‥4]) :: init: true :: relation: MDD 651828130, 9 edges, 5 vertices, 6 tuples
19.62/7.40	c 05:39:01.965 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29244. 'extension(4, 4) :: init: true :: relation: MDD 651828130, 9 edges, 5 vertices, 6 tuples
19.94/7.40	c 05:39:01.966 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29275. 'extension(x[43][15]=[0‥4], 4) :: init: true :: relation: MDD 1985362663, 9 edges, 5 vertices, 6 tuples
19.94/7.40	c 05:39:01.967 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29309. 'extension(4, x[45][16]=[0‥4]) :: init: true :: relation: MDD 1978141335, 9 edges, 5 vertices, 6 tuples
19.94/7.40	c 05:39:01.967 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29312. 'extension(4, 4) :: init: true :: relation: MDD 1978141335, 9 edges, 5 vertices, 6 tuples
19.94/7.40	c 05:39:01.969 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29346. 'extension(4, 4) :: init: true :: relation: MDD 1985362663, 9 edges, 5 vertices, 6 tuples
19.94/7.40	c 05:39:01.970 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29380. 'extension(4, 4) :: init: true :: relation: MDD 1985362663, 9 edges, 5 vertices, 6 tuples
19.94/7.40	c 05:39:01.971 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29411. 'extension(4, wk[15][6]=[0‥1]) :: init: true :: relation: MDD 1453632464, 5 edges, 3 vertices, 4 tuples
19.94/7.40	c 05:39:01.971 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29412. 'extension(4, x[48][15]=[0‥4]) :: init: true :: relation: MDD 1985362663, 9 edges, 5 vertices, 6 tuples
19.94/7.40	c 05:39:01.972 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29415. 'extension(4, 4) :: init: true :: relation: MDD 1985362663, 9 edges, 5 vertices, 6 tuples
19.94/7.40	c 05:39:01.973 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29446. 'extension(4, wk[4][6]=[0‥1]) :: init: true :: relation: MDD 311765759, 5 edges, 3 vertices, 4 tuples
19.94/7.40	c 05:39:01.973 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29447. 'extension(x[47][4]=[0‥4], 4) :: init: true :: relation: MDD 431300939, 9 edges, 5 vertices, 6 tuples
19.94/7.40	c 05:39:01.974 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29448. 'extension(4, x[49][4]=[0‥4]) :: init: true :: relation: MDD 431300939, 9 edges, 5 vertices, 6 tuples
19.94/7.41	c 05:39:01.975 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29481. 'extension(4, wk[8][6]=[0‥1]) :: init: true :: relation: MDD 836371508, 5 edges, 3 vertices, 4 tuples
19.94/7.41	c 05:39:01.976 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29482. 'extension(x[47][8]=[0‥4], 4) :: init: true :: relation: MDD 1560244891, 9 edges, 5 vertices, 6 tuples
19.94/7.41	c 05:39:01.976 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29516. 'extension(4, wk[17][6]=[0‥1]) :: init: true :: relation: MDD 1992844647, 5 edges, 3 vertices, 4 tuples
19.94/7.41	c 05:39:01.977 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29517. 'extension(x[47][17]=[0‥4], 4) :: init: true :: relation: MDD 1746061516, 9 edges, 5 vertices, 6 tuples
19.94/7.41	c 05:39:01.978 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29551. 'extension(x[48][2]=[0‥4], 4) :: init: true :: relation: MDD 725873428, 9 edges, 5 vertices, 6 tuples
19.94/7.41	c 05:39:01.978 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29585. 'extension(4, x[50][8]=[0‥4]) :: init: true :: relation: MDD 1560244891, 9 edges, 5 vertices, 6 tuples
19.94/7.41	c 05:39:01.979 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29588. 'extension(4, 4) :: init: true :: relation: MDD 1560244891, 9 edges, 5 vertices, 6 tuples
19.94/7.41	c 05:39:01.980 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29622. 'extension(4, 4) :: init: true :: relation: MDD 1746061516, 9 edges, 5 vertices, 6 tuples
19.94/7.41	c 05:39:01.981 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29653. 'extension(4, x[51][2]=[0‥4]) :: init: true :: relation: MDD 725873428, 9 edges, 5 vertices, 6 tuples
19.94/7.41	c 05:39:01.982 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29656. 'extension(4, 4) :: init: true :: relation: MDD 725873428, 9 edges, 5 vertices, 6 tuples
19.94/7.41	c 05:39:01.983 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29690. 'extension(4, 4) :: init: true :: relation: MDD 1746061516, 9 edges, 5 vertices, 6 tuples
19.94/7.41	c 05:39:01.984 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29724. 'extension(4, 4) :: init: true :: relation: MDD 1746061516, 9 edges, 5 vertices, 6 tuples
19.94/7.42	c 05:39:01.985 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29754. 'extension(x[51][1]=[0‥4], 4) :: init: true :: relation: MDD 1327714567, 9 edges, 5 vertices, 6 tuples
19.94/7.42	c 05:39:01.985 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29755. 'extension(4, x[53][1]=[0‥4]) :: init: true :: relation: MDD 1327714567, 9 edges, 5 vertices, 6 tuples
19.94/7.42	c 05:39:01.987 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29786. 'extension(x[51][12]=[0‥4], 4) :: init: true :: relation: MDD 700171153, 9 edges, 5 vertices, 6 tuples
19.94/7.42	c 05:39:01.988 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29818. 'extension(4, x[53][17]=[0‥4]) :: init: true :: relation: MDD 1746061516, 9 edges, 5 vertices, 6 tuples
19.94/7.42	c 05:39:01.988 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29821. 'extension(4, 4) :: init: true :: relation: MDD 1746061516, 9 edges, 5 vertices, 6 tuples
19.94/7.42	c 05:39:01.989 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29850. 'extension(x[51][31]=[0‥4], 4) :: init: true :: relation: MDD 686721068, 9 edges, 5 vertices, 6 tuples
19.94/7.42	c 05:39:01.990 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29882. 'extension(x[52][5]=[0‥4], 4) :: init: true :: relation: MDD 322100932, 9 edges, 5 vertices, 6 tuples
19.94/7.42	c 05:39:01.991 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29883. 'extension(4, x[54][5]=[0‥4]) :: init: true :: relation: MDD 322100932, 9 edges, 5 vertices, 6 tuples
19.94/7.42	c 05:39:01.992 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29916. 'extension(4, 4) :: init: true :: relation: MDD 700171153, 9 edges, 5 vertices, 6 tuples
19.94/7.42	c 05:39:01.993 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29944. 'extension(x[52][27]=[0‥4], 4) :: init: true :: relation: MDD 883349979, 9 edges, 5 vertices, 6 tuples
19.94/7.42	c 05:39:01.994 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29975. 'extension(4, x[54][31]=[0‥4]) :: init: true :: relation: MDD 686721068, 9 edges, 5 vertices, 6 tuples
19.94/7.42	c 05:39:01.994 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29978. 'extension(4, 4) :: init: true :: relation: MDD 686721068, 9 edges, 5 vertices, 6 tuples
19.94/7.43	c 05:39:01.996 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30006. 'extension(4, wk[12][7]=[0‥1]) :: init: true :: relation: MDD 1158611509, 5 edges, 3 vertices, 4 tuples
19.94/7.43	c 05:39:01.996 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30007. 'extension(4, x[55][12]=[0‥4]) :: init: true :: relation: MDD 700171153, 9 edges, 5 vertices, 6 tuples
19.94/7.44	c 05:39:01.996 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30009. 'extension(4, 4) :: init: true :: relation: MDD 700171153, 9 edges, 5 vertices, 6 tuples
19.94/7.44	c 05:39:01.997 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30036. 'extension(4, wk[27][7]=[0‥1]) :: init: true :: relation: MDD 1631143060, 5 edges, 3 vertices, 4 tuples
19.94/7.44	c 05:39:01.997 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30037. 'extension(4, x[55][27]=[0‥4]) :: init: true :: relation: MDD 883349979, 9 edges, 5 vertices, 6 tuples
19.94/7.44	c 05:39:01.998 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30039. 'extension(4, 4) :: init: true :: relation: MDD 883349979, 9 edges, 5 vertices, 6 tuples
19.94/7.44	c 05:39:02.007 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30131. 'extension(x[2][1]=[0‥4]) :: init: true :: relation: Empty MDD
19.94/7.44	c 05:39:02.008 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30141. 'extension(x[0][27]=[0‥4]) :: init: true :: relation: Empty MDD
19.94/7.44	c 05:39:02.008 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30145. 'extension(x[1][14]=[0‥4]) :: init: true :: relation: Empty MDD
19.94/7.44	c 05:39:02.008 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30151. 'extension(x[1][16]=[0‥4]) :: init: true :: relation: Empty MDD
19.94/7.44	c 05:39:02.009 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30153. 'extension(x[3][16]=[0‥4]) :: init: true :: relation: Empty MDD
19.94/7.44	c 05:39:02.009 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30171. 'extension(x[2][10]=[0‥4]) :: init: true :: relation: Empty MDD
19.94/7.44	c 05:39:02.010 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30181. 'extension(x[4][27]=[0‥4]) :: init: true :: relation: Empty MDD
19.94/7.44	c 05:39:02.010 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30191. 'extension(x[5][10]=[0‥4]) :: init: true :: relation: Empty MDD
19.94/7.45	c 05:39:02.011 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30205. 'extension(x[3][13]=[0‥4]) :: init: true :: relation: Empty MDD
19.94/7.45	c 05:39:02.012 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30211. 'extension(x[3][25]=[0‥4]) :: init: true :: relation: Empty MDD
19.94/7.45	c 05:39:02.012 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30213. 'extension(x[5][25]=[0‥4]) :: init: true :: relation: Empty MDD
19.94/7.45	c 05:39:02.012 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30227. 'extension(x[3][30]=[0‥4]) :: init: true :: relation: Empty MDD
19.94/7.45	c 05:39:02.013 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30233. 'extension(wk[7][0]=[0‥1]) :: init: true :: relation: Empty MDD
19.94/7.45	c 05:39:02.013 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30235. 'extension(x[4][7]=[0‥4]) :: init: true :: relation: Empty MDD
19.94/7.45	c 05:39:02.013 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30241. 'extension(wk[13][0]=[0‥1]) :: init: true :: relation: Empty MDD
19.94/7.45	c 05:39:02.014 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30247. 'extension(wk[14][0]=[0‥1]) :: init: true :: relation: Empty MDD
19.94/7.45	c 05:39:02.014 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30249. 'extension(wk[20][0]=[0‥1]) :: init: true :: relation: Empty MDD
19.94/7.45	c 05:39:02.014 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30251. 'extension(x[4][20]=[0‥4]) :: init: true :: relation: Empty MDD
19.94/7.45	c 05:39:02.015 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30257. 'extension(wk[21][0]=[0‥1]) :: init: true :: relation: Empty MDD
19.94/7.45	c 05:39:02.015 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30259. 'extension(x[4][21]=[0‥4]) :: init: true :: relation: Empty MDD
19.94/7.45	c 05:39:02.015 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30261. 'extension(x[6][21]=[0‥4]) :: init: true :: relation: Empty MDD
19.94/7.45	c 05:39:02.016 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30275. 'extension(wk[30][0]=[0‥1]) :: init: true :: relation: Empty MDD
19.94/7.45	c 05:39:02.016 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30281. 'extension(wk[5][0]=[0‥1]) :: init: true :: relation: Empty MDD
19.94/7.45	c 05:39:02.016 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30283. 'extension(x[5][5]=[0‥4]) :: init: true :: relation: Empty MDD
19.94/7.45	c 05:39:02.016 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30289. 'extension(wk[7][0]=[0‥1]) :: init: true :: relation: Empty MDD
19.94/7.45	c 05:39:02.017 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30295. 'extension(wk[13][0]=[0‥1]) :: init: true :: relation: Empty MDD
19.94/7.45	c 05:39:02.017 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30297. 'extension(wk[14][0]=[0‥1]) :: init: true :: relation: Empty MDD
19.94/7.45	c 05:39:02.017 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30299. 'extension(x[7][14]=[0‥4]) :: init: true :: relation: Empty MDD
19.94/7.45	c 05:39:02.018 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30309. 'extension(wk[16][0]=[0‥1]) :: init: true :: relation: Empty MDD
19.94/7.45	c 05:39:02.018 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30311. 'extension(x[5][16]=[0‥4]) :: init: true :: relation: Empty MDD
19.94/7.45	c 05:39:02.018 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30317. 'extension(wk[20][0]=[0‥1]) :: init: true :: relation: Empty MDD
19.94/7.45	c 05:39:02.018 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30323. 'extension(wk[22][0]=[0‥1]) :: init: true :: relation: Empty MDD
19.94/7.45	c 05:39:02.019 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30325. 'extension(x[5][22]=[0‥4]) :: init: true :: relation: Empty MDD
19.94/7.45	c 05:39:02.019 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30331. 'extension(wk[30][0]=[0‥1]) :: init: true :: relation: Empty MDD
19.94/7.45	c 05:39:02.019 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30337. 'extension(x[8][7]=[0‥4]) :: init: true :: relation: Empty MDD
19.94/7.45	c 05:39:02.020 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30347. 'extension(x[8][13]=[0‥4]) :: init: true :: relation: Empty MDD
19.94/7.45	c 05:39:02.020 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30357. 'extension(x[8][16]=[0‥4]) :: init: true :: relation: Empty MDD
19.94/7.45	c 05:39:02.021 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30371. 'extension(x[8][20]=[0‥4]) :: init: true :: relation: Empty MDD
19.94/7.45	c 05:39:02.021 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30385. 'extension(x[8][30]=[0‥4]) :: init: true :: relation: Empty MDD
19.94/7.45	c 05:39:02.022 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30395. 'extension(x[9][5]=[0‥4]) :: init: true :: relation: Empty MDD
19.94/7.45	c 05:39:02.023 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30405. 'extension(x[7][19]=[0‥4]) :: init: true :: relation: Empty MDD
19.94/7.45	c 05:39:02.023 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30415. 'extension(x[8][23]=[0‥4]) :: init: true :: relation: Empty MDD
19.94/7.46	c 05:39:02.024 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30421. 'extension(x[11][22]=[0‥4]) :: init: true :: relation: Empty MDD
19.94/7.46	c 05:39:02.025 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30435. 'extension(x[9][26]=[0‥4]) :: init: true :: relation: Empty MDD
19.94/7.46	c 05:39:02.025 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30437. 'extension(x[11][26]=[0‥4]) :: init: true :: relation: Empty MDD
19.94/7.46	c 05:39:02.025 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30451. 'extension(x[12][19]=[0‥4]) :: init: true :: relation: Empty MDD
19.94/7.46	c 05:39:02.026 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30461. 'extension(wk[13][1]=[0‥1]) :: init: true :: relation: Empty MDD
19.94/7.46	c 05:39:02.026 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30463. 'extension(x[11][13]=[0‥4]) :: init: true :: relation: Empty MDD
19.94/7.46	c 05:39:02.026 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30465. 'extension(x[13][13]=[0‥4]) :: init: true :: relation: Empty MDD
19.94/7.46	c 05:39:02.027 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30479. 'extension(wk[23][1]=[0‥1]) :: init: true :: relation: Empty MDD
19.94/7.46	c 05:39:02.027 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30481. 'extension(wk[2][1]=[0‥1]) :: init: true :: relation: Empty MDD
19.94/7.46	c 05:39:02.027 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30483. 'extension(x[12][2]=[0‥4]) :: init: true :: relation: Empty MDD
19.94/7.46	c 05:39:02.028 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30489. 'extension(wk[23][1]=[0‥1]) :: init: true :: relation: Empty MDD
19.94/7.46	c 05:39:02.028 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30491. 'extension(x[14][23]=[0‥4]) :: init: true :: relation: Empty MDD
19.94/7.46	c 05:39:02.028 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30501. 'extension(x[15][2]=[0‥4]) :: init: true :: relation: Empty MDD
19.94/7.46	c 05:39:02.029 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30515. 'extension(x[13][6]=[0‥4]) :: init: true :: relation: Empty MDD
19.94/7.46	c 05:39:02.029 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30525. 'extension(x[14][7]=[0‥4]) :: init: true :: relation: Empty MDD
19.94/7.46	c 05:39:02.029 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30527. 'extension(x[16][7]=[0‥4]) :: init: true :: relation: Empty MDD
19.94/7.46	c 05:39:02.030 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30541. 'extension(x[14][10]=[0‥4]) :: init: true :: relation: Empty MDD
19.94/7.46	c 05:39:02.030 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30543. 'extension(x[16][10]=[0‥4]) :: init: true :: relation: Empty MDD
19.94/7.46	c 05:39:02.031 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30557. 'extension(x[17][6]=[0‥4]) :: init: true :: relation: Empty MDD
19.94/7.46	c 05:39:02.031 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30567. 'extension(x[17][9]=[0‥4]) :: init: true :: relation: Empty MDD
19.94/7.46	c 05:39:02.032 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30573. 'extension(wk[4][2]=[0‥1]) :: init: true :: relation: Empty MDD
19.94/7.46	c 05:39:02.032 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30575. 'extension(x[18][4]=[0‥4]) :: init: true :: relation: Empty MDD
19.94/7.46	c 05:39:02.032 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30581. 'extension(wk[8][2]=[0‥1]) :: init: true :: relation: Empty MDD
19.94/7.46	c 05:39:02.032 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30583. 'extension(x[18][8]=[0‥4]) :: init: true :: relation: Empty MDD
19.94/7.46	c 05:39:02.033 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30589. 'extension(wk[9][2]=[0‥1]) :: init: true :: relation: Empty MDD
19.94/7.46	c 05:39:02.033 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30595. 'extension(wk[4][2]=[0‥1]) :: init: true :: relation: Empty MDD
19.94/7.47	c 05:39:02.033 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30597. 'extension(x[21][4]=[0‥4]) :: init: true :: relation: Empty MDD
19.94/7.47	c 05:39:02.034 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30611. 'extension(wk[8][2]=[0‥1]) :: init: true :: relation: Empty MDD
19.94/7.47	c 05:39:02.035 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30617. 'extension(wk[9][2]=[0‥1]) :: init: true :: relation: Empty MDD
19.94/7.47	c 05:39:02.035 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30619. 'extension(wk[12][2]=[0‥1]) :: init: true :: relation: Empty MDD
19.94/7.48	c 05:39:02.035 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30621. 'extension(x[19][12]=[0‥4]) :: init: true :: relation: Empty MDD
19.94/7.48	c 05:39:02.035 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30627. 'extension(wk[19][2]=[0‥1]) :: init: true :: relation: Empty MDD
19.94/7.48	c 05:39:02.036 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30629. 'extension(x[19][19]=[0‥4]) :: init: true :: relation: Empty MDD
19.94/7.48	c 05:39:02.036 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30631. 'extension(x[21][19]=[0‥4]) :: init: true :: relation: Empty MDD
19.94/7.48	c 05:39:02.036 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30645. 'extension(x[22][8]=[0‥4]) :: init: true :: relation: Empty MDD
19.94/7.48	c 05:39:02.037 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30655. 'extension(x[22][9]=[0‥4]) :: init: true :: relation: Empty MDD
19.94/7.48	c 05:39:02.037 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30665. 'extension(x[22][12]=[0‥4]) :: init: true :: relation: Empty MDD
19.94/7.48	c 05:39:02.038 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30679. 'extension(x[20][18]=[0‥4]) :: init: true :: relation: Empty MDD
19.94/7.48	c 05:39:02.038 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30689. 'extension(x[21][25]=[0‥4]) :: init: true :: relation: Empty MDD
19.94/7.48	c 05:39:02.039 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30691. 'extension(x[23][25]=[0‥4]) :: init: true :: relation: Empty MDD
19.94/7.48	c 05:39:02.039 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30705. 'extension(x[24][18]=[0‥4]) :: init: true :: relation: Empty MDD
19.94/7.48	c 05:39:02.040 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30715. 'extension(x[23][0]=[0‥4]) :: init: true :: relation: Empty MDD
19.94/7.48	c 05:39:02.040 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30721. 'extension(x[23][9]=[0‥4]) :: init: true :: relation: Empty MDD
19.94/7.48	c 05:39:02.040 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30723. 'extension(x[25][9]=[0‥4]) :: init: true :: relation: Empty MDD
19.94/7.48	c 05:39:02.041 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30737. 'extension(x[23][24]=[0‥4]) :: init: true :: relation: Empty MDD
19.94/7.48	c 05:39:02.041 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30743. 'extension(x[26][0]=[0‥4]) :: init: true :: relation: Empty MDD
19.94/7.48	c 05:39:02.042 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30757. 'extension(x[24][1]=[0‥4]) :: init: true :: relation: Empty MDD
19.94/7.48	c 05:39:02.042 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30759. 'extension(x[26][1]=[0‥4]) :: init: true :: relation: Empty MDD
19.94/7.48	c 05:39:02.043 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30777. 'extension(x[24][26]=[0‥4]) :: init: true :: relation: Empty MDD
19.94/7.48	c 05:39:02.044 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30783. 'extension(x[24][29]=[0‥4]) :: init: true :: relation: Empty MDD
19.94/7.48	c 05:39:02.044 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30789. 'extension(wk[24][3]=[0‥1]) :: init: true :: relation: Empty MDD
19.94/7.48	c 05:39:02.044 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30791. 'extension(wk[26][3]=[0‥1]) :: init: true :: relation: Empty MDD
19.94/7.48	c 05:39:02.044 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30797. 'extension(wk[29][3]=[0‥1]) :: init: true :: relation: Empty MDD
19.94/7.48	c 05:39:02.045 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30799. 'extension(x[27][29]=[0‥4]) :: init: true :: relation: Empty MDD
19.94/7.48	c 05:39:02.045 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30813. 'extension(wk[11][3]=[0‥1]) :: init: true :: relation: Empty MDD
19.94/7.48	c 05:39:02.045 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30815. 'extension(x[26][11]=[0‥4]) :: init: true :: relation: Empty MDD
19.94/7.48	c 05:39:02.046 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30821. 'extension(wk[24][3]=[0‥1]) :: init: true :: relation: Empty MDD
19.94/7.48	c 05:39:02.046 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30823. 'extension(wk[26][3]=[0‥1]) :: init: true :: relation: Empty MDD
19.94/7.48	c 05:39:02.046 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30825. 'extension(x[28][26]=[0‥4]) :: init: true :: relation: Empty MDD
19.94/7.48	c 05:39:02.047 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30835. 'extension(wk[31][3]=[0‥1]) :: init: true :: relation: Empty MDD
19.94/7.48	c 05:39:02.047 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30837. 'extension(x[26][31]=[0‥4]) :: init: true :: relation: Empty MDD
19.94/7.48	c 05:39:02.047 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30847. 'extension(x[29][24]=[0‥4]) :: init: true :: relation: Empty MDD
19.94/7.48	c 05:39:02.048 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30861. 'extension(x[28][21]=[0‥4]) :: init: true :: relation: Empty MDD
19.94/7.48	c 05:39:02.048 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30867. 'extension(x[30][31]=[0‥4]) :: init: true :: relation: Empty MDD
19.94/7.48	c 05:39:02.049 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30877. 'extension(x[31][11]=[0‥4]) :: init: true :: relation: Empty MDD
19.94/7.48	c 05:39:02.049 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30891. 'extension(x[30][4]=[0‥4]) :: init: true :: relation: Empty MDD
19.94/7.48	c 05:39:02.050 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30897. 'extension(x[30][15]=[0‥4]) :: init: true :: relation: Empty MDD
19.94/7.48	c 05:39:02.050 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30899. 'extension(x[32][15]=[0‥4]) :: init: true :: relation: Empty MDD
19.94/7.48	c 05:39:02.050 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30913. 'extension(x[33][4]=[0‥4]) :: init: true :: relation: Empty MDD
19.94/7.48	c 05:39:02.051 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30927. 'extension(x[33][21]=[0‥4]) :: init: true :: relation: Empty MDD
19.94/7.48	c 05:39:02.051 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30937. 'extension(x[31][28]=[0‥4]) :: init: true :: relation: Empty MDD
19.94/7.48	c 05:39:02.052 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30943. 'extension(wk[5][4]=[0‥1]) :: init: true :: relation: Empty MDD
19.94/7.48	c 05:39:02.052 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30945. 'extension(x[32][5]=[0‥4]) :: init: true :: relation: Empty MDD
19.94/7.48	c 05:39:02.052 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30947. 'extension(x[34][5]=[0‥4]) :: init: true :: relation: Empty MDD
19.94/7.48	c 05:39:02.053 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30961. 'extension(wk[28][4]=[0‥1]) :: init: true :: relation: Empty MDD
19.94/7.48	c 05:39:02.053 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30967. 'extension(wk[3][4]=[0‥1]) :: init: true :: relation: Empty MDD
19.94/7.48	c 05:39:02.053 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30969. 'extension(x[33][3]=[0‥4]) :: init: true :: relation: Empty MDD
19.94/7.48	c 05:39:02.053 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30975. 'extension(wk[7][4]=[0‥1]) :: init: true :: relation: Empty MDD
19.94/7.48	c 05:39:02.054 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30977. 'extension(x[33][7]=[0‥4]) :: init: true :: relation: Empty MDD
19.94/7.48	c 05:39:02.054 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30979. 'extension(x[35][7]=[0‥4]) :: init: true :: relation: Empty MDD
19.94/7.49	c 05:39:02.054 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30993. 'extension(wk[28][4]=[0‥1]) :: init: true :: relation: Empty MDD
19.94/7.49	c 05:39:02.054 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30995. 'extension(wk[30][4]=[0‥1]) :: init: true :: relation: Empty MDD
19.94/7.49	c 05:39:02.055 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30997. 'extension(x[33][30]=[0‥4]) :: init: true :: relation: Empty MDD
19.94/7.49	c 05:39:02.055 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30999. 'extension(x[35][30]=[0‥4]) :: init: true :: relation: Empty MDD
19.94/7.49	c 05:39:02.055 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31013. 'extension(x[34][0]=[0‥4]) :: init: true :: relation: Empty MDD
19.94/7.49	c 05:39:02.056 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31023. 'extension(x[34][26]=[0‥4]) :: init: true :: relation: Empty MDD
19.94/7.49	c 05:39:02.056 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31025. 'extension(x[36][26]=[0‥4]) :: init: true :: relation: Empty MDD
19.94/7.49	c 05:39:02.057 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31043. 'extension(x[37][28]=[0‥4]) :: init: true :: relation: Empty MDD
19.94/7.49	c 05:39:02.057 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31053. 'extension(x[38][0]=[0‥4]) :: init: true :: relation: Empty MDD
20.25/7.50	c 05:39:02.058 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31063. 'extension(x[36][18]=[0‥4]) :: init: true :: relation: Empty MDD
20.25/7.50	c 05:39:02.058 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31069. 'extension(x[37][2]=[0‥4]) :: init: true :: relation: Empty MDD
20.25/7.50	c 05:39:02.058 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31071. 'extension(x[39][2]=[0‥4]) :: init: true :: relation: Empty MDD
20.25/7.50	c 05:39:02.059 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31085. 'extension(x[39][3]=[0‥4]) :: init: true :: relation: Empty MDD
20.25/7.50	c 05:39:02.060 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31095. 'extension(x[39][18]=[0‥4]) :: init: true :: relation: Empty MDD
20.25/7.50	c 05:39:02.060 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31109. 'extension(x[38][1]=[0‥4]) :: init: true :: relation: Empty MDD
20.25/7.50	c 05:39:02.060 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31111. 'extension(x[40][1]=[0‥4]) :: init: true :: relation: Empty MDD
20.25/7.50	c 05:39:02.061 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31125. 'extension(wk[11][5]=[0‥1]) :: init: true :: relation: Empty MDD
20.25/7.50	c 05:39:02.061 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31127. 'extension(x[39][11]=[0‥4]) :: init: true :: relation: Empty MDD
20.25/7.50	c 05:39:02.061 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31129. 'extension(x[41][11]=[0‥4]) :: init: true :: relation: Empty MDD
20.25/7.50	c 05:39:02.062 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31143. 'extension(wk[29][5]=[0‥1]) :: init: true :: relation: Empty MDD
20.25/7.50	c 05:39:02.062 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31145. 'extension(x[39][29]=[0‥4]) :: init: true :: relation: Empty MDD
20.25/7.50	c 05:39:02.062 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31151. 'extension(wk[10][5]=[0‥1]) :: init: true :: relation: Empty MDD
20.25/7.50	c 05:39:02.063 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31153. 'extension(x[40][10]=[0‥4]) :: init: true :: relation: Empty MDD
20.25/7.50	c 05:39:02.063 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31159. 'extension(wk[20][5]=[0‥1]) :: init: true :: relation: Empty MDD
20.25/7.50	c 05:39:02.063 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31161. 'extension(x[40][20]=[0‥4]) :: init: true :: relation: Empty MDD
20.25/7.50	c 05:39:02.063 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31167. 'extension(wk[25][5]=[0‥1]) :: init: true :: relation: Empty MDD
20.25/7.50	c 05:39:02.063 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31169. 'extension(x[40][25]=[0‥4]) :: init: true :: relation: Empty MDD
20.25/7.50	c 05:39:02.064 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31175. 'extension(wk[29][5]=[0‥1]) :: init: true :: relation: Empty MDD
20.25/7.50	c 05:39:02.064 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31181. 'extension(x[43][10]=[0‥4]) :: init: true :: relation: Empty MDD
20.25/7.50	c 05:39:02.065 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31195. 'extension(x[43][20]=[0‥4]) :: init: true :: relation: Empty MDD
20.25/7.50	c 05:39:02.066 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31213. 'extension(x[43][29]=[0‥4]) :: init: true :: relation: Empty MDD
20.25/7.50	c 05:39:02.067 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31223. 'extension(x[42][6]=[0‥4]) :: init: true :: relation: Empty MDD
20.25/7.50	c 05:39:02.067 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31229. 'extension(x[42][16]=[0‥4]) :: init: true :: relation: Empty MDD
20.25/7.50	c 05:39:02.067 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31235. 'extension(x[44][25]=[0‥4]) :: init: true :: relation: Empty MDD
20.25/7.51	c 05:39:02.068 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31245. 'extension(x[45][6]=[0‥4]) :: init: true :: relation: Empty MDD
20.25/7.51	c 05:39:02.068 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31259. 'extension(x[43][15]=[0‥4]) :: init: true :: relation: Empty MDD
20.25/7.51	c 05:39:02.069 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31265. 'extension(x[45][16]=[0‥4]) :: init: true :: relation: Empty MDD
20.25/7.51	c 05:39:02.069 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31283. 'extension(wk[15][6]=[0‥1]) :: init: true :: relation: Empty MDD
20.25/7.51	c 05:39:02.070 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31285. 'extension(x[48][15]=[0‥4]) :: init: true :: relation: Empty MDD
20.25/7.51	c 05:39:02.070 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31295. 'extension(wk[4][6]=[0‥1]) :: init: true :: relation: Empty MDD
20.25/7.51	c 05:39:02.070 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31297. 'extension(x[47][4]=[0‥4]) :: init: true :: relation: Empty MDD
20.25/7.51	c 05:39:02.070 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31299. 'extension(x[49][4]=[0‥4]) :: init: true :: relation: Empty MDD
20.25/7.51	c 05:39:02.071 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31313. 'extension(wk[8][6]=[0‥1]) :: init: true :: relation: Empty MDD
20.25/7.51	c 05:39:02.071 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31315. 'extension(x[47][8]=[0‥4]) :: init: true :: relation: Empty MDD
20.25/7.51	c 05:39:02.071 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31321. 'extension(wk[17][6]=[0‥1]) :: init: true :: relation: Empty MDD
20.25/7.51	c 05:39:02.072 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31323. 'extension(x[47][17]=[0‥4]) :: init: true :: relation: Empty MDD
20.25/7.51	c 05:39:02.072 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31329. 'extension(x[48][2]=[0‥4]) :: init: true :: relation: Empty MDD
20.25/7.51	c 05:39:02.072 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31335. 'extension(x[50][8]=[0‥4]) :: init: true :: relation: Empty MDD
20.25/7.51	c 05:39:02.073 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31353. 'extension(x[51][2]=[0‥4]) :: init: true :: relation: Empty MDD
20.25/7.51	c 05:39:02.074 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31367. 'extension(x[51][1]=[0‥4]) :: init: true :: relation: Empty MDD
20.25/7.51	c 05:39:02.074 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31369. 'extension(x[53][1]=[0‥4]) :: init: true :: relation: Empty MDD
20.25/7.51	c 05:39:02.074 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31383. 'extension(x[51][12]=[0‥4]) :: init: true :: relation: Empty MDD
20.25/7.51	c 05:39:02.075 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31389. 'extension(x[53][17]=[0‥4]) :: init: true :: relation: Empty MDD
20.25/7.51	c 05:39:02.075 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31399. 'extension(x[51][31]=[0‥4]) :: init: true :: relation: Empty MDD
20.25/7.51	c 05:39:02.075 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31405. 'extension(x[52][5]=[0‥4]) :: init: true :: relation: Empty MDD
20.25/7.51	c 05:39:02.076 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31407. 'extension(x[54][5]=[0‥4]) :: init: true :: relation: Empty MDD
20.25/7.51	c 05:39:02.076 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31425. 'extension(x[52][27]=[0‥4]) :: init: true :: relation: Empty MDD
20.25/7.51	c 05:39:02.077 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31431. 'extension(x[54][31]=[0‥4]) :: init: true :: relation: Empty MDD
20.25/7.51	c 05:39:02.077 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31445. 'extension(wk[12][7]=[0‥1]) :: init: true :: relation: Empty MDD
20.25/7.51	c 05:39:02.077 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31447. 'extension(x[55][12]=[0‥4]) :: init: true :: relation: Empty MDD
20.25/7.51	c 05:39:02.078 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31455. 'extension(wk[27][7]=[0‥1]) :: init: true :: relation: Empty MDD
20.25/7.51	c 05:39:02.078 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31457. 'extension(x[55][27]=[0‥4]) :: init: true :: relation: Empty MDD
2520.00/2454.51	Exception in thread "main" java.util.concurrent.TimeoutException
2520.00/2454.51		at concrete.MAC.mac(MAC.scala:188)
2520.00/2454.51		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.00/2454.51		at scala.util.Try$.apply(Try.scala:209)
2520.00/2454.51		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.00/2454.51		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.00/2454.51		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.00/2454.51		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.00/2454.51		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.00/2454.51		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.00/2454.51		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.00/2454.51		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.00/2454.51		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.00/2454.51		at concrete.MAC.oneRun(MAC.scala:253)
2520.00/2454.51		at concrete.MAC.nextSolution(MAC.scala:272)
2520.00/2454.51		at concrete.MAC.$anonfun$nextSolution$5(MAC.scala:336)
2520.00/2454.51		at concrete.ProblemState.map(ProblemState.scala:221)
2520.00/2454.51		at concrete.ProblemState.map(ProblemState.scala:204)
2520.00/2454.51		at concrete.MAC.nextSolution(MAC.scala:334)
2520.00/2454.51		at concrete.Solver.hasNext(Solver.scala:166)
2520.00/2454.51		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.00/2454.51		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.00/2454.51		at concrete.Solver.foreach(Solver.scala:68)
2520.00/2454.51		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.00/2454.51		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.00/2454.51		at scala.util.Success.map(Try.scala:209)
2520.00/2454.51		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.00/2454.51		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.00/2454.51		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.00/2454.51		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.00/2454.51		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.00/2454.51		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.00/2454.51		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.00/2454.51		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.00/2454.51		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.00/2454.51		at scala.collection.immutable.List.foreach(List.scala:389)
2520.00/2454.51		at scala.App.main(App.scala:76)
2520.00/2454.51		at scala.App.main$(App.scala:74)
2520.00/2454.51		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.00/2454.51		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.00/2454.51	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 (2439 MiB free)
  memory of node 1: 16384 MiB (3769 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304186-1534045134/watcher-4304186-1534045134 -o /tmp/evaluation-result-4304186-1534045134/solver-4304186-1534045134 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1534037719-31471 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=804142666 -superng HOME/instance-4304186-1534045134.xml 

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

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

solver pid=434, runsolver pid=431

[startup+0.100118 s]*
/proc/loadavg: 1.95 1.78 1.72 5/206 495
/proc/meminfo: memFree=6350256/32770624 swapFree=67108860/67108860
[pid=434] ppid=431 vsize=10005480 memory=16376 CPUtime=0.08 cores=0,2,4,6
/proc/434/stat : 434 (java) S 431 434 30457 0 -1 1077944320 4257 13199 0 0 1 0 4 3 20 0 6 0 222076595 10245611520 4094 33554432000 4194304 4196468 140733529217184 140733529199728 140140193648375 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
/proc/434/statm: 2501370 4094 1919 1 0 2489808 0
[pid=434/tid=491] ppid=431 vsize=10005480 memory=8389772277269004345 CPUtime=0.08 cores=0,2,4,6
/proc/434/task/491/stat : 491 (java) R 431 434 30457 0 -1 4202560 2274 13199 0 0 1 0 4 3 20 0 6 0 222076604 10245611520 4292 33554432000 4194304 4196468 140733529217184 140140165485136 140140176841075 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=492] ppid=431 vsize=10005480 memory=288293255295270935 CPUtime=0.07 cores=0,2,4,6
/proc/434/task/492/stat : 492 (java) S 431 434 30457 0 -1 1077944384 1 13199 0 0 0 0 4 3 20 0 6 0 222076605 10245611520 4292 33554432000 4194304 4196468 140733529217184 140140197890960 140140193658581 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=493] ppid=431 vsize=10005480 memory=140534589424448 CPUtime=0.07 cores=0,2,4,6
/proc/434/task/493/stat : 493 (java) S 431 434 30457 0 -1 1077944384 1 13199 0 0 0 0 4 3 20 0 6 0 222076605 10245611520 4292 33554432000 4194304 4196468 140733529217184 140139733789456 140140193658581 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=494] ppid=431 vsize=10005480 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/434/task/494/stat : 494 (java) S 431 434 30457 0 -1 1077944384 1 13199 0 0 0 0 4 3 20 0 6 0 222076605 10245611520 4292 33554432000 4194304 4196468 140733529217184 140139732737168 140140193658581 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=495] ppid=431 vsize=10005480 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/434/task/495/stat : 495 (java) S 431 434 30457 0 -1 1077944384 2 13199 0 0 0 0 4 3 20 0 6 0 222076605 10245611520 4292 33554432000 4194304 4196468 140733529217184 140139731684368 140140193658581 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16376 KiB

[startup+0.209895 s]*
/proc/loadavg: 1.95 1.78 1.72 5/215 504
/proc/meminfo: memFree=6325172/32770624 swapFree=67108860/67108860
[pid=434] ppid=431 vsize=10982696 memory=45104 CPUtime=0.25 cores=0,2,4,6
/proc/434/stat : 434 (java) S 431 434 30457 0 -1 1077944320 8612 13199 0 0 17 1 4 3 20 0 15 0 222076595 11246280704 11276 33554432000 4194304 4196468 140733529217184 140733529199728 140140193648375 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
/proc/434/statm: 2745674 11276 2960 1 0 2708109 0
[pid=434/tid=491] ppid=431 vsize=10982696 memory=8389772277269004345 CPUtime=0.19 cores=0,2,4,6
/proc/434/task/491/stat : 491 (java) R 431 434 30457 0 -1 4202560 5138 13199 0 0 11 1 4 3 20 0 15 0 222076604 11246280704 11276 33554432000 4194304 4196468 140733529217184 140140165446032 140140178813932 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=492] ppid=431 vsize=10982696 memory=288293255295270935 CPUtime=0.07 cores=0,2,4,6
/proc/434/task/492/stat : 492 (java) S 431 434 30457 0 -1 1077944384 1 13199 0 0 0 0 4 3 20 0 15 0 222076605 11246280704 11276 33554432000 4194304 4196468 140733529217184 140140197890960 140140193658581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=493] ppid=431 vsize=10982696 memory=140534589424448 CPUtime=0.07 cores=0,2,4,6
/proc/434/task/493/stat : 493 (java) S 431 434 30457 0 -1 1077944384 1 13199 0 0 0 0 4 3 20 0 15 0 222076605 11246280704 11276 33554432000 4194304 4196468 140733529217184 140139733789456 140140193658581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=494] ppid=431 vsize=10982696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/434/task/494/stat : 494 (java) S 431 434 30457 0 -1 1077944384 1 13199 0 0 0 0 4 3 20 0 15 0 222076605 11246280704 11276 33554432000 4194304 4196468 140733529217184 140139732737168 140140193658581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=495] ppid=431 vsize=10982696 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/434/task/495/stat : 495 (java) S 431 434 30457 0 -1 1077944384 2 13199 0 0 0 0 4 3 20 0 15 0 222076605 11246280704 11276 33554432000 4194304 4196468 140733529217184 140139731684368 140140193658581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=496] ppid=431 vsize=10982696 memory=140534589396608 CPUtime=0.07 cores=0,2,4,6
/proc/434/task/496/stat : 496 (java) S 431 434 30457 0 -1 1077944384 2 13199 0 0 0 0 4 3 20 0 15 0 222076606 11246280704 11276 33554432000 4194304 4196468 140733529217184 140139686733936 140140193659522 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=497] ppid=431 vsize=10982696 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/434/task/497/stat : 497 (java) S 431 434 30457 0 -1 1077944384 13 13199 0 0 0 0 4 3 20 0 15 0 222076607 11246280704 11276 33554432000 4194304 4196468 140733529217184 140139011498784 140140193658581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=498] ppid=431 vsize=10982696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/434/task/498/stat : 498 (java) S 431 434 30457 0 -1 1077944384 1 13199 0 0 0 0 4 3 20 0 15 0 222076607 11246280704 11276 33554432000 4194304 4196468 140733529217184 140138810172528 140140193658581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=499] ppid=431 vsize=10982696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/434/task/499/stat : 499 (java) S 431 434 30457 0 -1 1077944384 3 13199 0 0 0 0 4 3 20 0 15 0 222076609 11246280704 11276 33554432000 4194304 4196468 140733529217184 140138502772816 140140193666971 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=500] ppid=431 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/434/task/500/stat : 500 (java) S 431 434 30457 0 -1 1077944384 480 13199 0 0 1 0 4 3 20 0 15 0 222076609 11246280704 11276 33554432000 4194304 4196468 140733529217184 140139685681776 140140193659522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=501] ppid=431 vsize=10982696 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/434/task/501/stat : 501 (java) S 431 434 30457 0 -1 1077944384 143 13199 0 0 0 0 4 3 20 0 15 0 222076609 11246280704 11276 33554432000 4194304 4196468 140733529217184 140139684628976 140140193659522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=502] ppid=431 vsize=10982696 memory=140534589396608 CPUtime=0.1 cores=0,2,4,6
/proc/434/task/502/stat : 502 (java) S 431 434 30457 0 -1 1077944384 630 13199 0 0 3 0 4 3 20 0 15 0 222076609 11246280704 11276 33554432000 4194304 4196468 140733529217184 140139615480688 140140193659522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=503] ppid=431 vsize=10982696 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/434/task/503/stat : 503 (java) S 431 434 30457 0 -1 1077944384 3 13199 0 0 0 0 4 3 20 0 15 0 222076610 11246280704 11276 33554432000 4194304 4196468 140733529217184 140138071976928 140140193658581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=504] ppid=431 vsize=10982696 memory=140534589396608 CPUtime=0.07 cores=0,2,4,6
/proc/434/task/504/stat : 504 (java) S 431 434 30457 0 -1 1077944384 1 13199 0 0 0 0 4 3 20 0 15 0 222076610 11246280704 11276 33554432000 4194304 4196468 140733529217184 140139614427568 140140193659522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982696 KiB
Current children cumulated memory: 45104 KiB

[startup+0.310297 s]*
/proc/loadavg: 1.95 1.78 1.72 5/215 504
/proc/meminfo: memFree=6312644/32770624 swapFree=67108860/67108860
[pid=434] ppid=431 vsize=10983192 memory=56428 CPUtime=0.37 cores=0,2,4,6
/proc/434/stat : 434 (java) S 431 434 30457 0 -1 1077944320 10617 13199 0 0 28 2 4 3 20 0 15 0 222076595 11246788608 14107 33554432000 4194304 4196468 140733529217184 140733529199728 140140193648375 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
/proc/434/statm: 2745798 14107 3092 1 0 2708109 0
[pid=434/tid=491] ppid=431 vsize=10983192 memory=-7003737579269690708 CPUtime=0.28 cores=0,2,4,6
/proc/434/task/491/stat : 491 (java) R 431 434 30457 0 -1 4202560 7161 13199 0 0 20 1 4 3 20 0 15 0 222076604 11246788608 14107 33554432000 4194304 4196468 140733529217184 140140165460384 140140193670301 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=492] ppid=431 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/434/task/492/stat : 492 (java) S 431 434 30457 0 -1 1077944384 1 13199 0 0 0 0 4 3 20 0 15 0 222076605 11246788608 14107 33554432000 4194304 4196468 140733529217184 140140197890960 140140193658581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=493] ppid=431 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/434/task/493/stat : 493 (java) S 431 434 30457 0 -1 1077944384 1 13199 0 0 0 0 4 3 20 0 15 0 222076605 11246788608 14107 33554432000 4194304 4196468 140733529217184 140139733789456 140140193658581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=494] ppid=431 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/434/task/494/stat : 494 (java) S 431 434 30457 0 -1 1077944384 1 13199 0 0 0 0 4 3 20 0 15 0 222076605 11246788608 14107 33554432000 4194304 4196468 140733529217184 140139732737168 140140193658581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=495] ppid=431 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/434/task/495/stat : 495 (java) S 431 434 30457 0 -1 1077944384 2 13199 0 0 0 0 4 3 20 0 15 0 222076605 11246788608 14107 33554432000 4194304 4196468 140733529217184 140139731684368 140140193658581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=496] ppid=431 vsize=10983192 memory=140534589396607 CPUtime=0.07 cores=0,2,4,6
/proc/434/task/496/stat : 496 (java) S 431 434 30457 0 -1 1077944384 2 13199 0 0 0 0 4 3 20 0 15 0 222076606 11246788608 14107 33554432000 4194304 4196468 140733529217184 140139686733936 140140193659522 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=497] ppid=431 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/434/task/497/stat : 497 (java) S 431 434 30457 0 -1 1077944384 13 13199 0 0 0 0 4 3 20 0 15 0 222076607 11246788608 14107 33554432000 4194304 4196468 140733529217184 140139011498784 140140193658581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=498] ppid=431 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/434/task/498/stat : 498 (java) S 431 434 30457 0 -1 1077944384 1 13199 0 0 0 0 4 3 20 0 15 0 222076607 11246788608 14107 33554432000 4194304 4196468 140733529217184 140138810172528 140140193658581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=499] ppid=431 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/434/task/499/stat : 499 (java) S 431 434 30457 0 -1 1077944384 3 13199 0 0 0 0 4 3 20 0 15 0 222076609 11246788608 14107 33554432000 4194304 4196468 140733529217184 140138502772816 140140193666971 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=500] ppid=431 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/434/task/500/stat : 500 (java) S 431 434 30457 0 -1 1077944384 481 13199 0 0 2 0 4 3 20 0 15 0 222076609 11246788608 14107 33554432000 4194304 4196468 140733529217184 140139685681776 140140193659522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=501] ppid=431 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/434/task/501/stat : 501 (java) S 431 434 30457 0 -1 1077944384 143 13199 0 0 1 0 4 3 20 0 15 0 222076609 11246788608 14107 33554432000 4194304 4196468 140733529217184 140139684628976 140140193659522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=502] ppid=431 vsize=10983192 memory=140534589396608 CPUtime=0.11 cores=0,2,4,6
/proc/434/task/502/stat : 502 (java) R 431 434 30457 0 -1 4202560 635 13199 0 0 4 0 4 3 20 0 15 0 222076609 11246788608 14107 33554432000 4194304 4196468 140733529217184 140139615480688 140140193669722 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=503] ppid=431 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/434/task/503/stat : 503 (java) S 431 434 30457 0 -1 1077944384 3 13199 0 0 0 0 4 3 20 0 15 0 222076610 11246788608 14107 33554432000 4194304 4196468 140733529217184 140138071976928 140140193658581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=504] ppid=431 vsize=10983192 memory=140534589396608 CPUtime=0.07 cores=0,2,4,6
/proc/434/task/504/stat : 504 (java) S 431 434 30457 0 -1 1077944384 1 13199 0 0 0 0 4 3 20 0 15 0 222076610 11246788608 14107 33554432000 4194304 4196468 140733529217184 140139614427568 140140193659522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56428 KiB

[startup+0.700777 s]
/proc/loadavg: 1.95 1.78 1.72 5/215 504
/proc/meminfo: memFree=6297760/32770624 swapFree=67108860/67108860
[pid=434] ppid=431 vsize=10983192 memory=88700 CPUtime=0.98 cores=0,2,4,6
/proc/434/stat : 434 (java) S 431 434 30457 0 -1 1077944320 16830 13199 0 0 88 3 4 3 20 0 15 0 222076595 11246788608 22175 33554432000 4194304 4196468 140733529217184 140733529199728 140140193648375 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
/proc/434/statm: 2745798 22175 3237 1 0 2708109 0
[pid=434/tid=491] ppid=431 vsize=10983192 memory=7013062643969123904 CPUtime=0.66 cores=0,2,4,6
/proc/434/task/491/stat : 491 (java) R 431 434 30457 0 -1 4202560 12433 13199 0 0 57 2 4 3 20 0 15 0 222076604 11246788608 22175 33554432000 4194304 4196468 140733529217184 140140165469200 140140178813920 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=492] ppid=431 vsize=10983192 memory=8099279071866868841 CPUtime=0.07 cores=0,2,4,6
/proc/434/task/492/stat : 492 (java) S 431 434 30457 0 -1 1077944384 1 13199 0 0 0 0 4 3 20 0 15 0 222076605 11246788608 22175 33554432000 4194304 4196468 140733529217184 140140197890960 140140193658581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=493] ppid=431 vsize=10983192 memory=65284 CPUtime=0.07 cores=0,2,4,6
/proc/434/task/493/stat : 493 (java) S 431 434 30457 0 -1 1077944384 1 13199 0 0 0 0 4 3 20 0 15 0 222076605 11246788608 22175 33554432000 4194304 4196468 140733529217184 140139733789456 140140193658581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=494] ppid=431 vsize=10983192 memory=1240 CPUtime=0.07 cores=0,2,4,6
/proc/434/task/494/stat : 494 (java) S 431 434 30457 0 -1 1077944384 1 13199 0 0 0 0 4 3 20 0 15 0 222076605 11246788608 22175 33554432000 4194304 4196468 140733529217184 140139732737168 140140193658581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=495] ppid=431 vsize=10983192 memory=5792307881615119716 CPUtime=0.07 cores=0,2,4,6
/proc/434/task/495/stat : 495 (java) S 431 434 30457 0 -1 1077944384 2 13199 0 0 0 0 4 3 20 0 15 0 222076605 11246788608 22175 33554432000 4194304 4196468 140733529217184 140139731684368 140140193658581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=496] ppid=431 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/434/task/496/stat : 496 (java) S 431 434 30457 0 -1 1077944384 5 13199 0 0 0 0 4 3 20 0 15 0 222076606 11246788608 22175 33554432000 4194304 4196468 140733529217184 140139686733936 140140193659522 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=497] ppid=431 vsize=10983192 memory=-9105010502766935968 CPUtime=0.07 cores=0,2,4,6
/proc/434/task/497/stat : 497 (java) S 431 434 30457 0 -1 1077944384 13 13199 0 0 0 0 4 3 20 0 15 0 222076607 11246788608 22175 33554432000 4194304 4196468 140733529217184 140139011498784 140140193658581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=498] ppid=431 vsize=10983192 memory=4778389918059158064 CPUtime=0.07 cores=0,2,4,6
/proc/434/task/498/stat : 498 (java) S 431 434 30457 0 -1 1077944384 1 13199 0 0 0 0 4 3 20 0 15 0 222076607 11246788608 22175 33554432000 4194304 4196468 140733529217184 140138810172528 140140193658581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=499] ppid=431 vsize=10983192 memory=4346044353833085232 CPUtime=0.07 cores=0,2,4,6
/proc/434/task/499/stat : 499 (java) S 431 434 30457 0 -1 1077944384 3 13199 0 0 0 0 4 3 20 0 15 0 222076609 11246788608 22175 33554432000 4194304 4196468 140733529217184 140138502772816 140140193666971 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=500] ppid=431 vsize=10983192 memory=4634249303410360416 CPUtime=0.13 cores=0,2,4,6
/proc/434/task/500/stat : 500 (java) S 431 434 30457 0 -1 1077944384 711 13199 0 0 6 0 4 3 20 0 15 0 222076609 11246788608 22175 33554432000 4194304 4196468 140733529217184 140139685681776 140140193659522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=501] ppid=431 vsize=10983192 memory=-7380131914204567190 CPUtime=0.17 cores=0,2,4,6
/proc/434/task/501/stat : 501 (java) S 431 434 30457 0 -1 1077944384 784 13199 0 0 10 0 4 3 20 0 15 0 222076609 11246788608 22175 33554432000 4194304 4196468 140733529217184 140139684628976 140140193659522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=502] ppid=431 vsize=10983192 memory=6935649255759568960 CPUtime=0.2 cores=0,2,4,6
/proc/434/task/502/stat : 502 (java) S 431 434 30457 0 -1 1077944384 674 13199 0 0 13 0 4 3 20 0 15 0 222076609 11246788608 22175 33554432000 4194304 4196468 140733529217184 140139615480688 140140193659522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=503] ppid=431 vsize=10983192 memory=2319389199337275488 CPUtime=0.07 cores=0,2,4,6
/proc/434/task/503/stat : 503 (java) S 431 434 30457 0 -1 1077944384 3 13199 0 0 0 0 4 3 20 0 15 0 222076610 11246788608 22175 33554432000 4194304 4196468 140733529217184 140138071976928 140140193658581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=504] ppid=431 vsize=10983192 memory=734122130331934768 CPUtime=0.07 cores=0,2,4,6
/proc/434/task/504/stat : 504 (java) S 431 434 30457 0 -1 1077944384 1 13199 0 0 0 0 4 3 20 0 15 0 222076610 11246788608 22175 33554432000 4194304 4196468 140733529217184 140139614427568 140140193659522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88700 KiB

[startup+1.50141 s]
/proc/loadavg: 1.95 1.78 1.72 5/215 504
/proc/meminfo: memFree=6245104/32770624 swapFree=67108860/67108860
[pid=434] ppid=431 vsize=10991948 memory=176696 CPUtime=3.18 cores=0,2,4,6
/proc/434/stat : 434 (java) S 431 434 30457 0 -1 1077944320 23533 13199 0 0 305 6 4 3 20 0 15 0 222076595 11255754752 44174 33554432000 4194304 4196468 140733529217184 140733529199728 140140193648375 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
/proc/434/statm: 2747987 44174 3447 1 0 2709645 0
[pid=434/tid=491] ppid=431 vsize=10991948 memory=146812 CPUtime=1.45 cores=0,2,4,6
/proc/434/task/491/stat : 491 (java) R 431 434 30457 0 -1 4202560 15241 13199 0 0 134 4 4 3 20 0 15 0 222076604 11255754752 44174 33554432000 4194304 4196468 140733529217184 140140165483568 140139764305988 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=492] ppid=431 vsize=10991948 memory=7 CPUtime=0.07 cores=0,2,4,6
/proc/434/task/492/stat : 492 (java) S 431 434 30457 0 -1 1077944384 1 13199 0 0 0 0 4 3 20 0 15 0 222076605 11255754752 44174 33554432000 4194304 4196468 140733529217184 140140197890960 140140193658581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=493] ppid=431 vsize=10991948 memory=65284 CPUtime=0.07 cores=0,2,4,6
/proc/434/task/493/stat : 493 (java) S 431 434 30457 0 -1 1077944384 1 13199 0 0 0 0 4 3 20 0 15 0 222076605 11255754752 44174 33554432000 4194304 4196468 140733529217184 140139733789456 140140193658581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=494] ppid=431 vsize=10991948 memory=1240 CPUtime=0.07 cores=0,2,4,6
/proc/434/task/494/stat : 494 (java) S 431 434 30457 0 -1 1077944384 1 13199 0 0 0 0 4 3 20 0 15 0 222076605 11255754752 44174 33554432000 4194304 4196468 140733529217184 140139732737168 140140193658581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=495] ppid=431 vsize=10991948 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/434/task/495/stat : 495 (java) S 431 434 30457 0 -1 1077944384 2 13199 0 0 0 0 4 3 20 0 15 0 222076605 11255754752 44174 33554432000 4194304 4196468 140733529217184 140139731684368 140140193658581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=496] ppid=431 vsize=10991948 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/434/task/496/stat : 496 (java) S 431 434 30457 0 -1 1077944384 6 13199 0 0 0 0 4 3 20 0 15 0 222076606 11255754752 44174 33554432000 4194304 4196468 140733529217184 140139686733936 140140193659522 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=497] ppid=431 vsize=10991948 memory=7809914021240465728 CPUtime=0.07 cores=0,2,4,6
/proc/434/task/497/stat : 497 (java) S 431 434 30457 0 -1 1077944384 13 13199 0 0 0 0 4 3 20 0 15 0 222076607 11255754752 44174 33554432000 4194304 4196468 140733529217184 140139011498784 140140193658581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=498] ppid=431 vsize=10991948 memory=7512114543601282149 CPUtime=0.07 cores=0,2,4,6
/proc/434/task/498/stat : 498 (java) S 431 434 30457 0 -1 1077944384 1 13199 0 0 0 0 4 3 20 0 15 0 222076607 11255754752 44174 33554432000 4194304 4196468 140733529217184 140138810172528 140140193658581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=499] ppid=431 vsize=10991948 memory=7518026630507423588 CPUtime=0.07 cores=0,2,4,6
/proc/434/task/499/stat : 499 (java) S 431 434 30457 0 -1 1077944384 3 13199 0 0 0 0 4 3 20 0 15 0 222076609 11255754752 44174 33554432000 4194304 4196468 140733529217184 140138502772816 140140193666971 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=500] ppid=431 vsize=10991948 memory=4639059877604708710 CPUtime=0.67 cores=0,2,4,6
/proc/434/task/500/stat : 500 (java) R 431 434 30457 0 -1 4202560 1850 13199 0 0 60 0 4 3 20 0 15 0 222076609 11255754752 44174 33554432000 4194304 4196468 140733529217184 140139685668320 140140174838076 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=501] ppid=431 vsize=10991948 memory=7660742144744843625 CPUtime=0.67 cores=0,2,4,6
/proc/434/task/501/stat : 501 (java) R 431 434 30457 0 -1 4202560 2474 13199 0 0 60 0 4 3 20 0 15 0 222076609 11255754752 44174 33554432000 4194304 4196468 140733529217184 140139684618608 140140173302576 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=502] ppid=431 vsize=10991948 memory=4639059877604708710 CPUtime=0.55 cores=0,2,4,6
/proc/434/task/502/stat : 502 (java) S 431 434 30457 0 -1 1077944384 1739 13199 0 0 48 0 4 3 20 0 15 0 222076609 11255754752 44174 33554432000 4194304 4196468 140733529217184 140139615480688 140140193659522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=503] ppid=431 vsize=10991948 memory=6935650355287975249 CPUtime=0.07 cores=0,2,4,6
/proc/434/task/503/stat : 503 (java) S 431 434 30457 0 -1 1077944384 3 13199 0 0 0 0 4 3 20 0 15 0 222076610 11255754752 44174 33554432000 4194304 4196468 140733529217184 140138071976928 140140193658581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=504] ppid=431 vsize=10991948 memory=7372786582024121444 CPUtime=0.07 cores=0,2,4,6
/proc/434/task/504/stat : 504 (java) S 431 434 30457 0 -1 1077944384 1 13199 0 0 0 0 4 3 20 0 15 0 222076610 11255754752 44174 33554432000 4194304 4196468 140733529217184 140139614427568 140140193659522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
Current children cumulated CPU time: 3.18 s
Current children cumulated vsize: 10991948 KiB

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

/proc/434/task/491/stat : 491 (java) R 431 434 30457 0 -1 4202560 117242 13199 0 0 236015 54 4 3 20 0 15 0 222076604 11280941056 367472 33554432000 4194304 4196468 140733529217184 140140165482384 140139788861131 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=492] ppid=431 vsize=11016544 memory=1467324 CPUtime=11.27 cores=0,2,4,6
/proc/434/task/492/stat : 492 (java) S 431 434 30457 0 -1 1077944384 31336 13199 0 0 1068 52 4 3 20 0 15 0 222076605 11280941056 367472 33554432000 4194304 4196468 140733529217184 140140197890960 140140193658581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=493] ppid=431 vsize=11016544 memory=1467324 CPUtime=11.24 cores=0,2,4,6
/proc/434/task/493/stat : 493 (java) S 431 434 30457 0 -1 1077944384 24973 13199 0 0 1064 53 4 3 20 0 15 0 222076605 11280941056 367472 33554432000 4194304 4196468 140733529217184 140139733789456 140140193658581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=494] ppid=431 vsize=11016544 memory=1467352 CPUtime=11.23 cores=0,2,4,6
/proc/434/task/494/stat : 494 (java) S 431 434 30457 0 -1 1077944384 29298 13199 0 0 1064 52 4 3 20 0 15 0 222076605 11280941056 367472 33554432000 4194304 4196468 140733529217184 140139732737168 140140193658581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=495] ppid=431 vsize=11016544 memory=1469412 CPUtime=11.24 cores=0,2,4,6
/proc/434/task/495/stat : 495 (java) S 431 434 30457 0 -1 1077944384 31130 13199 0 0 1065 52 4 3 20 0 15 0 222076605 11280941056 367472 33554432000 4194304 4196468 140733529217184 140139731684368 140140193658581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=496] ppid=431 vsize=11016544 memory=1469412 CPUtime=7.57 cores=0,2,4,6
/proc/434/task/496/stat : 496 (java) S 431 434 30457 0 -1 1077944384 26546 13199 0 0 710 40 4 3 20 0 15 0 222076606 11280941056 367472 33554432000 4194304 4196468 140733529217184 140139686733936 140140193659522 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=497] ppid=431 vsize=11016544 memory=1469412 CPUtime=0.07 cores=0,2,4,6
/proc/434/task/497/stat : 497 (java) S 431 434 30457 0 -1 1077944384 18 13199 0 0 0 0 4 3 20 0 15 0 222076607 11280941056 367472 33554432000 4194304 4196468 140733529217184 140139011498848 140140193658581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=498] ppid=431 vsize=11016544 memory=1469412 CPUtime=0.07 cores=0,2,4,6
/proc/434/task/498/stat : 498 (java) S 431 434 30457 0 -1 1077944384 4 13199 0 0 0 0 4 3 20 0 15 0 222076607 11280941056 367472 33554432000 4194304 4196468 140733529217184 140138810172544 140140193658581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=499] ppid=431 vsize=11016544 memory=1469412 CPUtime=0.07 cores=0,2,4,6
/proc/434/task/499/stat : 499 (java) S 431 434 30457 0 -1 1077944384 3 13199 0 0 0 0 4 3 20 0 15 0 222076609 11280941056 367472 33554432000 4194304 4196468 140733529217184 140138502772816 140140193666971 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=500] ppid=431 vsize=11016544 memory=1469888 CPUtime=13.82 cores=0,2,4,6
/proc/434/task/500/stat : 500 (java) S 431 434 30457 0 -1 1077944384 139143 13199 0 0 1363 12 4 3 20 0 15 0 222076609 11280941056 367472 33554432000 4194304 4196468 140733529217184 140139685681776 140140193659522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=501] ppid=431 vsize=11016544 memory=142699148593111 CPUtime=13.64 cores=0,2,4,6
/proc/434/task/501/stat : 501 (java) S 431 434 30457 0 -1 1077944384 139454 13199 0 0 1345 12 4 3 20 0 15 0 222076609 11280941056 367472 33554432000 4194304 4196468 140733529217184 140139684628976 140140193659522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=502] ppid=431 vsize=11016544 memory=1469888 CPUtime=5.34 cores=0,2,4,6
/proc/434/task/502/stat : 502 (java) S 431 434 30457 0 -1 1077944384 135583 13199 0 0 512 15 4 3 20 0 15 0 222076609 11280941056 367472 33554432000 4194304 4196468 140733529217184 140139615480688 140140193659522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=503] ppid=431 vsize=11016544 memory=4032 CPUtime=0.07 cores=0,2,4,6
/proc/434/task/503/stat : 503 (java) S 431 434 30457 0 -1 1077944384 3 13199 0 0 0 0 4 3 20 0 15 0 222076610 11280941056 367472 33554432000 4194304 4196468 140733529217184 140138071976928 140140193658581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=504] ppid=431 vsize=11016544 memory=18232 CPUtime=1.28 cores=0,2,4,6
/proc/434/task/504/stat : 504 (java) S 431 434 30457 0 -1 1077944384 2224 13199 0 0 62 59 4 3 20 0 15 0 222076610 11280941056 367472 33554432000 4194304 4196468 140733529217184 140139614427568 140140193659522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
Current children cumulated CPU time: 2446.88 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1469888 KiB

[startup+2442.3 s]
/proc/loadavg: 1.26 1.32 1.32 3/215 621
/proc/meminfo: memFree=4335524/32770624 swapFree=67108860/67108860
[pid=434] ppid=431 vsize=11016544 memory=1469956 CPUtime=2507.65 cores=0,2,4,6
/proc/434/stat : 434 (java) S 431 434 30457 0 -1 1077944320 680642 13199 0 0 250390 368 4 3 20 0 15 0 222076595 11280941056 367489 33554432000 4194304 4196468 140733529217184 140733529199728 140140193648375 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
/proc/434/statm: 2754136 367489 3538 1 0 2715789 0
[pid=434/tid=491] ppid=431 vsize=11016544 memory=1469956 CPUtime=2420.2 cores=0,2,4,6
/proc/434/task/491/stat : 491 (java) R 431 434 30457 0 -1 4202560 117934 13199 0 0 241958 55 4 3 20 0 15 0 222076604 11280941056 367489 33554432000 4194304 4196468 140733529217184 140140165483536 140139765388920 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=492] ppid=431 vsize=11016544 memory=1469956 CPUtime=11.55 cores=0,2,4,6
/proc/434/task/492/stat : 492 (java) S 431 434 30457 0 -1 1077944384 31434 13199 0 0 1095 53 4 3 20 0 15 0 222076605 11280941056 367489 33554432000 4194304 4196468 140733529217184 140140197890960 140140193658581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=493] ppid=431 vsize=11016544 memory=1469956 CPUtime=11.52 cores=0,2,4,6
/proc/434/task/493/stat : 493 (java) S 431 434 30457 0 -1 1077944384 25095 13199 0 0 1091 54 4 3 20 0 15 0 222076605 11280941056 367489 33554432000 4194304 4196468 140733529217184 140139733789456 140140193658581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=494] ppid=431 vsize=11016544 memory=1469956 CPUtime=11.52 cores=0,2,4,6
/proc/434/task/494/stat : 494 (java) S 431 434 30457 0 -1 1077944384 29330 13199 0 0 1092 53 4 3 20 0 15 0 222076605 11280941056 367489 33554432000 4194304 4196468 140733529217184 140139732737168 140140193658581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=495] ppid=431 vsize=11016544 memory=1469956 CPUtime=11.52 cores=0,2,4,6
/proc/434/task/495/stat : 495 (java) S 431 434 30457 0 -1 1077944384 31371 13199 0 0 1092 53 4 3 20 0 15 0 222076605 11280941056 367489 33554432000 4194304 4196468 140733529217184 140139731684368 140140193658581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=496] ppid=431 vsize=11016544 memory=1469412 CPUtime=7.76 cores=0,2,4,6
/proc/434/task/496/stat : 496 (java) S 431 434 30457 0 -1 1077944384 26815 13199 0 0 728 41 4 3 20 0 15 0 222076606 11280941056 367489 33554432000 4194304 4196468 140733529217184 140139686733936 140140193659522 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=497] ppid=431 vsize=11016544 memory=1469412 CPUtime=0.07 cores=0,2,4,6
/proc/434/task/497/stat : 497 (java) S 431 434 30457 0 -1 1077944384 18 13199 0 0 0 0 4 3 20 0 15 0 222076607 11280941056 367489 33554432000 4194304 4196468 140733529217184 140139011498848 140140193658581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=498] ppid=431 vsize=11016544 memory=1469920 CPUtime=0.07 cores=0,2,4,6
/proc/434/task/498/stat : 498 (java) S 431 434 30457 0 -1 1077944384 4 13199 0 0 0 0 4 3 20 0 15 0 222076607 11280941056 367489 33554432000 4194304 4196468 140733529217184 140138810172544 140140193658581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=499] ppid=431 vsize=11016544 memory=1469920 CPUtime=0.07 cores=0,2,4,6
/proc/434/task/499/stat : 499 (java) S 431 434 30457 0 -1 1077944384 3 13199 0 0 0 0 4 3 20 0 15 0 222076609 11280941056 367489 33554432000 4194304 4196468 140733529217184 140138502772816 140140193666971 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=500] ppid=431 vsize=11016544 memory=1469956 CPUtime=13.82 cores=0,2,4,6
/proc/434/task/500/stat : 500 (java) S 431 434 30457 0 -1 1077944384 139145 13199 0 0 1363 12 4 3 20 0 15 0 222076609 11280941056 367489 33554432000 4194304 4196468 140733529217184 140139685681776 140140193659522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=501] ppid=431 vsize=11016544 memory=1469956 CPUtime=13.64 cores=0,2,4,6
/proc/434/task/501/stat : 501 (java) S 431 434 30457 0 -1 1077944384 139456 13199 0 0 1345 12 4 3 20 0 15 0 222076609 11280941056 367489 33554432000 4194304 4196468 140733529217184 140139684628976 140140193659522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=502] ppid=431 vsize=11016544 memory=1469956 CPUtime=5.34 cores=0,2,4,6
/proc/434/task/502/stat : 502 (java) S 431 434 30457 0 -1 1077944384 135585 13199 0 0 512 15 4 3 20 0 15 0 222076609 11280941056 367489 33554432000 4194304 4196468 140733529217184 140139615480688 140140193659522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=503] ppid=431 vsize=11016544 memory=1469956 CPUtime=0.07 cores=0,2,4,6
/proc/434/task/503/stat : 503 (java) S 431 434 30457 0 -1 1077944384 3 13199 0 0 0 0 4 3 20 0 15 0 222076610 11280941056 367489 33554432000 4194304 4196468 140733529217184 140138071976928 140140193658581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=504] ppid=431 vsize=11016544 memory=1469956 CPUtime=1.32 cores=0,2,4,6
/proc/434/task/504/stat : 504 (java) S 431 434 30457 0 -1 1077944384 2252 13199 0 0 64 61 4 3 20 0 15 0 222076610 11280941056 367489 33554432000 4194304 4196468 140733529217184 140139614427568 140140193659522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
Current children cumulated CPU time: 2507.65 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1469956 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2454.5 s]
/proc/loadavg: 1.43 1.35 1.33 4/215 758
/proc/meminfo: memFree=4597656/32770624 swapFree=67108860/67108860
[pid=434] ppid=431 vsize=11016544 memory=1469968 CPUtime=2520 cores=0,2,4,6
/proc/434/stat : 434 (java) S 431 434 30457 0 -1 1077944320 680983 13199 0 0 251623 370 4 3 20 0 15 0 222076595 11280941056 367492 33554432000 4194304 4196468 140733529217184 140733529199728 140140193648375 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
/proc/434/statm: 2754136 367492 3538 1 0 2715789 0
[pid=434/tid=491] ppid=431 vsize=11016544 memory=1469956 CPUtime=2432.27 cores=0,2,4,6
/proc/434/task/491/stat : 491 (java) R 431 434 30457 0 -1 4202560 118130 13199 0 0 243164 56 4 3 20 0 15 0 222076604 11280941056 367492 33554432000 4194304 4196468 140733529217184 140140165483536 140139765388843 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=492] ppid=431 vsize=11016544 memory=1469956 CPUtime=11.6 cores=0,2,4,6
/proc/434/task/492/stat : 492 (java) S 431 434 30457 0 -1 1077944384 31451 13199 0 0 1100 53 4 3 20 0 15 0 222076605 11280941056 367492 33554432000 4194304 4196468 140733529217184 140140197890960 140140193658581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=493] ppid=431 vsize=11016544 memory=1469956 CPUtime=11.57 cores=0,2,4,6
/proc/434/task/493/stat : 493 (java) S 431 434 30457 0 -1 1077944384 25159 13199 0 0 1096 54 4 3 20 0 15 0 222076605 11280941056 367492 33554432000 4194304 4196468 140733529217184 140139733789456 140140193658581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=494] ppid=431 vsize=11016544 memory=1469956 CPUtime=11.57 cores=0,2,4,6
/proc/434/task/494/stat : 494 (java) S 431 434 30457 0 -1 1077944384 29343 13199 0 0 1097 53 4 3 20 0 15 0 222076605 11280941056 367492 33554432000 4194304 4196468 140733529217184 140139732737168 140140193658581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=495] ppid=431 vsize=11016544 memory=1469920 CPUtime=11.57 cores=0,2,4,6
/proc/434/task/495/stat : 495 (java) S 431 434 30457 0 -1 1077944384 31389 13199 0 0 1097 53 4 3 20 0 15 0 222076605 11280941056 367492 33554432000 4194304 4196468 140733529217184 140139731684368 140140193658581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=496] ppid=431 vsize=11016544 memory=1469920 CPUtime=7.79 cores=0,2,4,6
/proc/434/task/496/stat : 496 (java) S 431 434 30457 0 -1 1077944384 26840 13199 0 0 731 41 4 3 20 0 15 0 222076606 11280941056 367492 33554432000 4194304 4196468 140733529217184 140139686733936 140140193659522 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=497] ppid=431 vsize=11016544 memory=1469412 CPUtime=0.07 cores=0,2,4,6
/proc/434/task/497/stat : 497 (java) S 431 434 30457 0 -1 1077944384 18 13199 0 0 0 0 4 3 20 0 15 0 222076607 11280941056 367492 33554432000 4194304 4196468 140733529217184 140139011498848 140140193658581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=498] ppid=431 vsize=11016544 memory=1469412 CPUtime=0.07 cores=0,2,4,6
/proc/434/task/498/stat : 498 (java) S 431 434 30457 0 -1 1077944384 4 13199 0 0 0 0 4 3 20 0 15 0 222076607 11280941056 367492 33554432000 4194304 4196468 140733529217184 140138810172544 140140193658581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=499] ppid=431 vsize=11016544 memory=1469956 CPUtime=0.07 cores=0,2,4,6
/proc/434/task/499/stat : 499 (java) S 431 434 30457 0 -1 1077944384 3 13199 0 0 0 0 4 3 20 0 15 0 222076609 11280941056 367492 33554432000 4194304 4196468 140733529217184 140138502772816 140140193666971 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=500] ppid=431 vsize=11016544 memory=1469956 CPUtime=13.82 cores=0,2,4,6
/proc/434/task/500/stat : 500 (java) S 431 434 30457 0 -1 1077944384 139147 13199 0 0 1363 12 4 3 20 0 15 0 222076609 11280941056 367492 33554432000 4194304 4196468 140733529217184 140139685681776 140140193659522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=501] ppid=431 vsize=11016544 memory=1469956 CPUtime=13.64 cores=0,2,4,6
/proc/434/task/501/stat : 501 (java) S 431 434 30457 0 -1 1077944384 139458 13199 0 0 1345 12 4 3 20 0 15 0 222076609 11280941056 367492 33554432000 4194304 4196468 140733529217184 140139684628976 140140193659522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=502] ppid=431 vsize=11016544 memory=1469968 CPUtime=5.34 cores=0,2,4,6
/proc/434/task/502/stat : 502 (java) S 431 434 30457 0 -1 1077944384 135587 13199 0 0 512 15 4 3 20 0 15 0 222076609 11280941056 367492 33554432000 4194304 4196468 140733529217184 140139615480688 140140193659522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=503] ppid=431 vsize=11016544 memory=60384 CPUtime=0.07 cores=0,2,4,6
/proc/434/task/503/stat : 503 (java) S 431 434 30457 0 -1 1077944384 3 13199 0 0 0 0 4 3 20 0 15 0 222076610 11280941056 367492 33554432000 4194304 4196468 140733529217184 140138071976928 140140193658581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=504] ppid=431 vsize=11016544 memory=1408 CPUtime=1.32 cores=0,2,4,6
/proc/434/task/504/stat : 504 (java) S 431 434 30457 0 -1 1077944384 2254 13199 0 0 64 61 4 3 20 0 15 0 222076610 11280941056 367492 33554432000 4194304 4196468 140733529217184 140139614427568 140140193659522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1469968 KiB

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

[startup+2454.53 s]
# the end of solver process 434 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.29 s, system=3.75809 s

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

[startup+2454.5 s]
/proc/loadavg: 1.43 1.35 1.33 4/215 758
/proc/meminfo: memFree=4597656/32770624 swapFree=67108860/67108860
[pid=434] ppid=431 vsize=11016544 memory=1469968 CPUtime=2520 cores=0,2,4,6
/proc/434/stat : 434 (java) S 431 434 30457 0 -1 1077944320 680983 13199 0 0 251623 370 4 3 20 0 15 0 222076595 11280941056 367492 33554432000 4194304 4196468 140733529217184 140733529199728 140140193648375 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
/proc/434/statm: 2754136 367492 3538 1 0 2715789 0
[pid=434/tid=491] ppid=431 vsize=11016544 memory=1469956 CPUtime=2432.27 cores=0,2,4,6
/proc/434/task/491/stat : 491 (java) R 431 434 30457 0 -1 4202560 118130 13199 0 0 243164 56 4 3 20 0 15 0 222076604 11280941056 367492 33554432000 4194304 4196468 140733529217184 140140165483536 140139765388843 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=492] ppid=431 vsize=11016544 memory=1469956 CPUtime=11.6 cores=0,2,4,6
/proc/434/task/492/stat : 492 (java) S 431 434 30457 0 -1 1077944384 31451 13199 0 0 1100 53 4 3 20 0 15 0 222076605 11280941056 367492 33554432000 4194304 4196468 140733529217184 140140197890960 140140193658581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=493] ppid=431 vsize=11016544 memory=1469956 CPUtime=11.57 cores=0,2,4,6
/proc/434/task/493/stat : 493 (java) S 431 434 30457 0 -1 1077944384 25159 13199 0 0 1096 54 4 3 20 0 15 0 222076605 11280941056 367492 33554432000 4194304 4196468 140733529217184 140139733789456 140140193658581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=494] ppid=431 vsize=11016544 memory=1469956 CPUtime=11.57 cores=0,2,4,6
/proc/434/task/494/stat : 494 (java) S 431 434 30457 0 -1 1077944384 29343 13199 0 0 1097 53 4 3 20 0 15 0 222076605 11280941056 367492 33554432000 4194304 4196468 140733529217184 140139732737168 140140193658581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=495] ppid=431 vsize=11016544 memory=1469920 CPUtime=11.57 cores=0,2,4,6
/proc/434/task/495/stat : 495 (java) S 431 434 30457 0 -1 1077944384 31389 13199 0 0 1097 53 4 3 20 0 15 0 222076605 11280941056 367492 33554432000 4194304 4196468 140733529217184 140139731684368 140140193658581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=496] ppid=431 vsize=11016544 memory=1469920 CPUtime=7.79 cores=0,2,4,6
/proc/434/task/496/stat : 496 (java) S 431 434 30457 0 -1 1077944384 26840 13199 0 0 731 41 4 3 20 0 15 0 222076606 11280941056 367492 33554432000 4194304 4196468 140733529217184 140139686733936 140140193659522 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=497] ppid=431 vsize=11016544 memory=1469412 CPUtime=0.07 cores=0,2,4,6
/proc/434/task/497/stat : 497 (java) S 431 434 30457 0 -1 1077944384 18 13199 0 0 0 0 4 3 20 0 15 0 222076607 11280941056 367492 33554432000 4194304 4196468 140733529217184 140139011498848 140140193658581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=498] ppid=431 vsize=11016544 memory=1469412 CPUtime=0.07 cores=0,2,4,6
/proc/434/task/498/stat : 498 (java) S 431 434 30457 0 -1 1077944384 4 13199 0 0 0 0 4 3 20 0 15 0 222076607 11280941056 367492 33554432000 4194304 4196468 140733529217184 140138810172544 140140193658581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=499] ppid=431 vsize=11016544 memory=1469956 CPUtime=0.07 cores=0,2,4,6
/proc/434/task/499/stat : 499 (java) S 431 434 30457 0 -1 1077944384 3 13199 0 0 0 0 4 3 20 0 15 0 222076609 11280941056 367492 33554432000 4194304 4196468 140733529217184 140138502772816 140140193666971 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=500] ppid=431 vsize=11016544 memory=1469956 CPUtime=13.82 cores=0,2,4,6
/proc/434/task/500/stat : 500 (java) S 431 434 30457 0 -1 1077944384 139147 13199 0 0 1363 12 4 3 20 0 15 0 222076609 11280941056 367492 33554432000 4194304 4196468 140733529217184 140139685681776 140140193659522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=501] ppid=431 vsize=11016544 memory=1469956 CPUtime=13.64 cores=0,2,4,6
/proc/434/task/501/stat : 501 (java) S 431 434 30457 0 -1 1077944384 139458 13199 0 0 1345 12 4 3 20 0 15 0 222076609 11280941056 367492 33554432000 4194304 4196468 140733529217184 140139684628976 140140193659522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=502] ppid=431 vsize=11016544 memory=1469968 CPUtime=5.34 cores=0,2,4,6
/proc/434/task/502/stat : 502 (java) S 431 434 30457 0 -1 1077944384 135587 13199 0 0 512 15 4 3 20 0 15 0 222076609 11280941056 367492 33554432000 4194304 4196468 140733529217184 140139615480688 140140193659522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=503] ppid=431 vsize=11016544 memory=60384 CPUtime=0.07 cores=0,2,4,6
/proc/434/task/503/stat : 503 (java) S 431 434 30457 0 -1 1077944384 3 13199 0 0 0 0 4 3 20 0 15 0 222076610 11280941056 367492 33554432000 4194304 4196468 140733529217184 140138071976928 140140193658581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
[pid=434/tid=504] ppid=431 vsize=11016544 memory=1408 CPUtime=1.32 cores=0,2,4,6
/proc/434/task/504/stat : 504 (java) S 431 434 30457 0 -1 1077944384 2254 13199 0 0 64 61 4 3 20 0 15 0 222076610 11280941056 367492 33554432000 4194304 4196468 140733529217184 140139614427568 140140193659522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19714048 140733529225828 140733529228636 140733529228636 140733529231311 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1469968 KiB

Child status: 143
Real time (s): 2454.53
CPU time (s): 2520.05
CPU user time (s): 2516.29
CPU system time (s): 3.75809
CPU usage (%): 102.67
Max. virtual memory (cumulated for all children) (KiB): 11017132
Max. memory (cumulated for all children) (KiB): 1927532

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.29
system time used= 3.75809
maximum resident set size= 1929144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 695698
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 215316
involuntary context switches= 7875


# summary of solver processes directly reported to runsolver:
#   pid: 434
#   total CPU time (s): 2520.05
#   total CPU user time (s): 2516.29
#   total CPU system time (s): 3.75809

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.2031 second user time and 23.0383 second system time

The end

Launcher Data 

Begin job on node151 at 2018-08-12 05:38:54
IDJOB=4304186
IDBENCH=141056
IDSOLVER=2781
FILE ID=node151/4304186-1534045134
RUNJOBID= node151-1534037719-31471
PBS_JOBID= 21036969
Free space on /tmp= 40832 MiB

SOLVER NAME= Concrete 3.9.2-SuperNG
BENCH NAME= XCSP18/NurseRostering/NurseRostering-17_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED -superng BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4304186-1534045134/watcher-4304186-1534045134 -o /tmp/evaluation-result-4304186-1534045134/solver-4304186-1534045134 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1534037719-31471 --watchdog 2580  bin/xcsp-3-concrete -J-Xss64M -randomseed=804142666 -superng HOME/instance-4304186-1534045134.xml

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

MD5SUM BENCH= e10494f4d2f2bb4c080233ff8f9dca75
RANDOM SEED=804142666

node151.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.87
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:         6358572 kB
MemAvailable:   31563292 kB
Buffers:          254768 kB
Cached:         24868776 kB
SwapCached:            0 kB
Active:         11111164 kB
Inactive:       14407076 kB
Active(anon):     340744 kB
Inactive(anon):   106352 kB
Active(file):   10770420 kB
Inactive(file): 14300724 kB
Unevictable:        7836 kB
Mlocked:            7836 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             27076 kB
Writeback:             0 kB
AnonPages:        396092 kB
Mapped:            72692 kB
Shmem:             49800 kB
Slab:             590372 kB
SReclaimable:     562036 kB
SUnreclaim:        28336 kB
KernelStack:        3568 kB
PageTables:         5848 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1648220 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    212992 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 40808 MiB
End job on node151 at 2018-08-12 06:19:49