Trace number 4302779

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.9.2-SuperNG? (TO) 252.147 221.153

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 benchmark11310
Best CPU time to get the best result obtained on this benchmark252.088
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
16.20/6.17	c 21:53:38.014 [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
16.20/6.17	c 21:53:38.018 [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
16.20/6.18	c 21:53:38.023 [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
16.20/6.18	c 21:53:38.023 [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
16.20/6.18	c 21:53:38.025 [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
16.20/6.18	c 21:53:38.026 [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
16.20/6.18	c 21:53:38.028 [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
16.20/6.18	c 21:53:38.029 [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
16.20/6.18	c 21:53:38.029 [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
16.20/6.19	c 21:53:38.032 [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
16.20/6.19	c 21:53:38.033 [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
16.20/6.19	c 21:53:38.034 [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
16.20/6.19	c 21:53:38.036 [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
16.20/6.19	c 21:53:38.037 [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
16.20/6.19	c 21:53:38.039 [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
16.20/6.20	c 21:53:38.040 [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
16.20/6.20	c 21:53:38.043 [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
16.49/6.20	c 21:53:38.043 [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
16.49/6.20	c 21:53:38.045 [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
16.49/6.20	c 21:53:38.046 [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
16.49/6.20	c 21:53:38.048 [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
16.49/6.20	c 21:53:38.049 [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
16.49/6.21	c 21:53:38.051 [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
16.49/6.21	c 21:53:38.052 [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
16.49/6.21	c 21:53:38.053 [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
16.49/6.21	c 21:53:38.055 [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
16.49/6.21	c 21:53:38.055 [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
16.49/6.21	c 21:53:38.058 [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
16.49/6.21	c 21:53:38.059 [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
16.49/6.21	c 21:53:38.061 [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
16.49/6.22	c 21:53:38.062 [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
16.49/6.22	c 21:53:38.063 [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
16.49/6.22	c 21:53:38.063 [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
16.49/6.22	c 21:53:38.065 [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
16.49/6.22	c 21:53:38.066 [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
16.49/6.22	c 21:53:38.066 [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
16.49/6.22	c 21:53:38.068 [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
16.49/6.22	c 21:53:38.069 [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
16.49/6.22	c 21:53:38.069 [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
16.49/6.23	c 21:53:38.071 [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
16.49/6.23	c 21:53:38.072 [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
16.49/6.23	c 21:53:38.074 [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
16.49/6.23	c 21:53:38.074 [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
16.49/6.23	c 21:53:38.076 [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
16.49/6.23	c 21:53:38.077 [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
16.49/6.23	c 21:53:38.079 [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
16.49/6.23	c 21:53:38.080 [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
16.49/6.24	c 21:53:38.080 [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
16.49/6.24	c 21:53:38.082 [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
16.49/6.24	c 21:53:38.083 [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
16.49/6.24	c 21:53:38.085 [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
16.49/6.24	c 21:53:38.086 [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
16.49/6.24	c 21:53:38.088 [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
16.49/6.24	c 21:53:38.088 [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
16.49/6.24	c 21:53:38.090 [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
16.49/6.24	c 21:53:38.091 [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
16.49/6.25	c 21:53:38.092 [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
16.49/6.25	c 21:53:38.094 [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
16.49/6.25	c 21:53:38.095 [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
16.49/6.25	c 21:53:38.096 [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
16.49/6.25	c 21:53:38.098 [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
16.49/6.25	c 21:53:38.098 [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
16.49/6.25	c 21:53:38.100 [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
16.49/6.25	c 21:53:38.100 [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
16.49/6.26	c 21:53:38.103 [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
16.49/6.26	c 21:53:38.105 [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
16.49/6.26	c 21:53:38.105 [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
16.49/6.26	c 21:53:38.106 [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
16.49/6.26	c 21:53:38.108 [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
16.49/6.26	c 21:53:38.109 [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
16.49/6.26	c 21:53:38.110 [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
16.49/6.26	c 21:53:38.111 [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
16.49/6.27	c 21:53:38.113 [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
16.49/6.27	c 21:53:38.113 [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
16.49/6.27	c 21:53:38.116 [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
16.49/6.27	c 21:53:38.116 [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
16.49/6.27	c 21:53:38.116 [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
16.49/6.27	c 21:53:38.118 [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
16.49/6.27	c 21:53:38.119 [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
16.49/6.27	c 21:53:38.119 [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
16.49/6.27	c 21:53:38.120 [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
16.49/6.27	c 21:53:38.120 [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
16.49/6.28	c 21:53:38.122 [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
16.49/6.28	c 21:53:38.122 [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
16.49/6.28	c 21:53:38.122 [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
16.49/6.28	c 21:53:38.125 [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.49/6.28	c 21:53:38.125 [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.49/6.28	c 21:53:38.126 [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.49/6.28	c 21:53:38.127 [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.49/6.28	c 21:53:38.128 [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.49/6.28	c 21:53:38.128 [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.49/6.28	c 21:53:38.130 [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.49/6.29	c 21:53:38.131 [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.49/6.29	c 21:53:38.131 [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.49/6.29	c 21:53:38.134 [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.49/6.29	c 21:53:38.134 [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.49/6.29	c 21:53:38.136 [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.49/6.29	c 21:53:38.136 [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.49/6.29	c 21:53:38.138 [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.49/6.29	c 21:53:38.138 [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.49/6.29	c 21:53:38.140 [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.49/6.30	c 21:53:38.141 [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.82/6.30	c 21:53:38.143 [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.82/6.30	c 21:53:38.143 [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.82/6.30	c 21:53:38.146 [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.82/6.30	c 21:53:38.146 [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.82/6.30	c 21:53:38.149 [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.82/6.30	c 21:53:38.149 [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.82/6.31	c 21:53:38.149 [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.82/6.31	c 21:53:38.151 [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.82/6.31	c 21:53:38.152 [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.82/6.31	c 21:53:38.152 [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.82/6.31	c 21:53:38.154 [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.82/6.31	c 21:53:38.155 [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.82/6.31	c 21:53:38.156 [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.82/6.31	c 21:53:38.156 [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.82/6.31	c 21:53:38.159 [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.82/6.31	c 21:53:38.159 [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.82/6.31	c 21:53:38.160 [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.82/6.31	c 21:53:38.161 [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.82/6.32	c 21:53:38.163 [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.82/6.32	c 21:53:38.163 [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.82/6.32	c 21:53:38.166 [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.82/6.32	c 21:53:38.166 [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.82/6.32	c 21:53:38.168 [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.82/6.32	c 21:53:38.168 [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.82/6.32	c 21:53:38.168 [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.82/6.33	c 21:53:38.171 [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.82/6.33	c 21:53:38.172 [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.82/6.33	c 21:53:38.173 [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.82/6.33	c 21:53:38.174 [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.82/6.33	c 21:53:38.178 [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.82/6.34	c 21:53:38.180 [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.82/6.34	c 21:53:38.181 [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.82/6.34	c 21:53:38.183 [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.82/6.34	c 21:53:38.183 [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.82/6.34	c 21:53:38.186 [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.82/6.34	c 21:53:38.187 [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.82/6.34	c 21:53:38.188 [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.82/6.34	c 21:53:38.189 [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.82/6.34	c 21:53:38.191 [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.82/6.35	c 21:53:38.193 [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.82/6.35	c 21:53:38.193 [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.82/6.35	c 21:53:38.193 [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.82/6.35	c 21:53:38.195 [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.82/6.35	c 21:53:38.195 [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.82/6.35	c 21:53:38.195 [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.82/6.35	c 21:53:38.197 [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.82/6.35	c 21:53:38.197 [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.82/6.35	c 21:53:38.198 [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.82/6.35	c 21:53:38.199 [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.82/6.35	c 21:53:38.199 [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.82/6.35	c 21:53:38.200 [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.82/6.35	c 21:53:38.200 [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.82/6.35	c 21:53:38.201 [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.82/6.36	c 21:53:38.202 [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.82/6.36	c 21:53:38.202 [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.82/6.36	c 21:53:38.202 [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.82/6.36	c 21:53:38.204 [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.82/6.36	c 21:53:38.204 [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.82/6.36	c 21:53:38.204 [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.82/6.37	c 21:53:38.217 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18805. 'extension(x[1][29]=[0‥5]) :: init: true :: relation: Empty MDD
16.82/6.37	c 21:53:38.218 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18807. 'extension(x[1][29]=[0‥5]) :: init: true :: relation: Empty MDD
16.82/6.37	c 21:53:38.218 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18813. 'extension(x[1][38]=[0‥5]) :: init: true :: relation: Empty MDD
16.82/6.37	c 21:53:38.218 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18815. 'extension(x[1][38]=[0‥5]) :: init: true :: relation: Empty MDD
16.82/6.37	c 21:53:38.219 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18821. 'extension(x[0][6]=[0‥5]) :: init: true :: relation: Empty MDD
16.82/6.37	c 21:53:38.219 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18823. 'extension(x[2][6]=[0‥5]) :: init: true :: relation: Empty MDD
16.82/6.37	c 21:53:38.220 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18835. 'extension(x[0][15]=[0‥5]) :: init: true :: relation: Empty MDD
16.82/6.37	c 21:53:38.220 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18839. 'extension(x[0][25]=[0‥5]) :: init: true :: relation: Empty MDD
16.82/6.37	c 21:53:38.220 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18841. 'extension(x[2][25]=[0‥5]) :: init: true :: relation: Empty MDD
16.82/6.37	c 21:53:38.221 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18853. 'extension(x[1][5]=[0‥5]) :: init: true :: relation: Empty MDD
16.82/6.37	c 21:53:38.221 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18859. 'extension(x[3][15]=[0‥5]) :: init: true :: relation: Empty MDD
16.82/6.38	c 21:53:38.222 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18873. 'extension(x[1][20]=[0‥5]) :: init: true :: relation: Empty MDD
16.82/6.38	c 21:53:38.222 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18875. 'extension(x[3][20]=[0‥5]) :: init: true :: relation: Empty MDD
16.82/6.38	c 21:53:38.223 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18889. 'extension(x[1][36]=[0‥5]) :: init: true :: relation: Empty MDD
16.82/6.38	c 21:53:38.223 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18891. 'extension(x[3][36]=[0‥5]) :: init: true :: relation: Empty MDD
16.82/6.38	c 21:53:38.224 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18905. 'extension(x[2][0]=[0‥5]) :: init: true :: relation: Empty MDD
16.82/6.38	c 21:53:38.224 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18907. 'extension(x[4][0]=[0‥5]) :: init: true :: relation: Empty MDD
16.82/6.38	c 21:53:38.225 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18921. 'extension(x[4][5]=[0‥5]) :: init: true :: relation: Empty MDD
16.82/6.38	c 21:53:38.226 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18935. 'extension(x[2][10]=[0‥5]) :: init: true :: relation: Empty MDD
16.82/6.38	c 21:53:38.226 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18937. 'extension(x[4][10]=[0‥5]) :: init: true :: relation: Empty MDD
16.82/6.38	c 21:53:38.227 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18951. 'extension(x[2][12]=[0‥5]) :: init: true :: relation: Empty MDD
16.82/6.38	c 21:53:38.227 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18957. 'extension(x[2][18]=[0‥5]) :: init: true :: relation: Empty MDD
16.82/6.38	c 21:53:38.228 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18959. 'extension(x[4][18]=[0‥5]) :: init: true :: relation: Empty MDD
16.82/6.38	c 21:53:38.228 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18973. 'extension(x[2][37]=[0‥5]) :: init: true :: relation: Empty MDD
16.82/6.38	c 21:53:38.229 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18975. 'extension(x[4][37]=[0‥5]) :: init: true :: relation: Empty MDD
16.82/6.38	c 21:53:38.229 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18989. 'extension(x[5][12]=[0‥5]) :: init: true :: relation: Empty MDD
16.82/6.38	c 21:53:38.230 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19003. 'extension(x[3][17]=[0‥5]) :: init: true :: relation: Empty MDD
16.82/6.39	c 21:53:38.231 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19009. 'extension(wk[14][0]=[0‥1]) :: init: true :: relation: Empty MDD
16.82/6.39	c 21:53:38.231 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19011. 'extension(x[4][14]=[0‥5]) :: init: true :: relation: Empty MDD
16.82/6.39	c 21:53:38.231 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19013. 'extension(x[6][14]=[0‥5]) :: init: true :: relation: Empty MDD
16.82/6.39	c 21:53:38.232 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19027. 'extension(wk[17][0]=[0‥1]) :: init: true :: relation: Empty MDD
16.82/6.39	c 21:53:38.232 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19029. 'extension(x[6][17]=[0‥5]) :: init: true :: relation: Empty MDD
16.82/6.39	c 21:53:38.233 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19043. 'extension(wk[32][0]=[0‥1]) :: init: true :: relation: Empty MDD
16.82/6.39	c 21:53:38.233 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19045. 'extension(x[4][32]=[0‥5]) :: init: true :: relation: Empty MDD
16.82/6.39	c 21:53:38.233 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19047. 'extension(x[6][32]=[0‥5]) :: init: true :: relation: Empty MDD
16.82/6.39	c 21:53:38.234 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19061. 'extension(wk[31][0]=[0‥1]) :: init: true :: relation: Empty MDD
16.82/6.39	c 21:53:38.235 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19063. 'extension(x[5][31]=[0‥5]) :: init: true :: relation: Empty MDD
16.82/6.39	c 21:53:38.235 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19069. 'extension(x[6][0]=[0‥5]) :: init: true :: relation: Empty MDD
16.82/6.39	c 21:53:38.235 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19071. 'extension(x[8][0]=[0‥5]) :: init: true :: relation: Empty MDD
16.82/6.39	c 21:53:38.236 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19085. 'extension(x[6][8]=[0‥5]) :: init: true :: relation: Empty MDD
16.82/6.39	c 21:53:38.236 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19087. 'extension(x[8][8]=[0‥5]) :: init: true :: relation: Empty MDD
16.82/6.39	c 21:53:38.237 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19101. 'extension(x[6][11]=[0‥5]) :: init: true :: relation: Empty MDD
16.82/6.39	c 21:53:38.237 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19107. 'extension(x[8][31]=[0‥5]) :: init: true :: relation: Empty MDD
16.82/6.39	c 21:53:38.238 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19121. 'extension(x[6][39]=[0‥5]) :: init: true :: relation: Empty MDD
16.82/6.39	c 21:53:38.238 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19123. 'extension(x[8][39]=[0‥5]) :: init: true :: relation: Empty MDD
16.82/6.39	c 21:53:38.239 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19137. 'extension(x[9][11]=[0‥5]) :: init: true :: relation: Empty MDD
16.82/6.39	c 21:53:38.240 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19151. 'extension(x[7][14]=[0‥5]) :: init: true :: relation: Empty MDD
16.82/6.39	c 21:53:38.240 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19153. 'extension(x[9][14]=[0‥5]) :: init: true :: relation: Empty MDD
16.82/6.39	c 21:53:38.241 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19167. 'extension(x[7][19]=[0‥5]) :: init: true :: relation: Empty MDD
16.82/6.40	c 21:53:38.241 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19173. 'extension(x[7][32]=[0‥5]) :: init: true :: relation: Empty MDD
16.82/6.40	c 21:53:38.242 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19175. 'extension(x[9][32]=[0‥5]) :: init: true :: relation: Empty MDD
16.82/6.40	c 21:53:38.243 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19189. 'extension(x[7][33]=[0‥5]) :: init: true :: relation: Empty MDD
17.15/6.40	c 21:53:38.243 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19195. 'extension(x[10][19]=[0‥5]) :: init: true :: relation: Empty MDD
17.15/6.40	c 21:53:38.244 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19209. 'extension(x[10][33]=[0‥5]) :: init: true :: relation: Empty MDD
17.15/6.40	c 21:53:38.245 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19223. 'extension(x[8][38]=[0‥5]) :: init: true :: relation: Empty MDD
17.15/6.40	c 21:53:38.245 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19225. 'extension(x[10][38]=[0‥5]) :: init: true :: relation: Empty MDD
17.15/6.40	c 21:53:38.246 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19239. 'extension(x[9][7]=[0‥5]) :: init: true :: relation: Empty MDD
17.15/6.40	c 21:53:38.246 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19245. 'extension(x[10][3]=[0‥5]) :: init: true :: relation: Empty MDD
17.15/6.40	c 21:53:38.246 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19251. 'extension(x[10][6]=[0‥5]) :: init: true :: relation: Empty MDD
17.15/6.40	c 21:53:38.247 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19253. 'extension(x[12][6]=[0‥5]) :: init: true :: relation: Empty MDD
17.15/6.40	c 21:53:38.247 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19267. 'extension(x[12][7]=[0‥5]) :: init: true :: relation: Empty MDD
17.15/6.40	c 21:53:38.248 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19281. 'extension(x[10][18]=[0‥5]) :: init: true :: relation: Empty MDD
17.15/6.40	c 21:53:38.248 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19283. 'extension(x[12][18]=[0‥5]) :: init: true :: relation: Empty MDD
17.15/6.40	c 21:53:38.249 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19297. 'extension(x[10][22]=[0‥5]) :: init: true :: relation: Empty MDD
17.15/6.40	c 21:53:38.249 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19299. 'extension(x[12][22]=[0‥5]) :: init: true :: relation: Empty MDD
17.15/6.40	c 21:53:38.250 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19313. 'extension(wk[3][1]=[0‥1]) :: init: true :: relation: Empty MDD
17.15/6.40	c 21:53:38.250 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19315. 'extension(x[13][3]=[0‥5]) :: init: true :: relation: Empty MDD
17.15/6.40	c 21:53:38.251 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19329. 'extension(wk[4][1]=[0‥1]) :: init: true :: relation: Empty MDD
17.15/6.41	c 21:53:38.251 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19331. 'extension(x[11][4]=[0‥5]) :: init: true :: relation: Empty MDD
17.15/6.41	c 21:53:38.252 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19337. 'extension(wk[21][1]=[0‥1]) :: init: true :: relation: Empty MDD
17.15/6.41	c 21:53:38.252 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19339. 'extension(x[11][21]=[0‥5]) :: init: true :: relation: Empty MDD
17.15/6.41	c 21:53:38.252 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19341. 'extension(x[13][21]=[0‥5]) :: init: true :: relation: Empty MDD
17.15/6.41	c 21:53:38.253 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19355. 'extension(wk[25][1]=[0‥1]) :: init: true :: relation: Empty MDD
17.15/6.41	c 21:53:38.253 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19357. 'extension(x[11][25]=[0‥5]) :: init: true :: relation: Empty MDD
17.15/6.41	c 21:53:38.253 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19359. 'extension(x[13][25]=[0‥5]) :: init: true :: relation: Empty MDD
17.15/6.41	c 21:53:38.254 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19373. 'extension(wk[4][1]=[0‥1]) :: init: true :: relation: Empty MDD
17.15/6.41	c 21:53:38.254 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19375. 'extension(x[14][4]=[0‥5]) :: init: true :: relation: Empty MDD
17.15/6.41	c 21:53:38.255 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19389. 'extension(wk[28][1]=[0‥1]) :: init: true :: relation: Empty MDD
17.15/6.41	c 21:53:38.255 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19391. 'extension(x[12][28]=[0‥5]) :: init: true :: relation: Empty MDD
17.15/6.41	c 21:53:38.255 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19393. 'extension(x[14][28]=[0‥5]) :: init: true :: relation: Empty MDD
17.15/6.41	c 21:53:38.256 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19407. 'extension(x[13][1]=[0‥5]) :: init: true :: relation: Empty MDD
17.15/6.41	c 21:53:38.257 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19413. 'extension(x[13][20]=[0‥5]) :: init: true :: relation: Empty MDD
17.15/6.41	c 21:53:38.257 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19415. 'extension(x[15][20]=[0‥5]) :: init: true :: relation: Empty MDD
17.15/6.41	c 21:53:38.258 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19429. 'extension(x[13][30]=[0‥5]) :: init: true :: relation: Empty MDD
17.15/6.41	c 21:53:38.258 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19435. 'extension(x[13][35]=[0‥5]) :: init: true :: relation: Empty MDD
17.15/6.41	c 21:53:38.259 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19441. 'extension(x[16][1]=[0‥5]) :: init: true :: relation: Empty MDD
17.15/6.41	c 21:53:38.260 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19455. 'extension(x[16][30]=[0‥5]) :: init: true :: relation: Empty MDD
17.15/6.41	c 21:53:38.260 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19469. 'extension(x[16][35]=[0‥5]) :: init: true :: relation: Empty MDD
17.15/6.42	c 21:53:38.261 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19483. 'extension(x[15][24]=[0‥5]) :: init: true :: relation: Empty MDD
17.15/6.42	c 21:53:38.261 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19485. 'extension(x[17][24]=[0‥5]) :: init: true :: relation: Empty MDD
17.15/6.42	c 21:53:38.262 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19499. 'extension(x[17][36]=[0‥5]) :: init: true :: relation: Empty MDD
17.15/6.42	c 21:53:38.262 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19501. 'extension(x[19][36]=[0‥5]) :: init: true :: relation: Empty MDD
17.15/6.42	c 21:53:38.263 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19515. 'extension(wk[21][2]=[0‥1]) :: init: true :: relation: Empty MDD
17.15/6.42	c 21:53:38.263 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19517. 'extension(x[18][21]=[0‥5]) :: init: true :: relation: Empty MDD
17.15/6.42	c 21:53:38.264 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19519. 'extension(x[20][21]=[0‥5]) :: init: true :: relation: Empty MDD
17.15/6.42	c 21:53:38.264 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19533. 'extension(wk[39][2]=[0‥1]) :: init: true :: relation: Empty MDD
17.15/6.42	c 21:53:38.265 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19535. 'extension(x[18][39]=[0‥5]) :: init: true :: relation: Empty MDD
17.15/6.42	c 21:53:38.265 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19537. 'extension(x[20][39]=[0‥5]) :: init: true :: relation: Empty MDD
17.15/6.42	c 21:53:38.266 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19551. 'extension(wk[26][2]=[0‥1]) :: init: true :: relation: Empty MDD
17.15/6.42	c 21:53:38.266 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19553. 'extension(x[19][26]=[0‥5]) :: init: true :: relation: Empty MDD
17.15/6.42	c 21:53:38.266 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19559. 'extension(x[20][10]=[0‥5]) :: init: true :: relation: Empty MDD
17.15/6.42	c 21:53:38.266 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19561. 'extension(x[22][10]=[0‥5]) :: init: true :: relation: Empty MDD
17.15/6.42	c 21:53:38.267 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19575. 'extension(x[20][16]=[0‥5]) :: init: true :: relation: Empty MDD
17.15/6.42	c 21:53:38.267 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19577. 'extension(x[22][16]=[0‥5]) :: init: true :: relation: Empty MDD
17.15/6.42	c 21:53:38.268 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19591. 'extension(x[22][26]=[0‥5]) :: init: true :: relation: Empty MDD
17.15/6.42	c 21:53:38.269 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19605. 'extension(x[21][8]=[0‥5]) :: init: true :: relation: Empty MDD
17.15/6.42	c 21:53:38.269 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19607. 'extension(x[23][8]=[0‥5]) :: init: true :: relation: Empty MDD
17.15/6.42	c 21:53:38.270 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19621. 'extension(x[21][9]=[0‥5]) :: init: true :: relation: Empty MDD
17.15/6.42	c 21:53:38.270 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19623. 'extension(x[23][9]=[0‥5]) :: init: true :: relation: Empty MDD
17.15/6.42	c 21:53:38.271 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19637. 'extension(x[21][13]=[0‥5]) :: init: true :: relation: Empty MDD
17.15/6.42	c 21:53:38.271 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19643. 'extension(x[21][24]=[0‥5]) :: init: true :: relation: Empty MDD
17.15/6.43	c 21:53:38.271 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19645. 'extension(x[23][24]=[0‥5]) :: init: true :: relation: Empty MDD
17.15/6.43	c 21:53:38.272 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19659. 'extension(x[22][2]=[0‥5]) :: init: true :: relation: Empty MDD
17.15/6.43	c 21:53:38.273 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19665. 'extension(x[24][13]=[0‥5]) :: init: true :: relation: Empty MDD
17.15/6.43	c 21:53:38.274 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19679. 'extension(x[22][23]=[0‥5]) :: init: true :: relation: Empty MDD
17.15/6.43	c 21:53:38.274 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19681. 'extension(x[24][23]=[0‥5]) :: init: true :: relation: Empty MDD
17.15/6.43	c 21:53:38.275 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19695. 'extension(x[22][29]=[0‥5]) :: init: true :: relation: Empty MDD
17.15/6.43	c 21:53:38.275 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19697. 'extension(x[24][29]=[0‥5]) :: init: true :: relation: Empty MDD
17.15/6.43	c 21:53:38.276 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19711. 'extension(x[22][37]=[0‥5]) :: init: true :: relation: Empty MDD
17.15/6.43	c 21:53:38.276 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19713. 'extension(x[24][37]=[0‥5]) :: init: true :: relation: Empty MDD
17.15/6.43	c 21:53:38.277 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19727. 'extension(x[25][2]=[0‥5]) :: init: true :: relation: Empty MDD
17.15/6.43	c 21:53:38.277 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19741. 'extension(x[23][16]=[0‥5]) :: init: true :: relation: Empty MDD
17.15/6.43	c 21:53:38.277 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19743. 'extension(x[25][16]=[0‥5]) :: init: true :: relation: Empty MDD
17.15/6.43	c 21:53:38.278 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19757. 'extension(x[24][27]=[0‥5]) :: init: true :: relation: Empty MDD
17.15/6.43	c 21:53:38.279 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19763. 'extension(wk[22][3]=[0‥1]) :: init: true :: relation: Empty MDD
17.15/6.43	c 21:53:38.279 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19765. 'extension(x[25][22]=[0‥5]) :: init: true :: relation: Empty MDD
17.15/6.43	c 21:53:38.279 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19767. 'extension(x[27][22]=[0‥5]) :: init: true :: relation: Empty MDD
17.15/6.43	c 21:53:38.280 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19779. 'extension(wk[27][3]=[0‥1]) :: init: true :: relation: Empty MDD
17.15/6.43	c 21:53:38.280 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19781. 'extension(x[27][27]=[0‥5]) :: init: true :: relation: Empty MDD
17.15/6.43	c 21:53:38.280 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19793. 'extension(wk[34][3]=[0‥1]) :: init: true :: relation: Empty MDD
17.15/6.43	c 21:53:38.281 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19795. 'extension(x[25][34]=[0‥5]) :: init: true :: relation: Empty MDD
17.15/6.43	c 21:53:38.281 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19801. 'extension(wk[9][3]=[0‥1]) :: init: true :: relation: Empty MDD
17.15/6.43	c 21:53:38.281 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19803. 'extension(x[26][9]=[0‥5]) :: init: true :: relation: Empty MDD
17.15/6.43	c 21:53:38.281 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19805. 'extension(x[26][9]=[0‥5]) :: init: true :: relation: Empty MDD
17.15/6.44	c 21:53:38.282 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19811. 'extension(wk[23][3]=[0‥1]) :: init: true :: relation: Empty MDD
17.15/6.44	c 21:53:38.282 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19813. 'extension(x[26][23]=[0‥5]) :: init: true :: relation: Empty MDD
17.15/6.44	c 21:53:38.282 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19815. 'extension(x[26][23]=[0‥5]) :: init: true :: relation: Empty MDD
17.15/6.44	c 21:53:38.283 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19821. 'extension(wk[28][3]=[0‥1]) :: init: true :: relation: Empty MDD
17.15/6.44	c 21:53:38.283 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19823. 'extension(x[26][28]=[0‥5]) :: init: true :: relation: Empty MDD
17.15/6.44	c 21:53:38.283 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19825. 'extension(x[26][28]=[0‥5]) :: init: true :: relation: Empty MDD
17.15/6.44	c 21:53:38.283 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19831. 'extension(wk[34][3]=[0‥1]) :: init: true :: relation: Empty MDD
252.08/221.11	Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost
252.08/221.11		at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:24)
252.08/221.11		at concrete.heuristic.value.BestCost.$anonfun$select$2(BestCost.scala:53)
252.08/221.11		at bitvectors.SmallBitVector.filter(SmallBitVector.scala:142)
252.08/221.11		at bitvectors.SmallBitVector.filter(SmallBitVector.scala:5)
252.08/221.11		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:126)
252.08/221.11		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:8)
252.08/221.11		at concrete.heuristic.value.BestCost.select(BestCost.scala:53)
252.08/221.11		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
252.08/221.11		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103)
252.08/221.11		at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
252.08/221.11		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
252.08/221.11		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103)
252.08/221.11		at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
252.08/221.11		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
252.08/221.11		at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:109)
252.08/221.11		at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42)
252.08/221.11		at scala.Option.map(Option.scala:146)
252.08/221.11		at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40)
252.08/221.11		at concrete.MAC.mac(MAC.scala:203)
252.08/221.11		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
252.08/221.11		at scala.util.Try$.apply(Try.scala:209)
252.08/221.11		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
252.08/221.11		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
252.08/221.11		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
252.08/221.11		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
252.08/221.11		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
252.08/221.11		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
252.08/221.11		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
252.08/221.11		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
252.08/221.11		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
252.08/221.11		at concrete.MAC.oneRun(MAC.scala:253)
252.08/221.11		at concrete.MAC.nextSolution(MAC.scala:272)
252.08/221.11		at concrete.MAC.$anonfun$nextSolution$5(MAC.scala:336)
252.08/221.11		at concrete.ProblemState.map(ProblemState.scala:221)
252.08/221.11		at concrete.ProblemState.map(ProblemState.scala:204)
252.08/221.11		at concrete.MAC.nextSolution(MAC.scala:334)
252.08/221.11		at concrete.Solver.hasNext(Solver.scala:166)
252.08/221.11		at scala.collection.Iterator.foreach(Iterator.scala:944)
252.08/221.11		at scala.collection.Iterator.foreach$(Iterator.scala:944)
252.08/221.11		at concrete.Solver.foreach(Solver.scala:68)
252.08/221.11		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
252.08/221.11		at scala.util.Success.$anonfun$map$1(Try.scala:251)
252.08/221.11		at scala.util.Success.map(Try.scala:209)
252.08/221.11		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
252.08/221.11		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
252.08/221.11		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
252.08/221.11		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
252.08/221.11		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
252.08/221.11		at scala.Function0.apply$mcV$sp(Function0.scala:34)
252.08/221.11		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
252.08/221.11		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
252.08/221.11		at scala.App.$anonfun$main$1$adapted(App.scala:76)
252.08/221.11		at scala.collection.immutable.List.foreach(List.scala:389)
252.08/221.11		at scala.App.main(App.scala:76)
252.08/221.11		at scala.App.main$(App.scala:74)
252.08/221.11		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
252.08/221.11		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
252.08/221.13	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 (12026 MiB free)
  memory of node 1: 16384 MiB (14282 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302779-1532894011/watcher-4302779-1532894011 -o /tmp/evaluation-result-4302779-1532894011/solver-4302779-1532894011 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532893331-28701 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=2061916640 -superng HOME/instance-4302779-1532894011.xml 

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

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


[startup+0.101555 s]*
/proc/loadavg: 2.23 1.89 1.40 2/211 29784
/proc/meminfo: memFree=26931328/32770624 swapFree=67108744/67108860
[pid=29727] ppid=29724 vsize=10005480 memory=16812 CPUtime=0.09 cores=1,3,5,7
/proc/29727/stat : 29727 (java) S 29724 29727 19273 0 -1 1077944320 4361 13166 0 0 1 1 5 2 20 0 6 0 106964338 10245611520 4203 33554432000 4194304 4196468 140732367089984 140732367072528 139900229246711 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
/proc/29727/statm: 2501370 4203 1935 1 0 2489808 0
[pid=29727/tid=29780] ppid=29724 vsize=10005480 memory=4279135703946462605 CPUtime=0.07 cores=1,3,5,7
/proc/29727/task/29780/stat : 29780 (java) R 29724 29727 19273 0 -1 4202560 2168 13166 0 0 0 0 5 2 20 0 6 0 106964347 10245611520 4203 33554432000 4194304 4196468 140732367089984 139900201083472 139900213327198 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29781] ppid=29724 vsize=10005480 memory=-7522837583129502606 CPUtime=0.07 cores=1,3,5,7
/proc/29727/task/29781/stat : 29781 (java) S 29724 29727 19273 0 -1 1077944384 1 13166 0 0 0 0 5 2 20 0 6 0 106964348 10245611520 4203 33554432000 4194304 4196468 140732367089984 139900233480464 139900229256917 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29782] ppid=29724 vsize=10005480 memory=139827524195968 CPUtime=0.07 cores=1,3,5,7
/proc/29727/task/29782/stat : 29782 (java) S 29724 29727 19273 0 -1 1077944384 1 13166 0 0 0 0 5 2 20 0 6 0 106964348 10245611520 4203 33554432000 4194304 4196468 140732367089984 139899769248144 139900229256917 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29783] ppid=29724 vsize=10005480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29727/task/29783/stat : 29783 (java) S 29724 29727 19273 0 -1 1077944384 1 13166 0 0 0 0 5 2 20 0 6 0 106964348 10245611520 4203 33554432000 4194304 4196468 140732367089984 139899768195600 139900229256917 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29784] ppid=29724 vsize=10005480 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/29727/task/29784/stat : 29784 (java) S 29724 29727 19273 0 -1 1077944384 2 13166 0 0 0 0 5 2 20 0 6 0 106964348 10245611520 4203 33554432000 4194304 4196468 140732367089984 139899767143056 139900229256917 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16812 KiB

[startup+0.21094 s]*
/proc/loadavg: 2.23 1.89 1.40 3/220 29793
/proc/meminfo: memFree=26909692/32770624 swapFree=67108744/67108860
[pid=29727] ppid=29724 vsize=10982696 memory=44804 CPUtime=0.25 cores=1,3,5,7
/proc/29727/stat : 29727 (java) S 29724 29727 19273 0 -1 1077944320 8593 13166 0 0 16 2 5 2 20 0 15 0 106964338 11246280704 11201 33554432000 4194304 4196468 140732367089984 140732367072528 139900229246711 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
/proc/29727/statm: 2745674 11201 2932 1 0 2708109 0
[pid=29727/tid=29780] ppid=29724 vsize=10982696 memory=7022364594140610616 CPUtime=0.18 cores=1,3,5,7
/proc/29727/task/29780/stat : 29780 (java) R 29724 29727 19273 0 -1 4202560 5126 13166 0 0 10 1 5 2 20 0 15 0 106964347 11246280704 11201 33554432000 4194304 4196468 140732367089984 139900201044368 139900212433520 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29781] ppid=29724 vsize=10982696 memory=364 CPUtime=0.07 cores=1,3,5,7
/proc/29727/task/29781/stat : 29781 (java) S 29724 29727 19273 0 -1 1077944384 1 13166 0 0 0 0 5 2 20 0 15 0 106964348 11246280704 11201 33554432000 4194304 4196468 140732367089984 139900233480464 139900229256917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29782] ppid=29724 vsize=10982696 memory=139827524223014 CPUtime=0.07 cores=1,3,5,7
/proc/29727/task/29782/stat : 29782 (java) S 29724 29727 19273 0 -1 1077944384 1 13166 0 0 0 0 5 2 20 0 15 0 106964348 11246280704 11201 33554432000 4194304 4196468 140732367089984 139899769248144 139900229256917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29783] ppid=29724 vsize=10982696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29727/task/29783/stat : 29783 (java) S 29724 29727 19273 0 -1 1077944384 1 13166 0 0 0 0 5 2 20 0 15 0 106964348 11246280704 11201 33554432000 4194304 4196468 140732367089984 139899768195600 139900229256917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29784] ppid=29724 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/29727/task/29784/stat : 29784 (java) S 29724 29727 19273 0 -1 1077944384 2 13166 0 0 0 0 5 2 20 0 15 0 106964348 11246280704 11201 33554432000 4194304 4196468 140732367089984 139899767143056 139900229256917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29785] ppid=29724 vsize=10982696 memory=139827524195968 CPUtime=0.07 cores=1,3,5,7
/proc/29727/task/29785/stat : 29785 (java) S 29724 29727 19273 0 -1 1077944384 2 13166 0 0 0 0 5 2 20 0 15 0 106964349 11246280704 11201 33554432000 4194304 4196468 140732367089984 139899722328560 139900229257858 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29786] ppid=29724 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/29727/task/29786/stat : 29786 (java) S 29724 29727 19273 0 -1 1077944384 13 13166 0 0 0 0 5 2 20 0 15 0 106964350 11246280704 11201 33554432000 4194304 4196468 140732367089984 139899030201760 139900229256917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29787] ppid=29724 vsize=10982696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29727/task/29787/stat : 29787 (java) S 29724 29727 19273 0 -1 1077944384 1 13166 0 0 0 0 5 2 20 0 15 0 106964350 11246280704 11201 33554432000 4194304 4196468 140732367089984 139898828875248 139900229256917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29788] ppid=29724 vsize=10982696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29727/task/29788/stat : 29788 (java) S 29724 29727 19273 0 -1 1077944384 3 13166 0 0 0 0 5 2 20 0 15 0 106964353 11246280704 11201 33554432000 4194304 4196468 140732367089984 139898521475792 139900229265307 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29789] ppid=29724 vsize=10982696 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/29727/task/29789/stat : 29789 (java) S 29724 29727 19273 0 -1 1077944384 362 13166 0 0 1 0 5 2 20 0 15 0 106964353 11246280704 11201 33554432000 4194304 4196468 140732367089984 139899721275376 139900229257858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29790] ppid=29724 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/29727/task/29790/stat : 29790 (java) S 29724 29727 19273 0 -1 1077944384 250 13166 0 0 0 0 5 2 20 0 15 0 106964353 11246280704 11201 33554432000 4194304 4196468 140732367089984 139899720222832 139900229257858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29791] ppid=29724 vsize=10982696 memory=139827524195968 CPUtime=0.1 cores=1,3,5,7
/proc/29727/task/29791/stat : 29791 (java) S 29724 29727 19273 0 -1 1077944384 631 13166 0 0 3 0 5 2 20 0 15 0 106964353 11246280704 11201 33554432000 4194304 4196468 140732367089984 139899719170288 139900229257858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29792] ppid=29724 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/29727/task/29792/stat : 29792 (java) S 29724 29727 19273 0 -1 1077944384 3 13166 0 0 0 0 5 2 20 0 15 0 106964353 11246280704 11201 33554432000 4194304 4196468 140732367089984 139898090678880 139900229256917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29793] ppid=29724 vsize=10982696 memory=139827524195968 CPUtime=0.07 cores=1,3,5,7
/proc/29727/task/29793/stat : 29793 (java) S 29724 29727 19273 0 -1 1077944384 1 13166 0 0 0 0 5 2 20 0 15 0 106964353 11246280704 11201 33554432000 4194304 4196468 140732367089984 139899718118192 139900229257858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982696 KiB
Current children cumulated memory: 44804 KiB

[startup+0.310496 s]*
/proc/loadavg: 2.23 1.89 1.40 3/220 29793
/proc/meminfo: memFree=26898280/32770624 swapFree=67108744/67108860
[pid=29727] ppid=29724 vsize=10983192 memory=55700 CPUtime=0.37 cores=1,3,5,7
/proc/29727/stat : 29727 (java) S 29724 29727 19273 0 -1 1077944320 10538 13166 0 0 27 3 5 2 20 0 15 0 106964338 11246788608 13925 33554432000 4194304 4196468 140732367089984 140732367072528 139900229246711 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
/proc/29727/statm: 2745798 13925 3064 1 0 2708109 0
[pid=29727/tid=29780] ppid=29724 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/29727/task/29780/stat : 29780 (java) R 29724 29727 19273 0 -1 4202560 7106 13166 0 0 19 2 5 2 20 0 15 0 106964347 11246788608 13991 33554432000 4194304 4196468 140732367089984 139900201058720 139900209522471 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29781] ppid=29724 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29727/task/29781/stat : 29781 (java) S 29724 29727 19273 0 -1 1077944384 1 13166 0 0 0 0 5 2 20 0 15 0 106964348 11246788608 13991 33554432000 4194304 4196468 140732367089984 139900233480464 139900229256917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29782] ppid=29724 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29727/task/29782/stat : 29782 (java) S 29724 29727 19273 0 -1 1077944384 1 13166 0 0 0 0 5 2 20 0 15 0 106964348 11246788608 13991 33554432000 4194304 4196468 140732367089984 139899769248144 139900229256917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29783] ppid=29724 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29727/task/29783/stat : 29783 (java) S 29724 29727 19273 0 -1 1077944384 1 13166 0 0 0 0 5 2 20 0 15 0 106964348 11246788608 13991 33554432000 4194304 4196468 140732367089984 139899768195600 139900229256917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29784] ppid=29724 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29727/task/29784/stat : 29784 (java) S 29724 29727 19273 0 -1 1077944384 2 13166 0 0 0 0 5 2 20 0 15 0 106964348 11246788608 13991 33554432000 4194304 4196468 140732367089984 139899767143056 139900229256917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29785] ppid=29724 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29727/task/29785/stat : 29785 (java) S 29724 29727 19273 0 -1 1077944384 2 13166 0 0 0 0 5 2 20 0 15 0 106964349 11246788608 13991 33554432000 4194304 4196468 140732367089984 139899722328560 139900229257858 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29786] ppid=29724 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/29727/task/29786/stat : 29786 (java) S 29724 29727 19273 0 -1 1077944384 13 13166 0 0 0 0 5 2 20 0 15 0 106964350 11246788608 13991 33554432000 4194304 4196468 140732367089984 139899030201760 139900229256917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29787] ppid=29724 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29727/task/29787/stat : 29787 (java) S 29724 29727 19273 0 -1 1077944384 1 13166 0 0 0 0 5 2 20 0 15 0 106964350 11246788608 13991 33554432000 4194304 4196468 140732367089984 139898828875248 139900229256917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29788] ppid=29724 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29727/task/29788/stat : 29788 (java) S 29724 29727 19273 0 -1 1077944384 3 13166 0 0 0 0 5 2 20 0 15 0 106964353 11246788608 13991 33554432000 4194304 4196468 140732367089984 139898521475792 139900229265307 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29789] ppid=29724 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/29727/task/29789/stat : 29789 (java) S 29724 29727 19273 0 -1 1077944384 363 13166 0 0 2 0 5 2 20 0 15 0 106964353 11246788608 13991 33554432000 4194304 4196468 140732367089984 139899721275376 139900229257858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29790] ppid=29724 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/29727/task/29790/stat : 29790 (java) S 29724 29727 19273 0 -1 1077944384 250 13166 0 0 1 0 5 2 20 0 15 0 106964353 11246788608 13991 33554432000 4194304 4196468 140732367089984 139899720222832 139900229257858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29791] ppid=29724 vsize=10983192 memory=139827524195968 CPUtime=0.12 cores=1,3,5,7
/proc/29727/task/29791/stat : 29791 (java) S 29724 29727 19273 0 -1 1077944384 636 13166 0 0 5 0 5 2 20 0 15 0 106964353 11246788608 13991 33554432000 4194304 4196468 140732367089984 139899719170288 139900229257858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29792] ppid=29724 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/29727/task/29792/stat : 29792 (java) S 29724 29727 19273 0 -1 1077944384 3 13166 0 0 0 0 5 2 20 0 15 0 106964353 11246788608 13991 33554432000 4194304 4196468 140732367089984 139898090678880 139900229256917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29793] ppid=29724 vsize=10983192 memory=139827524195968 CPUtime=0.07 cores=1,3,5,7
/proc/29727/task/29793/stat : 29793 (java) S 29724 29727 19273 0 -1 1077944384 1 13166 0 0 0 0 5 2 20 0 15 0 106964353 11246788608 13991 33554432000 4194304 4196468 140732367089984 139899718118192 139900229257858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55700 KiB

[startup+0.700764 s]
/proc/loadavg: 2.23 1.89 1.40 3/220 29793
/proc/meminfo: memFree=26886992/32770624 swapFree=67108744/67108860
[pid=29727] ppid=29724 vsize=10983192 memory=88716 CPUtime=0.98 cores=1,3,5,7
/proc/29727/stat : 29727 (java) S 29724 29727 19273 0 -1 1077944320 16826 13166 0 0 86 5 5 2 20 0 15 0 106964338 11246788608 22179 33554432000 4194304 4196468 140732367089984 140732367072528 139900229246711 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
/proc/29727/statm: 2745798 22179 3246 1 0 2708109 0
[pid=29727/tid=29780] ppid=29724 vsize=10983192 memory=279654850388416 CPUtime=0.65 cores=1,3,5,7
/proc/29727/task/29780/stat : 29780 (java) R 29724 29727 19273 0 -1 4202560 12417 13166 0 0 55 3 5 2 20 0 15 0 106964347 11246788608 22179 33554432000 4194304 4196468 140732367089984 139900201047272 139900210810288 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29781] ppid=29724 vsize=10983192 memory=279654850388608 CPUtime=0.07 cores=1,3,5,7
/proc/29727/task/29781/stat : 29781 (java) S 29724 29727 19273 0 -1 1077944384 1 13166 0 0 0 0 5 2 20 0 15 0 106964348 11246788608 22179 33554432000 4194304 4196468 140732367089984 139900233480464 139900229256917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29782] ppid=29724 vsize=10983192 memory=279654850185232 CPUtime=0.07 cores=1,3,5,7
/proc/29727/task/29782/stat : 29782 (java) S 29724 29727 19273 0 -1 1077944384 1 13166 0 0 0 0 5 2 20 0 15 0 106964348 11246788608 22179 33554432000 4194304 4196468 140732367089984 139899769248144 139900229256917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29783] ppid=29724 vsize=10983192 memory=33 CPUtime=0.07 cores=1,3,5,7
/proc/29727/task/29783/stat : 29783 (java) S 29724 29727 19273 0 -1 1077944384 1 13166 0 0 0 0 5 2 20 0 15 0 106964348 11246788608 22179 33554432000 4194304 4196468 140732367089984 139899768195600 139900229256917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29784] ppid=29724 vsize=10983192 memory=139827425194480 CPUtime=0.07 cores=1,3,5,7
/proc/29727/task/29784/stat : 29784 (java) S 29724 29727 19273 0 -1 1077944384 2 13166 0 0 0 0 5 2 20 0 15 0 106964348 11246788608 22179 33554432000 4194304 4196468 140732367089984 139899767143056 139900229256917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29785] ppid=29724 vsize=10983192 memory=139831250256470 CPUtime=0.07 cores=1,3,5,7
/proc/29727/task/29785/stat : 29785 (java) S 29724 29727 19273 0 -1 1077944384 5 13166 0 0 0 0 5 2 20 0 15 0 106964349 11246788608 22179 33554432000 4194304 4196468 140732367089984 139899722328560 139900229257858 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29786] ppid=29724 vsize=10983192 memory=1200 CPUtime=0.07 cores=1,3,5,7
/proc/29727/task/29786/stat : 29786 (java) S 29724 29727 19273 0 -1 1077944384 13 13166 0 0 0 0 5 2 20 0 15 0 106964350 11246788608 22179 33554432000 4194304 4196468 140732367089984 139899030201760 139900229256917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29787] ppid=29724 vsize=10983192 memory=7014751519616751185 CPUtime=0.07 cores=1,3,5,7
/proc/29727/task/29787/stat : 29787 (java) S 29724 29727 19273 0 -1 1077944384 1 13166 0 0 0 0 5 2 20 0 15 0 106964350 11246788608 22179 33554432000 4194304 4196468 140732367089984 139898828875248 139900229256917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29788] ppid=29724 vsize=10983192 memory=7811891939479414610 CPUtime=0.07 cores=1,3,5,7
/proc/29727/task/29788/stat : 29788 (java) S 29724 29727 19273 0 -1 1077944384 3 13166 0 0 0 0 5 2 20 0 15 0 106964353 11246788608 22179 33554432000 4194304 4196468 140732367089984 139898521475792 139900229265307 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29789] ppid=29724 vsize=10983192 memory=6148935659200796009 CPUtime=0.15 cores=1,3,5,7
/proc/29727/task/29789/stat : 29789 (java) S 29724 29727 19273 0 -1 1077944384 601 13166 0 0 8 0 5 2 20 0 15 0 106964353 11246788608 22179 33554432000 4194304 4196468 140732367089984 139899721275376 139900229257858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29790] ppid=29724 vsize=10983192 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/29727/task/29790/stat : 29790 (java) S 29724 29727 19273 0 -1 1077944384 893 13166 0 0 9 0 5 2 20 0 15 0 106964353 11246788608 22179 33554432000 4194304 4196468 140732367089984 139899720222832 139900229257858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29791] ppid=29724 vsize=10983192 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/29727/task/29791/stat : 29791 (java) S 29724 29727 19273 0 -1 1077944384 688 13166 0 0 13 0 5 2 20 0 15 0 106964353 11246788608 22179 33554432000 4194304 4196468 140732367089984 139899719170288 139900229257858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29792] ppid=29724 vsize=10983192 memory=4096 CPUtime=0.07 cores=1,3,5,7
/proc/29727/task/29792/stat : 29792 (java) S 29724 29727 19273 0 -1 1077944384 3 13166 0 0 0 0 5 2 20 0 15 0 106964353 11246788608 22179 33554432000 4194304 4196468 140732367089984 139898090678880 139900229256917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29793] ppid=29724 vsize=10983192 memory=2241 CPUtime=0.07 cores=1,3,5,7
/proc/29727/task/29793/stat : 29793 (java) S 29724 29727 19273 0 -1 1077944384 1 13166 0 0 0 0 5 2 20 0 15 0 106964353 11246788608 22179 33554432000 4194304 4196468 140732367089984 139899718118192 139900229257858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88716 KiB

[startup+1.50074 s]
/proc/loadavg: 2.21 1.89 1.40 3/220 29793
/proc/meminfo: memFree=26840288/32770624 swapFree=67108744/67108860
[pid=29727] ppid=29724 vsize=10991948 memory=171556 CPUtime=3.2 cores=1,3,5,7
/proc/29727/stat : 29727 (java) S 29724 29727 19273 0 -1 1077944320 23839 13166 0 0 305 8 5 2 20 0 15 0 106964338 11255754752 42889 33554432000 4194304 4196468 140732367089984 140732367072528 139900229246711 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
/proc/29727/statm: 2747987 42889 3448 1 0 2709645 0
[pid=29727/tid=29780] ppid=29724 vsize=10991948 memory=13884 CPUtime=1.45 cores=1,3,5,7
/proc/29727/task/29780/stat : 29780 (java) R 29724 29727 19273 0 -1 4202560 15291 13166 0 0 133 5 5 2 20 0 15 0 106964347 11255754752 42889 33554432000 4194304 4196468 140732367089984 139900201078928 139900214321237 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29781] ppid=29724 vsize=10991948 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/29727/task/29781/stat : 29781 (java) S 29724 29727 19273 0 -1 1077944384 1 13166 0 0 0 0 5 2 20 0 15 0 106964348 11255754752 42889 33554432000 4194304 4196468 140732367089984 139900233480464 139900229256917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29782] ppid=29724 vsize=10991948 memory=1408 CPUtime=0.07 cores=1,3,5,7
/proc/29727/task/29782/stat : 29782 (java) S 29724 29727 19273 0 -1 1077944384 1 13166 0 0 0 0 5 2 20 0 15 0 106964348 11255754752 42889 33554432000 4194304 4196468 140732367089984 139899769248144 139900229256917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29783] ppid=29724 vsize=10991948 memory=2876 CPUtime=0.07 cores=1,3,5,7
/proc/29727/task/29783/stat : 29783 (java) S 29724 29727 19273 0 -1 1077944384 1 13166 0 0 0 0 5 2 20 0 15 0 106964348 11255754752 42889 33554432000 4194304 4196468 140732367089984 139899768195600 139900229256917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29784] ppid=29724 vsize=10991948 memory=88716 CPUtime=0.07 cores=1,3,5,7
/proc/29727/task/29784/stat : 29784 (java) S 29724 29727 19273 0 -1 1077944384 2 13166 0 0 0 0 5 2 20 0 15 0 106964348 11255754752 42889 33554432000 4194304 4196468 140732367089984 139899767143056 139900229256917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29785] ppid=29724 vsize=10991948 memory=279654850388416 CPUtime=0.07 cores=1,3,5,7
/proc/29727/task/29785/stat : 29785 (java) S 29724 29727 19273 0 -1 1077944384 6 13166 0 0 0 0 5 2 20 0 15 0 106964349 11255754752 42889 33554432000 4194304 4196468 140732367089984 139899722328560 139900229257858 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29786] ppid=29724 vsize=10991948 memory=279654850388608 CPUtime=0.07 cores=1,3,5,7
/proc/29727/task/29786/stat : 29786 (java) S 29724 29727 19273 0 -1 1077944384 13 13166 0 0 0 0 5 2 20 0 15 0 106964350 11255754752 42889 33554432000 4194304 4196468 140732367089984 139899030201760 139900229256917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29787] ppid=29724 vsize=10991948 memory=279654850184864 CPUtime=0.07 cores=1,3,5,7
/proc/29727/task/29787/stat : 29787 (java) S 29724 29727 19273 0 -1 1077944384 1 13166 0 0 0 0 5 2 20 0 15 0 106964350 11255754752 42889 33554432000 4194304 4196468 140732367089984 139898828875248 139900229256917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29788] ppid=29724 vsize=10991948 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/29727/task/29788/stat : 29788 (java) S 29724 29727 19273 0 -1 1077944384 3 13166 0 0 0 0 5 2 20 0 15 0 106964353 11255754752 42889 33554432000 4194304 4196468 140732367089984 139898521475792 139900229265307 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29789] ppid=29724 vsize=10991948 memory=4638778398332698720 CPUtime=0.66 cores=1,3,5,7
/proc/29727/task/29789/stat : 29789 (java) R 29724 29727 19273 0 -1 4202560 2103 13166 0 0 59 0 5 2 20 0 15 0 106964353 11255754752 42889 33554432000 4194304 4196468 140732367089984 139899721263248 139900229268058 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29790] ppid=29724 vsize=10991948 memory=279654850665344 CPUtime=0.69 cores=1,3,5,7
/proc/29727/task/29790/stat : 29790 (java) R 29724 29727 19273 0 -1 4202560 2318 13166 0 0 62 0 5 2 20 0 15 0 106964353 11255754752 42889 33554432000 4194304 4196468 140732367089984 139899720213808 139900229268058 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29791] ppid=29724 vsize=10991948 memory=-7522837583129502606 CPUtime=0.58 cores=1,3,5,7
/proc/29727/task/29791/stat : 29791 (java) R 29724 29727 19273 0 -1 1077944384 1899 13166 0 0 50 1 5 2 20 0 15 0 106964353 11255754752 42889 33554432000 4194304 4196468 140732367089984 139899719170288 139900229257858 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29792] ppid=29724 vsize=10991948 memory=6944656592452807323 CPUtime=0.07 cores=1,3,5,7
/proc/29727/task/29792/stat : 29792 (java) S 29724 29727 19273 0 -1 1077944384 3 13166 0 0 0 0 5 2 20 0 15 0 106964353 11255754752 42889 33554432000 4194304 4196468 140732367089984 139898090678880 139900229256917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29793] ppid=29724 vsize=10991948 memory=6944656591801719708 CPUtime=0.07 cores=1,3,5,7
/proc/29727/task/29793/stat : 29793 (java) S 29724 29727 19273 0 -1 1077944384 1 13166 0 0 0 0 5 2 20 0 15 0 106964353 11255754752 42889 33554432000 4194304 4196468 140732367089984 139899718118192 139900229257858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
Current children cumulated CPU time: 3.2 s
Current children cumulated vsize: 10991948 KiB

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

/proc/29727/task/29780/stat : 29780 (java) R 29724 29727 19273 0 -1 4202560 49947 13166 0 0 10091 33 5 2 20 0 15 0 106964347 11280941056 582325 33554432000 4194304 4196468 140732367089984 139900201081352 139899795597376 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29781] ppid=29724 vsize=11016544 memory=2329300 CPUtime=0.82 cores=1,3,5,7
/proc/29727/task/29781/stat : 29781 (java) S 29724 29727 19273 0 -1 1077944384 2381 13166 0 0 55 20 5 2 20 0 15 0 106964348 11280941056 582325 33554432000 4194304 4196468 140732367089984 139900233480464 139900229256917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29782] ppid=29724 vsize=11016544 memory=0 CPUtime=0.82 cores=1,3,5,7
/proc/29727/task/29782/stat : 29782 (java) S 29724 29727 19273 0 -1 1077944384 1176 13166 0 0 56 19 5 2 20 0 15 0 106964348 11280941056 582325 33554432000 4194304 4196468 140732367089984 139899769248144 139900229256917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29783] ppid=29724 vsize=11016544 memory=164 CPUtime=0.78 cores=1,3,5,7
/proc/29727/task/29783/stat : 29783 (java) S 29724 29727 19273 0 -1 1077944384 2830 13166 0 0 53 18 5 2 20 0 15 0 106964348 11280941056 582325 33554432000 4194304 4196468 140732367089984 139899768195600 139900229256917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29784] ppid=29724 vsize=11016544 memory=4096 CPUtime=0.81 cores=1,3,5,7
/proc/29727/task/29784/stat : 29784 (java) S 29724 29727 19273 0 -1 1077944384 2657 13166 0 0 56 18 5 2 20 0 15 0 106964348 11280941056 582325 33554432000 4194304 4196468 140732367089984 139899767143056 139900229256917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29785] ppid=29724 vsize=11016544 memory=30628 CPUtime=0.17 cores=1,3,5,7
/proc/29727/task/29785/stat : 29785 (java) S 29724 29727 19273 0 -1 1077944384 6639 13166 0 0 8 2 5 2 20 0 15 0 106964349 11280941056 582325 33554432000 4194304 4196468 140732367089984 139899722328560 139900229257858 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29786] ppid=29724 vsize=11016544 memory=2329300 CPUtime=0.07 cores=1,3,5,7
/proc/29727/task/29786/stat : 29786 (java) S 29724 29727 19273 0 -1 1077944384 16 13166 0 0 0 0 5 2 20 0 15 0 106964350 11280941056 582325 33554432000 4194304 4196468 140732367089984 139899030201824 139900229256917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29787] ppid=29724 vsize=11016544 memory=2396 CPUtime=0.07 cores=1,3,5,7
/proc/29727/task/29787/stat : 29787 (java) S 29724 29727 19273 0 -1 1077944384 6 13166 0 0 0 0 5 2 20 0 15 0 106964350 11280941056 582325 33554432000 4194304 4196468 140732367089984 139898828875264 139900229256917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29788] ppid=29724 vsize=11016544 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29727/task/29788/stat : 29788 (java) S 29724 29727 19273 0 -1 1077944384 3 13166 0 0 0 0 5 2 20 0 15 0 106964353 11280941056 582325 33554432000 4194304 4196468 140732367089984 139898521475792 139900229265307 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29789] ppid=29724 vsize=11016544 memory=2372 CPUtime=11.37 cores=1,3,5,7
/proc/29727/task/29789/stat : 29789 (java) S 29724 29727 19273 0 -1 1077944384 27242 13166 0 0 1126 4 5 2 20 0 15 0 106964353 11280941056 582325 33554432000 4194304 4196468 140732367089984 139899721275376 139900229257858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29790] ppid=29724 vsize=11016544 memory=30628 CPUtime=10.82 cores=1,3,5,7
/proc/29727/task/29790/stat : 29790 (java) S 29724 29727 19273 0 -1 1077944384 25975 13166 0 0 1070 5 5 2 20 0 15 0 106964353 11280941056 582325 33554432000 4194304 4196468 140732367089984 139899720222832 139900229257858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29791] ppid=29724 vsize=11016544 memory=2396 CPUtime=3.63 cores=1,3,5,7
/proc/29727/task/29791/stat : 29791 (java) S 29724 29727 19273 0 -1 1077944384 18321 13166 0 0 350 6 5 2 20 0 15 0 106964353 11280941056 582325 33554432000 4194304 4196468 140732367089984 139899719170288 139900229257858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29792] ppid=29724 vsize=11016544 memory=1292 CPUtime=0.07 cores=1,3,5,7
/proc/29727/task/29792/stat : 29792 (java) S 29724 29727 19273 0 -1 1077944384 3 13166 0 0 0 0 5 2 20 0 15 0 106964353 11280941056 582325 33554432000 4194304 4196468 140732367089984 139898090678880 139900229256917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29793] ppid=29724 vsize=11016544 memory=6791534058613427641 CPUtime=0.11 cores=1,3,5,7
/proc/29727/task/29793/stat : 29793 (java) S 29724 29727 19273 0 -1 1077944384 1554 13166 0 0 2 2 5 2 20 0 15 0 106964353 11280941056 582325 33554432000 4194304 4196468 140732367089984 139899718118192 139900229257858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
Current children cumulated CPU time: 130.13 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 2329300 KiB

[startup+162.301 s]
/proc/loadavg: 1.85 1.88 1.47 3/219 29797
/proc/meminfo: memFree=24769464/32770624 swapFree=67108744/67108860
[pid=29727] ppid=29724 vsize=11016544 memory=2165544 CPUtime=192.2 cores=1,3,5,7
/proc/29727/stat : 29727 (java) S 29724 29727 19273 0 -1 1077944320 156393 13166 0 0 19061 152 5 2 20 0 15 0 106964338 11280941056 541386 33554432000 4194304 4196468 140732367089984 140732367072528 139900229246711 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
/proc/29727/statm: 2754136 541386 3538 1 0 2715789 0
[pid=29727/tid=29780] ppid=29724 vsize=11016544 memory=2174776 CPUtime=160.91 cores=1,3,5,7
/proc/29727/task/29780/stat : 29780 (java) R 29724 29727 19273 0 -1 4202560 53484 13166 0 0 16051 33 5 2 20 0 15 0 106964347 11280941056 541386 33554432000 4194304 4196468 140732367089984 139900201080808 139899812904346 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29781] ppid=29724 vsize=11016544 memory=2193252 CPUtime=1.2 cores=1,3,5,7
/proc/29727/task/29781/stat : 29781 (java) S 29724 29727 19273 0 -1 1077944384 3591 13166 0 0 88 25 5 2 20 0 15 0 106964348 11280941056 541386 33554432000 4194304 4196468 140732367089984 139900233480464 139900229256917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29782] ppid=29724 vsize=11016544 memory=2189236 CPUtime=1.18 cores=1,3,5,7
/proc/29727/task/29782/stat : 29782 (java) S 29724 29727 19273 0 -1 1077944384 2026 13166 0 0 88 23 5 2 20 0 15 0 106964348 11280941056 541386 33554432000 4194304 4196468 140732367089984 139899769248144 139900229256917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29783] ppid=29724 vsize=11016544 memory=2165544 CPUtime=1.15 cores=1,3,5,7
/proc/29727/task/29783/stat : 29783 (java) S 29724 29727 19273 0 -1 1077944384 3195 13166 0 0 86 22 5 2 20 0 15 0 106964348 11280941056 541386 33554432000 4194304 4196468 140732367089984 139899768195600 139900229256917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29784] ppid=29724 vsize=11016544 memory=2165544 CPUtime=1.19 cores=1,3,5,7
/proc/29727/task/29784/stat : 29784 (java) S 29724 29727 19273 0 -1 1077944384 2905 13166 0 0 89 23 5 2 20 0 15 0 106964348 11280941056 541386 33554432000 4194304 4196468 140732367089984 139899767143056 139900229256917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29785] ppid=29724 vsize=11016544 memory=2165544 CPUtime=0.19 cores=1,3,5,7
/proc/29727/task/29785/stat : 29785 (java) S 29724 29727 19273 0 -1 1077944384 6969 13166 0 0 10 2 5 2 20 0 15 0 106964349 11280941056 541386 33554432000 4194304 4196468 140732367089984 139899722328560 139900229257858 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29786] ppid=29724 vsize=11016544 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29727/task/29786/stat : 29786 (java) S 29724 29727 19273 0 -1 1077944384 16 13166 0 0 0 0 5 2 20 0 15 0 106964350 11280941056 541386 33554432000 4194304 4196468 140732367089984 139899030201824 139900229256917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29787] ppid=29724 vsize=11016544 memory=4096 CPUtime=0.07 cores=1,3,5,7
/proc/29727/task/29787/stat : 29787 (java) S 29724 29727 19273 0 -1 1077944384 6 13166 0 0 0 0 5 2 20 0 15 0 106964350 11280941056 541386 33554432000 4194304 4196468 140732367089984 139898828875264 139900229256917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29788] ppid=29724 vsize=11016544 memory=30628 CPUtime=0.07 cores=1,3,5,7
/proc/29727/task/29788/stat : 29788 (java) S 29724 29727 19273 0 -1 1077944384 3 13166 0 0 0 0 5 2 20 0 15 0 106964353 11280941056 541386 33554432000 4194304 4196468 140732367089984 139898521475792 139900229265307 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29789] ppid=29724 vsize=11016544 memory=2174776 CPUtime=11.83 cores=1,3,5,7
/proc/29727/task/29789/stat : 29789 (java) S 29724 29727 19273 0 -1 1077944384 31395 13166 0 0 1172 4 5 2 20 0 15 0 106964353 11280941056 541386 33554432000 4194304 4196468 140732367089984 139899721275376 139900229257858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29790] ppid=29724 vsize=11016544 memory=2174776 CPUtime=11.22 cores=1,3,5,7
/proc/29727/task/29790/stat : 29790 (java) S 29724 29727 19273 0 -1 1077944384 28963 13166 0 0 1110 5 5 2 20 0 15 0 106964353 11280941056 541386 33554432000 4194304 4196468 140732367089984 139899720222832 139900229257858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29791] ppid=29724 vsize=11016544 memory=2165544 CPUtime=3.73 cores=1,3,5,7
/proc/29727/task/29791/stat : 29791 (java) S 29724 29727 19273 0 -1 1077944384 20037 13166 0 0 359 7 5 2 20 0 15 0 106964353 11280941056 541386 33554432000 4194304 4196468 140732367089984 139899719170288 139900229257858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29792] ppid=29724 vsize=11016544 memory=2165544 CPUtime=0.07 cores=1,3,5,7
/proc/29727/task/29792/stat : 29792 (java) S 29724 29727 19273 0 -1 1077944384 3 13166 0 0 0 0 5 2 20 0 15 0 106964353 11280941056 541386 33554432000 4194304 4196468 140732367089984 139898090678880 139900229256917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29793] ppid=29724 vsize=11016544 memory=1844 CPUtime=0.15 cores=1,3,5,7
/proc/29727/task/29793/stat : 29793 (java) S 29724 29727 19273 0 -1 1077944384 1604 13166 0 0 3 5 5 2 20 0 15 0 106964353 11280941056 541386 33554432000 4194304 4196468 140732367089984 139899718118192 139900229257858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
Current children cumulated CPU time: 192.2 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 2165544 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+221.11 s]
/proc/loadavg: 1.99 1.93 1.52 3/219 29926
/proc/meminfo: memFree=24898604/32770624 swapFree=67108744/67108860
[pid=29727] ppid=29724 vsize=11016544 memory=1777676 CPUtime=252.08 cores=1,3,5,7
/proc/29727/stat : 29727 (java) S 29724 29727 19273 0 -1 1077944320 173708 13166 0 0 25040 161 5 2 20 0 15 0 106964338 11280941056 444419 33554432000 4194304 4196468 140732367089984 140732367072528 139900229246711 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
/proc/29727/statm: 2754136 444419 3538 1 0 2715789 0
[pid=29727/tid=29780] ppid=29724 vsize=11016544 memory=1918100 CPUtime=219.49 cores=1,3,5,7
/proc/29727/task/29780/stat : 29780 (java) R 29724 29727 19273 0 -1 4202560 57175 13166 0 0 21908 34 5 2 20 0 15 0 106964347 11280941056 444419 33554432000 4194304 4196468 140732367089984 139900201080696 139899796332681 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29781] ppid=29724 vsize=11016544 memory=1838720 CPUtime=1.39 cores=1,3,5,7
/proc/29727/task/29781/stat : 29781 (java) S 29724 29727 19273 0 -1 1077944384 3801 13166 0 0 106 26 5 2 20 0 15 0 106964348 11280941056 444419 33554432000 4194304 4196468 140732367089984 139900233480464 139900229256917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29782] ppid=29724 vsize=11016544 memory=1830000 CPUtime=1.37 cores=1,3,5,7
/proc/29727/task/29782/stat : 29782 (java) S 29724 29727 19273 0 -1 1077944384 2937 13166 0 0 106 24 5 2 20 0 15 0 106964348 11280941056 444419 33554432000 4194304 4196468 140732367089984 139899769248144 139900229256917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29783] ppid=29724 vsize=11016544 memory=1785884 CPUtime=1.35 cores=1,3,5,7
/proc/29727/task/29783/stat : 29783 (java) S 29724 29727 19273 0 -1 1077944384 4453 13166 0 0 104 24 5 2 20 0 15 0 106964348 11280941056 444419 33554432000 4194304 4196468 140732367089984 139899768195600 139900229256917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29784] ppid=29724 vsize=11016544 memory=1777676 CPUtime=1.38 cores=1,3,5,7
/proc/29727/task/29784/stat : 29784 (java) S 29724 29727 19273 0 -1 1077944384 3349 13166 0 0 107 24 5 2 20 0 15 0 106964348 11280941056 444419 33554432000 4194304 4196468 140732367089984 139899767143056 139900229256917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29785] ppid=29724 vsize=11016544 memory=1777676 CPUtime=0.21 cores=1,3,5,7
/proc/29727/task/29785/stat : 29785 (java) S 29724 29727 19273 0 -1 1077944384 7310 13166 0 0 11 3 5 2 20 0 15 0 106964349 11280941056 444419 33554432000 4194304 4196468 140732367089984 139899722328560 139900229257858 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29786] ppid=29724 vsize=11016544 memory=1890880 CPUtime=0.07 cores=1,3,5,7
/proc/29727/task/29786/stat : 29786 (java) S 29724 29727 19273 0 -1 1077944384 16 13166 0 0 0 0 5 2 20 0 15 0 106964350 11280941056 444419 33554432000 4194304 4196468 140732367089984 139899030201824 139900229256917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29787] ppid=29724 vsize=11016544 memory=279654850580800 CPUtime=0.07 cores=1,3,5,7
/proc/29727/task/29787/stat : 29787 (java) S 29724 29727 19273 0 -1 1077944384 6 13166 0 0 0 0 5 2 20 0 15 0 106964350 11280941056 444419 33554432000 4194304 4196468 140732367089984 139898828875264 139900229256917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29788] ppid=29724 vsize=11016544 memory=2340 CPUtime=0.07 cores=1,3,5,7
/proc/29727/task/29788/stat : 29788 (java) S 29724 29727 19273 0 -1 1077944384 3 13166 0 0 0 0 5 2 20 0 15 0 106964353 11280941056 444419 33554432000 4194304 4196468 140732367089984 139898521475792 139900229265307 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29789] ppid=29724 vsize=11016544 memory=928 CPUtime=12.03 cores=1,3,5,7
/proc/29727/task/29789/stat : 29789 (java) S 29724 29727 19273 0 -1 1077944384 35331 13166 0 0 1191 5 5 2 20 0 15 0 106964353 11280941056 444419 33554432000 4194304 4196468 140732367089984 139899721275376 139900229257858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29790] ppid=29724 vsize=11016544 memory=30628 CPUtime=11.41 cores=1,3,5,7
/proc/29727/task/29790/stat : 29790 (java) S 29724 29727 19273 0 -1 1077944384 31322 13166 0 0 1129 5 5 2 20 0 15 0 106964353 11280941056 444419 33554432000 4194304 4196468 140732367089984 139899720222832 139900229257858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29791] ppid=29724 vsize=11016544 memory=2396 CPUtime=3.8 cores=1,3,5,7
/proc/29727/task/29791/stat : 29791 (java) S 29724 29727 19273 0 -1 1077944384 24115 13166 0 0 366 7 5 2 20 0 15 0 106964353 11280941056 444419 33554432000 4194304 4196468 140732367089984 139899719170288 139900229257858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29792] ppid=29724 vsize=11016544 memory=1777676 CPUtime=0.07 cores=1,3,5,7
/proc/29727/task/29792/stat : 29792 (java) S 29724 29727 19273 0 -1 1077944384 3 13166 0 0 0 0 5 2 20 0 15 0 106964353 11280941056 444419 33554432000 4194304 4196468 140732367089984 139898090678880 139900229256917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29793] ppid=29724 vsize=11016544 memory=1777676 CPUtime=0.18 cores=1,3,5,7
/proc/29727/task/29793/stat : 29793 (java) S 29724 29727 19273 0 -1 1077944384 1691 13166 0 0 4 7 5 2 20 0 15 0 106964353 11280941056 444419 33554432000 4194304 4196468 140732367089984 139899718118192 139900229257858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
Current children cumulated CPU time: 252.08 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1777676 KiB

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

[startup+221.153 s]
# the end of solver process 29727 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=250.484 s, system=1.66352 s

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

[startup+221.11 s]
/proc/loadavg: 1.99 1.93 1.52 3/219 29926
/proc/meminfo: memFree=24898604/32770624 swapFree=67108744/67108860
[pid=29727] ppid=29724 vsize=11016544 memory=1777676 CPUtime=252.08 cores=1,3,5,7
/proc/29727/stat : 29727 (java) S 29724 29727 19273 0 -1 1077944320 173708 13166 0 0 25040 161 5 2 20 0 15 0 106964338 11280941056 444419 33554432000 4194304 4196468 140732367089984 140732367072528 139900229246711 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
/proc/29727/statm: 2754136 444419 3538 1 0 2715789 0
[pid=29727/tid=29780] ppid=29724 vsize=11016544 memory=1918100 CPUtime=219.49 cores=1,3,5,7
/proc/29727/task/29780/stat : 29780 (java) R 29724 29727 19273 0 -1 4202560 57175 13166 0 0 21908 34 5 2 20 0 15 0 106964347 11280941056 444419 33554432000 4194304 4196468 140732367089984 139900201080696 139899796332681 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29781] ppid=29724 vsize=11016544 memory=1838720 CPUtime=1.39 cores=1,3,5,7
/proc/29727/task/29781/stat : 29781 (java) S 29724 29727 19273 0 -1 1077944384 3801 13166 0 0 106 26 5 2 20 0 15 0 106964348 11280941056 444419 33554432000 4194304 4196468 140732367089984 139900233480464 139900229256917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29782] ppid=29724 vsize=11016544 memory=1830000 CPUtime=1.37 cores=1,3,5,7
/proc/29727/task/29782/stat : 29782 (java) S 29724 29727 19273 0 -1 1077944384 2937 13166 0 0 106 24 5 2 20 0 15 0 106964348 11280941056 444419 33554432000 4194304 4196468 140732367089984 139899769248144 139900229256917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29783] ppid=29724 vsize=11016544 memory=1785884 CPUtime=1.35 cores=1,3,5,7
/proc/29727/task/29783/stat : 29783 (java) S 29724 29727 19273 0 -1 1077944384 4453 13166 0 0 104 24 5 2 20 0 15 0 106964348 11280941056 444419 33554432000 4194304 4196468 140732367089984 139899768195600 139900229256917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29784] ppid=29724 vsize=11016544 memory=1777676 CPUtime=1.38 cores=1,3,5,7
/proc/29727/task/29784/stat : 29784 (java) S 29724 29727 19273 0 -1 1077944384 3349 13166 0 0 107 24 5 2 20 0 15 0 106964348 11280941056 444419 33554432000 4194304 4196468 140732367089984 139899767143056 139900229256917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29785] ppid=29724 vsize=11016544 memory=1777676 CPUtime=0.21 cores=1,3,5,7
/proc/29727/task/29785/stat : 29785 (java) S 29724 29727 19273 0 -1 1077944384 7310 13166 0 0 11 3 5 2 20 0 15 0 106964349 11280941056 444419 33554432000 4194304 4196468 140732367089984 139899722328560 139900229257858 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29786] ppid=29724 vsize=11016544 memory=1890880 CPUtime=0.07 cores=1,3,5,7
/proc/29727/task/29786/stat : 29786 (java) S 29724 29727 19273 0 -1 1077944384 16 13166 0 0 0 0 5 2 20 0 15 0 106964350 11280941056 444419 33554432000 4194304 4196468 140732367089984 139899030201824 139900229256917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29787] ppid=29724 vsize=11016544 memory=279654850580800 CPUtime=0.07 cores=1,3,5,7
/proc/29727/task/29787/stat : 29787 (java) S 29724 29727 19273 0 -1 1077944384 6 13166 0 0 0 0 5 2 20 0 15 0 106964350 11280941056 444419 33554432000 4194304 4196468 140732367089984 139898828875264 139900229256917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29788] ppid=29724 vsize=11016544 memory=2340 CPUtime=0.07 cores=1,3,5,7
/proc/29727/task/29788/stat : 29788 (java) S 29724 29727 19273 0 -1 1077944384 3 13166 0 0 0 0 5 2 20 0 15 0 106964353 11280941056 444419 33554432000 4194304 4196468 140732367089984 139898521475792 139900229265307 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29789] ppid=29724 vsize=11016544 memory=928 CPUtime=12.03 cores=1,3,5,7
/proc/29727/task/29789/stat : 29789 (java) S 29724 29727 19273 0 -1 1077944384 35331 13166 0 0 1191 5 5 2 20 0 15 0 106964353 11280941056 444419 33554432000 4194304 4196468 140732367089984 139899721275376 139900229257858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29790] ppid=29724 vsize=11016544 memory=30628 CPUtime=11.41 cores=1,3,5,7
/proc/29727/task/29790/stat : 29790 (java) S 29724 29727 19273 0 -1 1077944384 31322 13166 0 0 1129 5 5 2 20 0 15 0 106964353 11280941056 444419 33554432000 4194304 4196468 140732367089984 139899720222832 139900229257858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29791] ppid=29724 vsize=11016544 memory=2396 CPUtime=3.8 cores=1,3,5,7
/proc/29727/task/29791/stat : 29791 (java) S 29724 29727 19273 0 -1 1077944384 24115 13166 0 0 366 7 5 2 20 0 15 0 106964353 11280941056 444419 33554432000 4194304 4196468 140732367089984 139899719170288 139900229257858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29792] ppid=29724 vsize=11016544 memory=1777676 CPUtime=0.07 cores=1,3,5,7
/proc/29727/task/29792/stat : 29792 (java) S 29724 29727 19273 0 -1 1077944384 3 13166 0 0 0 0 5 2 20 0 15 0 106964353 11280941056 444419 33554432000 4194304 4196468 140732367089984 139898090678880 139900229256917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
[pid=29727/tid=29793] ppid=29724 vsize=11016544 memory=1777676 CPUtime=0.18 cores=1,3,5,7
/proc/29727/task/29793/stat : 29793 (java) S 29724 29727 19273 0 -1 1077944384 1691 13166 0 0 4 7 5 2 20 0 15 0 106964353 11280941056 444419 33554432000 4194304 4196468 140732367089984 139899718118192 139900229257858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11169792 140732367092328 140732367095137 140732367095137 140732367097807 0
Current children cumulated CPU time: 252.08 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1777676 KiB

Child status: 143
Real time (s): 221.153
CPU time (s): 252.147
CPU user time (s): 250.484
CPU system time (s): 1.66352
CPU usage (%): 114.015
Max. virtual memory (cumulated for all children) (KiB): 11017204
Max. memory (cumulated for all children) (KiB): 2336420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.484
system time used= 1.66352
maximum resident set size= 2347732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 188387
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17851
involuntary context switches= 463


# summary of solver processes directly reported to runsolver:
#   pid: 29727
#   total CPU time (s): 252.147
#   total CPU user time (s): 250.484
#   total CPU system time (s): 1.66352

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.29592 second user time and 2.24188 second system time

The end

Launcher Data 

Begin job on node134 at 2018-07-29 21:53:31
IDJOB=4302779
IDBENCH=141049
IDSOLVER=2777
FILE ID=node134/4302779-1532894011
RUNJOBID= node134-1532893331-28701
PBS_JOBID= 21022511
Free space on /tmp= 60932 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-4302779-1532894011/watcher-4302779-1532894011 -o /tmp/evaluation-result-4302779-1532894011/solver-4302779-1532894011 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532893331-28701 --watchdog 312  bin/xcsp-3-concrete -J-Xss64M -randomseed=2061916640 -superng HOME/instance-4302779-1532894011.xml

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

MD5SUM BENCH= 8e8c57bbf90dbce08cf7a3cf301ec8dd
RANDOM SEED=2061916640

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:        26939676 kB
MemAvailable:   30581400 kB
Buffers:          206356 kB
Cached:          3705996 kB
SwapCached:            0 kB
Active:          3089272 kB
Inactive:        2265056 kB
Active(anon):    1391540 kB
Inactive(anon):    78480 kB
Active(file):    1697732 kB
Inactive(file):  2186576 kB
Unevictable:        7364 kB
Mlocked:            7364 kB
SwapTotal:      67108860 kB
SwapFree:       67108744 kB
Dirty:             26524 kB
Writeback:             0 kB
AnonPages:       1500900 kB
Mapped:            58024 kB
Shmem:             25132 kB
Slab:             174872 kB
SReclaimable:     146504 kB
SUnreclaim:        28368 kB
KernelStack:        3872 kB
PageTables:         7844 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2715992 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1275904 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= 60904 MiB
End job on node134 at 2018-07-29 21:57:13