Trace number 4304172

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.9.2-SuperNG? (TO) 2520.09 2468.94

General information on the benchmark

NameNurseRostering/
NurseRostering-10_c18.xml
MD5SUM8e8c57bbf90dbce08cf7a3cf301ec8dd
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark10181
Best CPU time to get the best result obtained on this benchmark2520.06
Satisfiable
(Un)Satisfiability was proved
Number of variables2140
Number of constraints5421
Number of domains18
Minimum domain size1
Maximum domain size41
Distribution of domain sizes[{"size":1,"count":94},{"size":2,"count":444},{"size":6,"count":1141},{"size":9,"count":7},{"size":10,"count":18},{"size":29,"count":128},{"size":41,"count":308}]
Minimum variable degree2
Maximum variable degree27
Distribution of variable degrees[{"degree":2,"count":860},{"degree":3,"count":160},{"degree":17,"count":33},{"degree":18,"count":41},{"degree":19,"count":6},{"degree":20,"count":31},{"degree":21,"count":40},{"degree":22,"count":67},{"degree":23,"count":71},{"degree":24,"count":80},{"degree":25,"count":360},{"degree":26,"count":293},{"degree":27,"count":98}]
Minimum constraint arity2
Maximum constraint arity80
Distribution of constraint arities[{"arity":2,"count":1932},{"arity":3,"count":2080},{"arity":4,"count":40},{"arity":6,"count":960},{"arity":29,"count":240},{"arity":41,"count":168},{"arity":80,"count":1}]
Number of extensional constraints1248
Number of intensional constraints684
Distribution of constraint types[{"type":"extension","count":1248},{"type":"intension","count":684},{"type":"regular","count":2080},{"type":"sum","count":80},{"type":"count","count":1328},{"type":"instantiation","count":1}]
Optimization problemYES
Type of objectivemin SUM

Solver Data 

0.98/0.74	c Concrete v3.9.2.1532736233296 running
15.54/6.07	c 05:18:18.035 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15786. 'extension(5, x[1][29]=[0‥5]) :: init: true :: relation: MDD 495289088, 12 edges, 5 vertices, 9 tuples
15.54/6.07	c 05:18:18.040 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15787. 'extension(5, x[1][29]=[0‥5]) :: init: true :: relation: MDD 1638796611, 6 edges, 3 vertices, 5 tuples
15.54/6.08	c 05:18:18.045 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15815. 'extension(5, x[1][38]=[0‥5]) :: init: true :: relation: MDD 184017782, 12 edges, 5 vertices, 9 tuples
15.54/6.08	c 05:18:18.045 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15816. 'extension(5, x[1][38]=[0‥5]) :: init: true :: relation: MDD 1424243710, 6 edges, 3 vertices, 5 tuples
15.54/6.08	c 05:18:18.048 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15844. 'extension(x[0][6]=[0‥5], 5) :: init: true :: relation: MDD 783117220, 12 edges, 5 vertices, 9 tuples
15.54/6.08	c 05:18:18.048 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15845. 'extension(5, x[2][6]=[0‥5]) :: init: true :: relation: MDD 783117220, 12 edges, 5 vertices, 9 tuples
15.54/6.09	c 05:18:18.051 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15877. 'extension(x[0][15]=[0‥5], 5) :: init: true :: relation: MDD 1752220610, 12 edges, 5 vertices, 9 tuples
15.54/6.09	c 05:18:18.052 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15910. 'extension(x[0][25]=[0‥5], 5) :: init: true :: relation: MDD 994584048, 12 edges, 5 vertices, 9 tuples
15.54/6.09	c 05:18:18.052 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15911. 'extension(5, x[2][25]=[0‥5]) :: init: true :: relation: MDD 994584048, 12 edges, 5 vertices, 9 tuples
15.54/6.09	c 05:18:18.054 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15943. 'extension(x[1][5]=[0‥5], 5) :: init: true :: relation: MDD 972404515, 12 edges, 5 vertices, 9 tuples
15.54/6.09	c 05:18:18.056 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15978. 'extension(5, x[3][15]=[0‥5]) :: init: true :: relation: MDD 1752220610, 12 edges, 5 vertices, 9 tuples
15.54/6.09	c 05:18:18.057 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15981. 'extension(5, 5) :: init: true :: relation: MDD 1752220610, 12 edges, 5 vertices, 9 tuples
15.54/6.09	c 05:18:18.059 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16013. 'extension(x[1][20]=[0‥5], 5) :: init: true :: relation: MDD 1621615881, 12 edges, 5 vertices, 9 tuples
15.54/6.09	c 05:18:18.060 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16014. 'extension(5, x[3][20]=[0‥5]) :: init: true :: relation: MDD 1621615881, 12 edges, 5 vertices, 9 tuples
15.54/6.10	c 05:18:18.063 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16048. 'extension(x[1][36]=[0‥5], 5) :: init: true :: relation: MDD 917190676, 12 edges, 5 vertices, 9 tuples
15.54/6.10	c 05:18:18.063 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16049. 'extension(5, x[3][36]=[0‥5]) :: init: true :: relation: MDD 917190676, 12 edges, 5 vertices, 9 tuples
15.54/6.10	c 05:18:18.066 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16083. 'extension(x[2][0]=[0‥5], 5) :: init: true :: relation: MDD 1286437308, 12 edges, 5 vertices, 9 tuples
15.87/6.11	c 05:18:18.067 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16084. 'extension(5, x[4][0]=[0‥5]) :: init: true :: relation: MDD 1286437308, 12 edges, 5 vertices, 9 tuples
15.87/6.11	c 05:18:18.069 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16119. 'extension(5, x[4][5]=[0‥5]) :: init: true :: relation: MDD 972404515, 12 edges, 5 vertices, 9 tuples
15.87/6.11	c 05:18:18.070 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16122. 'extension(5, 5) :: init: true :: relation: MDD 972404515, 12 edges, 5 vertices, 9 tuples
15.87/6.11	c 05:18:18.072 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16155. 'extension(x[2][10]=[0‥5], 5) :: init: true :: relation: MDD 134943275, 12 edges, 5 vertices, 9 tuples
15.87/6.11	c 05:18:18.072 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16156. 'extension(5, x[4][10]=[0‥5]) :: init: true :: relation: MDD 134943275, 12 edges, 5 vertices, 9 tuples
15.87/6.11	c 05:18:18.075 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16191. 'extension(x[2][12]=[0‥5], 5) :: init: true :: relation: MDD 376660032, 12 edges, 5 vertices, 9 tuples
15.87/6.11	c 05:18:18.076 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16227. 'extension(x[2][18]=[0‥5], 5) :: init: true :: relation: MDD 2037343019, 12 edges, 5 vertices, 9 tuples
15.87/6.11	c 05:18:18.077 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16228. 'extension(5, x[4][18]=[0‥5]) :: init: true :: relation: MDD 2037343019, 12 edges, 5 vertices, 9 tuples
15.87/6.11	c 05:18:18.079 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16263. 'extension(x[2][37]=[0‥5], 5) :: init: true :: relation: MDD 851116146, 12 edges, 5 vertices, 9 tuples
15.87/6.11	c 05:18:18.080 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16264. 'extension(5, x[4][37]=[0‥5]) :: init: true :: relation: MDD 851116146, 12 edges, 5 vertices, 9 tuples
15.87/6.12	c 05:18:18.083 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16299. 'extension(5, x[5][12]=[0‥5]) :: init: true :: relation: MDD 376660032, 12 edges, 5 vertices, 9 tuples
15.87/6.12	c 05:18:18.083 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16302. 'extension(5, 5) :: init: true :: relation: MDD 376660032, 12 edges, 5 vertices, 9 tuples
15.87/6.12	c 05:18:18.085 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16336. 'extension(x[3][17]=[0‥5], 5) :: init: true :: relation: MDD 1835878412, 12 edges, 5 vertices, 9 tuples
15.87/6.12	c 05:18:18.087 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16373. 'extension(5, wk[14][0]=[0‥1]) :: init: true :: relation: MDD 827039307, 6 edges, 3 vertices, 5 tuples
15.87/6.12	c 05:18:18.087 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16374. 'extension(x[4][14]=[0‥5], 5) :: init: true :: relation: MDD 1780306540, 12 edges, 5 vertices, 9 tuples
15.87/6.12	c 05:18:18.088 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16375. 'extension(5, x[6][14]=[0‥5]) :: init: true :: relation: MDD 1780306540, 12 edges, 5 vertices, 9 tuples
15.87/6.12	c 05:18:18.090 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16412. 'extension(5, wk[17][0]=[0‥1]) :: init: true :: relation: MDD 1349168118, 6 edges, 3 vertices, 5 tuples
15.87/6.13	c 05:18:18.090 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16413. 'extension(5, x[6][17]=[0‥5]) :: init: true :: relation: MDD 1835878412, 12 edges, 5 vertices, 9 tuples
15.87/6.13	c 05:18:18.092 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16416. 'extension(5, 5) :: init: true :: relation: MDD 1835878412, 12 edges, 5 vertices, 9 tuples
15.87/6.14	c 05:18:18.103 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16451. 'extension(5, wk[32][0]=[0‥1]) :: init: true :: relation: MDD 1387556178, 6 edges, 3 vertices, 5 tuples
15.87/6.14	c 05:18:18.104 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16452. 'extension(x[4][32]=[0‥5], 5) :: init: true :: relation: MDD 233300371, 12 edges, 5 vertices, 9 tuples
15.87/6.14	c 05:18:18.104 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16453. 'extension(5, x[6][32]=[0‥5]) :: init: true :: relation: MDD 233300371, 12 edges, 5 vertices, 9 tuples
15.87/6.14	c 05:18:18.107 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16490. 'extension(5, wk[31][0]=[0‥1]) :: init: true :: relation: MDD 99195804, 6 edges, 3 vertices, 5 tuples
15.87/6.14	c 05:18:18.107 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16491. 'extension(x[5][31]=[0‥5], 5) :: init: true :: relation: MDD 1952473604, 12 edges, 5 vertices, 9 tuples
15.87/6.14	c 05:18:18.109 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16529. 'extension(x[6][0]=[0‥5], 5) :: init: true :: relation: MDD 1286437308, 12 edges, 5 vertices, 9 tuples
15.87/6.14	c 05:18:18.109 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16530. 'extension(5, x[8][0]=[0‥5]) :: init: true :: relation: MDD 1286437308, 12 edges, 5 vertices, 9 tuples
15.87/6.15	c 05:18:18.112 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16567. 'extension(x[6][8]=[0‥5], 5) :: init: true :: relation: MDD 1589745212, 12 edges, 5 vertices, 9 tuples
15.87/6.15	c 05:18:18.112 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16568. 'extension(5, x[8][8]=[0‥5]) :: init: true :: relation: MDD 1589745212, 12 edges, 5 vertices, 9 tuples
15.87/6.15	c 05:18:18.114 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16605. 'extension(x[6][11]=[0‥5], 5) :: init: true :: relation: MDD 1259065345, 12 edges, 5 vertices, 9 tuples
15.87/6.15	c 05:18:18.115 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16643. 'extension(5, x[8][31]=[0‥5]) :: init: true :: relation: MDD 1952473604, 12 edges, 5 vertices, 9 tuples
15.87/6.15	c 05:18:18.116 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16646. 'extension(5, 5) :: init: true :: relation: MDD 1952473604, 12 edges, 5 vertices, 9 tuples
15.87/6.15	c 05:18:18.118 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16681. 'extension(x[6][39]=[0‥5], 5) :: init: true :: relation: MDD 876487258, 12 edges, 5 vertices, 9 tuples
15.87/6.15	c 05:18:18.118 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16682. 'extension(5, x[8][39]=[0‥5]) :: init: true :: relation: MDD 876487258, 12 edges, 5 vertices, 9 tuples
15.87/6.16	c 05:18:18.120 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16719. 'extension(5, x[9][11]=[0‥5]) :: init: true :: relation: MDD 1259065345, 12 edges, 5 vertices, 9 tuples
15.87/6.16	c 05:18:18.121 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16722. 'extension(5, 5) :: init: true :: relation: MDD 1259065345, 12 edges, 5 vertices, 9 tuples
15.87/6.16	c 05:18:18.123 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16757. 'extension(x[7][14]=[0‥5], 5) :: init: true :: relation: MDD 1780306540, 12 edges, 5 vertices, 9 tuples
15.87/6.16	c 05:18:18.123 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16758. 'extension(5, x[9][14]=[0‥5]) :: init: true :: relation: MDD 1780306540, 12 edges, 5 vertices, 9 tuples
15.87/6.16	c 05:18:18.126 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16795. 'extension(x[7][19]=[0‥5], 5) :: init: true :: relation: MDD 1531409183, 12 edges, 5 vertices, 9 tuples
15.87/6.16	c 05:18:18.127 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16833. 'extension(x[7][32]=[0‥5], 5) :: init: true :: relation: MDD 233300371, 12 edges, 5 vertices, 9 tuples
15.87/6.16	c 05:18:18.127 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16834. 'extension(5, x[9][32]=[0‥5]) :: init: true :: relation: MDD 233300371, 12 edges, 5 vertices, 9 tuples
15.87/6.17	c 05:18:18.129 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16871. 'extension(x[7][33]=[0‥5], 5) :: init: true :: relation: MDD 2077150966, 12 edges, 5 vertices, 9 tuples
15.87/6.17	c 05:18:18.130 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16909. 'extension(5, x[10][19]=[0‥5]) :: init: true :: relation: MDD 1531409183, 12 edges, 5 vertices, 9 tuples
15.87/6.17	c 05:18:18.131 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16912. 'extension(5, 5) :: init: true :: relation: MDD 1531409183, 12 edges, 5 vertices, 9 tuples
15.87/6.17	c 05:18:18.133 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16947. 'extension(5, x[10][33]=[0‥5]) :: init: true :: relation: MDD 2077150966, 12 edges, 5 vertices, 9 tuples
15.87/6.17	c 05:18:18.133 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16950. 'extension(5, 5) :: init: true :: relation: MDD 2077150966, 12 edges, 5 vertices, 9 tuples
15.87/6.17	c 05:18:18.135 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16985. 'extension(x[8][38]=[0‥5], 5) :: init: true :: relation: MDD 184017782, 12 edges, 5 vertices, 9 tuples
15.87/6.17	c 05:18:18.135 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16986. 'extension(5, x[10][38]=[0‥5]) :: init: true :: relation: MDD 184017782, 12 edges, 5 vertices, 9 tuples
15.87/6.17	c 05:18:18.138 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17023. 'extension(x[9][7]=[0‥5], 5) :: init: true :: relation: MDD 1645557354, 12 edges, 5 vertices, 9 tuples
15.87/6.17	c 05:18:18.140 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17061. 'extension(x[10][3]=[0‥5], 5) :: init: true :: relation: MDD 812229472, 12 edges, 5 vertices, 9 tuples
15.87/6.18	c 05:18:18.141 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17099. 'extension(x[10][6]=[0‥5], 5) :: init: true :: relation: MDD 783117220, 12 edges, 5 vertices, 9 tuples
15.87/6.18	c 05:18:18.141 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17100. 'extension(5, x[12][6]=[0‥5]) :: init: true :: relation: MDD 783117220, 12 edges, 5 vertices, 9 tuples
15.87/6.18	c 05:18:18.143 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17137. 'extension(5, x[12][7]=[0‥5]) :: init: true :: relation: MDD 1645557354, 12 edges, 5 vertices, 9 tuples
15.87/6.18	c 05:18:18.144 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17140. 'extension(5, 5) :: init: true :: relation: MDD 1645557354, 12 edges, 5 vertices, 9 tuples
15.87/6.18	c 05:18:18.145 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17175. 'extension(x[10][18]=[0‥5], 5) :: init: true :: relation: MDD 2037343019, 12 edges, 5 vertices, 9 tuples
15.87/6.18	c 05:18:18.146 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17176. 'extension(5, x[12][18]=[0‥5]) :: init: true :: relation: MDD 2037343019, 12 edges, 5 vertices, 9 tuples
15.87/6.18	c 05:18:18.148 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17213. 'extension(x[10][22]=[0‥5], 5) :: init: true :: relation: MDD 1561005241, 12 edges, 5 vertices, 9 tuples
15.87/6.18	c 05:18:18.148 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17214. 'extension(5, x[12][22]=[0‥5]) :: init: true :: relation: MDD 1561005241, 12 edges, 5 vertices, 9 tuples
15.87/6.18	c 05:18:18.150 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17251. 'extension(5, wk[3][1]=[0‥1]) :: init: true :: relation: MDD 231900526, 6 edges, 3 vertices, 5 tuples
15.87/6.19	c 05:18:18.151 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17252. 'extension(5, x[13][3]=[0‥5]) :: init: true :: relation: MDD 812229472, 12 edges, 5 vertices, 9 tuples
15.87/6.19	c 05:18:18.151 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17255. 'extension(5, 5) :: init: true :: relation: MDD 812229472, 12 edges, 5 vertices, 9 tuples
15.87/6.19	c 05:18:18.153 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17290. 'extension(5, wk[4][1]=[0‥1]) :: init: true :: relation: MDD 1600330912, 6 edges, 3 vertices, 5 tuples
15.87/6.19	c 05:18:18.153 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17291. 'extension(x[11][4]=[0‥5], 5) :: init: true :: relation: MDD 879924346, 12 edges, 5 vertices, 9 tuples
15.87/6.19	c 05:18:18.154 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17329. 'extension(5, wk[21][1]=[0‥1]) :: init: true :: relation: MDD 752148842, 6 edges, 3 vertices, 5 tuples
15.87/6.19	c 05:18:18.154 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17330. 'extension(x[11][21]=[0‥5], 5) :: init: true :: relation: MDD 1651795723, 12 edges, 5 vertices, 9 tuples
15.87/6.19	c 05:18:18.155 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17331. 'extension(5, x[13][21]=[0‥5]) :: init: true :: relation: MDD 1651795723, 12 edges, 5 vertices, 9 tuples
15.87/6.19	c 05:18:18.156 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17368. 'extension(5, wk[25][1]=[0‥1]) :: init: true :: relation: MDD 1845746463, 6 edges, 3 vertices, 5 tuples
15.87/6.19	c 05:18:18.157 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17369. 'extension(x[11][25]=[0‥5], 5) :: init: true :: relation: MDD 994584048, 12 edges, 5 vertices, 9 tuples
15.87/6.19	c 05:18:18.157 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17370. 'extension(5, x[13][25]=[0‥5]) :: init: true :: relation: MDD 994584048, 12 edges, 5 vertices, 9 tuples
15.87/6.19	c 05:18:18.159 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17407. 'extension(5, wk[4][1]=[0‥1]) :: init: true :: relation: MDD 313334570, 6 edges, 3 vertices, 5 tuples
16.18/6.20	c 05:18:18.160 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17408. 'extension(5, x[14][4]=[0‥5]) :: init: true :: relation: MDD 879924346, 12 edges, 5 vertices, 9 tuples
16.18/6.20	c 05:18:18.160 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17411. 'extension(5, 5) :: init: true :: relation: MDD 879924346, 12 edges, 5 vertices, 9 tuples
16.18/6.20	c 05:18:18.162 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17446. 'extension(5, wk[28][1]=[0‥1]) :: init: true :: relation: MDD 1302568105, 6 edges, 3 vertices, 5 tuples
16.18/6.20	c 05:18:18.162 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17447. 'extension(x[12][28]=[0‥5], 5) :: init: true :: relation: MDD 270313690, 12 edges, 5 vertices, 9 tuples
16.18/6.20	c 05:18:18.163 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17448. 'extension(5, x[14][28]=[0‥5]) :: init: true :: relation: MDD 270313690, 12 edges, 5 vertices, 9 tuples
16.18/6.20	c 05:18:18.165 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17485. 'extension(x[13][1]=[0‥5], 5) :: init: true :: relation: MDD 1594214614, 12 edges, 5 vertices, 9 tuples
16.18/6.20	c 05:18:18.166 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17523. 'extension(x[13][20]=[0‥5], 5) :: init: true :: relation: MDD 1621615881, 12 edges, 5 vertices, 9 tuples
16.18/6.20	c 05:18:18.166 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17524. 'extension(5, x[15][20]=[0‥5]) :: init: true :: relation: MDD 1621615881, 12 edges, 5 vertices, 9 tuples
16.18/6.20	c 05:18:18.168 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17561. 'extension(x[13][30]=[0‥5], 5) :: init: true :: relation: MDD 1628252344, 12 edges, 5 vertices, 9 tuples
16.18/6.21	c 05:18:18.169 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17599. 'extension(x[13][35]=[0‥5], 5) :: init: true :: relation: MDD 1909367224, 12 edges, 5 vertices, 9 tuples
16.18/6.21	c 05:18:18.170 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17637. 'extension(5, x[16][1]=[0‥5]) :: init: true :: relation: MDD 1594214614, 12 edges, 5 vertices, 9 tuples
16.18/6.21	c 05:18:18.171 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17640. 'extension(5, 5) :: init: true :: relation: MDD 1594214614, 12 edges, 5 vertices, 9 tuples
16.18/6.21	c 05:18:18.173 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17675. 'extension(5, x[16][30]=[0‥5]) :: init: true :: relation: MDD 1628252344, 12 edges, 5 vertices, 9 tuples
16.18/6.21	c 05:18:18.173 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17678. 'extension(5, 5) :: init: true :: relation: MDD 1628252344, 12 edges, 5 vertices, 9 tuples
16.18/6.21	c 05:18:18.175 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17713. 'extension(5, x[16][35]=[0‥5]) :: init: true :: relation: MDD 1909367224, 12 edges, 5 vertices, 9 tuples
16.18/6.21	c 05:18:18.175 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17716. 'extension(5, 5) :: init: true :: relation: MDD 1909367224, 12 edges, 5 vertices, 9 tuples
16.18/6.21	c 05:18:18.177 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17751. 'extension(x[15][24]=[0‥5], 5) :: init: true :: relation: MDD 873002645, 12 edges, 5 vertices, 9 tuples
16.18/6.21	c 05:18:18.178 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17752. 'extension(5, x[17][24]=[0‥5]) :: init: true :: relation: MDD 873002645, 12 edges, 5 vertices, 9 tuples
16.18/6.21	c 05:18:18.180 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17789. 'extension(x[17][36]=[0‥5], 5) :: init: true :: relation: MDD 917190676, 12 edges, 5 vertices, 9 tuples
16.18/6.21	c 05:18:18.180 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17790. 'extension(5, x[19][36]=[0‥5]) :: init: true :: relation: MDD 917190676, 12 edges, 5 vertices, 9 tuples
16.18/6.22	c 05:18:18.182 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17827. 'extension(5, wk[21][2]=[0‥1]) :: init: true :: relation: MDD 1930842682, 6 edges, 3 vertices, 5 tuples
16.18/6.22	c 05:18:18.183 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17828. 'extension(x[18][21]=[0‥5], 5) :: init: true :: relation: MDD 1651795723, 12 edges, 5 vertices, 9 tuples
16.18/6.22	c 05:18:18.183 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17829. 'extension(5, x[20][21]=[0‥5]) :: init: true :: relation: MDD 1651795723, 12 edges, 5 vertices, 9 tuples
16.18/6.22	c 05:18:18.185 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17866. 'extension(5, wk[39][2]=[0‥1]) :: init: true :: relation: MDD 753853622, 6 edges, 3 vertices, 5 tuples
16.18/6.22	c 05:18:18.185 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17867. 'extension(x[18][39]=[0‥5], 5) :: init: true :: relation: MDD 876487258, 12 edges, 5 vertices, 9 tuples
16.18/6.22	c 05:18:18.186 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17868. 'extension(5, x[20][39]=[0‥5]) :: init: true :: relation: MDD 876487258, 12 edges, 5 vertices, 9 tuples
16.18/6.22	c 05:18:18.188 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17905. 'extension(5, wk[26][2]=[0‥1]) :: init: true :: relation: MDD 182254297, 6 edges, 3 vertices, 5 tuples
16.18/6.22	c 05:18:18.188 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17906. 'extension(x[19][26]=[0‥5], 5) :: init: true :: relation: MDD 1973281540, 12 edges, 5 vertices, 9 tuples
16.18/6.22	c 05:18:18.190 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17944. 'extension(x[20][10]=[0‥5], 5) :: init: true :: relation: MDD 134943275, 12 edges, 5 vertices, 9 tuples
16.18/6.22	c 05:18:18.190 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17945. 'extension(5, x[22][10]=[0‥5]) :: init: true :: relation: MDD 134943275, 12 edges, 5 vertices, 9 tuples
16.18/6.23	c 05:18:18.192 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17982. 'extension(x[20][16]=[0‥5], 5) :: init: true :: relation: MDD 1784551034, 12 edges, 5 vertices, 9 tuples
16.18/6.23	c 05:18:18.192 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17983. 'extension(5, x[22][16]=[0‥5]) :: init: true :: relation: MDD 1784551034, 12 edges, 5 vertices, 9 tuples
16.18/6.23	c 05:18:18.194 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18020. 'extension(5, x[22][26]=[0‥5]) :: init: true :: relation: MDD 1973281540, 12 edges, 5 vertices, 9 tuples
16.18/6.23	c 05:18:18.194 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18023. 'extension(5, 5) :: init: true :: relation: MDD 1973281540, 12 edges, 5 vertices, 9 tuples
16.18/6.23	c 05:18:18.196 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18058. 'extension(x[21][8]=[0‥5], 5) :: init: true :: relation: MDD 1589745212, 12 edges, 5 vertices, 9 tuples
16.18/6.23	c 05:18:18.196 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18059. 'extension(5, x[23][8]=[0‥5]) :: init: true :: relation: MDD 1589745212, 12 edges, 5 vertices, 9 tuples
16.18/6.23	c 05:18:18.198 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18096. 'extension(x[21][9]=[0‥5], 5) :: init: true :: relation: MDD 1336210565, 12 edges, 5 vertices, 9 tuples
16.18/6.23	c 05:18:18.199 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18097. 'extension(5, x[23][9]=[0‥5]) :: init: true :: relation: MDD 1336210565, 12 edges, 5 vertices, 9 tuples
16.18/6.23	c 05:18:18.200 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18134. 'extension(x[21][13]=[0‥5], 5) :: init: true :: relation: MDD 854255346, 12 edges, 5 vertices, 9 tuples
16.18/6.24	c 05:18:18.201 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18172. 'extension(x[21][24]=[0‥5], 5) :: init: true :: relation: MDD 873002645, 12 edges, 5 vertices, 9 tuples
16.18/6.24	c 05:18:18.201 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18173. 'extension(5, x[23][24]=[0‥5]) :: init: true :: relation: MDD 873002645, 12 edges, 5 vertices, 9 tuples
16.18/6.24	c 05:18:18.204 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18210. 'extension(x[22][2]=[0‥5], 5) :: init: true :: relation: MDD 2096808863, 12 edges, 5 vertices, 9 tuples
16.18/6.24	c 05:18:18.205 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18247. 'extension(5, x[24][13]=[0‥5]) :: init: true :: relation: MDD 854255346, 12 edges, 5 vertices, 9 tuples
16.18/6.24	c 05:18:18.205 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18250. 'extension(5, 5) :: init: true :: relation: MDD 854255346, 12 edges, 5 vertices, 9 tuples
16.18/6.24	c 05:18:18.207 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18284. 'extension(x[22][23]=[0‥5], 5) :: init: true :: relation: MDD 1007550632, 12 edges, 5 vertices, 9 tuples
16.18/6.24	c 05:18:18.210 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18285. 'extension(5, x[24][23]=[0‥5]) :: init: true :: relation: MDD 1007550632, 12 edges, 5 vertices, 9 tuples
16.18/6.25	c 05:18:18.212 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18321. 'extension(x[22][29]=[0‥5], 5) :: init: true :: relation: MDD 495289088, 12 edges, 5 vertices, 9 tuples
16.18/6.25	c 05:18:18.212 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18322. 'extension(5, x[24][29]=[0‥5]) :: init: true :: relation: MDD 495289088, 12 edges, 5 vertices, 9 tuples
16.18/6.25	c 05:18:18.214 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18358. 'extension(x[22][37]=[0‥5], 5) :: init: true :: relation: MDD 851116146, 12 edges, 5 vertices, 9 tuples
16.18/6.25	c 05:18:18.215 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18359. 'extension(5, x[24][37]=[0‥5]) :: init: true :: relation: MDD 851116146, 12 edges, 5 vertices, 9 tuples
16.18/6.25	c 05:18:18.217 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18395. 'extension(5, x[25][2]=[0‥5]) :: init: true :: relation: MDD 2096808863, 12 edges, 5 vertices, 9 tuples
16.18/6.25	c 05:18:18.218 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18398. 'extension(5, 5) :: init: true :: relation: MDD 2096808863, 12 edges, 5 vertices, 9 tuples
16.18/6.25	c 05:18:18.219 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18431. 'extension(x[23][16]=[0‥5], 5) :: init: true :: relation: MDD 1784551034, 12 edges, 5 vertices, 9 tuples
16.18/6.25	c 05:18:18.219 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18432. 'extension(5, x[25][16]=[0‥5]) :: init: true :: relation: MDD 1784551034, 12 edges, 5 vertices, 9 tuples
16.18/6.26	c 05:18:18.222 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18467. 'extension(x[24][27]=[0‥5], 5) :: init: true :: relation: MDD 1037793103, 12 edges, 5 vertices, 9 tuples
16.18/6.26	c 05:18:18.223 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18502. 'extension(5, wk[22][3]=[0‥1]) :: init: true :: relation: MDD 1924411652, 6 edges, 3 vertices, 5 tuples
16.18/6.26	c 05:18:18.223 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18503. 'extension(x[25][22]=[0‥5], 5) :: init: true :: relation: MDD 1561005241, 12 edges, 5 vertices, 9 tuples
16.18/6.26	c 05:18:18.224 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18504. 'extension(5, x[27][22]=[0‥5]) :: init: true :: relation: MDD 1561005241, 12 edges, 5 vertices, 9 tuples
16.18/6.26	c 05:18:18.225 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18536. 'extension(5, wk[27][3]=[0‥1]) :: init: true :: relation: MDD 1000386113, 6 edges, 3 vertices, 5 tuples
16.18/6.26	c 05:18:18.226 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18537. 'extension(5, x[27][27]=[0‥5]) :: init: true :: relation: MDD 1037793103, 12 edges, 5 vertices, 9 tuples
16.18/6.26	c 05:18:18.226 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18539. 'extension(5, 5) :: init: true :: relation: MDD 1037793103, 12 edges, 5 vertices, 9 tuples
16.18/6.26	c 05:18:18.227 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18570. 'extension(5, wk[34][3]=[0‥1]) :: init: true :: relation: MDD 1287062222, 6 edges, 3 vertices, 5 tuples
16.18/6.26	c 05:18:18.227 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18571. 'extension(x[25][34]=[0‥5], 5) :: init: true :: relation: MDD 2009196049, 12 edges, 5 vertices, 9 tuples
16.18/6.26	c 05:18:18.229 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18604. 'extension(5, wk[9][3]=[0‥1]) :: init: true :: relation: MDD 890160784, 6 edges, 3 vertices, 5 tuples
16.18/6.26	c 05:18:18.229 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18605. 'extension(x[26][9]=[0‥5], 5) :: init: true :: relation: MDD 1336210565, 12 edges, 5 vertices, 9 tuples
16.18/6.26	c 05:18:18.229 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18606. 'extension(5, x[26][9]=[0‥5]) :: init: true :: relation: MDD 1694102613, 6 edges, 3 vertices, 5 tuples
16.18/6.26	c 05:18:18.230 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18634. 'extension(5, wk[23][3]=[0‥1]) :: init: true :: relation: MDD 2091684862, 6 edges, 3 vertices, 5 tuples
16.18/6.26	c 05:18:18.230 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18635. 'extension(x[26][23]=[0‥5], 5) :: init: true :: relation: MDD 1007550632, 12 edges, 5 vertices, 9 tuples
16.18/6.27	c 05:18:18.231 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18636. 'extension(5, x[26][23]=[0‥5]) :: init: true :: relation: MDD 1813531981, 6 edges, 3 vertices, 5 tuples
16.18/6.27	c 05:18:18.232 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18664. 'extension(5, wk[28][3]=[0‥1]) :: init: true :: relation: MDD 52642932, 6 edges, 3 vertices, 5 tuples
16.18/6.27	c 05:18:18.232 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18665. 'extension(x[26][28]=[0‥5], 5) :: init: true :: relation: MDD 270313690, 12 edges, 5 vertices, 9 tuples
16.18/6.27	c 05:18:18.232 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18666. 'extension(5, x[26][28]=[0‥5]) :: init: true :: relation: MDD 162919367, 6 edges, 3 vertices, 5 tuples
16.18/6.27	c 05:18:18.233 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18694. 'extension(5, wk[34][3]=[0‥1]) :: init: true :: relation: MDD 1690796457, 6 edges, 3 vertices, 5 tuples
16.18/6.27	c 05:18:18.234 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18695. 'extension(5, 5) :: init: true :: relation: MDD 2009196049, 12 edges, 5 vertices, 9 tuples
16.18/6.27	c 05:18:18.234 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18696. 'extension(5, 5) :: init: true :: relation: MDD 623330465, 6 edges, 3 vertices, 5 tuples
16.18/6.28	c 05:18:18.246 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18805. 'extension(x[1][29]=[0‥5]) :: init: true :: relation: Empty MDD
16.18/6.28	c 05:18:18.247 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18807. 'extension(x[1][29]=[0‥5]) :: init: true :: relation: Empty MDD
16.18/6.28	c 05:18:18.247 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18813. 'extension(x[1][38]=[0‥5]) :: init: true :: relation: Empty MDD
16.18/6.28	c 05:18:18.247 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18815. 'extension(x[1][38]=[0‥5]) :: init: true :: relation: Empty MDD
16.18/6.28	c 05:18:18.248 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18821. 'extension(x[0][6]=[0‥5]) :: init: true :: relation: Empty MDD
16.18/6.28	c 05:18:18.248 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18823. 'extension(x[2][6]=[0‥5]) :: init: true :: relation: Empty MDD
16.18/6.28	c 05:18:18.249 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18835. 'extension(x[0][15]=[0‥5]) :: init: true :: relation: Empty MDD
16.18/6.28	c 05:18:18.249 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18839. 'extension(x[0][25]=[0‥5]) :: init: true :: relation: Empty MDD
16.18/6.28	c 05:18:18.249 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18841. 'extension(x[2][25]=[0‥5]) :: init: true :: relation: Empty MDD
16.18/6.28	c 05:18:18.250 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18853. 'extension(x[1][5]=[0‥5]) :: init: true :: relation: Empty MDD
16.18/6.28	c 05:18:18.250 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18859. 'extension(x[3][15]=[0‥5]) :: init: true :: relation: Empty MDD
16.18/6.28	c 05:18:18.251 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18873. 'extension(x[1][20]=[0‥5]) :: init: true :: relation: Empty MDD
16.18/6.29	c 05:18:18.251 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18875. 'extension(x[3][20]=[0‥5]) :: init: true :: relation: Empty MDD
16.18/6.29	c 05:18:18.252 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18889. 'extension(x[1][36]=[0‥5]) :: init: true :: relation: Empty MDD
16.18/6.29	c 05:18:18.252 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18891. 'extension(x[3][36]=[0‥5]) :: init: true :: relation: Empty MDD
16.18/6.29	c 05:18:18.252 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18905. 'extension(x[2][0]=[0‥5]) :: init: true :: relation: Empty MDD
16.18/6.29	c 05:18:18.253 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18907. 'extension(x[4][0]=[0‥5]) :: init: true :: relation: Empty MDD
16.18/6.29	c 05:18:18.253 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18921. 'extension(x[4][5]=[0‥5]) :: init: true :: relation: Empty MDD
16.18/6.29	c 05:18:18.254 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18935. 'extension(x[2][10]=[0‥5]) :: init: true :: relation: Empty MDD
16.18/6.29	c 05:18:18.254 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18937. 'extension(x[4][10]=[0‥5]) :: init: true :: relation: Empty MDD
16.18/6.29	c 05:18:18.255 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18951. 'extension(x[2][12]=[0‥5]) :: init: true :: relation: Empty MDD
16.18/6.29	c 05:18:18.255 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18957. 'extension(x[2][18]=[0‥5]) :: init: true :: relation: Empty MDD
16.18/6.29	c 05:18:18.256 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18959. 'extension(x[4][18]=[0‥5]) :: init: true :: relation: Empty MDD
16.18/6.29	c 05:18:18.256 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18973. 'extension(x[2][37]=[0‥5]) :: init: true :: relation: Empty MDD
16.18/6.29	c 05:18:18.256 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18975. 'extension(x[4][37]=[0‥5]) :: init: true :: relation: Empty MDD
16.18/6.29	c 05:18:18.257 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18989. 'extension(x[5][12]=[0‥5]) :: init: true :: relation: Empty MDD
16.18/6.29	c 05:18:18.258 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19003. 'extension(x[3][17]=[0‥5]) :: init: true :: relation: Empty MDD
16.18/6.29	c 05:18:18.258 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19009. 'extension(wk[14][0]=[0‥1]) :: init: true :: relation: Empty MDD
16.18/6.29	c 05:18:18.258 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19011. 'extension(x[4][14]=[0‥5]) :: init: true :: relation: Empty MDD
16.18/6.29	c 05:18:18.259 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19013. 'extension(x[6][14]=[0‥5]) :: init: true :: relation: Empty MDD
16.18/6.29	c 05:18:18.259 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19027. 'extension(wk[17][0]=[0‥1]) :: init: true :: relation: Empty MDD
16.18/6.29	c 05:18:18.259 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19029. 'extension(x[6][17]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.30	c 05:18:18.260 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19043. 'extension(wk[32][0]=[0‥1]) :: init: true :: relation: Empty MDD
16.51/6.30	c 05:18:18.261 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19045. 'extension(x[4][32]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.30	c 05:18:18.261 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19047. 'extension(x[6][32]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.30	c 05:18:18.261 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19061. 'extension(wk[31][0]=[0‥1]) :: init: true :: relation: Empty MDD
16.51/6.30	c 05:18:18.262 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19063. 'extension(x[5][31]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.30	c 05:18:18.262 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19069. 'extension(x[6][0]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.30	c 05:18:18.262 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19071. 'extension(x[8][0]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.30	c 05:18:18.263 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19085. 'extension(x[6][8]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.30	c 05:18:18.263 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19087. 'extension(x[8][8]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.30	c 05:18:18.264 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19101. 'extension(x[6][11]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.30	c 05:18:18.264 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19107. 'extension(x[8][31]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.30	c 05:18:18.265 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19121. 'extension(x[6][39]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.30	c 05:18:18.265 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19123. 'extension(x[8][39]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.30	c 05:18:18.266 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19137. 'extension(x[9][11]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.30	c 05:18:18.266 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19151. 'extension(x[7][14]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.30	c 05:18:18.267 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19153. 'extension(x[9][14]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.30	c 05:18:18.267 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19167. 'extension(x[7][19]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.30	c 05:18:18.268 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19173. 'extension(x[7][32]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.30	c 05:18:18.268 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19175. 'extension(x[9][32]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.30	c 05:18:18.269 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19189. 'extension(x[7][33]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.30	c 05:18:18.269 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19195. 'extension(x[10][19]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.30	c 05:18:18.270 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19209. 'extension(x[10][33]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.30	c 05:18:18.270 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19223. 'extension(x[8][38]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.31	c 05:18:18.271 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19225. 'extension(x[10][38]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.31	c 05:18:18.271 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19239. 'extension(x[9][7]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.31	c 05:18:18.272 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19245. 'extension(x[10][3]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.31	c 05:18:18.272 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19251. 'extension(x[10][6]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.31	c 05:18:18.272 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19253. 'extension(x[12][6]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.31	c 05:18:18.273 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19267. 'extension(x[12][7]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.31	c 05:18:18.274 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19281. 'extension(x[10][18]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.31	c 05:18:18.274 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19283. 'extension(x[12][18]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.31	c 05:18:18.275 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19297. 'extension(x[10][22]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.31	c 05:18:18.275 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19299. 'extension(x[12][22]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.31	c 05:18:18.276 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19313. 'extension(wk[3][1]=[0‥1]) :: init: true :: relation: Empty MDD
16.51/6.31	c 05:18:18.276 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19315. 'extension(x[13][3]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.31	c 05:18:18.276 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19329. 'extension(wk[4][1]=[0‥1]) :: init: true :: relation: Empty MDD
16.51/6.31	c 05:18:18.277 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19331. 'extension(x[11][4]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.31	c 05:18:18.277 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19337. 'extension(wk[21][1]=[0‥1]) :: init: true :: relation: Empty MDD
16.51/6.31	c 05:18:18.277 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19339. 'extension(x[11][21]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.31	c 05:18:18.277 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19341. 'extension(x[13][21]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.31	c 05:18:18.278 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19355. 'extension(wk[25][1]=[0‥1]) :: init: true :: relation: Empty MDD
16.51/6.31	c 05:18:18.278 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19357. 'extension(x[11][25]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.31	c 05:18:18.278 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19359. 'extension(x[13][25]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.31	c 05:18:18.279 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19373. 'extension(wk[4][1]=[0‥1]) :: init: true :: relation: Empty MDD
16.51/6.31	c 05:18:18.279 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19375. 'extension(x[14][4]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.31	c 05:18:18.280 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19389. 'extension(wk[28][1]=[0‥1]) :: init: true :: relation: Empty MDD
16.51/6.31	c 05:18:18.280 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19391. 'extension(x[12][28]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.31	c 05:18:18.280 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19393. 'extension(x[14][28]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.32	c 05:18:18.281 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19407. 'extension(x[13][1]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.32	c 05:18:18.281 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19413. 'extension(x[13][20]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.32	c 05:18:18.282 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19415. 'extension(x[15][20]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.32	c 05:18:18.282 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19429. 'extension(x[13][30]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.32	c 05:18:18.283 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19435. 'extension(x[13][35]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.32	c 05:18:18.283 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19441. 'extension(x[16][1]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.32	c 05:18:18.284 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19455. 'extension(x[16][30]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.32	c 05:18:18.284 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19469. 'extension(x[16][35]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.32	c 05:18:18.285 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19483. 'extension(x[15][24]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.32	c 05:18:18.285 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19485. 'extension(x[17][24]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.32	c 05:18:18.286 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19499. 'extension(x[17][36]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.32	c 05:18:18.286 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19501. 'extension(x[19][36]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.32	c 05:18:18.287 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19515. 'extension(wk[21][2]=[0‥1]) :: init: true :: relation: Empty MDD
16.51/6.32	c 05:18:18.287 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19517. 'extension(x[18][21]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.32	c 05:18:18.287 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19519. 'extension(x[20][21]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.32	c 05:18:18.288 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19533. 'extension(wk[39][2]=[0‥1]) :: init: true :: relation: Empty MDD
16.51/6.32	c 05:18:18.288 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19535. 'extension(x[18][39]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.32	c 05:18:18.289 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19537. 'extension(x[20][39]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.32	c 05:18:18.289 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19551. 'extension(wk[26][2]=[0‥1]) :: init: true :: relation: Empty MDD
16.51/6.32	c 05:18:18.289 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19553. 'extension(x[19][26]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.32	c 05:18:18.290 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19559. 'extension(x[20][10]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.32	c 05:18:18.290 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19561. 'extension(x[22][10]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.32	c 05:18:18.291 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19575. 'extension(x[20][16]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.33	c 05:18:18.291 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19577. 'extension(x[22][16]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.33	c 05:18:18.292 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19591. 'extension(x[22][26]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.33	c 05:18:18.292 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19605. 'extension(x[21][8]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.33	c 05:18:18.293 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19607. 'extension(x[23][8]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.33	c 05:18:18.293 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19621. 'extension(x[21][9]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.33	c 05:18:18.293 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19623. 'extension(x[23][9]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.33	c 05:18:18.294 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19637. 'extension(x[21][13]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.33	c 05:18:18.294 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19643. 'extension(x[21][24]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.33	c 05:18:18.295 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19645. 'extension(x[23][24]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.33	c 05:18:18.295 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19659. 'extension(x[22][2]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.33	c 05:18:18.296 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19665. 'extension(x[24][13]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.33	c 05:18:18.297 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19679. 'extension(x[22][23]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.33	c 05:18:18.297 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19681. 'extension(x[24][23]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.33	c 05:18:18.298 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19695. 'extension(x[22][29]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.33	c 05:18:18.298 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19697. 'extension(x[24][29]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.33	c 05:18:18.298 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19711. 'extension(x[22][37]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.33	c 05:18:18.299 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19713. 'extension(x[24][37]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.33	c 05:18:18.299 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19727. 'extension(x[25][2]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.33	c 05:18:18.300 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19741. 'extension(x[23][16]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.33	c 05:18:18.300 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19743. 'extension(x[25][16]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.34	c 05:18:18.301 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19757. 'extension(x[24][27]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.34	c 05:18:18.301 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19763. 'extension(wk[22][3]=[0‥1]) :: init: true :: relation: Empty MDD
16.51/6.34	c 05:18:18.301 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19765. 'extension(x[25][22]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.34	c 05:18:18.302 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19767. 'extension(x[27][22]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.34	c 05:18:18.302 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19779. 'extension(wk[27][3]=[0‥1]) :: init: true :: relation: Empty MDD
16.51/6.34	c 05:18:18.302 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19781. 'extension(x[27][27]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.34	c 05:18:18.303 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19793. 'extension(wk[34][3]=[0‥1]) :: init: true :: relation: Empty MDD
16.51/6.34	c 05:18:18.303 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19795. 'extension(x[25][34]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.34	c 05:18:18.303 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19801. 'extension(wk[9][3]=[0‥1]) :: init: true :: relation: Empty MDD
16.51/6.34	c 05:18:18.304 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19803. 'extension(x[26][9]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.34	c 05:18:18.304 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19805. 'extension(x[26][9]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.34	c 05:18:18.304 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19811. 'extension(wk[23][3]=[0‥1]) :: init: true :: relation: Empty MDD
16.51/6.34	c 05:18:18.304 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19813. 'extension(x[26][23]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.34	c 05:18:18.305 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19815. 'extension(x[26][23]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.34	c 05:18:18.305 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19821. 'extension(wk[28][3]=[0‥1]) :: init: true :: relation: Empty MDD
16.51/6.34	c 05:18:18.305 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19823. 'extension(x[26][28]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.34	c 05:18:18.305 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19825. 'extension(x[26][28]=[0‥5]) :: init: true :: relation: Empty MDD
16.51/6.34	c 05:18:18.306 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19831. 'extension(wk[34][3]=[0‥1]) :: init: true :: relation: Empty MDD
2520.03/2468.90	Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost
2520.03/2468.90		at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:24)
2520.03/2468.90		at concrete.heuristic.value.BestCost.$anonfun$select$2(BestCost.scala:53)
2520.03/2468.90		at bitvectors.SmallBitVector.filter(SmallBitVector.scala:142)
2520.03/2468.90		at bitvectors.SmallBitVector.filter(SmallBitVector.scala:5)
2520.03/2468.90		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:126)
2520.03/2468.90		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:8)
2520.03/2468.90		at concrete.heuristic.value.BestCost.select(BestCost.scala:53)
2520.03/2468.90		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
2520.03/2468.90		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103)
2520.03/2468.90		at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.03/2468.90		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
2520.03/2468.90		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103)
2520.03/2468.90		at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.03/2468.90		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
2520.03/2468.90		at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:109)
2520.03/2468.90		at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42)
2520.03/2468.90		at scala.Option.map(Option.scala:146)
2520.03/2468.90		at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40)
2520.03/2468.90		at concrete.MAC.mac(MAC.scala:203)
2520.03/2468.90		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.03/2468.90		at scala.util.Try$.apply(Try.scala:209)
2520.03/2468.90		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.03/2468.90		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.03/2468.90		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.03/2468.90		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.03/2468.90		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.03/2468.90		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.03/2468.90		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.03/2468.90		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.03/2468.90		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.03/2468.91		at concrete.MAC.oneRun(MAC.scala:253)
2520.03/2468.91		at concrete.MAC.nextSolution(MAC.scala:272)
2520.03/2468.91		at concrete.MAC.$anonfun$nextSolution$5(MAC.scala:336)
2520.03/2468.91		at concrete.ProblemState.map(ProblemState.scala:221)
2520.03/2468.91		at concrete.ProblemState.map(ProblemState.scala:204)
2520.03/2468.91		at concrete.MAC.nextSolution(MAC.scala:334)
2520.03/2468.91		at concrete.Solver.hasNext(Solver.scala:166)
2520.03/2468.91		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.03/2468.91		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.03/2468.91		at concrete.Solver.foreach(Solver.scala:68)
2520.03/2468.91		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.03/2468.91		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.03/2468.91		at scala.util.Success.map(Try.scala:209)
2520.03/2468.91		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.03/2468.91		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.03/2468.91		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.03/2468.91		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.03/2468.91		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.03/2468.91		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.03/2468.91		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.03/2468.91		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.03/2468.91		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.03/2468.91		at scala.collection.immutable.List.foreach(List.scala:389)
2520.03/2468.91		at scala.App.main(App.scala:76)
2520.03/2468.91		at scala.App.main$(App.scala:74)
2520.03/2468.91		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.03/2468.91		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.03/2468.91	s UNKNOWN

Verifier Data


Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304172-1534043891/watcher-4304172-1534043891 -o /tmp/evaluation-result-4304172-1534043891/solver-4304172-1534043891 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1534038702-32059 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1159715785 -superng HOME/instance-4304172-1534043891.xml 

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

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


[startup+0.100091 s]*
/proc/loadavg: 1.75 1.75 1.68 4/210 648
/proc/meminfo: memFree=13892644/32770624 swapFree=67108688/67108860
[pid=568] ppid=565 vsize=10005480 memory=16284 CPUtime=0.07 cores=1,3,5,7
/proc/568/stat : 568 (java) S 565 568 30627 0 -1 1077944320 4225 12983 0 0 0 0 5 2 20 0 6 0 221952350 10245611520 4071 33554432000 4194304 4196468 140735191079664 140735191062208 140610102206199 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
/proc/568/statm: 2501370 4071 1919 1 0 2489808 0
[pid=568/tid=644] ppid=565 vsize=10005480 memory=7022364594140610616 CPUtime=0.07 cores=1,3,5,7
/proc/568/task/644/stat : 644 (java) R 565 568 30627 0 -1 4202560 2191 12983 0 0 0 0 5 2 20 0 6 0 221952359 10245611520 4715 33554432000 4194304 4196468 140735191079664 140610074042960 140610087888725 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=645] ppid=565 vsize=10005480 memory=365 CPUtime=0.07 cores=1,3,5,7
/proc/568/task/645/stat : 645 (java) S 565 568 30627 0 -1 1077944384 1 12983 0 0 0 0 5 2 20 0 6 0 221952359 10245611520 4715 33554432000 4194304 4196468 140735191079664 140610106449040 140610102216405 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=646] ppid=565 vsize=10005480 memory=139919674154929 CPUtime=0.07 cores=1,3,5,7
/proc/568/task/646/stat : 646 (java) S 565 568 30627 0 -1 1077944384 1 12983 0 0 0 0 5 2 20 0 6 0 221952359 10245611520 4715 33554432000 4194304 4196468 140735191079664 140609987714064 140610102216405 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=647] ppid=565 vsize=10005480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/568/task/647/stat : 647 (java) S 565 568 30627 0 -1 1077944384 1 12983 0 0 0 0 5 2 20 0 6 0 221952359 10245611520 4715 33554432000 4194304 4196468 140735191079664 140609986661264 140610102216405 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=648] ppid=565 vsize=10005480 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/568/task/648/stat : 648 (java) S 565 568 30627 0 -1 1077944384 2 12983 0 0 0 0 5 2 20 0 6 0 221952359 10245611520 4715 33554432000 4194304 4196468 140735191079664 140609985608464 140610102216405 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16284 KiB

[startup+0.210561 s]*
/proc/loadavg: 1.75 1.75 1.68 3/219 657
/proc/meminfo: memFree=13869968/32770624 swapFree=67108688/67108860
[pid=568] ppid=565 vsize=10982744 memory=39804 CPUtime=0.24 cores=1,3,5,7
/proc/568/stat : 568 (java) S 565 568 30627 0 -1 1077944320 7209 12983 0 0 16 1 5 2 20 0 15 0 221952350 11246329856 9951 33554432000 4194304 4196468 140735191079664 140735191062208 140610102206199 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
/proc/568/statm: 2745686 9951 2957 1 0 2708109 0
[pid=568/tid=644] ppid=565 vsize=10982776 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/568/task/644/stat : 644 (java) R 565 568 30627 0 -1 4202560 4496 12983 0 0 11 1 5 2 20 0 15 0 221952359 11246362624 10743 33554432000 4194304 4196468 140735191079664 140610074031008 140610094923162 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=645] ppid=565 vsize=10983736 memory=365 CPUtime=0.07 cores=1,3,5,7
/proc/568/task/645/stat : 645 (java) S 565 568 30627 0 -1 1077944384 1 12983 0 0 0 0 5 2 20 0 15 0 221952359 11247345664 10743 33554432000 4194304 4196468 140735191079664 140610106449040 140610102216405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=646] ppid=565 vsize=10983736 memory=139919674154929 CPUtime=0.07 cores=1,3,5,7
/proc/568/task/646/stat : 646 (java) S 565 568 30627 0 -1 1077944384 1 12983 0 0 0 0 5 2 20 0 15 0 221952359 11247345664 10743 33554432000 4194304 4196468 140735191079664 140609987714064 140610102216405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=647] ppid=565 vsize=10983736 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/568/task/647/stat : 647 (java) S 565 568 30627 0 -1 1077944384 1 12983 0 0 0 0 5 2 20 0 15 0 221952359 11247345664 10743 33554432000 4194304 4196468 140735191079664 140609986661264 140610102216405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=648] ppid=565 vsize=10983736 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/568/task/648/stat : 648 (java) S 565 568 30627 0 -1 1077944384 2 12983 0 0 0 0 5 2 20 0 15 0 221952359 11247345664 10743 33554432000 4194304 4196468 140735191079664 140609985608464 140610102216405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=649] ppid=565 vsize=10983736 memory=139919672977024 CPUtime=0.07 cores=1,3,5,7
/proc/568/task/649/stat : 649 (java) S 565 568 30627 0 -1 1077944384 2 12983 0 0 0 0 5 2 20 0 15 0 221952361 11247345664 10809 33554432000 4194304 4196468 140735191079664 140609595226480 140610102217346 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=650] ppid=565 vsize=10983736 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/568/task/650/stat : 650 (java) S 565 568 30627 0 -1 1077944384 13 12983 0 0 0 0 5 2 20 0 15 0 221952361 11247345664 10809 33554432000 4194304 4196468 140735191079664 140608907764768 140610102216405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=651] ppid=565 vsize=10983736 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/568/task/651/stat : 651 (java) S 565 568 30627 0 -1 1077944384 21 12983 0 0 0 0 5 2 20 0 15 0 221952361 11247345664 10809 33554432000 4194304 4196468 140735191079664 140608840651632 140610102216405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=652] ppid=565 vsize=10983736 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/568/task/652/stat : 652 (java) S 565 568 30627 0 -1 1077944384 3 12983 0 0 0 0 5 2 20 0 15 0 221952364 11247345664 10809 33554432000 4194304 4196468 140735191079664 140608533256016 140610102224795 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=653] ppid=565 vsize=10983736 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/568/task/653/stat : 653 (java) S 565 568 30627 0 -1 1077944384 423 12983 0 0 1 0 5 2 20 0 15 0 221952364 11247345664 10875 33554432000 4194304 4196468 140735191079664 140609594174320 140610102217346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=654] ppid=565 vsize=10983736 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/568/task/654/stat : 654 (java) S 565 568 30627 0 -1 1077944384 179 12983 0 0 0 0 5 2 20 0 15 0 221952364 11247345664 10875 33554432000 4194304 4196468 140735191079664 140609593121520 140610102217346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=655] ppid=565 vsize=10983736 memory=139919672977024 CPUtime=0.1 cores=1,3,5,7
/proc/568/task/655/stat : 655 (java) S 565 568 30627 0 -1 1077944384 623 12983 0 0 3 0 5 2 20 0 15 0 221952364 11247345664 10875 33554432000 4194304 4196468 140735191079664 140609592068720 140610102217346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=656] ppid=565 vsize=10983736 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/568/task/656/stat : 656 (java) S 565 568 30627 0 -1 1077944384 3 12983 0 0 0 0 5 2 20 0 15 0 221952364 11247345664 10875 33554432000 4194304 4196468 140735191079664 140608102460128 140610102216405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=657] ppid=565 vsize=10983736 memory=139919672977024 CPUtime=0.07 cores=1,3,5,7
/proc/568/task/657/stat : 657 (java) S 565 568 30627 0 -1 1077944384 1 12983 0 0 0 0 5 2 20 0 15 0 221952365 11247345664 10941 33554432000 4194304 4196468 140735191079664 140609591016112 140610102217346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 39804 KiB

[startup+0.310327 s]*
/proc/loadavg: 1.75 1.75 1.68 3/219 657
/proc/meminfo: memFree=13858936/32770624 swapFree=67108688/67108860
[pid=568] ppid=565 vsize=10983192 memory=53244 CPUtime=0.38 cores=1,3,5,7
/proc/568/stat : 568 (java) S 565 568 30627 0 -1 1077944320 10425 12983 0 0 28 3 5 2 20 0 15 0 221952350 11246788608 13311 33554432000 4194304 4196468 140735191079664 140735191062208 140610102206199 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
/proc/568/statm: 2745798 13311 3076 1 0 2708109 0
[pid=568/tid=644] ppid=565 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/568/task/644/stat : 644 (java) R 565 568 30627 0 -1 4202560 6969 12983 0 0 19 2 5 2 20 0 15 0 221952359 11246788608 13353 33554432000 4194304 4196468 140735191079664 140610074018208 140610086286686 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=645] ppid=565 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/568/task/645/stat : 645 (java) S 565 568 30627 0 -1 1077944384 1 12983 0 0 0 0 5 2 20 0 15 0 221952359 11246788608 13353 33554432000 4194304 4196468 140735191079664 140610106449040 140610102216405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=646] ppid=565 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/568/task/646/stat : 646 (java) S 565 568 30627 0 -1 1077944384 1 12983 0 0 0 0 5 2 20 0 15 0 221952359 11246788608 13353 33554432000 4194304 4196468 140735191079664 140609987714064 140610102216405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=647] ppid=565 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/568/task/647/stat : 647 (java) S 565 568 30627 0 -1 1077944384 1 12983 0 0 0 0 5 2 20 0 15 0 221952359 11246788608 13353 33554432000 4194304 4196468 140735191079664 140609986661264 140610102216405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=648] ppid=565 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/568/task/648/stat : 648 (java) S 565 568 30627 0 -1 1077944384 2 12983 0 0 0 0 5 2 20 0 15 0 221952359 11246788608 13353 33554432000 4194304 4196468 140735191079664 140609985608464 140610102216405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=649] ppid=565 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/568/task/649/stat : 649 (java) S 565 568 30627 0 -1 1077944384 2 12983 0 0 0 0 5 2 20 0 15 0 221952361 11246788608 13353 33554432000 4194304 4196468 140735191079664 140609595226480 140610102217346 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=650] ppid=565 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/568/task/650/stat : 650 (java) S 565 568 30627 0 -1 1077944384 13 12983 0 0 0 0 5 2 20 0 15 0 221952361 11246788608 13353 33554432000 4194304 4196468 140735191079664 140608907764768 140610102216405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=651] ppid=565 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/568/task/651/stat : 651 (java) S 565 568 30627 0 -1 1077944384 21 12983 0 0 0 0 5 2 20 0 15 0 221952361 11246788608 13353 33554432000 4194304 4196468 140735191079664 140608840651632 140610102216405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=652] ppid=565 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/568/task/652/stat : 652 (java) S 565 568 30627 0 -1 1077944384 3 12983 0 0 0 0 5 2 20 0 15 0 221952364 11246788608 13353 33554432000 4194304 4196468 140735191079664 140608533256016 140610102224795 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=653] ppid=565 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/568/task/653/stat : 653 (java) S 565 568 30627 0 -1 1077944384 423 12983 0 0 1 0 5 2 20 0 15 0 221952364 11246788608 13353 33554432000 4194304 4196468 140735191079664 140609594174320 140610102217346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=654] ppid=565 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/568/task/654/stat : 654 (java) S 565 568 30627 0 -1 1077944384 180 12983 0 0 1 0 5 2 20 0 15 0 221952364 11246788608 13353 33554432000 4194304 4196468 140735191079664 140609593121520 140610102217346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=655] ppid=565 vsize=10983192 memory=139919672977024 CPUtime=0.11 cores=1,3,5,7
/proc/568/task/655/stat : 655 (java) S 565 568 30627 0 -1 1077944384 629 12983 0 0 4 0 5 2 20 0 15 0 221952364 11246788608 13353 33554432000 4194304 4196468 140735191079664 140609592068720 140610102217346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=656] ppid=565 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/568/task/656/stat : 656 (java) S 565 568 30627 0 -1 1077944384 3 12983 0 0 0 0 5 2 20 0 15 0 221952364 11246788608 13353 33554432000 4194304 4196468 140735191079664 140608102460128 140610102216405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=657] ppid=565 vsize=10983192 memory=139919672977024 CPUtime=0.07 cores=1,3,5,7
/proc/568/task/657/stat : 657 (java) S 565 568 30627 0 -1 1077944384 1 12983 0 0 0 0 5 2 20 0 15 0 221952365 11246788608 13353 33554432000 4194304 4196468 140735191079664 140609591016112 140610102217346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 53244 KiB

[startup+0.700694 s]
/proc/loadavg: 1.85 1.77 1.69 3/219 657
/proc/meminfo: memFree=13847524/32770624 swapFree=67108688/67108860
[pid=568] ppid=565 vsize=10983192 memory=86492 CPUtime=0.98 cores=1,3,5,7
/proc/568/stat : 568 (java) S 565 568 30627 0 -1 1077944320 16776 12983 0 0 87 4 5 2 20 0 15 0 221952350 11246788608 21623 33554432000 4194304 4196468 140735191079664 140735191062208 140610102206199 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
/proc/568/statm: 2745798 21623 3240 1 0 2708109 0
[pid=568/tid=644] ppid=565 vsize=10983192 memory=7013347533679520365 CPUtime=0.65 cores=1,3,5,7
/proc/568/task/644/stat : 644 (java) R 565 568 30627 0 -1 4202560 12229 12983 0 0 56 2 5 2 20 0 15 0 221952359 11246788608 21623 33554432000 4194304 4196468 140735191079664 140610074027024 140610087371847 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=645] ppid=565 vsize=10983192 memory=6083326602057371734 CPUtime=0.07 cores=1,3,5,7
/proc/568/task/645/stat : 645 (java) S 565 568 30627 0 -1 1077944384 1 12983 0 0 0 0 5 2 20 0 15 0 221952359 11246788608 21623 33554432000 4194304 4196468 140735191079664 140610106449040 140610102216405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=646] ppid=565 vsize=10983192 memory=1404 CPUtime=0.07 cores=1,3,5,7
/proc/568/task/646/stat : 646 (java) S 565 568 30627 0 -1 1077944384 1 12983 0 0 0 0 5 2 20 0 15 0 221952359 11246788608 21623 33554432000 4194304 4196468 140735191079664 140609987714064 140610102216405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=647] ppid=565 vsize=10983192 memory=2404 CPUtime=0.07 cores=1,3,5,7
/proc/568/task/647/stat : 647 (java) S 565 568 30627 0 -1 1077944384 1 12983 0 0 0 0 5 2 20 0 15 0 221952359 11246788608 21623 33554432000 4194304 4196468 140735191079664 140609986661264 140610102216405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=648] ppid=565 vsize=10983192 memory=6009316314409559907 CPUtime=0.07 cores=1,3,5,7
/proc/568/task/648/stat : 648 (java) S 565 568 30627 0 -1 1077944384 2 12983 0 0 0 0 5 2 20 0 15 0 221952359 11246788608 21623 33554432000 4194304 4196468 140735191079664 140609985608464 140610102216405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=649] ppid=565 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/568/task/649/stat : 649 (java) S 565 568 30627 0 -1 1077944384 5 12983 0 0 0 0 5 2 20 0 15 0 221952361 11246788608 21623 33554432000 4194304 4196468 140735191079664 140609595226480 140610102217346 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=650] ppid=565 vsize=10983192 memory=4944254877569356592 CPUtime=0.07 cores=1,3,5,7
/proc/568/task/650/stat : 650 (java) S 565 568 30627 0 -1 1077944384 13 12983 0 0 0 0 5 2 20 0 15 0 221952361 11246788608 21623 33554432000 4194304 4196468 140735191079664 140608907764768 140610102216405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=651] ppid=565 vsize=10983192 memory=3614789888072759642 CPUtime=0.07 cores=1,3,5,7
/proc/568/task/651/stat : 651 (java) S 565 568 30627 0 -1 1077944384 21 12983 0 0 0 0 5 2 20 0 15 0 221952361 11246788608 21623 33554432000 4194304 4196468 140735191079664 140608840651632 140610102216405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=652] ppid=565 vsize=10983192 memory=-7524353711322154662 CPUtime=0.07 cores=1,3,5,7
/proc/568/task/652/stat : 652 (java) S 565 568 30627 0 -1 1077944384 3 12983 0 0 0 0 5 2 20 0 15 0 221952364 11246788608 21623 33554432000 4194304 4196468 140735191079664 140608533256016 140610102224795 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=653] ppid=565 vsize=10983192 memory=5782674880105308224 CPUtime=0.14 cores=1,3,5,7
/proc/568/task/653/stat : 653 (java) S 565 568 30627 0 -1 1077944384 785 12983 0 0 7 0 5 2 20 0 15 0 221952364 11246788608 21623 33554432000 4194304 4196468 140735191079664 140609594174320 140610102217346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=654] ppid=565 vsize=10983192 memory=-6592860228303572950 CPUtime=0.17 cores=1,3,5,7
/proc/568/task/654/stat : 654 (java) S 565 568 30627 0 -1 1077944384 798 12983 0 0 10 0 5 2 20 0 15 0 221952364 11246788608 21623 33554432000 4194304 4196468 140735191079664 140609593121520 140610102217346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=655] ppid=565 vsize=10983192 memory=7742969266734009136 CPUtime=0.2 cores=1,3,5,7
/proc/568/task/655/stat : 655 (java) S 565 568 30627 0 -1 1077944384 717 12983 0 0 13 0 5 2 20 0 15 0 221952364 11246788608 21623 33554432000 4194304 4196468 140735191079664 140609592068720 140610102217346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=656] ppid=565 vsize=10983192 memory=170926128 CPUtime=0.07 cores=1,3,5,7
/proc/568/task/656/stat : 656 (java) S 565 568 30627 0 -1 1077944384 3 12983 0 0 0 0 5 2 20 0 15 0 221952364 11246788608 21623 33554432000 4194304 4196468 140735191079664 140608102460128 140610102216405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=657] ppid=565 vsize=10983192 memory=6935649255759568960 CPUtime=0.07 cores=1,3,5,7
/proc/568/task/657/stat : 657 (java) S 565 568 30627 0 -1 1077944384 1 12983 0 0 0 0 5 2 20 0 15 0 221952365 11246788608 21623 33554432000 4194304 4196468 140735191079664 140609591016112 140610102217346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 86492 KiB

[startup+1.50156 s]
/proc/loadavg: 1.85 1.77 1.69 5/219 657
/proc/meminfo: memFree=13801440/32770624 swapFree=67108688/67108860
[pid=568] ppid=565 vsize=10993996 memory=170832 CPUtime=3.19 cores=1,3,5,7
/proc/568/stat : 568 (java) S 565 568 30627 0 -1 1077944320 25560 12983 0 0 304 8 5 2 20 0 15 0 221952350 11257851904 42708 33554432000 4194304 4196468 140735191079664 140735191062208 140610102206199 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
/proc/568/statm: 2748499 42708 3450 1 0 2710157 0
[pid=568/tid=644] ppid=565 vsize=10993996 memory=7 CPUtime=1.44 cores=1,3,5,7
/proc/568/task/644/stat : 644 (java) R 565 568 30627 0 -1 4202560 15540 12983 0 0 132 5 5 2 20 0 15 0 221952359 11257851904 42708 33554432000 4194304 4196468 140735191079664 140610074038432 140610086286686 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=645] ppid=565 vsize=10993996 memory=1404 CPUtime=0.07 cores=1,3,5,7
/proc/568/task/645/stat : 645 (java) S 565 568 30627 0 -1 1077944384 1 12983 0 0 0 0 5 2 20 0 15 0 221952359 11257851904 42708 33554432000 4194304 4196468 140735191079664 140610106449040 140610102216405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=646] ppid=565 vsize=10993996 memory=2404 CPUtime=0.07 cores=1,3,5,7
/proc/568/task/646/stat : 646 (java) S 565 568 30627 0 -1 1077944384 1 12983 0 0 0 0 5 2 20 0 15 0 221952359 11257851904 42708 33554432000 4194304 4196468 140735191079664 140609987714064 140610102216405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=647] ppid=565 vsize=10993996 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/568/task/647/stat : 647 (java) S 565 568 30627 0 -1 1077944384 1 12983 0 0 0 0 5 2 20 0 15 0 221952359 11257851904 42708 33554432000 4194304 4196468 140735191079664 140609986661264 140610102216405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=648] ppid=565 vsize=10993996 memory=1224 CPUtime=0.07 cores=1,3,5,7
/proc/568/task/648/stat : 648 (java) S 565 568 30627 0 -1 1077944384 2 12983 0 0 0 0 5 2 20 0 15 0 221952359 11257851904 42708 33554432000 4194304 4196468 140735191079664 140609985608464 140610102216405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=649] ppid=565 vsize=10993996 memory=1792 CPUtime=0.07 cores=1,3,5,7
/proc/568/task/649/stat : 649 (java) S 565 568 30627 0 -1 1077944384 13 12983 0 0 0 0 5 2 20 0 15 0 221952361 11257851904 42708 33554432000 4194304 4196468 140735191079664 140609595226480 140610102217346 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=650] ppid=565 vsize=10993996 memory=1404 CPUtime=0.07 cores=1,3,5,7
/proc/568/task/650/stat : 650 (java) S 565 568 30627 0 -1 1077944384 13 12983 0 0 0 0 5 2 20 0 15 0 221952361 11257851904 42708 33554432000 4194304 4196468 140735191079664 140608907764768 140610102216405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=651] ppid=565 vsize=10993996 memory=2432 CPUtime=0.07 cores=1,3,5,7
/proc/568/task/651/stat : 651 (java) S 565 568 30627 0 -1 1077944384 21 12983 0 0 0 0 5 2 20 0 15 0 221952361 11257851904 42708 33554432000 4194304 4196468 140735191079664 140608840651632 140610102216405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=652] ppid=565 vsize=10993996 memory=110492 CPUtime=0.07 cores=1,3,5,7
/proc/568/task/652/stat : 652 (java) S 565 568 30627 0 -1 1077944384 3 12983 0 0 0 0 5 2 20 0 15 0 221952364 11257851904 42708 33554432000 4194304 4196468 140735191079664 140608533256016 140610102224795 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=653] ppid=565 vsize=10993996 memory=876 CPUtime=0.67 cores=1,3,5,7
/proc/568/task/653/stat : 653 (java) R 565 568 30627 0 -1 4202560 3051 12983 0 0 60 0 5 2 20 0 15 0 221952364 11257851904 42708 33554432000 4194304 4196468 140735191079664 140609594170656 140610085702979 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=654] ppid=565 vsize=10993996 memory=5344 CPUtime=0.67 cores=1,3,5,7
/proc/568/task/654/stat : 654 (java) R 565 568 30627 0 -1 4202560 2672 12983 0 0 60 0 5 2 20 0 15 0 221952364 11257851904 42708 33554432000 4194304 4196468 140735191079664 140609593108048 140610083726293 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=655] ppid=565 vsize=10993996 memory=756 CPUtime=0.58 cores=1,3,5,7
/proc/568/task/655/stat : 655 (java) S 565 568 30627 0 -1 1077944384 2042 12983 0 0 50 1 5 2 20 0 15 0 221952364 11257851904 42708 33554432000 4194304 4196468 140735191079664 140609592068720 140610102217346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=656] ppid=565 vsize=10993996 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/568/task/656/stat : 656 (java) S 565 568 30627 0 -1 1077944384 3 12983 0 0 0 0 5 2 20 0 15 0 221952364 11257851904 42708 33554432000 4194304 4196468 140735191079664 140608102460128 140610102216405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=657] ppid=565 vsize=10993996 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/568/task/657/stat : 657 (java) S 565 568 30627 0 -1 1077944384 1 12983 0 0 0 0 5 2 20 0 15 0 221952365 11257851904 42708 33554432000 4194304 4196468 140735191079664 140609591016112 140610102217346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
Current children cumulated CPU time: 3.19 s
Current children cumulated vsize: 10993996 KiB

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

/proc/568/task/644/stat : 644 (java) R 565 568 30627 0 -1 4202560 213217 12983 0 0 237463 60 5 2 20 0 15 0 221952359 11348049920 754585 33554432000 4194304 4196468 140735191079664 140610074040848 140609689110050 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=645] ppid=565 vsize=11082080 memory=3018340 CPUtime=6.16 cores=1,3,5,7
/proc/568/task/645/stat : 645 (java) S 565 568 30627 0 -1 1077944384 32207 12983 0 0 535 74 5 2 20 0 15 0 221952359 11348049920 754585 33554432000 4194304 4196468 140735191079664 140610106449040 140610102216405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=646] ppid=565 vsize=11082080 memory=3018328 CPUtime=6.22 cores=1,3,5,7
/proc/568/task/646/stat : 646 (java) S 565 568 30627 0 -1 1077944384 30845 12983 0 0 541 74 5 2 20 0 15 0 221952359 11348049920 754585 33554432000 4194304 4196468 140735191079664 140609987714064 140610102216405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=647] ppid=565 vsize=11082080 memory=3018328 CPUtime=6.22 cores=1,3,5,7
/proc/568/task/647/stat : 647 (java) S 565 568 30627 0 -1 1077944384 32294 12983 0 0 540 75 5 2 20 0 15 0 221952359 11348049920 754585 33554432000 4194304 4196468 140735191079664 140609986661264 140610102216405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=648] ppid=565 vsize=11082080 memory=3018328 CPUtime=6.2 cores=1,3,5,7
/proc/568/task/648/stat : 648 (java) S 565 568 30627 0 -1 1077944384 35498 12983 0 0 538 75 5 2 20 0 15 0 221952359 11348049920 754585 33554432000 4194304 4196468 140735191079664 140609985608464 140610102216405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=649] ppid=565 vsize=11082080 memory=3018340 CPUtime=0.61 cores=1,3,5,7
/proc/568/task/649/stat : 649 (java) S 565 568 30627 0 -1 1077944384 25552 12983 0 0 46 8 5 2 20 0 15 0 221952361 11348049920 754585 33554432000 4194304 4196468 140735191079664 140609595226480 140610102217346 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=650] ppid=565 vsize=11082080 memory=3018340 CPUtime=0.07 cores=1,3,5,7
/proc/568/task/650/stat : 650 (java) S 565 568 30627 0 -1 1077944384 19 12983 0 0 0 0 5 2 20 0 15 0 221952361 11348049920 754585 33554432000 4194304 4196468 140735191079664 140608907764832 140610102216405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=651] ppid=565 vsize=11082080 memory=3018340 CPUtime=0.07 cores=1,3,5,7
/proc/568/task/651/stat : 651 (java) S 565 568 30627 0 -1 1077944384 55 12983 0 0 0 0 5 2 20 0 15 0 221952361 11348049920 754585 33554432000 4194304 4196468 140735191079664 140608840651648 140610102216405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=652] ppid=565 vsize=11082080 memory=3018340 CPUtime=0.07 cores=1,3,5,7
/proc/568/task/652/stat : 652 (java) S 565 568 30627 0 -1 1077944384 3 12983 0 0 0 0 5 2 20 0 15 0 221952364 11348049920 754585 33554432000 4194304 4196468 140735191079664 140608533256016 140610102224795 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=653] ppid=565 vsize=11082080 memory=1224 CPUtime=13.42 cores=1,3,5,7
/proc/568/task/653/stat : 653 (java) S 565 568 30627 0 -1 1077944384 83106 12983 0 0 1326 9 5 2 20 0 15 0 221952364 11348049920 754585 33554432000 4194304 4196468 140735191079664 140609594174320 140610102217346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=654] ppid=565 vsize=11082080 memory=1616 CPUtime=12.78 cores=1,3,5,7
/proc/568/task/654/stat : 654 (java) S 565 568 30627 0 -1 1077944384 86585 12983 0 0 1260 11 5 2 20 0 15 0 221952364 11348049920 754585 33554432000 4194304 4196468 140735191079664 140609593121520 140610102217346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=655] ppid=565 vsize=11082080 memory=3018340 CPUtime=4.99 cores=1,3,5,7
/proc/568/task/655/stat : 655 (java) S 565 568 30627 0 -1 1077944384 69837 12983 0 0 480 12 5 2 20 0 15 0 221952364 11348049920 754585 33554432000 4194304 4196468 140735191079664 140609592068720 140610102217346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=656] ppid=565 vsize=11082080 memory=3018340 CPUtime=0.07 cores=1,3,5,7
/proc/568/task/656/stat : 656 (java) S 565 568 30627 0 -1 1077944384 3 12983 0 0 0 0 5 2 20 0 15 0 221952364 11348049920 754585 33554432000 4194304 4196468 140735191079664 140608102460128 140610102216405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=657] ppid=565 vsize=11082080 memory=3018340 CPUtime=1.33 cores=1,3,5,7
/proc/568/task/657/stat : 657 (java) S 565 568 30627 0 -1 1077944384 2364 12983 0 0 58 68 5 2 20 0 15 0 221952365 11348049920 754585 33554432000 4194304 4196468 140735191079664 140609591016112 140610102217346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
Current children cumulated CPU time: 2432.7 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 3018340 KiB

[startup+2442.3 s]
/proc/loadavg: 1.66 1.74 1.76 3/218 1010
/proc/meminfo: memFree=13275320/32770624 swapFree=67108688/67108860
[pid=568] ppid=565 vsize=11082080 memory=2998860 CPUtime=2493.2 cores=1,3,5,7
/proc/568/stat : 568 (java) S 565 568 30627 0 -1 1077944320 624763 12983 0 0 248857 456 5 2 20 0 15 0 221952350 11348049920 749715 33554432000 4194304 4196468 140735191079664 140735191062208 140610102206199 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
/proc/568/statm: 2770520 749715 3538 1 0 2732173 0
[pid=568/tid=644] ppid=565 vsize=11082080 memory=3000400 CPUtime=2435.07 cores=1,3,5,7
/proc/568/task/644/stat : 644 (java) R 565 568 30627 0 -1 4202560 216237 12983 0 0 243440 60 5 2 20 0 15 0 221952359 11348049920 749715 33554432000 4194304 4196468 140735191079664 140610074040576 140609688749460 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=645] ppid=565 vsize=11082080 memory=3021920 CPUtime=6.32 cores=1,3,5,7
/proc/568/task/645/stat : 645 (java) S 565 568 30627 0 -1 1077944384 33958 12983 0 0 551 74 5 2 20 0 15 0 221952359 11348049920 749715 33554432000 4194304 4196468 140735191079664 140610106449040 140610102216405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=646] ppid=565 vsize=11082080 memory=3015764 CPUtime=6.37 cores=1,3,5,7
/proc/568/task/646/stat : 646 (java) S 565 568 30627 0 -1 1077944384 31931 12983 0 0 556 74 5 2 20 0 15 0 221952359 11348049920 749715 33554432000 4194304 4196468 140735191079664 140609987714064 140610102216405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=647] ppid=565 vsize=11082080 memory=3003992 CPUtime=6.38 cores=1,3,5,7
/proc/568/task/647/stat : 647 (java) S 565 568 30627 0 -1 1077944384 33800 12983 0 0 556 75 5 2 20 0 15 0 221952359 11348049920 749715 33554432000 4194304 4196468 140735191079664 140609986661264 140610102216405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=648] ppid=565 vsize=11082080 memory=3001940 CPUtime=6.37 cores=1,3,5,7
/proc/568/task/648/stat : 648 (java) S 565 568 30627 0 -1 1077944384 36615 12983 0 0 554 76 5 2 20 0 15 0 221952359 11348049920 749715 33554432000 4194304 4196468 140735191079664 140609985608464 140610102216405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=649] ppid=565 vsize=11082080 memory=3003992 CPUtime=0.65 cores=1,3,5,7
/proc/568/task/649/stat : 649 (java) S 565 568 30627 0 -1 1077944384 26275 12983 0 0 49 9 5 2 20 0 15 0 221952361 11348049920 749715 33554432000 4194304 4196468 140735191079664 140609595226480 140610102217346 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=650] ppid=565 vsize=11082080 memory=3000400 CPUtime=0.07 cores=1,3,5,7
/proc/568/task/650/stat : 650 (java) S 565 568 30627 0 -1 1077944384 19 12983 0 0 0 0 5 2 20 0 15 0 221952361 11348049920 749715 33554432000 4194304 4196468 140735191079664 140608907764832 140610102216405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=651] ppid=565 vsize=11082080 memory=3001940 CPUtime=0.07 cores=1,3,5,7
/proc/568/task/651/stat : 651 (java) S 565 568 30627 0 -1 1077944384 55 12983 0 0 0 0 5 2 20 0 15 0 221952361 11348049920 749715 33554432000 4194304 4196468 140735191079664 140608840651648 140610102216405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=652] ppid=565 vsize=11082080 memory=2998860 CPUtime=0.07 cores=1,3,5,7
/proc/568/task/652/stat : 652 (java) S 565 568 30627 0 -1 1077944384 3 12983 0 0 0 0 5 2 20 0 15 0 221952364 11348049920 749715 33554432000 4194304 4196468 140735191079664 140608533256016 140610102224795 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=653] ppid=565 vsize=11082080 memory=3001940 CPUtime=13.42 cores=1,3,5,7
/proc/568/task/653/stat : 653 (java) S 565 568 30627 0 -1 1077944384 83111 12983 0 0 1326 9 5 2 20 0 15 0 221952364 11348049920 749715 33554432000 4194304 4196468 140735191079664 140609594174320 140610102217346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=654] ppid=565 vsize=11082080 memory=3000400 CPUtime=12.78 cores=1,3,5,7
/proc/568/task/654/stat : 654 (java) S 565 568 30627 0 -1 1077944384 86590 12983 0 0 1260 11 5 2 20 0 15 0 221952364 11348049920 749715 33554432000 4194304 4196468 140735191079664 140609593121520 140610102217346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=655] ppid=565 vsize=11082080 memory=3000400 CPUtime=5 cores=1,3,5,7
/proc/568/task/655/stat : 655 (java) S 565 568 30627 0 -1 1077944384 71562 12983 0 0 481 12 5 2 20 0 15 0 221952364 11348049920 749715 33554432000 4194304 4196468 140735191079664 140609592068720 140610102217346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=656] ppid=565 vsize=11082080 memory=3001940 CPUtime=0.07 cores=1,3,5,7
/proc/568/task/656/stat : 656 (java) S 565 568 30627 0 -1 1077944384 3 12983 0 0 0 0 5 2 20 0 15 0 221952364 11348049920 749715 33554432000 4194304 4196468 140735191079664 140608102460128 140610102216405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=657] ppid=565 vsize=11082080 memory=3000400 CPUtime=1.36 cores=1,3,5,7
/proc/568/task/657/stat : 657 (java) S 565 568 30627 0 -1 1077944384 2408 12983 0 0 59 70 5 2 20 0 15 0 221952365 11348049920 749715 33554432000 4194304 4196468 140735191079664 140609591016112 140610102217346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
Current children cumulated CPU time: 2493.2 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 2998860 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2468.9 s]
/proc/loadavg: 1.57 1.72 1.76 3/218 1010
/proc/meminfo: memFree=13460968/32770624 swapFree=67108688/67108860
[pid=568] ppid=565 vsize=11082080 memory=2989636 CPUtime=2520.03 cores=1,3,5,7
/proc/568/stat : 568 (java) S 565 568 30627 0 -1 1077944320 629538 12983 0 0 251538 458 5 2 20 0 15 0 221952350 11348049920 747409 33554432000 4194304 4196468 140735191079664 140735191062208 140610102206199 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
/proc/568/statm: 2770520 747409 3538 1 0 2732173 0
[pid=568/tid=644] ppid=565 vsize=11082080 memory=2989636 CPUtime=2461.57 cores=1,3,5,7
/proc/568/task/644/stat : 644 (java) R 565 568 30627 0 -1 4202560 217572 12983 0 0 246090 60 5 2 20 0 15 0 221952359 11348049920 747409 33554432000 4194304 4196468 140735191079664 140610074040432 140609690775861 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=645] ppid=565 vsize=11082080 memory=2990148 CPUtime=6.39 cores=1,3,5,7
/proc/568/task/645/stat : 645 (java) S 565 568 30627 0 -1 1077944384 35306 12983 0 0 558 74 5 2 20 0 15 0 221952359 11348049920 747409 33554432000 4194304 4196468 140735191079664 140610106449040 140610102216405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=646] ppid=565 vsize=11082080 memory=2989636 CPUtime=6.45 cores=1,3,5,7
/proc/568/task/646/stat : 646 (java) S 565 568 30627 0 -1 1077944384 32218 12983 0 0 564 74 5 2 20 0 15 0 221952359 11348049920 747409 33554432000 4194304 4196468 140735191079664 140609987714064 140610102216405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=647] ppid=565 vsize=11082080 memory=2990148 CPUtime=6.45 cores=1,3,5,7
/proc/568/task/647/stat : 647 (java) S 565 568 30627 0 -1 1077944384 35064 12983 0 0 563 75 5 2 20 0 15 0 221952359 11348049920 747409 33554432000 4194304 4196468 140735191079664 140609986661264 140610102216405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=648] ppid=565 vsize=11082080 memory=1224 CPUtime=6.44 cores=1,3,5,7
/proc/568/task/648/stat : 648 (java) S 565 568 30627 0 -1 1077944384 36763 12983 0 0 561 76 5 2 20 0 15 0 221952359 11348049920 747409 33554432000 4194304 4196468 140735191079664 140609985608464 140610102216405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=649] ppid=565 vsize=11082080 memory=1224 CPUtime=0.67 cores=1,3,5,7
/proc/568/task/649/stat : 649 (java) S 565 568 30627 0 -1 1077944384 26640 12983 0 0 50 10 5 2 20 0 15 0 221952361 11348049920 747409 33554432000 4194304 4196468 140735191079664 140609595226480 140610102217346 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=650] ppid=565 vsize=11082080 memory=1792 CPUtime=0.07 cores=1,3,5,7
/proc/568/task/650/stat : 650 (java) S 565 568 30627 0 -1 1077944384 19 12983 0 0 0 0 5 2 20 0 15 0 221952361 11348049920 747409 33554432000 4194304 4196468 140735191079664 140608907764832 140610102216405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=651] ppid=565 vsize=11082080 memory=3006044 CPUtime=0.07 cores=1,3,5,7
/proc/568/task/651/stat : 651 (java) S 565 568 30627 0 -1 1077944384 55 12983 0 0 0 0 5 2 20 0 15 0 221952361 11348049920 747409 33554432000 4194304 4196468 140735191079664 140608840651648 140610102216405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=652] ppid=565 vsize=11082080 memory=60516 CPUtime=0.07 cores=1,3,5,7
/proc/568/task/652/stat : 652 (java) S 565 568 30627 0 -1 1077944384 3 12983 0 0 0 0 5 2 20 0 15 0 221952364 11348049920 747409 33554432000 4194304 4196468 140735191079664 140608533256016 140610102224795 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=653] ppid=565 vsize=11082080 memory=2990660 CPUtime=13.42 cores=1,3,5,7
/proc/568/task/653/stat : 653 (java) S 565 568 30627 0 -1 1077944384 83113 12983 0 0 1326 9 5 2 20 0 15 0 221952364 11348049920 747409 33554432000 4194304 4196468 140735191079664 140609594174320 140610102217346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=654] ppid=565 vsize=11082080 memory=1224 CPUtime=12.78 cores=1,3,5,7
/proc/568/task/654/stat : 654 (java) S 565 568 30627 0 -1 1077944384 86593 12983 0 0 1260 11 5 2 20 0 15 0 221952364 11348049920 747409 33554432000 4194304 4196468 140735191079664 140609593121520 140610102217346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=655] ppid=565 vsize=11082080 memory=2990148 CPUtime=5 cores=1,3,5,7
/proc/568/task/655/stat : 655 (java) S 565 568 30627 0 -1 1077944384 71565 12983 0 0 481 12 5 2 20 0 15 0 221952364 11348049920 747409 33554432000 4194304 4196468 140735191079664 140609592068720 140610102217346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=656] ppid=565 vsize=11082080 memory=16348 CPUtime=0.07 cores=1,3,5,7
/proc/568/task/656/stat : 656 (java) S 565 568 30627 0 -1 1077944384 3 12983 0 0 0 0 5 2 20 0 15 0 221952364 11348049920 747409 33554432000 4194304 4196468 140735191079664 140608102460128 140610102216405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=657] ppid=565 vsize=11082080 memory=1408 CPUtime=1.37 cores=1,3,5,7
/proc/568/task/657/stat : 657 (java) S 565 568 30627 0 -1 1077944384 2428 12983 0 0 60 70 5 2 20 0 15 0 221952365 11348049920 747409 33554432000 4194304 4196468 140735191079664 140609591016112 140610102217346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 2989636 KiB

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

[startup+2468.94 s]
# the end of solver process 568 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2515.45 s, system=4.63849 s

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

[startup+2468.9 s]
/proc/loadavg: 1.57 1.72 1.76 3/218 1010
/proc/meminfo: memFree=13460968/32770624 swapFree=67108688/67108860
[pid=568] ppid=565 vsize=11082080 memory=2989636 CPUtime=2520.03 cores=1,3,5,7
/proc/568/stat : 568 (java) S 565 568 30627 0 -1 1077944320 629538 12983 0 0 251538 458 5 2 20 0 15 0 221952350 11348049920 747409 33554432000 4194304 4196468 140735191079664 140735191062208 140610102206199 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
/proc/568/statm: 2770520 747409 3538 1 0 2732173 0
[pid=568/tid=644] ppid=565 vsize=11082080 memory=2989636 CPUtime=2461.57 cores=1,3,5,7
/proc/568/task/644/stat : 644 (java) R 565 568 30627 0 -1 4202560 217572 12983 0 0 246090 60 5 2 20 0 15 0 221952359 11348049920 747409 33554432000 4194304 4196468 140735191079664 140610074040432 140609690775861 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=645] ppid=565 vsize=11082080 memory=2990148 CPUtime=6.39 cores=1,3,5,7
/proc/568/task/645/stat : 645 (java) S 565 568 30627 0 -1 1077944384 35306 12983 0 0 558 74 5 2 20 0 15 0 221952359 11348049920 747409 33554432000 4194304 4196468 140735191079664 140610106449040 140610102216405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=646] ppid=565 vsize=11082080 memory=2989636 CPUtime=6.45 cores=1,3,5,7
/proc/568/task/646/stat : 646 (java) S 565 568 30627 0 -1 1077944384 32218 12983 0 0 564 74 5 2 20 0 15 0 221952359 11348049920 747409 33554432000 4194304 4196468 140735191079664 140609987714064 140610102216405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=647] ppid=565 vsize=11082080 memory=2990148 CPUtime=6.45 cores=1,3,5,7
/proc/568/task/647/stat : 647 (java) S 565 568 30627 0 -1 1077944384 35064 12983 0 0 563 75 5 2 20 0 15 0 221952359 11348049920 747409 33554432000 4194304 4196468 140735191079664 140609986661264 140610102216405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=648] ppid=565 vsize=11082080 memory=1224 CPUtime=6.44 cores=1,3,5,7
/proc/568/task/648/stat : 648 (java) S 565 568 30627 0 -1 1077944384 36763 12983 0 0 561 76 5 2 20 0 15 0 221952359 11348049920 747409 33554432000 4194304 4196468 140735191079664 140609985608464 140610102216405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=649] ppid=565 vsize=11082080 memory=1224 CPUtime=0.67 cores=1,3,5,7
/proc/568/task/649/stat : 649 (java) S 565 568 30627 0 -1 1077944384 26640 12983 0 0 50 10 5 2 20 0 15 0 221952361 11348049920 747409 33554432000 4194304 4196468 140735191079664 140609595226480 140610102217346 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=650] ppid=565 vsize=11082080 memory=1792 CPUtime=0.07 cores=1,3,5,7
/proc/568/task/650/stat : 650 (java) S 565 568 30627 0 -1 1077944384 19 12983 0 0 0 0 5 2 20 0 15 0 221952361 11348049920 747409 33554432000 4194304 4196468 140735191079664 140608907764832 140610102216405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=651] ppid=565 vsize=11082080 memory=3006044 CPUtime=0.07 cores=1,3,5,7
/proc/568/task/651/stat : 651 (java) S 565 568 30627 0 -1 1077944384 55 12983 0 0 0 0 5 2 20 0 15 0 221952361 11348049920 747409 33554432000 4194304 4196468 140735191079664 140608840651648 140610102216405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=652] ppid=565 vsize=11082080 memory=60516 CPUtime=0.07 cores=1,3,5,7
/proc/568/task/652/stat : 652 (java) S 565 568 30627 0 -1 1077944384 3 12983 0 0 0 0 5 2 20 0 15 0 221952364 11348049920 747409 33554432000 4194304 4196468 140735191079664 140608533256016 140610102224795 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=653] ppid=565 vsize=11082080 memory=2990660 CPUtime=13.42 cores=1,3,5,7
/proc/568/task/653/stat : 653 (java) S 565 568 30627 0 -1 1077944384 83113 12983 0 0 1326 9 5 2 20 0 15 0 221952364 11348049920 747409 33554432000 4194304 4196468 140735191079664 140609594174320 140610102217346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=654] ppid=565 vsize=11082080 memory=1224 CPUtime=12.78 cores=1,3,5,7
/proc/568/task/654/stat : 654 (java) S 565 568 30627 0 -1 1077944384 86593 12983 0 0 1260 11 5 2 20 0 15 0 221952364 11348049920 747409 33554432000 4194304 4196468 140735191079664 140609593121520 140610102217346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=655] ppid=565 vsize=11082080 memory=2990148 CPUtime=5 cores=1,3,5,7
/proc/568/task/655/stat : 655 (java) S 565 568 30627 0 -1 1077944384 71565 12983 0 0 481 12 5 2 20 0 15 0 221952364 11348049920 747409 33554432000 4194304 4196468 140735191079664 140609592068720 140610102217346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=656] ppid=565 vsize=11082080 memory=16348 CPUtime=0.07 cores=1,3,5,7
/proc/568/task/656/stat : 656 (java) S 565 568 30627 0 -1 1077944384 3 12983 0 0 0 0 5 2 20 0 15 0 221952364 11348049920 747409 33554432000 4194304 4196468 140735191079664 140608102460128 140610102216405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
[pid=568/tid=657] ppid=565 vsize=11082080 memory=1408 CPUtime=1.37 cores=1,3,5,7
/proc/568/task/657/stat : 657 (java) S 565 568 30627 0 -1 1077944384 2428 12983 0 0 60 70 5 2 20 0 15 0 221952365 11348049920 747409 33554432000 4194304 4196468 140735191079664 140609591016112 140610102217346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7901184 140735191083619 140735191086428 140735191086428 140735191089103 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 2989636 KiB

Child status: 143
Real time (s): 2468.94
CPU time (s): 2520.09
CPU user time (s): 2515.45
CPU system time (s): 4.63849
CPU usage (%): 102.072
Max. virtual memory (cumulated for all children) (KiB): 11083788
Max. memory (cumulated for all children) (KiB): 3476380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.45
system time used= 4.63849
maximum resident set size= 3476380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 647174
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 77344
involuntary context switches= 2340


# summary of solver processes directly reported to runsolver:
#   pid: 568
#   total CPU time (s): 2520.09
#   total CPU user time (s): 2515.45
#   total CPU system time (s): 4.63849

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.3291 second user time and 22.8898 second system time

The end

Launcher Data 

Begin job on node134 at 2018-08-12 05:18:11
IDJOB=4304172
IDBENCH=141049
IDSOLVER=2781
FILE ID=node134/4304172-1534043891
RUNJOBID= node134-1534038702-32059
PBS_JOBID= 21036961
Free space on /tmp= 42288 MiB

SOLVER NAME= Concrete 3.9.2-SuperNG
BENCH NAME= XCSP18/NurseRostering/NurseRostering-10_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED -superng BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4304172-1534043891/watcher-4304172-1534043891 -o /tmp/evaluation-result-4304172-1534043891/solver-4304172-1534043891 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1534038702-32059 --watchdog 2580  bin/xcsp-3-concrete -J-Xss64M -randomseed=1159715785 -superng HOME/instance-4304172-1534043891.xml

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

MD5SUM BENCH= 8e8c57bbf90dbce08cf7a3cf301ec8dd
RANDOM SEED=1159715785

node134.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.68
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.68
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.68
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.68
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:        13898580 kB
MemAvailable:   27525784 kB
Buffers:          180328 kB
Cached:         13594192 kB
SwapCached:           52 kB
Active:          8879472 kB
Inactive:        9321808 kB
Active(anon):    4375940 kB
Inactive(anon):   103128 kB
Active(file):    4503532 kB
Inactive(file):  9218680 kB
Unevictable:        7392 kB
Mlocked:            7392 kB
SwapTotal:      67108860 kB
SwapFree:       67108688 kB
Dirty:             26824 kB
Writeback:             0 kB
AnonPages:       4434268 kB
Mapped:            67056 kB
Shmem:             49652 kB
Slab:             362012 kB
SReclaimable:     333452 kB
SUnreclaim:        28560 kB
KernelStack:        3616 kB
PageTables:        14128 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    5978048 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4175872 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 42260 MiB
End job on node134 at 2018-08-12 05:59:20