Trace number 4302786

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) 252.103 225.935

General information on the benchmark

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

Solver Data 

1.01/1.26	c Concrete v3.9.2.1532736233296 running
18.82/7.63	c 21:56:50.607 [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
18.82/7.63	c 21:56:50.614 [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
18.82/7.63	c 21:56:50.615 [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
18.82/7.63	c 21:56:50.616 [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
18.82/7.64	c 21:56:50.617 [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
18.82/7.64	c 21:56:50.619 [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
18.82/7.64	c 21:56:50.619 [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
18.82/7.64	c 21:56:50.621 [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
18.82/7.64	c 21:56:50.623 [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
18.82/7.64	c 21:56:50.624 [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
18.82/7.64	c 21:56:50.625 [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
18.82/7.64	c 21:56:50.626 [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
18.82/7.65	c 21:56:50.627 [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
18.82/7.65	c 21:56:50.628 [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
18.82/7.65	c 21:56:50.630 [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
18.82/7.65	c 21:56:50.631 [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
18.82/7.65	c 21:56:50.632 [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
18.82/7.65	c 21:56:50.632 [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
18.82/7.65	c 21:56:50.635 [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
18.82/7.65	c 21:56:50.636 [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
18.82/7.66	c 21:56:50.637 [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
18.82/7.66	c 21:56:50.638 [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
18.82/7.66	c 21:56:50.638 [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
18.82/7.66	c 21:56:50.639 [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
18.82/7.66	c 21:56:50.639 [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
18.82/7.66	c 21:56:50.640 [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
18.82/7.66	c 21:56:50.640 [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
18.82/7.66	c 21:56:50.642 [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
18.82/7.66	c 21:56:50.642 [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
18.82/7.66	c 21:56:50.643 [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
18.82/7.66	c 21:56:50.645 [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
18.82/7.66	c 21:56:50.645 [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
18.82/7.66	c 21:56:50.646 [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
18.82/7.66	c 21:56:50.647 [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
18.82/7.67	c 21:56:50.648 [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
18.82/7.67	c 21:56:50.648 [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
18.82/7.67	c 21:56:50.649 [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
18.82/7.67	c 21:56:50.649 [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
18.82/7.67	c 21:56:50.650 [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
18.82/7.67	c 21:56:50.650 [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
18.82/7.67	c 21:56:50.651 [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
18.82/7.67	c 21:56:50.652 [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
18.82/7.67	c 21:56:50.653 [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
18.82/7.68	c 21:56:50.654 [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
18.82/7.68	c 21:56:50.654 [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
18.82/7.68	c 21:56:50.655 [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
18.82/7.68	c 21:56:50.656 [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
18.82/7.68	c 21:56:50.657 [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
18.82/7.68	c 21:56:50.657 [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
18.82/7.68	c 21:56:50.658 [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
18.82/7.68	c 21:56:50.659 [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
18.82/7.68	c 21:56:50.660 [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
18.82/7.68	c 21:56:50.661 [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
18.82/7.68	c 21:56:50.661 [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
18.82/7.68	c 21:56:50.662 [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
18.82/7.68	c 21:56:50.663 [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
18.82/7.68	c 21:56:50.664 [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
18.82/7.68	c 21:56:50.665 [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
18.82/7.68	c 21:56:50.666 [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
18.82/7.68	c 21:56:50.667 [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
18.82/7.69	c 21:56:50.667 [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
18.82/7.69	c 21:56:50.669 [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
18.82/7.69	c 21:56:50.669 [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
18.82/7.69	c 21:56:50.671 [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
18.82/7.69	c 21:56:50.671 [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
18.82/7.69	c 21:56:50.672 [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
18.82/7.69	c 21:56:50.673 [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
18.82/7.69	c 21:56:50.673 [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
18.82/7.69	c 21:56:50.674 [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
18.82/7.69	c 21:56:50.675 [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
18.82/7.69	c 21:56:50.676 [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
18.82/7.69	c 21:56:50.677 [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
18.82/7.70	c 21:56:50.678 [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
18.82/7.70	c 21:56:50.678 [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.16/7.70	c 21:56:50.680 [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.16/7.70	c 21:56:50.681 [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.16/7.70	c 21:56:50.681 [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.16/7.70	c 21:56:50.682 [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.16/7.70	c 21:56:50.683 [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.16/7.70	c 21:56:50.683 [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.16/7.70	c 21:56:50.685 [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.16/7.70	c 21:56:50.685 [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.16/7.70	c 21:56:50.686 [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.16/7.70	c 21:56:50.686 [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.16/7.71	c 21:56:50.687 [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.16/7.72	c 21:56:50.688 [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.16/7.72	c 21:56:50.688 [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.16/7.72	c 21:56:50.690 [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.16/7.72	c 21:56:50.690 [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.16/7.72	c 21:56:50.692 [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.16/7.72	c 21:56:50.693 [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.16/7.72	c 21:56:50.693 [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.16/7.72	c 21:56:50.694 [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.16/7.72	c 21:56:50.695 [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.16/7.72	c 21:56:50.696 [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.16/7.72	c 21:56:50.697 [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.16/7.72	c 21:56:50.698 [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.16/7.72	c 21:56:50.700 [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.16/7.72	c 21:56:50.701 [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.16/7.72	c 21:56:50.701 [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.16/7.72	c 21:56:50.702 [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.16/7.72	c 21:56:50.702 [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.16/7.72	c 21:56:50.703 [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.16/7.72	c 21:56:50.703 [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.16/7.72	c 21:56:50.704 [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.16/7.72	c 21:56:50.704 [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.16/7.72	c 21:56:50.705 [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.16/7.72	c 21:56:50.706 [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.16/7.72	c 21:56:50.706 [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.16/7.72	c 21:56:50.706 [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.16/7.72	c 21:56:50.707 [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.16/7.72	c 21:56:50.707 [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.16/7.73	c 21:56:50.707 [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.16/7.73	c 21:56:50.708 [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.16/7.73	c 21:56:50.708 [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.16/7.73	c 21:56:50.709 [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.16/7.73	c 21:56:50.711 [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.16/7.73	c 21:56:50.712 [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.16/7.73	c 21:56:50.713 [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.16/7.73	c 21:56:50.713 [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.16/7.73	c 21:56:50.714 [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.16/7.73	c 21:56:50.715 [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.16/7.73	c 21:56:50.716 [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.16/7.74	c 21:56:50.717 [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.16/7.74	c 21:56:50.717 [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.16/7.74	c 21:56:50.718 [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.16/7.74	c 21:56:50.719 [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.16/7.74	c 21:56:50.720 [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.16/7.74	c 21:56:50.721 [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.16/7.74	c 21:56:50.722 [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.16/7.74	c 21:56:50.723 [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.16/7.76	c 21:56:50.728 [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.16/7.76	c 21:56:50.730 [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.16/7.76	c 21:56:50.730 [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.16/7.76	c 21:56:50.731 [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.16/7.76	c 21:56:50.732 [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.16/7.76	c 21:56:50.733 [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.16/7.76	c 21:56:50.734 [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.16/7.76	c 21:56:50.734 [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.16/7.76	c 21:56:50.736 [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.16/7.76	c 21:56:50.736 [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.16/7.76	c 21:56:50.736 [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.16/7.76	c 21:56:50.736 [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.16/7.76	c 21:56:50.737 [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.16/7.76	c 21:56:50.737 [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.16/7.76	c 21:56:50.738 [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.16/7.76	c 21:56:50.739 [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.16/7.76	c 21:56:50.740 [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.16/7.76	c 21:56:50.740 [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.16/7.76	c 21:56:50.741 [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.16/7.76	c 21:56:50.741 [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.16/7.76	c 21:56:50.741 [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.16/7.76	c 21:56:50.742 [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.16/7.76	c 21:56:50.743 [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.16/7.76	c 21:56:50.743 [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.16/7.76	c 21:56:50.744 [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.16/7.76	c 21:56:50.744 [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.16/7.76	c 21:56:50.745 [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.16/7.76	c 21:56:50.746 [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.16/7.76	c 21:56:50.747 [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.16/7.77	c 21:56:50.748 [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.16/7.77	c 21:56:50.748 [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.16/7.77	c 21:56:50.749 [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.16/7.77	c 21:56:50.750 [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.16/7.77	c 21:56:50.750 [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.16/7.77	c 21:56:50.751 [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.16/7.77	c 21:56:50.752 [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.16/7.77	c 21:56:50.753 [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.16/7.77	c 21:56:50.753 [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.16/7.77	c 21:56:50.754 [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.16/7.77	c 21:56:50.755 [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.16/7.77	c 21:56:50.756 [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.16/7.77	c 21:56:50.757 [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.16/7.77	c 21:56:50.757 [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.16/7.78	c 21:56:50.758 [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.16/7.78	c 21:56:50.759 [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.16/7.78	c 21:56:50.760 [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.16/7.78	c 21:56:50.760 [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.16/7.78	c 21:56:50.761 [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.16/7.78	c 21:56:50.762 [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.16/7.78	c 21:56:50.763 [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.16/7.78	c 21:56:50.763 [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.16/7.78	c 21:56:50.763 [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.16/7.78	c 21:56:50.764 [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.16/7.78	c 21:56:50.764 [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.16/7.78	c 21:56:50.766 [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.16/7.78	c 21:56:50.766 [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.16/7.79	c 21:56:50.767 [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.16/7.79	c 21:56:50.767 [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.16/7.79	c 21:56:50.767 [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.16/7.79	c 21:56:50.769 [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.16/7.79	c 21:56:50.770 [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.16/7.79	c 21:56:50.770 [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.16/7.79	c 21:56:50.771 [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.16/7.79	c 21:56:50.772 [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.16/7.79	c 21:56:50.773 [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.16/7.79	c 21:56:50.774 [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.16/7.79	c 21:56:50.774 [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.16/7.79	c 21:56:50.774 [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.16/7.79	c 21:56:50.776 [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.16/7.79	c 21:56:50.776 [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.16/7.80	c 21:56:50.777 [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.16/7.80	c 21:56:50.778 [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.48/7.80	c 21:56:50.779 [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.48/7.80	c 21:56:50.779 [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.48/7.80	c 21:56:50.781 [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.48/7.80	c 21:56:50.781 [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.48/7.80	c 21:56:50.782 [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.48/7.80	c 21:56:50.783 [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.48/7.80	c 21:56:50.784 [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.48/7.80	c 21:56:50.785 [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.48/7.80	c 21:56:50.786 [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.48/7.81	c 21:56:50.787 [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.48/7.81	c 21:56:50.787 [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.48/7.81	c 21:56:50.789 [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.48/7.81	c 21:56:50.789 [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.48/7.81	c 21:56:50.790 [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.48/7.81	c 21:56:50.790 [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.48/7.81	c 21:56:50.791 [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.48/7.81	c 21:56:50.791 [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.48/7.81	c 21:56:50.792 [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.48/7.81	c 21:56:50.792 [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.48/7.81	c 21:56:50.793 [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.48/7.81	c 21:56:50.793 [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.48/7.81	c 21:56:50.794 [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.48/7.81	c 21:56:50.794 [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.48/7.81	c 21:56:50.795 [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.48/7.81	c 21:56:50.796 [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.48/7.81	c 21:56:50.797 [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.48/7.82	c 21:56:50.798 [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.48/7.82	c 21:56:50.798 [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.48/7.82	c 21:56:50.800 [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.48/7.82	c 21:56:50.800 [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.48/7.82	c 21:56:50.801 [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.48/7.82	c 21:56:50.801 [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.48/7.82	c 21:56:50.803 [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.48/7.82	c 21:56:50.803 [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.48/7.82	c 21:56:50.805 [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.48/7.82	c 21:56:50.805 [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.48/7.82	c 21:56:50.806 [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.48/7.82	c 21:56:50.807 [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.48/7.83	c 21:56:50.808 [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.48/7.83	c 21:56:50.809 [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.48/7.83	c 21:56:50.809 [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.48/7.83	c 21:56:50.810 [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.48/7.83	c 21:56:50.811 [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.48/7.83	c 21:56:50.812 [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.48/7.83	c 21:56:50.812 [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.48/7.83	c 21:56:50.814 [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.48/7.83	c 21:56:50.814 [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.48/7.83	c 21:56:50.814 [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.48/7.83	c 21:56:50.815 [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.48/7.83	c 21:56:50.816 [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.48/7.83	c 21:56:50.816 [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.48/7.83	c 21:56:50.817 [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.48/7.84	c 21:56:50.818 [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.48/7.84	c 21:56:50.819 [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.48/7.84	c 21:56:50.819 [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.48/7.84	c 21:56:50.821 [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.48/7.84	c 21:56:50.821 [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.48/7.84	c 21:56:50.822 [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.48/7.84	c 21:56:50.822 [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.48/7.84	c 21:56:50.824 [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.48/7.84	c 21:56:50.825 [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.48/7.84	c 21:56:50.825 [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.48/7.84	c 21:56:50.826 [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.48/7.84	c 21:56:50.827 [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.48/7.84	c 21:56:50.827 [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.48/7.85	c 21:56:50.829 [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.48/7.85	c 21:56:50.829 [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.48/7.85	c 21:56:50.830 [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.48/7.85	c 21:56:50.830 [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.48/7.85	c 21:56:50.832 [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.48/7.85	c 21:56:50.832 [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.48/7.85	c 21:56:50.832 [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.48/7.85	c 21:56:50.833 [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.48/7.85	c 21:56:50.833 [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.48/7.85	c 21:56:50.834 [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.48/7.86	c 21:56:50.842 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30131. 'extension(x[2][1]=[0‥4]) :: init: true :: relation: Empty MDD
19.48/7.86	c 21:56:50.843 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30141. 'extension(x[0][27]=[0‥4]) :: init: true :: relation: Empty MDD
19.48/7.86	c 21:56:50.843 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30145. 'extension(x[1][14]=[0‥4]) :: init: true :: relation: Empty MDD
19.48/7.86	c 21:56:50.844 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30151. 'extension(x[1][16]=[0‥4]) :: init: true :: relation: Empty MDD
19.48/7.86	c 21:56:50.844 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30153. 'extension(x[3][16]=[0‥4]) :: init: true :: relation: Empty MDD
19.48/7.86	c 21:56:50.845 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30171. 'extension(x[2][10]=[0‥4]) :: init: true :: relation: Empty MDD
19.48/7.86	c 21:56:50.845 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30181. 'extension(x[4][27]=[0‥4]) :: init: true :: relation: Empty MDD
19.48/7.86	c 21:56:50.845 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30191. 'extension(x[5][10]=[0‥4]) :: init: true :: relation: Empty MDD
19.48/7.86	c 21:56:50.846 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30205. 'extension(x[3][13]=[0‥4]) :: init: true :: relation: Empty MDD
19.48/7.86	c 21:56:50.846 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30211. 'extension(x[3][25]=[0‥4]) :: init: true :: relation: Empty MDD
19.48/7.86	c 21:56:50.847 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30213. 'extension(x[5][25]=[0‥4]) :: init: true :: relation: Empty MDD
19.48/7.86	c 21:56:50.847 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30227. 'extension(x[3][30]=[0‥4]) :: init: true :: relation: Empty MDD
19.48/7.87	c 21:56:50.848 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30233. 'extension(wk[7][0]=[0‥1]) :: init: true :: relation: Empty MDD
19.48/7.87	c 21:56:50.848 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30235. 'extension(x[4][7]=[0‥4]) :: init: true :: relation: Empty MDD
19.48/7.87	c 21:56:50.848 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30241. 'extension(wk[13][0]=[0‥1]) :: init: true :: relation: Empty MDD
19.48/7.87	c 21:56:50.848 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30247. 'extension(wk[14][0]=[0‥1]) :: init: true :: relation: Empty MDD
19.48/7.87	c 21:56:50.849 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30249. 'extension(wk[20][0]=[0‥1]) :: init: true :: relation: Empty MDD
19.48/7.87	c 21:56:50.849 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30251. 'extension(x[4][20]=[0‥4]) :: init: true :: relation: Empty MDD
19.48/7.87	c 21:56:50.849 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30257. 'extension(wk[21][0]=[0‥1]) :: init: true :: relation: Empty MDD
19.48/7.87	c 21:56:50.849 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30259. 'extension(x[4][21]=[0‥4]) :: init: true :: relation: Empty MDD
19.48/7.87	c 21:56:50.850 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30261. 'extension(x[6][21]=[0‥4]) :: init: true :: relation: Empty MDD
19.48/7.87	c 21:56:50.850 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30275. 'extension(wk[30][0]=[0‥1]) :: init: true :: relation: Empty MDD
19.48/7.87	c 21:56:50.850 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30281. 'extension(wk[5][0]=[0‥1]) :: init: true :: relation: Empty MDD
19.48/7.87	c 21:56:50.851 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30283. 'extension(x[5][5]=[0‥4]) :: init: true :: relation: Empty MDD
19.48/7.87	c 21:56:50.851 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30289. 'extension(wk[7][0]=[0‥1]) :: init: true :: relation: Empty MDD
19.48/7.87	c 21:56:50.851 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30295. 'extension(wk[13][0]=[0‥1]) :: init: true :: relation: Empty MDD
19.48/7.87	c 21:56:50.851 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30297. 'extension(wk[14][0]=[0‥1]) :: init: true :: relation: Empty MDD
19.48/7.87	c 21:56:50.852 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30299. 'extension(x[7][14]=[0‥4]) :: init: true :: relation: Empty MDD
19.48/7.87	c 21:56:50.852 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30309. 'extension(wk[16][0]=[0‥1]) :: init: true :: relation: Empty MDD
19.48/7.87	c 21:56:50.852 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30311. 'extension(x[5][16]=[0‥4]) :: init: true :: relation: Empty MDD
19.48/7.87	c 21:56:50.853 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30317. 'extension(wk[20][0]=[0‥1]) :: init: true :: relation: Empty MDD
19.48/7.87	c 21:56:50.853 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30323. 'extension(wk[22][0]=[0‥1]) :: init: true :: relation: Empty MDD
19.48/7.87	c 21:56:50.853 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30325. 'extension(x[5][22]=[0‥4]) :: init: true :: relation: Empty MDD
19.48/7.87	c 21:56:50.853 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30331. 'extension(wk[30][0]=[0‥1]) :: init: true :: relation: Empty MDD
19.48/7.87	c 21:56:50.854 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30337. 'extension(x[8][7]=[0‥4]) :: init: true :: relation: Empty MDD
19.48/7.87	c 21:56:50.854 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30347. 'extension(x[8][13]=[0‥4]) :: init: true :: relation: Empty MDD
19.48/7.87	c 21:56:50.855 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30357. 'extension(x[8][16]=[0‥4]) :: init: true :: relation: Empty MDD
19.48/7.87	c 21:56:50.855 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30371. 'extension(x[8][20]=[0‥4]) :: init: true :: relation: Empty MDD
19.48/7.87	c 21:56:50.856 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30385. 'extension(x[8][30]=[0‥4]) :: init: true :: relation: Empty MDD
19.48/7.88	c 21:56:50.856 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30395. 'extension(x[9][5]=[0‥4]) :: init: true :: relation: Empty MDD
19.48/7.88	c 21:56:50.857 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30405. 'extension(x[7][19]=[0‥4]) :: init: true :: relation: Empty MDD
19.48/7.88	c 21:56:50.857 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30415. 'extension(x[8][23]=[0‥4]) :: init: true :: relation: Empty MDD
19.48/7.88	c 21:56:50.858 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30421. 'extension(x[11][22]=[0‥4]) :: init: true :: relation: Empty MDD
19.48/7.88	c 21:56:50.858 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30435. 'extension(x[9][26]=[0‥4]) :: init: true :: relation: Empty MDD
19.48/7.88	c 21:56:50.859 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30437. 'extension(x[11][26]=[0‥4]) :: init: true :: relation: Empty MDD
19.48/7.88	c 21:56:50.859 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30451. 'extension(x[12][19]=[0‥4]) :: init: true :: relation: Empty MDD
19.48/7.88	c 21:56:50.860 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30461. 'extension(wk[13][1]=[0‥1]) :: init: true :: relation: Empty MDD
19.48/7.88	c 21:56:50.860 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30463. 'extension(x[11][13]=[0‥4]) :: init: true :: relation: Empty MDD
19.48/7.88	c 21:56:50.860 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30465. 'extension(x[13][13]=[0‥4]) :: init: true :: relation: Empty MDD
19.48/7.88	c 21:56:50.861 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30479. 'extension(wk[23][1]=[0‥1]) :: init: true :: relation: Empty MDD
19.48/7.88	c 21:56:50.861 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30481. 'extension(wk[2][1]=[0‥1]) :: init: true :: relation: Empty MDD
19.48/7.88	c 21:56:50.861 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30483. 'extension(x[12][2]=[0‥4]) :: init: true :: relation: Empty MDD
19.48/7.88	c 21:56:50.861 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30489. 'extension(wk[23][1]=[0‥1]) :: init: true :: relation: Empty MDD
19.48/7.88	c 21:56:50.861 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30491. 'extension(x[14][23]=[0‥4]) :: init: true :: relation: Empty MDD
19.48/7.88	c 21:56:50.862 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30501. 'extension(x[15][2]=[0‥4]) :: init: true :: relation: Empty MDD
19.48/7.88	c 21:56:50.863 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30515. 'extension(x[13][6]=[0‥4]) :: init: true :: relation: Empty MDD
19.48/7.88	c 21:56:50.863 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30525. 'extension(x[14][7]=[0‥4]) :: init: true :: relation: Empty MDD
19.48/7.88	c 21:56:50.863 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30527. 'extension(x[16][7]=[0‥4]) :: init: true :: relation: Empty MDD
19.48/7.88	c 21:56:50.864 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30541. 'extension(x[14][10]=[0‥4]) :: init: true :: relation: Empty MDD
19.48/7.88	c 21:56:50.864 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30543. 'extension(x[16][10]=[0‥4]) :: init: true :: relation: Empty MDD
19.48/7.88	c 21:56:50.865 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30557. 'extension(x[17][6]=[0‥4]) :: init: true :: relation: Empty MDD
19.48/7.88	c 21:56:50.865 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30567. 'extension(x[17][9]=[0‥4]) :: init: true :: relation: Empty MDD
19.48/7.88	c 21:56:50.865 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30573. 'extension(wk[4][2]=[0‥1]) :: init: true :: relation: Empty MDD
19.48/7.89	c 21:56:50.865 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30575. 'extension(x[18][4]=[0‥4]) :: init: true :: relation: Empty MDD
19.48/7.89	c 21:56:50.866 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30581. 'extension(wk[8][2]=[0‥1]) :: init: true :: relation: Empty MDD
19.48/7.89	c 21:56:50.866 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30583. 'extension(x[18][8]=[0‥4]) :: init: true :: relation: Empty MDD
19.48/7.89	c 21:56:50.866 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30589. 'extension(wk[9][2]=[0‥1]) :: init: true :: relation: Empty MDD
19.48/7.89	c 21:56:50.867 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30595. 'extension(wk[4][2]=[0‥1]) :: init: true :: relation: Empty MDD
19.48/7.89	c 21:56:50.867 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30597. 'extension(x[21][4]=[0‥4]) :: init: true :: relation: Empty MDD
19.48/7.89	c 21:56:50.868 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30611. 'extension(wk[8][2]=[0‥1]) :: init: true :: relation: Empty MDD
19.48/7.89	c 21:56:50.868 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30617. 'extension(wk[9][2]=[0‥1]) :: init: true :: relation: Empty MDD
19.48/7.89	c 21:56:50.868 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30619. 'extension(wk[12][2]=[0‥1]) :: init: true :: relation: Empty MDD
19.48/7.89	c 21:56:50.868 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30621. 'extension(x[19][12]=[0‥4]) :: init: true :: relation: Empty MDD
19.48/7.89	c 21:56:50.869 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30627. 'extension(wk[19][2]=[0‥1]) :: init: true :: relation: Empty MDD
19.48/7.89	c 21:56:50.869 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30629. 'extension(x[19][19]=[0‥4]) :: init: true :: relation: Empty MDD
19.48/7.89	c 21:56:50.869 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30631. 'extension(x[21][19]=[0‥4]) :: init: true :: relation: Empty MDD
19.48/7.89	c 21:56:50.869 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30645. 'extension(x[22][8]=[0‥4]) :: init: true :: relation: Empty MDD
19.48/7.89	c 21:56:50.870 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30655. 'extension(x[22][9]=[0‥4]) :: init: true :: relation: Empty MDD
19.48/7.89	c 21:56:50.870 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30665. 'extension(x[22][12]=[0‥4]) :: init: true :: relation: Empty MDD
19.48/7.89	c 21:56:50.871 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30679. 'extension(x[20][18]=[0‥4]) :: init: true :: relation: Empty MDD
19.48/7.89	c 21:56:50.872 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30689. 'extension(x[21][25]=[0‥4]) :: init: true :: relation: Empty MDD
19.48/7.89	c 21:56:50.872 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30691. 'extension(x[23][25]=[0‥4]) :: init: true :: relation: Empty MDD
19.48/7.89	c 21:56:50.872 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30705. 'extension(x[24][18]=[0‥4]) :: init: true :: relation: Empty MDD
19.48/7.89	c 21:56:50.873 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30715. 'extension(x[23][0]=[0‥4]) :: init: true :: relation: Empty MDD
19.48/7.89	c 21:56:50.873 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30721. 'extension(x[23][9]=[0‥4]) :: init: true :: relation: Empty MDD
19.48/7.89	c 21:56:50.873 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30723. 'extension(x[25][9]=[0‥4]) :: init: true :: relation: Empty MDD
19.48/7.89	c 21:56:50.874 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30737. 'extension(x[23][24]=[0‥4]) :: init: true :: relation: Empty MDD
19.48/7.89	c 21:56:50.874 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30743. 'extension(x[26][0]=[0‥4]) :: init: true :: relation: Empty MDD
19.48/7.89	c 21:56:50.875 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30757. 'extension(x[24][1]=[0‥4]) :: init: true :: relation: Empty MDD
19.48/7.89	c 21:56:50.875 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30759. 'extension(x[26][1]=[0‥4]) :: init: true :: relation: Empty MDD
19.48/7.89	c 21:56:50.876 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30777. 'extension(x[24][26]=[0‥4]) :: init: true :: relation: Empty MDD
19.48/7.89	c 21:56:50.876 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30783. 'extension(x[24][29]=[0‥4]) :: init: true :: relation: Empty MDD
19.48/7.89	c 21:56:50.876 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30789. 'extension(wk[24][3]=[0‥1]) :: init: true :: relation: Empty MDD
19.48/7.89	c 21:56:50.876 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30791. 'extension(wk[26][3]=[0‥1]) :: init: true :: relation: Empty MDD
19.48/7.89	c 21:56:50.877 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30797. 'extension(wk[29][3]=[0‥1]) :: init: true :: relation: Empty MDD
19.48/7.89	c 21:56:50.877 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30799. 'extension(x[27][29]=[0‥4]) :: init: true :: relation: Empty MDD
19.48/7.90	c 21:56:50.877 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30813. 'extension(wk[11][3]=[0‥1]) :: init: true :: relation: Empty MDD
19.48/7.90	c 21:56:50.878 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30815. 'extension(x[26][11]=[0‥4]) :: init: true :: relation: Empty MDD
19.48/7.90	c 21:56:50.878 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30821. 'extension(wk[24][3]=[0‥1]) :: init: true :: relation: Empty MDD
19.48/7.90	c 21:56:50.878 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30823. 'extension(wk[26][3]=[0‥1]) :: init: true :: relation: Empty MDD
19.48/7.90	c 21:56:50.878 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30825. 'extension(x[28][26]=[0‥4]) :: init: true :: relation: Empty MDD
19.80/7.90	c 21:56:50.879 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30835. 'extension(wk[31][3]=[0‥1]) :: init: true :: relation: Empty MDD
19.80/7.90	c 21:56:50.879 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30837. 'extension(x[26][31]=[0‥4]) :: init: true :: relation: Empty MDD
19.80/7.90	c 21:56:50.879 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30847. 'extension(x[29][24]=[0‥4]) :: init: true :: relation: Empty MDD
19.80/7.90	c 21:56:50.880 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30861. 'extension(x[28][21]=[0‥4]) :: init: true :: relation: Empty MDD
19.80/7.90	c 21:56:50.880 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30867. 'extension(x[30][31]=[0‥4]) :: init: true :: relation: Empty MDD
19.80/7.90	c 21:56:50.881 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30877. 'extension(x[31][11]=[0‥4]) :: init: true :: relation: Empty MDD
19.80/7.90	c 21:56:50.881 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30891. 'extension(x[30][4]=[0‥4]) :: init: true :: relation: Empty MDD
19.80/7.90	c 21:56:50.882 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30897. 'extension(x[30][15]=[0‥4]) :: init: true :: relation: Empty MDD
19.80/7.90	c 21:56:50.882 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30899. 'extension(x[32][15]=[0‥4]) :: init: true :: relation: Empty MDD
19.80/7.90	c 21:56:50.883 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30913. 'extension(x[33][4]=[0‥4]) :: init: true :: relation: Empty MDD
19.80/7.90	c 21:56:50.883 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30927. 'extension(x[33][21]=[0‥4]) :: init: true :: relation: Empty MDD
19.80/7.90	c 21:56:50.884 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30937. 'extension(x[31][28]=[0‥4]) :: init: true :: relation: Empty MDD
19.80/7.90	c 21:56:50.884 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30943. 'extension(wk[5][4]=[0‥1]) :: init: true :: relation: Empty MDD
19.80/7.90	c 21:56:50.884 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30945. 'extension(x[32][5]=[0‥4]) :: init: true :: relation: Empty MDD
19.80/7.90	c 21:56:50.884 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30947. 'extension(x[34][5]=[0‥4]) :: init: true :: relation: Empty MDD
19.80/7.90	c 21:56:50.885 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30961. 'extension(wk[28][4]=[0‥1]) :: init: true :: relation: Empty MDD
19.80/7.90	c 21:56:50.885 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30967. 'extension(wk[3][4]=[0‥1]) :: init: true :: relation: Empty MDD
19.80/7.90	c 21:56:50.885 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30969. 'extension(x[33][3]=[0‥4]) :: init: true :: relation: Empty MDD
19.80/7.90	c 21:56:50.886 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30975. 'extension(wk[7][4]=[0‥1]) :: init: true :: relation: Empty MDD
19.80/7.90	c 21:56:50.886 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30977. 'extension(x[33][7]=[0‥4]) :: init: true :: relation: Empty MDD
19.80/7.91	c 21:56:50.886 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30979. 'extension(x[35][7]=[0‥4]) :: init: true :: relation: Empty MDD
19.80/7.91	c 21:56:50.887 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30993. 'extension(wk[28][4]=[0‥1]) :: init: true :: relation: Empty MDD
19.80/7.91	c 21:56:50.887 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30995. 'extension(wk[30][4]=[0‥1]) :: init: true :: relation: Empty MDD
19.80/7.91	c 21:56:50.887 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30997. 'extension(x[33][30]=[0‥4]) :: init: true :: relation: Empty MDD
19.80/7.91	c 21:56:50.887 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30999. 'extension(x[35][30]=[0‥4]) :: init: true :: relation: Empty MDD
19.80/7.91	c 21:56:50.888 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31013. 'extension(x[34][0]=[0‥4]) :: init: true :: relation: Empty MDD
19.80/7.91	c 21:56:50.888 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31023. 'extension(x[34][26]=[0‥4]) :: init: true :: relation: Empty MDD
19.80/7.91	c 21:56:50.889 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31025. 'extension(x[36][26]=[0‥4]) :: init: true :: relation: Empty MDD
19.80/7.91	c 21:56:50.889 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31043. 'extension(x[37][28]=[0‥4]) :: init: true :: relation: Empty MDD
19.80/7.91	c 21:56:50.890 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31053. 'extension(x[38][0]=[0‥4]) :: init: true :: relation: Empty MDD
19.80/7.91	c 21:56:50.890 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31063. 'extension(x[36][18]=[0‥4]) :: init: true :: relation: Empty MDD
19.80/7.91	c 21:56:50.891 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31069. 'extension(x[37][2]=[0‥4]) :: init: true :: relation: Empty MDD
19.80/7.91	c 21:56:50.891 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31071. 'extension(x[39][2]=[0‥4]) :: init: true :: relation: Empty MDD
19.80/7.91	c 21:56:50.891 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31085. 'extension(x[39][3]=[0‥4]) :: init: true :: relation: Empty MDD
19.80/7.91	c 21:56:50.892 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31095. 'extension(x[39][18]=[0‥4]) :: init: true :: relation: Empty MDD
19.80/7.91	c 21:56:50.892 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31109. 'extension(x[38][1]=[0‥4]) :: init: true :: relation: Empty MDD
19.80/7.91	c 21:56:50.893 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31111. 'extension(x[40][1]=[0‥4]) :: init: true :: relation: Empty MDD
19.80/7.91	c 21:56:50.893 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31125. 'extension(wk[11][5]=[0‥1]) :: init: true :: relation: Empty MDD
19.80/7.91	c 21:56:50.893 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31127. 'extension(x[39][11]=[0‥4]) :: init: true :: relation: Empty MDD
19.80/7.91	c 21:56:50.894 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31129. 'extension(x[41][11]=[0‥4]) :: init: true :: relation: Empty MDD
19.80/7.91	c 21:56:50.894 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31143. 'extension(wk[29][5]=[0‥1]) :: init: true :: relation: Empty MDD
19.80/7.91	c 21:56:50.894 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31145. 'extension(x[39][29]=[0‥4]) :: init: true :: relation: Empty MDD
19.80/7.91	c 21:56:50.895 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31151. 'extension(wk[10][5]=[0‥1]) :: init: true :: relation: Empty MDD
19.80/7.91	c 21:56:50.895 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31153. 'extension(x[40][10]=[0‥4]) :: init: true :: relation: Empty MDD
19.80/7.91	c 21:56:50.895 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31159. 'extension(wk[20][5]=[0‥1]) :: init: true :: relation: Empty MDD
19.80/7.91	c 21:56:50.895 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31161. 'extension(x[40][20]=[0‥4]) :: init: true :: relation: Empty MDD
19.80/7.91	c 21:56:50.896 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31167. 'extension(wk[25][5]=[0‥1]) :: init: true :: relation: Empty MDD
19.80/7.91	c 21:56:50.896 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31169. 'extension(x[40][25]=[0‥4]) :: init: true :: relation: Empty MDD
19.80/7.92	c 21:56:50.896 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31175. 'extension(wk[29][5]=[0‥1]) :: init: true :: relation: Empty MDD
19.80/7.92	c 21:56:50.896 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31181. 'extension(x[43][10]=[0‥4]) :: init: true :: relation: Empty MDD
19.80/7.92	c 21:56:50.897 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31195. 'extension(x[43][20]=[0‥4]) :: init: true :: relation: Empty MDD
19.80/7.92	c 21:56:50.898 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31213. 'extension(x[43][29]=[0‥4]) :: init: true :: relation: Empty MDD
19.80/7.92	c 21:56:50.898 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31223. 'extension(x[42][6]=[0‥4]) :: init: true :: relation: Empty MDD
19.80/7.92	c 21:56:50.899 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31229. 'extension(x[42][16]=[0‥4]) :: init: true :: relation: Empty MDD
19.80/7.92	c 21:56:50.899 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31235. 'extension(x[44][25]=[0‥4]) :: init: true :: relation: Empty MDD
19.80/7.92	c 21:56:50.899 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31245. 'extension(x[45][6]=[0‥4]) :: init: true :: relation: Empty MDD
19.80/7.92	c 21:56:50.900 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31259. 'extension(x[43][15]=[0‥4]) :: init: true :: relation: Empty MDD
19.80/7.92	c 21:56:50.900 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31265. 'extension(x[45][16]=[0‥4]) :: init: true :: relation: Empty MDD
19.80/7.92	c 21:56:50.901 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31283. 'extension(wk[15][6]=[0‥1]) :: init: true :: relation: Empty MDD
19.80/7.92	c 21:56:50.901 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31285. 'extension(x[48][15]=[0‥4]) :: init: true :: relation: Empty MDD
19.80/7.92	c 21:56:50.902 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31295. 'extension(wk[4][6]=[0‥1]) :: init: true :: relation: Empty MDD
19.80/7.92	c 21:56:50.902 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31297. 'extension(x[47][4]=[0‥4]) :: init: true :: relation: Empty MDD
19.80/7.92	c 21:56:50.902 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31299. 'extension(x[49][4]=[0‥4]) :: init: true :: relation: Empty MDD
19.80/7.92	c 21:56:50.902 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31313. 'extension(wk[8][6]=[0‥1]) :: init: true :: relation: Empty MDD
19.80/7.92	c 21:56:50.903 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31315. 'extension(x[47][8]=[0‥4]) :: init: true :: relation: Empty MDD
19.80/7.92	c 21:56:50.903 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31321. 'extension(wk[17][6]=[0‥1]) :: init: true :: relation: Empty MDD
19.80/7.92	c 21:56:50.903 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31323. 'extension(x[47][17]=[0‥4]) :: init: true :: relation: Empty MDD
19.80/7.92	c 21:56:50.903 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31329. 'extension(x[48][2]=[0‥4]) :: init: true :: relation: Empty MDD
19.80/7.92	c 21:56:50.904 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31335. 'extension(x[50][8]=[0‥4]) :: init: true :: relation: Empty MDD
19.80/7.92	c 21:56:50.904 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31353. 'extension(x[51][2]=[0‥4]) :: init: true :: relation: Empty MDD
19.80/7.92	c 21:56:50.905 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31367. 'extension(x[51][1]=[0‥4]) :: init: true :: relation: Empty MDD
19.80/7.92	c 21:56:50.905 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31369. 'extension(x[53][1]=[0‥4]) :: init: true :: relation: Empty MDD
19.80/7.92	c 21:56:50.906 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31383. 'extension(x[51][12]=[0‥4]) :: init: true :: relation: Empty MDD
19.80/7.92	c 21:56:50.906 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31389. 'extension(x[53][17]=[0‥4]) :: init: true :: relation: Empty MDD
19.80/7.92	c 21:56:50.907 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31399. 'extension(x[51][31]=[0‥4]) :: init: true :: relation: Empty MDD
19.80/7.93	c 21:56:50.907 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31405. 'extension(x[52][5]=[0‥4]) :: init: true :: relation: Empty MDD
19.80/7.93	c 21:56:50.907 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31407. 'extension(x[54][5]=[0‥4]) :: init: true :: relation: Empty MDD
19.80/7.93	c 21:56:50.908 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31425. 'extension(x[52][27]=[0‥4]) :: init: true :: relation: Empty MDD
19.80/7.93	c 21:56:50.908 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31431. 'extension(x[54][31]=[0‥4]) :: init: true :: relation: Empty MDD
19.80/7.93	c 21:56:50.909 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31445. 'extension(wk[12][7]=[0‥1]) :: init: true :: relation: Empty MDD
19.80/7.93	c 21:56:50.909 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31447. 'extension(x[55][12]=[0‥4]) :: init: true :: relation: Empty MDD
19.80/7.93	c 21:56:50.910 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31455. 'extension(wk[27][7]=[0‥1]) :: init: true :: relation: Empty MDD
19.80/7.93	c 21:56:50.910 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31457. 'extension(x[55][27]=[0‥4]) :: init: true :: relation: Empty MDD
252.06/225.91	Exception in thread "main" java.util.concurrent.TimeoutException
252.06/225.91		at concrete.MAC.mac(MAC.scala:188)
252.06/225.91		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
252.06/225.91		at scala.util.Try$.apply(Try.scala:209)
252.06/225.91		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
252.06/225.91		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
252.06/225.91		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
252.06/225.91		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
252.06/225.91		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
252.06/225.91		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
252.06/225.91		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
252.06/225.91		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
252.06/225.91		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
252.06/225.91		at concrete.MAC.oneRun(MAC.scala:253)
252.06/225.91		at concrete.MAC.nextSolution(MAC.scala:272)
252.06/225.91		at concrete.MAC.$anonfun$nextSolution$5(MAC.scala:336)
252.06/225.91		at concrete.ProblemState.map(ProblemState.scala:221)
252.06/225.91		at concrete.ProblemState.map(ProblemState.scala:204)
252.06/225.91		at concrete.MAC.nextSolution(MAC.scala:334)
252.06/225.91		at concrete.Solver.hasNext(Solver.scala:166)
252.06/225.91		at scala.collection.Iterator.foreach(Iterator.scala:944)
252.06/225.91		at scala.collection.Iterator.foreach$(Iterator.scala:944)
252.06/225.91		at concrete.Solver.foreach(Solver.scala:68)
252.06/225.91		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
252.06/225.91		at scala.util.Success.$anonfun$map$1(Try.scala:251)
252.06/225.91		at scala.util.Success.map(Try.scala:209)
252.06/225.91		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
252.06/225.91		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
252.06/225.91		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
252.06/225.91		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
252.06/225.91		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
252.06/225.91		at scala.Function0.apply$mcV$sp(Function0.scala:34)
252.06/225.91		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
252.06/225.91		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
252.06/225.91		at scala.App.$anonfun$main$1$adapted(App.scala:76)
252.06/225.91		at scala.collection.immutable.List.foreach(List.scala:389)
252.06/225.91		at scala.App.main(App.scala:76)
252.06/225.91		at scala.App.main$(App.scala:74)
252.06/225.91		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
252.06/225.91		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
252.06/225.91	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 (11692 MiB free)
  memory of node 1: 16384 MiB (15802 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302786-1532894202/watcher-4302786-1532894202 -o /tmp/evaluation-result-4302786-1532894202/solver-4302786-1532894202 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532893975-22777 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=689819214 -superng HOME/instance-4302786-1532894202.xml 

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

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


[startup+0.100092 s]*
/proc/loadavg: 1.99 1.69 1.54 5/208 23195
/proc/meminfo: memFree=28147340/32770624 swapFree=67108860/67108860
[pid=23137] ppid=23134 vsize=10005480 memory=18864 CPUtime=0.09 cores=1,3,5,7
/proc/23137/stat : 23137 (java) S 23134 23137 13514 0 -1 1077944320 4390 12893 0 0 1 0 5 3 20 0 6 0 106983413 10245611520 4716 33554432000 4194304 4196468 140722009285680 140722009268224 139741377322743 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
/proc/23137/statm: 2501370 4716 1935 1 0 2489808 0
[pid=23137/tid=23191] ppid=23134 vsize=10005480 memory=4279135703980344719 CPUtime=0.09 cores=1,3,5,7
/proc/23137/task/23191/stat : 23191 (java) R 23134 23137 13514 0 -1 4202560 2210 12893 0 0 1 0 5 3 20 0 6 0 106983422 10245611520 4781 33554432000 4194304 4196468 140722009285680 139741349159504 139741362445680 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23192] ppid=23134 vsize=10005480 memory=8257237230052613020 CPUtime=0.08 cores=1,3,5,7
/proc/23137/task/23192/stat : 23192 (java) S 23134 23137 13514 0 -1 1077944384 1 12893 0 0 0 0 5 3 20 0 6 0 106983423 10245611520 4781 33554432000 4194304 4196468 140722009285680 139741381565456 139741377332949 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23193] ppid=23134 vsize=10005480 memory=139716852053632 CPUtime=0.08 cores=1,3,5,7
/proc/23137/task/23193/stat : 23193 (java) S 23134 23137 13514 0 -1 1077944384 1 12893 0 0 0 0 5 3 20 0 6 0 106983423 10245611520 4781 33554432000 4194304 4196468 140722009285680 139741262830736 139741377332949 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23194] ppid=23134 vsize=10005480 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23137/task/23194/stat : 23194 (java) S 23134 23137 13514 0 -1 1077944384 1 12893 0 0 0 0 5 3 20 0 6 0 106983423 10245611520 4781 33554432000 4194304 4196468 140722009285680 139741261777680 139741377332949 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23195] ppid=23134 vsize=10005480 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/23137/task/23195/stat : 23195 (java) S 23134 23137 13514 0 -1 1077944384 2 12893 0 0 0 0 5 3 20 0 6 0 106983423 10245611520 4781 33554432000 4194304 4196468 140722009285680 139741260725136 139741377332949 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 18864 KiB

[startup+0.209906 s]*
/proc/loadavg: 1.99 1.69 1.54 6/217 23204
/proc/meminfo: memFree=28125716/32770624 swapFree=67108860/67108860
[pid=23137] ppid=23134 vsize=10985364 memory=46064 CPUtime=0.26 cores=1,3,5,7
/proc/23137/stat : 23137 (java) S 23134 23137 13514 0 -1 1077944320 8191 12893 0 0 17 1 5 3 20 0 15 0 106983413 11249012736 11516 33554432000 4194304 4196468 140722009285680 140722009268224 139741377322743 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
/proc/23137/statm: 2746341 11516 2953 1 0 2708764 0
[pid=23137/tid=23191] ppid=23134 vsize=10985364 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/23137/task/23191/stat : 23191 (java) R 23134 23137 13514 0 -1 4202560 4968 12893 0 0 11 1 5 3 20 0 15 0 106983422 11249012736 11714 33554432000 4194304 4196468 140722009285680 139741349147552 139741370002461 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23192] ppid=23134 vsize=10985364 memory=339 CPUtime=0.08 cores=1,3,5,7
/proc/23137/task/23192/stat : 23192 (java) S 23134 23137 13514 0 -1 1077944384 1 12893 0 0 0 0 5 3 20 0 15 0 106983423 11249012736 11714 33554432000 4194304 4196468 140722009285680 139741381565456 139741377332949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23193] ppid=23134 vsize=10985364 memory=3762953496200607392 CPUtime=0.08 cores=1,3,5,7
/proc/23137/task/23193/stat : 23193 (java) S 23134 23137 13514 0 -1 1077944384 1 12893 0 0 0 0 5 3 20 0 15 0 106983423 11249012736 11714 33554432000 4194304 4196468 140722009285680 139741262830736 139741377332949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23194] ppid=23134 vsize=10985364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23137/task/23194/stat : 23194 (java) S 23134 23137 13514 0 -1 1077944384 1 12893 0 0 0 0 5 3 20 0 15 0 106983423 11249012736 11714 33554432000 4194304 4196468 140722009285680 139741261777680 139741377332949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23195] ppid=23134 vsize=10985364 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/23137/task/23195/stat : 23195 (java) S 23134 23137 13514 0 -1 1077944384 2 12893 0 0 0 0 5 3 20 0 15 0 106983423 11249012736 11780 33554432000 4194304 4196468 140722009285680 139741260725136 139741377332949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23196] ppid=23134 vsize=10985364 memory=139716852053632 CPUtime=0.08 cores=1,3,5,7
/proc/23137/task/23196/stat : 23196 (java) S 23134 23137 13514 0 -1 1077944384 2 12893 0 0 0 0 5 3 20 0 15 0 106983424 11249012736 11780 33554432000 4194304 4196468 140722009285680 139740870420720 139741377333890 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23197] ppid=23134 vsize=10985364 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/23137/task/23197/stat : 23197 (java) S 23134 23137 13514 0 -1 1077944384 13 12893 0 0 0 0 5 3 20 0 15 0 106983425 11249012736 11780 33554432000 4194304 4196468 140722009285680 139740130043040 139741377332949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23198] ppid=23134 vsize=10985364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23137/task/23198/stat : 23198 (java) S 23134 23137 13514 0 -1 1077944384 1 12893 0 0 0 0 5 3 20 0 15 0 106983425 11249012736 11780 33554432000 4194304 4196468 140722009285680 139739982193392 139741377332949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23199] ppid=23134 vsize=10985364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23137/task/23199/stat : 23199 (java) S 23134 23137 13514 0 -1 1077944384 3 12893 0 0 0 0 5 3 20 0 15 0 106983427 11249012736 11846 33554432000 4194304 4196468 140722009285680 139739674793936 139741377341339 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23200] ppid=23134 vsize=10985364 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/23137/task/23200/stat : 23200 (java) S 23134 23137 13514 0 -1 1077944384 491 12893 0 0 1 0 5 3 20 0 15 0 106983427 11249012736 11846 33554432000 4194304 4196468 140722009285680 139740869368560 139741377333890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23201] ppid=23134 vsize=10985364 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/23137/task/23201/stat : 23201 (java) S 23134 23137 13514 0 -1 1077944384 131 12893 0 0 0 0 5 3 20 0 15 0 106983427 11249012736 11846 33554432000 4194304 4196468 140722009285680 139740868316016 139741377333890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23202] ppid=23134 vsize=10985364 memory=139716852053632 CPUtime=0.11 cores=1,3,5,7
/proc/23137/task/23202/stat : 23202 (java) S 23134 23137 13514 0 -1 1077944384 594 12893 0 0 3 0 5 3 20 0 15 0 106983427 11249012736 11846 33554432000 4194304 4196468 140722009285680 139740867262960 139741377333890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23203] ppid=23134 vsize=10985364 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/23137/task/23203/stat : 23203 (java) S 23134 23137 13514 0 -1 1077944384 3 12893 0 0 0 0 5 3 20 0 15 0 106983428 11249012736 11846 33554432000 4194304 4196468 140722009285680 139739243998048 139741377332949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23204] ppid=23134 vsize=10985364 memory=139716852053632 CPUtime=0.08 cores=1,3,5,7
/proc/23137/task/23204/stat : 23204 (java) S 23134 23137 13514 0 -1 1077944384 1 12893 0 0 0 0 5 3 20 0 15 0 106983428 11249012736 11711 33554432000 4194304 4196468 140722009285680 139740866210352 139741377333890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10985364 KiB
Current children cumulated memory: 46064 KiB

[startup+0.310332 s]*
/proc/loadavg: 1.99 1.69 1.54 5/217 23204
/proc/meminfo: memFree=28111452/32770624 swapFree=67108860/67108860
[pid=23137] ppid=23134 vsize=10983192 memory=55456 CPUtime=0.39 cores=1,3,5,7
/proc/23137/stat : 23137 (java) S 23134 23137 13514 0 -1 1077944320 10449 12893 0 0 29 2 5 3 20 0 15 0 106983413 11246788608 13864 33554432000 4194304 4196468 140722009285680 140722009268224 139741377322743 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
/proc/23137/statm: 2745798 13864 3072 1 0 2708109 0
[pid=23137/tid=23191] ppid=23134 vsize=10983192 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/23137/task/23191/stat : 23191 (java) R 23134 23137 13514 0 -1 4202560 7000 12893 0 0 20 2 5 3 20 0 15 0 106983422 11246788608 13864 33554432000 4194304 4196468 140722009285680 139741349134752 139741369559870 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23192] ppid=23134 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23137/task/23192/stat : 23192 (java) S 23134 23137 13514 0 -1 1077944384 1 12893 0 0 0 0 5 3 20 0 15 0 106983423 11246788608 13864 33554432000 4194304 4196468 140722009285680 139741381565456 139741377332949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23193] ppid=23134 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23137/task/23193/stat : 23193 (java) S 23134 23137 13514 0 -1 1077944384 1 12893 0 0 0 0 5 3 20 0 15 0 106983423 11246788608 13864 33554432000 4194304 4196468 140722009285680 139741262830736 139741377332949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23194] ppid=23134 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23137/task/23194/stat : 23194 (java) S 23134 23137 13514 0 -1 1077944384 1 12893 0 0 0 0 5 3 20 0 15 0 106983423 11246788608 13864 33554432000 4194304 4196468 140722009285680 139741261777680 139741377332949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23195] ppid=23134 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23137/task/23195/stat : 23195 (java) S 23134 23137 13514 0 -1 1077944384 2 12893 0 0 0 0 5 3 20 0 15 0 106983423 11246788608 13864 33554432000 4194304 4196468 140722009285680 139741260725136 139741377332949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23196] ppid=23134 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23137/task/23196/stat : 23196 (java) S 23134 23137 13514 0 -1 1077944384 2 12893 0 0 0 0 5 3 20 0 15 0 106983424 11246788608 13864 33554432000 4194304 4196468 140722009285680 139740870420720 139741377333890 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23197] ppid=23134 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/23137/task/23197/stat : 23197 (java) S 23134 23137 13514 0 -1 1077944384 13 12893 0 0 0 0 5 3 20 0 15 0 106983425 11246788608 13864 33554432000 4194304 4196468 140722009285680 139740130043040 139741377332949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23198] ppid=23134 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23137/task/23198/stat : 23198 (java) S 23134 23137 13514 0 -1 1077944384 1 12893 0 0 0 0 5 3 20 0 15 0 106983425 11246788608 13864 33554432000 4194304 4196468 140722009285680 139739982193392 139741377332949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23199] ppid=23134 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23137/task/23199/stat : 23199 (java) S 23134 23137 13514 0 -1 1077944384 3 12893 0 0 0 0 5 3 20 0 15 0 106983427 11246788608 13864 33554432000 4194304 4196468 140722009285680 139739674793936 139741377341339 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23200] ppid=23134 vsize=10983192 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/23137/task/23200/stat : 23200 (java) S 23134 23137 13514 0 -1 1077944384 496 12893 0 0 2 0 5 3 20 0 15 0 106983427 11246788608 13864 33554432000 4194304 4196468 140722009285680 139740869368560 139741377333890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23201] ppid=23134 vsize=10983192 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/23137/task/23201/stat : 23201 (java) S 23134 23137 13514 0 -1 1077944384 131 12893 0 0 1 0 5 3 20 0 15 0 106983427 11246788608 13864 33554432000 4194304 4196468 140722009285680 139740868316016 139741377333890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23202] ppid=23134 vsize=10983192 memory=139716852053632 CPUtime=0.13 cores=1,3,5,7
/proc/23137/task/23202/stat : 23202 (java) R 23134 23137 13514 0 -1 4202560 601 12893 0 0 5 0 5 3 20 0 15 0 106983427 11246788608 13864 33554432000 4194304 4196468 140722009285680 139740867262960 139741356006891 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23203] ppid=23134 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/23137/task/23203/stat : 23203 (java) S 23134 23137 13514 0 -1 1077944384 3 12893 0 0 0 0 5 3 20 0 15 0 106983428 11246788608 13864 33554432000 4194304 4196468 140722009285680 139739243998048 139741377332949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23204] ppid=23134 vsize=10983192 memory=139716852053632 CPUtime=0.08 cores=1,3,5,7
/proc/23137/task/23204/stat : 23204 (java) S 23134 23137 13514 0 -1 1077944384 1 12893 0 0 0 0 5 3 20 0 15 0 106983428 11246788608 13864 33554432000 4194304 4196468 140722009285680 139740866210352 139741377333890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55456 KiB

[startup+0.700732 s]
/proc/loadavg: 1.99 1.69 1.54 6/217 23204
/proc/meminfo: memFree=28099668/32770624 swapFree=67108860/67108860
[pid=23137] ppid=23134 vsize=10983192 memory=88724 CPUtime=1 cores=1,3,5,7
/proc/23137/stat : 23137 (java) S 23134 23137 13514 0 -1 1077944320 16774 12893 0 0 88 4 5 3 20 0 15 0 106983413 11246788608 22181 33554432000 4194304 4196468 140722009285680 140722009268224 139741377322743 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
/proc/23137/statm: 2745798 22181 3238 1 0 2708109 0
[pid=23137/tid=23191] ppid=23134 vsize=10983192 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/23137/task/23191/stat : 23191 (java) R 23134 23137 13514 0 -1 4202560 12209 12893 0 0 56 2 5 3 20 0 15 0 106983422 11246788608 22181 33554432000 4194304 4196468 140722009285680 139741349143568 139741358887713 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23192] ppid=23134 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23137/task/23192/stat : 23192 (java) S 23134 23137 13514 0 -1 1077944384 1 12893 0 0 0 0 5 3 20 0 15 0 106983423 11246788608 22181 33554432000 4194304 4196468 140722009285680 139741381565456 139741377332949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23193] ppid=23134 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23137/task/23193/stat : 23193 (java) S 23134 23137 13514 0 -1 1077944384 1 12893 0 0 0 0 5 3 20 0 15 0 106983423 11246788608 22181 33554432000 4194304 4196468 140722009285680 139741262830736 139741377332949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23194] ppid=23134 vsize=10983192 memory=32804 CPUtime=0.08 cores=1,3,5,7
/proc/23137/task/23194/stat : 23194 (java) S 23134 23137 13514 0 -1 1077944384 1 12893 0 0 0 0 5 3 20 0 15 0 106983423 11246788608 22181 33554432000 4194304 4196468 140722009285680 139741261777680 139741377332949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23195] ppid=23134 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23137/task/23195/stat : 23195 (java) S 23134 23137 13514 0 -1 1077944384 2 12893 0 0 0 0 5 3 20 0 15 0 106983423 11246788608 22181 33554432000 4194304 4196468 140722009285680 139741260725136 139741377332949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23196] ppid=23134 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23137/task/23196/stat : 23196 (java) S 23134 23137 13514 0 -1 1077944384 5 12893 0 0 0 0 5 3 20 0 15 0 106983424 11246788608 22181 33554432000 4194304 4196468 140722009285680 139740870420720 139741377333890 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23197] ppid=23134 vsize=10983192 memory=139716695569072 CPUtime=0.08 cores=1,3,5,7
/proc/23137/task/23197/stat : 23197 (java) S 23134 23137 13514 0 -1 1077944384 13 12893 0 0 0 0 5 3 20 0 15 0 106983425 11246788608 22181 33554432000 4194304 4196468 140722009285680 139740130043040 139741377332949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23198] ppid=23134 vsize=10983192 memory=139719581106768 CPUtime=0.08 cores=1,3,5,7
/proc/23137/task/23198/stat : 23198 (java) S 23134 23137 13514 0 -1 1077944384 1 12893 0 0 0 0 5 3 20 0 15 0 106983425 11246788608 22181 33554432000 4194304 4196468 140722009285680 139739982193392 139741377332949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23199] ppid=23134 vsize=10983192 memory=1020 CPUtime=0.08 cores=1,3,5,7
/proc/23137/task/23199/stat : 23199 (java) S 23134 23137 13514 0 -1 1077944384 3 12893 0 0 0 0 5 3 20 0 15 0 106983427 11246788608 22181 33554432000 4194304 4196468 140722009285680 139739674793936 139741377341339 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23200] ppid=23134 vsize=10983192 memory=7089042195949315648 CPUtime=0.19 cores=1,3,5,7
/proc/23137/task/23200/stat : 23200 (java) S 23134 23137 13514 0 -1 1077944384 1148 12893 0 0 11 0 5 3 20 0 15 0 106983427 11246788608 22181 33554432000 4194304 4196468 140722009285680 139740869368560 139741377333890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23201] ppid=23134 vsize=10983192 memory=7881696724453321575 CPUtime=0.14 cores=1,3,5,7
/proc/23137/task/23201/stat : 23201 (java) S 23134 23137 13514 0 -1 1077944384 501 12893 0 0 6 0 5 3 20 0 15 0 106983427 11246788608 22181 33554432000 4194304 4196468 140722009285680 139740868316016 139741377333890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23202] ppid=23134 vsize=10983192 memory=5789189752906409301 CPUtime=0.21 cores=1,3,5,7
/proc/23137/task/23202/stat : 23202 (java) S 23134 23137 13514 0 -1 1077944384 692 12893 0 0 13 0 5 3 20 0 15 0 106983427 11246788608 22181 33554432000 4194304 4196468 140722009285680 139740867262960 139741377333890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23203] ppid=23134 vsize=10983192 memory=4140 CPUtime=0.08 cores=1,3,5,7
/proc/23137/task/23203/stat : 23203 (java) S 23134 23137 13514 0 -1 1077944384 3 12893 0 0 0 0 5 3 20 0 15 0 106983428 11246788608 22181 33554432000 4194304 4196468 140722009285680 139739243998048 139741377332949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23204] ppid=23134 vsize=10983192 memory=2241 CPUtime=0.08 cores=1,3,5,7
/proc/23137/task/23204/stat : 23204 (java) S 23134 23137 13514 0 -1 1077944384 1 12893 0 0 0 0 5 3 20 0 15 0 106983428 11246788608 22181 33554432000 4194304 4196468 140722009285680 139740866210352 139741377333890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88724 KiB

[startup+1.50072 s]
/proc/loadavg: 1.99 1.69 1.54 4/217 23204
/proc/meminfo: memFree=28048640/32770624 swapFree=67108860/67108860
[pid=23137] ppid=23134 vsize=10989824 memory=109780 CPUtime=1.45 cores=1,3,5,7
/proc/23137/stat : 23137 (java) S 23134 23137 13514 0 -1 1077944320 19089 12893 0 0 132 5 5 3 20 0 15 0 106983413 11253579776 27445 33554432000 4194304 4196468 140722009285680 140722009268224 139741377322743 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
/proc/23137/statm: 2747456 27445 3412 1 0 2709133 0
[pid=23137/tid=23191] ppid=23134 vsize=10989824 memory=10757 CPUtime=0.95 cores=1,3,5,7
/proc/23137/task/23191/stat : 23191 (java) R 23134 23137 13514 0 -1 4202560 14202 12893 0 0 83 4 5 3 20 0 15 0 106983422 11253579776 27445 33554432000 4194304 4196468 140722009285680 139741349148576 139741361366373 0 4 0 16800975 0 0 0 -1 5 0 0 51 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23192] ppid=23134 vsize=10989824 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/23137/task/23192/stat : 23192 (java) S 23134 23137 13514 0 -1 1077944384 1 12893 0 0 0 0 5 3 20 0 15 0 106983423 11253579776 27445 33554432000 4194304 4196468 140722009285680 139741381565456 139741377332949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23193] ppid=23134 vsize=10989824 memory=1408 CPUtime=0.08 cores=1,3,5,7
/proc/23137/task/23193/stat : 23193 (java) S 23134 23137 13514 0 -1 1077944384 1 12893 0 0 0 0 5 3 20 0 15 0 106983423 11253579776 27445 33554432000 4194304 4196468 140722009285680 139741262830736 139741377332949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23194] ppid=23134 vsize=10989824 memory=2464 CPUtime=0.08 cores=1,3,5,7
/proc/23137/task/23194/stat : 23194 (java) S 23134 23137 13514 0 -1 1077944384 1 12893 0 0 0 0 5 3 20 0 15 0 106983423 11253579776 27445 33554432000 4194304 4196468 140722009285680 139741261777680 139741377332949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23195] ppid=23134 vsize=10989824 memory=88724 CPUtime=0.08 cores=1,3,5,7
/proc/23137/task/23195/stat : 23195 (java) S 23134 23137 13514 0 -1 1077944384 2 12893 0 0 0 0 5 3 20 0 15 0 106983423 11253579776 27445 33554432000 4194304 4196468 140722009285680 139741260725136 139741377332949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23196] ppid=23134 vsize=10989824 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23137/task/23196/stat : 23196 (java) S 23134 23137 13514 0 -1 1077944384 5 12893 0 0 0 0 5 3 20 0 15 0 106983424 11253579776 27445 33554432000 4194304 4196468 140722009285680 139740870420720 139741377333890 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23197] ppid=23134 vsize=10989824 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23137/task/23197/stat : 23197 (java) S 23134 23137 13514 0 -1 1077944384 13 12893 0 0 0 0 5 3 20 0 15 0 106983425 11253579776 27445 33554432000 4194304 4196468 140722009285680 139740130043040 139741377332949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23198] ppid=23134 vsize=10989824 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23137/task/23198/stat : 23198 (java) S 23134 23137 13514 0 -1 1077944384 1 12893 0 0 0 0 5 3 20 0 15 0 106983425 11253579776 27445 33554432000 4194304 4196468 140722009285680 139739982193392 139741377332949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23199] ppid=23134 vsize=10989824 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/23137/task/23199/stat : 23199 (java) S 23134 23137 13514 0 -1 1077944384 3 12893 0 0 0 0 5 3 20 0 15 0 106983427 11253579776 27445 33554432000 4194304 4196468 140722009285680 139739674793936 139741377341339 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23200] ppid=23134 vsize=10989824 memory=4638778398332698720 CPUtime=0.23 cores=1,3,5,7
/proc/23137/task/23200/stat : 23200 (java) S 23134 23137 13514 0 -1 1077944384 1167 12893 0 0 15 0 5 3 20 0 15 0 106983427 11253579776 27445 33554432000 4194304 4196468 140722009285680 139740869368560 139741377333890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23201] ppid=23134 vsize=10989824 memory=279433391414144 CPUtime=0.19 cores=1,3,5,7
/proc/23137/task/23201/stat : 23201 (java) S 23134 23137 13514 0 -1 1077944384 618 12893 0 0 11 0 5 3 20 0 15 0 106983427 11253579776 27445 33554432000 4194304 4196468 140722009285680 139740868316016 139741377333890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23202] ppid=23134 vsize=10989824 memory=6944656592452807323 CPUtime=0.29 cores=1,3,5,7
/proc/23137/task/23202/stat : 23202 (java) S 23134 23137 13514 0 -1 1077944384 877 12893 0 0 21 0 5 3 20 0 15 0 106983427 11253579776 27445 33554432000 4194304 4196468 140722009285680 139740867262960 139741377333890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23203] ppid=23134 vsize=10989824 memory=6944656591801719708 CPUtime=0.08 cores=1,3,5,7
/proc/23137/task/23203/stat : 23203 (java) S 23134 23137 13514 0 -1 1077944384 3 12893 0 0 0 0 5 3 20 0 15 0 106983428 11253579776 27445 33554432000 4194304 4196468 140722009285680 139739243998048 139741377332949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23204] ppid=23134 vsize=10989824 memory=1399101730491701635 CPUtime=0.08 cores=1,3,5,7
/proc/23137/task/23204/stat : 23204 (java) S 23134 23137 13514 0 -1 1077944384 2 12893 0 0 0 0 5 3 20 0 15 0 106983428 11253579776 27445 33554432000 4194304 4196468 140722009285680 139740866210352 139741377333890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 48 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 10989824 KiB

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

/proc/23137/task/23191/stat : 23191 (java) R 23134 23137 13514 0 -1 4202560 56301 12893 0 0 16069 25 5 3 20 0 15 0 106983422 11348049920 347183 33554432000 4194304 4196468 140722009285680 139741349156712 139740942052080 0 4 0 16800975 0 0 0 -1 5 0 0 51 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23192] ppid=23134 vsize=11082080 memory=1401556 CPUtime=0.59 cores=1,3,5,7
/proc/23137/task/23192/stat : 23192 (java) S 23134 23137 13514 0 -1 1077944384 2455 12893 0 0 43 8 5 3 20 0 15 0 106983423 11348049920 347183 33554432000 4194304 4196468 140722009285680 139741381565456 139741377332949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23193] ppid=23134 vsize=11082080 memory=4140 CPUtime=0.57 cores=1,3,5,7
/proc/23137/task/23193/stat : 23193 (java) S 23134 23137 13514 0 -1 1077944384 2512 12893 0 0 41 8 5 3 20 0 15 0 106983423 11348049920 347183 33554432000 4194304 4196468 140722009285680 139741262830736 139741377332949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23194] ppid=23134 vsize=11082080 memory=1416948 CPUtime=0.58 cores=1,3,5,7
/proc/23137/task/23194/stat : 23194 (java) S 23134 23137 13514 0 -1 1077944384 3399 12893 0 0 41 9 5 3 20 0 15 0 106983423 11348049920 347183 33554432000 4194304 4196468 140722009285680 139741261777680 139741377332949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23195] ppid=23134 vsize=11082080 memory=1401556 CPUtime=0.54 cores=1,3,5,7
/proc/23137/task/23195/stat : 23195 (java) S 23134 23137 13514 0 -1 1077944384 602 12893 0 0 39 7 5 3 20 0 15 0 106983423 11348049920 347183 33554432000 4194304 4196468 140722009285680 139741260725136 139741377332949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23196] ppid=23134 vsize=11082080 memory=1388732 CPUtime=0.21 cores=1,3,5,7
/proc/23137/task/23196/stat : 23196 (java) S 23134 23137 13514 0 -1 1077944384 4746 12893 0 0 11 2 5 3 20 0 15 0 106983424 11348049920 347183 33554432000 4194304 4196468 140722009285680 139740870420720 139741377333890 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23197] ppid=23134 vsize=11082080 memory=1494384 CPUtime=0.08 cores=1,3,5,7
/proc/23137/task/23197/stat : 23197 (java) S 23134 23137 13514 0 -1 1077944384 17 12893 0 0 0 0 5 3 20 0 15 0 106983425 11348049920 347183 33554432000 4194304 4196468 140722009285680 139740130043104 139741377332949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23198] ppid=23134 vsize=11082080 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23137/task/23198/stat : 23198 (java) S 23134 23137 13514 0 -1 1077944384 4 12893 0 0 0 0 5 3 20 0 15 0 106983425 11348049920 347183 33554432000 4194304 4196468 140722009285680 139739982193408 139741377332949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23199] ppid=23134 vsize=11082080 memory=2337 CPUtime=0.08 cores=1,3,5,7
/proc/23137/task/23199/stat : 23199 (java) S 23134 23137 13514 0 -1 1077944384 3 12893 0 0 0 0 5 3 20 0 15 0 106983427 11348049920 347183 33554432000 4194304 4196468 140722009285680 139739674793936 139741377341339 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23200] ppid=23134 vsize=11082080 memory=1401556 CPUtime=10.55 cores=1,3,5,7
/proc/23137/task/23200/stat : 23200 (java) S 23134 23137 13514 0 -1 1077944384 26026 12893 0 0 1044 3 5 3 20 0 15 0 106983427 11348049920 347183 33554432000 4194304 4196468 140722009285680 139740869368560 139741377333890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23201] ppid=23134 vsize=11082080 memory=1388732 CPUtime=10.21 cores=1,3,5,7
/proc/23137/task/23201/stat : 23201 (java) S 23134 23137 13514 0 -1 1077944384 24076 12893 0 0 1009 4 5 3 20 0 15 0 106983427 11348049920 347183 33554432000 4194304 4196468 140722009285680 139740868316016 139741377333890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23202] ppid=23134 vsize=11082080 memory=3360 CPUtime=3.6 cores=1,3,5,7
/proc/23137/task/23202/stat : 23202 (java) S 23134 23137 13514 0 -1 1077944384 23793 12893 0 0 346 6 5 3 20 0 15 0 106983427 11348049920 347183 33554432000 4194304 4196468 140722009285680 139740867262960 139741377333890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23203] ppid=23134 vsize=11082080 memory=1394888 CPUtime=0.08 cores=1,3,5,7
/proc/23137/task/23203/stat : 23203 (java) S 23134 23137 13514 0 -1 1077944384 3 12893 0 0 0 0 5 3 20 0 15 0 106983428 11348049920 347183 33554432000 4194304 4196468 140722009285680 139739243998048 139741377332949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23204] ppid=23134 vsize=11082080 memory=1394888 CPUtime=0.16 cores=1,3,5,7
/proc/23137/task/23204/stat : 23204 (java) S 23134 23137 13514 0 -1 1077944384 247 12893 0 0 4 4 5 3 20 0 15 0 106983428 11348049920 347183 33554432000 4194304 4196468 140722009285680 139740866210352 139741377333890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 48 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
Current children cumulated CPU time: 187.41 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1388732 KiB

[startup+222.301 s]
/proc/loadavg: 1.75 1.73 1.59 3/215 23343
/proc/meminfo: memFree=26878520/32770624 swapFree=67108860/67108860
[pid=23137] ppid=23134 vsize=11082080 memory=1338968 CPUtime=248.38 cores=1,3,5,7
/proc/23137/stat : 23137 (java) S 23134 23137 13514 0 -1 1077944320 159741 12893 0 0 24747 83 5 3 20 0 15 0 106983413 11348049920 334742 33554432000 4194304 4196468 140722009285680 140722009268224 139741377322743 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
/proc/23137/statm: 2770520 334742 3537 1 0 2732173 0
[pid=23137/tid=23191] ppid=23134 vsize=11082080 memory=1338968 CPUtime=220.77 cores=1,3,5,7
/proc/23137/task/23191/stat : 23191 (java) R 23134 23137 13514 0 -1 4202560 58079 12893 0 0 22043 26 5 3 20 0 15 0 106983422 11348049920 334742 33554432000 4194304 4196468 140722009285680 139741349157952 139740963881616 0 4 0 16800975 0 0 0 -1 1 0 0 51 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23192] ppid=23134 vsize=11082080 memory=1338968 CPUtime=0.73 cores=1,3,5,7
/proc/23137/task/23192/stat : 23192 (java) S 23134 23137 13514 0 -1 1077944384 2534 12893 0 0 56 9 5 3 20 0 15 0 106983423 11348049920 334742 33554432000 4194304 4196468 140722009285680 139741381565456 139741377332949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23193] ppid=23134 vsize=11082080 memory=1338968 CPUtime=0.7 cores=1,3,5,7
/proc/23137/task/23193/stat : 23193 (java) S 23134 23137 13514 0 -1 1077944384 3663 12893 0 0 54 8 5 3 20 0 15 0 106983423 11348049920 334742 33554432000 4194304 4196468 140722009285680 139741262830736 139741377332949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23194] ppid=23134 vsize=11082080 memory=1338968 CPUtime=0.71 cores=1,3,5,7
/proc/23137/task/23194/stat : 23194 (java) S 23134 23137 13514 0 -1 1077944384 4098 12893 0 0 54 9 5 3 20 0 15 0 106983423 11348049920 334742 33554432000 4194304 4196468 140722009285680 139741261777680 139741377332949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23195] ppid=23134 vsize=11082080 memory=4140 CPUtime=0.67 cores=1,3,5,7
/proc/23137/task/23195/stat : 23195 (java) S 23134 23137 13514 0 -1 1077944384 793 12893 0 0 51 8 5 3 20 0 15 0 106983423 11348049920 334742 33554432000 4194304 4196468 140722009285680 139741260725136 139741377332949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23196] ppid=23134 vsize=11082080 memory=30420 CPUtime=0.31 cores=1,3,5,7
/proc/23137/task/23196/stat : 23196 (java) S 23134 23137 13514 0 -1 1077944384 5118 12893 0 0 21 2 5 3 20 0 15 0 106983424 11348049920 334742 33554432000 4194304 4196468 140722009285680 139740870420720 139741377333890 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23197] ppid=23134 vsize=11082080 memory=1353844 CPUtime=0.08 cores=1,3,5,7
/proc/23137/task/23197/stat : 23197 (java) S 23134 23137 13514 0 -1 1077944384 17 12893 0 0 0 0 5 3 20 0 15 0 106983425 11348049920 334742 33554432000 4194304 4196468 140722009285680 139740130043104 139741377332949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23198] ppid=23134 vsize=11082080 memory=1256 CPUtime=0.08 cores=1,3,5,7
/proc/23137/task/23198/stat : 23198 (java) S 23134 23137 13514 0 -1 1077944384 4 12893 0 0 0 0 5 3 20 0 15 0 106983425 11348049920 334742 33554432000 4194304 4196468 140722009285680 139739982193408 139741377332949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23199] ppid=23134 vsize=11082080 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/23137/task/23199/stat : 23199 (java) S 23134 23137 13514 0 -1 1077944384 3 12893 0 0 0 0 5 3 20 0 15 0 106983427 11348049920 334742 33554432000 4194304 4196468 140722009285680 139739674793936 139741377341339 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23200] ppid=23134 vsize=11082080 memory=1992 CPUtime=10.75 cores=1,3,5,7
/proc/23137/task/23200/stat : 23200 (java) S 23134 23137 13514 0 -1 1077944384 27957 12893 0 0 1064 3 5 3 20 0 15 0 106983427 11348049920 334742 33554432000 4194304 4196468 140722009285680 139740869368560 139741377333890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23201] ppid=23134 vsize=11082080 memory=303430223234596890 CPUtime=10.46 cores=1,3,5,7
/proc/23137/task/23201/stat : 23201 (java) S 23134 23137 13514 0 -1 1077944384 28044 12893 0 0 1033 5 5 3 20 0 15 0 106983427 11348049920 334742 33554432000 4194304 4196468 140722009285680 139740868316016 139741377333890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23202] ppid=23134 vsize=11082080 memory=288230617509003574 CPUtime=3.7 cores=1,3,5,7
/proc/23137/task/23202/stat : 23202 (java) S 23134 23137 13514 0 -1 1077944384 26976 12893 0 0 356 6 5 3 20 0 15 0 106983427 11348049920 334742 33554432000 4194304 4196468 140722009285680 139740867262960 139741377333890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23203] ppid=23134 vsize=11082080 memory=1338968 CPUtime=0.08 cores=1,3,5,7
/proc/23137/task/23203/stat : 23203 (java) S 23134 23137 13514 0 -1 1077944384 3 12893 0 0 0 0 5 3 20 0 15 0 106983428 11348049920 334742 33554432000 4194304 4196468 140722009285680 139739243998048 139741377332949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23204] ppid=23134 vsize=11082080 memory=2596 CPUtime=0.19 cores=1,3,5,7
/proc/23137/task/23204/stat : 23204 (java) S 23134 23137 13514 0 -1 1077944384 259 12893 0 0 6 5 5 3 20 0 15 0 106983428 11348049920 334742 33554432000 4194304 4196468 140722009285680 139740866210352 139741377333890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 48 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
Current children cumulated CPU time: 248.38 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1338968 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+225.901 s]
/proc/loadavg: 2.01 1.78 1.61 6/215 23343
/proc/meminfo: memFree=26629896/32770624 swapFree=67108860/67108860
[pid=23137] ppid=23134 vsize=11082080 memory=1338968 CPUtime=252.06 cores=1,3,5,7
/proc/23137/stat : 23137 (java) S 23134 23137 13514 0 -1 1077944320 159801 12893 0 0 25114 84 5 3 20 0 15 0 106983413 11348049920 334742 33554432000 4194304 4196468 140722009285680 140722009268224 139741377322743 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
/proc/23137/statm: 2770520 334742 3537 1 0 2732173 0
[pid=23137/tid=23191] ppid=23134 vsize=11082080 memory=1338968 CPUtime=224.34 cores=1,3,5,7
/proc/23137/task/23191/stat : 23191 (java) R 23134 23137 13514 0 -1 4202560 58094 12893 0 0 22400 26 5 3 20 0 15 0 106983422 11348049920 334742 33554432000 4194304 4196468 140722009285680 139741349157008 139740956661876 0 4 0 16800975 0 0 0 -1 5 0 0 51 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23192] ppid=23134 vsize=11082080 memory=1338968 CPUtime=0.75 cores=1,3,5,7
/proc/23137/task/23192/stat : 23192 (java) S 23134 23137 13514 0 -1 1077944384 2536 12893 0 0 58 9 5 3 20 0 15 0 106983423 11348049920 334742 33554432000 4194304 4196468 140722009285680 139741381565456 139741377332949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23193] ppid=23134 vsize=11082080 memory=1338968 CPUtime=0.71 cores=1,3,5,7
/proc/23137/task/23193/stat : 23193 (java) S 23134 23137 13514 0 -1 1077944384 3663 12893 0 0 55 8 5 3 20 0 15 0 106983423 11348049920 334742 33554432000 4194304 4196468 140722009285680 139741262830736 139741377332949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23194] ppid=23134 vsize=11082080 memory=1338968 CPUtime=0.73 cores=1,3,5,7
/proc/23137/task/23194/stat : 23194 (java) S 23134 23137 13514 0 -1 1077944384 4098 12893 0 0 56 9 5 3 20 0 15 0 106983423 11348049920 334742 33554432000 4194304 4196468 140722009285680 139741261777680 139741377332949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23195] ppid=23134 vsize=11082080 memory=1338968 CPUtime=0.69 cores=1,3,5,7
/proc/23137/task/23195/stat : 23195 (java) S 23134 23137 13514 0 -1 1077944384 794 12893 0 0 53 8 5 3 20 0 15 0 106983423 11348049920 334742 33554432000 4194304 4196468 140722009285680 139741260725136 139741377332949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23196] ppid=23134 vsize=11082080 memory=1338968 CPUtime=0.32 cores=1,3,5,7
/proc/23137/task/23196/stat : 23196 (java) S 23134 23137 13514 0 -1 1077944384 5118 12893 0 0 22 2 5 3 20 0 15 0 106983424 11348049920 334742 33554432000 4194304 4196468 140722009285680 139740870420720 139741377333890 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23197] ppid=23134 vsize=11082080 memory=3164 CPUtime=0.08 cores=1,3,5,7
/proc/23137/task/23197/stat : 23197 (java) S 23134 23137 13514 0 -1 1077944384 17 12893 0 0 0 0 5 3 20 0 15 0 106983425 11348049920 334742 33554432000 4194304 4196468 140722009285680 139740130043104 139741377332949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23198] ppid=23134 vsize=11082080 memory=1338968 CPUtime=0.08 cores=1,3,5,7
/proc/23137/task/23198/stat : 23198 (java) S 23134 23137 13514 0 -1 1077944384 4 12893 0 0 0 0 5 3 20 0 15 0 106983425 11348049920 334742 33554432000 4194304 4196468 140722009285680 139739982193408 139741377332949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23199] ppid=23134 vsize=11082080 memory=1338968 CPUtime=0.08 cores=1,3,5,7
/proc/23137/task/23199/stat : 23199 (java) S 23134 23137 13514 0 -1 1077944384 3 12893 0 0 0 0 5 3 20 0 15 0 106983427 11348049920 334742 33554432000 4194304 4196468 140722009285680 139739674793936 139741377341339 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23200] ppid=23134 vsize=11082080 memory=1338968 CPUtime=10.76 cores=1,3,5,7
/proc/23137/task/23200/stat : 23200 (java) S 23134 23137 13514 0 -1 1077944384 27987 12893 0 0 1065 3 5 3 20 0 15 0 106983427 11348049920 334742 33554432000 4194304 4196468 140722009285680 139740869368560 139741377333890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23201] ppid=23134 vsize=11082080 memory=4140 CPUtime=10.47 cores=1,3,5,7
/proc/23137/task/23201/stat : 23201 (java) S 23134 23137 13514 0 -1 1077944384 28048 12893 0 0 1034 5 5 3 20 0 15 0 106983427 11348049920 334742 33554432000 4194304 4196468 140722009285680 139740868316016 139741377333890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23202] ppid=23134 vsize=11082080 memory=30420 CPUtime=3.7 cores=1,3,5,7
/proc/23137/task/23202/stat : 23202 (java) S 23134 23137 13514 0 -1 1077944384 26984 12893 0 0 356 6 5 3 20 0 15 0 106983427 11348049920 334742 33554432000 4194304 4196468 140722009285680 139740867262960 139741377333890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23203] ppid=23134 vsize=11082080 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/23137/task/23203/stat : 23203 (java) S 23134 23137 13514 0 -1 1077944384 3 12893 0 0 0 0 5 3 20 0 15 0 106983428 11348049920 334742 33554432000 4194304 4196468 140722009285680 139739243998048 139741377332949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23204] ppid=23134 vsize=11082080 memory=1992 CPUtime=0.19 cores=1,3,5,7
/proc/23137/task/23204/stat : 23204 (java) S 23134 23137 13514 0 -1 1077944384 259 12893 0 0 6 5 5 3 20 0 15 0 106983428 11348049920 334742 33554432000 4194304 4196468 140722009285680 139740866210352 139741377333890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 48 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
Current children cumulated CPU time: 252.06 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1338968 KiB

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

[startup+225.935 s]
# the end of solver process 23137 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=251.214 s, system=0.889086 s

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

[startup+225.901 s]
/proc/loadavg: 2.01 1.78 1.61 6/215 23343
/proc/meminfo: memFree=26629896/32770624 swapFree=67108860/67108860
[pid=23137] ppid=23134 vsize=11082080 memory=1338968 CPUtime=252.06 cores=1,3,5,7
/proc/23137/stat : 23137 (java) S 23134 23137 13514 0 -1 1077944320 159801 12893 0 0 25114 84 5 3 20 0 15 0 106983413 11348049920 334742 33554432000 4194304 4196468 140722009285680 140722009268224 139741377322743 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
/proc/23137/statm: 2770520 334742 3537 1 0 2732173 0
[pid=23137/tid=23191] ppid=23134 vsize=11082080 memory=1338968 CPUtime=224.34 cores=1,3,5,7
/proc/23137/task/23191/stat : 23191 (java) R 23134 23137 13514 0 -1 4202560 58094 12893 0 0 22400 26 5 3 20 0 15 0 106983422 11348049920 334742 33554432000 4194304 4196468 140722009285680 139741349157008 139740956661876 0 4 0 16800975 0 0 0 -1 5 0 0 51 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23192] ppid=23134 vsize=11082080 memory=1338968 CPUtime=0.75 cores=1,3,5,7
/proc/23137/task/23192/stat : 23192 (java) S 23134 23137 13514 0 -1 1077944384 2536 12893 0 0 58 9 5 3 20 0 15 0 106983423 11348049920 334742 33554432000 4194304 4196468 140722009285680 139741381565456 139741377332949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23193] ppid=23134 vsize=11082080 memory=1338968 CPUtime=0.71 cores=1,3,5,7
/proc/23137/task/23193/stat : 23193 (java) S 23134 23137 13514 0 -1 1077944384 3663 12893 0 0 55 8 5 3 20 0 15 0 106983423 11348049920 334742 33554432000 4194304 4196468 140722009285680 139741262830736 139741377332949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23194] ppid=23134 vsize=11082080 memory=1338968 CPUtime=0.73 cores=1,3,5,7
/proc/23137/task/23194/stat : 23194 (java) S 23134 23137 13514 0 -1 1077944384 4098 12893 0 0 56 9 5 3 20 0 15 0 106983423 11348049920 334742 33554432000 4194304 4196468 140722009285680 139741261777680 139741377332949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23195] ppid=23134 vsize=11082080 memory=1338968 CPUtime=0.69 cores=1,3,5,7
/proc/23137/task/23195/stat : 23195 (java) S 23134 23137 13514 0 -1 1077944384 794 12893 0 0 53 8 5 3 20 0 15 0 106983423 11348049920 334742 33554432000 4194304 4196468 140722009285680 139741260725136 139741377332949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23196] ppid=23134 vsize=11082080 memory=1338968 CPUtime=0.32 cores=1,3,5,7
/proc/23137/task/23196/stat : 23196 (java) S 23134 23137 13514 0 -1 1077944384 5118 12893 0 0 22 2 5 3 20 0 15 0 106983424 11348049920 334742 33554432000 4194304 4196468 140722009285680 139740870420720 139741377333890 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23197] ppid=23134 vsize=11082080 memory=3164 CPUtime=0.08 cores=1,3,5,7
/proc/23137/task/23197/stat : 23197 (java) S 23134 23137 13514 0 -1 1077944384 17 12893 0 0 0 0 5 3 20 0 15 0 106983425 11348049920 334742 33554432000 4194304 4196468 140722009285680 139740130043104 139741377332949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23198] ppid=23134 vsize=11082080 memory=1338968 CPUtime=0.08 cores=1,3,5,7
/proc/23137/task/23198/stat : 23198 (java) S 23134 23137 13514 0 -1 1077944384 4 12893 0 0 0 0 5 3 20 0 15 0 106983425 11348049920 334742 33554432000 4194304 4196468 140722009285680 139739982193408 139741377332949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23199] ppid=23134 vsize=11082080 memory=1338968 CPUtime=0.08 cores=1,3,5,7
/proc/23137/task/23199/stat : 23199 (java) S 23134 23137 13514 0 -1 1077944384 3 12893 0 0 0 0 5 3 20 0 15 0 106983427 11348049920 334742 33554432000 4194304 4196468 140722009285680 139739674793936 139741377341339 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23200] ppid=23134 vsize=11082080 memory=1338968 CPUtime=10.76 cores=1,3,5,7
/proc/23137/task/23200/stat : 23200 (java) S 23134 23137 13514 0 -1 1077944384 27987 12893 0 0 1065 3 5 3 20 0 15 0 106983427 11348049920 334742 33554432000 4194304 4196468 140722009285680 139740869368560 139741377333890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23201] ppid=23134 vsize=11082080 memory=4140 CPUtime=10.47 cores=1,3,5,7
/proc/23137/task/23201/stat : 23201 (java) S 23134 23137 13514 0 -1 1077944384 28048 12893 0 0 1034 5 5 3 20 0 15 0 106983427 11348049920 334742 33554432000 4194304 4196468 140722009285680 139740868316016 139741377333890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23202] ppid=23134 vsize=11082080 memory=30420 CPUtime=3.7 cores=1,3,5,7
/proc/23137/task/23202/stat : 23202 (java) S 23134 23137 13514 0 -1 1077944384 26984 12893 0 0 356 6 5 3 20 0 15 0 106983427 11348049920 334742 33554432000 4194304 4196468 140722009285680 139740867262960 139741377333890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23203] ppid=23134 vsize=11082080 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/23137/task/23203/stat : 23203 (java) S 23134 23137 13514 0 -1 1077944384 3 12893 0 0 0 0 5 3 20 0 15 0 106983428 11348049920 334742 33554432000 4194304 4196468 140722009285680 139739243998048 139741377332949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
[pid=23137/tid=23204] ppid=23134 vsize=11082080 memory=1992 CPUtime=0.19 cores=1,3,5,7
/proc/23137/task/23204/stat : 23204 (java) S 23134 23137 13514 0 -1 1077944384 259 12893 0 0 6 5 5 3 20 0 15 0 106983428 11348049920 334742 33554432000 4194304 4196468 140722009285680 139740866210352 139741377333890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 48 0 0 6293624 6294260 26218496 140722009291369 140722009294177 140722009294177 140722009296847 0
Current children cumulated CPU time: 252.06 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1338968 KiB

Child status: 143
Real time (s): 225.935
CPU time (s): 252.103
CPU user time (s): 251.214
CPU system time (s): 0.889086
CPU usage (%): 111.582
Max. virtual memory (cumulated for all children) (KiB): 11082080
Max. memory (cumulated for all children) (KiB): 1565732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.214
system time used= 0.889086
maximum resident set size= 1569828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 173497
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19712
involuntary context switches= 350


# summary of solver processes directly reported to runsolver:
#   pid: 23137
#   total CPU time (s): 252.103
#   total CPU user time (s): 251.214
#   total CPU system time (s): 0.889086

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.45674 second user time and 2.11775 second system time

The end

Launcher Data 

Begin job on node136 at 2018-07-29 21:56:42
IDJOB=4302786
IDBENCH=141056
IDSOLVER=2777
FILE ID=node136/4302786-1532894202
RUNJOBID= node136-1532893975-22777
PBS_JOBID= 21022516
Free space on /tmp= 60200 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-4302786-1532894202/watcher-4302786-1532894202 -o /tmp/evaluation-result-4302786-1532894202/solver-4302786-1532894202 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532893975-22777 --watchdog 312  bin/xcsp-3-concrete -J-Xss64M -randomseed=689819214 -superng HOME/instance-4302786-1532894202.xml

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

MD5SUM BENCH= e10494f4d2f2bb4c080233ff8f9dca75
RANDOM SEED=689819214

node136.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.50
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.50
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.50
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.50
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:        28156160 kB
MemAvailable:   31563040 kB
Buffers:          216112 kB
Cached:          3461428 kB
SwapCached:            0 kB
Active:          2183788 kB
Inactive:        1956628 kB
Active(anon):     414448 kB
Inactive(anon):    76480 kB
Active(file):    1769340 kB
Inactive(file):  1880148 kB
Unevictable:        7328 kB
Mlocked:            7328 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             27236 kB
Writeback:             0 kB
AnonPages:        478468 kB
Mapped:            48152 kB
Shmem:             25228 kB
Slab:             174396 kB
SReclaimable:     146452 kB
SUnreclaim:        27944 kB
KernelStack:        3824 kB
PageTables:         6108 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1704228 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    256000 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 60176 MiB
End job on node136 at 2018-07-29 22:00:29