Trace number 4292957

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.8 2018-06-13SAT (TO)6467 2520.12 2447.83

General information on the benchmark

NameNurseRostering/
NurseRostering-09_c18.xml
MD5SUM01a28a521b9bba3b9351b91d9c8d3e2f
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark2750
Best CPU time to get the best result obtained on this benchmark2520.08
Satisfiable
(Un)Satisfiability was proved
Number of variables1844
Number of constraints4787
Number of domains17
Minimum domain size1
Maximum domain size37
Distribution of domain sizes[{"size":1,"count":60},{"size":2,"count":376},{"size":3,"count":8},{"size":4,"count":7},{"size":5,"count":1014},{"size":6,"count":6},{"size":29,"count":121},{"size":37,"count":252}]
Minimum variable degree2
Maximum variable degree25
Distribution of variable degrees[{"degree":2,"count":692},{"degree":3,"count":144},{"degree":14,"count":14},{"degree":15,"count":38},{"degree":16,"count":18},{"degree":17,"count":15},{"degree":18,"count":42},{"degree":19,"count":59},{"degree":20,"count":68},{"degree":21,"count":132},{"degree":22,"count":199},{"degree":23,"count":238},{"degree":24,"count":163},{"degree":25,"count":22}]
Minimum constraint arity2
Maximum constraint arity72
Distribution of constraint arities[{"arity":2,"count":2474},{"arity":3,"count":936},{"arity":4,"count":186},{"arity":5,"count":180},{"arity":6,"count":690},{"arity":29,"count":180},{"arity":37,"count":140},{"arity":72,"count":1}]
Number of extensional constraints1112
Number of intensional constraints552
Distribution of constraint types[{"type":"extension","count":1112},{"type":"intension","count":552},{"type":"regular","count":1896},{"type":"sum","count":72},{"type":"count","count":1154},{"type":"instantiation","count":1}]
Optimization problemYES
Type of objectivemin SUM

Solver Data 

0.98/0.74	c Concrete v3.8.1528841891564 running
14.27/5.75	c 01:13:24.526 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 13924. 'extension(4, x[1][22]=[0‥4]) :: init: true :: relation: MDD 182926464, 9 edges, 5 vertices, 6 tuples
14.27/5.75	c 01:13:24.534 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 13948. 'extension(4, x[1][27]=[0‥4]) :: init: true :: relation: MDD 1914285129, 9 edges, 5 vertices, 6 tuples
14.27/5.75	c 01:13:24.535 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 13972. 'extension(4, x[1][35]=[0‥4]) :: init: true :: relation: MDD 805561728, 9 edges, 5 vertices, 6 tuples
14.27/5.75	c 01:13:24.537 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 13996. 'extension(x[0][10]=[0‥4], 4) :: init: true :: relation: MDD 104070545, 9 edges, 5 vertices, 6 tuples
14.27/5.75	c 01:13:24.538 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 13997. 'extension(4, x[2][10]=[0‥4]) :: init: true :: relation: MDD 104070545, 9 edges, 5 vertices, 6 tuples
14.27/5.76	c 01:13:24.541 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14025. 'extension(x[0][31]=[0‥4], 4) :: init: true :: relation: MDD 1089691218, 9 edges, 5 vertices, 6 tuples
14.27/5.76	c 01:13:24.542 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14053. 'extension(x[0][32]=[0‥4], 4) :: init: true :: relation: MDD 518290846, 9 edges, 5 vertices, 6 tuples
14.27/5.76	c 01:13:24.543 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14081. 'extension(x[1][6]=[0‥4], 4) :: init: true :: relation: MDD 245703044, 9 edges, 5 vertices, 6 tuples
14.27/5.76	c 01:13:24.544 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14112. 'extension(x[1][27]=[0‥4], 4) :: init: true :: relation: MDD 1914285129, 9 edges, 5 vertices, 6 tuples
14.27/5.76	c 01:13:24.545 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14113. 'extension(4, x[3][27]=[0‥4]) :: init: true :: relation: MDD 1914285129, 9 edges, 5 vertices, 6 tuples
14.27/5.76	c 01:13:24.547 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14141. 'extension(4, x[3][31]=[0‥4]) :: init: true :: relation: MDD 1089691218, 9 edges, 5 vertices, 6 tuples
14.27/5.77	c 01:13:24.548 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14144. 'extension(4, 4) :: init: true :: relation: MDD 1089691218, 9 edges, 5 vertices, 6 tuples
14.27/5.77	c 01:13:24.549 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14170. 'extension(4, x[3][32]=[0‥4]) :: init: true :: relation: MDD 518290846, 9 edges, 5 vertices, 6 tuples
14.27/5.77	c 01:13:24.550 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14173. 'extension(4, 4) :: init: true :: relation: MDD 518290846, 9 edges, 5 vertices, 6 tuples
14.27/5.77	c 01:13:24.552 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14199. 'extension(4, x[4][6]=[0‥4]) :: init: true :: relation: MDD 245703044, 9 edges, 5 vertices, 6 tuples
14.27/5.77	c 01:13:24.553 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14202. 'extension(4, 4) :: init: true :: relation: MDD 245703044, 9 edges, 5 vertices, 6 tuples
14.27/5.77	c 01:13:24.555 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14231. 'extension(x[2][9]=[0‥4], 4) :: init: true :: relation: MDD 2009139807, 9 edges, 5 vertices, 6 tuples
14.27/5.77	c 01:13:24.555 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14232. 'extension(4, x[4][9]=[0‥4]) :: init: true :: relation: MDD 2009139807, 9 edges, 5 vertices, 6 tuples
14.27/5.78	c 01:13:24.558 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14263. 'extension(x[2][18]=[0‥4], 4) :: init: true :: relation: MDD 1965269980, 9 edges, 5 vertices, 6 tuples
14.27/5.78	c 01:13:24.559 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14294. 'extension(x[2][20]=[0‥4], 4) :: init: true :: relation: MDD 213095762, 9 edges, 5 vertices, 6 tuples
14.27/5.78	c 01:13:24.560 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14295. 'extension(4, x[4][20]=[0‥4]) :: init: true :: relation: MDD 213095762, 9 edges, 5 vertices, 6 tuples
14.27/5.78	c 01:13:24.562 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14325. 'extension(4, x[5][18]=[0‥4]) :: init: true :: relation: MDD 1965269980, 9 edges, 5 vertices, 6 tuples
14.27/5.78	c 01:13:24.563 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14328. 'extension(4, 4) :: init: true :: relation: MDD 1965269980, 9 edges, 5 vertices, 6 tuples
14.27/5.78	c 01:13:24.565 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14357. 'extension(4, wk[26][0]=[0‥1]) :: init: true :: relation: MDD 31567969, 5 edges, 3 vertices, 4 tuples
14.27/5.78	c 01:13:24.565 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14358. 'extension(x[4][26]=[0‥4], 4) :: init: true :: relation: MDD 318020776, 9 edges, 5 vertices, 6 tuples
14.27/5.78	c 01:13:24.566 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14390. 'extension(4, wk[33][0]=[0‥1]) :: init: true :: relation: MDD 1463877470, 5 edges, 3 vertices, 4 tuples
14.27/5.79	c 01:13:24.567 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14391. 'extension(x[4][33]=[0‥4], 4) :: init: true :: relation: MDD 1504154691, 9 edges, 5 vertices, 6 tuples
14.27/5.79	c 01:13:24.568 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14423. 'extension(4, wk[11][0]=[0‥1]) :: init: true :: relation: MDD 839259983, 5 edges, 3 vertices, 4 tuples
14.27/5.79	c 01:13:24.569 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14424. 'extension(x[5][11]=[0‥4], 4) :: init: true :: relation: MDD 360628795, 9 edges, 5 vertices, 6 tuples
14.27/5.79	c 01:13:24.570 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14458. 'extension(4, wk[26][0]=[0‥1]) :: init: true :: relation: MDD 1250848393, 5 edges, 3 vertices, 4 tuples
14.27/5.79	c 01:13:24.570 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14459. 'extension(4, x[7][26]=[0‥4]) :: init: true :: relation: MDD 318020776, 9 edges, 5 vertices, 6 tuples
14.27/5.79	c 01:13:24.571 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14462. 'extension(4, 4) :: init: true :: relation: MDD 318020776, 9 edges, 5 vertices, 6 tuples
14.27/5.79	c 01:13:24.572 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14491. 'extension(4, wk[33][0]=[0‥1]) :: init: true :: relation: MDD 1744273262, 5 edges, 3 vertices, 4 tuples
14.27/5.79	c 01:13:24.573 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14492. 'extension(4, x[7][33]=[0‥4]) :: init: true :: relation: MDD 1504154691, 9 edges, 5 vertices, 6 tuples
14.27/5.79	c 01:13:24.574 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14495. 'extension(4, 4) :: init: true :: relation: MDD 1504154691, 9 edges, 5 vertices, 6 tuples
14.27/5.79	c 01:13:24.575 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14524. 'extension(4, x[8][11]=[0‥4]) :: init: true :: relation: MDD 360628795, 9 edges, 5 vertices, 6 tuples
14.27/5.79	c 01:13:24.576 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14527. 'extension(4, 4) :: init: true :: relation: MDD 360628795, 9 edges, 5 vertices, 6 tuples
14.59/5.80	c 01:13:24.579 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14558. 'extension(x[6][15]=[0‥4], 4) :: init: true :: relation: MDD 2100487956, 9 edges, 5 vertices, 6 tuples
14.59/5.80	c 01:13:24.579 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14559. 'extension(4, x[8][15]=[0‥4]) :: init: true :: relation: MDD 2100487956, 9 edges, 5 vertices, 6 tuples
14.59/5.80	c 01:13:24.582 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14592. 'extension(x[6][25]=[0‥4], 4) :: init: true :: relation: MDD 907721985, 9 edges, 5 vertices, 6 tuples
14.59/5.80	c 01:13:24.583 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14625. 'extension(x[6][28]=[0‥4], 4) :: init: true :: relation: MDD 1562251195, 9 edges, 5 vertices, 6 tuples
14.59/5.80	c 01:13:24.583 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14626. 'extension(4, x[8][28]=[0‥4]) :: init: true :: relation: MDD 1562251195, 9 edges, 5 vertices, 6 tuples
14.59/5.80	c 01:13:24.585 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14657. 'extension(x[7][8]=[0‥4], 4) :: init: true :: relation: MDD 1005344801, 9 edges, 5 vertices, 6 tuples
14.59/5.80	c 01:13:24.585 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14658. 'extension(4, x[9][8]=[0‥4]) :: init: true :: relation: MDD 1005344801, 9 edges, 5 vertices, 6 tuples
14.59/5.80	c 01:13:24.587 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14691. 'extension(4, x[9][25]=[0‥4]) :: init: true :: relation: MDD 907721985, 9 edges, 5 vertices, 6 tuples
14.59/5.81	c 01:13:24.588 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14694. 'extension(4, 4) :: init: true :: relation: MDD 907721985, 9 edges, 5 vertices, 6 tuples
14.59/5.81	c 01:13:24.590 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14724. 'extension(x[8][1]=[0‥4], 4) :: init: true :: relation: MDD 1339858954, 9 edges, 5 vertices, 6 tuples
14.59/5.82	c 01:13:24.592 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14758. 'extension(4, x[11][1]=[0‥4]) :: init: true :: relation: MDD 1339858954, 9 edges, 5 vertices, 6 tuples
14.59/5.82	c 01:13:24.593 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14761. 'extension(4, 4) :: init: true :: relation: MDD 1339858954, 9 edges, 5 vertices, 6 tuples
14.59/5.82	c 01:13:24.595 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14792. 'extension(x[9][35]=[0‥4], 4) :: init: true :: relation: MDD 805561728, 9 edges, 5 vertices, 6 tuples
14.59/5.82	c 01:13:24.595 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14793. 'extension(4, x[11][35]=[0‥4]) :: init: true :: relation: MDD 805561728, 9 edges, 5 vertices, 6 tuples
14.59/5.82	c 01:13:24.597 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14824. 'extension(x[10][14]=[0‥4], 4) :: init: true :: relation: MDD 234430897, 9 edges, 5 vertices, 6 tuples
14.59/5.82	c 01:13:24.598 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14858. 'extension(x[10][24]=[0‥4], 4) :: init: true :: relation: MDD 629078509, 9 edges, 5 vertices, 6 tuples
14.59/5.82	c 01:13:24.600 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14891. 'extension(4, wk[14][1]=[0‥1]) :: init: true :: relation: MDD 1195403585, 5 edges, 3 vertices, 4 tuples
14.59/5.82	c 01:13:24.600 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14892. 'extension(4, x[13][14]=[0‥4]) :: init: true :: relation: MDD 234430897, 9 edges, 5 vertices, 6 tuples
14.59/5.82	c 01:13:24.601 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14895. 'extension(4, 4) :: init: true :: relation: MDD 234430897, 9 edges, 5 vertices, 6 tuples
14.59/5.82	c 01:13:24.603 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14926. 'extension(4, wk[15][1]=[0‥1]) :: init: true :: relation: MDD 1730813026, 5 edges, 3 vertices, 4 tuples
14.59/5.82	c 01:13:24.603 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14927. 'extension(x[11][15]=[0‥4], 4) :: init: true :: relation: MDD 2100487956, 9 edges, 5 vertices, 6 tuples
14.59/5.82	c 01:13:24.604 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14928. 'extension(4, x[13][15]=[0‥4]) :: init: true :: relation: MDD 2100487956, 9 edges, 5 vertices, 6 tuples
14.59/5.82	c 01:13:24.606 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14961. 'extension(4, wk[24][1]=[0‥1]) :: init: true :: relation: MDD 1189496672, 5 edges, 3 vertices, 4 tuples
14.59/5.83	c 01:13:24.606 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14962. 'extension(4, x[13][24]=[0‥4]) :: init: true :: relation: MDD 629078509, 9 edges, 5 vertices, 6 tuples
14.59/5.83	c 01:13:24.607 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14965. 'extension(4, 4) :: init: true :: relation: MDD 629078509, 9 edges, 5 vertices, 6 tuples
14.59/5.83	c 01:13:24.609 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14995. 'extension(4, wk[3][1]=[0‥1]) :: init: true :: relation: MDD 1781297535, 5 edges, 3 vertices, 4 tuples
14.59/5.83	c 01:13:24.609 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14996. 'extension(x[12][3]=[0‥4], 4) :: init: true :: relation: MDD 1432687668, 9 edges, 5 vertices, 6 tuples
14.59/5.83	c 01:13:24.610 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15030. 'extension(4, wk[30][1]=[0‥1]) :: init: true :: relation: MDD 1985828309, 5 edges, 3 vertices, 4 tuples
14.59/5.83	c 01:13:24.610 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15031. 'extension(x[12][30]=[0‥4], 4) :: init: true :: relation: MDD 1060563153, 9 edges, 5 vertices, 6 tuples
14.59/5.83	c 01:13:24.611 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15063. 'extension(4, wk[34][1]=[0‥1]) :: init: true :: relation: MDD 688819371, 5 edges, 3 vertices, 4 tuples
14.59/5.83	c 01:13:24.611 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15064. 'extension(x[12][34]=[0‥4], 4) :: init: true :: relation: MDD 45320991, 9 edges, 5 vertices, 6 tuples
14.59/5.83	c 01:13:24.613 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15096. 'extension(4, x[15][3]=[0‥4]) :: init: true :: relation: MDD 1432687668, 9 edges, 5 vertices, 6 tuples
14.59/5.83	c 01:13:24.613 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15099. 'extension(4, 4) :: init: true :: relation: MDD 1432687668, 9 edges, 5 vertices, 6 tuples
14.59/5.83	c 01:13:24.615 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15130. 'extension(x[13][5]=[0‥4], 4) :: init: true :: relation: MDD 1977652583, 9 edges, 5 vertices, 6 tuples
14.59/5.83	c 01:13:24.616 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15164. 'extension(x[13][17]=[0‥4], 4) :: init: true :: relation: MDD 1476116591, 9 edges, 5 vertices, 6 tuples
14.59/5.83	c 01:13:24.616 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15197. 'extension(x[13][20]=[0‥4], 4) :: init: true :: relation: MDD 213095762, 9 edges, 5 vertices, 6 tuples
14.59/5.83	c 01:13:24.617 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15198. 'extension(4, x[15][20]=[0‥4]) :: init: true :: relation: MDD 213095762, 9 edges, 5 vertices, 6 tuples
14.59/5.84	c 01:13:24.619 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15230. 'extension(x[13][22]=[0‥4], 4) :: init: true :: relation: MDD 182926464, 9 edges, 5 vertices, 6 tuples
14.59/5.84	c 01:13:24.619 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15231. 'extension(4, x[15][22]=[0‥4]) :: init: true :: relation: MDD 182926464, 9 edges, 5 vertices, 6 tuples
14.59/5.84	c 01:13:24.621 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15263. 'extension(4, x[15][30]=[0‥4]) :: init: true :: relation: MDD 1060563153, 9 edges, 5 vertices, 6 tuples
14.59/5.84	c 01:13:24.621 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15266. 'extension(4, 4) :: init: true :: relation: MDD 1060563153, 9 edges, 5 vertices, 6 tuples
14.59/5.84	c 01:13:24.622 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15295. 'extension(4, x[15][34]=[0‥4]) :: init: true :: relation: MDD 45320991, 9 edges, 5 vertices, 6 tuples
14.59/5.84	c 01:13:24.623 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15298. 'extension(4, 4) :: init: true :: relation: MDD 45320991, 9 edges, 5 vertices, 6 tuples
14.59/5.84	c 01:13:24.624 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15327. 'extension(x[14][0]=[0‥4], 4) :: init: true :: relation: MDD 805536380, 9 edges, 5 vertices, 6 tuples
14.59/5.85	c 01:13:24.625 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15328. 'extension(4, x[16][0]=[0‥4]) :: init: true :: relation: MDD 805536380, 9 edges, 5 vertices, 6 tuples
14.59/5.85	c 01:13:24.626 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15361. 'extension(4, x[16][5]=[0‥4]) :: init: true :: relation: MDD 1977652583, 9 edges, 5 vertices, 6 tuples
14.59/5.85	c 01:13:24.627 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15364. 'extension(4, 4) :: init: true :: relation: MDD 1977652583, 9 edges, 5 vertices, 6 tuples
14.59/5.85	c 01:13:24.629 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15395. 'extension(4, x[16][17]=[0‥4]) :: init: true :: relation: MDD 1476116591, 9 edges, 5 vertices, 6 tuples
14.59/5.85	c 01:13:24.629 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15398. 'extension(4, 4) :: init: true :: relation: MDD 1476116591, 9 edges, 5 vertices, 6 tuples
14.59/5.85	c 01:13:24.630 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15428. 'extension(x[14][28]=[0‥4], 4) :: init: true :: relation: MDD 1562251195, 9 edges, 5 vertices, 6 tuples
14.59/5.85	c 01:13:24.631 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15429. 'extension(4, x[16][28]=[0‥4]) :: init: true :: relation: MDD 1562251195, 9 edges, 5 vertices, 6 tuples
14.59/5.85	c 01:13:24.632 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15460. 'extension(x[15][23]=[0‥4], 4) :: init: true :: relation: MDD 1939282277, 9 edges, 5 vertices, 6 tuples
14.59/5.85	c 01:13:24.633 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15461. 'extension(4, x[17][23]=[0‥4]) :: init: true :: relation: MDD 1939282277, 9 edges, 5 vertices, 6 tuples
14.59/5.85	c 01:13:24.635 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15493. 'extension(x[16][4]=[0‥4], 4) :: init: true :: relation: MDD 722321959, 9 edges, 5 vertices, 6 tuples
14.59/5.85	c 01:13:24.635 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15494. 'extension(4, x[18][4]=[0‥4]) :: init: true :: relation: MDD 722321959, 9 edges, 5 vertices, 6 tuples
14.59/5.85	c 01:13:24.637 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15527. 'extension(x[17][0]=[0‥4], 4) :: init: true :: relation: MDD 805536380, 9 edges, 5 vertices, 6 tuples
14.59/5.85	c 01:13:24.637 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15528. 'extension(4, x[19][0]=[0‥4]) :: init: true :: relation: MDD 805536380, 9 edges, 5 vertices, 6 tuples
14.59/5.86	c 01:13:24.639 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15561. 'extension(x[17][7]=[0‥4], 4) :: init: true :: relation: MDD 441451873, 9 edges, 5 vertices, 6 tuples
14.59/5.86	c 01:13:24.640 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15595. 'extension(x[17][8]=[0‥4], 4) :: init: true :: relation: MDD 1005344801, 9 edges, 5 vertices, 6 tuples
14.59/5.86	c 01:13:24.640 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15596. 'extension(4, x[19][8]=[0‥4]) :: init: true :: relation: MDD 1005344801, 9 edges, 5 vertices, 6 tuples
14.59/5.86	c 01:13:24.643 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15629. 'extension(4, wk[7][2]=[0‥1]) :: init: true :: relation: MDD 1357944757, 5 edges, 3 vertices, 4 tuples
14.59/5.86	c 01:13:24.643 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15630. 'extension(4, x[20][7]=[0‥4]) :: init: true :: relation: MDD 441451873, 9 edges, 5 vertices, 6 tuples
14.59/5.86	c 01:13:24.643 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15633. 'extension(4, 4) :: init: true :: relation: MDD 441451873, 9 edges, 5 vertices, 6 tuples
14.59/5.86	c 01:13:24.645 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15664. 'extension(x[20][12]=[0‥4], 4) :: init: true :: relation: MDD 828831332, 9 edges, 5 vertices, 6 tuples
14.59/5.86	c 01:13:24.646 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15698. 'extension(x[20][23]=[0‥4], 4) :: init: true :: relation: MDD 1939282277, 9 edges, 5 vertices, 6 tuples
14.59/5.86	c 01:13:24.646 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15699. 'extension(4, x[22][23]=[0‥4]) :: init: true :: relation: MDD 1939282277, 9 edges, 5 vertices, 6 tuples
14.59/5.87	c 01:13:24.648 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15731. 'extension(x[21][9]=[0‥4], 4) :: init: true :: relation: MDD 2009139807, 9 edges, 5 vertices, 6 tuples
14.59/5.87	c 01:13:24.649 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15732. 'extension(4, x[23][9]=[0‥4]) :: init: true :: relation: MDD 2009139807, 9 edges, 5 vertices, 6 tuples
14.59/5.87	c 01:13:24.651 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15765. 'extension(4, x[23][12]=[0‥4]) :: init: true :: relation: MDD 828831332, 9 edges, 5 vertices, 6 tuples
14.59/5.87	c 01:13:24.651 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15768. 'extension(4, 4) :: init: true :: relation: MDD 828831332, 9 edges, 5 vertices, 6 tuples
14.59/5.87	c 01:13:24.653 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15799. 'extension(x[21][13]=[0‥4], 4) :: init: true :: relation: MDD 1621202291, 9 edges, 5 vertices, 6 tuples
14.59/5.87	c 01:13:24.653 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15800. 'extension(4, x[23][13]=[0‥4]) :: init: true :: relation: MDD 1621202291, 9 edges, 5 vertices, 6 tuples
14.59/5.87	c 01:13:24.654 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15833. 'extension(x[21][21]=[0‥4], 4) :: init: true :: relation: MDD 2078992278, 9 edges, 5 vertices, 6 tuples
14.59/5.87	c 01:13:24.655 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15866. 'extension(x[22][4]=[0‥4], 4) :: init: true :: relation: MDD 722321959, 9 edges, 5 vertices, 6 tuples
14.59/5.87	c 01:13:24.656 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15867. 'extension(4, x[24][4]=[0‥4]) :: init: true :: relation: MDD 722321959, 9 edges, 5 vertices, 6 tuples
14.59/5.87	c 01:13:24.657 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15899. 'extension(4, x[24][21]=[0‥4]) :: init: true :: relation: MDD 2078992278, 9 edges, 5 vertices, 6 tuples
14.59/5.88	c 01:13:24.658 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15902. 'extension(4, 4) :: init: true :: relation: MDD 2078992278, 9 edges, 5 vertices, 6 tuples
14.59/5.88	c 01:13:24.659 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15931. 'extension(x[23][2]=[0‥4], 4) :: init: true :: relation: MDD 295372946, 9 edges, 5 vertices, 6 tuples
14.59/5.88	c 01:13:24.660 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15963. 'extension(x[23][16]=[0‥4], 4) :: init: true :: relation: MDD 1920147706, 9 edges, 5 vertices, 6 tuples
14.59/5.88	c 01:13:24.661 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15994. 'extension(x[23][29]=[0‥4], 4) :: init: true :: relation: MDD 309790180, 9 edges, 5 vertices, 6 tuples
14.59/5.88	c 01:13:24.662 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16024. 'extension(4, x[26][2]=[0‥4]) :: init: true :: relation: MDD 295372946, 9 edges, 5 vertices, 6 tuples
14.59/5.88	c 01:13:24.662 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16027. 'extension(4, 4) :: init: true :: relation: MDD 295372946, 9 edges, 5 vertices, 6 tuples
14.59/5.88	c 01:13:24.664 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16055. 'extension(x[24][10]=[0‥4], 4) :: init: true :: relation: MDD 104070545, 9 edges, 5 vertices, 6 tuples
14.59/5.88	c 01:13:24.664 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16056. 'extension(4, x[26][10]=[0‥4]) :: init: true :: relation: MDD 104070545, 9 edges, 5 vertices, 6 tuples
14.59/5.88	c 01:13:24.666 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16086. 'extension(x[24][13]=[0‥4], 4) :: init: true :: relation: MDD 1621202291, 9 edges, 5 vertices, 6 tuples
14.59/5.88	c 01:13:24.666 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16087. 'extension(4, x[26][13]=[0‥4]) :: init: true :: relation: MDD 1621202291, 9 edges, 5 vertices, 6 tuples
14.59/5.89	c 01:13:24.668 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16117. 'extension(4, x[26][16]=[0‥4]) :: init: true :: relation: MDD 1920147706, 9 edges, 5 vertices, 6 tuples
14.59/5.89	c 01:13:24.669 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16120. 'extension(4, 4) :: init: true :: relation: MDD 1920147706, 9 edges, 5 vertices, 6 tuples
14.59/5.89	c 01:13:24.670 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16147. 'extension(x[24][19]=[0‥4], 4) :: init: true :: relation: MDD 1977776214, 9 edges, 5 vertices, 6 tuples
14.59/5.89	c 01:13:24.670 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16177. 'extension(4, x[26][29]=[0‥4]) :: init: true :: relation: MDD 309790180, 9 edges, 5 vertices, 6 tuples
14.59/5.89	c 01:13:24.671 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16180. 'extension(4, 4) :: init: true :: relation: MDD 309790180, 9 edges, 5 vertices, 6 tuples
14.59/5.89	c 01:13:24.672 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16206. 'extension(4, wk[19][3]=[0‥1]) :: init: true :: relation: MDD 2094770768, 5 edges, 3 vertices, 4 tuples
14.59/5.89	c 01:13:24.672 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16207. 'extension(4, x[27][19]=[0‥4]) :: init: true :: relation: MDD 1977776214, 9 edges, 5 vertices, 6 tuples
14.59/5.89	c 01:13:24.673 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16209. 'extension(4, 4) :: init: true :: relation: MDD 1977776214, 9 edges, 5 vertices, 6 tuples
14.93/5.96	c 01:13:24.746 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17740. 'extension(x[1][22]=[0‥4]) :: init: true :: relation: Empty MDD
14.93/5.96	c 01:13:24.747 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17746. 'extension(x[1][27]=[0‥4]) :: init: true :: relation: Empty MDD
14.93/5.96	c 01:13:24.747 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17752. 'extension(x[1][35]=[0‥4]) :: init: true :: relation: Empty MDD
14.93/5.96	c 01:13:24.747 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17758. 'extension(x[0][10]=[0‥4]) :: init: true :: relation: Empty MDD
14.93/5.96	c 01:13:24.748 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17760. 'extension(x[2][10]=[0‥4]) :: init: true :: relation: Empty MDD
14.93/5.97	c 01:13:24.748 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17772. 'extension(x[0][31]=[0‥4]) :: init: true :: relation: Empty MDD
14.93/5.97	c 01:13:24.748 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17778. 'extension(x[0][32]=[0‥4]) :: init: true :: relation: Empty MDD
14.93/5.97	c 01:13:24.749 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17784. 'extension(x[1][6]=[0‥4]) :: init: true :: relation: Empty MDD
14.93/5.97	c 01:13:24.749 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17790. 'extension(x[1][27]=[0‥4]) :: init: true :: relation: Empty MDD
14.93/5.97	c 01:13:24.749 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17792. 'extension(x[3][27]=[0‥4]) :: init: true :: relation: Empty MDD
14.93/5.97	c 01:13:24.750 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17802. 'extension(x[3][31]=[0‥4]) :: init: true :: relation: Empty MDD
14.93/5.97	c 01:13:24.750 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17808. 'extension(x[3][32]=[0‥4]) :: init: true :: relation: Empty MDD
14.93/5.97	c 01:13:24.750 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17814. 'extension(x[4][6]=[0‥4]) :: init: true :: relation: Empty MDD
14.93/5.97	c 01:13:24.751 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17828. 'extension(x[2][9]=[0‥4]) :: init: true :: relation: Empty MDD
14.93/5.97	c 01:13:24.751 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17830. 'extension(x[4][9]=[0‥4]) :: init: true :: relation: Empty MDD
14.93/5.97	c 01:13:24.752 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17844. 'extension(x[2][18]=[0‥4]) :: init: true :: relation: Empty MDD
14.93/5.97	c 01:13:24.753 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17850. 'extension(x[2][20]=[0‥4]) :: init: true :: relation: Empty MDD
14.93/5.97	c 01:13:24.753 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17852. 'extension(x[4][20]=[0‥4]) :: init: true :: relation: Empty MDD
14.93/5.97	c 01:13:24.753 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17864. 'extension(x[5][18]=[0‥4]) :: init: true :: relation: Empty MDD
14.93/5.97	c 01:13:24.754 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17874. 'extension(wk[26][0]=[0‥1]) :: init: true :: relation: Empty MDD
14.93/5.97	c 01:13:24.754 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17876. 'extension(x[4][26]=[0‥4]) :: init: true :: relation: Empty MDD
14.93/5.97	c 01:13:24.754 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17882. 'extension(wk[33][0]=[0‥1]) :: init: true :: relation: Empty MDD
14.93/5.97	c 01:13:24.755 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17884. 'extension(x[4][33]=[0‥4]) :: init: true :: relation: Empty MDD
14.93/5.97	c 01:13:24.755 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17890. 'extension(wk[11][0]=[0‥1]) :: init: true :: relation: Empty MDD
14.93/5.97	c 01:13:24.755 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17892. 'extension(x[5][11]=[0‥4]) :: init: true :: relation: Empty MDD
14.93/5.97	c 01:13:24.755 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17898. 'extension(wk[26][0]=[0‥1]) :: init: true :: relation: Empty MDD
14.93/5.97	c 01:13:24.756 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17900. 'extension(x[7][26]=[0‥4]) :: init: true :: relation: Empty MDD
14.93/5.97	c 01:13:24.756 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17906. 'extension(wk[33][0]=[0‥1]) :: init: true :: relation: Empty MDD
14.93/5.97	c 01:13:24.756 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17908. 'extension(x[7][33]=[0‥4]) :: init: true :: relation: Empty MDD
14.93/5.97	c 01:13:24.757 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17914. 'extension(x[8][11]=[0‥4]) :: init: true :: relation: Empty MDD
14.93/5.97	c 01:13:24.757 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17930. 'extension(x[6][15]=[0‥4]) :: init: true :: relation: Empty MDD
14.93/5.97	c 01:13:24.757 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17932. 'extension(x[8][15]=[0‥4]) :: init: true :: relation: Empty MDD
14.93/5.98	c 01:13:24.758 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17948. 'extension(x[6][25]=[0‥4]) :: init: true :: relation: Empty MDD
14.93/5.98	c 01:13:24.758 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17954. 'extension(x[6][28]=[0‥4]) :: init: true :: relation: Empty MDD
14.93/5.98	c 01:13:24.759 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17956. 'extension(x[8][28]=[0‥4]) :: init: true :: relation: Empty MDD
14.93/5.98	c 01:13:24.759 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17966. 'extension(x[7][8]=[0‥4]) :: init: true :: relation: Empty MDD
14.93/5.98	c 01:13:24.759 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17968. 'extension(x[9][8]=[0‥4]) :: init: true :: relation: Empty MDD
14.93/5.98	c 01:13:24.760 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17982. 'extension(x[9][25]=[0‥4]) :: init: true :: relation: Empty MDD
14.93/5.98	c 01:13:24.760 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17992. 'extension(x[8][1]=[0‥4]) :: init: true :: relation: Empty MDD
14.93/5.98	c 01:13:24.761 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17998. 'extension(x[11][1]=[0‥4]) :: init: true :: relation: Empty MDD
14.93/5.98	c 01:13:24.761 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18012. 'extension(x[9][35]=[0‥4]) :: init: true :: relation: Empty MDD
14.93/5.98	c 01:13:24.762 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18014. 'extension(x[11][35]=[0‥4]) :: init: true :: relation: Empty MDD
14.93/5.98	c 01:13:24.762 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18024. 'extension(x[10][14]=[0‥4]) :: init: true :: relation: Empty MDD
14.93/5.98	c 01:13:24.762 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18030. 'extension(x[10][24]=[0‥4]) :: init: true :: relation: Empty MDD
14.93/5.98	c 01:13:24.763 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18036. 'extension(wk[14][1]=[0‥1]) :: init: true :: relation: Empty MDD
14.93/5.98	c 01:13:24.763 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18038. 'extension(x[13][14]=[0‥4]) :: init: true :: relation: Empty MDD
14.93/5.98	c 01:13:24.764 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18054. 'extension(wk[15][1]=[0‥1]) :: init: true :: relation: Empty MDD
14.93/5.98	c 01:13:24.764 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18056. 'extension(x[11][15]=[0‥4]) :: init: true :: relation: Empty MDD
14.93/5.98	c 01:13:24.764 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18058. 'extension(x[13][15]=[0‥4]) :: init: true :: relation: Empty MDD
14.93/5.98	c 01:13:24.765 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18074. 'extension(wk[24][1]=[0‥1]) :: init: true :: relation: Empty MDD
14.93/5.98	c 01:13:24.765 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18076. 'extension(x[13][24]=[0‥4]) :: init: true :: relation: Empty MDD
14.93/5.98	c 01:13:24.765 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18086. 'extension(wk[3][1]=[0‥1]) :: init: true :: relation: Empty MDD
14.93/5.98	c 01:13:24.766 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18088. 'extension(x[12][3]=[0‥4]) :: init: true :: relation: Empty MDD
14.93/5.98	c 01:13:24.766 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18094. 'extension(wk[30][1]=[0‥1]) :: init: true :: relation: Empty MDD
14.93/5.98	c 01:13:24.766 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18096. 'extension(x[12][30]=[0‥4]) :: init: true :: relation: Empty MDD
14.93/5.98	c 01:13:24.766 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18102. 'extension(wk[34][1]=[0‥1]) :: init: true :: relation: Empty MDD
14.93/5.98	c 01:13:24.767 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18104. 'extension(x[12][34]=[0‥4]) :: init: true :: relation: Empty MDD
14.93/5.98	c 01:13:24.767 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18110. 'extension(x[15][3]=[0‥4]) :: init: true :: relation: Empty MDD
14.93/5.98	c 01:13:24.768 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18124. 'extension(x[13][5]=[0‥4]) :: init: true :: relation: Empty MDD
14.93/5.99	c 01:13:24.768 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18130. 'extension(x[13][17]=[0‥4]) :: init: true :: relation: Empty MDD
14.93/6.00	c 01:13:24.768 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18136. 'extension(x[13][20]=[0‥4]) :: init: true :: relation: Empty MDD
14.93/6.00	c 01:13:24.769 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18138. 'extension(x[15][20]=[0‥4]) :: init: true :: relation: Empty MDD
14.93/6.00	c 01:13:24.769 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18150. 'extension(x[13][22]=[0‥4]) :: init: true :: relation: Empty MDD
14.93/6.00	c 01:13:24.769 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18152. 'extension(x[15][22]=[0‥4]) :: init: true :: relation: Empty MDD
14.93/6.00	c 01:13:24.770 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18164. 'extension(x[15][30]=[0‥4]) :: init: true :: relation: Empty MDD
14.93/6.00	c 01:13:24.770 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18170. 'extension(x[15][34]=[0‥4]) :: init: true :: relation: Empty MDD
14.93/6.00	c 01:13:24.771 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18176. 'extension(x[14][0]=[0‥4]) :: init: true :: relation: Empty MDD
14.93/6.00	c 01:13:24.771 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18178. 'extension(x[16][0]=[0‥4]) :: init: true :: relation: Empty MDD
14.93/6.00	c 01:13:24.771 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18192. 'extension(x[16][5]=[0‥4]) :: init: true :: relation: Empty MDD
14.93/6.00	c 01:13:24.772 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18206. 'extension(x[16][17]=[0‥4]) :: init: true :: relation: Empty MDD
14.93/6.00	c 01:13:24.773 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18216. 'extension(x[14][28]=[0‥4]) :: init: true :: relation: Empty MDD
14.93/6.00	c 01:13:24.773 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18218. 'extension(x[16][28]=[0‥4]) :: init: true :: relation: Empty MDD
14.93/6.00	c 01:13:24.773 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18228. 'extension(x[15][23]=[0‥4]) :: init: true :: relation: Empty MDD
14.93/6.00	c 01:13:24.773 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18230. 'extension(x[17][23]=[0‥4]) :: init: true :: relation: Empty MDD
14.93/6.00	c 01:13:24.774 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18242. 'extension(x[16][4]=[0‥4]) :: init: true :: relation: Empty MDD
14.93/6.00	c 01:13:24.774 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18244. 'extension(x[18][4]=[0‥4]) :: init: true :: relation: Empty MDD
14.93/6.00	c 01:13:24.775 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18258. 'extension(x[17][0]=[0‥4]) :: init: true :: relation: Empty MDD
14.93/6.00	c 01:13:24.776 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18260. 'extension(x[19][0]=[0‥4]) :: init: true :: relation: Empty MDD
14.93/6.00	c 01:13:24.776 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18274. 'extension(x[17][7]=[0‥4]) :: init: true :: relation: Empty MDD
14.93/6.00	c 01:13:24.777 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18280. 'extension(x[17][8]=[0‥4]) :: init: true :: relation: Empty MDD
14.93/6.00	c 01:13:24.777 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18282. 'extension(x[19][8]=[0‥4]) :: init: true :: relation: Empty MDD
14.93/6.00	c 01:13:24.777 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18296. 'extension(wk[7][2]=[0‥1]) :: init: true :: relation: Empty MDD
14.93/6.00	c 01:13:24.778 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18298. 'extension(x[20][7]=[0‥4]) :: init: true :: relation: Empty MDD
14.93/6.00	c 01:13:24.778 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18312. 'extension(x[20][12]=[0‥4]) :: init: true :: relation: Empty MDD
14.93/6.01	c 01:13:24.788 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18318. 'extension(x[20][23]=[0‥4]) :: init: true :: relation: Empty MDD
14.93/6.01	c 01:13:24.788 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18320. 'extension(x[22][23]=[0‥4]) :: init: true :: relation: Empty MDD
14.93/6.01	c 01:13:24.789 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18332. 'extension(x[21][9]=[0‥4]) :: init: true :: relation: Empty MDD
14.93/6.01	c 01:13:24.789 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18334. 'extension(x[23][9]=[0‥4]) :: init: true :: relation: Empty MDD
14.93/6.01	c 01:13:24.790 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18348. 'extension(x[23][12]=[0‥4]) :: init: true :: relation: Empty MDD
14.93/6.01	c 01:13:24.790 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18364. 'extension(x[21][13]=[0‥4]) :: init: true :: relation: Empty MDD
14.93/6.01	c 01:13:24.791 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18366. 'extension(x[23][13]=[0‥4]) :: init: true :: relation: Empty MDD
14.93/6.01	c 01:13:24.791 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18380. 'extension(x[21][21]=[0‥4]) :: init: true :: relation: Empty MDD
14.93/6.01	c 01:13:24.792 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18386. 'extension(x[22][4]=[0‥4]) :: init: true :: relation: Empty MDD
15.22/6.01	c 01:13:24.793 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18388. 'extension(x[24][4]=[0‥4]) :: init: true :: relation: Empty MDD
15.22/6.01	c 01:13:24.794 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18402. 'extension(x[24][21]=[0‥4]) :: init: true :: relation: Empty MDD
15.22/6.01	c 01:13:24.794 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18412. 'extension(x[23][2]=[0‥4]) :: init: true :: relation: Empty MDD
15.22/6.01	c 01:13:24.795 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18418. 'extension(x[23][16]=[0‥4]) :: init: true :: relation: Empty MDD
15.22/6.01	c 01:13:24.795 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18424. 'extension(x[23][29]=[0‥4]) :: init: true :: relation: Empty MDD
15.22/6.01	c 01:13:24.796 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18430. 'extension(x[26][2]=[0‥4]) :: init: true :: relation: Empty MDD
15.22/6.01	c 01:13:24.796 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18444. 'extension(x[24][10]=[0‥4]) :: init: true :: relation: Empty MDD
15.22/6.01	c 01:13:24.796 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18446. 'extension(x[26][10]=[0‥4]) :: init: true :: relation: Empty MDD
15.22/6.01	c 01:13:24.797 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18460. 'extension(x[24][13]=[0‥4]) :: init: true :: relation: Empty MDD
15.22/6.01	c 01:13:24.797 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18462. 'extension(x[26][13]=[0‥4]) :: init: true :: relation: Empty MDD
15.22/6.02	c 01:13:24.798 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18476. 'extension(x[26][16]=[0‥4]) :: init: true :: relation: Empty MDD
15.22/6.02	c 01:13:24.798 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18486. 'extension(x[24][19]=[0‥4]) :: init: true :: relation: Empty MDD
15.22/6.02	c 01:13:24.799 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18492. 'extension(x[26][29]=[0‥4]) :: init: true :: relation: Empty MDD
15.22/6.02	c 01:13:24.799 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18498. 'extension(wk[19][3]=[0‥1]) :: init: true :: relation: Empty MDD
15.22/6.02	c 01:13:24.799 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18500. 'extension(x[27][19]=[0‥4]) :: init: true :: relation: Empty MDD
27.97/10.71	o 6467
2520.07/2447.80	Exception in thread "main" java.util.concurrent.TimeoutException
2520.07/2447.80		at concrete.MAC.mac(MAC.scala:188)
2520.07/2447.80		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.07/2447.80		at scala.util.Try$.apply(Try.scala:209)
2520.07/2447.80		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.07/2447.80		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.07/2447.80		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.07/2447.80		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.07/2447.80		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.07/2447.80		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.07/2447.80		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.07/2447.80		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.07/2447.80		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.07/2447.80		at concrete.MAC.oneRun(MAC.scala:253)
2520.07/2447.80		at concrete.MAC.nextSolution(MAC.scala:272)
2520.07/2447.80		at concrete.MAC.nextSolution(MAC.scala:355)
2520.07/2447.80		at concrete.Solver.hasNext(Solver.scala:166)
2520.07/2447.80		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.07/2447.80		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.07/2447.80		at concrete.Solver.foreach(Solver.scala:68)
2520.07/2447.80		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.07/2447.80		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.07/2447.80		at scala.util.Success.map(Try.scala:209)
2520.07/2447.80		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.07/2447.81		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.07/2447.81		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.07/2447.81		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.07/2447.81		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.07/2447.81		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.07/2447.81		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.07/2447.81		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.07/2447.81		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.07/2447.81		at scala.collection.immutable.List.foreach(List.scala:389)
2520.07/2447.81		at scala.App.main(App.scala:76)
2520.07/2447.81		at scala.App.main$(App.scala:74)
2520.07/2447.81		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.07/2447.81		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.07/2447.81	v <instantiation cost="6467">
2520.07/2447.81	v       <list>
2520.07/2447.81	v         x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] ps[0][0] ps[0][1] ps[0][2] ps[0][3] ps[0][4] ps[1][0] ps[1][1] ps[1][2] ps[1][3] ps[1][4] ps[2][0] ps[2][1] ps[2][2] ps[2][3] ps[2][4] ps[3][0] ps[3][1] ps[3][2] ps[3][3] ps[3][4] ps[4][0] ps[4][1] ps[4][2] ps[4][3] ps[4][4] ps[5][0] ps[5][1] ps[5][2] ps[5][3] ps[5][4] ps[6][0] ps[6][1] ps[6][2] ps[6][3] ps[6][4] ps[7][0] ps[7][1] ps[7][2] ps[7][3] ps[7][4] ps[8][0] ps[8][1] ps[8][2] ps[8][3] ps[8][4] ps[9][0] ps[9][1] ps[9][2] ps[9][3] ps[9][4] ps[10][0] ps[10][1] ps[10][2] ps[10][3] ps[10][4] ps[11][0] ps[11][1] ps[11][2] ps[11][3] ps[11][4] ps[12][0] ps[12][1] ps[12][2] ps[12][3] ps[12][4] ps[13][0] ps[13][1] ps[13][2] ps[13][3] ps[13][4] ps[14][0] ps[14][1] ps[14][2] ps[14][3] ps[14][4] ps[15][0] ps[15][1] ps[15][2] ps[15][3] ps[15][4] ps[16][0] ps[16][1] ps[16][2] ps[16][3] ps[16][4] ps[17][0] ps[17][1] ps[17][2] ps[17][3] ps[17][4] ps[18][0] ps[18][1] ps[18][2] ps[18][3] ps[18][4] ps[19][0] ps[19][1] ps[19][2] ps[19][3] ps[19][4] ps[20][0] ps[20][1] ps[20][2] ps[20][3] ps[20][4] ps[21][0] ps[21][1] ps[21][2] ps[21][3] ps[21][4] ps[22][0] ps[22][1] ps[22][2] ps[22][3] ps[22][4] ps[23][0] ps[23][1] ps[23][2] ps[23][3] ps[23][4] ps[24][0] ps[24][1] ps[24][2] ps[24][3] ps[24][4] ps[25][0] ps[25][1] ps[25][2] ps[25][3] ps[25][4] ps[26][0] ps[26][1] ps[26][2] ps[26][3] ps[26][4] ps[27][0] ps[27][1] ps[27][2] ps[27][3] ps[27][4] ps[28][0] ps[28][1] ps[28][2] ps[28][3] ps[28][4] ps[29][0] ps[29][1] ps[29][2] ps[29][3] ps[29][4] ps[30][0] ps[30][1] ps[30][2] ps[30][3] ps[30][4] ps[31][0] ps[31][1] ps[31][2] ps[31][3] ps[31][4] ps[32][0] ps[32][1] ps[32][2] ps[32][3] ps[32][4] ps[33][0] ps[33][1] ps[33][2] ps[33][3] ps[33][4] ps[34][0] ps[34][1] ps[34][2] ps[34][3] ps[34][4] ps[35][0] ps[35][1] ps[35][2] ps[35][3] ps[35][4] ds[0][0] ds[0][1] ds[0][2] ds[0][3] ds[0][4] ds[1][0] ds[1][1] ds[1][2] ds[1][3] ds[1][4] ds[2][0] ds[2][1] ds[2][2] ds[2][3] ds[2][4] ds[3][0] ds[3][1] ds[3][2] ds[3][3] ds[3][4] ds[4][0] ds[4][1] ds[4][2] ds[4][3] ds[4][4] ds[5][0] ds[5][1] ds[5][2] ds[5][3] ds[5][4] ds[6][0] ds[6][1] ds[6][2] ds[6][3] ds[6][4] ds[7][0] ds[7][1] ds[7][2] ds[7][3] ds[7][4] ds[8][0] ds[8][1] ds[8][2] ds[8][3] ds[8][4] ds[9][0] ds[9][1] ds[9][2] ds[9][3] ds[9][4] ds[10][0] ds[10][1] ds[10][2] ds[10][3] ds[10][4] ds[11][0] ds[11][1] ds[11][2] ds[11][3] ds[11][4] ds[12][0] ds[12][1] ds[12][2] ds[12][3] ds[12][4] ds[13][0] ds[13][1] ds[13][2] ds[13][3] ds[13][4] ds[14][0] ds[14][1] ds[14][2] ds[14][3] ds[14][4] ds[15][0] ds[15][1] ds[15][2] ds[15][3] ds[15][4] ds[16][0] ds[16][1] ds[16][2] ds[16][3] ds[16][4] ds[17][0] ds[17][1] ds[17][2] ds[17][3] ds[17][4] ds[18][0] ds[18][1] ds[18][2] ds[18][3] ds[18][4] ds[19][0] ds[19][1] ds[19][2] ds[19][3] ds[19][4] ds[20][0] ds[20][1] ds[20][2] ds[20][3] ds[20][4] ds[21][0] ds[21][1] ds[21][2] ds[21][3] ds[21][4] ds[22][0] ds[22][1] ds[22][2] ds[22][3] ds[22][4] ds[23][0] ds[23][1] ds[23][2] ds[23][3] ds[23][4] ds[24][0] ds[24][1] ds[24][2] ds[24][3] ds[24][4] ds[25][0] ds[25][1] ds[25][2] ds[25][3] ds[25][4] ds[26][0] ds[26][1] ds[26][2] ds[26][3] ds[26][4] ds[27][0] ds[27][1] ds[27][2] ds[27][3] ds[27][4] wk[0][0] wk[0][1] wk[0][2] wk[0][3] wk[1][0] wk[1][1] wk[1][2] wk[1][3] wk[2][0] wk[2][1] wk[2][2] wk[2][3] wk[3][0] wk[3][1] wk[3][2] wk[3][3] wk[4][0] wk[4][1] wk[4][2] wk[4][3] wk[5][0] wk[5][1] wk[5][2] wk[5][3] wk[6][0] wk[6][1] wk[6][2] wk[6][3] wk[7][0] wk[7][1] wk[7][2] wk[7][3] wk[8][0] wk[8][1] wk[8][2] wk[8][3] wk[9][0] wk[9][1] wk[9][2] wk[9][3] wk[10][0] wk[10][1] wk[10][2] wk[10][3] wk[11][0] wk[11][1] wk[11][2] wk[11][3] wk[12][0] wk[12][1] wk[12][2] wk[12][3] wk[13][0] wk[13][1] wk[13][2] wk[13][3] wk[14][0] wk[14][1] wk[14][2] wk[14][3] wk[15][0] wk[15][1] wk[15][2] wk[15][3] wk[16][0] wk[16][1] wk[16][2] wk[16][3] wk[17][0] wk[17][1] wk[17][2] wk[17][3] wk[18][0] wk[18][1] wk[18][2] wk[18][3] wk[19][0] wk[19][1] wk[19][2] wk[19][3] wk[20][0] wk[20][1] wk[20][2] wk[20][3] wk[21][0] wk[21][1] wk[21][2] wk[21][3] wk[22][0] wk[22][1] wk[22][2] wk[22][3] wk[23][0] wk[23][1] wk[23][2] wk[23][3] wk[24][0] wk[24][1] wk[24][2] wk[24][3] wk[25][0] wk[25][1] wk[25][2] wk[25][3] wk[26][0] wk[26][1] wk[26][2] wk[26][3] wk[27][0] wk[27][1] wk[27][2] wk[27][3] wk[28][0] wk[28][1] wk[28][2] wk[28][3] wk[29][0] wk[29][1] wk[29][2] wk[29][3] wk[30][0] wk[30][1] wk[30][2] wk[30][3] wk[31][0] wk[31][1] wk[31][2] wk[31][3] wk[32][0] wk[32][1] wk[32][2] wk[32][3] wk[33][0] wk[33][1] wk[33][2] wk[33][3] wk[34][0] wk[34][1] wk[34][2] wk[34][3] wk[35][0] wk[35][1] wk[35][2] wk[35][3] cn[0] cn[1] cn[2] cn[3] cn[4] cn[5] cn[6] cn[7] cn[8] cn[9] cn[10] cn[11] cn[12] cn[13] cn[14] cn[15] cn[16] cn[17] cn[18] cn[19] cn[20] cn[21] cn[22] cn[23] cn[24] cn[25] cn[26] cn[27] cn[28] cn[29] cn[30] cn[31] cn[32] cn[33] cn[34] cn[35] cn[36] cn[37] cn[38] cn[39] cn[40] cn[41] cn[42] cn[43] cn[44] cn[45] cn[46] cn[47] cn[48] cn[49] cn[50] cn[51] cn[52] cn[53] cn[54] cn[55] cn[56] cn[57] cn[58] cn[59] cn[60] cn[61] cn[62] cn[63] cn[64] cn[65] cn[66] cn[67] cn[68] cn[69] cn[70] cn[71] cn[72] cn[73] cn[74] cn[75] cn[76] cn[77] cn[78] cn[79] cn[80] cn[81] cn[82] cn[83] cn[84] cn[85] cn[86] cn[87] cn[88] cn[89] cn[90] cn[91] cn[92] cn[93] cn[94] cn[95] cn[96] cn[97] cn[98] cn[99] cn[100] cn[101] cn[102] cn[103] cn[104] cn[105] cn[106] cn[107] cn[108] cn[109] cn[110] cn[111] cn[112] cn[113] cn[114] cn[115] cn[116] cn[117] cn[118] cn[119] cn[120] cn[121] cn[122] cn[123] cn[124] cn[125] cn[126] cn[127] cn[128] cn[129] cn[130] cn[131] cn[132] cn[133] cn[134] cn[135] cn[136] cn[137] cn[138] cn[139] cn[140] cn[141] cn[142] cn[143] cf[0] cf[1] cf[2] cf[3] cf[4] cf[5] cf[6] cf[7] cf[8] cf[9] cf[10] cf[11] cf[12] cf[13] cf[14] cf[15] cf[16] cf[17] cf[18] cf[19] cf[20] cf[21] cf[22] cf[23] cf[24] cf[25] cf[26] cf[27] cf[28] cf[29] cf[30] cf[31] cf[32] cf[33] cf[34] cf[35] cf[36] cf[37] cf[38] cf[39] cf[40] cf[41] cf[42] cf[43] cf[44] cf[45] cf[46] cf[47] cf[48] cf[49] cf[50] cf[51] cf[52] cf[53] cf[54] cf[55] cf[56] cf[57] cf[58] cf[59] cf[60] cf[61] cf[62] cf[63] cf[64] cf[65] cf[66] cf[67] cf[68] cf[69] cf[70] cf[71] cf[72] cf[73] cf[74] cf[75] cf[76] cf[77] cf[78] cf[79] cf[80] cf[81] cf[82] cf[83] cf[84] cf[85] cf[86] cf[87] cc[0][0] cc[0][1] cc[0][2] cc[0][3] cc[0][4] cc[1][0] cc[1][1] cc[1][2] cc[1][3] cc[1][4] cc[2][0] cc[2][1] cc[2][2] cc[2][3] cc[2][4] cc[3][0] cc[3][1] cc[3][2] cc[3][3] cc[3][4] cc[4][0] cc[4][1] cc[4][2] cc[4][3] cc[4][4] cc[5][0] cc[5][1] cc[5][2] cc[5][3] cc[5][4] cc[6][0] cc[6][1] cc[6][2] cc[6][3] cc[6][4] cc[7][0] cc[7][1] cc[7][2] cc[7][3] cc[7][4] cc[8][0] cc[8][1] cc[8][2] cc[8][3] cc[8][4] cc[9][0] cc[9][1] cc[9][2] cc[9][3] cc[9][4] cc[10][0] cc[10][1] cc[10][2] cc[10][3] cc[10][4] cc[11][0] cc[11][1] cc[11][2] cc[11][3] cc[11][4] cc[12][0] cc[12][1] cc[12][2] cc[12][3] cc[12][4] cc[13][0] cc[13][1] cc[13][2] cc[13][3] cc[13][4] cc[14][0] cc[14][1] cc[14][2] cc[14][3] cc[14][4] cc[15][0] cc[15][1] cc[15][2] cc[15][3] cc[15][4] cc[16][0] cc[16][1] cc[16][2] cc[16][3] cc[16][4] cc[17][0] cc[17][1] cc[17][2] cc[17][3] cc[17][4] cc[18][0] cc[18][1] cc[18][2] cc[18][3] cc[18][4] cc[19][0] cc[19][1] cc[19][2] cc[19][3] cc[19][4] cc[20][0] cc[20][1] cc[20][2] cc[20][3] cc[20][4] cc[21][0] cc[21][1] cc[21][2] cc[21][3] cc[21][4] cc[22][0] cc[22][1] cc[22][2] cc[22][3] cc[22][4] cc[23][0] cc[23][1] cc[23][2] cc[23][3] cc[23][4] cc[24][0] cc[24][1] cc[24][2] cc[24][3] cc[24][4] cc[25][0] cc[25][1] cc[25][2] cc[25][3] cc[25][4] cc[26][0] cc[26][1] cc[26][2] cc[26][3] cc[26][4] cc[27][0] cc[27][1] cc[27][2] cc[27][3] cc[27][4]
2520.07/2447.82	v       </list>
2520.07/2447.82	v       <values>
2520.07/2447.82	v         1 4 0 4 0 4 1 2 1 2 4 4 4 1 4 4 4 4 4 4 4 4 4 4 4 4 4 4 1 4 0 4 4 2 4 4 1 0 0 4 1 4 1 2 1 2 4 4 4 1 4 0 4 4 4 4 4 4 4 4 4 4 4 4 1 4 4 4 4 4 4 4 1 0 0 1 1 4 4 2 1 3 4 0 4 2 4 0 4 4 4 4 4 4 2 2 4 1 4 4 4 4 4 4 4 4 4 4 1 0 2 1 4 0 4 2 2 4 4 0 1 4 0 0 4 3 4 4 4 1 2 4 4 1 4 4 4 4 4 4 4 4 4 4 3 0 4 1 4 3 0 4 2 4 4 4 2 4 2 0 1 4 4 2 4 1 4 4 4 1 4 4 1 4 4 4 4 4 4 2 4 0 4 2 0 4 0 4 4 4 0 4 2 4 3 4 1 4 4 2 4 4 4 4 0 1 4 1 2 4 3 4 4 4 4 2 4 4 0 2 0 4 0 4 4 4 2 4 2 1 4 4 4 3 1 3 4 4 4 2 1 1 4 4 4 0 4 4 4 4 4 2 0 4 1 4 0 0 0 4 4 4 2 4 4 2 4 4 4 3 4 3 4 1 2 2 3 4 4 1 4 0 4 4 4 4 1 2 2 4 1 4 0 0 0 4 4 4 2 4 4 3 4 4 4 4 4 4 3 1 2 2 4 4 3 4 4 4 4 4 1 4 1 2 4 4 1 2 0 0 4 3 4 4 4 0 4 3 0 0 4 4 4 4 4 1 2 2 4 4 4 1 4 4 4 4 2 4 1 4 4 4 1 2 4 0 4 3 4 4 4 0 2 4 3 0 4 4 4 4 4 4 2 4 4 0 3 4 4 4 4 4 4 4 1 4 0 4 4 4 4 3 4 4 4 2 4 0 2 4 4 4 1 4 0 1 4 4 2 4 4 4 4 1 1 0 2 1 4 1 4 4 0 4 4 4 4 4 4 4 4 2 2 0 4 4 4 4 1 2 0 4 0 4 4 3 4 4 4 4 1 0 3 3 0 2 4 4 4 0 4 4 4 4 4 1 1 2 2 4 4 4 4 4 1 2 0 4 4 4 4 3 4 4 4 4 4 0 4 4 4 3 4 0 4 0 0 4 1 4 0 2 3 2 2 4 4 3 4 4 1 4 4 4 4 0 4 3 4 4 4 4 4 4 4 4 4 4 4 4 4 0 0 4 1 4 0 2 3 2 2 4 4 3 2 4 1 4 4 1 4 0 4 4 0 4 4 4 4 4 4 0 4 4 4 4 2 1 4 1 1 0 0 2 3 4 4 4 1 4 2 4 4 4 3 1 4 3 4 4 4 4 4 4 4 4 4 4 4 4 4 4 2 1 4 2 4 0 4 4 4 4 4 2 1 4 4 4 4 4 3 1 0 3 2 4 4 4 2 4 4 4 4 4 0 4 4 4 4 4 0 4 4 0 4 4 4 2 4 2 1 4 4 4 1 4 3 1 0 3 2 4 4 4 2 4 1 4 1 4 4 4 4 4 4 4 0 4 0 0 1 4 4 2 4 2 4 4 4 3 1 4 4 1 0 4 2 0 3 1 2 4 4 4 4 4 4 0 2 4 0 4 0 1 0 4 1 0 4 3 4 2 4 0 0 3 1 4 4 4 0 4 4 4 4 1 2 4 4 3 4 4 0 4 2 4 0 0 0 1 0 4 1 2 4 3 0 4 4 2 1 3 4 2 4 4 4 4 4 4 4 1 4 4 4 4 2 4 0 4 4 4 0 0 0 3 0 4 1 2 2 4 0 4 4 4 3 3 4 2 1 4 4 4 4 4 1 1 4 3 4 4 4 2 0 4 1 4 1 0 4 3 4 0 1 2 2 4 2 4 1 4 3 4 4 2 1 4 4 4 4 0 1 4 4 3 4 4 4 4 4 4 4 2 1 0 4 3 4 0 4 2 2 1 3 0 1 4 4 4 4 2 1 4 0 4 4 4 1 4 4 4 4 4 4 2 4 0 4 4 4 0 4 4 4 0 4 4 2 1 4 3 1 4 4 4 4 2 4 4 0 4 4 4 1 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 0 4 4 2 4 4 4 3 4 4 0 4 4 4 4 0 4 4 4 1 4 4 4 4 4 4 1 4 4 4 4 4 4 4 4 4 0 4 4 4 4 4 4 4 4 4 0 4 4 4 4 0 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 6 6 3 1 12 13 2 0 0 13 11 4 1 0 12 0 6 5 3 14 10 5 0 0 13 14 0 0 2 12 8 7 0 0 13 1 1 11 2 13 0 4 7 3 14 0 2 9 3 14 3 0 8 1 16 7 0 4 1 16 0 7 5 1 15 1 3 3 4 17 3 1 3 4 17 8 0 0 4 16 0 10 0 0 18 0 0 7 3 18 3 4 0 3 18 0 6 2 2 18 9 0 0 1 18 2 5 0 3 18 0 0 10 0 18 2 0 5 3 18 2 6 0 2 18 1 9 0 0 18 0 0 4 2 22 0 4 0 2 22 0 6 1 0 21 5 0 0 1 22 1 1 2 2 22 1 2 2 1 22 5 1 1 0 21 2 1 2 1 22 0 5 2 0 21 1 0 6 0 21 3 5 3 0 25 3 6 2 0 25 4 5 4 1 22 5 5 4 1 21 3 5 5 2 21 5 3 5 2 21 4 4 5 2 21 5 4 5 3 19 3 4 5 3 21 5 4 4 2 21 4 2 3 3 24 4 6 4 1 21 6 2 4 3 21 4 3 3 2 24 4 2 3 3 24 6 3 4 2 21 2 5 3 3 23 3 3 5 2 23 3 5 4 2 22 6 4 5 2 19 8 4 3 3 18 6 4 4 2 20 6 5 4 4 17 3 5 5 3 20 5 5 4 2 20 3 3 2 1 27 3 2 1 1 29 3 0 0 0 33 0 1 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 1 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 1 0 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 0 1 1 1 1 1 0 1 1 0 0 1 1 0 0 1 0 1 0 0 1 1 1 0 0 0 0 0 0 1 0 1 1 1 0 1 0 1 1 1 0 1 0 0 0 1 0 1 0 0 0 1 1 0 0 1 1 1 0 1 1 0 0 0 1 0 1 0 1 1 0 0 1 1 0 0 0 1 1 1 1 0 0 0 3 3 1 1 1 2 0 1 0 0 0 0 0 0 0 0 0 0 0 3 0 1 0 3 3 0 0 2 2 0 0 1 1 0 0 0 3 3 0 0 0 0 0 0 1 1 0 3 0 0 2 0 3 3 0 0 1 0 0 0 0 0 0 0 2 2 3 3 3 0 0 0 0 0 0 3 0 0 0 2 1 0 0 0 0 1 0 0 0 3 0 0 0 0 1 3 3 3 2 0 2 0 0 0 3 3 3 0 0 2 1 1 1 0 0 1 1 1 1 0 0 0 0 1 1 1 2 0 2 2 3 0 0 0 1 1 1 1 1 3 0 3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 300 200 0 0 0 200 200 0 0 1 100 0 0 0 0 100 0 0 0 2 1 0 0 1 1 0 0 0 1 0 1 1 0 2 0 1 0 0 0 0 2 0 0 1 0 0 100 0 0 0 1 100 0 0 0 100 100 0 1 0 0 100 0 0 0 100 100 0 0 0 0 0 0 2 0 0 100 0 0 2 100 0 0 0 0 0 0 0 0 1 100 100 0 4 0 1 0 0 3 0 0 0 0 0 100 200 100 0 2 2 0 2 0 100 0 0 1 0 0 0 100 0 0 200 100 300 200 0 0 400 200 400 0 100 700 600 300 0
2520.07/2447.82	v       </values>
2520.07/2447.82	v     </instantiation>
2520.07/2447.82	s SATISFIABLE

Verifier Data 

OK	6467

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 (8678 MiB free)
  memory of node 1: 16384 MiB (11282 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292957-1532301198/watcher-4292957-1532301198 -o /tmp/evaluation-result-4292957-1532301198/solver-4292957-1532301198 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532296223-4593 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1775634958 HOME/instance-4292957-1532301198.xml 

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

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


[startup+0.100124 s]*
/proc/loadavg: 1.53 1.40 1.36 3/207 5617
/proc/meminfo: memFree=20433596/32770624 swapFree=67108860/67108860
[pid=5560] ppid=5557 vsize=9972712 memory=18328 CPUtime=0.08 cores=0,2,4,6
/proc/5560/stat : 5560 (java) S 5557 5560 4562 0 -1 1077944320 4240 13015 0 0 1 0 5 2 20 0 6 0 47682993 10212057088 4582 33554432000 4194304 4196468 140727601994144 140727601976688 139973629832951 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
/proc/5560/statm: 2493178 4582 1930 1 0 2481616 0
[pid=5560/tid=5613] ppid=5557 vsize=9972712 memory=-8889949278721851327 CPUtime=0.08 cores=0,2,4,6
/proc/5560/task/5613/stat : 5613 (java) R 5557 5560 4562 0 -1 4202560 2059 13015 0 0 1 0 5 2 20 0 6 0 47683002 10212057088 4582 33554432000 4194304 4196468 140727601994144 139973601669712 139973613913438 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5614] ppid=5557 vsize=9972712 memory=-7522837583129502606 CPUtime=0.07 cores=0,2,4,6
/proc/5560/task/5614/stat : 5614 (java) S 5557 5560 4562 0 -1 1077944384 1 13015 0 0 0 0 5 2 20 0 6 0 47683003 10212057088 4582 33554432000 4194304 4196468 140727601994144 139973634075792 139973629843157 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5615] ppid=5557 vsize=9972712 memory=140388783330944 CPUtime=0.07 cores=0,2,4,6
/proc/5560/task/5615/stat : 5615 (java) S 5557 5560 4562 0 -1 1077944384 1 13015 0 0 0 0 5 2 20 0 6 0 47683003 10212057088 4582 33554432000 4194304 4196468 140727601994144 139973522349072 139973629843157 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5616] ppid=5557 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5560/task/5616/stat : 5616 (java) S 5557 5560 4562 0 -1 1077944384 1 13015 0 0 0 0 5 2 20 0 6 0 47683003 10212057088 4582 33554432000 4194304 4196468 140727601994144 139973202275216 139973629843157 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5617] ppid=5557 vsize=9972712 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/5560/task/5617/stat : 5617 (java) S 5557 5560 4562 0 -1 1077944384 2 13015 0 0 0 0 5 2 20 0 6 0 47683003 10212057088 4582 33554432000 4194304 4196468 140727601994144 139973201222416 139973629843157 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18328 KiB

[startup+0.211058 s]*
/proc/loadavg: 1.53 1.40 1.36 2/216 5626
/proc/meminfo: memFree=20410268/32770624 swapFree=67108860/67108860
[pid=5560] ppid=5557 vsize=10818856 memory=41744 CPUtime=0.26 cores=0,2,4,6
/proc/5560/stat : 5560 (java) S 5557 5560 4562 0 -1 1077944320 8366 13015 0 0 17 2 5 2 20 0 15 0 47682993 11078508544 10436 33554432000 4194304 4196468 140727601994144 140727601976688 139973629832951 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
/proc/5560/statm: 2704714 10436 2944 1 0 2667149 0
[pid=5560/tid=5613] ppid=5557 vsize=10818856 memory=7022364594140610616 CPUtime=0.18 cores=0,2,4,6
/proc/5560/task/5613/stat : 5613 (java) R 5557 5560 4562 0 -1 4202560 4876 13015 0 0 10 1 5 2 20 0 15 0 47683002 11078508544 10436 33554432000 4194304 4196468 140727601994144 139973601630608 139973611396547 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5614] ppid=5557 vsize=10818856 memory=331 CPUtime=0.07 cores=0,2,4,6
/proc/5560/task/5614/stat : 5614 (java) S 5557 5560 4562 0 -1 1077944384 1 13015 0 0 0 0 5 2 20 0 15 0 47683003 11078508544 10436 33554432000 4194304 4196468 140727601994144 139973634075792 139973629843157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5615] ppid=5557 vsize=10818856 memory=140388783339718 CPUtime=0.07 cores=0,2,4,6
/proc/5560/task/5615/stat : 5615 (java) S 5557 5560 4562 0 -1 1077944384 1 13015 0 0 0 0 5 2 20 0 15 0 47683003 11078508544 10436 33554432000 4194304 4196468 140727601994144 139973522349072 139973629843157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5616] ppid=5557 vsize=10818856 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5560/task/5616/stat : 5616 (java) S 5557 5560 4562 0 -1 1077944384 1 13015 0 0 0 0 5 2 20 0 15 0 47683003 11078508544 10436 33554432000 4194304 4196468 140727601994144 139973202275216 139973629843157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5617] ppid=5557 vsize=10818856 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/5560/task/5617/stat : 5617 (java) S 5557 5560 4562 0 -1 1077944384 2 13015 0 0 0 0 5 2 20 0 15 0 47683003 11078508544 10436 33554432000 4194304 4196468 140727601994144 139973201222416 139973629843157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5618] ppid=5557 vsize=10818856 memory=140388783330944 CPUtime=0.07 cores=0,2,4,6
/proc/5560/task/5618/stat : 5618 (java) S 5557 5560 4562 0 -1 1077944384 2 13015 0 0 0 0 5 2 20 0 15 0 47683004 11078508544 10436 33554432000 4194304 4196468 140727601994144 139973089290608 139973629844098 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5619] ppid=5557 vsize=10818856 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/5560/task/5619/stat : 5619 (java) S 5557 5560 4562 0 -1 1077944384 33 13015 0 0 0 0 5 2 20 0 15 0 47683005 11078508544 10436 33554432000 4194304 4196468 140727601994144 139973088236576 139973629843157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5620] ppid=5557 vsize=10818856 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5560/task/5620/stat : 5620 (java) S 5557 5560 4562 0 -1 1077944384 1 13015 0 0 0 0 5 2 20 0 15 0 47683005 11078508544 10436 33554432000 4194304 4196468 140727601994144 139972514407280 139973629843157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5621] ppid=5557 vsize=10818856 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5560/task/5621/stat : 5621 (java) S 5557 5560 4562 0 -1 1077944384 3 13015 0 0 0 0 5 2 20 0 15 0 47683008 11078508544 10436 33554432000 4194304 4196468 140727601994144 139972207007568 139973629851547 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5622] ppid=5557 vsize=10818856 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5560/task/5622/stat : 5622 (java) S 5557 5560 4562 0 -1 1077944384 542 13015 0 0 1 0 5 2 20 0 15 0 47683008 11078508544 10436 33554432000 4194304 4196468 140727601994144 139973054679920 139973629844098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5623] ppid=5557 vsize=10818856 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/5560/task/5623/stat : 5623 (java) S 5557 5560 4562 0 -1 1077944384 65 13015 0 0 1 0 5 2 20 0 15 0 47683008 11078508544 10436 33554432000 4194304 4196468 140727601994144 139973053627120 139973629844098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5624] ppid=5557 vsize=10818856 memory=140388783330944 CPUtime=0.1 cores=0,2,4,6
/proc/5560/task/5624/stat : 5624 (java) S 5557 5560 4562 0 -1 1077944384 647 13015 0 0 3 0 5 2 20 0 15 0 47683008 11078508544 10436 33554432000 4194304 4196468 140727601994144 139973052574320 139973629844098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5625] ppid=5557 vsize=10818856 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/5560/task/5625/stat : 5625 (java) S 5557 5560 4562 0 -1 1077944384 3 13015 0 0 0 0 5 2 20 0 15 0 47683008 11078508544 10436 33554432000 4194304 4196468 140727601994144 139972173449952 139973629843157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5626] ppid=5557 vsize=10818856 memory=140388783330944 CPUtime=0.07 cores=0,2,4,6
/proc/5560/task/5626/stat : 5626 (java) S 5557 5560 4562 0 -1 1077944384 1 13015 0 0 0 0 5 2 20 0 15 0 47683008 11078508544 10436 33554432000 4194304 4196468 140727601994144 139972595149488 139973629844098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818856 KiB
Current children cumulated memory: 41744 KiB

[startup+0.310543 s]*
/proc/loadavg: 1.53 1.40 1.36 3/216 5626
/proc/meminfo: memFree=20402080/32770624 swapFree=67108860/67108860
[pid=5560] ppid=5557 vsize=10819352 memory=53336 CPUtime=0.38 cores=0,2,4,6
/proc/5560/stat : 5560 (java) S 5557 5560 4562 0 -1 1077944320 10391 13015 0 0 29 2 5 2 20 0 15 0 47682993 11079016448 13334 33554432000 4194304 4196468 140727601994144 140727601976688 139973629832951 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
/proc/5560/statm: 2704838 13334 3104 1 0 2667149 0
[pid=5560/tid=5613] ppid=5557 vsize=10819352 memory=8112282956445269571 CPUtime=0.28 cores=0,2,4,6
/proc/5560/task/5613/stat : 5613 (java) R 5557 5560 4562 0 -1 4202560 6888 13015 0 0 20 1 5 2 20 0 15 0 47683002 11079016448 13334 33554432000 4194304 4196468 140727601994144 139973601644960 139973611396480 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5614] ppid=5557 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5560/task/5614/stat : 5614 (java) S 5557 5560 4562 0 -1 1077944384 1 13015 0 0 0 0 5 2 20 0 15 0 47683003 11079016448 13334 33554432000 4194304 4196468 140727601994144 139973634075792 139973629843157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5615] ppid=5557 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5560/task/5615/stat : 5615 (java) S 5557 5560 4562 0 -1 1077944384 1 13015 0 0 0 0 5 2 20 0 15 0 47683003 11079016448 13334 33554432000 4194304 4196468 140727601994144 139973522349072 139973629843157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5616] ppid=5557 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5560/task/5616/stat : 5616 (java) S 5557 5560 4562 0 -1 1077944384 1 13015 0 0 0 0 5 2 20 0 15 0 47683003 11079016448 13334 33554432000 4194304 4196468 140727601994144 139973202275216 139973629843157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5617] ppid=5557 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5560/task/5617/stat : 5617 (java) S 5557 5560 4562 0 -1 1077944384 2 13015 0 0 0 0 5 2 20 0 15 0 47683003 11079016448 13334 33554432000 4194304 4196468 140727601994144 139973201222416 139973629843157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5618] ppid=5557 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5560/task/5618/stat : 5618 (java) S 5557 5560 4562 0 -1 1077944384 2 13015 0 0 0 0 5 2 20 0 15 0 47683004 11079016448 13334 33554432000 4194304 4196468 140727601994144 139973089290608 139973629844098 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5619] ppid=5557 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/5560/task/5619/stat : 5619 (java) S 5557 5560 4562 0 -1 1077944384 33 13015 0 0 0 0 5 2 20 0 15 0 47683005 11079016448 13334 33554432000 4194304 4196468 140727601994144 139973088236576 139973629843157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5620] ppid=5557 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5560/task/5620/stat : 5620 (java) S 5557 5560 4562 0 -1 1077944384 1 13015 0 0 0 0 5 2 20 0 15 0 47683005 11079016448 13334 33554432000 4194304 4196468 140727601994144 139972514407280 139973629843157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5621] ppid=5557 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5560/task/5621/stat : 5621 (java) S 5557 5560 4562 0 -1 1077944384 3 13015 0 0 0 0 5 2 20 0 15 0 47683008 11079016448 13334 33554432000 4194304 4196468 140727601994144 139972207007568 139973629851547 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5622] ppid=5557 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5560/task/5622/stat : 5622 (java) S 5557 5560 4562 0 -1 1077944384 542 13015 0 0 1 0 5 2 20 0 15 0 47683008 11079016448 13334 33554432000 4194304 4196468 140727601994144 139973054679920 139973629844098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5623] ppid=5557 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/5560/task/5623/stat : 5623 (java) S 5557 5560 4562 0 -1 1077944384 66 13015 0 0 1 0 5 2 20 0 15 0 47683008 11079016448 13334 33554432000 4194304 4196468 140727601994144 139973053627120 139973629844098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5624] ppid=5557 vsize=10819352 memory=140388783330944 CPUtime=0.12 cores=0,2,4,6
/proc/5560/task/5624/stat : 5624 (java) S 5557 5560 4562 0 -1 1077944384 659 13015 0 0 5 0 5 2 20 0 15 0 47683008 11079016448 13334 33554432000 4194304 4196468 140727601994144 139973052574320 139973629844098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5625] ppid=5557 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/5560/task/5625/stat : 5625 (java) S 5557 5560 4562 0 -1 1077944384 3 13015 0 0 0 0 5 2 20 0 15 0 47683008 11079016448 13334 33554432000 4194304 4196468 140727601994144 139972173449952 139973629843157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5626] ppid=5557 vsize=10819352 memory=140388783330944 CPUtime=0.07 cores=0,2,4,6
/proc/5560/task/5626/stat : 5626 (java) S 5557 5560 4562 0 -1 1077944384 1 13015 0 0 0 0 5 2 20 0 15 0 47683008 11079016448 13334 33554432000 4194304 4196468 140727601994144 139972595149488 139973629844098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 53336 KiB

[startup+0.700759 s]
/proc/loadavg: 1.56 1.41 1.36 3/216 5626
/proc/meminfo: memFree=20389820/32770624 swapFree=67108860/67108860
[pid=5560] ppid=5557 vsize=10819352 memory=86404 CPUtime=0.98 cores=0,2,4,6
/proc/5560/stat : 5560 (java) S 5557 5560 4562 0 -1 1077944320 16837 13015 0 0 86 5 5 2 20 0 15 0 47682993 11079016448 21601 33554432000 4194304 4196468 140727601994144 140727601976688 139973629832951 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
/proc/5560/statm: 2704838 21601 3237 1 0 2667149 0
[pid=5560/tid=5613] ppid=5557 vsize=10819352 memory=0 CPUtime=0.65 cores=0,2,4,6
/proc/5560/task/5613/stat : 5613 (java) R 5557 5560 4562 0 -1 4202560 12352 13015 0 0 55 3 5 2 20 0 15 0 47683002 11079016448 21601 33554432000 4194304 4196468 140727601994144 139973601626464 139973613913438 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5614] ppid=5557 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5560/task/5614/stat : 5614 (java) S 5557 5560 4562 0 -1 1077944384 1 13015 0 0 0 0 5 2 20 0 15 0 47683003 11079016448 21601 33554432000 4194304 4196468 140727601994144 139973634075792 139973629843157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5615] ppid=5557 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5560/task/5615/stat : 5615 (java) S 5557 5560 4562 0 -1 1077944384 1 13015 0 0 0 0 5 2 20 0 15 0 47683003 11079016448 21601 33554432000 4194304 4196468 140727601994144 139973522349072 139973629843157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5616] ppid=5557 vsize=10819352 memory=140388656624400 CPUtime=0.07 cores=0,2,4,6
/proc/5560/task/5616/stat : 5616 (java) S 5557 5560 4562 0 -1 1077944384 1 13015 0 0 0 0 5 2 20 0 15 0 47683003 11079016448 21601 33554432000 4194304 4196468 140727601994144 139973202275216 139973629843157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5617] ppid=5557 vsize=10819352 memory=140389596004948 CPUtime=0.07 cores=0,2,4,6
/proc/5560/task/5617/stat : 5617 (java) S 5557 5560 4562 0 -1 1077944384 2 13015 0 0 0 0 5 2 20 0 15 0 47683003 11079016448 21601 33554432000 4194304 4196468 140727601994144 139973201222416 139973629843157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5618] ppid=5557 vsize=10819352 memory=8364 CPUtime=0.07 cores=0,2,4,6
/proc/5560/task/5618/stat : 5618 (java) S 5557 5560 4562 0 -1 1077944384 5 13015 0 0 0 0 5 2 20 0 15 0 47683004 11079016448 21601 33554432000 4194304 4196468 140727601994144 139973089290608 139973629844098 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5619] ppid=5557 vsize=10819352 memory=7662705889289527641 CPUtime=0.07 cores=0,2,4,6
/proc/5560/task/5619/stat : 5619 (java) S 5557 5560 4562 0 -1 1077944384 33 13015 0 0 0 0 5 2 20 0 15 0 47683005 11079016448 21601 33554432000 4194304 4196468 140727601994144 139973088236576 139973629843157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5620] ppid=5557 vsize=10819352 memory=7885081012184048465 CPUtime=0.07 cores=0,2,4,6
/proc/5560/task/5620/stat : 5620 (java) S 5557 5560 4562 0 -1 1077944384 1 13015 0 0 0 0 5 2 20 0 15 0 47683005 11079016448 21601 33554432000 4194304 4196468 140727601994144 139972514407280 139973629843157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5621] ppid=5557 vsize=10819352 memory=16436 CPUtime=0.07 cores=0,2,4,6
/proc/5560/task/5621/stat : 5621 (java) S 5557 5560 4562 0 -1 1077944384 3 13015 0 0 0 0 5 2 20 0 15 0 47683008 11079016448 21601 33554432000 4194304 4196468 140727601994144 139972207007568 139973629851547 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5622] ppid=5557 vsize=10819352 memory=9764 CPUtime=0.16 cores=0,2,4,6
/proc/5560/task/5622/stat : 5622 (java) S 5557 5560 4562 0 -1 1077944384 1186 13015 0 0 9 0 5 2 20 0 15 0 47683008 11079016448 21601 33554432000 4194304 4196468 140727601994144 139973054679920 139973629844098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5623] ppid=5557 vsize=10819352 memory=4008 CPUtime=0.14 cores=0,2,4,6
/proc/5560/task/5623/stat : 5623 (java) S 5557 5560 4562 0 -1 1077944384 311 13015 0 0 7 0 5 2 20 0 15 0 47683008 11079016448 21601 33554432000 4194304 4196468 140727601994144 139973053627120 139973629844098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5624] ppid=5557 vsize=10819352 memory=1796 CPUtime=0.2 cores=0,2,4,6
/proc/5560/task/5624/stat : 5624 (java) S 5557 5560 4562 0 -1 1077944384 750 13015 0 0 13 0 5 2 20 0 15 0 47683008 11079016448 21601 33554432000 4194304 4196468 140727601994144 139973052574320 139973629844098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5625] ppid=5557 vsize=10819352 memory=644 CPUtime=0.07 cores=0,2,4,6
/proc/5560/task/5625/stat : 5625 (java) S 5557 5560 4562 0 -1 1077944384 3 13015 0 0 0 0 5 2 20 0 15 0 47683008 11079016448 21601 33554432000 4194304 4196468 140727601994144 139972173449952 139973629843157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5626] ppid=5557 vsize=10819352 memory=956 CPUtime=0.07 cores=0,2,4,6
/proc/5560/task/5626/stat : 5626 (java) S 5557 5560 4562 0 -1 1077944384 1 13015 0 0 0 0 5 2 20 0 15 0 47683008 11079016448 21601 33554432000 4194304 4196468 140727601994144 139972595149488 139973629844098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86404 KiB

[startup+1.50082 s]
/proc/loadavg: 1.56 1.41 1.36 3/216 5626
/proc/meminfo: memFree=20343932/32770624 swapFree=67108860/67108860
[pid=5560] ppid=5557 vsize=10830156 memory=168084 CPUtime=3.02 cores=0,2,4,6
/proc/5560/stat : 5560 (java) S 5557 5560 4562 0 -1 1077944320 23758 13015 0 0 286 9 5 2 20 0 15 0 47682993 11090079744 42021 33554432000 4194304 4196468 140727601994144 140727601976688 139973629832951 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
/proc/5560/statm: 2707539 42021 3450 1 0 2669197 0
[pid=5560/tid=5613] ppid=5557 vsize=10830156 memory=62896 CPUtime=1.45 cores=0,2,4,6
/proc/5560/task/5613/stat : 5613 (java) R 5557 5560 4562 0 -1 4202560 16299 13015 0 0 132 6 5 2 20 0 15 0 47683002 11090079744 42021 33554432000 4194304 4196468 140727601994144 139973601665040 139973629854877 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5614] ppid=5557 vsize=10830156 memory=8112282956445269571 CPUtime=0.07 cores=0,2,4,6
/proc/5560/task/5614/stat : 5614 (java) S 5557 5560 4562 0 -1 1077944384 1 13015 0 0 0 0 5 2 20 0 15 0 47683003 11090079744 42021 33554432000 4194304 4196468 140727601994144 139973634075792 139973629843157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5615] ppid=5557 vsize=10830156 memory=280777313280160 CPUtime=0.07 cores=0,2,4,6
/proc/5560/task/5615/stat : 5615 (java) S 5557 5560 4562 0 -1 1077944384 1 13015 0 0 0 0 5 2 20 0 15 0 47683003 11090079744 42021 33554432000 4194304 4196468 140727601994144 139973522349072 139973629843157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5616] ppid=5557 vsize=10830156 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5560/task/5616/stat : 5616 (java) S 5557 5560 4562 0 -1 1077944384 1 13015 0 0 0 0 5 2 20 0 15 0 47683003 11090079744 42021 33554432000 4194304 4196468 140727601994144 139973202275216 139973629843157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5617] ppid=5557 vsize=10830156 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5560/task/5617/stat : 5617 (java) S 5557 5560 4562 0 -1 1077944384 2 13015 0 0 0 0 5 2 20 0 15 0 47683003 11090079744 42021 33554432000 4194304 4196468 140727601994144 139973201222416 139973629843157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5618] ppid=5557 vsize=10830156 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5560/task/5618/stat : 5618 (java) S 5557 5560 4562 0 -1 1077944384 12 13015 0 0 0 0 5 2 20 0 15 0 47683004 11090079744 42021 33554432000 4194304 4196468 140727601994144 139973089290608 139973629844098 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5619] ppid=5557 vsize=10830156 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5560/task/5619/stat : 5619 (java) S 5557 5560 4562 0 -1 1077944384 33 13015 0 0 0 0 5 2 20 0 15 0 47683005 11090079744 42021 33554432000 4194304 4196468 140727601994144 139973088236576 139973629843157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5620] ppid=5557 vsize=10830156 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5560/task/5620/stat : 5620 (java) S 5557 5560 4562 0 -1 1077944384 1 13015 0 0 0 0 5 2 20 0 15 0 47683005 11090079744 42021 33554432000 4194304 4196468 140727601994144 139972514407280 139973629843157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5621] ppid=5557 vsize=10830156 memory=-2746958450906831424 CPUtime=0.07 cores=0,2,4,6
/proc/5560/task/5621/stat : 5621 (java) S 5557 5560 4562 0 -1 1077944384 3 13015 0 0 0 0 5 2 20 0 15 0 47683008 11090079744 42021 33554432000 4194304 4196468 140727601994144 139972207007568 139973629851547 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5622] ppid=5557 vsize=10830156 memory=0 CPUtime=0.59 cores=0,2,4,6
/proc/5560/task/5622/stat : 5622 (java) S 5557 5560 4562 0 -1 1077944384 2281 13015 0 0 52 0 5 2 20 0 15 0 47683008 11090079744 42021 33554432000 4194304 4196468 140727601994144 139973054679920 139973629844098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5623] ppid=5557 vsize=10830156 memory=0 CPUtime=0.59 cores=0,2,4,6
/proc/5560/task/5623/stat : 5623 (java) R 5557 5560 4562 0 -1 4202560 1208 13015 0 0 52 0 5 2 20 0 15 0 47683008 11090079744 42021 33554432000 4194304 4196468 140727601994144 139973053627416 139973614733436 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5624] ppid=5557 vsize=10830156 memory=8112282956445269571 CPUtime=0.55 cores=0,2,4,6
/proc/5560/task/5624/stat : 5624 (java) S 5557 5560 4562 0 -1 1077944384 1724 13015 0 0 47 1 5 2 20 0 15 0 47683008 11090079744 42021 33554432000 4194304 4196468 140727601994144 139973052574320 139973629844098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5625] ppid=5557 vsize=10830156 memory=4638778398332698720 CPUtime=0.07 cores=0,2,4,6
/proc/5560/task/5625/stat : 5625 (java) S 5557 5560 4562 0 -1 1077944384 3 13015 0 0 0 0 5 2 20 0 15 0 47683008 11090079744 42021 33554432000 4194304 4196468 140727601994144 139972173449952 139973629843157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5626] ppid=5557 vsize=10830156 memory=280777313524608 CPUtime=0.07 cores=0,2,4,6
/proc/5560/task/5626/stat : 5626 (java) S 5557 5560 4562 0 -1 1077944384 1 13015 0 0 0 0 5 2 20 0 15 0 47683008 11090079744 42021 33554432000 4194304 4196468 140727601994144 139972595149488 139973629844098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 10830156 KiB

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

/proc/5560/task/5613/stat : 5613 (java) R 5557 5560 4562 0 -1 4202560 105236 13015 0 0 229796 55 5 2 20 0 15 0 47683002 11180277760 250453 33554432000 4194304 4196468 140727601994144 139973601667632 139973226229353 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5614] ppid=5557 vsize=10918240 memory=1001812 CPUtime=14.11 cores=0,2,4,6
/proc/5560/task/5614/stat : 5614 (java) S 5557 5560 4562 0 -1 1077944384 23415 13015 0 0 1351 53 5 2 20 0 15 0 47683003 11180277760 250453 33554432000 4194304 4196468 140727601994144 139973634075792 139973629843157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5615] ppid=5557 vsize=10918240 memory=1001812 CPUtime=14.13 cores=0,2,4,6
/proc/5560/task/5615/stat : 5615 (java) S 5557 5560 4562 0 -1 1077944384 21244 13015 0 0 1352 54 5 2 20 0 15 0 47683003 11180277760 250453 33554432000 4194304 4196468 140727601994144 139973522349072 139973629843157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5616] ppid=5557 vsize=10918240 memory=1001812 CPUtime=14.11 cores=0,2,4,6
/proc/5560/task/5616/stat : 5616 (java) S 5557 5560 4562 0 -1 1077944384 27666 13015 0 0 1349 55 5 2 20 0 15 0 47683003 11180277760 250453 33554432000 4194304 4196468 140727601994144 139973202275216 139973629843157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5617] ppid=5557 vsize=10918240 memory=1001812 CPUtime=14.1 cores=0,2,4,6
/proc/5560/task/5617/stat : 5617 (java) S 5557 5560 4562 0 -1 1077944384 25146 13015 0 0 1346 57 5 2 20 0 15 0 47683003 11180277760 250453 33554432000 4194304 4196468 140727601994144 139973201222416 139973629843157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5618] ppid=5557 vsize=10918240 memory=1001812 CPUtime=7.61 cores=0,2,4,6
/proc/5560/task/5618/stat : 5618 (java) S 5557 5560 4562 0 -1 1077944384 21422 13015 0 0 704 50 5 2 20 0 15 0 47683004 11180277760 250453 33554432000 4194304 4196468 140727601994144 139973089290608 139973629844098 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5619] ppid=5557 vsize=10918240 memory=1001812 CPUtime=0.07 cores=0,2,4,6
/proc/5560/task/5619/stat : 5619 (java) S 5557 5560 4562 0 -1 1077944384 45 13015 0 0 0 0 5 2 20 0 15 0 47683005 11180277760 250453 33554432000 4194304 4196468 140727601994144 139973088236640 139973629843157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5620] ppid=5557 vsize=10918240 memory=1001812 CPUtime=0.07 cores=0,2,4,6
/proc/5560/task/5620/stat : 5620 (java) S 5557 5560 4562 0 -1 1077944384 14 13015 0 0 0 0 5 2 20 0 15 0 47683005 11180277760 250453 33554432000 4194304 4196468 140727601994144 139972514407296 139973629843157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5621] ppid=5557 vsize=10918240 memory=1001812 CPUtime=0.07 cores=0,2,4,6
/proc/5560/task/5621/stat : 5621 (java) S 5557 5560 4562 0 -1 1077944384 3 13015 0 0 0 0 5 2 20 0 15 0 47683008 11180277760 250453 33554432000 4194304 4196468 140727601994144 139972207007568 139973629851547 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5622] ppid=5557 vsize=10918240 memory=1001812 CPUtime=12.04 cores=0,2,4,6
/proc/5560/task/5622/stat : 5622 (java) S 5557 5560 4562 0 -1 1077944384 58944 13015 0 0 1190 7 5 2 20 0 15 0 47683008 11180277760 250453 33554432000 4194304 4196468 140727601994144 139973054679920 139973629844098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5623] ppid=5557 vsize=10918240 memory=4140 CPUtime=11.74 cores=0,2,4,6
/proc/5560/task/5623/stat : 5623 (java) S 5557 5560 4562 0 -1 1077944384 56850 13015 0 0 1161 6 5 2 20 0 15 0 47683008 11180277760 250453 33554432000 4194304 4196468 140727601994144 139973053627120 139973629844098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5624] ppid=5557 vsize=10918240 memory=1001812 CPUtime=4.89 cores=0,2,4,6
/proc/5560/task/5624/stat : 5624 (java) S 5557 5560 4562 0 -1 1077944384 72217 13015 0 0 470 12 5 2 20 0 15 0 47683008 11180277760 250453 33554432000 4194304 4196468 140727601994144 139973052574320 139973629844098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5625] ppid=5557 vsize=10918240 memory=1001812 CPUtime=0.07 cores=0,2,4,6
/proc/5560/task/5625/stat : 5625 (java) S 5557 5560 4562 0 -1 1077944384 3 13015 0 0 0 0 5 2 20 0 15 0 47683008 11180277760 250453 33554432000 4194304 4196468 140727601994144 139972173449952 139973629843157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5626] ppid=5557 vsize=10918240 memory=8112282956445269571 CPUtime=1.36 cores=0,2,4,6
/proc/5560/task/5626/stat : 5626 (java) S 5557 5560 4562 0 -1 1077944384 2657 13015 0 0 62 67 5 2 20 0 15 0 47683008 11180277760 250453 33554432000 4194304 4196468 140727601994144 139972595149488 139973629844098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
Current children cumulated CPU time: 2392.17 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1001812 KiB

[startup+2382.3 s]
/proc/loadavg: 0.93 1.19 1.30 3/217 5722
/proc/meminfo: memFree=19769540/32770624 swapFree=67108860/67108860
[pid=5560] ppid=5557 vsize=10918240 memory=998208 CPUtime=2453.34 cores=0,2,4,6
/proc/5560/stat : 5560 (java) S 5557 5560 4562 0 -1 1077944320 418976 13015 0 0 244943 384 5 2 20 0 15 0 47682993 11180277760 249552 33554432000 4194304 4196468 140727601994144 140727601976688 139973629832951 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
/proc/5560/statm: 2729560 249552 3533 1 0 2691213 0
[pid=5560/tid=5613] ppid=5557 vsize=10918240 memory=1001812 CPUtime=2357.93 cores=0,2,4,6
/proc/5560/task/5613/stat : 5613 (java) R 5557 5560 4562 0 -1 4202560 106144 13015 0 0 235730 56 5 2 20 0 15 0 47683002 11180277760 249552 33554432000 4194304 4196468 140727601994144 139973601667760 139973212185536 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5614] ppid=5557 vsize=10918240 memory=1001812 CPUtime=14.51 cores=0,2,4,6
/proc/5560/task/5614/stat : 5614 (java) S 5557 5560 4562 0 -1 1077944384 23724 13015 0 0 1390 54 5 2 20 0 15 0 47683003 11180277760 249552 33554432000 4194304 4196468 140727601994144 139973634075792 139973629843157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5615] ppid=5557 vsize=10918240 memory=1005908 CPUtime=14.52 cores=0,2,4,6
/proc/5560/task/5615/stat : 5615 (java) S 5557 5560 4562 0 -1 1077944384 21507 13015 0 0 1390 55 5 2 20 0 15 0 47683003 11180277760 249552 33554432000 4194304 4196468 140727601994144 139973522349072 139973629843157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5616] ppid=5557 vsize=10918240 memory=999236 CPUtime=14.52 cores=0,2,4,6
/proc/5560/task/5616/stat : 5616 (java) S 5557 5560 4562 0 -1 1077944384 27745 13015 0 0 1388 57 5 2 20 0 15 0 47683003 11180277760 249552 33554432000 4194304 4196468 140727601994144 139973202275216 139973629843157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5617] ppid=5557 vsize=10918240 memory=280777313834600 CPUtime=14.5 cores=0,2,4,6
/proc/5560/task/5617/stat : 5617 (java) S 5557 5560 4562 0 -1 1077944384 25273 13015 0 0 1385 58 5 2 20 0 15 0 47683003 11180277760 249552 33554432000 4194304 4196468 140727601994144 139973201222416 139973629843157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5618] ppid=5557 vsize=10918240 memory=164 CPUtime=7.82 cores=0,2,4,6
/proc/5560/task/5618/stat : 5618 (java) S 5557 5560 4562 0 -1 1077944384 21639 13015 0 0 723 52 5 2 20 0 15 0 47683004 11180277760 249552 33554432000 4194304 4196468 140727601994144 139973089290608 139973629844098 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5619] ppid=5557 vsize=10918240 memory=1001812 CPUtime=0.07 cores=0,2,4,6
/proc/5560/task/5619/stat : 5619 (java) S 5557 5560 4562 0 -1 1077944384 45 13015 0 0 0 0 5 2 20 0 15 0 47683005 11180277760 249552 33554432000 4194304 4196468 140727601994144 139973088236640 139973629843157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5620] ppid=5557 vsize=10918240 memory=1001812 CPUtime=0.07 cores=0,2,4,6
/proc/5560/task/5620/stat : 5620 (java) S 5557 5560 4562 0 -1 1077944384 14 13015 0 0 0 0 5 2 20 0 15 0 47683005 11180277760 249552 33554432000 4194304 4196468 140727601994144 139972514407296 139973629843157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5621] ppid=5557 vsize=10918240 memory=1001812 CPUtime=0.07 cores=0,2,4,6
/proc/5560/task/5621/stat : 5621 (java) S 5557 5560 4562 0 -1 1077944384 3 13015 0 0 0 0 5 2 20 0 15 0 47683008 11180277760 249552 33554432000 4194304 4196468 140727601994144 139972207007568 139973629851547 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5622] ppid=5557 vsize=10918240 memory=1001812 CPUtime=12.05 cores=0,2,4,6
/proc/5560/task/5622/stat : 5622 (java) S 5557 5560 4562 0 -1 1077944384 58946 13015 0 0 1190 8 5 2 20 0 15 0 47683008 11180277760 249552 33554432000 4194304 4196468 140727601994144 139973054679920 139973629844098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5623] ppid=5557 vsize=10918240 memory=2340 CPUtime=11.75 cores=0,2,4,6
/proc/5560/task/5623/stat : 5623 (java) S 5557 5560 4562 0 -1 1077944384 56852 13015 0 0 1162 6 5 2 20 0 15 0 47683008 11180277760 249552 33554432000 4194304 4196468 140727601994144 139973053627120 139973629844098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5624] ppid=5557 vsize=10918240 memory=1576 CPUtime=4.89 cores=0,2,4,6
/proc/5560/task/5624/stat : 5624 (java) S 5557 5560 4562 0 -1 1077944384 72219 13015 0 0 470 12 5 2 20 0 15 0 47683008 11180277760 249552 33554432000 4194304 4196468 140727601994144 139973052574320 139973629844098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5625] ppid=5557 vsize=10918240 memory=4140 CPUtime=0.07 cores=0,2,4,6
/proc/5560/task/5625/stat : 5625 (java) S 5557 5560 4562 0 -1 1077944384 3 13015 0 0 0 0 5 2 20 0 15 0 47683008 11180277760 249552 33554432000 4194304 4196468 140727601994144 139972173449952 139973629843157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5626] ppid=5557 vsize=10918240 memory=15900 CPUtime=1.39 cores=0,2,4,6
/proc/5560/task/5626/stat : 5626 (java) S 5557 5560 4562 0 -1 1077944384 2674 13015 0 0 64 68 5 2 20 0 15 0 47683008 11180277760 249552 33554432000 4194304 4196468 140727601994144 139972595149488 139973629844098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
Current children cumulated CPU time: 2453.34 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 998208 KiB

[startup+2442.3 s]
/proc/loadavg: 1.45 1.29 1.32 4/217 5850
/proc/meminfo: memFree=19672652/32770624 swapFree=67108860/67108860
[pid=5560] ppid=5557 vsize=10918240 memory=978716 CPUtime=2514.47 cores=0,2,4,6
/proc/5560/stat : 5560 (java) S 5557 5560 4562 0 -1 1077944320 420517 13015 0 0 251050 390 5 2 20 0 15 0 47682993 11180277760 244679 33554432000 4194304 4196468 140727601994144 140727601976688 139973629832951 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
/proc/5560/statm: 2729560 244679 3533 1 0 2691213 0
[pid=5560/tid=5613] ppid=5557 vsize=10918240 memory=978716 CPUtime=2417.3 cores=0,2,4,6
/proc/5560/task/5613/stat : 5613 (java) R 5557 5560 4562 0 -1 4202560 106756 13015 0 0 241667 56 5 2 20 0 15 0 47683002 11180277760 244679 33554432000 4194304 4196468 140727601994144 139973601667808 139973212184854 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5614] ppid=5557 vsize=10918240 memory=978716 CPUtime=14.9 cores=0,2,4,6
/proc/5560/task/5614/stat : 5614 (java) S 5557 5560 4562 0 -1 1077944384 23882 13015 0 0 1427 56 5 2 20 0 15 0 47683003 11180277760 244679 33554432000 4194304 4196468 140727601994144 139973634075792 139973629843157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5615] ppid=5557 vsize=10918240 memory=978716 CPUtime=14.89 cores=0,2,4,6
/proc/5560/task/5615/stat : 5615 (java) S 5557 5560 4562 0 -1 1077944384 21608 13015 0 0 1426 56 5 2 20 0 15 0 47683003 11180277760 244679 33554432000 4194304 4196468 140727601994144 139973522349072 139973629843157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5616] ppid=5557 vsize=10918240 memory=978716 CPUtime=14.9 cores=0,2,4,6
/proc/5560/task/5616/stat : 5616 (java) S 5557 5560 4562 0 -1 1077944384 27888 13015 0 0 1426 57 5 2 20 0 15 0 47683003 11180277760 244679 33554432000 4194304 4196468 140727601994144 139973202275216 139973629843157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5617] ppid=5557 vsize=10918240 memory=978716 CPUtime=14.88 cores=0,2,4,6
/proc/5560/task/5617/stat : 5617 (java) S 5557 5560 4562 0 -1 1077944384 25555 13015 0 0 1423 58 5 2 20 0 15 0 47683003 11180277760 244679 33554432000 4194304 4196468 140727601994144 139973201222416 139973629843157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5618] ppid=5557 vsize=10918240 memory=978716 CPUtime=8.01 cores=0,2,4,6
/proc/5560/task/5618/stat : 5618 (java) S 5557 5560 4562 0 -1 1077944384 21864 13015 0 0 741 53 5 2 20 0 15 0 47683004 11180277760 244679 33554432000 4194304 4196468 140727601994144 139973089290608 139973629844098 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5619] ppid=5557 vsize=10918240 memory=978716 CPUtime=0.07 cores=0,2,4,6
/proc/5560/task/5619/stat : 5619 (java) S 5557 5560 4562 0 -1 1077944384 45 13015 0 0 0 0 5 2 20 0 15 0 47683005 11180277760 244679 33554432000 4194304 4196468 140727601994144 139973088236640 139973629843157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5620] ppid=5557 vsize=10918240 memory=978716 CPUtime=0.07 cores=0,2,4,6
/proc/5560/task/5620/stat : 5620 (java) S 5557 5560 4562 0 -1 1077944384 14 13015 0 0 0 0 5 2 20 0 15 0 47683005 11180277760 244679 33554432000 4194304 4196468 140727601994144 139972514407296 139973629843157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5621] ppid=5557 vsize=10918240 memory=978716 CPUtime=0.07 cores=0,2,4,6
/proc/5560/task/5621/stat : 5621 (java) S 5557 5560 4562 0 -1 1077944384 3 13015 0 0 0 0 5 2 20 0 15 0 47683008 11180277760 244679 33554432000 4194304 4196468 140727601994144 139972207007568 139973629851547 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5622] ppid=5557 vsize=10918240 memory=164 CPUtime=12.05 cores=0,2,4,6
/proc/5560/task/5622/stat : 5622 (java) S 5557 5560 4562 0 -1 1077944384 58948 13015 0 0 1190 8 5 2 20 0 15 0 47683008 11180277760 244679 33554432000 4194304 4196468 140727601994144 139973054679920 139973629844098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5623] ppid=5557 vsize=10918240 memory=978716 CPUtime=11.75 cores=0,2,4,6
/proc/5560/task/5623/stat : 5623 (java) S 5557 5560 4562 0 -1 1077944384 56854 13015 0 0 1162 6 5 2 20 0 15 0 47683008 11180277760 244679 33554432000 4194304 4196468 140727601994144 139973053627120 139973629844098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5624] ppid=5557 vsize=10918240 memory=0 CPUtime=4.89 cores=0,2,4,6
/proc/5560/task/5624/stat : 5624 (java) S 5557 5560 4562 0 -1 1077944384 72221 13015 0 0 470 12 5 2 20 0 15 0 47683008 11180277760 244679 33554432000 4194304 4196468 140727601994144 139973052574320 139973629844098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5625] ppid=5557 vsize=10918240 memory=978716 CPUtime=0.07 cores=0,2,4,6
/proc/5560/task/5625/stat : 5625 (java) S 5557 5560 4562 0 -1 1077944384 3 13015 0 0 0 0 5 2 20 0 15 0 47683008 11180277760 244679 33554432000 4194304 4196468 140727601994144 139972173449952 139973629843157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5626] ppid=5557 vsize=10918240 memory=978716 CPUtime=1.43 cores=0,2,4,6
/proc/5560/task/5626/stat : 5626 (java) S 5557 5560 4562 0 -1 1077944384 2688 13015 0 0 66 70 5 2 20 0 15 0 47683008 11180277760 244679 33554432000 4194304 4196468 140727601994144 139972595149488 139973629844098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
Current children cumulated CPU time: 2514.47 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 978716 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2447.8 s]
/proc/loadavg: 1.42 1.29 1.32 4/217 5850
/proc/meminfo: memFree=19615060/32770624 swapFree=67108860/67108860
[pid=5560] ppid=5557 vsize=10918240 memory=978716 CPUtime=2520.07 cores=0,2,4,6
/proc/5560/stat : 5560 (java) S 5557 5560 4562 0 -1 1077944320 420552 13015 0 0 251610 390 5 2 20 0 15 0 47682993 11180277760 244679 33554432000 4194304 4196468 140727601994144 140727601976688 139973629832951 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
/proc/5560/statm: 2729560 244679 3533 1 0 2691213 0
[pid=5560/tid=5613] ppid=5557 vsize=10918240 memory=2200 CPUtime=2422.73 cores=0,2,4,6
/proc/5560/task/5613/stat : 5613 (java) R 5557 5560 4562 0 -1 4202560 106781 13015 0 0 242210 56 5 2 20 0 15 0 47683002 11180277760 244679 33554432000 4194304 4196468 140727601994144 139973601667744 139973211476547 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5614] ppid=5557 vsize=10918240 memory=8112282956445269571 CPUtime=14.93 cores=0,2,4,6
/proc/5560/task/5614/stat : 5614 (java) S 5557 5560 4562 0 -1 1077944384 23883 13015 0 0 1430 56 5 2 20 0 15 0 47683003 11180277760 244679 33554432000 4194304 4196468 140727601994144 139973634075792 139973629843157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5615] ppid=5557 vsize=10918240 memory=1728 CPUtime=14.93 cores=0,2,4,6
/proc/5560/task/5615/stat : 5615 (java) S 5557 5560 4562 0 -1 1077944384 21608 13015 0 0 1430 56 5 2 20 0 15 0 47683003 11180277760 244679 33554432000 4194304 4196468 140727601994144 139973522349072 139973629843157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5616] ppid=5557 vsize=10918240 memory=1008 CPUtime=14.93 cores=0,2,4,6
/proc/5560/task/5616/stat : 5616 (java) S 5557 5560 4562 0 -1 1077944384 27889 13015 0 0 1429 57 5 2 20 0 15 0 47683003 11180277760 244679 33554432000 4194304 4196468 140727601994144 139973202275216 139973629843157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5617] ppid=5557 vsize=10918240 memory=5520 CPUtime=14.91 cores=0,2,4,6
/proc/5560/task/5617/stat : 5617 (java) S 5557 5560 4562 0 -1 1077944384 25555 13015 0 0 1426 58 5 2 20 0 15 0 47683003 11180277760 244679 33554432000 4194304 4196468 140727601994144 139973201222416 139973629843157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5618] ppid=5557 vsize=10918240 memory=4616 CPUtime=8.03 cores=0,2,4,6
/proc/5560/task/5618/stat : 5618 (java) S 5557 5560 4562 0 -1 1077944384 21870 13015 0 0 743 53 5 2 20 0 15 0 47683004 11180277760 244679 33554432000 4194304 4196468 140727601994144 139973089290608 139973629844098 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5619] ppid=5557 vsize=10918240 memory=1428 CPUtime=0.07 cores=0,2,4,6
/proc/5560/task/5619/stat : 5619 (java) S 5557 5560 4562 0 -1 1077944384 45 13015 0 0 0 0 5 2 20 0 15 0 47683005 11180277760 244679 33554432000 4194304 4196468 140727601994144 139973088236640 139973629843157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5620] ppid=5557 vsize=10918240 memory=12976 CPUtime=0.07 cores=0,2,4,6
/proc/5560/task/5620/stat : 5620 (java) S 5557 5560 4562 0 -1 1077944384 14 13015 0 0 0 0 5 2 20 0 15 0 47683005 11180277760 244679 33554432000 4194304 4196468 140727601994144 139972514407296 139973629843157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5621] ppid=5557 vsize=10918240 memory=1696 CPUtime=0.07 cores=0,2,4,6
/proc/5560/task/5621/stat : 5621 (java) S 5557 5560 4562 0 -1 1077944384 3 13015 0 0 0 0 5 2 20 0 15 0 47683008 11180277760 244679 33554432000 4194304 4196468 140727601994144 139972207007568 139973629851547 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5622] ppid=5557 vsize=10918240 memory=1232 CPUtime=12.05 cores=0,2,4,6
/proc/5560/task/5622/stat : 5622 (java) S 5557 5560 4562 0 -1 1077944384 58948 13015 0 0 1190 8 5 2 20 0 15 0 47683008 11180277760 244679 33554432000 4194304 4196468 140727601994144 139973054679920 139973629844098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5623] ppid=5557 vsize=10918240 memory=7528 CPUtime=11.75 cores=0,2,4,6
/proc/5560/task/5623/stat : 5623 (java) S 5557 5560 4562 0 -1 1077944384 56854 13015 0 0 1162 6 5 2 20 0 15 0 47683008 11180277760 244679 33554432000 4194304 4196468 140727601994144 139973053627120 139973629844098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5624] ppid=5557 vsize=10918240 memory=840 CPUtime=4.89 cores=0,2,4,6
/proc/5560/task/5624/stat : 5624 (java) S 5557 5560 4562 0 -1 1077944384 72221 13015 0 0 470 12 5 2 20 0 15 0 47683008 11180277760 244679 33554432000 4194304 4196468 140727601994144 139973052574320 139973629844098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5625] ppid=5557 vsize=10918240 memory=1796 CPUtime=0.07 cores=0,2,4,6
/proc/5560/task/5625/stat : 5625 (java) S 5557 5560 4562 0 -1 1077944384 3 13015 0 0 0 0 5 2 20 0 15 0 47683008 11180277760 244679 33554432000 4194304 4196468 140727601994144 139972173449952 139973629843157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
[pid=5560/tid=5626] ppid=5557 vsize=10918240 memory=912 CPUtime=1.43 cores=0,2,4,6
/proc/5560/task/5626/stat : 5626 (java) S 5557 5560 4562 0 -1 1077944384 2690 13015 0 0 66 70 5 2 20 0 15 0 47683008 11180277760 244679 33554432000 4194304 4196468 140727601994144 139972595149488 139973629844098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10665984 140727601998446 140727602001244 140727602001244 140727602003919 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 978716 KiB

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

[startup+2447.83 s]
# the end of solver process 5560 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.17 s, system=3.94258 s

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

Child status: 143
Real time (s): 2447.83
CPU time (s): 2520.12
CPU user time (s): 2516.17
CPU system time (s): 3.94258
CPU usage (%): 102.953
Max. virtual memory (cumulated for all children) (KiB): 10918240
Max. memory (cumulated for all children) (KiB): 2134168

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.17
system time used= 3.94258
maximum resident set size= 2135260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 435014
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3000
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 224388
involuntary context switches= 8079


# summary of solver processes directly reported to runsolver:
#   pid: 5560
#   total CPU time (s): 2520.12
#   total CPU user time (s): 2516.17
#   total CPU system time (s): 3.94258

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.1293 second user time and 24.8371 second system time

The end

Launcher Data 

Begin job on node136 at 2018-07-23 01:13:18
IDJOB=4292957
IDBENCH=141047
IDSOLVER=2750
FILE ID=node136/4292957-1532301198
RUNJOBID= node136-1532296223-4593
PBS_JOBID= 21018988
Free space on /tmp= 57084 MiB

SOLVER NAME= Concrete 3.8 2018-06-13
BENCH NAME= XCSP18/NurseRostering/NurseRostering-09_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4292957-1532301198/watcher-4292957-1532301198 -o /tmp/evaluation-result-4292957-1532301198/solver-4292957-1532301198 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532296223-4593 --watchdog 2580  bin/xcsp-3-concrete -J-Xss32M -randomseed=1775634958 HOME/instance-4292957-1532301198.xml

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

MD5SUM BENCH= 01a28a521b9bba3b9351b91d9c8d3e2f
RANDOM SEED=1775634958

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        20440624 kB
MemAvailable:   30473696 kB
Buffers:          252012 kB
Cached:          9985548 kB
SwapCached:            0 kB
Active:          2700112 kB
Inactive:        9055836 kB
Active(anon):    1521232 kB
Inactive(anon):    16916 kB
Active(file):    1178880 kB
Inactive(file):  9038920 kB
Unevictable:        7336 kB
Mlocked:            7336 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             26684 kB
Writeback:             0 kB
AnonPages:       1526316 kB
Mapped:            49428 kB
Shmem:             17036 kB
Slab:             270772 kB
SReclaimable:     243732 kB
SUnreclaim:        27040 kB
KernelStack:        3504 kB
PageTables:         8084 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2556580 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1290240 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 57060 MiB
End job on node136 at 2018-07-23 01:54:06