Trace number 4302778

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.9.2-SuperNGSAT (TO)6134 252.095 217.056

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 benchmark2850
Best CPU time to get the best result obtained on this benchmark252.092
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.95/0.78	c Concrete v3.9.2.1532736233296 running
15.34/6.24	c 21:53:02.470 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 13924. 'extension(4, x[1][22]=[0‥4]) :: init: true :: relation: MDD 629078509, 9 edges, 5 vertices, 6 tuples
15.34/6.25	c 21:53:02.478 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 13948. 'extension(4, x[1][27]=[0‥4]) :: init: true :: relation: MDD 309790180, 9 edges, 5 vertices, 6 tuples
15.34/6.25	c 21:53:02.479 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 13972. 'extension(4, x[1][35]=[0‥4]) :: init: true :: relation: MDD 423956799, 9 edges, 5 vertices, 6 tuples
15.34/6.25	c 21:53:02.481 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 13996. 'extension(x[0][10]=[0‥4], 4) :: init: true :: relation: MDD 828831332, 9 edges, 5 vertices, 6 tuples
15.34/6.25	c 21:53:02.481 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 13997. 'extension(4, x[2][10]=[0‥4]) :: init: true :: relation: MDD 828831332, 9 edges, 5 vertices, 6 tuples
15.34/6.25	c 21:53:02.483 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14025. 'extension(x[0][31]=[0‥4], 4) :: init: true :: relation: MDD 1504154691, 9 edges, 5 vertices, 6 tuples
15.34/6.26	c 21:53:02.484 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14053. 'extension(x[0][32]=[0‥4], 4) :: init: true :: relation: MDD 45320991, 9 edges, 5 vertices, 6 tuples
15.34/6.26	c 21:53:02.486 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14081. 'extension(x[1][6]=[0‥4], 4) :: init: true :: relation: MDD 1005344801, 9 edges, 5 vertices, 6 tuples
15.34/6.26	c 21:53:02.487 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14112. 'extension(x[1][27]=[0‥4], 4) :: init: true :: relation: MDD 309790180, 9 edges, 5 vertices, 6 tuples
15.34/6.26	c 21:53:02.488 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14113. 'extension(4, x[3][27]=[0‥4]) :: init: true :: relation: MDD 309790180, 9 edges, 5 vertices, 6 tuples
15.34/6.26	c 21:53:02.490 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14141. 'extension(4, x[3][31]=[0‥4]) :: init: true :: relation: MDD 1504154691, 9 edges, 5 vertices, 6 tuples
15.34/6.26	c 21:53:02.491 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14144. 'extension(4, 4) :: init: true :: relation: MDD 1504154691, 9 edges, 5 vertices, 6 tuples
15.34/6.26	c 21:53:02.492 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14170. 'extension(4, x[3][32]=[0‥4]) :: init: true :: relation: MDD 45320991, 9 edges, 5 vertices, 6 tuples
15.34/6.26	c 21:53:02.493 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14173. 'extension(4, 4) :: init: true :: relation: MDD 45320991, 9 edges, 5 vertices, 6 tuples
15.34/6.26	c 21:53:02.495 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14199. 'extension(4, x[4][6]=[0‥4]) :: init: true :: relation: MDD 1005344801, 9 edges, 5 vertices, 6 tuples
15.34/6.27	c 21:53:02.496 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14202. 'extension(4, 4) :: init: true :: relation: MDD 1005344801, 9 edges, 5 vertices, 6 tuples
15.34/6.27	c 21:53:02.498 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14231. 'extension(x[2][9]=[0‥4], 4) :: init: true :: relation: MDD 360628795, 9 edges, 5 vertices, 6 tuples
15.34/6.27	c 21:53:02.499 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14232. 'extension(4, x[4][9]=[0‥4]) :: init: true :: relation: MDD 360628795, 9 edges, 5 vertices, 6 tuples
15.34/6.27	c 21:53:02.501 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14263. 'extension(x[2][18]=[0‥4], 4) :: init: true :: relation: MDD 213095762, 9 edges, 5 vertices, 6 tuples
15.34/6.27	c 21:53:02.502 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14294. 'extension(x[2][20]=[0‥4], 4) :: init: true :: relation: MDD 182926464, 9 edges, 5 vertices, 6 tuples
15.34/6.27	c 21:53:02.503 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14295. 'extension(4, x[4][20]=[0‥4]) :: init: true :: relation: MDD 182926464, 9 edges, 5 vertices, 6 tuples
15.34/6.27	c 21:53:02.505 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14325. 'extension(4, x[5][18]=[0‥4]) :: init: true :: relation: MDD 213095762, 9 edges, 5 vertices, 6 tuples
15.34/6.28	c 21:53:02.506 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14328. 'extension(4, 4) :: init: true :: relation: MDD 213095762, 9 edges, 5 vertices, 6 tuples
15.34/6.28	c 21:53:02.508 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14357. 'extension(4, wk[26][0]=[0‥1]) :: init: true :: relation: MDD 598284487, 5 edges, 3 vertices, 4 tuples
15.34/6.28	c 21:53:02.509 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14358. 'extension(x[4][26]=[0‥4], 4) :: init: true :: relation: MDD 1562251195, 9 edges, 5 vertices, 6 tuples
15.34/6.28	c 21:53:02.510 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14390. 'extension(4, wk[33][0]=[0‥1]) :: init: true :: relation: MDD 1755811644, 5 edges, 3 vertices, 4 tuples
15.34/6.28	c 21:53:02.511 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14391. 'extension(x[4][33]=[0‥4], 4) :: init: true :: relation: MDD 805561728, 9 edges, 5 vertices, 6 tuples
15.34/6.28	c 21:53:02.512 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14423. 'extension(4, wk[11][0]=[0‥1]) :: init: true :: relation: MDD 1083759991, 5 edges, 3 vertices, 4 tuples
15.34/6.28	c 21:53:02.513 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14424. 'extension(x[5][11]=[0‥4], 4) :: init: true :: relation: MDD 1621202291, 9 edges, 5 vertices, 6 tuples
15.34/6.28	c 21:53:02.514 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14458. 'extension(4, wk[26][0]=[0‥1]) :: init: true :: relation: MDD 71843125, 5 edges, 3 vertices, 4 tuples
15.34/6.28	c 21:53:02.514 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14459. 'extension(4, x[7][26]=[0‥4]) :: init: true :: relation: MDD 1562251195, 9 edges, 5 vertices, 6 tuples
15.34/6.28	c 21:53:02.515 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14462. 'extension(4, 4) :: init: true :: relation: MDD 1562251195, 9 edges, 5 vertices, 6 tuples
15.34/6.29	c 21:53:02.516 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14491. 'extension(4, wk[33][0]=[0‥1]) :: init: true :: relation: MDD 880934808, 5 edges, 3 vertices, 4 tuples
15.34/6.29	c 21:53:02.517 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14492. 'extension(4, x[7][33]=[0‥4]) :: init: true :: relation: MDD 805561728, 9 edges, 5 vertices, 6 tuples
15.34/6.29	c 21:53:02.518 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14495. 'extension(4, 4) :: init: true :: relation: MDD 805561728, 9 edges, 5 vertices, 6 tuples
15.34/6.29	c 21:53:02.519 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14524. 'extension(4, x[8][11]=[0‥4]) :: init: true :: relation: MDD 1621202291, 9 edges, 5 vertices, 6 tuples
15.34/6.29	c 21:53:02.520 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14527. 'extension(4, 4) :: init: true :: relation: MDD 1621202291, 9 edges, 5 vertices, 6 tuples
15.34/6.29	c 21:53:02.523 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14558. 'extension(x[6][15]=[0‥4], 4) :: init: true :: relation: MDD 1476116591, 9 edges, 5 vertices, 6 tuples
15.34/6.29	c 21:53:02.523 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14559. 'extension(4, x[8][15]=[0‥4]) :: init: true :: relation: MDD 1476116591, 9 edges, 5 vertices, 6 tuples
15.34/6.30	c 21:53:02.526 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14592. 'extension(x[6][25]=[0‥4], 4) :: init: true :: relation: MDD 1914285129, 9 edges, 5 vertices, 6 tuples
15.66/6.30	c 21:53:02.528 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14625. 'extension(x[6][28]=[0‥4], 4) :: init: true :: relation: MDD 1060563153, 9 edges, 5 vertices, 6 tuples
15.66/6.30	c 21:53:02.528 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14626. 'extension(4, x[8][28]=[0‥4]) :: init: true :: relation: MDD 1060563153, 9 edges, 5 vertices, 6 tuples
15.66/6.30	c 21:53:02.530 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14657. 'extension(x[7][8]=[0‥4], 4) :: init: true :: relation: MDD 104070545, 9 edges, 5 vertices, 6 tuples
15.66/6.30	c 21:53:02.531 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14658. 'extension(4, x[9][8]=[0‥4]) :: init: true :: relation: MDD 104070545, 9 edges, 5 vertices, 6 tuples
15.66/6.30	c 21:53:02.533 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14691. 'extension(4, x[9][25]=[0‥4]) :: init: true :: relation: MDD 1914285129, 9 edges, 5 vertices, 6 tuples
15.66/6.30	c 21:53:02.534 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14694. 'extension(4, 4) :: init: true :: relation: MDD 1914285129, 9 edges, 5 vertices, 6 tuples
15.66/6.31	c 21:53:02.536 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14724. 'extension(x[8][1]=[0‥4], 4) :: init: true :: relation: MDD 1432687668, 9 edges, 5 vertices, 6 tuples
15.66/6.31	c 21:53:02.537 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14758. 'extension(4, x[11][1]=[0‥4]) :: init: true :: relation: MDD 1432687668, 9 edges, 5 vertices, 6 tuples
15.66/6.31	c 21:53:02.538 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14761. 'extension(4, 4) :: init: true :: relation: MDD 1432687668, 9 edges, 5 vertices, 6 tuples
15.66/6.31	c 21:53:02.540 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14792. 'extension(x[9][35]=[0‥4], 4) :: init: true :: relation: MDD 423956799, 9 edges, 5 vertices, 6 tuples
15.66/6.31	c 21:53:02.541 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14793. 'extension(4, x[11][35]=[0‥4]) :: init: true :: relation: MDD 423956799, 9 edges, 5 vertices, 6 tuples
15.66/6.31	c 21:53:02.543 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14824. 'extension(x[10][14]=[0‥4], 4) :: init: true :: relation: MDD 1920147706, 9 edges, 5 vertices, 6 tuples
15.66/6.31	c 21:53:02.544 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14858. 'extension(x[10][24]=[0‥4], 4) :: init: true :: relation: MDD 318020776, 9 edges, 5 vertices, 6 tuples
15.66/6.32	c 21:53:02.545 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14891. 'extension(4, wk[14][1]=[0‥1]) :: init: true :: relation: MDD 1937618936, 5 edges, 3 vertices, 4 tuples
15.66/6.32	c 21:53:02.546 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14892. 'extension(4, x[13][14]=[0‥4]) :: init: true :: relation: MDD 1920147706, 9 edges, 5 vertices, 6 tuples
15.66/6.32	c 21:53:02.546 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14895. 'extension(4, 4) :: init: true :: relation: MDD 1920147706, 9 edges, 5 vertices, 6 tuples
15.66/6.32	c 21:53:02.548 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14926. 'extension(4, wk[15][1]=[0‥1]) :: init: true :: relation: MDD 752230403, 5 edges, 3 vertices, 4 tuples
15.66/6.32	c 21:53:02.549 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14927. 'extension(x[11][15]=[0‥4], 4) :: init: true :: relation: MDD 1476116591, 9 edges, 5 vertices, 6 tuples
15.66/6.32	c 21:53:02.549 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14928. 'extension(4, x[13][15]=[0‥4]) :: init: true :: relation: MDD 1476116591, 9 edges, 5 vertices, 6 tuples
15.66/6.32	c 21:53:02.552 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14961. 'extension(4, wk[24][1]=[0‥1]) :: init: true :: relation: MDD 1436347886, 5 edges, 3 vertices, 4 tuples
15.66/6.32	c 21:53:02.552 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14962. 'extension(4, x[13][24]=[0‥4]) :: init: true :: relation: MDD 318020776, 9 edges, 5 vertices, 6 tuples
15.66/6.32	c 21:53:02.553 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14965. 'extension(4, 4) :: init: true :: relation: MDD 318020776, 9 edges, 5 vertices, 6 tuples
15.66/6.33	c 21:53:02.555 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14995. 'extension(4, wk[3][1]=[0‥1]) :: init: true :: relation: MDD 2003311844, 5 edges, 3 vertices, 4 tuples
15.66/6.33	c 21:53:02.555 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 14996. 'extension(x[12][3]=[0‥4], 4) :: init: true :: relation: MDD 1977652583, 9 edges, 5 vertices, 6 tuples
15.66/6.33	c 21:53:02.556 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15030. 'extension(4, wk[30][1]=[0‥1]) :: init: true :: relation: MDD 1117802526, 5 edges, 3 vertices, 4 tuples
15.66/6.33	c 21:53:02.556 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15031. 'extension(x[12][30]=[0‥4], 4) :: init: true :: relation: MDD 518290846, 9 edges, 5 vertices, 6 tuples
15.66/6.33	c 21:53:02.557 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15063. 'extension(4, wk[34][1]=[0‥1]) :: init: true :: relation: MDD 931482420, 5 edges, 3 vertices, 4 tuples
15.66/6.33	c 21:53:02.558 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15064. 'extension(x[12][34]=[0‥4], 4) :: init: true :: relation: MDD 327853004, 9 edges, 5 vertices, 6 tuples
15.66/6.33	c 21:53:02.559 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15096. 'extension(4, x[15][3]=[0‥4]) :: init: true :: relation: MDD 1977652583, 9 edges, 5 vertices, 6 tuples
15.66/6.33	c 21:53:02.559 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15099. 'extension(4, 4) :: init: true :: relation: MDD 1977652583, 9 edges, 5 vertices, 6 tuples
15.66/6.33	c 21:53:02.561 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15130. 'extension(x[13][5]=[0‥4], 4) :: init: true :: relation: MDD 441451873, 9 edges, 5 vertices, 6 tuples
15.66/6.33	c 21:53:02.562 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15164. 'extension(x[13][17]=[0‥4], 4) :: init: true :: relation: MDD 1977776214, 9 edges, 5 vertices, 6 tuples
15.66/6.33	c 21:53:02.563 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15197. 'extension(x[13][20]=[0‥4], 4) :: init: true :: relation: MDD 182926464, 9 edges, 5 vertices, 6 tuples
15.66/6.33	c 21:53:02.563 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15198. 'extension(4, x[15][20]=[0‥4]) :: init: true :: relation: MDD 182926464, 9 edges, 5 vertices, 6 tuples
15.66/6.33	c 21:53:02.565 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15230. 'extension(x[13][22]=[0‥4], 4) :: init: true :: relation: MDD 629078509, 9 edges, 5 vertices, 6 tuples
15.66/6.35	c 21:53:02.566 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15231. 'extension(4, x[15][22]=[0‥4]) :: init: true :: relation: MDD 629078509, 9 edges, 5 vertices, 6 tuples
15.66/6.35	c 21:53:02.568 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15263. 'extension(4, x[15][30]=[0‥4]) :: init: true :: relation: MDD 518290846, 9 edges, 5 vertices, 6 tuples
15.66/6.35	c 21:53:02.568 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15266. 'extension(4, 4) :: init: true :: relation: MDD 518290846, 9 edges, 5 vertices, 6 tuples
15.66/6.35	c 21:53:02.569 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15295. 'extension(4, x[15][34]=[0‥4]) :: init: true :: relation: MDD 327853004, 9 edges, 5 vertices, 6 tuples
15.66/6.35	c 21:53:02.570 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15298. 'extension(4, 4) :: init: true :: relation: MDD 327853004, 9 edges, 5 vertices, 6 tuples
15.66/6.35	c 21:53:02.571 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15327. 'extension(x[14][0]=[0‥4], 4) :: init: true :: relation: MDD 5934227, 9 edges, 5 vertices, 6 tuples
15.66/6.35	c 21:53:02.572 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15328. 'extension(4, x[16][0]=[0‥4]) :: init: true :: relation: MDD 5934227, 9 edges, 5 vertices, 6 tuples
15.66/6.35	c 21:53:02.573 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15361. 'extension(4, x[16][5]=[0‥4]) :: init: true :: relation: MDD 441451873, 9 edges, 5 vertices, 6 tuples
15.66/6.35	c 21:53:02.574 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15364. 'extension(4, 4) :: init: true :: relation: MDD 441451873, 9 edges, 5 vertices, 6 tuples
15.66/6.35	c 21:53:02.576 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15395. 'extension(4, x[16][17]=[0‥4]) :: init: true :: relation: MDD 1977776214, 9 edges, 5 vertices, 6 tuples
15.66/6.35	c 21:53:02.577 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15398. 'extension(4, 4) :: init: true :: relation: MDD 1977776214, 9 edges, 5 vertices, 6 tuples
15.66/6.35	c 21:53:02.578 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15428. 'extension(x[14][28]=[0‥4], 4) :: init: true :: relation: MDD 1060563153, 9 edges, 5 vertices, 6 tuples
15.66/6.35	c 21:53:02.578 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15429. 'extension(4, x[16][28]=[0‥4]) :: init: true :: relation: MDD 1060563153, 9 edges, 5 vertices, 6 tuples
15.66/6.35	c 21:53:02.580 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15460. 'extension(x[15][23]=[0‥4], 4) :: init: true :: relation: MDD 907721985, 9 edges, 5 vertices, 6 tuples
15.66/6.35	c 21:53:02.581 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15461. 'extension(4, x[17][23]=[0‥4]) :: init: true :: relation: MDD 907721985, 9 edges, 5 vertices, 6 tuples
15.66/6.35	c 21:53:02.583 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15493. 'extension(x[16][4]=[0‥4], 4) :: init: true :: relation: MDD 245703044, 9 edges, 5 vertices, 6 tuples
15.66/6.35	c 21:53:02.583 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15494. 'extension(4, x[18][4]=[0‥4]) :: init: true :: relation: MDD 245703044, 9 edges, 5 vertices, 6 tuples
15.66/6.36	c 21:53:02.586 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15527. 'extension(x[17][0]=[0‥4], 4) :: init: true :: relation: MDD 5934227, 9 edges, 5 vertices, 6 tuples
15.66/6.36	c 21:53:02.586 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15528. 'extension(4, x[19][0]=[0‥4]) :: init: true :: relation: MDD 5934227, 9 edges, 5 vertices, 6 tuples
15.66/6.36	c 21:53:02.588 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15561. 'extension(x[17][7]=[0‥4], 4) :: init: true :: relation: MDD 2009139807, 9 edges, 5 vertices, 6 tuples
15.66/6.36	c 21:53:02.589 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15595. 'extension(x[17][8]=[0‥4], 4) :: init: true :: relation: MDD 104070545, 9 edges, 5 vertices, 6 tuples
15.66/6.36	c 21:53:02.589 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15596. 'extension(4, x[19][8]=[0‥4]) :: init: true :: relation: MDD 104070545, 9 edges, 5 vertices, 6 tuples
15.66/6.36	c 21:53:02.592 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15629. 'extension(4, wk[7][2]=[0‥1]) :: init: true :: relation: MDD 1708711928, 5 edges, 3 vertices, 4 tuples
15.66/6.36	c 21:53:02.592 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15630. 'extension(4, x[20][7]=[0‥4]) :: init: true :: relation: MDD 2009139807, 9 edges, 5 vertices, 6 tuples
15.66/6.36	c 21:53:02.592 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15633. 'extension(4, 4) :: init: true :: relation: MDD 2009139807, 9 edges, 5 vertices, 6 tuples
15.66/6.36	c 21:53:02.594 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15664. 'extension(x[20][12]=[0‥4], 4) :: init: true :: relation: MDD 234430897, 9 edges, 5 vertices, 6 tuples
15.66/6.36	c 21:53:02.595 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15698. 'extension(x[20][23]=[0‥4], 4) :: init: true :: relation: MDD 907721985, 9 edges, 5 vertices, 6 tuples
15.66/6.36	c 21:53:02.596 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15699. 'extension(4, x[22][23]=[0‥4]) :: init: true :: relation: MDD 907721985, 9 edges, 5 vertices, 6 tuples
15.66/6.37	c 21:53:02.598 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15731. 'extension(x[21][9]=[0‥4], 4) :: init: true :: relation: MDD 360628795, 9 edges, 5 vertices, 6 tuples
15.66/6.37	c 21:53:02.598 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15732. 'extension(4, x[23][9]=[0‥4]) :: init: true :: relation: MDD 360628795, 9 edges, 5 vertices, 6 tuples
15.66/6.37	c 21:53:02.600 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15765. 'extension(4, x[23][12]=[0‥4]) :: init: true :: relation: MDD 234430897, 9 edges, 5 vertices, 6 tuples
15.66/6.37	c 21:53:02.601 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15768. 'extension(4, 4) :: init: true :: relation: MDD 234430897, 9 edges, 5 vertices, 6 tuples
15.66/6.37	c 21:53:02.602 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15799. 'extension(x[21][13]=[0‥4], 4) :: init: true :: relation: MDD 2100487956, 9 edges, 5 vertices, 6 tuples
15.66/6.37	c 21:53:02.603 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15800. 'extension(4, x[23][13]=[0‥4]) :: init: true :: relation: MDD 2100487956, 9 edges, 5 vertices, 6 tuples
15.66/6.37	c 21:53:02.604 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15833. 'extension(x[21][21]=[0‥4], 4) :: init: true :: relation: MDD 1939282277, 9 edges, 5 vertices, 6 tuples
15.66/6.37	c 21:53:02.605 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15866. 'extension(x[22][4]=[0‥4], 4) :: init: true :: relation: MDD 245703044, 9 edges, 5 vertices, 6 tuples
15.66/6.38	c 21:53:02.606 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15867. 'extension(4, x[24][4]=[0‥4]) :: init: true :: relation: MDD 245703044, 9 edges, 5 vertices, 6 tuples
15.66/6.38	c 21:53:02.608 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15899. 'extension(4, x[24][21]=[0‥4]) :: init: true :: relation: MDD 1939282277, 9 edges, 5 vertices, 6 tuples
15.66/6.38	c 21:53:02.608 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15902. 'extension(4, 4) :: init: true :: relation: MDD 1939282277, 9 edges, 5 vertices, 6 tuples
15.66/6.38	c 21:53:02.610 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15931. 'extension(x[23][2]=[0‥4], 4) :: init: true :: relation: MDD 722321959, 9 edges, 5 vertices, 6 tuples
15.66/6.38	c 21:53:02.610 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15963. 'extension(x[23][16]=[0‥4], 4) :: init: true :: relation: MDD 1965269980, 9 edges, 5 vertices, 6 tuples
15.66/6.38	c 21:53:02.611 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15994. 'extension(x[23][29]=[0‥4], 4) :: init: true :: relation: MDD 1089691218, 9 edges, 5 vertices, 6 tuples
15.66/6.38	c 21:53:02.612 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16024. 'extension(4, x[26][2]=[0‥4]) :: init: true :: relation: MDD 722321959, 9 edges, 5 vertices, 6 tuples
15.66/6.38	c 21:53:02.613 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16027. 'extension(4, 4) :: init: true :: relation: MDD 722321959, 9 edges, 5 vertices, 6 tuples
15.66/6.39	c 21:53:02.614 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16055. 'extension(x[24][10]=[0‥4], 4) :: init: true :: relation: MDD 828831332, 9 edges, 5 vertices, 6 tuples
15.66/6.39	c 21:53:02.615 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16056. 'extension(4, x[26][10]=[0‥4]) :: init: true :: relation: MDD 828831332, 9 edges, 5 vertices, 6 tuples
15.66/6.39	c 21:53:02.616 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16086. 'extension(x[24][13]=[0‥4], 4) :: init: true :: relation: MDD 2100487956, 9 edges, 5 vertices, 6 tuples
15.66/6.39	c 21:53:02.617 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16087. 'extension(4, x[26][13]=[0‥4]) :: init: true :: relation: MDD 2100487956, 9 edges, 5 vertices, 6 tuples
15.66/6.39	c 21:53:02.619 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16117. 'extension(4, x[26][16]=[0‥4]) :: init: true :: relation: MDD 1965269980, 9 edges, 5 vertices, 6 tuples
15.66/6.39	c 21:53:02.619 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16120. 'extension(4, 4) :: init: true :: relation: MDD 1965269980, 9 edges, 5 vertices, 6 tuples
15.66/6.39	c 21:53:02.620 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16147. 'extension(x[24][19]=[0‥4], 4) :: init: true :: relation: MDD 2078992278, 9 edges, 5 vertices, 6 tuples
15.66/6.39	c 21:53:02.621 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16177. 'extension(4, x[26][29]=[0‥4]) :: init: true :: relation: MDD 1089691218, 9 edges, 5 vertices, 6 tuples
15.66/6.39	c 21:53:02.622 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16180. 'extension(4, 4) :: init: true :: relation: MDD 1089691218, 9 edges, 5 vertices, 6 tuples
15.66/6.39	c 21:53:02.623 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16206. 'extension(4, wk[19][3]=[0‥1]) :: init: true :: relation: MDD 927557408, 5 edges, 3 vertices, 4 tuples
15.66/6.39	c 21:53:02.623 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16207. 'extension(4, x[27][19]=[0‥4]) :: init: true :: relation: MDD 2078992278, 9 edges, 5 vertices, 6 tuples
15.66/6.39	c 21:53:02.624 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16209. 'extension(4, 4) :: init: true :: relation: MDD 2078992278, 9 edges, 5 vertices, 6 tuples
16.04/6.47	c 21:53:02.696 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17740. 'extension(x[1][22]=[0‥4]) :: init: true :: relation: Empty MDD
16.04/6.47	c 21:53:02.697 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17746. 'extension(x[1][27]=[0‥4]) :: init: true :: relation: Empty MDD
16.04/6.47	c 21:53:02.697 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17752. 'extension(x[1][35]=[0‥4]) :: init: true :: relation: Empty MDD
16.04/6.47	c 21:53:02.698 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17758. 'extension(x[0][10]=[0‥4]) :: init: true :: relation: Empty MDD
16.04/6.47	c 21:53:02.698 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17760. 'extension(x[2][10]=[0‥4]) :: init: true :: relation: Empty MDD
16.04/6.47	c 21:53:02.698 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17772. 'extension(x[0][31]=[0‥4]) :: init: true :: relation: Empty MDD
16.04/6.47	c 21:53:02.699 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17778. 'extension(x[0][32]=[0‥4]) :: init: true :: relation: Empty MDD
16.04/6.47	c 21:53:02.699 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17784. 'extension(x[1][6]=[0‥4]) :: init: true :: relation: Empty MDD
16.04/6.47	c 21:53:02.699 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17790. 'extension(x[1][27]=[0‥4]) :: init: true :: relation: Empty MDD
16.04/6.47	c 21:53:02.700 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17792. 'extension(x[3][27]=[0‥4]) :: init: true :: relation: Empty MDD
16.04/6.47	c 21:53:02.700 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17802. 'extension(x[3][31]=[0‥4]) :: init: true :: relation: Empty MDD
16.04/6.47	c 21:53:02.700 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17808. 'extension(x[3][32]=[0‥4]) :: init: true :: relation: Empty MDD
16.04/6.47	c 21:53:02.701 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17814. 'extension(x[4][6]=[0‥4]) :: init: true :: relation: Empty MDD
16.04/6.47	c 21:53:02.701 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17828. 'extension(x[2][9]=[0‥4]) :: init: true :: relation: Empty MDD
16.04/6.47	c 21:53:02.702 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17830. 'extension(x[4][9]=[0‥4]) :: init: true :: relation: Empty MDD
16.04/6.47	c 21:53:02.703 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17844. 'extension(x[2][18]=[0‥4]) :: init: true :: relation: Empty MDD
16.04/6.47	c 21:53:02.703 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17850. 'extension(x[2][20]=[0‥4]) :: init: true :: relation: Empty MDD
16.04/6.47	c 21:53:02.703 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17852. 'extension(x[4][20]=[0‥4]) :: init: true :: relation: Empty MDD
16.04/6.48	c 21:53:02.704 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17864. 'extension(x[5][18]=[0‥4]) :: init: true :: relation: Empty MDD
16.04/6.48	c 21:53:02.705 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17874. 'extension(wk[26][0]=[0‥1]) :: init: true :: relation: Empty MDD
16.04/6.48	c 21:53:02.705 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17876. 'extension(x[4][26]=[0‥4]) :: init: true :: relation: Empty MDD
16.04/6.48	c 21:53:02.705 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17882. 'extension(wk[33][0]=[0‥1]) :: init: true :: relation: Empty MDD
16.04/6.48	c 21:53:02.705 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17884. 'extension(x[4][33]=[0‥4]) :: init: true :: relation: Empty MDD
16.04/6.48	c 21:53:02.706 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17890. 'extension(wk[11][0]=[0‥1]) :: init: true :: relation: Empty MDD
16.04/6.48	c 21:53:02.706 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17892. 'extension(x[5][11]=[0‥4]) :: init: true :: relation: Empty MDD
16.04/6.48	c 21:53:02.706 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17898. 'extension(wk[26][0]=[0‥1]) :: init: true :: relation: Empty MDD
16.04/6.48	c 21:53:02.706 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17900. 'extension(x[7][26]=[0‥4]) :: init: true :: relation: Empty MDD
16.04/6.48	c 21:53:02.707 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17906. 'extension(wk[33][0]=[0‥1]) :: init: true :: relation: Empty MDD
16.04/6.48	c 21:53:02.707 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17908. 'extension(x[7][33]=[0‥4]) :: init: true :: relation: Empty MDD
16.04/6.48	c 21:53:02.707 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17914. 'extension(x[8][11]=[0‥4]) :: init: true :: relation: Empty MDD
16.04/6.48	c 21:53:02.708 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17930. 'extension(x[6][15]=[0‥4]) :: init: true :: relation: Empty MDD
16.04/6.48	c 21:53:02.708 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17932. 'extension(x[8][15]=[0‥4]) :: init: true :: relation: Empty MDD
16.04/6.48	c 21:53:02.709 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17948. 'extension(x[6][25]=[0‥4]) :: init: true :: relation: Empty MDD
16.04/6.48	c 21:53:02.709 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17954. 'extension(x[6][28]=[0‥4]) :: init: true :: relation: Empty MDD
16.04/6.48	c 21:53:02.710 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17956. 'extension(x[8][28]=[0‥4]) :: init: true :: relation: Empty MDD
16.04/6.48	c 21:53:02.710 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17966. 'extension(x[7][8]=[0‥4]) :: init: true :: relation: Empty MDD
16.04/6.48	c 21:53:02.710 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17968. 'extension(x[9][8]=[0‥4]) :: init: true :: relation: Empty MDD
16.04/6.48	c 21:53:02.711 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17982. 'extension(x[9][25]=[0‥4]) :: init: true :: relation: Empty MDD
16.04/6.48	c 21:53:02.711 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17992. 'extension(x[8][1]=[0‥4]) :: init: true :: relation: Empty MDD
16.04/6.48	c 21:53:02.712 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17998. 'extension(x[11][1]=[0‥4]) :: init: true :: relation: Empty MDD
16.04/6.48	c 21:53:02.712 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18012. 'extension(x[9][35]=[0‥4]) :: init: true :: relation: Empty MDD
16.04/6.48	c 21:53:02.713 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18014. 'extension(x[11][35]=[0‥4]) :: init: true :: relation: Empty MDD
16.04/6.48	c 21:53:02.713 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18024. 'extension(x[10][14]=[0‥4]) :: init: true :: relation: Empty MDD
16.04/6.48	c 21:53:02.713 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18030. 'extension(x[10][24]=[0‥4]) :: init: true :: relation: Empty MDD
16.04/6.48	c 21:53:02.714 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18036. 'extension(wk[14][1]=[0‥1]) :: init: true :: relation: Empty MDD
16.04/6.48	c 21:53:02.714 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18038. 'extension(x[13][14]=[0‥4]) :: init: true :: relation: Empty MDD
16.04/6.48	c 21:53:02.715 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18054. 'extension(wk[15][1]=[0‥1]) :: init: true :: relation: Empty MDD
16.04/6.48	c 21:53:02.715 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18056. 'extension(x[11][15]=[0‥4]) :: init: true :: relation: Empty MDD
16.04/6.48	c 21:53:02.715 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18058. 'extension(x[13][15]=[0‥4]) :: init: true :: relation: Empty MDD
16.04/6.49	c 21:53:02.716 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18074. 'extension(wk[24][1]=[0‥1]) :: init: true :: relation: Empty MDD
16.04/6.49	c 21:53:02.716 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18076. 'extension(x[13][24]=[0‥4]) :: init: true :: relation: Empty MDD
16.04/6.49	c 21:53:02.717 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18086. 'extension(wk[3][1]=[0‥1]) :: init: true :: relation: Empty MDD
16.04/6.49	c 21:53:02.717 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18088. 'extension(x[12][3]=[0‥4]) :: init: true :: relation: Empty MDD
16.04/6.49	c 21:53:02.717 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18094. 'extension(wk[30][1]=[0‥1]) :: init: true :: relation: Empty MDD
16.04/6.49	c 21:53:02.717 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18096. 'extension(x[12][30]=[0‥4]) :: init: true :: relation: Empty MDD
16.04/6.49	c 21:53:02.718 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18102. 'extension(wk[34][1]=[0‥1]) :: init: true :: relation: Empty MDD
16.04/6.49	c 21:53:02.718 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18104. 'extension(x[12][34]=[0‥4]) :: init: true :: relation: Empty MDD
16.04/6.49	c 21:53:02.718 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18110. 'extension(x[15][3]=[0‥4]) :: init: true :: relation: Empty MDD
16.04/6.49	c 21:53:02.719 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18124. 'extension(x[13][5]=[0‥4]) :: init: true :: relation: Empty MDD
16.04/6.49	c 21:53:02.719 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18130. 'extension(x[13][17]=[0‥4]) :: init: true :: relation: Empty MDD
16.04/6.49	c 21:53:02.720 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18136. 'extension(x[13][20]=[0‥4]) :: init: true :: relation: Empty MDD
16.04/6.49	c 21:53:02.720 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18138. 'extension(x[15][20]=[0‥4]) :: init: true :: relation: Empty MDD
16.04/6.49	c 21:53:02.720 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18150. 'extension(x[13][22]=[0‥4]) :: init: true :: relation: Empty MDD
16.04/6.49	c 21:53:02.720 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18152. 'extension(x[15][22]=[0‥4]) :: init: true :: relation: Empty MDD
16.04/6.49	c 21:53:02.721 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18164. 'extension(x[15][30]=[0‥4]) :: init: true :: relation: Empty MDD
16.04/6.49	c 21:53:02.721 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18170. 'extension(x[15][34]=[0‥4]) :: init: true :: relation: Empty MDD
16.04/6.49	c 21:53:02.722 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18176. 'extension(x[14][0]=[0‥4]) :: init: true :: relation: Empty MDD
16.04/6.49	c 21:53:02.722 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18178. 'extension(x[16][0]=[0‥4]) :: init: true :: relation: Empty MDD
16.04/6.49	c 21:53:02.723 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18192. 'extension(x[16][5]=[0‥4]) :: init: true :: relation: Empty MDD
16.04/6.49	c 21:53:02.723 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18206. 'extension(x[16][17]=[0‥4]) :: init: true :: relation: Empty MDD
16.04/6.49	c 21:53:02.724 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18216. 'extension(x[14][28]=[0‥4]) :: init: true :: relation: Empty MDD
16.04/6.49	c 21:53:02.724 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18218. 'extension(x[16][28]=[0‥4]) :: init: true :: relation: Empty MDD
16.04/6.49	c 21:53:02.724 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18228. 'extension(x[15][23]=[0‥4]) :: init: true :: relation: Empty MDD
16.04/6.49	c 21:53:02.724 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18230. 'extension(x[17][23]=[0‥4]) :: init: true :: relation: Empty MDD
16.04/6.49	c 21:53:02.725 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18242. 'extension(x[16][4]=[0‥4]) :: init: true :: relation: Empty MDD
16.04/6.50	c 21:53:02.725 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18244. 'extension(x[18][4]=[0‥4]) :: init: true :: relation: Empty MDD
16.28/6.50	c 21:53:02.726 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18258. 'extension(x[17][0]=[0‥4]) :: init: true :: relation: Empty MDD
16.28/6.50	c 21:53:02.726 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18260. 'extension(x[19][0]=[0‥4]) :: init: true :: relation: Empty MDD
16.28/6.50	c 21:53:02.727 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18274. 'extension(x[17][7]=[0‥4]) :: init: true :: relation: Empty MDD
16.28/6.50	c 21:53:02.727 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18280. 'extension(x[17][8]=[0‥4]) :: init: true :: relation: Empty MDD
16.28/6.50	c 21:53:02.727 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18282. 'extension(x[19][8]=[0‥4]) :: init: true :: relation: Empty MDD
16.28/6.50	c 21:53:02.728 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18296. 'extension(wk[7][2]=[0‥1]) :: init: true :: relation: Empty MDD
16.28/6.50	c 21:53:02.728 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18298. 'extension(x[20][7]=[0‥4]) :: init: true :: relation: Empty MDD
16.28/6.50	c 21:53:02.729 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18312. 'extension(x[20][12]=[0‥4]) :: init: true :: relation: Empty MDD
16.28/6.50	c 21:53:02.729 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18318. 'extension(x[20][23]=[0‥4]) :: init: true :: relation: Empty MDD
16.28/6.50	c 21:53:02.729 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18320. 'extension(x[22][23]=[0‥4]) :: init: true :: relation: Empty MDD
16.28/6.50	c 21:53:02.730 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18332. 'extension(x[21][9]=[0‥4]) :: init: true :: relation: Empty MDD
16.28/6.50	c 21:53:02.730 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18334. 'extension(x[23][9]=[0‥4]) :: init: true :: relation: Empty MDD
16.28/6.50	c 21:53:02.731 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18348. 'extension(x[23][12]=[0‥4]) :: init: true :: relation: Empty MDD
16.28/6.50	c 21:53:02.732 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18364. 'extension(x[21][13]=[0‥4]) :: init: true :: relation: Empty MDD
16.28/6.50	c 21:53:02.732 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18366. 'extension(x[23][13]=[0‥4]) :: init: true :: relation: Empty MDD
16.28/6.50	c 21:53:02.732 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18380. 'extension(x[21][21]=[0‥4]) :: init: true :: relation: Empty MDD
16.28/6.50	c 21:53:02.733 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18386. 'extension(x[22][4]=[0‥4]) :: init: true :: relation: Empty MDD
16.28/6.50	c 21:53:02.733 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18388. 'extension(x[24][4]=[0‥4]) :: init: true :: relation: Empty MDD
16.28/6.50	c 21:53:02.734 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18402. 'extension(x[24][21]=[0‥4]) :: init: true :: relation: Empty MDD
16.28/6.50	c 21:53:02.734 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18412. 'extension(x[23][2]=[0‥4]) :: init: true :: relation: Empty MDD
16.28/6.50	c 21:53:02.734 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18418. 'extension(x[23][16]=[0‥4]) :: init: true :: relation: Empty MDD
16.28/6.50	c 21:53:02.735 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18424. 'extension(x[23][29]=[0‥4]) :: init: true :: relation: Empty MDD
16.28/6.50	c 21:53:02.735 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18430. 'extension(x[26][2]=[0‥4]) :: init: true :: relation: Empty MDD
16.28/6.51	c 21:53:02.736 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18444. 'extension(x[24][10]=[0‥4]) :: init: true :: relation: Empty MDD
16.28/6.51	c 21:53:02.736 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18446. 'extension(x[26][10]=[0‥4]) :: init: true :: relation: Empty MDD
16.28/6.51	c 21:53:02.736 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18460. 'extension(x[24][13]=[0‥4]) :: init: true :: relation: Empty MDD
16.28/6.51	c 21:53:02.737 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18462. 'extension(x[26][13]=[0‥4]) :: init: true :: relation: Empty MDD
16.28/6.51	c 21:53:02.737 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18476. 'extension(x[26][16]=[0‥4]) :: init: true :: relation: Empty MDD
16.28/6.51	c 21:53:02.738 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18486. 'extension(x[24][19]=[0‥4]) :: init: true :: relation: Empty MDD
16.28/6.51	c 21:53:02.738 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18492. 'extension(x[26][29]=[0‥4]) :: init: true :: relation: Empty MDD
16.28/6.51	c 21:53:02.738 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18498. 'extension(wk[19][3]=[0‥1]) :: init: true :: relation: Empty MDD
16.28/6.51	c 21:53:02.738 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18500. 'extension(x[27][19]=[0‥4]) :: init: true :: relation: Empty MDD
179.43/149.13	o 6134
252.03/217.01	Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost
252.03/217.01		at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:24)
252.03/217.01		at concrete.heuristic.value.BestCost.$anonfun$select$2(BestCost.scala:53)
252.03/217.01		at bitvectors.SmallBitVector.filter(SmallBitVector.scala:142)
252.03/217.01		at bitvectors.SmallBitVector.filter(SmallBitVector.scala:5)
252.03/217.01		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:126)
252.03/217.01		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:8)
252.03/217.01		at concrete.heuristic.value.BestCost.select(BestCost.scala:53)
252.03/217.01		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
252.03/217.01		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103)
252.03/217.01		at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
252.03/217.01		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
252.03/217.01		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103)
252.03/217.01		at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
252.03/217.01		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
252.03/217.01		at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:109)
252.03/217.01		at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42)
252.03/217.01		at scala.Option.map(Option.scala:146)
252.03/217.01		at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40)
252.03/217.01		at concrete.MAC.mac(MAC.scala:203)
252.03/217.01		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
252.03/217.01		at scala.util.Try$.apply(Try.scala:209)
252.03/217.01		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
252.03/217.01		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
252.03/217.01		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
252.03/217.01		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
252.03/217.01		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
252.03/217.01		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
252.03/217.01		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
252.03/217.01		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
252.03/217.01		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
252.03/217.01		at concrete.MAC.oneRun(MAC.scala:253)
252.03/217.01		at concrete.MAC.nextSolution(MAC.scala:272)
252.03/217.01		at concrete.MAC.nextSolution(MAC.scala:355)
252.03/217.01		at concrete.Solver.hasNext(Solver.scala:166)
252.03/217.01		at scala.collection.Iterator.foreach(Iterator.scala:944)
252.03/217.01		at scala.collection.Iterator.foreach$(Iterator.scala:944)
252.03/217.01		at concrete.Solver.foreach(Solver.scala:68)
252.03/217.01		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
252.03/217.01		at scala.util.Success.$anonfun$map$1(Try.scala:251)
252.03/217.01		at scala.util.Success.map(Try.scala:209)
252.03/217.01		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
252.03/217.01		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
252.03/217.01		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
252.03/217.01		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
252.03/217.01		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
252.03/217.01		at scala.Function0.apply$mcV$sp(Function0.scala:34)
252.03/217.01		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
252.03/217.01		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
252.03/217.01		at scala.App.$anonfun$main$1$adapted(App.scala:76)
252.03/217.01		at scala.collection.immutable.List.foreach(List.scala:389)
252.03/217.01		at scala.App.main(App.scala:76)
252.03/217.01		at scala.App.main$(App.scala:74)
252.03/217.01		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
252.03/217.01		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
252.03/217.02	v <instantiation cost="6134">
252.03/217.02	v       <list>
252.03/217.02	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]
252.03/217.02	v       </list>
252.03/217.02	v       <values>
252.03/217.02	v         0 1 2 1 4 4 0 4 1 3 4 0 4 2 4 4 1 4 3 1 4 4 4 4 4 4 4 4 1 4 4 2 4 2 4 4 0 1 2 2 1 0 0 4 2 3 4 0 2 3 4 4 1 4 4 1 4 1 2 4 4 4 4 4 1 4 4 4 4 4 4 4 0 1 2 4 1 0 4 0 4 3 4 2 2 3 0 4 4 4 4 1 4 1 2 2 4 4 4 4 4 4 4 4 4 4 4 4 3 1 4 4 1 0 4 0 4 4 4 4 4 4 0 0 4 0 4 1 4 1 2 2 4 1 4 4 4 4 2 4 4 2 4 4 4 4 4 4 4 3 0 0 1 4 4 4 4 4 0 3 4 3 4 4 4 4 4 2 4 1 4 4 4 4 2 4 4 4 4 4 4 4 0 4 4 4 1 0 2 4 0 4 4 4 4 3 1 3 4 4 2 4 4 2 4 4 4 4 4 4 4 4 4 4 2 0 4 4 2 4 4 4 1 1 2 4 0 4 4 4 4 4 1 3 0 3 4 0 4 4 4 4 4 1 3 0 0 4 2 4 4 2 4 2 4 2 4 4 4 4 3 4 0 4 1 4 4 4 1 4 4 3 4 1 4 4 0 4 4 1 4 0 4 4 2 4 4 2 2 2 4 2 0 0 4 4 4 4 0 4 1 0 0 4 4 4 4 4 3 1 2 3 4 4 3 4 4 4 4 4 4 1 1 4 2 4 4 2 0 0 0 0 4 2 4 4 1 1 1 0 4 4 4 4 4 3 2 4 4 4 3 1 4 4 4 4 4 4 1 4 2 4 0 3 4 0 0 0 3 2 4 4 2 1 4 0 4 4 3 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 1 4 2 1 0 3 4 0 1 1 3 2 4 4 4 1 4 4 1 4 3 4 2 4 4 4 4 0 4 4 4 0 4 4 4 2 1 4 2 1 0 4 0 0 4 1 4 2 4 0 4 4 4 4 2 4 4 4 3 4 4 4 4 0 2 4 4 4 4 4 4 4 4 4 4 4 0 4 1 4 4 4 4 2 4 3 4 4 0 4 4 2 4 4 4 4 4 2 4 0 4 1 1 0 4 4 4 3 4 4 4 4 0 4 1 4 4 4 2 4 2 4 4 4 1 4 4 4 4 4 4 0 4 3 0 4 4 1 4 4 4 0 4 4 4 2 4 0 4 4 1 4 4 0 3 4 3 4 4 2 1 0 4 4 0 1 4 4 2 4 2 4 4 4 4 4 4 4 4 4 4 2 4 1 4 2 1 0 4 0 4 2 3 4 1 2 4 0 4 4 4 4 4 4 4 4 3 4 4 4 4 3 4 4 4 4 4 2 4 1 0 2 4 0 0 4 4 2 4 2 1 4 4 0 1 4 4 4 0 4 4 3 3 4 2 4 4 4 4 4 2 4 4 4 4 1 0 2 4 4 1 4 4 2 4 2 1 4 4 4 1 4 4 4 0 4 2 4 4 4 4 4 4 4 4 4 2 4 1 4 1 1 4 4 4 4 4 4 4 4 4 2 1 4 4 4 2 4 0 4 0 4 2 4 4 1 4 4 1 3 3 2 4 4 4 4 3 4 4 4 4 0 4 4 0 4 0 4 4 4 4 4 4 1 0 4 0 4 2 4 4 4 2 4 1 4 4 2 0 4 4 4 3 4 1 4 0 3 4 4 3 4 0 4 4 4 2 4 4 2 0 4 1 4 4 4 0 4 2 4 4 4 4 2 0 4 1 4 4 4 1 4 0 3 4 0 4 4 0 4 4 4 3 4 4 2 4 1 4 4 4 4 1 4 4 4 4 4 4 2 0 4 4 4 4 0 1 4 4 4 0 0 4 1 2 2 4 1 3 0 4 2 4 1 4 4 4 4 1 1 4 4 4 4 2 2 4 0 4 4 0 0 4 1 4 4 0 0 2 1 4 2 4 1 3 0 4 2 4 3 2 4 4 4 1 1 4 3 4 4 4 4 4 4 4 4 0 1 4 1 0 4 0 0 2 1 4 2 1 4 4 3 4 4 4 4 4 4 2 4 4 1 4 4 4 4 4 4 4 4 4 2 4 4 4 3 0 4 0 4 4 4 4 4 3 4 4 4 4 4 0 4 4 1 4 1 4 1 4 4 4 4 4 4 4 4 4 4 4 4 4 3 0 4 0 4 4 4 4 4 3 4 4 4 4 4 1 4 4 1 4 1 1 4 4 4 4 4 0 4 4 4 4 4 5 1 5 3 14 3 11 2 0 12 8 3 4 0 13 0 3 7 4 14 8 7 0 0 13 11 0 0 3 14 11 4 0 0 13 12 3 0 0 13 1 2 6 5 14 0 3 8 3 14 7 0 2 2 17 3 0 7 1 17 0 8 3 2 15 1 5 3 2 17 5 3 1 3 16 8 0 0 3 17 0 8 2 0 18 1 1 5 3 18 6 1 0 3 18 0 7 0 3 18 4 1 3 2 18 2 7 0 1 18 0 0 10 0 18 0 2 5 3 18 3 4 1 2 18 3 7 0 0 18 0 0 4 2 22 0 5 0 1 22 0 5 0 1 22 4 0 0 2 22 2 0 3 1 22 1 0 6 0 21 3 0 4 0 21 1 1 3 1 22 0 6 1 0 21 1 0 6 0 21 3 6 4 2 21 4 6 5 2 19 4 4 5 2 21 5 5 4 1 21 3 2 2 3 26 4 2 4 2 24 5 4 4 3 20 3 4 4 2 23 5 4 4 3 20 5 5 4 2 20 5 2 3 3 23 4 6 4 3 19 5 2 4 1 24 4 3 3 2 24 4 3 3 1 25 4 3 4 2 23 3 3 4 3 23 5 3 5 2 21 2 5 5 0 24 2 5 4 2 23 6 2 3 1 24 5 3 4 3 21 4 3 2 2 25 5 6 5 1 19 5 5 4 3 19 4 5 4 1 22 3 3 0 2 28 3 4 0 2 27 0 1 1 0 0 1 1 0 1 1 0 0 0 0 1 1 0 1 0 1 0 1 1 0 1 0 0 1 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 0 1 1 0 0 0 1 1 0 0 1 0 0 1 1 0 1 1 0 0 1 1 1 0 1 1 1 0 1 0 1 1 1 1 0 1 1 1 1 0 1 0 0 1 0 1 1 0 1 1 0 1 0 1 0 1 0 1 1 1 0 1 1 1 1 1 0 1 1 1 1 0 1 1 1 0 1 0 1 1 0 0 1 0 1 0 1 0 0 1 1 1 1 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 3 3 3 1 0 0 0 0 0 0 0 0 2 1 1 0 0 0 3 0 1 1 0 0 0 0 0 1 0 0 0 0 0 3 0 0 0 3 1 0 0 0 0 2 0 0 2 2 3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 3 3 0 0 1 0 0 0 3 2 0 0 2 3 3 0 3 3 0 0 0 1 1 1 0 0 1 1 1 0 0 0 0 0 1 1 1 2 0 0 2 0 3 0 0 0 0 0 1 1 3 3 3 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 200 0 0 1 0 1 0 0 0 0 0 1 0 0 0 100 0 0 0 100 200 1 0 0 0 100 0 0 2 0 0 2 0 0 0 0 100 0 2 0 1 0 0 1 1 0 100 0 1 0 1 100 0 0 0 100 1 0 0 0 0 300 0 0 0 100 100 0 0 1 0 200 0 0 0 0 100 0 1 0 0 0 0 2 0 0 0 0 100 1 0 300 0 0 1 0 0 0 1 200 0 200 0 100 200 200 0 0 0 0 200 0 0 1 1 0 100 0 0 0 100 1 0 100 1 100 200 0 0 300 300 300 0 100 300 600 100 0
252.03/217.02	v       </values>
252.03/217.02	v     </instantiation>
252.03/217.03	s SATISFIABLE

Verifier Data 

OK	6134

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

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

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

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

solver pid=22808, runsolver pid=22801

[startup+0.102176 s]*
/proc/loadavg: 1.19 1.40 1.42 3/212 22881
/proc/meminfo: memFree=28539544/32770624 swapFree=67108860/67108860
[pid=22808] ppid=22801 vsize=113256 memory=1608 CPUtime=0.01 cores=0,2,4,6
/proc/22808/stat : 22808 (bash) S 22801 22808 13514 0 -1 4202496 879 5679 0 1 0 0 0 1 20 0 1 0 106960738 115974144 402 33554432000 4194304 5098028 140736480316944 140736480310952 140469675183104 0 0 4100 65536 18446744071580971376 0 0 17 2 0 0 2 0 0 7196144 7232144 11546624 140736480318631 140736480318765 140736480318765 140736480321518 0
/proc/22808/statm: 28314 402 319 221 0 119 0
[pid=22860] ppid=22808 vsize=113256 memory=708 CPUtime=0 cores=0,2,4,6
/proc/22860/stat : 22860 (bash) S 22808 22808 13514 0 -1 4202560 159 0 0 0 0 0 0 0 20 0 1 0 106960743 115974144 177 33554432000 4194304 5098028 140736480316944 140736480309624 140469675008636 0 65536 4096 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11546624 140736480318631 140736480318765 140736480318765 140736480321518 0
/proc/22860/statm: 28314 177 94 221 0 119 0
[pid=22862] ppid=22860 vsize=10393452 memory=23480 CPUtime=0.04 cores=0,2,4,6
/proc/22862/stat : 22862 (java) S 22860 22808 13514 0 -1 1077944320 4144 0 0 0 4 0 0 0 20 0 11 0 106960743 10642894848 5870 33554432000 4194304 4196468 140735766210176 140735766192720 139777104408311 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34209792 140735766218024 140735766218038 140735766218038 140735766220751 0
/proc/22862/statm: 2598620 5870 2193 1 0 2561161 0
[pid=22862/tid=22867] ppid=22860 vsize=10526580 memory=7751702667093440019 CPUtime=0.04 cores=0,2,4,6
/proc/22862/task/22867/stat : 22867 (java) R 22860 22808 13514 0 -1 4202560 2840 0 0 0 4 0 0 0 20 0 13 0 106960744 10779217920 6067 33554432000 4194304 4196468 140735766210176 139777108644120 139777089719768 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34209792 140735766218024 140735766218038 140735766218038 140735766220751 0
[pid=22862/tid=22872] ppid=22860 vsize=10526580 memory=664964232733811010 CPUtime=0 cores=0,2,4,6
/proc/22862/task/22872/stat : 22872 (java) S 22860 22808 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 106960745 10779217920 6067 33554432000 4194304 4196468 140735766210176 139777030482320 139777104418517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34209792 140735766218024 140735766218038 140735766218038 140735766220751 0
[pid=22862/tid=22873] ppid=22860 vsize=10526580 memory=139680837101184 CPUtime=0 cores=0,2,4,6
/proc/22862/task/22873/stat : 22873 (java) S 22860 22808 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 106960745 10779217920 6067 33554432000 4194304 4196468 140735766210176 139777029429520 139777104418517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34209792 140735766218024 140735766218038 140735766218038 140735766220751 0
[pid=22862/tid=22874] ppid=22860 vsize=10526580 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22862/task/22874/stat : 22874 (java) S 22860 22808 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 106960745 10779217920 6067 33554432000 4194304 4196468 140735766210176 139777028377232 139777104418517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34209792 140735766218024 140735766218038 140735766218038 140735766220751 0
[pid=22862/tid=22875] ppid=22860 vsize=10526580 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22862/task/22875/stat : 22875 (java) S 22860 22808 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 106960745 10779217920 6067 33554432000 4194304 4196468 140735766210176 139776707521040 139777104418517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34209792 140735766218024 140735766218038 140735766218038 140735766220751 0
[pid=22862/tid=22876] ppid=22860 vsize=10526580 memory=139680837101184 CPUtime=0 cores=0,2,4,6
/proc/22862/task/22876/stat : 22876 (java) S 22860 22808 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 106960746 10779217920 6067 33554432000 4194304 4196468 140735766210176 139776223033968 139777104419458 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34209792 140735766218024 140735766218038 140735766218038 140735766220751 0
[pid=22862/tid=22879] ppid=22860 vsize=10526580 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22862/task/22879/stat : 22879 (java) S 22860 22808 13514 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 13 0 106960746 10779217920 6067 33554432000 4194304 4196468 140735766210176 139776137946400 139777104418517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34209792 140735766218024 140735766218038 140735766218038 140735766220751 0
[pid=22862/tid=22881] ppid=22860 vsize=10526580 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22862/task/22881/stat : 22881 (java) S 22860 22808 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 13 0 106960747 10779217920 6133 33554432000 4194304 4196468 140735766210176 139776136894064 139777104418517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34209792 140735766218024 140735766218038 140735766218038 140735766220751 0
[pid=22862/tid=22882] ppid=22860 vsize=10526580 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22862/task/22882/stat : 22882 (java) S 22860 22808 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 106960749 10779217920 6133 33554432000 4194304 4196468 140735766210176 139776135842384 139777104426907 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34209792 140735766218024 140735766218038 140735766218038 140735766220751 0
[pid=22862/tid=22883] ppid=22860 vsize=10526580 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22862/task/22883/stat : 22883 (java) R 22860 22808 13514 0 -1 4202560 272 0 0 0 0 0 0 0 20 0 13 0 106960749 10779217920 6133 33554432000 4194304 4196468 140735766210176 139776134776648 139777104429658 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34209792 140735766218024 140735766218038 140735766218038 140735766220751 0
[pid=22862/tid=22884] ppid=22860 vsize=10526580 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22862/task/22884/stat : 22884 (java) R 22860 22808 13514 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 13 0 106960749 10779217920 6133 33554432000 4194304 4196468 140735766210176 139776133736128 139777104418517 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34209792 140735766218024 140735766218038 140735766218038 140735766220751 0
[pid=22862/tid=22885] ppid=22860 vsize=10526580 memory=139680837101184 CPUtime=0 cores=0,2,4,6
/proc/22862/task/22885/stat : 22885 (java) S 22860 22808 13514 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 13 0 106960749 10779217920 6133 33554432000 4194304 4196468 140735766210176 139776132684144 139777104419458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34209792 140735766218024 140735766218038 140735766218038 140735766220751 0
[pid=22863] ppid=22860 vsize=113488 memory=964 CPUtime=0 cores=0,2,4,6
/proc/22863/stat : 22863 (awk) S 22860 22808 13514 0 -1 4202496 425 0 0 0 0 0 0 0 20 0 1 0 106960743 116211712 241 33554432000 4194304 4609284 140734966323680 140734966322856 140392555523072 0 0 4096 1216 18446744071580971376 0 0 17 2 0 0 0 0 0 6708720 6711756 21569536 140734966330712 140734966330742 140734966330742 140734966333423 0
/proc/22863/statm: 28372 241 203 102 0 88 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 10733452 KiB
Current children cumulated memory: 26760 KiB

[startup+0.212536 s]*
/proc/loadavg: 1.19 1.40 1.42 8/218 22939
/proc/meminfo: memFree=28519060/32770624 swapFree=67108860/67108860
[pid=22808] ppid=22801 vsize=10982696 memory=34284 CPUtime=0.21 cores=0,2,4,6
/proc/22808/stat : 22808 (java) S 22801 22808 13514 0 -1 1077944320 6322 13138 0 1 12 1 5 3 20 0 15 0 106960738 11246280704 8571 33554432000 4194304 4196468 140725152268576 140725152251120 139800949800695 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 2 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
/proc/22808/statm: 2745674 8571 2920 1 0 2708109 0
[pid=22808/tid=22912] ppid=22801 vsize=10982696 memory=7022364594140610616 CPUtime=0.15 cores=0,2,4,6
/proc/22808/task/22912/stat : 22912 (java) R 22801 22808 13514 0 -1 4202560 2851 13138 0 1 7 0 5 3 20 0 15 0 106960751 11246280704 8571 33554432000 4194304 4196468 140725152268576 139800921633712 139800521421781 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22914] ppid=22801 vsize=10982696 memory=339 CPUtime=0.08 cores=0,2,4,6
/proc/22808/task/22914/stat : 22914 (java) S 22801 22808 13514 0 -1 1077944384 1 13138 0 1 0 0 5 3 20 0 15 0 106960751 11246280704 8571 33554432000 4194304 4196468 140725152268576 139800954043536 139800949810901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22915] ppid=22801 vsize=10982696 memory=3762953460185654944 CPUtime=0.08 cores=0,2,4,6
/proc/22808/task/22915/stat : 22915 (java) S 22801 22808 13514 0 -1 1077944384 1 13138 0 1 0 0 5 3 20 0 15 0 106960751 11246280704 8571 33554432000 4194304 4196468 140725152268576 139800489683984 139800949810901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22916] ppid=22801 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22808/task/22916/stat : 22916 (java) S 22801 22808 13514 0 -1 1077944384 2 13138 0 1 0 0 5 3 20 0 15 0 106960752 11246280704 8571 33554432000 4194304 4196468 140725152268576 139800488631184 139800949810901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22917] ppid=22801 vsize=10982696 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/22808/task/22917/stat : 22917 (java) S 22801 22808 13514 0 -1 1077944384 2 13138 0 1 0 0 5 3 20 0 15 0 106960752 11246280704 8571 33554432000 4194304 4196468 140725152268576 139800487578384 139800949810901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22922] ppid=22801 vsize=10982696 memory=139680837101184 CPUtime=0.08 cores=0,2,4,6
/proc/22808/task/22922/stat : 22922 (java) S 22801 22808 13514 0 -1 1077944384 2 13138 0 1 0 0 5 3 20 0 15 0 106960753 11246280704 8571 33554432000 4194304 4196468 140725152268576 139800374909296 139800949811842 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22924] ppid=22801 vsize=10982696 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/22808/task/22924/stat : 22924 (java) S 22801 22808 13514 0 -1 1077944384 13 13138 0 1 0 0 5 3 20 0 15 0 106960753 11246280704 8571 33554432000 4194304 4196468 140725152268576 139799776191520 139800949810901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22925] ppid=22801 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22808/task/22925/stat : 22925 (java) S 22801 22808 13514 0 -1 1077944384 1 13138 0 1 0 0 5 3 20 0 15 0 106960754 11246280704 8571 33554432000 4194304 4196468 140725152268576 139799574864752 139800949810901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22928] ppid=22801 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22808/task/22928/stat : 22928 (java) S 22801 22808 13514 0 -1 1077944384 3 13138 0 1 0 0 5 3 20 0 15 0 106960756 11246280704 8571 33554432000 4194304 4196468 140725152268576 139799267465040 139800949819291 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22929] ppid=22801 vsize=10982696 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/22808/task/22929/stat : 22929 (java) S 22801 22808 13514 0 -1 1077944384 435 13138 0 1 1 0 5 3 20 0 15 0 106960756 11246280704 8571 33554432000 4194304 4196468 140725152268576 139800373857136 139800949811842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22930] ppid=22801 vsize=10982696 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/22808/task/22930/stat : 22930 (java) R 22801 22808 13514 0 -1 1077944384 185 13138 0 1 0 0 5 3 20 0 15 0 106960756 11246280704 8571 33554432000 4194304 4196468 140725152268576 139800372804336 139800949811842 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22931] ppid=22801 vsize=10982696 memory=139680837101184 CPUtime=0.1 cores=0,2,4,6
/proc/22808/task/22931/stat : 22931 (java) R 22801 22808 13514 0 -1 4202560 635 13138 0 1 2 0 5 3 20 0 15 0 106960756 11246280704 8571 33554432000 4194304 4196468 140725152268576 139800371751536 139800942037822 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22936] ppid=22801 vsize=10982696 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/22808/task/22936/stat : 22936 (java) S 22801 22808 13514 0 -1 1077944384 3 13138 0 1 0 0 5 3 20 0 15 0 106960757 11246280704 8571 33554432000 4194304 4196468 140725152268576 139798836669152 139800949810901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22937] ppid=22801 vsize=10982696 memory=139680837101184 CPUtime=0.08 cores=0,2,4,6
/proc/22808/task/22937/stat : 22937 (java) S 22801 22808 13514 0 -1 1077944384 1 13138 0 1 0 0 5 3 20 0 15 0 106960757 11246280704 8571 33554432000 4194304 4196468 140725152268576 139800370698928 139800949811842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 10982696 KiB
Current children cumulated memory: 34284 KiB

[startup+0.310746 s]*
/proc/loadavg: 1.19 1.40 1.42 5/218 22939
/proc/meminfo: memFree=28488476/32770624 swapFree=67108860/67108860
[pid=22808] ppid=22801 vsize=10983192 memory=49692 CPUtime=0.34 cores=0,2,4,6
/proc/22808/stat : 22808 (java) S 22801 22808 13514 0 -1 1077944320 9398 13138 0 1 24 2 5 3 20 0 15 0 106960738 11246788608 12423 33554432000 4194304 4196468 140725152268576 140725152251120 139800949800695 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 2 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
/proc/22808/statm: 2745798 12423 3068 1 0 2708109 0
[pid=22808/tid=22912] ppid=22801 vsize=10983192 memory=8025788835569559914 CPUtime=0.25 cores=0,2,4,6
/proc/22808/task/22912/stat : 22912 (java) R 22801 22808 13514 0 -1 4202560 5866 13138 0 1 16 1 5 3 20 0 15 0 106960751 11246788608 12423 33554432000 4194304 4196468 140725152268576 139800921623032 139800933881182 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22914] ppid=22801 vsize=10983192 memory=3689071724943450161 CPUtime=0.08 cores=0,2,4,6
/proc/22808/task/22914/stat : 22914 (java) S 22801 22808 13514 0 -1 1077944384 1 13138 0 1 0 0 5 3 20 0 15 0 106960751 11246788608 12423 33554432000 4194304 4196468 140725152268576 139800954043536 139800949810901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22915] ppid=22801 vsize=10983192 memory=3540028581514222752 CPUtime=0.08 cores=0,2,4,6
/proc/22808/task/22915/stat : 22915 (java) S 22801 22808 13514 0 -1 1077944384 1 13138 0 1 0 0 5 3 20 0 15 0 106960751 11246788608 12423 33554432000 4194304 4196468 140725152268576 139800489683984 139800949810901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22916] ppid=22801 vsize=10983192 memory=288355116380323867 CPUtime=0.08 cores=0,2,4,6
/proc/22808/task/22916/stat : 22916 (java) S 22801 22808 13514 0 -1 1077944384 2 13138 0 1 0 0 5 3 20 0 15 0 106960752 11246788608 12423 33554432000 4194304 4196468 140725152268576 139800488631184 139800949810901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22917] ppid=22801 vsize=10983192 memory=288230604640889116 CPUtime=0.08 cores=0,2,4,6
/proc/22808/task/22917/stat : 22917 (java) S 22801 22808 13514 0 -1 1077944384 2 13138 0 1 0 0 5 3 20 0 15 0 106960752 11246788608 12423 33554432000 4194304 4196468 140725152268576 139800487578384 139800949810901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22922] ppid=22801 vsize=10983192 memory=15259242253182400 CPUtime=0.08 cores=0,2,4,6
/proc/22808/task/22922/stat : 22922 (java) S 22801 22808 13514 0 -1 1077944384 2 13138 0 1 0 0 5 3 20 0 15 0 106960753 11246788608 12423 33554432000 4194304 4196468 140725152268576 139800374909296 139800949811842 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22924] ppid=22801 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22808/task/22924/stat : 22924 (java) S 22801 22808 13514 0 -1 1077944384 13 13138 0 1 0 0 5 3 20 0 15 0 106960753 11246788608 12423 33554432000 4194304 4196468 140725152268576 139799776191520 139800949810901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22925] ppid=22801 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22808/task/22925/stat : 22925 (java) S 22801 22808 13514 0 -1 1077944384 1 13138 0 1 0 0 5 3 20 0 15 0 106960754 11246788608 12423 33554432000 4194304 4196468 140725152268576 139799574864752 139800949810901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22928] ppid=22801 vsize=10983192 memory=6943526294502006880 CPUtime=0.08 cores=0,2,4,6
/proc/22808/task/22928/stat : 22928 (java) S 22801 22808 13514 0 -1 1077944384 3 13138 0 1 0 0 5 3 20 0 15 0 106960756 11246788608 12423 33554432000 4194304 4196468 140725152268576 139799267465040 139800949819291 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22929] ppid=22801 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/22808/task/22929/stat : 22929 (java) S 22801 22808 13514 0 -1 1077944384 435 13138 0 1 1 0 5 3 20 0 15 0 106960756 11246788608 12423 33554432000 4194304 4196468 140725152268576 139800373857136 139800949811842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22930] ppid=22801 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22808/task/22930/stat : 22930 (java) S 22801 22808 13514 0 -1 1077944384 188 13138 0 1 0 0 5 3 20 0 15 0 106960756 11246788608 12423 33554432000 4194304 4196468 140725152268576 139800372804336 139800949811842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22931] ppid=22801 vsize=10983192 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/22808/task/22931/stat : 22931 (java) S 22801 22808 13514 0 -1 1077944384 697 13138 0 1 4 0 5 3 20 0 15 0 106960756 11246788608 12423 33554432000 4194304 4196468 140725152268576 139800371751536 139800949811842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22936] ppid=22801 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22808/task/22936/stat : 22936 (java) S 22801 22808 13514 0 -1 1077944384 3 13138 0 1 0 0 5 3 20 0 15 0 106960757 11246788608 12423 33554432000 4194304 4196468 140725152268576 139798836669152 139800949810901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22937] ppid=22801 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22808/task/22937/stat : 22937 (java) S 22801 22808 13514 0 -1 1077944384 1 13138 0 1 0 0 5 3 20 0 15 0 106960757 11246788608 12423 33554432000 4194304 4196468 140725152268576 139800370698928 139800949811842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 49692 KiB

[startup+0.701137 s]
/proc/loadavg: 1.19 1.40 1.42 5/218 22939
/proc/meminfo: memFree=28465740/32770624 swapFree=67108860/67108860
[pid=22808] ppid=22801 vsize=10983192 memory=85664 CPUtime=0.95 cores=0,2,4,6
/proc/22808/stat : 22808 (java) S 22801 22808 13514 0 -1 1077944320 16580 13138 0 1 83 4 5 3 20 0 15 0 106960738 11246788608 21416 33554432000 4194304 4196468 140725152268576 140725152251120 139800949800695 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 2 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
/proc/22808/statm: 2745798 21416 3238 1 0 2708109 0
[pid=22808/tid=22912] ppid=22801 vsize=10983192 memory=4140 CPUtime=0.62 cores=0,2,4,6
/proc/22808/task/22912/stat : 22912 (java) R 22801 22808 13514 0 -1 4202560 11967 13138 0 1 52 2 5 3 20 0 15 0 106960751 11246788608 21416 33554432000 4194304 4196468 140725152268576 139800921620984 139800949822621 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22914] ppid=22801 vsize=10983192 memory=30408 CPUtime=0.08 cores=0,2,4,6
/proc/22808/task/22914/stat : 22914 (java) S 22801 22808 13514 0 -1 1077944384 1 13138 0 1 0 0 5 3 20 0 15 0 106960751 11246788608 21416 33554432000 4194304 4196468 140725152268576 139800954043536 139800949810901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22915] ppid=22801 vsize=10983192 memory=2209 CPUtime=0.08 cores=0,2,4,6
/proc/22808/task/22915/stat : 22915 (java) S 22801 22808 13514 0 -1 1077944384 1 13138 0 1 0 0 5 3 20 0 15 0 106960751 11246788608 21416 33554432000 4194304 4196468 140725152268576 139800489683984 139800949810901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22916] ppid=22801 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22808/task/22916/stat : 22916 (java) S 22801 22808 13514 0 -1 1077944384 2 13138 0 1 0 0 5 3 20 0 15 0 106960752 11246788608 21416 33554432000 4194304 4196468 140725152268576 139800488631184 139800949810901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22917] ppid=22801 vsize=10983192 memory=2 CPUtime=0.08 cores=0,2,4,6
/proc/22808/task/22917/stat : 22917 (java) S 22801 22808 13514 0 -1 1077944384 2 13138 0 1 0 0 5 3 20 0 15 0 106960752 11246788608 21416 33554432000 4194304 4196468 140725152268576 139800487578384 139800949810901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22922] ppid=22801 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22808/task/22922/stat : 22922 (java) S 22801 22808 13514 0 -1 1077944384 5 13138 0 1 0 0 5 3 20 0 15 0 106960753 11246788608 21416 33554432000 4194304 4196468 140725152268576 139800374909296 139800949811842 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22924] ppid=22801 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22808/task/22924/stat : 22924 (java) S 22801 22808 13514 0 -1 1077944384 13 13138 0 1 0 0 5 3 20 0 15 0 106960753 11246788608 21416 33554432000 4194304 4196468 140725152268576 139799776191520 139800949810901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22925] ppid=22801 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22808/task/22925/stat : 22925 (java) S 22801 22808 13514 0 -1 1077944384 1 13138 0 1 0 0 5 3 20 0 15 0 106960754 11246788608 21416 33554432000 4194304 4196468 140725152268576 139799574864752 139800949810901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22928] ppid=22801 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22808/task/22928/stat : 22928 (java) S 22801 22808 13514 0 -1 1077944384 3 13138 0 1 0 0 5 3 20 0 15 0 106960756 11246788608 21416 33554432000 4194304 4196468 140725152268576 139799267465040 139800949819291 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22929] ppid=22801 vsize=10983192 memory=139685132068479 CPUtime=0.15 cores=0,2,4,6
/proc/22808/task/22929/stat : 22929 (java) S 22801 22808 13514 0 -1 1077944384 746 13138 0 1 7 0 5 3 20 0 15 0 106960756 11246788608 21416 33554432000 4194304 4196468 140725152268576 139800373857136 139800949811842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22930] ppid=22801 vsize=10983192 memory=6944652177228980320 CPUtime=0.16 cores=0,2,4,6
/proc/22808/task/22930/stat : 22930 (java) R 22801 22808 13514 0 -1 4202560 782 13138 0 1 8 0 5 3 20 0 15 0 106960756 11246788608 21416 33554432000 4194304 4196468 140725152268576 139800372790216 139800934926095 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22931] ppid=22801 vsize=10983192 memory=6656426216303648864 CPUtime=0.21 cores=0,2,4,6
/proc/22808/task/22931/stat : 22931 (java) S 22801 22808 13514 0 -1 1077944384 863 13138 0 1 13 0 5 3 20 0 15 0 106960756 11246788608 21416 33554432000 4194304 4196468 140725152268576 139800371751536 139800949811842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22936] ppid=22801 vsize=10983192 memory=6944656575208382560 CPUtime=0.08 cores=0,2,4,6
/proc/22808/task/22936/stat : 22936 (java) S 22801 22808 13514 0 -1 1077944384 3 13138 0 1 0 0 5 3 20 0 15 0 106960757 11246788608 21416 33554432000 4194304 4196468 140725152268576 139798836669152 139800949810901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22937] ppid=22801 vsize=10983192 memory=6656426216303648864 CPUtime=0.08 cores=0,2,4,6
/proc/22808/task/22937/stat : 22937 (java) S 22801 22808 13514 0 -1 1077944384 1 13138 0 1 0 0 5 3 20 0 15 0 106960757 11246788608 21416 33554432000 4194304 4196468 140725152268576 139800370698928 139800949811842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
Current children cumulated CPU time: 0.95 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 85664 KiB

[startup+1.50805 s]
/proc/loadavg: 1.19 1.40 1.42 2/218 22939
/proc/meminfo: memFree=28388024/32770624 swapFree=67108860/67108860
[pid=22808] ppid=22801 vsize=10991948 memory=134752 CPUtime=2.27 cores=0,2,4,6
/proc/22808/stat : 22808 (java) S 22801 22808 13514 0 -1 1077944320 21912 13138 0 1 212 7 5 3 20 0 15 0 106960738 11255754752 33688 33554432000 4194304 4196468 140725152268576 140725152251120 139800949800695 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 2 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
/proc/22808/statm: 2747987 33688 3445 1 0 2709645 0
[pid=22808/tid=22912] ppid=22801 vsize=10991948 memory=660 CPUtime=1.2 cores=0,2,4,6
/proc/22808/task/22912/stat : 22912 (java) R 22801 22808 13514 0 -1 4202560 14670 13138 0 1 107 5 5 3 20 0 15 0 106960751 11255754752 33688 33554432000 4194304 4196468 140725152268576 139800921632784 139800520308463 0 4 0 16800975 0 0 0 -1 0 0 0 23 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22914] ppid=22801 vsize=10991948 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22808/task/22914/stat : 22914 (java) S 22801 22808 13514 0 -1 1077944384 1 13138 0 1 0 0 5 3 20 0 15 0 106960751 11255754752 33688 33554432000 4194304 4196468 140725152268576 139800954043536 139800949810901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22915] ppid=22801 vsize=10991948 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22808/task/22915/stat : 22915 (java) S 22801 22808 13514 0 -1 1077944384 1 13138 0 1 0 0 5 3 20 0 15 0 106960751 11255754752 33688 33554432000 4194304 4196468 140725152268576 139800489683984 139800949810901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22916] ppid=22801 vsize=10991948 memory=0 CPUtime=0.08 cores=0,2,4,6

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

/proc/22808/task/22912/stat : 22912 (java) R 22801 22808 13514 0 -1 4202560 45712 13138 0 1 4827 39 5 3 20 0 15 0 106960751 11280941056 668010 33554432000 4194304 4196468 140725152268576 139800921633104 139800537862000 0 4 0 16800975 0 0 0 -1 0 0 0 24 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22914] ppid=22801 vsize=11016544 memory=2672040 CPUtime=1.89 cores=0,2,4,6
/proc/22808/task/22914/stat : 22914 (java) S 22801 22808 13514 0 -1 1077944384 2059 13138 0 1 155 26 5 3 20 0 15 0 106960751 11280941056 668010 33554432000 4194304 4196468 140725152268576 139800954043536 139800949810901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22915] ppid=22801 vsize=11016544 memory=4140 CPUtime=1.91 cores=0,2,4,6
/proc/22808/task/22915/stat : 22915 (java) S 22801 22808 13514 0 -1 1077944384 1339 13138 0 1 156 27 5 3 20 0 15 0 106960751 11280941056 668010 33554432000 4194304 4196468 140725152268576 139800489683984 139800949810901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22916] ppid=22801 vsize=11016544 memory=0 CPUtime=1.91 cores=0,2,4,6
/proc/22808/task/22916/stat : 22916 (java) S 22801 22808 13514 0 -1 1077944384 3253 13138 0 1 156 27 5 3 20 0 15 0 106960752 11280941056 668010 33554432000 4194304 4196468 140725152268576 139800488631184 139800949810901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22917] ppid=22801 vsize=11016544 memory=0 CPUtime=1.92 cores=0,2,4,6
/proc/22808/task/22917/stat : 22917 (java) S 22801 22808 13514 0 -1 1077944384 1551 13138 0 1 159 25 5 3 20 0 15 0 106960752 11280941056 668010 33554432000 4194304 4196468 140725152268576 139800487578384 139800949810901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22922] ppid=22801 vsize=11016544 memory=2670340 CPUtime=0.21 cores=0,2,4,6
/proc/22808/task/22922/stat : 22922 (java) S 22801 22808 13514 0 -1 1077944384 17836 13138 0 1 12 1 5 3 20 0 15 0 106960753 11280941056 668010 33554432000 4194304 4196468 140725152268576 139800374909296 139800949811842 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22924] ppid=22801 vsize=11016544 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/22808/task/22924/stat : 22924 (java) S 22801 22808 13514 0 -1 1077944384 21 13138 0 1 0 0 5 3 20 0 15 0 106960753 11280941056 668010 33554432000 4194304 4196468 140725152268576 139799776191584 139800949810901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22925] ppid=22801 vsize=11016544 memory=316941065133490486 CPUtime=0.08 cores=0,2,4,6
/proc/22808/task/22925/stat : 22925 (java) S 22801 22808 13514 0 -1 1077944384 4 13138 0 1 0 0 5 3 20 0 15 0 106960754 11280941056 668010 33554432000 4194304 4196468 140725152268576 139799574864768 139800949810901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22928] ppid=22801 vsize=11016544 memory=2672040 CPUtime=0.08 cores=0,2,4,6
/proc/22808/task/22928/stat : 22928 (java) S 22801 22808 13514 0 -1 1077944384 3 13138 0 1 0 0 5 3 20 0 15 0 106960756 11280941056 668010 33554432000 4194304 4196468 140725152268576 139799267465040 139800949819291 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22929] ppid=22801 vsize=11016544 memory=30408 CPUtime=10.11 cores=0,2,4,6
/proc/22808/task/22929/stat : 22929 (java) S 22801 22808 13514 0 -1 1077944384 23427 13138 0 1 999 4 5 3 20 0 15 0 106960756 11280941056 668010 33554432000 4194304 4196468 140725152268576 139800373857136 139800949811842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22930] ppid=22801 vsize=11016544 memory=703052 CPUtime=9.22 cores=0,2,4,6
/proc/22808/task/22930/stat : 22930 (java) S 22801 22808 13514 0 -1 1077944384 18707 13138 0 1 909 5 5 3 20 0 15 0 106960756 11280941056 668010 33554432000 4194304 4196468 140725152268576 139800372804336 139800949811842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22931] ppid=22801 vsize=11016544 memory=-1161699032756226647 CPUtime=3.44 cores=0,2,4,6
/proc/22808/task/22931/stat : 22931 (java) S 22801 22808 13514 0 -1 1077944384 14598 13138 0 1 330 6 5 3 20 0 15 0 106960756 11280941056 668010 33554432000 4194304 4196468 140725152268576 139800371751536 139800949811842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22936] ppid=22801 vsize=11016544 memory=279361451042608 CPUtime=0.08 cores=0,2,4,6
/proc/22808/task/22936/stat : 22936 (java) S 22801 22808 13514 0 -1 1077944384 3 13138 0 1 0 0 5 3 20 0 15 0 106960757 11280941056 668010 33554432000 4194304 4196468 140725152268576 139798836669152 139800949810901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22937] ppid=22801 vsize=11016544 memory=4639904319714906985 CPUtime=0.1 cores=0,2,4,6
/proc/22808/task/22937/stat : 22937 (java) S 22801 22808 13514 0 -1 1077944384 261 13138 0 1 1 1 5 3 20 0 15 0 106960757 11280941056 668010 33554432000 4194304 4196468 140725152268576 139800370698928 139800949811842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
Current children cumulated CPU time: 78.83 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 2672040 KiB

[startup+102.301 s]
/proc/loadavg: 1.78 1.62 1.50 4/218 22940
/proc/meminfo: memFree=23624568/32770624 swapFree=67108860/67108860
[pid=22808] ppid=22801 vsize=11016544 memory=3185940 CPUtime=131.62 cores=0,2,4,6
/proc/22808/stat : 22808 (java) S 22801 22808 13514 0 -1 1077944320 137244 13138 0 1 12952 202 5 3 20 0 15 0 106960738 11280941056 796485 33554432000 4194304 4196468 140725152268576 140725152251120 139800949800695 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 2 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
/proc/22808/statm: 2754136 796485 3537 1 0 2715789 0
[pid=22808/tid=22912] ppid=22801 vsize=11016544 memory=8 CPUtime=99.63 cores=0,2,4,6
/proc/22808/task/22912/stat : 22912 (java) R 22801 22808 13514 0 -1 4202560 48463 13138 0 1 9911 44 5 3 20 0 15 0 106960751 11280941056 796485 33554432000 4194304 4196468 140725152268576 139800921633016 139800544845696 0 4 0 16800975 0 0 0 -1 0 0 0 24 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22914] ppid=22801 vsize=11016544 memory=844 CPUtime=2.18 cores=0,2,4,6
/proc/22808/task/22914/stat : 22914 (java) S 22801 22808 13514 0 -1 1077944384 2238 13138 0 1 176 34 5 3 20 0 15 0 106960751 11280941056 796485 33554432000 4194304 4196468 140725152268576 139800954043536 139800949810901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22915] ppid=22801 vsize=11016544 memory=3360 CPUtime=2.18 cores=0,2,4,6
/proc/22808/task/22915/stat : 22915 (java) S 22801 22808 13514 0 -1 1077944384 1478 13138 0 1 176 34 5 3 20 0 15 0 106960751 11280941056 796485 33554432000 4194304 4196468 140725152268576 139800489683984 139800949810901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22916] ppid=22801 vsize=11016544 memory=3181776 CPUtime=2.19 cores=0,2,4,6
/proc/22808/task/22916/stat : 22916 (java) S 22801 22808 13514 0 -1 1077944384 3852 13138 0 1 177 34 5 3 20 0 15 0 106960752 11280941056 796485 33554432000 4194304 4196468 140725152268576 139800488631184 139800949810901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22917] ppid=22801 vsize=11016544 memory=2204 CPUtime=2.21 cores=0,2,4,6
/proc/22808/task/22917/stat : 22917 (java) S 22801 22808 13514 0 -1 1077944384 2124 13138 0 1 180 33 5 3 20 0 15 0 106960752 11280941056 796485 33554432000 4194304 4196468 140725152268576 139800487578384 139800949810901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22922] ppid=22801 vsize=11016544 memory=3181776 CPUtime=0.22 cores=0,2,4,6
/proc/22808/task/22922/stat : 22922 (java) S 22801 22808 13514 0 -1 1077944384 17945 13138 0 1 13 1 5 3 20 0 15 0 106960753 11280941056 796485 33554432000 4194304 4196468 140725152268576 139800374909296 139800949811842 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22924] ppid=22801 vsize=11016544 memory=3181756 CPUtime=0.08 cores=0,2,4,6
/proc/22808/task/22924/stat : 22924 (java) S 22801 22808 13514 0 -1 1077944384 21 13138 0 1 0 0 5 3 20 0 15 0 106960753 11280941056 796485 33554432000 4194304 4196468 140725152268576 139799776191584 139800949810901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22925] ppid=22801 vsize=11016544 memory=4140 CPUtime=0.08 cores=0,2,4,6
/proc/22808/task/22925/stat : 22925 (java) S 22801 22808 13514 0 -1 1077944384 4 13138 0 1 0 0 5 3 20 0 15 0 106960754 11280941056 796485 33554432000 4194304 4196468 140725152268576 139799574864768 139800949810901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22928] ppid=22801 vsize=11016544 memory=30408 CPUtime=0.08 cores=0,2,4,6
/proc/22808/task/22928/stat : 22928 (java) S 22801 22808 13514 0 -1 1077944384 3 13138 0 1 0 0 5 3 20 0 15 0 106960756 11280941056 796485 33554432000 4194304 4196468 140725152268576 139799267465040 139800949819291 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22929] ppid=22801 vsize=11016544 memory=2204 CPUtime=10.38 cores=0,2,4,6
/proc/22808/task/22929/stat : 22929 (java) S 22801 22808 13514 0 -1 1077944384 23725 13138 0 1 1026 4 5 3 20 0 15 0 106960756 11280941056 796485 33554432000 4194304 4196468 140725152268576 139800373857136 139800949811842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22930] ppid=22801 vsize=11016544 memory=324 CPUtime=9.57 cores=0,2,4,6
/proc/22808/task/22930/stat : 22930 (java) S 22801 22808 13514 0 -1 1077944384 20079 13138 0 1 944 5 5 3 20 0 15 0 106960756 11280941056 796485 33554432000 4194304 4196468 140725152268576 139800372804336 139800949811842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22931] ppid=22801 vsize=11016544 memory=0 CPUtime=3.53 cores=0,2,4,6
/proc/22808/task/22931/stat : 22931 (java) S 22801 22808 13514 0 -1 1077944384 14854 13138 0 1 339 6 5 3 20 0 15 0 106960756 11280941056 796485 33554432000 4194304 4196468 140725152268576 139800371751536 139800949811842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22936] ppid=22801 vsize=11016544 memory=1 CPUtime=0.08 cores=0,2,4,6
/proc/22808/task/22936/stat : 22936 (java) S 22801 22808 13514 0 -1 1077944384 3 13138 0 1 0 0 5 3 20 0 15 0 106960757 11280941056 796485 33554432000 4194304 4196468 140725152268576 139798836669152 139800949810901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22937] ppid=22801 vsize=11016544 memory=1240 CPUtime=0.12 cores=0,2,4,6
/proc/22808/task/22937/stat : 22937 (java) S 22801 22808 13514 0 -1 1077944384 265 13138 0 1 2 2 5 3 20 0 15 0 106960757 11280941056 796485 33554432000 4194304 4196468 140725152268576 139800370698928 139800949811842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
Current children cumulated CPU time: 131.62 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3185940 KiB

[startup+162.301 s]
/proc/loadavg: 1.45 1.57 1.49 4/217 22942
/proc/meminfo: memFree=23720224/32770624 swapFree=67108860/67108860
[pid=22808] ppid=22801 vsize=11016544 memory=3291080 CPUtime=194.07 cores=0,2,4,6
/proc/22808/stat : 22808 (java) S 22801 22808 13514 0 -1 1077944320 161701 13138 0 1 19183 216 5 3 20 0 15 0 106960738 11280941056 822770 33554432000 4194304 4196468 140725152268576 140725152251120 139800949800695 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 2 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
/proc/22808/statm: 2754136 822770 3538 1 0 2715789 0
[pid=22808/tid=22912] ppid=22801 vsize=11016544 memory=3291076 CPUtime=159.4 cores=0,2,4,6
/proc/22808/task/22912/stat : 22912 (java) R 22801 22808 13514 0 -1 4202560 56649 13138 0 1 15888 44 5 3 20 0 15 0 106960751 11280941056 822770 33554432000 4194304 4196468 140725152268576 139800921633904 139800537704188 0 4 0 16800975 0 0 0 -1 4 0 0 24 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22914] ppid=22801 vsize=11016544 memory=3291076 CPUtime=2.39 cores=0,2,4,6
/proc/22808/task/22914/stat : 22914 (java) S 22801 22808 13514 0 -1 1077944384 4348 13138 0 1 194 37 5 3 20 0 15 0 106960751 11280941056 822770 33554432000 4194304 4196468 140725152268576 139800954043536 139800949810901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22915] ppid=22801 vsize=11016544 memory=3268548 CPUtime=2.39 cores=0,2,4,6
/proc/22808/task/22915/stat : 22915 (java) S 22801 22808 13514 0 -1 1077944384 1628 13138 0 1 194 37 5 3 20 0 15 0 106960751 11280941056 822770 33554432000 4194304 4196468 140725152268576 139800489683984 139800949810901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22916] ppid=22801 vsize=11016544 memory=3291076 CPUtime=2.4 cores=0,2,4,6
/proc/22808/task/22916/stat : 22916 (java) S 22801 22808 13514 0 -1 1077944384 4121 13138 0 1 195 37 5 3 20 0 15 0 106960752 11280941056 822770 33554432000 4194304 4196468 140725152268576 139800488631184 139800949810901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22917] ppid=22801 vsize=11016544 memory=3291080 CPUtime=2.41 cores=0,2,4,6
/proc/22808/task/22917/stat : 22917 (java) S 22801 22808 13514 0 -1 1077944384 2237 13138 0 1 198 35 5 3 20 0 15 0 106960752 11280941056 822770 33554432000 4194304 4196468 140725152268576 139800487578384 139800949810901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22922] ppid=22801 vsize=11016544 memory=3291080 CPUtime=0.24 cores=0,2,4,6
/proc/22808/task/22922/stat : 22922 (java) S 22801 22808 13514 0 -1 1077944384 20505 13138 0 1 14 2 5 3 20 0 15 0 106960753 11280941056 822770 33554432000 4194304 4196468 140725152268576 139800374909296 139800949811842 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22924] ppid=22801 vsize=11016544 memory=3268548 CPUtime=0.08 cores=0,2,4,6
/proc/22808/task/22924/stat : 22924 (java) S 22801 22808 13514 0 -1 1077944384 23 13138 0 1 0 0 5 3 20 0 15 0 106960753 11280941056 822770 33554432000 4194304 4196468 140725152268576 139799776191584 139800949810901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22925] ppid=22801 vsize=11016544 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/22808/task/22925/stat : 22925 (java) S 22801 22808 13514 0 -1 1077944384 6 13138 0 1 0 0 5 3 20 0 15 0 106960754 11280941056 822770 33554432000 4194304 4196468 140725152268576 139799574864768 139800949810901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22928] ppid=22801 vsize=11016544 memory=10368 CPUtime=0.08 cores=0,2,4,6
/proc/22808/task/22928/stat : 22928 (java) S 22801 22808 13514 0 -1 1077944384 3 13138 0 1 0 0 5 3 20 0 15 0 106960756 11280941056 822770 33554432000 4194304 4196468 140725152268576 139799267465040 139800949819291 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22929] ppid=22801 vsize=11016544 memory=3291076 CPUtime=11.32 cores=0,2,4,6
/proc/22808/task/22929/stat : 22929 (java) S 22801 22808 13514 0 -1 1077944384 27260 13138 0 1 1119 5 5 3 20 0 15 0 106960756 11280941056 822770 33554432000 4194304 4196468 140725152268576 139800373857136 139800949811842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22930] ppid=22801 vsize=11016544 memory=3291076 CPUtime=10.27 cores=0,2,4,6
/proc/22808/task/22930/stat : 22930 (java) S 22801 22808 13514 0 -1 1077944384 25051 13138 0 1 1014 5 5 3 20 0 15 0 106960756 11280941056 822770 33554432000 4194304 4196468 140725152268576 139800372804336 139800949811842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22931] ppid=22801 vsize=11016544 memory=16988 CPUtime=3.68 cores=0,2,4,6
/proc/22808/task/22931/stat : 22931 (java) S 22801 22808 13514 0 -1 1077944384 17369 13138 0 1 354 6 5 3 20 0 15 0 106960756 11280941056 822770 33554432000 4194304 4196468 140725152268576 139800371751536 139800949811842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22936] ppid=22801 vsize=11016544 memory=2324 CPUtime=0.08 cores=0,2,4,6
/proc/22808/task/22936/stat : 22936 (java) S 22801 22808 13514 0 -1 1077944384 3 13138 0 1 0 0 5 3 20 0 15 0 106960757 11280941056 822770 33554432000 4194304 4196468 140725152268576 139798836669152 139800949810901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22937] ppid=22801 vsize=11016544 memory=3291080 CPUtime=0.15 cores=0,2,4,6
/proc/22808/task/22937/stat : 22937 (java) S 22801 22808 13514 0 -1 1077944384 308 13138 0 1 4 3 5 3 20 0 15 0 106960757 11280941056 822770 33554432000 4194304 4196468 140725152268576 139800370698928 139800949811842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
Current children cumulated CPU time: 194.07 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3291080 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+217.001 s]*
/proc/loadavg: 1.62 1.61 1.51 4/217 22943
/proc/meminfo: memFree=23652280/32770624 swapFree=67108860/67108860
[pid=22808] ppid=22801 vsize=11016544 memory=3424200 CPUtime=252.03 cores=0,2,4,6
/proc/22808/stat : 22808 (java) S 22801 22808 13514 0 -1 1077944320 177201 13138 0 1 24962 233 5 3 20 0 15 0 106960738 11280941056 856050 33554432000 4194304 4196468 140725152268576 140725152251120 139800949800695 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 2 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
/proc/22808/statm: 2754136 856050 3538 1 0 2715789 0
[pid=22808/tid=22912] ppid=22801 vsize=11016544 memory=3424200 CPUtime=213.2 cores=0,2,4,6
/proc/22808/task/22912/stat : 22912 (java) R 22801 22808 13514 0 -1 4202560 60802 13138 0 1 21267 45 5 3 20 0 15 0 106960751 11280941056 856050 33554432000 4194304 4196468 140725152268576 139800921636400 139800532225088 0 4 0 16800975 0 0 0 -1 2 0 0 24 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22914] ppid=22801 vsize=11016544 memory=4126316290023845779 CPUtime=3.29 cores=0,2,4,6
/proc/22808/task/22914/stat : 22914 (java) S 22801 22808 13514 0 -1 1077944384 5613 13138 0 1 280 41 5 3 20 0 15 0 106960751 11280941056 856050 33554432000 4194304 4196468 140725152268576 139800954043536 139800949810901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22915] ppid=22801 vsize=11016544 memory=6791534058613427641 CPUtime=3.29 cores=0,2,4,6
/proc/22808/task/22915/stat : 22915 (java) S 22801 22808 13514 0 -1 1077944384 2924 13138 0 1 280 41 5 3 20 0 15 0 106960751 11280941056 856050 33554432000 4194304 4196468 140725152268576 139800489683984 139800949810901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22916] ppid=22801 vsize=11016544 memory=4126316290023845779 CPUtime=3.31 cores=0,2,4,6
/proc/22808/task/22916/stat : 22916 (java) S 22801 22808 13514 0 -1 1077944384 4335 13138 0 1 282 41 5 3 20 0 15 0 106960752 11280941056 856050 33554432000 4194304 4196468 140725152268576 139800488631184 139800949810901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22917] ppid=22801 vsize=11016544 memory=0 CPUtime=3.32 cores=0,2,4,6
/proc/22808/task/22917/stat : 22917 (java) S 22801 22808 13514 0 -1 1077944384 2534 13138 0 1 285 39 5 3 20 0 15 0 106960752 11280941056 856050 33554432000 4194304 4196468 140725152268576 139800487578384 139800949810901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22922] ppid=22801 vsize=11016544 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/22808/task/22922/stat : 22922 (java) S 22801 22808 13514 0 -1 1077944384 20802 13138 0 1 15 2 5 3 20 0 15 0 106960753 11280941056 856050 33554432000 4194304 4196468 140725152268576 139800374909296 139800949811842 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22924] ppid=22801 vsize=11016544 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22808/task/22924/stat : 22924 (java) S 22801 22808 13514 0 -1 1077944384 23 13138 0 1 0 0 5 3 20 0 15 0 106960753 11280941056 856050 33554432000 4194304 4196468 140725152268576 139799776191584 139800949810901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22925] ppid=22801 vsize=11016544 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22808/task/22925/stat : 22925 (java) S 22801 22808 13514 0 -1 1077944384 6 13138 0 1 0 0 5 3 20 0 15 0 106960754 11280941056 856050 33554432000 4194304 4196468 140725152268576 139799574864768 139800949810901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22928] ppid=22801 vsize=11016544 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22808/task/22928/stat : 22928 (java) S 22801 22808 13514 0 -1 1077944384 3 13138 0 1 0 0 5 3 20 0 15 0 106960756 11280941056 856050 33554432000 4194304 4196468 140725152268576 139799267465040 139800949819291 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22929] ppid=22801 vsize=11016544 memory=0 CPUtime=11.59 cores=0,2,4,6
/proc/22808/task/22929/stat : 22929 (java) S 22801 22808 13514 0 -1 1077944384 29960 13138 0 1 1146 5 5 3 20 0 15 0 106960756 11280941056 856050 33554432000 4194304 4196468 140725152268576 139800373857136 139800949811842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22930] ppid=22801 vsize=11016544 memory=0 CPUtime=10.48 cores=0,2,4,6
/proc/22808/task/22930/stat : 22930 (java) S 22801 22808 13514 0 -1 1077944384 27617 13138 0 1 1034 6 5 3 20 0 15 0 106960756 11280941056 856050 33554432000 4194304 4196468 140725152268576 139800372804336 139800949811842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22931] ppid=22801 vsize=11016544 memory=7377834495760231015 CPUtime=3.74 cores=0,2,4,6
/proc/22808/task/22931/stat : 22931 (java) S 22801 22808 13514 0 -1 1077944384 19888 13138 0 1 360 6 5 3 20 0 15 0 106960756 11280941056 856050 33554432000 4194304 4196468 140725152268576 139800371751536 139800949811842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22936] ppid=22801 vsize=11016544 memory=7800344859672537426 CPUtime=0.08 cores=0,2,4,6
/proc/22808/task/22936/stat : 22936 (java) S 22801 22808 13514 0 -1 1077944384 3 13138 0 1 0 0 5 3 20 0 15 0 106960757 11280941056 856050 33554432000 4194304 4196468 140725152268576 139798836669152 139800949810901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
[pid=22808/tid=22937] ppid=22801 vsize=11016544 memory=279361451142488 CPUtime=0.19 cores=0,2,4,6
/proc/22808/task/22937/stat : 22937 (java) S 22801 22808 13514 0 -1 1077944384 501 13138 0 1 6 5 5 3 20 0 15 0 106960757 11280941056 856050 33554432000 4194304 4196468 140725152268576 139800370698928 139800949811842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30396416 140725152270952 140725152273761 140725152273761 140725152276431 0
Current children cumulated CPU time: 252.03 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3424200 KiB

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

[startup+217.056 s]
# the end of solver process 22808 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=249.696 s, system=2.39905 s

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

Child status: 143
Real time (s): 217.056
CPU time (s): 252.095
CPU user time (s): 249.696
CPU system time (s): 2.39905
CPU usage (%): 116.143
Max. virtual memory (cumulated for all children) (KiB): 11017212
Max. memory (cumulated for all children) (KiB): 3424200

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 249.696
system time used= 2.39905
maximum resident set size= 3428432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 191236
page faults= 1
swaps= 0
block input operations= 1504
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17800
involuntary context switches= 626


# summary of solver processes directly reported to runsolver:
#   pid: 22808
#   total CPU time (s): 252.095
#   total CPU user time (s): 249.696
#   total CPU system time (s): 2.39905

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.34389 second user time and 2.00352 second system time

The end

Launcher Data 

Begin job on node136 at 2018-07-29 21:52:55
IDJOB=4302778
IDBENCH=141047
IDSOLVER=2777
FILE ID=node136/4302778-1532893975
RUNJOBID= node136-1532893975-22776
PBS_JOBID= 21022516
Free space on /tmp= 60228 MiB

SOLVER NAME= Concrete 3.9.2-SuperNG
BENCH NAME= XCSP18/NurseRostering/NurseRostering-09_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED -superng BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4302778-1532893975/watcher-4302778-1532893975 -o /tmp/evaluation-result-4302778-1532893975/solver-4302778-1532893975 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532893975-22776 --watchdog 312  bin/xcsp-3-concrete -J-Xss64M -randomseed=1263557624 -superng HOME/instance-4302778-1532893975.xml

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

MD5SUM BENCH= 01a28a521b9bba3b9351b91d9c8d3e2f
RANDOM SEED=1263557624

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:        28567976 kB
MemAvailable:   31971816 kB
Buffers:          215860 kB
Cached:          3459000 kB
SwapCached:            0 kB
Active:          1770984 kB
Inactive:        1955408 kB
Active(anon):       3472 kB
Inactive(anon):    76480 kB
Active(file):    1767512 kB
Inactive(file):  1878928 kB
Unevictable:        7328 kB
Mlocked:            7328 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             53032 kB
Writeback:             0 kB
AnonPages:         59164 kB
Mapped:            34960 kB
Shmem:             25228 kB
Slab:             174048 kB
SReclaimable:     146472 kB
SUnreclaim:        27576 kB
KernelStack:        3216 kB
PageTables:         5196 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     327936 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 60176 MiB
End job on node136 at 2018-07-29 21:56:33