Trace number 4304185

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.9.2? (TO) 2520.1 2451.04

General information on the benchmark

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

Solver Data 

0.99/0.75	c Concrete v3.9.2.1532736233296 running
20.18/7.30	c 05:36:32.604 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24677. 'extension(4, x[2][1]=[0‥4]) :: init: true :: relation: MDD 556773329, 9 edges, 5 vertices, 6 tuples
20.18/7.31	c 05:36:32.612 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24680. 'extension(4, 4) :: init: true :: relation: MDD 556773329, 9 edges, 5 vertices, 6 tuples
20.18/7.31	c 05:36:32.612 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24681. 'extension(4, 4) :: init: true :: relation: MDD 478468106, 5 edges, 3 vertices, 4 tuples
20.18/7.31	c 05:36:32.614 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24706. 'extension(x[0][27]=[0‥4], 4) :: init: true :: relation: MDD 339734447, 9 edges, 5 vertices, 6 tuples
20.18/7.31	c 05:36:32.615 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24735. 'extension(x[1][14]=[0‥4], 4) :: init: true :: relation: MDD 1307540790, 9 edges, 5 vertices, 6 tuples
20.18/7.31	c 05:36:32.616 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24766. 'extension(x[1][16]=[0‥4], 4) :: init: true :: relation: MDD 1985362663, 9 edges, 5 vertices, 6 tuples
20.18/7.31	c 05:36:32.617 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24767. 'extension(4, x[3][16]=[0‥4]) :: init: true :: relation: MDD 1985362663, 9 edges, 5 vertices, 6 tuples
20.18/7.31	c 05:36:32.619 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24800. 'extension(4, 4) :: init: true :: relation: MDD 339734447, 9 edges, 5 vertices, 6 tuples
20.18/7.32	c 05:36:32.621 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24828. 'extension(x[2][10]=[0‥4], 4) :: init: true :: relation: MDD 1518022811, 9 edges, 5 vertices, 6 tuples
20.18/7.32	c 05:36:32.622 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24863. 'extension(4, 4) :: init: true :: relation: MDD 1307540790, 9 edges, 5 vertices, 6 tuples
20.18/7.32	c 05:36:32.623 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24892. 'extension(4, x[4][27]=[0‥4]) :: init: true :: relation: MDD 339734447, 9 edges, 5 vertices, 6 tuples
20.18/7.32	c 05:36:32.624 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24895. 'extension(4, 4) :: init: true :: relation: MDD 339734447, 9 edges, 5 vertices, 6 tuples
20.18/7.32	c 05:36:32.625 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24924. 'extension(4, x[5][10]=[0‥4]) :: init: true :: relation: MDD 1518022811, 9 edges, 5 vertices, 6 tuples
20.18/7.32	c 05:36:32.626 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24927. 'extension(4, 4) :: init: true :: relation: MDD 1518022811, 9 edges, 5 vertices, 6 tuples
20.18/7.33	c 05:36:32.628 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24957. 'extension(x[3][13]=[0‥4], 4) :: init: true :: relation: MDD 700171153, 9 edges, 5 vertices, 6 tuples
20.18/7.33	c 05:36:32.629 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24993. 'extension(4, 4) :: init: true :: relation: MDD 1307540790, 9 edges, 5 vertices, 6 tuples
20.18/7.33	c 05:36:32.630 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25023. 'extension(x[3][25]=[0‥4], 4) :: init: true :: relation: MDD 1038892935, 9 edges, 5 vertices, 6 tuples
20.18/7.33	c 05:36:32.630 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25024. 'extension(4, x[5][25]=[0‥4]) :: init: true :: relation: MDD 1038892935, 9 edges, 5 vertices, 6 tuples
20.18/7.33	c 05:36:32.632 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25056. 'extension(x[3][30]=[0‥4], 4) :: init: true :: relation: MDD 3804010, 9 edges, 5 vertices, 6 tuples
20.18/7.33	c 05:36:32.634 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25089. 'extension(4, wk[7][0]=[0‥1]) :: init: true :: relation: MDD 1110014943, 5 edges, 3 vertices, 4 tuples
20.18/7.33	c 05:36:32.634 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25090. 'extension(x[4][7]=[0‥4], 4) :: init: true :: relation: MDD 651828130, 9 edges, 5 vertices, 6 tuples
20.18/7.33	c 05:36:32.635 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25124. 'extension(4, wk[13][0]=[0‥1]) :: init: true :: relation: MDD 1158611509, 5 edges, 3 vertices, 4 tuples
20.18/7.33	c 05:36:32.636 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25128. 'extension(4, 4) :: init: true :: relation: MDD 700171153, 9 edges, 5 vertices, 6 tuples
20.18/7.33	c 05:36:32.637 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25159. 'extension(4, wk[14][0]=[0‥1]) :: init: true :: relation: MDD 1113666007, 5 edges, 3 vertices, 4 tuples
20.18/7.33	c 05:36:32.637 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25163. 'extension(4, 4) :: init: true :: relation: MDD 1307540790, 9 edges, 5 vertices, 6 tuples
20.18/7.33	c 05:36:32.638 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25194. 'extension(4, wk[20][0]=[0‥1]) :: init: true :: relation: MDD 569894199, 5 edges, 3 vertices, 4 tuples
20.18/7.33	c 05:36:32.638 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25195. 'extension(x[4][20]=[0‥4], 4) :: init: true :: relation: MDD 1747862060, 9 edges, 5 vertices, 6 tuples
20.18/7.33	c 05:36:32.639 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25229. 'extension(4, wk[21][0]=[0‥1]) :: init: true :: relation: MDD 507479765, 5 edges, 3 vertices, 4 tuples
20.18/7.33	c 05:36:32.640 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25230. 'extension(x[4][21]=[0‥4], 4) :: init: true :: relation: MDD 1751972013, 9 edges, 5 vertices, 6 tuples
20.18/7.33	c 05:36:32.640 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25231. 'extension(4, x[6][21]=[0‥4]) :: init: true :: relation: MDD 1751972013, 9 edges, 5 vertices, 6 tuples
20.18/7.34	c 05:36:32.642 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25264. 'extension(4, wk[30][0]=[0‥1]) :: init: true :: relation: MDD 768702707, 5 edges, 3 vertices, 4 tuples
20.18/7.34	c 05:36:32.643 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25268. 'extension(4, 4) :: init: true :: relation: MDD 3804010, 9 edges, 5 vertices, 6 tuples
20.18/7.34	c 05:36:32.644 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25298. 'extension(4, wk[5][0]=[0‥1]) :: init: true :: relation: MDD 1148088421, 5 edges, 3 vertices, 4 tuples
20.18/7.34	c 05:36:32.644 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25299. 'extension(x[5][5]=[0‥4], 4) :: init: true :: relation: MDD 431300939, 9 edges, 5 vertices, 6 tuples
20.18/7.34	c 05:36:32.645 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25333. 'extension(4, wk[7][0]=[0‥1]) :: init: true :: relation: MDD 1538855361, 5 edges, 3 vertices, 4 tuples
20.18/7.34	c 05:36:32.646 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25337. 'extension(4, 4) :: init: true :: relation: MDD 651828130, 9 edges, 5 vertices, 6 tuples
20.18/7.35	c 05:36:32.646 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25368. 'extension(4, wk[13][0]=[0‥1]) :: init: true :: relation: MDD 2100073313, 5 edges, 3 vertices, 4 tuples
20.18/7.35	c 05:36:32.647 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25372. 'extension(4, 4) :: init: true :: relation: MDD 700171153, 9 edges, 5 vertices, 6 tuples
20.18/7.35	c 05:36:32.647 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25403. 'extension(4, wk[14][0]=[0‥1]) :: init: true :: relation: MDD 2088661957, 5 edges, 3 vertices, 4 tuples
20.18/7.35	c 05:36:32.648 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25404. 'extension(4, x[7][14]=[0‥4]) :: init: true :: relation: MDD 1307540790, 9 edges, 5 vertices, 6 tuples
20.18/7.35	c 05:36:32.649 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25407. 'extension(4, 4) :: init: true :: relation: MDD 1307540790, 9 edges, 5 vertices, 6 tuples
20.18/7.35	c 05:36:32.650 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25438. 'extension(4, wk[16][0]=[0‥1]) :: init: true :: relation: MDD 1087916281, 5 edges, 3 vertices, 4 tuples
20.18/7.35	c 05:36:32.651 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25439. 'extension(x[5][16]=[0‥4], 4) :: init: true :: relation: MDD 1985362663, 9 edges, 5 vertices, 6 tuples
20.18/7.35	c 05:36:32.652 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25473. 'extension(4, wk[20][0]=[0‥1]) :: init: true :: relation: MDD 1656143941, 5 edges, 3 vertices, 4 tuples
20.18/7.35	c 05:36:32.652 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25477. 'extension(4, 4) :: init: true :: relation: MDD 1747862060, 9 edges, 5 vertices, 6 tuples
20.18/7.35	c 05:36:32.653 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25508. 'extension(4, wk[22][0]=[0‥1]) :: init: true :: relation: MDD 1615669446, 5 edges, 3 vertices, 4 tuples
20.18/7.35	c 05:36:32.653 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25509. 'extension(x[5][22]=[0‥4], 4) :: init: true :: relation: MDD 1416549024, 9 edges, 5 vertices, 6 tuples
20.18/7.35	c 05:36:32.654 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25543. 'extension(4, wk[30][0]=[0‥1]) :: init: true :: relation: MDD 1752223660, 5 edges, 3 vertices, 4 tuples
20.18/7.35	c 05:36:32.655 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25547. 'extension(4, 4) :: init: true :: relation: MDD 3804010, 9 edges, 5 vertices, 6 tuples
20.18/7.35	c 05:36:32.656 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25580. 'extension(4, 4) :: init: true :: relation: MDD 431300939, 9 edges, 5 vertices, 6 tuples
20.18/7.35	c 05:36:32.657 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25611. 'extension(4, x[8][7]=[0‥4]) :: init: true :: relation: MDD 651828130, 9 edges, 5 vertices, 6 tuples
20.18/7.35	c 05:36:32.657 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25614. 'extension(4, 4) :: init: true :: relation: MDD 651828130, 9 edges, 5 vertices, 6 tuples
20.18/7.35	c 05:36:32.659 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25645. 'extension(4, x[8][13]=[0‥4]) :: init: true :: relation: MDD 700171153, 9 edges, 5 vertices, 6 tuples
20.18/7.35	c 05:36:32.659 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25648. 'extension(4, 4) :: init: true :: relation: MDD 700171153, 9 edges, 5 vertices, 6 tuples
20.18/7.35	c 05:36:32.660 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25679. 'extension(4, x[8][16]=[0‥4]) :: init: true :: relation: MDD 1985362663, 9 edges, 5 vertices, 6 tuples
20.18/7.36	c 05:36:32.661 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25682. 'extension(4, 4) :: init: true :: relation: MDD 1985362663, 9 edges, 5 vertices, 6 tuples
20.18/7.36	c 05:36:32.662 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25713. 'extension(4, x[8][20]=[0‥4]) :: init: true :: relation: MDD 1747862060, 9 edges, 5 vertices, 6 tuples
20.18/7.36	c 05:36:32.663 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25716. 'extension(4, 4) :: init: true :: relation: MDD 1747862060, 9 edges, 5 vertices, 6 tuples
20.18/7.36	c 05:36:32.664 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25750. 'extension(4, 4) :: init: true :: relation: MDD 1416549024, 9 edges, 5 vertices, 6 tuples
20.18/7.36	c 05:36:32.665 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25781. 'extension(4, x[8][30]=[0‥4]) :: init: true :: relation: MDD 3804010, 9 edges, 5 vertices, 6 tuples
20.18/7.36	c 05:36:32.665 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25784. 'extension(4, 4) :: init: true :: relation: MDD 3804010, 9 edges, 5 vertices, 6 tuples
20.18/7.36	c 05:36:32.667 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25814. 'extension(4, x[9][5]=[0‥4]) :: init: true :: relation: MDD 431300939, 9 edges, 5 vertices, 6 tuples
20.18/7.36	c 05:36:32.667 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25817. 'extension(4, 4) :: init: true :: relation: MDD 431300939, 9 edges, 5 vertices, 6 tuples
20.18/7.37	c 05:36:32.668 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25848. 'extension(x[7][19]=[0‥4], 4) :: init: true :: relation: MDD 121521031, 9 edges, 5 vertices, 6 tuples
20.18/7.37	c 05:36:32.669 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25885. 'extension(4, 4) :: init: true :: relation: MDD 1416549024, 9 edges, 5 vertices, 6 tuples
20.18/7.37	c 05:36:32.670 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25919. 'extension(4, 4) :: init: true :: relation: MDD 121521031, 9 edges, 5 vertices, 6 tuples
20.18/7.37	c 05:36:32.671 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25953. 'extension(4, 4) :: init: true :: relation: MDD 1416549024, 9 edges, 5 vertices, 6 tuples
20.18/7.37	c 05:36:32.671 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25984. 'extension(x[8][23]=[0‥4], 4) :: init: true :: relation: MDD 426123784, 9 edges, 5 vertices, 6 tuples
20.18/7.37	c 05:36:32.672 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26021. 'extension(4, 4) :: init: true :: relation: MDD 121521031, 9 edges, 5 vertices, 6 tuples
20.18/7.37	c 05:36:32.673 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26052. 'extension(4, x[11][22]=[0‥4]) :: init: true :: relation: MDD 1416549024, 9 edges, 5 vertices, 6 tuples
20.18/7.37	c 05:36:32.673 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26055. 'extension(4, 4) :: init: true :: relation: MDD 1416549024, 9 edges, 5 vertices, 6 tuples
20.18/7.37	c 05:36:32.675 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26089. 'extension(4, 4) :: init: true :: relation: MDD 426123784, 9 edges, 5 vertices, 6 tuples
20.18/7.37	c 05:36:32.675 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26120. 'extension(x[9][26]=[0‥4], 4) :: init: true :: relation: MDD 1499437334, 9 edges, 5 vertices, 6 tuples
20.18/7.37	c 05:36:32.676 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26121. 'extension(4, x[11][26]=[0‥4]) :: init: true :: relation: MDD 1499437334, 9 edges, 5 vertices, 6 tuples
20.18/7.37	c 05:36:32.678 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26154. 'extension(4, x[12][19]=[0‥4]) :: init: true :: relation: MDD 121521031, 9 edges, 5 vertices, 6 tuples
20.18/7.37	c 05:36:32.678 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26157. 'extension(4, 4) :: init: true :: relation: MDD 121521031, 9 edges, 5 vertices, 6 tuples
20.18/7.37	c 05:36:32.679 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26191. 'extension(4, 4) :: init: true :: relation: MDD 426123784, 9 edges, 5 vertices, 6 tuples
20.18/7.37	c 05:36:32.680 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26222. 'extension(4, wk[13][1]=[0‥1]) :: init: true :: relation: MDD 264138968, 5 edges, 3 vertices, 4 tuples
20.18/7.38	c 05:36:32.680 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26223. 'extension(x[11][13]=[0‥4], 4) :: init: true :: relation: MDD 700171153, 9 edges, 5 vertices, 6 tuples
20.18/7.38	c 05:36:32.681 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26224. 'extension(4, x[13][13]=[0‥4]) :: init: true :: relation: MDD 700171153, 9 edges, 5 vertices, 6 tuples
20.18/7.38	c 05:36:32.683 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26257. 'extension(4, wk[23][1]=[0‥1]) :: init: true :: relation: MDD 507575219, 5 edges, 3 vertices, 4 tuples
20.18/7.38	c 05:36:32.683 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26261. 'extension(4, 4) :: init: true :: relation: MDD 426123784, 9 edges, 5 vertices, 6 tuples
20.18/7.38	c 05:36:32.684 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26292. 'extension(4, wk[2][1]=[0‥1]) :: init: true :: relation: MDD 716896919, 5 edges, 3 vertices, 4 tuples
20.18/7.38	c 05:36:32.684 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26293. 'extension(x[12][2]=[0‥4], 4) :: init: true :: relation: MDD 1327714567, 9 edges, 5 vertices, 6 tuples
20.18/7.38	c 05:36:32.685 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26327. 'extension(4, wk[23][1]=[0‥1]) :: init: true :: relation: MDD 165687172, 5 edges, 3 vertices, 4 tuples
20.18/7.39	c 05:36:32.686 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26328. 'extension(4, x[14][23]=[0‥4]) :: init: true :: relation: MDD 426123784, 9 edges, 5 vertices, 6 tuples
20.18/7.39	c 05:36:32.686 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26331. 'extension(4, 4) :: init: true :: relation: MDD 426123784, 9 edges, 5 vertices, 6 tuples
20.18/7.39	c 05:36:32.688 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26362. 'extension(4, x[15][2]=[0‥4]) :: init: true :: relation: MDD 1327714567, 9 edges, 5 vertices, 6 tuples
20.18/7.39	c 05:36:32.688 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26365. 'extension(4, 4) :: init: true :: relation: MDD 1327714567, 9 edges, 5 vertices, 6 tuples
20.18/7.39	c 05:36:32.690 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26396. 'extension(x[13][6]=[0‥4], 4) :: init: true :: relation: MDD 322100932, 9 edges, 5 vertices, 6 tuples
20.18/7.39	c 05:36:32.691 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26433. 'extension(4, 4) :: init: true :: relation: MDD 322100932, 9 edges, 5 vertices, 6 tuples
20.18/7.39	c 05:36:32.691 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26464. 'extension(x[14][7]=[0‥4], 4) :: init: true :: relation: MDD 651828130, 9 edges, 5 vertices, 6 tuples
20.18/7.39	c 05:36:32.692 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26465. 'extension(4, x[16][7]=[0‥4]) :: init: true :: relation: MDD 651828130, 9 edges, 5 vertices, 6 tuples
20.18/7.39	c 05:36:32.693 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26498. 'extension(x[14][10]=[0‥4], 4) :: init: true :: relation: MDD 1518022811, 9 edges, 5 vertices, 6 tuples
20.18/7.39	c 05:36:32.694 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26499. 'extension(4, x[16][10]=[0‥4]) :: init: true :: relation: MDD 1518022811, 9 edges, 5 vertices, 6 tuples
20.18/7.39	c 05:36:32.696 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26532. 'extension(4, x[17][6]=[0‥4]) :: init: true :: relation: MDD 322100932, 9 edges, 5 vertices, 6 tuples
20.18/7.39	c 05:36:32.696 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26535. 'extension(4, 4) :: init: true :: relation: MDD 322100932, 9 edges, 5 vertices, 6 tuples
20.18/7.39	c 05:36:32.698 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26566. 'extension(x[17][9]=[0‥4], 4) :: init: true :: relation: MDD 1560244891, 9 edges, 5 vertices, 6 tuples
20.18/7.39	c 05:36:32.699 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26600. 'extension(4, wk[4][2]=[0‥1]) :: init: true :: relation: MDD 1379186202, 5 edges, 3 vertices, 4 tuples
20.18/7.39	c 05:36:32.699 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26601. 'extension(x[18][4]=[0‥4], 4) :: init: true :: relation: MDD 1820545559, 9 edges, 5 vertices, 6 tuples
20.18/7.39	c 05:36:32.700 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26635. 'extension(4, wk[8][2]=[0‥1]) :: init: true :: relation: MDD 167670282, 5 edges, 3 vertices, 4 tuples
20.18/7.39	c 05:36:32.700 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26636. 'extension(x[18][8]=[0‥4], 4) :: init: true :: relation: MDD 683211146, 9 edges, 5 vertices, 6 tuples
20.18/7.39	c 05:36:32.701 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26670. 'extension(4, wk[9][2]=[0‥1]) :: init: true :: relation: MDD 2032547119, 5 edges, 3 vertices, 4 tuples
20.18/7.40	c 05:36:32.701 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26674. 'extension(4, 4) :: init: true :: relation: MDD 1560244891, 9 edges, 5 vertices, 6 tuples
20.18/7.40	c 05:36:32.702 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26705. 'extension(4, wk[4][2]=[0‥1]) :: init: true :: relation: MDD 1422140849, 5 edges, 3 vertices, 4 tuples
20.52/7.40	c 05:36:32.702 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26706. 'extension(4, x[21][4]=[0‥4]) :: init: true :: relation: MDD 1820545559, 9 edges, 5 vertices, 6 tuples
20.52/7.40	c 05:36:32.703 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26709. 'extension(4, 4) :: init: true :: relation: MDD 1820545559, 9 edges, 5 vertices, 6 tuples
20.52/7.40	c 05:36:32.704 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26740. 'extension(4, wk[8][2]=[0‥1]) :: init: true :: relation: MDD 294309744, 5 edges, 3 vertices, 4 tuples
20.52/7.40	c 05:36:32.704 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26744. 'extension(4, 4) :: init: true :: relation: MDD 683211146, 9 edges, 5 vertices, 6 tuples
20.52/7.40	c 05:36:32.704 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26775. 'extension(4, wk[9][2]=[0‥1]) :: init: true :: relation: MDD 1627618479, 5 edges, 3 vertices, 4 tuples
20.52/7.40	c 05:36:32.705 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26779. 'extension(4, 4) :: init: true :: relation: MDD 1560244891, 9 edges, 5 vertices, 6 tuples
20.52/7.40	c 05:36:32.705 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26810. 'extension(4, wk[12][2]=[0‥1]) :: init: true :: relation: MDD 832648870, 5 edges, 3 vertices, 4 tuples
20.52/7.40	c 05:36:32.705 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26811. 'extension(x[19][12]=[0‥4], 4) :: init: true :: relation: MDD 1041552272, 9 edges, 5 vertices, 6 tuples
20.52/7.40	c 05:36:32.706 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26845. 'extension(4, wk[19][2]=[0‥1]) :: init: true :: relation: MDD 1622534157, 5 edges, 3 vertices, 4 tuples
20.52/7.40	c 05:36:32.706 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26846. 'extension(x[19][19]=[0‥4], 4) :: init: true :: relation: MDD 121521031, 9 edges, 5 vertices, 6 tuples
20.52/7.40	c 05:36:32.707 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26847. 'extension(4, x[21][19]=[0‥4]) :: init: true :: relation: MDD 121521031, 9 edges, 5 vertices, 6 tuples
20.52/7.40	c 05:36:32.709 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26880. 'extension(4, x[22][8]=[0‥4]) :: init: true :: relation: MDD 683211146, 9 edges, 5 vertices, 6 tuples
20.52/7.40	c 05:36:32.709 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26883. 'extension(4, 4) :: init: true :: relation: MDD 683211146, 9 edges, 5 vertices, 6 tuples
20.52/7.40	c 05:36:32.710 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26914. 'extension(4, x[22][9]=[0‥4]) :: init: true :: relation: MDD 1560244891, 9 edges, 5 vertices, 6 tuples
20.52/7.41	c 05:36:32.711 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26917. 'extension(4, 4) :: init: true :: relation: MDD 1560244891, 9 edges, 5 vertices, 6 tuples
20.52/7.41	c 05:36:32.712 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26948. 'extension(4, x[22][12]=[0‥4]) :: init: true :: relation: MDD 1041552272, 9 edges, 5 vertices, 6 tuples
20.52/7.41	c 05:36:32.712 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26951. 'extension(4, 4) :: init: true :: relation: MDD 1041552272, 9 edges, 5 vertices, 6 tuples
20.52/7.41	c 05:36:32.713 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26982. 'extension(x[20][18]=[0‥4], 4) :: init: true :: relation: MDD 1746061516, 9 edges, 5 vertices, 6 tuples
20.52/7.41	c 05:36:32.714 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27019. 'extension(4, 4) :: init: true :: relation: MDD 1746061516, 9 edges, 5 vertices, 6 tuples
20.52/7.41	c 05:36:32.715 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27050. 'extension(x[21][25]=[0‥4], 4) :: init: true :: relation: MDD 1038892935, 9 edges, 5 vertices, 6 tuples
20.52/7.41	c 05:36:32.715 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27051. 'extension(4, x[23][25]=[0‥4]) :: init: true :: relation: MDD 1038892935, 9 edges, 5 vertices, 6 tuples
20.52/7.41	c 05:36:32.717 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27084. 'extension(4, x[24][18]=[0‥4]) :: init: true :: relation: MDD 1746061516, 9 edges, 5 vertices, 6 tuples
20.52/7.41	c 05:36:32.717 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27087. 'extension(4, 4) :: init: true :: relation: MDD 1746061516, 9 edges, 5 vertices, 6 tuples
20.52/7.41	c 05:36:32.719 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27118. 'extension(x[23][0]=[0‥4], 4) :: init: true :: relation: MDD 1512759723, 9 edges, 5 vertices, 6 tuples
20.52/7.41	c 05:36:32.719 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27152. 'extension(x[23][9]=[0‥4], 4) :: init: true :: relation: MDD 1560244891, 9 edges, 5 vertices, 6 tuples
20.52/7.41	c 05:36:32.720 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27153. 'extension(4, x[25][9]=[0‥4]) :: init: true :: relation: MDD 1560244891, 9 edges, 5 vertices, 6 tuples
20.52/7.42	c 05:36:32.726 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27186. 'extension(x[23][24]=[0‥4], 4) :: init: true :: relation: MDD 154923232, 9 edges, 5 vertices, 6 tuples
20.52/7.42	c 05:36:32.727 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27220. 'extension(4, x[26][0]=[0‥4]) :: init: true :: relation: MDD 1512759723, 9 edges, 5 vertices, 6 tuples
20.52/7.42	c 05:36:32.728 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27223. 'extension(4, 4) :: init: true :: relation: MDD 1512759723, 9 edges, 5 vertices, 6 tuples
20.52/7.42	c 05:36:32.729 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27254. 'extension(x[24][1]=[0‥4], 4) :: init: true :: relation: MDD 556773329, 9 edges, 5 vertices, 6 tuples
20.52/7.42	c 05:36:32.729 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27255. 'extension(4, x[26][1]=[0‥4]) :: init: true :: relation: MDD 556773329, 9 edges, 5 vertices, 6 tuples
20.52/7.43	c 05:36:32.731 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27291. 'extension(4, 4) :: init: true :: relation: MDD 154923232, 9 edges, 5 vertices, 6 tuples
20.52/7.43	c 05:36:32.731 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27322. 'extension(x[24][26]=[0‥4], 4) :: init: true :: relation: MDD 1499437334, 9 edges, 5 vertices, 6 tuples
20.52/7.43	c 05:36:32.732 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27356. 'extension(x[24][29]=[0‥4], 4) :: init: true :: relation: MDD 1343407473, 9 edges, 5 vertices, 6 tuples
20.52/7.43	c 05:36:32.733 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27390. 'extension(4, wk[24][3]=[0‥1]) :: init: true :: relation: MDD 1012194796, 5 edges, 3 vertices, 4 tuples
20.52/7.43	c 05:36:32.733 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27394. 'extension(4, 4) :: init: true :: relation: MDD 154923232, 9 edges, 5 vertices, 6 tuples
20.52/7.43	c 05:36:32.734 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27425. 'extension(4, wk[26][3]=[0‥1]) :: init: true :: relation: MDD 1361755941, 5 edges, 3 vertices, 4 tuples
20.52/7.43	c 05:36:32.734 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27429. 'extension(4, 4) :: init: true :: relation: MDD 1499437334, 9 edges, 5 vertices, 6 tuples
20.52/7.43	c 05:36:32.735 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27460. 'extension(4, wk[29][3]=[0‥1]) :: init: true :: relation: MDD 935818862, 5 edges, 3 vertices, 4 tuples
20.52/7.43	c 05:36:32.735 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27461. 'extension(4, x[27][29]=[0‥4]) :: init: true :: relation: MDD 1343407473, 9 edges, 5 vertices, 6 tuples
20.52/7.43	c 05:36:32.735 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27464. 'extension(4, 4) :: init: true :: relation: MDD 1343407473, 9 edges, 5 vertices, 6 tuples
20.52/7.43	c 05:36:32.737 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27495. 'extension(4, wk[11][3]=[0‥1]) :: init: true :: relation: MDD 1434741143, 5 edges, 3 vertices, 4 tuples
20.52/7.43	c 05:36:32.737 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27496. 'extension(x[26][11]=[0‥4], 4) :: init: true :: relation: MDD 918584437, 9 edges, 5 vertices, 6 tuples
20.52/7.43	c 05:36:32.738 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27530. 'extension(4, wk[24][3]=[0‥1]) :: init: true :: relation: MDD 5181771, 5 edges, 3 vertices, 4 tuples
20.52/7.43	c 05:36:32.738 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27534. 'extension(4, 4) :: init: true :: relation: MDD 154923232, 9 edges, 5 vertices, 6 tuples
20.52/7.43	c 05:36:32.738 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27565. 'extension(4, wk[26][3]=[0‥1]) :: init: true :: relation: MDD 1829651877, 5 edges, 3 vertices, 4 tuples
20.52/7.43	c 05:36:32.739 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27566. 'extension(4, x[28][26]=[0‥4]) :: init: true :: relation: MDD 1499437334, 9 edges, 5 vertices, 6 tuples
20.52/7.43	c 05:36:32.739 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27569. 'extension(4, 4) :: init: true :: relation: MDD 1499437334, 9 edges, 5 vertices, 6 tuples
20.52/7.43	c 05:36:32.740 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27600. 'extension(4, wk[31][3]=[0‥1]) :: init: true :: relation: MDD 1791253516, 5 edges, 3 vertices, 4 tuples
20.52/7.45	c 05:36:32.740 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27601. 'extension(x[26][31]=[0‥4], 4) :: init: true :: relation: MDD 1387948122, 9 edges, 5 vertices, 6 tuples
20.52/7.45	c 05:36:32.741 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27637. 'extension(4, 4) :: init: true :: relation: MDD 918584437, 9 edges, 5 vertices, 6 tuples
20.52/7.45	c 05:36:32.742 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27668. 'extension(4, x[29][24]=[0‥4]) :: init: true :: relation: MDD 154923232, 9 edges, 5 vertices, 6 tuples
20.52/7.45	c 05:36:32.742 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27671. 'extension(4, 4) :: init: true :: relation: MDD 154923232, 9 edges, 5 vertices, 6 tuples
20.52/7.45	c 05:36:32.743 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27705. 'extension(4, 4) :: init: true :: relation: MDD 1387948122, 9 edges, 5 vertices, 6 tuples
20.52/7.45	c 05:36:32.744 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27738. 'extension(4, 4) :: init: true :: relation: MDD 918584437, 9 edges, 5 vertices, 6 tuples
20.52/7.45	c 05:36:32.745 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27769. 'extension(x[28][21]=[0‥4], 4) :: init: true :: relation: MDD 1751972013, 9 edges, 5 vertices, 6 tuples
20.52/7.45	c 05:36:32.745 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27803. 'extension(4, x[30][31]=[0‥4]) :: init: true :: relation: MDD 1387948122, 9 edges, 5 vertices, 6 tuples
20.52/7.45	c 05:36:32.746 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27806. 'extension(4, 4) :: init: true :: relation: MDD 1387948122, 9 edges, 5 vertices, 6 tuples
20.52/7.45	c 05:36:32.747 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27836. 'extension(4, x[31][11]=[0‥4]) :: init: true :: relation: MDD 918584437, 9 edges, 5 vertices, 6 tuples
20.52/7.45	c 05:36:32.748 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27839. 'extension(4, 4) :: init: true :: relation: MDD 918584437, 9 edges, 5 vertices, 6 tuples
20.52/7.45	c 05:36:32.748 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27873. 'extension(4, 4) :: init: true :: relation: MDD 1751972013, 9 edges, 5 vertices, 6 tuples
20.52/7.45	c 05:36:32.749 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27904. 'extension(x[30][4]=[0‥4], 4) :: init: true :: relation: MDD 1820545559, 9 edges, 5 vertices, 6 tuples
20.52/7.45	c 05:36:32.750 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27938. 'extension(x[30][15]=[0‥4], 4) :: init: true :: relation: MDD 394645908, 9 edges, 5 vertices, 6 tuples
20.52/7.45	c 05:36:32.750 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27939. 'extension(4, x[32][15]=[0‥4]) :: init: true :: relation: MDD 394645908, 9 edges, 5 vertices, 6 tuples
20.52/7.45	c 05:36:32.751 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27975. 'extension(4, 4) :: init: true :: relation: MDD 1751972013, 9 edges, 5 vertices, 6 tuples
20.52/7.45	c 05:36:32.752 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28006. 'extension(4, x[33][4]=[0‥4]) :: init: true :: relation: MDD 1820545559, 9 edges, 5 vertices, 6 tuples
20.52/7.45	c 05:36:32.753 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28009. 'extension(4, 4) :: init: true :: relation: MDD 1820545559, 9 edges, 5 vertices, 6 tuples
20.52/7.45	c 05:36:32.754 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28040. 'extension(4, x[33][21]=[0‥4]) :: init: true :: relation: MDD 1751972013, 9 edges, 5 vertices, 6 tuples
20.52/7.45	c 05:36:32.754 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28043. 'extension(4, 4) :: init: true :: relation: MDD 1751972013, 9 edges, 5 vertices, 6 tuples
20.52/7.45	c 05:36:32.755 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28074. 'extension(x[31][28]=[0‥4], 4) :: init: true :: relation: MDD 883349979, 9 edges, 5 vertices, 6 tuples
20.52/7.45	c 05:36:32.756 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28108. 'extension(4, wk[5][4]=[0‥1]) :: init: true :: relation: MDD 1906635841, 5 edges, 3 vertices, 4 tuples
20.52/7.45	c 05:36:32.756 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28109. 'extension(x[32][5]=[0‥4], 4) :: init: true :: relation: MDD 431300939, 9 edges, 5 vertices, 6 tuples
20.52/7.45	c 05:36:32.757 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28110. 'extension(4, x[34][5]=[0‥4]) :: init: true :: relation: MDD 431300939, 9 edges, 5 vertices, 6 tuples
20.52/7.45	c 05:36:32.758 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28143. 'extension(4, wk[28][4]=[0‥1]) :: init: true :: relation: MDD 1351275110, 5 edges, 3 vertices, 4 tuples
20.52/7.45	c 05:36:32.758 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28147. 'extension(4, 4) :: init: true :: relation: MDD 883349979, 9 edges, 5 vertices, 6 tuples
20.52/7.45	c 05:36:32.759 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28178. 'extension(4, wk[3][4]=[0‥1]) :: init: true :: relation: MDD 1372238985, 5 edges, 3 vertices, 4 tuples
20.52/7.45	c 05:36:32.759 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28179. 'extension(x[33][3]=[0‥4], 4) :: init: true :: relation: MDD 725873428, 9 edges, 5 vertices, 6 tuples
20.52/7.45	c 05:36:32.760 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28213. 'extension(4, wk[7][4]=[0‥1]) :: init: true :: relation: MDD 1725062057, 5 edges, 3 vertices, 4 tuples
20.52/7.46	c 05:36:32.760 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28214. 'extension(x[33][7]=[0‥4], 4) :: init: true :: relation: MDD 651828130, 9 edges, 5 vertices, 6 tuples
20.52/7.46	c 05:36:32.761 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28215. 'extension(4, x[35][7]=[0‥4]) :: init: true :: relation: MDD 651828130, 9 edges, 5 vertices, 6 tuples
20.52/7.46	c 05:36:32.762 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28248. 'extension(4, wk[28][4]=[0‥1]) :: init: true :: relation: MDD 560165559, 5 edges, 3 vertices, 4 tuples
20.52/7.46	c 05:36:32.763 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28252. 'extension(4, 4) :: init: true :: relation: MDD 883349979, 9 edges, 5 vertices, 6 tuples
20.52/7.46	c 05:36:32.763 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28283. 'extension(4, wk[30][4]=[0‥1]) :: init: true :: relation: MDD 2097992252, 5 edges, 3 vertices, 4 tuples
20.52/7.46	c 05:36:32.763 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28284. 'extension(x[33][30]=[0‥4], 4) :: init: true :: relation: MDD 3804010, 9 edges, 5 vertices, 6 tuples
20.52/7.46	c 05:36:32.763 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28285. 'extension(4, x[35][30]=[0‥4]) :: init: true :: relation: MDD 3804010, 9 edges, 5 vertices, 6 tuples
20.52/7.47	c 05:36:32.766 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28317. 'extension(x[34][0]=[0‥4], 4) :: init: true :: relation: MDD 1512759723, 9 edges, 5 vertices, 6 tuples
20.52/7.47	c 05:36:32.767 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28354. 'extension(4, 4) :: init: true :: relation: MDD 725873428, 9 edges, 5 vertices, 6 tuples
20.52/7.47	c 05:36:32.767 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28385. 'extension(x[34][26]=[0‥4], 4) :: init: true :: relation: MDD 1499437334, 9 edges, 5 vertices, 6 tuples
20.52/7.47	c 05:36:32.767 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28386. 'extension(4, x[36][26]=[0‥4]) :: init: true :: relation: MDD 1499437334, 9 edges, 5 vertices, 6 tuples
20.52/7.47	c 05:36:32.769 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28422. 'extension(4, 4) :: init: true :: relation: MDD 883349979, 9 edges, 5 vertices, 6 tuples
20.52/7.47	c 05:36:32.770 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28456. 'extension(4, 4) :: init: true :: relation: MDD 1512759723, 9 edges, 5 vertices, 6 tuples
20.52/7.47	c 05:36:32.770 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28490. 'extension(4, 4) :: init: true :: relation: MDD 725873428, 9 edges, 5 vertices, 6 tuples
20.52/7.47	c 05:36:32.770 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28521. 'extension(4, x[37][28]=[0‥4]) :: init: true :: relation: MDD 883349979, 9 edges, 5 vertices, 6 tuples
20.52/7.47	c 05:36:32.771 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28524. 'extension(4, 4) :: init: true :: relation: MDD 883349979, 9 edges, 5 vertices, 6 tuples
20.52/7.47	c 05:36:32.772 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28555. 'extension(4, x[38][0]=[0‥4]) :: init: true :: relation: MDD 1512759723, 9 edges, 5 vertices, 6 tuples
20.52/7.47	c 05:36:32.773 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28558. 'extension(4, 4) :: init: true :: relation: MDD 1512759723, 9 edges, 5 vertices, 6 tuples
20.52/7.47	c 05:36:32.774 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28592. 'extension(4, 4) :: init: true :: relation: MDD 725873428, 9 edges, 5 vertices, 6 tuples
20.52/7.47	c 05:36:32.774 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28623. 'extension(x[36][18]=[0‥4], 4) :: init: true :: relation: MDD 1746061516, 9 edges, 5 vertices, 6 tuples
20.52/7.47	c 05:36:32.775 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28657. 'extension(x[37][2]=[0‥4], 4) :: init: true :: relation: MDD 1327714567, 9 edges, 5 vertices, 6 tuples
20.52/7.47	c 05:36:32.776 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28658. 'extension(4, x[39][2]=[0‥4]) :: init: true :: relation: MDD 1327714567, 9 edges, 5 vertices, 6 tuples
20.52/7.47	c 05:36:32.777 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28691. 'extension(4, x[39][3]=[0‥4]) :: init: true :: relation: MDD 725873428, 9 edges, 5 vertices, 6 tuples
20.52/7.47	c 05:36:32.777 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28694. 'extension(4, 4) :: init: true :: relation: MDD 725873428, 9 edges, 5 vertices, 6 tuples
20.52/7.47	c 05:36:32.778 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28725. 'extension(4, x[39][18]=[0‥4]) :: init: true :: relation: MDD 1746061516, 9 edges, 5 vertices, 6 tuples
20.52/7.47	c 05:36:32.779 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28728. 'extension(4, 4) :: init: true :: relation: MDD 1746061516, 9 edges, 5 vertices, 6 tuples
20.52/7.47	c 05:36:32.780 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28759. 'extension(x[38][1]=[0‥4], 4) :: init: true :: relation: MDD 556773329, 9 edges, 5 vertices, 6 tuples
20.52/7.47	c 05:36:32.781 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28760. 'extension(4, x[40][1]=[0‥4]) :: init: true :: relation: MDD 556773329, 9 edges, 5 vertices, 6 tuples
20.52/7.48	c 05:36:32.782 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28793. 'extension(4, wk[11][5]=[0‥1]) :: init: true :: relation: MDD 922150177, 5 edges, 3 vertices, 4 tuples
20.52/7.48	c 05:36:32.783 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28794. 'extension(x[39][11]=[0‥4], 4) :: init: true :: relation: MDD 918584437, 9 edges, 5 vertices, 6 tuples
20.52/7.48	c 05:36:32.783 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28795. 'extension(4, x[41][11]=[0‥4]) :: init: true :: relation: MDD 918584437, 9 edges, 5 vertices, 6 tuples
20.52/7.48	c 05:36:32.784 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28828. 'extension(4, wk[29][5]=[0‥1]) :: init: true :: relation: MDD 12302064, 5 edges, 3 vertices, 4 tuples
20.52/7.48	c 05:36:32.785 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28829. 'extension(x[39][29]=[0‥4], 4) :: init: true :: relation: MDD 1343407473, 9 edges, 5 vertices, 6 tuples
20.52/7.48	c 05:36:32.786 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28863. 'extension(4, wk[10][5]=[0‥1]) :: init: true :: relation: MDD 410033330, 5 edges, 3 vertices, 4 tuples
20.52/7.48	c 05:36:32.786 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28864. 'extension(x[40][10]=[0‥4], 4) :: init: true :: relation: MDD 1518022811, 9 edges, 5 vertices, 6 tuples
20.52/7.48	c 05:36:32.787 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28898. 'extension(4, wk[20][5]=[0‥1]) :: init: true :: relation: MDD 1278790934, 5 edges, 3 vertices, 4 tuples
20.52/7.48	c 05:36:32.787 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28899. 'extension(x[40][20]=[0‥4], 4) :: init: true :: relation: MDD 1747862060, 9 edges, 5 vertices, 6 tuples
20.52/7.48	c 05:36:32.787 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28933. 'extension(4, wk[25][5]=[0‥1]) :: init: true :: relation: MDD 605244604, 5 edges, 3 vertices, 4 tuples
20.52/7.48	c 05:36:32.788 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28934. 'extension(x[40][25]=[0‥4], 4) :: init: true :: relation: MDD 1038892935, 9 edges, 5 vertices, 6 tuples
20.52/7.48	c 05:36:32.788 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28968. 'extension(4, wk[29][5]=[0‥1]) :: init: true :: relation: MDD 735639515, 5 edges, 3 vertices, 4 tuples
20.52/7.49	c 05:36:32.788 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28972. 'extension(4, 4) :: init: true :: relation: MDD 1343407473, 9 edges, 5 vertices, 6 tuples
20.52/7.49	c 05:36:32.789 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29003. 'extension(4, x[43][10]=[0‥4]) :: init: true :: relation: MDD 1518022811, 9 edges, 5 vertices, 6 tuples
20.52/7.49	c 05:36:32.790 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29006. 'extension(4, 4) :: init: true :: relation: MDD 1518022811, 9 edges, 5 vertices, 6 tuples
20.52/7.49	c 05:36:32.791 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29037. 'extension(4, x[43][20]=[0‥4]) :: init: true :: relation: MDD 1747862060, 9 edges, 5 vertices, 6 tuples
20.52/7.49	c 05:36:32.791 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29040. 'extension(4, 4) :: init: true :: relation: MDD 1747862060, 9 edges, 5 vertices, 6 tuples
20.52/7.49	c 05:36:32.792 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29074. 'extension(4, 4) :: init: true :: relation: MDD 1038892935, 9 edges, 5 vertices, 6 tuples
20.52/7.49	c 05:36:32.793 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29105. 'extension(4, x[43][29]=[0‥4]) :: init: true :: relation: MDD 1343407473, 9 edges, 5 vertices, 6 tuples
20.52/7.49	c 05:36:32.793 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29108. 'extension(4, 4) :: init: true :: relation: MDD 1343407473, 9 edges, 5 vertices, 6 tuples
20.52/7.49	c 05:36:32.795 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29139. 'extension(x[42][6]=[0‥4], 4) :: init: true :: relation: MDD 322100932, 9 edges, 5 vertices, 6 tuples
20.52/7.49	c 05:36:32.795 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29173. 'extension(x[42][16]=[0‥4], 4) :: init: true :: relation: MDD 1985362663, 9 edges, 5 vertices, 6 tuples
20.52/7.49	c 05:36:32.796 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29207. 'extension(4, x[44][25]=[0‥4]) :: init: true :: relation: MDD 1038892935, 9 edges, 5 vertices, 6 tuples
20.52/7.49	c 05:36:32.796 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29210. 'extension(4, 4) :: init: true :: relation: MDD 1038892935, 9 edges, 5 vertices, 6 tuples
20.52/7.49	c 05:36:32.798 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29241. 'extension(4, x[45][6]=[0‥4]) :: init: true :: relation: MDD 322100932, 9 edges, 5 vertices, 6 tuples
20.52/7.49	c 05:36:32.798 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29244. 'extension(4, 4) :: init: true :: relation: MDD 322100932, 9 edges, 5 vertices, 6 tuples
20.52/7.49	c 05:36:32.799 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29275. 'extension(x[43][15]=[0‥4], 4) :: init: true :: relation: MDD 394645908, 9 edges, 5 vertices, 6 tuples
20.52/7.49	c 05:36:32.800 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29309. 'extension(4, x[45][16]=[0‥4]) :: init: true :: relation: MDD 1985362663, 9 edges, 5 vertices, 6 tuples
20.52/7.49	c 05:36:32.800 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29312. 'extension(4, 4) :: init: true :: relation: MDD 1985362663, 9 edges, 5 vertices, 6 tuples
20.52/7.50	c 05:36:32.802 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29346. 'extension(4, 4) :: init: true :: relation: MDD 394645908, 9 edges, 5 vertices, 6 tuples
20.84/7.50	c 05:36:32.803 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29380. 'extension(4, 4) :: init: true :: relation: MDD 394645908, 9 edges, 5 vertices, 6 tuples
20.84/7.50	c 05:36:32.804 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29411. 'extension(4, wk[15][6]=[0‥1]) :: init: true :: relation: MDD 994084545, 5 edges, 3 vertices, 4 tuples
20.84/7.50	c 05:36:32.804 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29412. 'extension(4, x[48][15]=[0‥4]) :: init: true :: relation: MDD 394645908, 9 edges, 5 vertices, 6 tuples
20.84/7.50	c 05:36:32.804 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29415. 'extension(4, 4) :: init: true :: relation: MDD 394645908, 9 edges, 5 vertices, 6 tuples
20.84/7.50	c 05:36:32.806 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29446. 'extension(4, wk[4][6]=[0‥1]) :: init: true :: relation: MDD 1336437944, 5 edges, 3 vertices, 4 tuples
20.84/7.50	c 05:36:32.806 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29447. 'extension(x[47][4]=[0‥4], 4) :: init: true :: relation: MDD 1820545559, 9 edges, 5 vertices, 6 tuples
20.84/7.50	c 05:36:32.806 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29448. 'extension(4, x[49][4]=[0‥4]) :: init: true :: relation: MDD 1820545559, 9 edges, 5 vertices, 6 tuples
20.84/7.50	c 05:36:32.808 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29481. 'extension(4, wk[8][6]=[0‥1]) :: init: true :: relation: MDD 837790893, 5 edges, 3 vertices, 4 tuples
20.84/7.51	c 05:36:32.808 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29482. 'extension(x[47][8]=[0‥4], 4) :: init: true :: relation: MDD 683211146, 9 edges, 5 vertices, 6 tuples
20.84/7.51	c 05:36:32.809 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29516. 'extension(4, wk[17][6]=[0‥1]) :: init: true :: relation: MDD 1510333744, 5 edges, 3 vertices, 4 tuples
20.84/7.51	c 05:36:32.809 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29517. 'extension(x[47][17]=[0‥4], 4) :: init: true :: relation: MDD 1978141335, 9 edges, 5 vertices, 6 tuples
20.84/7.51	c 05:36:32.810 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29551. 'extension(x[48][2]=[0‥4], 4) :: init: true :: relation: MDD 1327714567, 9 edges, 5 vertices, 6 tuples
20.84/7.51	c 05:36:32.811 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29585. 'extension(4, x[50][8]=[0‥4]) :: init: true :: relation: MDD 683211146, 9 edges, 5 vertices, 6 tuples
20.84/7.51	c 05:36:32.811 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29588. 'extension(4, 4) :: init: true :: relation: MDD 683211146, 9 edges, 5 vertices, 6 tuples
20.84/7.51	c 05:36:32.812 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29622. 'extension(4, 4) :: init: true :: relation: MDD 1978141335, 9 edges, 5 vertices, 6 tuples
20.84/7.51	c 05:36:32.813 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29653. 'extension(4, x[51][2]=[0‥4]) :: init: true :: relation: MDD 1327714567, 9 edges, 5 vertices, 6 tuples
20.84/7.51	c 05:36:32.814 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29656. 'extension(4, 4) :: init: true :: relation: MDD 1327714567, 9 edges, 5 vertices, 6 tuples
20.84/7.51	c 05:36:32.815 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29690. 'extension(4, 4) :: init: true :: relation: MDD 1978141335, 9 edges, 5 vertices, 6 tuples
20.84/7.51	c 05:36:32.816 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29724. 'extension(4, 4) :: init: true :: relation: MDD 1978141335, 9 edges, 5 vertices, 6 tuples
20.84/7.51	c 05:36:32.816 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29754. 'extension(x[51][1]=[0‥4], 4) :: init: true :: relation: MDD 556773329, 9 edges, 5 vertices, 6 tuples
20.84/7.51	c 05:36:32.817 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29755. 'extension(4, x[53][1]=[0‥4]) :: init: true :: relation: MDD 556773329, 9 edges, 5 vertices, 6 tuples
20.84/7.51	c 05:36:32.818 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29786. 'extension(x[51][12]=[0‥4], 4) :: init: true :: relation: MDD 1041552272, 9 edges, 5 vertices, 6 tuples
20.84/7.51	c 05:36:32.819 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29818. 'extension(4, x[53][17]=[0‥4]) :: init: true :: relation: MDD 1978141335, 9 edges, 5 vertices, 6 tuples
20.84/7.51	c 05:36:32.819 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29821. 'extension(4, 4) :: init: true :: relation: MDD 1978141335, 9 edges, 5 vertices, 6 tuples
20.84/7.51	c 05:36:32.820 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29850. 'extension(x[51][31]=[0‥4], 4) :: init: true :: relation: MDD 1387948122, 9 edges, 5 vertices, 6 tuples
20.84/7.52	c 05:36:32.821 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29882. 'extension(x[52][5]=[0‥4], 4) :: init: true :: relation: MDD 431300939, 9 edges, 5 vertices, 6 tuples
20.84/7.52	c 05:36:32.821 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29883. 'extension(4, x[54][5]=[0‥4]) :: init: true :: relation: MDD 431300939, 9 edges, 5 vertices, 6 tuples
20.84/7.52	c 05:36:32.823 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29916. 'extension(4, 4) :: init: true :: relation: MDD 1041552272, 9 edges, 5 vertices, 6 tuples
20.84/7.52	c 05:36:32.823 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29944. 'extension(x[52][27]=[0‥4], 4) :: init: true :: relation: MDD 339734447, 9 edges, 5 vertices, 6 tuples
20.84/7.52	c 05:36:32.824 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29975. 'extension(4, x[54][31]=[0‥4]) :: init: true :: relation: MDD 1387948122, 9 edges, 5 vertices, 6 tuples
20.84/7.52	c 05:36:32.824 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29978. 'extension(4, 4) :: init: true :: relation: MDD 1387948122, 9 edges, 5 vertices, 6 tuples
20.84/7.52	c 05:36:32.826 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30006. 'extension(4, wk[12][7]=[0‥1]) :: init: true :: relation: MDD 214560653, 5 edges, 3 vertices, 4 tuples
20.84/7.52	c 05:36:32.826 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30007. 'extension(4, x[55][12]=[0‥4]) :: init: true :: relation: MDD 1041552272, 9 edges, 5 vertices, 6 tuples
20.84/7.52	c 05:36:32.826 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30009. 'extension(4, 4) :: init: true :: relation: MDD 1041552272, 9 edges, 5 vertices, 6 tuples
20.84/7.52	c 05:36:32.827 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30036. 'extension(4, wk[27][7]=[0‥1]) :: init: true :: relation: MDD 383005108, 5 edges, 3 vertices, 4 tuples
20.84/7.52	c 05:36:32.827 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30037. 'extension(4, x[55][27]=[0‥4]) :: init: true :: relation: MDD 339734447, 9 edges, 5 vertices, 6 tuples
20.84/7.52	c 05:36:32.828 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30039. 'extension(4, 4) :: init: true :: relation: MDD 339734447, 9 edges, 5 vertices, 6 tuples
20.84/7.53	c 05:36:32.836 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30131. 'extension(x[2][1]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.53	c 05:36:32.837 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30141. 'extension(x[0][27]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.53	c 05:36:32.837 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30145. 'extension(x[1][14]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.53	c 05:36:32.838 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30151. 'extension(x[1][16]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.53	c 05:36:32.838 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30153. 'extension(x[3][16]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.53	c 05:36:32.839 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30171. 'extension(x[2][10]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.53	c 05:36:32.839 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30181. 'extension(x[4][27]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.53	c 05:36:32.840 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30191. 'extension(x[5][10]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.53	c 05:36:32.840 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30205. 'extension(x[3][13]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.53	c 05:36:32.841 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30211. 'extension(x[3][25]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.54	c 05:36:32.841 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30213. 'extension(x[5][25]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.54	c 05:36:32.842 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30227. 'extension(x[3][30]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.54	c 05:36:32.842 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30233. 'extension(wk[7][0]=[0‥1]) :: init: true :: relation: Empty MDD
20.84/7.54	c 05:36:32.842 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30235. 'extension(x[4][7]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.54	c 05:36:32.842 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30241. 'extension(wk[13][0]=[0‥1]) :: init: true :: relation: Empty MDD
20.84/7.54	c 05:36:32.843 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30247. 'extension(wk[14][0]=[0‥1]) :: init: true :: relation: Empty MDD
20.84/7.54	c 05:36:32.843 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30249. 'extension(wk[20][0]=[0‥1]) :: init: true :: relation: Empty MDD
20.84/7.54	c 05:36:32.843 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30251. 'extension(x[4][20]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.54	c 05:36:32.843 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30257. 'extension(wk[21][0]=[0‥1]) :: init: true :: relation: Empty MDD
20.84/7.54	c 05:36:32.843 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30259. 'extension(x[4][21]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.54	c 05:36:32.844 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30261. 'extension(x[6][21]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.54	c 05:36:32.844 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30275. 'extension(wk[30][0]=[0‥1]) :: init: true :: relation: Empty MDD
20.84/7.54	c 05:36:32.845 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30281. 'extension(wk[5][0]=[0‥1]) :: init: true :: relation: Empty MDD
20.84/7.54	c 05:36:32.845 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30283. 'extension(x[5][5]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.54	c 05:36:32.845 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30289. 'extension(wk[7][0]=[0‥1]) :: init: true :: relation: Empty MDD
20.84/7.54	c 05:36:32.845 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30295. 'extension(wk[13][0]=[0‥1]) :: init: true :: relation: Empty MDD
20.84/7.54	c 05:36:32.846 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30297. 'extension(wk[14][0]=[0‥1]) :: init: true :: relation: Empty MDD
20.84/7.54	c 05:36:32.846 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30299. 'extension(x[7][14]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.54	c 05:36:32.846 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30309. 'extension(wk[16][0]=[0‥1]) :: init: true :: relation: Empty MDD
20.84/7.54	c 05:36:32.846 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30311. 'extension(x[5][16]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.54	c 05:36:32.847 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30317. 'extension(wk[20][0]=[0‥1]) :: init: true :: relation: Empty MDD
20.84/7.54	c 05:36:32.847 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30323. 'extension(wk[22][0]=[0‥1]) :: init: true :: relation: Empty MDD
20.84/7.54	c 05:36:32.847 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30325. 'extension(x[5][22]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.54	c 05:36:32.848 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30331. 'extension(wk[30][0]=[0‥1]) :: init: true :: relation: Empty MDD
20.84/7.54	c 05:36:32.848 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30337. 'extension(x[8][7]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.54	c 05:36:32.848 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30347. 'extension(x[8][13]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.54	c 05:36:32.849 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30357. 'extension(x[8][16]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.54	c 05:36:32.849 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30371. 'extension(x[8][20]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.54	c 05:36:32.850 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30385. 'extension(x[8][30]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.55	c 05:36:32.850 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30395. 'extension(x[9][5]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.55	c 05:36:32.851 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30405. 'extension(x[7][19]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.55	c 05:36:32.851 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30415. 'extension(x[8][23]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.55	c 05:36:32.852 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30421. 'extension(x[11][22]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.55	c 05:36:32.852 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30435. 'extension(x[9][26]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.55	c 05:36:32.852 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30437. 'extension(x[11][26]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.55	c 05:36:32.853 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30451. 'extension(x[12][19]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.55	c 05:36:32.854 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30461. 'extension(wk[13][1]=[0‥1]) :: init: true :: relation: Empty MDD
20.84/7.55	c 05:36:32.854 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30463. 'extension(x[11][13]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.55	c 05:36:32.854 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30465. 'extension(x[13][13]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.55	c 05:36:32.855 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30479. 'extension(wk[23][1]=[0‥1]) :: init: true :: relation: Empty MDD
20.84/7.55	c 05:36:32.855 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30481. 'extension(wk[2][1]=[0‥1]) :: init: true :: relation: Empty MDD
20.84/7.55	c 05:36:32.855 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30483. 'extension(x[12][2]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.55	c 05:36:32.855 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30489. 'extension(wk[23][1]=[0‥1]) :: init: true :: relation: Empty MDD
20.84/7.55	c 05:36:32.856 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30491. 'extension(x[14][23]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.55	c 05:36:32.856 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30501. 'extension(x[15][2]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.55	c 05:36:32.857 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30515. 'extension(x[13][6]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.55	c 05:36:32.857 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30525. 'extension(x[14][7]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.55	c 05:36:32.858 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30527. 'extension(x[16][7]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.55	c 05:36:32.858 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30541. 'extension(x[14][10]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.55	c 05:36:32.858 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30543. 'extension(x[16][10]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.55	c 05:36:32.859 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30557. 'extension(x[17][6]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.55	c 05:36:32.859 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30567. 'extension(x[17][9]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.55	c 05:36:32.860 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30573. 'extension(wk[4][2]=[0‥1]) :: init: true :: relation: Empty MDD
20.84/7.56	c 05:36:32.860 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30575. 'extension(x[18][4]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.56	c 05:36:32.860 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30581. 'extension(wk[8][2]=[0‥1]) :: init: true :: relation: Empty MDD
20.84/7.56	c 05:36:32.860 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30583. 'extension(x[18][8]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.56	c 05:36:32.861 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30589. 'extension(wk[9][2]=[0‥1]) :: init: true :: relation: Empty MDD
20.84/7.56	c 05:36:32.861 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30595. 'extension(wk[4][2]=[0‥1]) :: init: true :: relation: Empty MDD
20.84/7.56	c 05:36:32.861 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30597. 'extension(x[21][4]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.56	c 05:36:32.862 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30611. 'extension(wk[8][2]=[0‥1]) :: init: true :: relation: Empty MDD
20.84/7.57	c 05:36:32.862 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30617. 'extension(wk[9][2]=[0‥1]) :: init: true :: relation: Empty MDD
20.84/7.57	c 05:36:32.862 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30619. 'extension(wk[12][2]=[0‥1]) :: init: true :: relation: Empty MDD
20.84/7.57	c 05:36:32.863 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30621. 'extension(x[19][12]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.57	c 05:36:32.863 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30627. 'extension(wk[19][2]=[0‥1]) :: init: true :: relation: Empty MDD
20.84/7.57	c 05:36:32.863 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30629. 'extension(x[19][19]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.57	c 05:36:32.863 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30631. 'extension(x[21][19]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.57	c 05:36:32.864 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30645. 'extension(x[22][8]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.57	c 05:36:32.864 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30655. 'extension(x[22][9]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.57	c 05:36:32.865 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30665. 'extension(x[22][12]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.57	c 05:36:32.865 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30679. 'extension(x[20][18]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.57	c 05:36:32.866 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30689. 'extension(x[21][25]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.57	c 05:36:32.866 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30691. 'extension(x[23][25]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.57	c 05:36:32.867 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30705. 'extension(x[24][18]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.57	c 05:36:32.867 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30715. 'extension(x[23][0]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.57	c 05:36:32.867 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30721. 'extension(x[23][9]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.57	c 05:36:32.868 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30723. 'extension(x[25][9]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.57	c 05:36:32.868 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30737. 'extension(x[23][24]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.57	c 05:36:32.868 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30743. 'extension(x[26][0]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.57	c 05:36:32.869 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30757. 'extension(x[24][1]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.57	c 05:36:32.869 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30759. 'extension(x[26][1]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.57	c 05:36:32.870 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30777. 'extension(x[24][26]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.57	c 05:36:32.870 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30783. 'extension(x[24][29]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.57	c 05:36:32.871 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30789. 'extension(wk[24][3]=[0‥1]) :: init: true :: relation: Empty MDD
20.84/7.57	c 05:36:32.871 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30791. 'extension(wk[26][3]=[0‥1]) :: init: true :: relation: Empty MDD
20.84/7.57	c 05:36:32.871 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30797. 'extension(wk[29][3]=[0‥1]) :: init: true :: relation: Empty MDD
20.84/7.57	c 05:36:32.871 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30799. 'extension(x[27][29]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.57	c 05:36:32.872 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30813. 'extension(wk[11][3]=[0‥1]) :: init: true :: relation: Empty MDD
20.84/7.57	c 05:36:32.872 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30815. 'extension(x[26][11]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.57	c 05:36:32.872 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30821. 'extension(wk[24][3]=[0‥1]) :: init: true :: relation: Empty MDD
20.84/7.57	c 05:36:32.872 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30823. 'extension(wk[26][3]=[0‥1]) :: init: true :: relation: Empty MDD
20.84/7.57	c 05:36:32.873 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30825. 'extension(x[28][26]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.57	c 05:36:32.873 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30835. 'extension(wk[31][3]=[0‥1]) :: init: true :: relation: Empty MDD
20.84/7.57	c 05:36:32.873 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30837. 'extension(x[26][31]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.57	c 05:36:32.874 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30847. 'extension(x[29][24]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.58	c 05:36:32.874 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30861. 'extension(x[28][21]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.58	c 05:36:32.875 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30867. 'extension(x[30][31]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.58	c 05:36:32.875 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30877. 'extension(x[31][11]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.58	c 05:36:32.876 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30891. 'extension(x[30][4]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.58	c 05:36:32.876 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30897. 'extension(x[30][15]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.58	c 05:36:32.876 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30899. 'extension(x[32][15]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.58	c 05:36:32.877 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30913. 'extension(x[33][4]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.58	c 05:36:32.877 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30927. 'extension(x[33][21]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.58	c 05:36:32.878 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30937. 'extension(x[31][28]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.58	c 05:36:32.878 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30943. 'extension(wk[5][4]=[0‥1]) :: init: true :: relation: Empty MDD
20.84/7.58	c 05:36:32.878 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30945. 'extension(x[32][5]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.58	c 05:36:32.879 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30947. 'extension(x[34][5]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.58	c 05:36:32.879 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30961. 'extension(wk[28][4]=[0‥1]) :: init: true :: relation: Empty MDD
20.84/7.58	c 05:36:32.880 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30967. 'extension(wk[3][4]=[0‥1]) :: init: true :: relation: Empty MDD
20.84/7.58	c 05:36:32.880 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30969. 'extension(x[33][3]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.58	c 05:36:32.880 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30975. 'extension(wk[7][4]=[0‥1]) :: init: true :: relation: Empty MDD
20.84/7.58	c 05:36:32.880 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30977. 'extension(x[33][7]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.58	c 05:36:32.880 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30979. 'extension(x[35][7]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.58	c 05:36:32.881 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30993. 'extension(wk[28][4]=[0‥1]) :: init: true :: relation: Empty MDD
20.84/7.58	c 05:36:32.881 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30995. 'extension(wk[30][4]=[0‥1]) :: init: true :: relation: Empty MDD
20.84/7.58	c 05:36:32.881 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30997. 'extension(x[33][30]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.58	c 05:36:32.881 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30999. 'extension(x[35][30]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.58	c 05:36:32.882 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31013. 'extension(x[34][0]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.58	c 05:36:32.882 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31023. 'extension(x[34][26]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.58	c 05:36:32.883 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31025. 'extension(x[36][26]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.58	c 05:36:32.883 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31043. 'extension(x[37][28]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.58	c 05:36:32.884 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31053. 'extension(x[38][0]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.58	c 05:36:32.884 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31063. 'extension(x[36][18]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.58	c 05:36:32.885 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31069. 'extension(x[37][2]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.58	c 05:36:32.885 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31071. 'extension(x[39][2]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.58	c 05:36:32.886 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31085. 'extension(x[39][3]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.58	c 05:36:32.886 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31095. 'extension(x[39][18]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.58	c 05:36:32.887 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31109. 'extension(x[38][1]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.58	c 05:36:32.887 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31111. 'extension(x[40][1]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.58	c 05:36:32.887 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31125. 'extension(wk[11][5]=[0‥1]) :: init: true :: relation: Empty MDD
20.84/7.58	c 05:36:32.888 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31127. 'extension(x[39][11]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.58	c 05:36:32.888 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31129. 'extension(x[41][11]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.58	c 05:36:32.888 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31143. 'extension(wk[29][5]=[0‥1]) :: init: true :: relation: Empty MDD
20.84/7.58	c 05:36:32.889 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31145. 'extension(x[39][29]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.58	c 05:36:32.889 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31151. 'extension(wk[10][5]=[0‥1]) :: init: true :: relation: Empty MDD
20.84/7.58	c 05:36:32.889 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31153. 'extension(x[40][10]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.58	c 05:36:32.889 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31159. 'extension(wk[20][5]=[0‥1]) :: init: true :: relation: Empty MDD
20.84/7.58	c 05:36:32.890 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31161. 'extension(x[40][20]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.58	c 05:36:32.890 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31167. 'extension(wk[25][5]=[0‥1]) :: init: true :: relation: Empty MDD
20.84/7.58	c 05:36:32.890 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31169. 'extension(x[40][25]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.58	c 05:36:32.891 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31175. 'extension(wk[29][5]=[0‥1]) :: init: true :: relation: Empty MDD
20.84/7.58	c 05:36:32.891 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31181. 'extension(x[43][10]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.59	c 05:36:32.891 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31195. 'extension(x[43][20]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.59	c 05:36:32.892 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31213. 'extension(x[43][29]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.59	c 05:36:32.893 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31223. 'extension(x[42][6]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.59	c 05:36:32.893 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31229. 'extension(x[42][16]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.59	c 05:36:32.893 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31235. 'extension(x[44][25]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.59	c 05:36:32.894 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31245. 'extension(x[45][6]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.59	c 05:36:32.894 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31259. 'extension(x[43][15]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.59	c 05:36:32.894 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31265. 'extension(x[45][16]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.59	c 05:36:32.895 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31283. 'extension(wk[15][6]=[0‥1]) :: init: true :: relation: Empty MDD
20.84/7.59	c 05:36:32.895 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31285. 'extension(x[48][15]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.59	c 05:36:32.896 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31295. 'extension(wk[4][6]=[0‥1]) :: init: true :: relation: Empty MDD
20.84/7.59	c 05:36:32.896 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31297. 'extension(x[47][4]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.59	c 05:36:32.896 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31299. 'extension(x[49][4]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.59	c 05:36:32.897 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31313. 'extension(wk[8][6]=[0‥1]) :: init: true :: relation: Empty MDD
20.84/7.59	c 05:36:32.897 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31315. 'extension(x[47][8]=[0‥4]) :: init: true :: relation: Empty MDD
20.84/7.59	c 05:36:32.897 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31321. 'extension(wk[17][6]=[0‥1]) :: init: true :: relation: Empty MDD
21.16/7.60	c 05:36:32.897 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31323. 'extension(x[47][17]=[0‥4]) :: init: true :: relation: Empty MDD
21.16/7.60	c 05:36:32.898 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31329. 'extension(x[48][2]=[0‥4]) :: init: true :: relation: Empty MDD
21.16/7.60	c 05:36:32.898 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31335. 'extension(x[50][8]=[0‥4]) :: init: true :: relation: Empty MDD
21.16/7.60	c 05:36:32.899 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31353. 'extension(x[51][2]=[0‥4]) :: init: true :: relation: Empty MDD
21.16/7.60	c 05:36:32.899 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31367. 'extension(x[51][1]=[0‥4]) :: init: true :: relation: Empty MDD
21.16/7.60	c 05:36:32.900 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31369. 'extension(x[53][1]=[0‥4]) :: init: true :: relation: Empty MDD
21.16/7.60	c 05:36:32.900 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31383. 'extension(x[51][12]=[0‥4]) :: init: true :: relation: Empty MDD
21.16/7.60	c 05:36:32.900 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31389. 'extension(x[53][17]=[0‥4]) :: init: true :: relation: Empty MDD
21.16/7.60	c 05:36:32.901 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31399. 'extension(x[51][31]=[0‥4]) :: init: true :: relation: Empty MDD
21.16/7.60	c 05:36:32.901 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31405. 'extension(x[52][5]=[0‥4]) :: init: true :: relation: Empty MDD
21.16/7.60	c 05:36:32.901 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31407. 'extension(x[54][5]=[0‥4]) :: init: true :: relation: Empty MDD
21.16/7.60	c 05:36:32.902 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31425. 'extension(x[52][27]=[0‥4]) :: init: true :: relation: Empty MDD
21.16/7.60	c 05:36:32.902 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31431. 'extension(x[54][31]=[0‥4]) :: init: true :: relation: Empty MDD
21.16/7.60	c 05:36:32.903 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31445. 'extension(wk[12][7]=[0‥1]) :: init: true :: relation: Empty MDD
21.16/7.60	c 05:36:32.903 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31447. 'extension(x[55][12]=[0‥4]) :: init: true :: relation: Empty MDD
21.16/7.60	c 05:36:32.904 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31455. 'extension(wk[27][7]=[0‥1]) :: init: true :: relation: Empty MDD
21.16/7.60	c 05:36:32.904 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31457. 'extension(x[55][27]=[0‥4]) :: init: true :: relation: Empty MDD
2520.05/2451.01	Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost
2520.05/2451.01		at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:24)
2520.05/2451.01		at concrete.heuristic.value.BestCost.$anonfun$select$2(BestCost.scala:53)
2520.05/2451.01		at bitvectors.SmallBitVector.filter(SmallBitVector.scala:142)
2520.05/2451.01		at bitvectors.SmallBitVector.filter(SmallBitVector.scala:5)
2520.05/2451.01		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:126)
2520.05/2451.01		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:8)
2520.05/2451.01		at concrete.heuristic.value.BestCost.select(BestCost.scala:53)
2520.05/2451.01		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
2520.05/2451.01		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103)
2520.05/2451.01		at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.05/2451.01		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
2520.05/2451.01		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103)
2520.05/2451.01		at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.05/2451.01		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
2520.05/2451.01		at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:109)
2520.05/2451.01		at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42)
2520.05/2451.01		at scala.Option.map(Option.scala:146)
2520.05/2451.01		at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40)
2520.05/2451.01		at concrete.MAC.mac(MAC.scala:203)
2520.05/2451.01		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.05/2451.01		at scala.util.Try$.apply(Try.scala:209)
2520.05/2451.01		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.05/2451.01		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.05/2451.01		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.05/2451.01		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.05/2451.01		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.05/2451.01		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.05/2451.01		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.05/2451.01		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.05/2451.01		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.05/2451.01		at concrete.MAC.oneRun(MAC.scala:253)
2520.05/2451.01		at concrete.MAC.nextSolution(MAC.scala:272)
2520.05/2451.01		at concrete.MAC.$anonfun$nextSolution$5(MAC.scala:336)
2520.05/2451.01		at concrete.ProblemState.map(ProblemState.scala:221)
2520.05/2451.01		at concrete.ProblemState.map(ProblemState.scala:204)
2520.05/2451.01		at concrete.MAC.nextSolution(MAC.scala:334)
2520.05/2451.01		at concrete.Solver.hasNext(Solver.scala:166)
2520.05/2451.01		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.05/2451.01		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.05/2451.01		at concrete.Solver.foreach(Solver.scala:68)
2520.05/2451.01		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.05/2451.01		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.05/2451.01		at scala.util.Success.map(Try.scala:209)
2520.05/2451.01		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.05/2451.01		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.05/2451.01		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.05/2451.01		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.05/2451.01		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.05/2451.01		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.05/2451.01		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.05/2451.01		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.05/2451.01		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.05/2451.01		at scala.collection.immutable.List.foreach(List.scala:389)
2520.05/2451.01		at scala.App.main(App.scala:76)
2520.05/2451.01		at scala.App.main$(App.scala:74)
2520.05/2451.01		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.05/2451.01		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.05/2451.02	s UNKNOWN

Verifier Data


Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304185-1534044985/watcher-4304185-1534044985 -o /tmp/evaluation-result-4304185-1534044985/solver-4304185-1534044985 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1534040018-23575 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=867768305 HOME/instance-4304185-1534044985.xml 

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

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

solver pid=24494, runsolver pid=24491

[startup+0.10006 s]*
/proc/loadavg: 1.31 1.37 1.41 5/202 24546
/proc/meminfo: memFree=28480628/32770624 swapFree=67108804/67108860
[pid=24494] ppid=24491 vsize=425712 memory=7664 CPUtime=0.08 cores=1,3,5,7
/proc/24494/stat : 24494 (java) S 24491 24494 22159 0 -1 1077944320 2594 12856 0 0 0 0 5 3 20 0 2 0 222061645 435929088 1916 33554432000 4194304 4196468 140736434219520 140736434202064 140383982247671 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
/proc/24494/statm: 106428 1916 1064 1 0 95339 0
[pid=24494/tid=24547] ppid=24491 vsize=425712 memory=3054156605335569294 CPUtime=0.08 cores=1,3,5,7
/proc/24494/task/24547/stat : 24547 (java) S 24491 24494 22159 0 -1 1077944384 405 12856 0 0 0 0 5 3 20 0 2 0 222061655 435929088 1916 33554432000 4194304 4196468 140736434219520 140383954090400 140383982258818 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 425712 KiB
Current children cumulated memory: 7664 KiB

[startup+0.210261 s]*
/proc/loadavg: 1.31 1.37 1.41 6/215 24560
/proc/meminfo: memFree=28436808/32770624 swapFree=67108804/67108860
[pid=24494] ppid=24491 vsize=10982744 memory=40716 CPUtime=0.25 cores=1,3,5,7
/proc/24494/stat : 24494 (java) S 24491 24494 22159 0 -1 1077944320 6869 12856 0 0 16 1 5 3 20 0 15 0 222061645 11246329856 10179 33554432000 4194304 4196468 140736434219520 140736434202064 140383982247671 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
/proc/24494/statm: 2745686 10179 2952 1 0 2708109 0
[pid=24494/tid=24547] ppid=24491 vsize=10982744 memory=7022364594140610616 CPUtime=0.18 cores=1,3,5,7
/proc/24494/task/24547/stat : 24547 (java) R 24491 24494 22159 0 -1 4202560 3425 12856 0 0 10 0 5 3 20 0 15 0 222061655 11246329856 10179 33554432000 4194304 4196468 140736434219520 140383954044592 140383965434480 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24548] ppid=24491 vsize=10982744 memory=343 CPUtime=0.08 cores=1,3,5,7
/proc/24494/task/24548/stat : 24548 (java) S 24491 24494 22159 0 -1 1077944384 1 12856 0 0 0 0 5 3 20 0 15 0 222061656 11246329856 10179 33554432000 4194304 4196468 140736434219520 140383986489744 140383982257877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24549] ppid=24491 vsize=10982744 memory=140403058094999 CPUtime=0.08 cores=1,3,5,7
/proc/24494/task/24549/stat : 24549 (java) S 24491 24494 22159 0 -1 1077944384 1 12856 0 0 0 0 5 3 20 0 15 0 222061656 11246329856 10179 33554432000 4194304 4196468 140736434219520 140383841208592 140383982257877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24550] ppid=24491 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24494/task/24550/stat : 24550 (java) S 24491 24494 22159 0 -1 1077944384 1 12856 0 0 0 0 5 3 20 0 15 0 222061656 11246329856 10179 33554432000 4194304 4196468 140736434219520 140383840156304 140383982257877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24551] ppid=24491 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/24494/task/24551/stat : 24551 (java) S 24491 24494 22159 0 -1 1077944384 2 12856 0 0 0 0 5 3 20 0 15 0 222061656 11246329856 10179 33554432000 4194304 4196468 140736434219520 140383839103504 140383982257877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24552] ppid=24491 vsize=10982744 memory=140403058071168 CPUtime=0.08 cores=1,3,5,7
/proc/24494/task/24552/stat : 24552 (java) S 24491 24494 22159 0 -1 1077944384 2 12856 0 0 0 0 5 3 20 0 15 0 222061658 11246329856 10179 33554432000 4194304 4196468 140736434219520 140383407245936 140383982258818 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24553] ppid=24491 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/24494/task/24553/stat : 24553 (java) S 24491 24494 22159 0 -1 1077944384 13 12856 0 0 0 0 5 3 20 0 15 0 222061658 11246329856 10179 33554432000 4194304 4196468 140736434219520 140382764524832 140383982257877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24554] ppid=24491 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24494/task/24554/stat : 24554 (java) S 24491 24494 22159 0 -1 1077944384 1 12856 0 0 0 0 5 3 20 0 15 0 222061658 11246329856 10179 33554432000 4194304 4196468 140736434219520 140382616675952 140383982257877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24555] ppid=24491 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24494/task/24555/stat : 24555 (java) S 24491 24494 22159 0 -1 1077944384 3 12856 0 0 0 0 5 3 20 0 15 0 222061661 11246329856 10179 33554432000 4194304 4196468 140736434219520 140382309276240 140383982266267 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24556] ppid=24491 vsize=10982744 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/24494/task/24556/stat : 24556 (java) S 24491 24494 22159 0 -1 1077944384 372 12856 0 0 1 0 5 3 20 0 15 0 222061661 11246329856 10179 33554432000 4194304 4196468 140736434219520 140383406192752 140383982258818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24557] ppid=24491 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/24494/task/24557/stat : 24557 (java) S 24491 24494 22159 0 -1 1077944384 253 12856 0 0 0 0 5 3 20 0 15 0 222061661 11246329856 10179 33554432000 4194304 4196468 140736434219520 140383405139952 140383982258818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24558] ppid=24491 vsize=10982744 memory=140403058071168 CPUtime=0.11 cores=1,3,5,7
/proc/24494/task/24558/stat : 24558 (java) S 24491 24494 22159 0 -1 1077944384 602 12856 0 0 3 0 5 3 20 0 15 0 222061661 11246329856 10179 33554432000 4194304 4196468 140736434219520 140383404087664 140383982258818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24559] ppid=24491 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/24494/task/24559/stat : 24559 (java) S 24491 24494 22159 0 -1 1077944384 3 12856 0 0 0 0 5 3 20 0 15 0 222061661 11246329856 10179 33554432000 4194304 4196468 140736434219520 140381878479328 140383982257877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24560] ppid=24491 vsize=10982744 memory=140403058071168 CPUtime=0.08 cores=1,3,5,7
/proc/24494/task/24560/stat : 24560 (java) S 24491 24494 22159 0 -1 1077944384 1 12856 0 0 0 0 5 3 20 0 15 0 222061661 11246329856 10179 33554432000 4194304 4196468 140736434219520 140383403035568 140383982258818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 40716 KiB

[startup+0.310394 s]*
/proc/loadavg: 1.31 1.37 1.41 4/215 24560
/proc/meminfo: memFree=28413224/32770624 swapFree=67108804/67108860
[pid=24494] ppid=24491 vsize=10983192 memory=53864 CPUtime=0.38 cores=1,3,5,7
/proc/24494/stat : 24494 (java) S 24491 24494 22159 0 -1 1077944320 10022 12856 0 0 27 3 5 3 20 0 15 0 222061645 11246788608 13466 33554432000 4194304 4196468 140736434219520 140736434202064 140383982247671 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
/proc/24494/statm: 2745798 13466 3071 1 0 2708109 0
[pid=24494/tid=24547] ppid=24491 vsize=10983192 memory=0 CPUtime=0.27 cores=1,3,5,7
/proc/24494/task/24547/stat : 24547 (java) R 24491 24494 22159 0 -1 4202560 6567 12856 0 0 18 1 5 3 20 0 15 0 222061655 11246788608 13466 33554432000 4194304 4196468 140736434219520 140383954059680 140383967413310 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24548] ppid=24491 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24494/task/24548/stat : 24548 (java) S 24491 24494 22159 0 -1 1077944384 1 12856 0 0 0 0 5 3 20 0 15 0 222061656 11246788608 13466 33554432000 4194304 4196468 140736434219520 140383986489744 140383982257877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24549] ppid=24491 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24494/task/24549/stat : 24549 (java) S 24491 24494 22159 0 -1 1077944384 1 12856 0 0 0 0 5 3 20 0 15 0 222061656 11246788608 13466 33554432000 4194304 4196468 140736434219520 140383841208592 140383982257877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24550] ppid=24491 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24494/task/24550/stat : 24550 (java) S 24491 24494 22159 0 -1 1077944384 1 12856 0 0 0 0 5 3 20 0 15 0 222061656 11246788608 13466 33554432000 4194304 4196468 140736434219520 140383840156304 140383982257877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24551] ppid=24491 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/24494/task/24551/stat : 24551 (java) S 24491 24494 22159 0 -1 1077944384 2 12856 0 0 0 0 5 3 20 0 15 0 222061656 11246788608 13466 33554432000 4194304 4196468 140736434219520 140383839103504 140383982257877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24552] ppid=24491 vsize=10983192 memory=140403058071168 CPUtime=0.08 cores=1,3,5,7
/proc/24494/task/24552/stat : 24552 (java) S 24491 24494 22159 0 -1 1077944384 2 12856 0 0 0 0 5 3 20 0 15 0 222061658 11246788608 13466 33554432000 4194304 4196468 140736434219520 140383407245936 140383982258818 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24553] ppid=24491 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/24494/task/24553/stat : 24553 (java) S 24491 24494 22159 0 -1 1077944384 13 12856 0 0 0 0 5 3 20 0 15 0 222061658 11246788608 13466 33554432000 4194304 4196468 140736434219520 140382764524832 140383982257877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24554] ppid=24491 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24494/task/24554/stat : 24554 (java) S 24491 24494 22159 0 -1 1077944384 1 12856 0 0 0 0 5 3 20 0 15 0 222061658 11246788608 13466 33554432000 4194304 4196468 140736434219520 140382616675952 140383982257877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24555] ppid=24491 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24494/task/24555/stat : 24555 (java) S 24491 24494 22159 0 -1 1077944384 3 12856 0 0 0 0 5 3 20 0 15 0 222061661 11246788608 13466 33554432000 4194304 4196468 140736434219520 140382309276240 140383982266267 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24556] ppid=24491 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/24494/task/24556/stat : 24556 (java) S 24491 24494 22159 0 -1 1077944384 373 12856 0 0 1 0 5 3 20 0 15 0 222061661 11246788608 13466 33554432000 4194304 4196468 140736434219520 140383406192752 140383982258818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24557] ppid=24491 vsize=10983192 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/24494/task/24557/stat : 24557 (java) S 24491 24494 22159 0 -1 1077944384 253 12856 0 0 1 0 5 3 20 0 15 0 222061661 11246788608 13466 33554432000 4194304 4196468 140736434219520 140383405139952 140383982258818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24558] ppid=24491 vsize=10983192 memory=140403058071168 CPUtime=0.12 cores=1,3,5,7
/proc/24494/task/24558/stat : 24558 (java) S 24491 24494 22159 0 -1 1077944384 612 12856 0 0 4 0 5 3 20 0 15 0 222061661 11246788608 13466 33554432000 4194304 4196468 140736434219520 140383404087664 140383982258818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24559] ppid=24491 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/24494/task/24559/stat : 24559 (java) S 24491 24494 22159 0 -1 1077944384 3 12856 0 0 0 0 5 3 20 0 15 0 222061661 11246788608 13466 33554432000 4194304 4196468 140736434219520 140381878479328 140383982257877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24560] ppid=24491 vsize=10983192 memory=140403058071168 CPUtime=0.08 cores=1,3,5,7
/proc/24494/task/24560/stat : 24560 (java) S 24491 24494 22159 0 -1 1077944384 1 12856 0 0 0 0 5 3 20 0 15 0 222061661 11246788608 13466 33554432000 4194304 4196468 140736434219520 140383403035568 140383982258818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 53864 KiB

[startup+0.700724 s]
/proc/loadavg: 1.31 1.37 1.41 3/215 24560
/proc/meminfo: memFree=28359920/32770624 swapFree=67108804/67108860
[pid=24494] ppid=24491 vsize=10983192 memory=88412 CPUtime=0.99 cores=1,3,5,7
/proc/24494/stat : 24494 (java) S 24491 24494 22159 0 -1 1077944320 16738 12856 0 0 87 4 5 3 20 0 15 0 222061645 11246788608 22103 33554432000 4194304 4196468 140736434219520 140736434202064 140383982247671 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
/proc/24494/statm: 2745798 22103 3238 1 0 2708109 0
[pid=24494/tid=24547] ppid=24491 vsize=10983192 memory=916 CPUtime=0.65 cores=1,3,5,7
/proc/24494/task/24547/stat : 24547 (java) R 24491 24494 22159 0 -1 4202560 12156 12856 0 0 55 2 5 3 20 0 15 0 222061655 11246788608 22103 33554432000 4194304 4196468 140736434219520 140383954070672 140383967943520 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24548] ppid=24491 vsize=10983192 memory=3856 CPUtime=0.08 cores=1,3,5,7
/proc/24494/task/24548/stat : 24548 (java) S 24491 24494 22159 0 -1 1077944384 1 12856 0 0 0 0 5 3 20 0 15 0 222061656 11246788608 22103 33554432000 4194304 4196468 140736434219520 140383986489744 140383982257877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24549] ppid=24491 vsize=10983192 memory=2624 CPUtime=0.08 cores=1,3,5,7
/proc/24494/task/24549/stat : 24549 (java) S 24491 24494 22159 0 -1 1077944384 1 12856 0 0 0 0 5 3 20 0 15 0 222061656 11246788608 22103 33554432000 4194304 4196468 140736434219520 140383841208592 140383982257877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24550] ppid=24491 vsize=10983192 memory=2612 CPUtime=0.08 cores=1,3,5,7
/proc/24494/task/24550/stat : 24550 (java) S 24491 24494 22159 0 -1 1077944384 1 12856 0 0 0 0 5 3 20 0 15 0 222061656 11246788608 22103 33554432000 4194304 4196468 140736434219520 140383840156304 140383982257877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24551] ppid=24491 vsize=10983192 memory=4104 CPUtime=0.08 cores=1,3,5,7
/proc/24494/task/24551/stat : 24551 (java) S 24491 24494 22159 0 -1 1077944384 2 12856 0 0 0 0 5 3 20 0 15 0 222061656 11246788608 22103 33554432000 4194304 4196468 140736434219520 140383839103504 140383982257877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24552] ppid=24491 vsize=10983192 memory=1408 CPUtime=0.08 cores=1,3,5,7
/proc/24494/task/24552/stat : 24552 (java) S 24491 24494 22159 0 -1 1077944384 5 12856 0 0 0 0 5 3 20 0 15 0 222061658 11246788608 22103 33554432000 4194304 4196468 140736434219520 140383407245936 140383982258818 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24553] ppid=24491 vsize=10983192 memory=2424 CPUtime=0.08 cores=1,3,5,7
/proc/24494/task/24553/stat : 24553 (java) S 24491 24494 22159 0 -1 1077944384 13 12856 0 0 0 0 5 3 20 0 15 0 222061658 11246788608 22103 33554432000 4194304 4196468 140736434219520 140382764524832 140383982257877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24554] ppid=24491 vsize=10983192 memory=219736 CPUtime=0.08 cores=1,3,5,7
/proc/24494/task/24554/stat : 24554 (java) S 24491 24494 22159 0 -1 1077944384 1 12856 0 0 0 0 5 3 20 0 15 0 222061658 11246788608 22103 33554432000 4194304 4196468 140736434219520 140382616675952 140383982257877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24555] ppid=24491 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24494/task/24555/stat : 24555 (java) S 24491 24494 22159 0 -1 1077944384 3 12856 0 0 0 0 5 3 20 0 15 0 222061661 11246788608 22103 33554432000 4194304 4196468 140736434219520 140382309276240 140383982266267 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24556] ppid=24491 vsize=10983192 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/24494/task/24556/stat : 24556 (java) S 24491 24494 22159 0 -1 1077944384 774 12856 0 0 7 0 5 3 20 0 15 0 222061661 11246788608 22103 33554432000 4194304 4196468 140736434219520 140383406192752 140383982258818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24557] ppid=24491 vsize=10983192 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/24494/task/24557/stat : 24557 (java) S 24491 24494 22159 0 -1 1077944384 904 12856 0 0 10 0 5 3 20 0 15 0 222061661 11246788608 22103 33554432000 4194304 4196468 140736434219520 140383405139952 140383982258818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24558] ppid=24491 vsize=10983192 memory=15292 CPUtime=0.21 cores=1,3,5,7
/proc/24494/task/24558/stat : 24558 (java) S 24491 24494 22159 0 -1 1077944384 684 12856 0 0 13 0 5 3 20 0 15 0 222061661 11246788608 22103 33554432000 4194304 4196468 140736434219520 140383404087664 140383982258818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24559] ppid=24491 vsize=10983192 memory=33292 CPUtime=0.08 cores=1,3,5,7
/proc/24494/task/24559/stat : 24559 (java) S 24491 24494 22159 0 -1 1077944384 3 12856 0 0 0 0 5 3 20 0 15 0 222061661 11246788608 22103 33554432000 4194304 4196468 140736434219520 140381878479328 140383982257877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24560] ppid=24491 vsize=10983192 memory=496 CPUtime=0.08 cores=1,3,5,7
/proc/24494/task/24560/stat : 24560 (java) S 24491 24494 22159 0 -1 1077944384 1 12856 0 0 0 0 5 3 20 0 15 0 222061661 11246788608 22103 33554432000 4194304 4196468 140736434219520 140383403035568 140383982258818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88412 KiB

[startup+1.50089 s]
/proc/loadavg: 1.31 1.37 1.41 3/215 24560
/proc/meminfo: memFree=28307692/32770624 swapFree=67108804/67108860
[pid=24494] ppid=24491 vsize=10991948 memory=175176 CPUtime=3.17 cores=1,3,5,7
/proc/24494/stat : 24494 (java) S 24491 24494 22159 0 -1 1077944320 24512 12856 0 0 302 7 5 3 20 0 15 0 222061645 11255754752 43794 33554432000 4194304 4196468 140736434219520 140736434202064 140383982247671 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
/proc/24494/statm: 2747987 43794 3446 1 0 2709645 0
[pid=24494/tid=24547] ppid=24491 vsize=10991948 memory=0 CPUtime=1.45 cores=1,3,5,7
/proc/24494/task/24547/stat : 24547 (java) R 24491 24494 22159 0 -1 4202560 15020 12856 0 0 132 5 5 3 20 0 15 0 222061655 11255754752 43794 33554432000 4194304 4196468 140736434219520 140383954076704 140383509379494 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24548] ppid=24491 vsize=10991948 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24494/task/24548/stat : 24548 (java) S 24491 24494 22159 0 -1 1077944384 1 12856 0 0 0 0 5 3 20 0 15 0 222061656 11255754752 43794 33554432000 4194304 4196468 140736434219520 140383986489744 140383982257877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24549] ppid=24491 vsize=10991948 memory=7594847308848587865 CPUtime=0.08 cores=1,3,5,7
/proc/24494/task/24549/stat : 24549 (java) S 24491 24494 22159 0 -1 1077944384 1 12856 0 0 0 0 5 3 20 0 15 0 222061656 11255754752 43794 33554432000 4194304 4196468 140736434219520 140383841208592 140383982257877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24550] ppid=24491 vsize=10991948 memory=7524503793395198036 CPUtime=0.08 cores=1,3,5,7
/proc/24494/task/24550/stat : 24550 (java) S 24491 24494 22159 0 -1 1077944384 1 12856 0 0 0 0 5 3 20 0 15 0 222061656 11255754752 43794 33554432000 4194304 4196468 140736434219520 140383840156304 140383982257877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24551] ppid=24491 vsize=10991948 memory=7660732257680320358 CPUtime=0.08 cores=1,3,5,7
/proc/24494/task/24551/stat : 24551 (java) S 24491 24494 22159 0 -1 1077944384 2 12856 0 0 0 0 5 3 20 0 15 0 222061656 11255754752 43794 33554432000 4194304 4196468 140736434219520 140383839103504 140383982257877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24552] ppid=24491 vsize=10991948 memory=7454130749351154278 CPUtime=0.08 cores=1,3,5,7
/proc/24494/task/24552/stat : 24552 (java) S 24491 24494 22159 0 -1 1077944384 13 12856 0 0 0 0 5 3 20 0 15 0 222061658 11255754752 43794 33554432000 4194304 4196468 140736434219520 140383407245936 140383982258818 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24553] ppid=24491 vsize=10991948 memory=7090466072249788525 CPUtime=0.08 cores=1,3,5,7
/proc/24494/task/24553/stat : 24553 (java) S 24491 24494 22159 0 -1 1077944384 13 12856 0 0 0 0 5 3 20 0 15 0 222061658 11255754752 43794 33554432000 4194304 4196468 140736434219520 140382764524832 140383982257877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24554] ppid=24491 vsize=10991948 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24494/task/24554/stat : 24554 (java) S 24491 24494 22159 0 -1 1077944384 1 12856 0 0 0 0 5 3 20 0 15 0 222061658 11255754752 43794 33554432000 4194304 4196468 140736434219520 140382616675952 140383982257877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24555] ppid=24491 vsize=10991948 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24494/task/24555/stat : 24555 (java) S 24491 24494 22159 0 -1 1077944384 3 12856 0 0 0 0 5 3 20 0 15 0 222061661 11255754752 43794 33554432000 4194304 4196468 140736434219520 140382309276240 140383982266267 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24556] ppid=24491 vsize=10991948 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/24494/task/24556/stat : 24556 (java) R 24491 24494 22159 0 -1 4202560 3167 12856 0 0 59 0 5 3 20 0 15 0 222061661 11255754752 43794 33554432000 4194304 4196468 140736434219520 140383406181872 140383967176162 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24557] ppid=24491 vsize=10991948 memory=13898514172380 CPUtime=0.67 cores=1,3,5,7
/proc/24494/task/24557/stat : 24557 (java) R 24491 24494 22159 0 -1 4202560 2398 12856 0 0 59 0 5 3 20 0 15 0 222061661 11255754752 44306 33554432000 4194304 4196468 140736434219520 140383405126496 140383963792057 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24558] ppid=24491 vsize=10991948 memory=280805431574648 CPUtime=0.57 cores=1,3,5,7
/proc/24494/task/24558/stat : 24558 (java) S 24491 24494 22159 0 -1 1077944384 1699 12856 0 0 49 0 5 3 20 0 15 0 222061661 11255754752 44306 33554432000 4194304 4196468 140736434219520 140383404087664 140383982258818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24559] ppid=24491 vsize=10991948 memory=302867281971787079 CPUtime=0.08 cores=1,3,5,7
/proc/24494/task/24559/stat : 24559 (java) S 24491 24494 22159 0 -1 1077944384 3 12856 0 0 0 0 5 3 20 0 15 0 222061661 11255754752 44306 33554432000 4194304 4196468 140736434219520 140381878479328 140383982257877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24560] ppid=24491 vsize=10991948 memory=14412627007908089 CPUtime=0.08 cores=1,3,5,7
/proc/24494/task/24560/stat : 24560 (java) S 24491 24494 22159 0 -1 1077944384 1 12856 0 0 0 0 5 3 20 0 15 0 222061661 11255754752 44306 33554432000 4194304 4196468 140736434219520 140383403035568 140383982258818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
Current children cumulated CPU time: 3.17 s
Current children cumulated vsize: 10991948 KiB
Current children cumulated memory: 175176 KiB

[startup+3.11189 s]
/proc/loadavg: 1.28 1.37 1.41 8/215 24560
/proc/meminfo: memFree=28034516/32770624 swapFree=67108804/67108860
[pid=24494] ppid=24491 vsize=11006304 memory=279332 CPUtime=6.9 cores=1,3,5,7
/proc/24494/stat : 24494 (java) S 24491 24494 22159 0 -1 1077944320 36422 12856 0 0 668 14 5 3 20 0 15 0 222061645 11270455296 69833 33554432000 4194304 4196468 140736434219520 140736434202064 140383982247671 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
/proc/24494/statm: 2751576 69833 3494 1 0 2713229 0

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

/proc/24494/task/24547/stat : 24547 (java) R 24491 24494 22159 0 -1 4202560 106699 12856 0 0 229819 56 5 3 20 0 15 0 222061655 11348049920 313729 33554432000 4194304 4196468 140736434219520 140383954082848 140383516298095 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24548] ppid=24491 vsize=11082080 memory=1254916 CPUtime=12.14 cores=1,3,5,7
/proc/24494/task/24548/stat : 24548 (java) S 24491 24494 22159 0 -1 1077944384 22023 12856 0 0 1157 49 5 3 20 0 15 0 222061656 11348049920 313729 33554432000 4194304 4196468 140736434219520 140383986489744 140383982257877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24549] ppid=24491 vsize=11082080 memory=1254916 CPUtime=12.19 cores=1,3,5,7
/proc/24494/task/24549/stat : 24549 (java) S 24491 24494 22159 0 -1 1077944384 23772 12856 0 0 1158 53 5 3 20 0 15 0 222061656 11348049920 313729 33554432000 4194304 4196468 140736434219520 140383841208592 140383982257877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24550] ppid=24491 vsize=11082080 memory=1254916 CPUtime=12.19 cores=1,3,5,7
/proc/24494/task/24550/stat : 24550 (java) S 24491 24494 22159 0 -1 1077944384 27420 12856 0 0 1164 47 5 3 20 0 15 0 222061656 11348049920 313729 33554432000 4194304 4196468 140736434219520 140383840156304 140383982257877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24551] ppid=24491 vsize=11082080 memory=1254916 CPUtime=12.16 cores=1,3,5,7
/proc/24494/task/24551/stat : 24551 (java) S 24491 24494 22159 0 -1 1077944384 27554 12856 0 0 1157 51 5 3 20 0 15 0 222061656 11348049920 313729 33554432000 4194304 4196468 140736434219520 140383839103504 140383982257877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24552] ppid=24491 vsize=11082080 memory=1254916 CPUtime=9.46 cores=1,3,5,7
/proc/24494/task/24552/stat : 24552 (java) S 24491 24494 22159 0 -1 1077944384 21763 12856 0 0 892 46 5 3 20 0 15 0 222061658 11348049920 313729 33554432000 4194304 4196468 140736434219520 140383407245936 140383982258818 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24553] ppid=24491 vsize=11082080 memory=1254916 CPUtime=0.08 cores=1,3,5,7
/proc/24494/task/24553/stat : 24553 (java) S 24491 24494 22159 0 -1 1077944384 22 12856 0 0 0 0 5 3 20 0 15 0 222061658 11348049920 313729 33554432000 4194304 4196468 140736434219520 140382764524896 140383982257877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24554] ppid=24491 vsize=11082080 memory=1254916 CPUtime=0.08 cores=1,3,5,7
/proc/24494/task/24554/stat : 24554 (java) S 24491 24494 22159 0 -1 1077944384 8 12856 0 0 0 0 5 3 20 0 15 0 222061658 11348049920 313729 33554432000 4194304 4196468 140736434219520 140382616675968 140383982257877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24555] ppid=24491 vsize=11082080 memory=1254916 CPUtime=0.08 cores=1,3,5,7
/proc/24494/task/24555/stat : 24555 (java) S 24491 24494 22159 0 -1 1077944384 3 12856 0 0 0 0 5 3 20 0 15 0 222061661 11348049920 313729 33554432000 4194304 4196468 140736434219520 140382309276240 140383982266267 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24556] ppid=24491 vsize=11082080 memory=1254916 CPUtime=13.47 cores=1,3,5,7
/proc/24494/task/24556/stat : 24556 (java) S 24491 24494 22159 0 -1 1077944384 89321 12856 0 0 1329 10 5 3 20 0 15 0 222061661 11348049920 313729 33554432000 4194304 4196468 140736434219520 140383406192752 140383982258818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24557] ppid=24491 vsize=11082080 memory=1254916 CPUtime=12.79 cores=1,3,5,7
/proc/24494/task/24557/stat : 24557 (java) S 24491 24494 22159 0 -1 1077944384 72764 12856 0 0 1260 11 5 3 20 0 15 0 222061661 11348049920 313729 33554432000 4194304 4196468 140736434219520 140383405139952 140383982258818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24558] ppid=24491 vsize=11082080 memory=1254916 CPUtime=5.21 cores=1,3,5,7
/proc/24494/task/24558/stat : 24558 (java) S 24491 24494 22159 0 -1 1077944384 84186 12856 0 0 501 12 5 3 20 0 15 0 222061661 11348049920 313729 33554432000 4194304 4196468 140736434219520 140383404087664 140383982258818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24559] ppid=24491 vsize=11082080 memory=1254916 CPUtime=0.08 cores=1,3,5,7
/proc/24494/task/24559/stat : 24559 (java) S 24491 24494 22159 0 -1 1077944384 3 12856 0 0 0 0 5 3 20 0 15 0 222061661 11348049920 313729 33554432000 4194304 4196468 140736434219520 140381878479328 140383982257877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24560] ppid=24491 vsize=11082080 memory=6791534058613427641 CPUtime=1.34 cores=1,3,5,7
/proc/24494/task/24560/stat : 24560 (java) S 24491 24494 22159 0 -1 1077944384 3323 12856 0 0 64 62 5 3 20 0 15 0 222061661 11348049920 313729 33554432000 4194304 4196468 140736434219520 140383403035568 140383982258818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
Current children cumulated CPU time: 2389.19 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1254916 KiB

[startup+2382.3 s]
/proc/loadavg: 1.12 1.32 1.37 3/215 24656
/proc/meminfo: memFree=26229656/32770624 swapFree=67108804/67108860
[pid=24494] ppid=24491 vsize=11082080 memory=1265028 CPUtime=2450.19 cores=1,3,5,7
/proc/24494/stat : 24494 (java) S 24491 24494 22159 0 -1 1077944320 483490 12856 0 0 244651 360 5 3 20 0 15 0 222061645 11348049920 316257 33554432000 4194304 4196468 140736434219520 140736434202064 140383982247671 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
/proc/24494/statm: 2770520 316257 3534 1 0 2732173 0
[pid=24494/tid=24547] ppid=24491 vsize=11082080 memory=0 CPUtime=2358.17 cores=1,3,5,7
/proc/24494/task/24547/stat : 24547 (java) R 24491 24494 22159 0 -1 4202560 107730 12856 0 0 235753 56 5 3 20 0 15 0 222061655 11348049920 316257 33554432000 4194304 4196468 140736434219520 140383954081904 140383531909767 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24548] ppid=24491 vsize=11082080 memory=1265028 CPUtime=12.47 cores=1,3,5,7
/proc/24494/task/24548/stat : 24548 (java) S 24491 24494 22159 0 -1 1077944384 22768 12856 0 0 1188 51 5 3 20 0 15 0 222061656 11348049920 316257 33554432000 4194304 4196468 140736434219520 140383986489744 140383982257877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24549] ppid=24491 vsize=11082080 memory=1265028 CPUtime=12.53 cores=1,3,5,7
/proc/24494/task/24549/stat : 24549 (java) S 24491 24494 22159 0 -1 1077944384 23794 12856 0 0 1191 54 5 3 20 0 15 0 222061656 11348049920 316257 33554432000 4194304 4196468 140736434219520 140383841208592 140383982257877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24550] ppid=24491 vsize=11082080 memory=1265028 CPUtime=12.54 cores=1,3,5,7
/proc/24494/task/24550/stat : 24550 (java) S 24491 24494 22159 0 -1 1077944384 27553 12856 0 0 1197 49 5 3 20 0 15 0 222061656 11348049920 316257 33554432000 4194304 4196468 140736434219520 140383840156304 140383982257877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24551] ppid=24491 vsize=11082080 memory=1265028 CPUtime=12.51 cores=1,3,5,7
/proc/24494/task/24551/stat : 24551 (java) S 24491 24494 22159 0 -1 1077944384 27679 12856 0 0 1190 53 5 3 20 0 15 0 222061656 11348049920 316257 33554432000 4194304 4196468 140736434219520 140383839103504 140383982257877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24552] ppid=24491 vsize=11082080 memory=1265028 CPUtime=9.73 cores=1,3,5,7
/proc/24494/task/24552/stat : 24552 (java) S 24491 24494 22159 0 -1 1077944384 22116 12856 0 0 917 48 5 3 20 0 15 0 222061658 11348049920 316257 33554432000 4194304 4196468 140736434219520 140383407245936 140383982258818 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24553] ppid=24491 vsize=11082080 memory=33328 CPUtime=0.08 cores=1,3,5,7
/proc/24494/task/24553/stat : 24553 (java) S 24491 24494 22159 0 -1 1077944384 22 12856 0 0 0 0 5 3 20 0 15 0 222061658 11348049920 316257 33554432000 4194304 4196468 140736434219520 140382764524896 140383982257877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24554] ppid=24491 vsize=11082080 memory=3296 CPUtime=0.08 cores=1,3,5,7
/proc/24494/task/24554/stat : 24554 (java) S 24491 24494 22159 0 -1 1077944384 8 12856 0 0 0 0 5 3 20 0 15 0 222061658 11348049920 316257 33554432000 4194304 4196468 140736434219520 140382616675968 140383982257877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24555] ppid=24491 vsize=11082080 memory=1265028 CPUtime=0.08 cores=1,3,5,7
/proc/24494/task/24555/stat : 24555 (java) S 24491 24494 22159 0 -1 1077944384 3 12856 0 0 0 0 5 3 20 0 15 0 222061661 11348049920 316257 33554432000 4194304 4196468 140736434219520 140382309276240 140383982266267 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24556] ppid=24491 vsize=11082080 memory=1265028 CPUtime=13.47 cores=1,3,5,7
/proc/24494/task/24556/stat : 24556 (java) S 24491 24494 22159 0 -1 1077944384 89323 12856 0 0 1329 10 5 3 20 0 15 0 222061661 11348049920 316257 33554432000 4194304 4196468 140736434219520 140383406192752 140383982258818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24557] ppid=24491 vsize=11082080 memory=280805901936608 CPUtime=12.79 cores=1,3,5,7
/proc/24494/task/24557/stat : 24557 (java) S 24491 24494 22159 0 -1 1077944384 72767 12856 0 0 1260 11 5 3 20 0 15 0 222061661 11348049920 316257 33554432000 4194304 4196468 140736434219520 140383405139952 140383982258818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24558] ppid=24491 vsize=11082080 memory=140402951428705 CPUtime=5.21 cores=1,3,5,7
/proc/24494/task/24558/stat : 24558 (java) S 24491 24494 22159 0 -1 1077944384 84189 12856 0 0 501 12 5 3 20 0 15 0 222061661 11348049920 316257 33554432000 4194304 4196468 140736434219520 140383404087664 140383982258818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24559] ppid=24491 vsize=11082080 memory=1265028 CPUtime=0.08 cores=1,3,5,7
/proc/24494/task/24559/stat : 24559 (java) S 24491 24494 22159 0 -1 1077944384 3 12856 0 0 0 0 5 3 20 0 15 0 222061661 11348049920 316257 33554432000 4194304 4196468 140736434219520 140381878479328 140383982257877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24560] ppid=24491 vsize=11082080 memory=1265028 CPUtime=1.38 cores=1,3,5,7
/proc/24494/task/24560/stat : 24560 (java) S 24491 24494 22159 0 -1 1077944384 3346 12856 0 0 66 64 5 3 20 0 15 0 222061661 11348049920 316257 33554432000 4194304 4196468 140736434219520 140383403035568 140383982258818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
Current children cumulated CPU time: 2450.19 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1265028 KiB

[startup+2442.3 s]
/proc/loadavg: 1.17 1.32 1.37 3/215 24657
/proc/meminfo: memFree=26229172/32770624 swapFree=67108804/67108860
[pid=24494] ppid=24491 vsize=11082080 memory=1265664 CPUtime=2511.21 cores=1,3,5,7
/proc/24494/stat : 24494 (java) S 24491 24494 22159 0 -1 1077944320 484872 12856 0 0 250745 368 5 3 20 0 15 0 222061645 11348049920 316416 33554432000 4194304 4196468 140736434219520 140736434202064 140383982247671 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
/proc/24494/statm: 2770520 316416 3534 1 0 2732173 0
[pid=24494/tid=24547] ppid=24491 vsize=11082080 memory=1265664 CPUtime=2417.53 cores=1,3,5,7
/proc/24494/task/24547/stat : 24547 (java) R 24491 24494 22159 0 -1 4202560 108395 12856 0 0 241688 57 5 3 20 0 15 0 222061655 11348049920 316416 33554432000 4194304 4196468 140736434219520 140383954082960 140383520391076 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24548] ppid=24491 vsize=11082080 memory=1265664 CPUtime=12.81 cores=1,3,5,7
/proc/24494/task/24548/stat : 24548 (java) S 24491 24494 22159 0 -1 1077944384 22994 12856 0 0 1221 52 5 3 20 0 15 0 222061656 11348049920 316416 33554432000 4194304 4196468 140736434219520 140383986489744 140383982257877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24549] ppid=24491 vsize=11082080 memory=1265028 CPUtime=12.87 cores=1,3,5,7
/proc/24494/task/24549/stat : 24549 (java) S 24491 24494 22159 0 -1 1077944384 24001 12856 0 0 1224 55 5 3 20 0 15 0 222061656 11348049920 316416 33554432000 4194304 4196468 140736434219520 140383841208592 140383982257877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24550] ppid=24491 vsize=11082080 memory=1265664 CPUtime=12.88 cores=1,3,5,7
/proc/24494/task/24550/stat : 24550 (java) S 24491 24494 22159 0 -1 1077944384 27567 12856 0 0 1230 50 5 3 20 0 15 0 222061656 11348049920 316416 33554432000 4194304 4196468 140736434219520 140383840156304 140383982257877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24551] ppid=24491 vsize=11082080 memory=1265664 CPUtime=12.85 cores=1,3,5,7
/proc/24494/task/24551/stat : 24551 (java) S 24491 24494 22159 0 -1 1077944384 27685 12856 0 0 1223 54 5 3 20 0 15 0 222061656 11348049920 316416 33554432000 4194304 4196468 140736434219520 140383839103504 140383982257877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24552] ppid=24491 vsize=11082080 memory=1600 CPUtime=9.99 cores=1,3,5,7
/proc/24494/task/24552/stat : 24552 (java) S 24491 24494 22159 0 -1 1077944384 22355 12856 0 0 942 49 5 3 20 0 15 0 222061658 11348049920 316416 33554432000 4194304 4196468 140736434219520 140383407245936 140383982258818 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24553] ppid=24491 vsize=11082080 memory=1265664 CPUtime=0.08 cores=1,3,5,7
/proc/24494/task/24553/stat : 24553 (java) S 24491 24494 22159 0 -1 1077944384 22 12856 0 0 0 0 5 3 20 0 15 0 222061658 11348049920 316416 33554432000 4194304 4196468 140736434219520 140382764524896 140383982257877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24554] ppid=24491 vsize=11082080 memory=1265664 CPUtime=0.08 cores=1,3,5,7
/proc/24494/task/24554/stat : 24554 (java) S 24491 24494 22159 0 -1 1077944384 8 12856 0 0 0 0 5 3 20 0 15 0 222061658 11348049920 316416 33554432000 4194304 4196468 140736434219520 140382616675968 140383982257877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24555] ppid=24491 vsize=11082080 memory=1265664 CPUtime=0.08 cores=1,3,5,7
/proc/24494/task/24555/stat : 24555 (java) S 24491 24494 22159 0 -1 1077944384 3 12856 0 0 0 0 5 3 20 0 15 0 222061661 11348049920 316416 33554432000 4194304 4196468 140736434219520 140382309276240 140383982266267 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24556] ppid=24491 vsize=11082080 memory=1265664 CPUtime=13.47 cores=1,3,5,7
/proc/24494/task/24556/stat : 24556 (java) S 24491 24494 22159 0 -1 1077944384 89326 12856 0 0 1329 10 5 3 20 0 15 0 222061661 11348049920 316416 33554432000 4194304 4196468 140736434219520 140383406192752 140383982258818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24557] ppid=24491 vsize=11082080 memory=1265664 CPUtime=12.79 cores=1,3,5,7
/proc/24494/task/24557/stat : 24557 (java) S 24491 24494 22159 0 -1 1077944384 72770 12856 0 0 1260 11 5 3 20 0 15 0 222061661 11348049920 316416 33554432000 4194304 4196468 140736434219520 140383405139952 140383982258818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24558] ppid=24491 vsize=11082080 memory=1265664 CPUtime=5.21 cores=1,3,5,7
/proc/24494/task/24558/stat : 24558 (java) S 24491 24494 22159 0 -1 1077944384 84191 12856 0 0 501 12 5 3 20 0 15 0 222061661 11348049920 316416 33554432000 4194304 4196468 140736434219520 140383404087664 140383982258818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24559] ppid=24491 vsize=11082080 memory=1265664 CPUtime=0.08 cores=1,3,5,7
/proc/24494/task/24559/stat : 24559 (java) S 24491 24494 22159 0 -1 1077944384 3 12856 0 0 0 0 5 3 20 0 15 0 222061661 11348049920 316416 33554432000 4194304 4196468 140736434219520 140381878479328 140383982257877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24560] ppid=24491 vsize=11082080 memory=1265664 CPUtime=1.42 cores=1,3,5,7
/proc/24494/task/24560/stat : 24560 (java) S 24491 24494 22159 0 -1 1077944384 3363 12856 0 0 68 66 5 3 20 0 15 0 222061661 11348049920 316416 33554432000 4194304 4196468 140736434219520 140383403035568 140383982258818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
Current children cumulated CPU time: 2511.21 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1265664 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2451 s]*
/proc/loadavg: 1.07 1.29 1.36 3/215 24657
/proc/meminfo: memFree=26229172/32770624 swapFree=67108804/67108860
[pid=24494] ppid=24491 vsize=11082080 memory=1265664 CPUtime=2520.05 cores=1,3,5,7
/proc/24494/stat : 24494 (java) S 24491 24494 22159 0 -1 1077944320 484989 12856 0 0 251629 368 5 3 20 0 15 0 222061645 11348049920 316416 33554432000 4194304 4196468 140736434219520 140736434202064 140383982247671 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
/proc/24494/statm: 2770520 316416 3534 1 0 2732173 0
[pid=24494/tid=24547] ppid=24491 vsize=11082080 memory=1398720917958146503 CPUtime=2426.14 cores=1,3,5,7
/proc/24494/task/24547/stat : 24547 (java) R 24491 24494 22159 0 -1 4202560 108455 12856 0 0 242549 57 5 3 20 0 15 0 222061655 11348049920 316416 33554432000 4194304 4196468 140736434219520 140383954081888 140383525993888 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24548] ppid=24491 vsize=11082080 memory=4872558044660077418 CPUtime=12.85 cores=1,3,5,7
/proc/24494/task/24548/stat : 24548 (java) S 24491 24494 22159 0 -1 1077944384 22994 12856 0 0 1225 52 5 3 20 0 15 0 222061656 11348049920 316416 33554432000 4194304 4196468 140736434219520 140383986489744 140383982257877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24549] ppid=24491 vsize=11082080 memory=0 CPUtime=12.92 cores=1,3,5,7
/proc/24494/task/24549/stat : 24549 (java) S 24491 24494 22159 0 -1 1077944384 24039 12856 0 0 1229 55 5 3 20 0 15 0 222061656 11348049920 316416 33554432000 4194304 4196468 140736434219520 140383841208592 140383982257877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24550] ppid=24491 vsize=11082080 memory=0 CPUtime=12.92 cores=1,3,5,7
/proc/24494/task/24550/stat : 24550 (java) S 24491 24494 22159 0 -1 1077944384 27569 12856 0 0 1234 50 5 3 20 0 15 0 222061656 11348049920 316416 33554432000 4194304 4196468 140736434219520 140383840156304 140383982257877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24551] ppid=24491 vsize=11082080 memory=0 CPUtime=12.9 cores=1,3,5,7
/proc/24494/task/24551/stat : 24551 (java) S 24491 24494 22159 0 -1 1077944384 27685 12856 0 0 1228 54 5 3 20 0 15 0 222061656 11348049920 316416 33554432000 4194304 4196468 140736434219520 140383839103504 140383982257877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24552] ppid=24491 vsize=11082080 memory=0 CPUtime=10.04 cores=1,3,5,7
/proc/24494/task/24552/stat : 24552 (java) S 24491 24494 22159 0 -1 1077944384 22372 12856 0 0 946 50 5 3 20 0 15 0 222061658 11348049920 316416 33554432000 4194304 4196468 140736434219520 140383407245936 140383982258818 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24553] ppid=24491 vsize=11082080 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24494/task/24553/stat : 24553 (java) S 24491 24494 22159 0 -1 1077944384 22 12856 0 0 0 0 5 3 20 0 15 0 222061658 11348049920 316416 33554432000 4194304 4196468 140736434219520 140382764524896 140383982257877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24554] ppid=24491 vsize=11082080 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24494/task/24554/stat : 24554 (java) S 24491 24494 22159 0 -1 1077944384 8 12856 0 0 0 0 5 3 20 0 15 0 222061658 11348049920 316416 33554432000 4194304 4196468 140736434219520 140382616675968 140383982257877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24555] ppid=24491 vsize=11082080 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24494/task/24555/stat : 24555 (java) S 24491 24494 22159 0 -1 1077944384 3 12856 0 0 0 0 5 3 20 0 15 0 222061661 11348049920 316416 33554432000 4194304 4196468 140736434219520 140382309276240 140383982266267 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24556] ppid=24491 vsize=11082080 memory=0 CPUtime=13.47 cores=1,3,5,7
/proc/24494/task/24556/stat : 24556 (java) S 24491 24494 22159 0 -1 1077944384 89326 12856 0 0 1329 10 5 3 20 0 15 0 222061661 11348049920 316416 33554432000 4194304 4196468 140736434219520 140383406192752 140383982258818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24557] ppid=24491 vsize=11082080 memory=0 CPUtime=12.79 cores=1,3,5,7
/proc/24494/task/24557/stat : 24557 (java) S 24491 24494 22159 0 -1 1077944384 72770 12856 0 0 1260 11 5 3 20 0 15 0 222061661 11348049920 316416 33554432000 4194304 4196468 140736434219520 140383405139952 140383982258818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24558] ppid=24491 vsize=11082080 memory=0 CPUtime=5.21 cores=1,3,5,7
/proc/24494/task/24558/stat : 24558 (java) S 24491 24494 22159 0 -1 1077944384 84191 12856 0 0 501 12 5 3 20 0 15 0 222061661 11348049920 316416 33554432000 4194304 4196468 140736434219520 140383404087664 140383982258818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24559] ppid=24491 vsize=11082080 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24494/task/24559/stat : 24559 (java) S 24491 24494 22159 0 -1 1077944384 3 12856 0 0 0 0 5 3 20 0 15 0 222061661 11348049920 316416 33554432000 4194304 4196468 140736434219520 140381878479328 140383982257877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
[pid=24494/tid=24560] ppid=24491 vsize=11082080 memory=-1 CPUtime=1.42 cores=1,3,5,7
/proc/24494/task/24560/stat : 24560 (java) S 24491 24494 22159 0 -1 1077944384 3363 12856 0 0 68 66 5 3 20 0 15 0 222061661 11348049920 316416 33554432000 4194304 4196468 140736434219520 140383403035568 140383982258818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18432000 140736434223725 140736434226524 140736434226524 140736434229199 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1265664 KiB

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

[startup+2451.04 s]
# the end of solver process 24494 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.37 s, system=3.72771 s

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

Child status: 143
Real time (s): 2451.04
CPU time (s): 2520.1
CPU user time (s): 2516.37
CPU system time (s): 3.72771
CPU usage (%): 102.818
Max. virtual memory (cumulated for all children) (KiB): 11082080
Max. memory (cumulated for all children) (KiB): 1445188

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.37
system time used= 3.72771
maximum resident set size= 1447236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 499174
page faults= 0
swaps= 0
block input operations= 8
block output operations= 3248
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 249365
involuntary context switches= 4677


# summary of solver processes directly reported to runsolver:
#   pid: 24494
#   total CPU time (s): 2520.1
#   total CPU user time (s): 2516.37
#   total CPU system time (s): 3.72771

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.2014 second user time and 25.6003 second system time

The end

Launcher Data 

Begin job on node105 at 2018-08-12 05:36:25
IDJOB=4304185
IDBENCH=141056
IDSOLVER=2780
FILE ID=node105/4304185-1534044985
RUNJOBID= node105-1534040018-23575
PBS_JOBID= 21036966
Free space on /tmp= 40704 MiB

SOLVER NAME= Concrete 3.9.2
BENCH NAME= XCSP18/NurseRostering/NurseRostering-17_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4304185-1534044985/watcher-4304185-1534044985 -o /tmp/evaluation-result-4304185-1534044985/solver-4304185-1534044985 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1534040018-23575 --watchdog 2580  bin/xcsp-3-concrete -J-Xss64M -randomseed=867768305 HOME/instance-4304185-1534044985.xml

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

MD5SUM BENCH= e10494f4d2f2bb4c080233ff8f9dca75
RANDOM SEED=867768305

node105.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.32
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.32
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.32
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.32
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:        28497684 kB
MemAvailable:   31786504 kB
Buffers:          104660 kB
Cached:          3441544 kB
SwapCached:           16 kB
Active:          1903668 kB
Inactive:        1815660 kB
Active(anon):     125684 kB
Inactive(anon):   100532 kB
Active(file):    1777984 kB
Inactive(file):  1715128 kB
Unevictable:        7376 kB
Mlocked:            7376 kB
SwapTotal:      67108860 kB
SwapFree:       67108804 kB
Dirty:             53684 kB
Writeback:             0 kB
AnonPages:        163456 kB
Mapped:            62652 kB
Shmem:             49748 kB
Slab:             250876 kB
SReclaimable:     223084 kB
SUnreclaim:        27792 kB
KernelStack:        3792 kB
PageTables:         5288 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1534296 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     49152 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

Free space on /tmp at the end= 40676 MiB
End job on node105 at 2018-08-12 06:17:16