Trace number 4302429

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.9.2? (TO) 252.097 227.237

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.97/0.76	c Concrete v3.9.2.1532736233296 running
16.02/6.12	c 21:55:40.066 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15786. 'extension(5, x[1][29]=[0‥5]) :: init: true :: relation: MDD 270313690, 12 edges, 5 vertices, 9 tuples
16.02/6.13	c 21:55:40.089 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15787. 'extension(5, x[1][29]=[0‥5]) :: init: true :: relation: MDD 1573349881, 6 edges, 3 vertices, 5 tuples
16.02/6.13	c 21:55:40.094 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15815. 'extension(5, x[1][38]=[0‥5]) :: init: true :: relation: MDD 851116146, 12 edges, 5 vertices, 9 tuples
16.02/6.13	c 21:55:40.095 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15816. 'extension(5, x[1][38]=[0‥5]) :: init: true :: relation: MDD 800990938, 6 edges, 3 vertices, 5 tuples
16.02/6.13	c 21:55:40.097 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15844. 'extension(x[0][6]=[0‥5], 5) :: init: true :: relation: MDD 972404515, 12 edges, 5 vertices, 9 tuples
16.02/6.13	c 21:55:40.097 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15845. 'extension(5, x[2][6]=[0‥5]) :: init: true :: relation: MDD 972404515, 12 edges, 5 vertices, 9 tuples
16.02/6.14	c 21:55:40.099 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15877. 'extension(x[0][15]=[0‥5], 5) :: init: true :: relation: MDD 1780306540, 12 edges, 5 vertices, 9 tuples
16.02/6.14	c 21:55:40.100 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15910. 'extension(x[0][25]=[0‥5], 5) :: init: true :: relation: MDD 873002645, 12 edges, 5 vertices, 9 tuples
16.02/6.14	c 21:55:40.101 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15911. 'extension(5, x[2][25]=[0‥5]) :: init: true :: relation: MDD 873002645, 12 edges, 5 vertices, 9 tuples
16.02/6.14	c 21:55:40.103 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15943. 'extension(x[1][5]=[0‥5], 5) :: init: true :: relation: MDD 879924346, 12 edges, 5 vertices, 9 tuples
16.02/6.14	c 21:55:40.105 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15978. 'extension(5, x[3][15]=[0‥5]) :: init: true :: relation: MDD 1780306540, 12 edges, 5 vertices, 9 tuples
16.02/6.14	c 21:55:40.106 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15981. 'extension(5, 5) :: init: true :: relation: MDD 1780306540, 12 edges, 5 vertices, 9 tuples
16.02/6.14	c 21:55:40.108 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16013. 'extension(x[1][20]=[0‥5], 5) :: init: true :: relation: MDD 1531409183, 12 edges, 5 vertices, 9 tuples
16.02/6.14	c 21:55:40.108 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16014. 'extension(5, x[3][20]=[0‥5]) :: init: true :: relation: MDD 1531409183, 12 edges, 5 vertices, 9 tuples
16.02/6.15	c 21:55:40.111 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16048. 'extension(x[1][36]=[0‥5], 5) :: init: true :: relation: MDD 1909367224, 12 edges, 5 vertices, 9 tuples
16.02/6.15	c 21:55:40.112 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16049. 'extension(5, x[3][36]=[0‥5]) :: init: true :: relation: MDD 1909367224, 12 edges, 5 vertices, 9 tuples
16.02/6.15	c 21:55:40.115 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16083. 'extension(x[2][0]=[0‥5], 5) :: init: true :: relation: MDD 242762528, 12 edges, 5 vertices, 9 tuples
16.02/6.15	c 21:55:40.115 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16084. 'extension(5, x[4][0]=[0‥5]) :: init: true :: relation: MDD 242762528, 12 edges, 5 vertices, 9 tuples
16.02/6.15	c 21:55:40.117 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16119. 'extension(5, x[4][5]=[0‥5]) :: init: true :: relation: MDD 879924346, 12 edges, 5 vertices, 9 tuples
16.02/6.15	c 21:55:40.118 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16122. 'extension(5, 5) :: init: true :: relation: MDD 879924346, 12 edges, 5 vertices, 9 tuples
16.02/6.16	c 21:55:40.120 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16155. 'extension(x[2][10]=[0‥5], 5) :: init: true :: relation: MDD 1336210565, 12 edges, 5 vertices, 9 tuples
16.02/6.16	c 21:55:40.121 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16156. 'extension(5, x[4][10]=[0‥5]) :: init: true :: relation: MDD 1336210565, 12 edges, 5 vertices, 9 tuples
16.02/6.16	c 21:55:40.123 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16191. 'extension(x[2][12]=[0‥5], 5) :: init: true :: relation: MDD 1259065345, 12 edges, 5 vertices, 9 tuples
16.02/6.16	c 21:55:40.124 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16227. 'extension(x[2][18]=[0‥5], 5) :: init: true :: relation: MDD 1835878412, 12 edges, 5 vertices, 9 tuples
16.02/6.16	c 21:55:40.125 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16228. 'extension(5, x[4][18]=[0‥5]) :: init: true :: relation: MDD 1835878412, 12 edges, 5 vertices, 9 tuples
16.02/6.16	c 21:55:40.127 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16263. 'extension(x[2][37]=[0‥5], 5) :: init: true :: relation: MDD 917190676, 12 edges, 5 vertices, 9 tuples
16.02/6.16	c 21:55:40.127 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16264. 'extension(5, x[4][37]=[0‥5]) :: init: true :: relation: MDD 917190676, 12 edges, 5 vertices, 9 tuples
16.02/6.17	c 21:55:40.130 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16299. 'extension(5, x[5][12]=[0‥5]) :: init: true :: relation: MDD 1259065345, 12 edges, 5 vertices, 9 tuples
16.02/6.17	c 21:55:40.131 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16302. 'extension(5, 5) :: init: true :: relation: MDD 1259065345, 12 edges, 5 vertices, 9 tuples
16.02/6.17	c 21:55:40.133 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16336. 'extension(x[3][17]=[0‥5], 5) :: init: true :: relation: MDD 1784551034, 12 edges, 5 vertices, 9 tuples
16.02/6.17	c 21:55:40.134 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16373. 'extension(5, wk[14][0]=[0‥1]) :: init: true :: relation: MDD 155829656, 6 edges, 3 vertices, 5 tuples
16.02/6.17	c 21:55:40.135 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16374. 'extension(x[4][14]=[0‥5], 5) :: init: true :: relation: MDD 854255346, 12 edges, 5 vertices, 9 tuples
16.02/6.17	c 21:55:40.135 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16375. 'extension(5, x[6][14]=[0‥5]) :: init: true :: relation: MDD 854255346, 12 edges, 5 vertices, 9 tuples
16.02/6.17	c 21:55:40.137 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16412. 'extension(5, wk[17][0]=[0‥1]) :: init: true :: relation: MDD 722378544, 6 edges, 3 vertices, 5 tuples
16.02/6.17	c 21:55:40.138 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16413. 'extension(5, x[6][17]=[0‥5]) :: init: true :: relation: MDD 1784551034, 12 edges, 5 vertices, 9 tuples
16.02/6.17	c 21:55:40.138 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16416. 'extension(5, 5) :: init: true :: relation: MDD 1784551034, 12 edges, 5 vertices, 9 tuples
16.02/6.18	c 21:55:40.140 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16451. 'extension(5, wk[32][0]=[0‥1]) :: init: true :: relation: MDD 1301763240, 6 edges, 3 vertices, 5 tuples
16.02/6.18	c 21:55:40.141 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16452. 'extension(x[4][32]=[0‥5], 5) :: init: true :: relation: MDD 1952473604, 12 edges, 5 vertices, 9 tuples
16.02/6.18	c 21:55:40.141 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16453. 'extension(5, x[6][32]=[0‥5]) :: init: true :: relation: MDD 1952473604, 12 edges, 5 vertices, 9 tuples
16.02/6.18	c 21:55:40.144 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16490. 'extension(5, wk[31][0]=[0‥1]) :: init: true :: relation: MDD 222250245, 6 edges, 3 vertices, 5 tuples
16.02/6.18	c 21:55:40.144 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16491. 'extension(x[5][31]=[0‥5], 5) :: init: true :: relation: MDD 1628252344, 12 edges, 5 vertices, 9 tuples
16.02/6.18	c 21:55:40.146 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16529. 'extension(x[6][0]=[0‥5], 5) :: init: true :: relation: MDD 242762528, 12 edges, 5 vertices, 9 tuples
16.02/6.18	c 21:55:40.146 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16530. 'extension(5, x[8][0]=[0‥5]) :: init: true :: relation: MDD 242762528, 12 edges, 5 vertices, 9 tuples
16.02/6.18	c 21:55:40.149 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16567. 'extension(x[6][8]=[0‥5], 5) :: init: true :: relation: MDD 1645557354, 12 edges, 5 vertices, 9 tuples
16.02/6.19	c 21:55:40.149 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16568. 'extension(5, x[8][8]=[0‥5]) :: init: true :: relation: MDD 1645557354, 12 edges, 5 vertices, 9 tuples
16.02/6.19	c 21:55:40.151 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16605. 'extension(x[6][11]=[0‥5], 5) :: init: true :: relation: MDD 134943275, 12 edges, 5 vertices, 9 tuples
16.02/6.19	c 21:55:40.152 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16643. 'extension(5, x[8][31]=[0‥5]) :: init: true :: relation: MDD 1628252344, 12 edges, 5 vertices, 9 tuples
16.02/6.19	c 21:55:40.153 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16646. 'extension(5, 5) :: init: true :: relation: MDD 1628252344, 12 edges, 5 vertices, 9 tuples
16.02/6.19	c 21:55:40.154 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16681. 'extension(x[6][39]=[0‥5], 5) :: init: true :: relation: MDD 184017782, 12 edges, 5 vertices, 9 tuples
16.02/6.19	c 21:55:40.155 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16682. 'extension(5, x[8][39]=[0‥5]) :: init: true :: relation: MDD 184017782, 12 edges, 5 vertices, 9 tuples
16.02/6.19	c 21:55:40.158 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16719. 'extension(5, x[9][11]=[0‥5]) :: init: true :: relation: MDD 134943275, 12 edges, 5 vertices, 9 tuples
16.02/6.19	c 21:55:40.158 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16722. 'extension(5, 5) :: init: true :: relation: MDD 134943275, 12 edges, 5 vertices, 9 tuples
16.02/6.20	c 21:55:40.160 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16757. 'extension(x[7][14]=[0‥5], 5) :: init: true :: relation: MDD 854255346, 12 edges, 5 vertices, 9 tuples
16.02/6.20	c 21:55:40.160 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16758. 'extension(5, x[9][14]=[0‥5]) :: init: true :: relation: MDD 854255346, 12 edges, 5 vertices, 9 tuples
16.30/6.20	c 21:55:40.162 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16795. 'extension(x[7][19]=[0‥5], 5) :: init: true :: relation: MDD 2037343019, 12 edges, 5 vertices, 9 tuples
16.30/6.20	c 21:55:40.163 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16833. 'extension(x[7][32]=[0‥5], 5) :: init: true :: relation: MDD 1952473604, 12 edges, 5 vertices, 9 tuples
16.30/6.20	c 21:55:40.164 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16834. 'extension(5, x[9][32]=[0‥5]) :: init: true :: relation: MDD 1952473604, 12 edges, 5 vertices, 9 tuples
16.30/6.20	c 21:55:40.166 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16871. 'extension(x[7][33]=[0‥5], 5) :: init: true :: relation: MDD 233300371, 12 edges, 5 vertices, 9 tuples
16.30/6.22	c 21:55:40.180 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16909. 'extension(5, x[10][19]=[0‥5]) :: init: true :: relation: MDD 2037343019, 12 edges, 5 vertices, 9 tuples
16.30/6.22	c 21:55:40.181 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16912. 'extension(5, 5) :: init: true :: relation: MDD 2037343019, 12 edges, 5 vertices, 9 tuples
16.30/6.22	c 21:55:40.183 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16947. 'extension(5, x[10][33]=[0‥5]) :: init: true :: relation: MDD 233300371, 12 edges, 5 vertices, 9 tuples
16.30/6.22	c 21:55:40.183 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16950. 'extension(5, 5) :: init: true :: relation: MDD 233300371, 12 edges, 5 vertices, 9 tuples
16.30/6.22	c 21:55:40.185 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16985. 'extension(x[8][38]=[0‥5], 5) :: init: true :: relation: MDD 851116146, 12 edges, 5 vertices, 9 tuples
16.30/6.22	c 21:55:40.185 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16986. 'extension(5, x[10][38]=[0‥5]) :: init: true :: relation: MDD 851116146, 12 edges, 5 vertices, 9 tuples
16.30/6.22	c 21:55:40.188 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17023. 'extension(x[9][7]=[0‥5], 5) :: init: true :: relation: MDD 783117220, 12 edges, 5 vertices, 9 tuples
16.30/6.22	c 21:55:40.189 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17061. 'extension(x[10][3]=[0‥5], 5) :: init: true :: relation: MDD 2096808863, 12 edges, 5 vertices, 9 tuples
16.30/6.23	c 21:55:40.190 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17099. 'extension(x[10][6]=[0‥5], 5) :: init: true :: relation: MDD 972404515, 12 edges, 5 vertices, 9 tuples
16.30/6.23	c 21:55:40.191 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17100. 'extension(5, x[12][6]=[0‥5]) :: init: true :: relation: MDD 972404515, 12 edges, 5 vertices, 9 tuples
16.30/6.23	c 21:55:40.193 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17137. 'extension(5, x[12][7]=[0‥5]) :: init: true :: relation: MDD 783117220, 12 edges, 5 vertices, 9 tuples
16.30/6.23	c 21:55:40.193 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17140. 'extension(5, 5) :: init: true :: relation: MDD 783117220, 12 edges, 5 vertices, 9 tuples
16.30/6.23	c 21:55:40.195 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17175. 'extension(x[10][18]=[0‥5], 5) :: init: true :: relation: MDD 1835878412, 12 edges, 5 vertices, 9 tuples
16.30/6.23	c 21:55:40.195 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17176. 'extension(5, x[12][18]=[0‥5]) :: init: true :: relation: MDD 1835878412, 12 edges, 5 vertices, 9 tuples
16.30/6.23	c 21:55:40.197 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17213. 'extension(x[10][22]=[0‥5], 5) :: init: true :: relation: MDD 1651795723, 12 edges, 5 vertices, 9 tuples
16.30/6.23	c 21:55:40.198 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17214. 'extension(5, x[12][22]=[0‥5]) :: init: true :: relation: MDD 1651795723, 12 edges, 5 vertices, 9 tuples
16.30/6.24	c 21:55:40.200 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17251. 'extension(5, wk[3][1]=[0‥1]) :: init: true :: relation: MDD 185209393, 6 edges, 3 vertices, 5 tuples
16.30/6.24	c 21:55:40.200 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17252. 'extension(5, x[13][3]=[0‥5]) :: init: true :: relation: MDD 2096808863, 12 edges, 5 vertices, 9 tuples
16.30/6.24	c 21:55:40.201 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17255. 'extension(5, 5) :: init: true :: relation: MDD 2096808863, 12 edges, 5 vertices, 9 tuples
16.30/6.24	c 21:55:40.202 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17290. 'extension(5, wk[4][1]=[0‥1]) :: init: true :: relation: MDD 823405912, 6 edges, 3 vertices, 5 tuples
16.30/6.24	c 21:55:40.203 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17291. 'extension(x[11][4]=[0‥5], 5) :: init: true :: relation: MDD 812229472, 12 edges, 5 vertices, 9 tuples
16.30/6.24	c 21:55:40.204 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17329. 'extension(5, wk[21][1]=[0‥1]) :: init: true :: relation: MDD 129958347, 6 edges, 3 vertices, 5 tuples
16.30/6.24	c 21:55:40.204 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17330. 'extension(x[11][21]=[0‥5], 5) :: init: true :: relation: MDD 1621615881, 12 edges, 5 vertices, 9 tuples
16.30/6.24	c 21:55:40.204 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17331. 'extension(5, x[13][21]=[0‥5]) :: init: true :: relation: MDD 1621615881, 12 edges, 5 vertices, 9 tuples
16.30/6.25	c 21:55:40.206 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17368. 'extension(5, wk[25][1]=[0‥1]) :: init: true :: relation: MDD 431097582, 6 edges, 3 vertices, 5 tuples
16.30/6.25	c 21:55:40.206 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17369. 'extension(x[11][25]=[0‥5], 5) :: init: true :: relation: MDD 873002645, 12 edges, 5 vertices, 9 tuples
16.30/6.25	c 21:55:40.206 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17370. 'extension(5, x[13][25]=[0‥5]) :: init: true :: relation: MDD 873002645, 12 edges, 5 vertices, 9 tuples
16.30/6.25	c 21:55:40.209 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17407. 'extension(5, wk[4][1]=[0‥1]) :: init: true :: relation: MDD 294827406, 6 edges, 3 vertices, 5 tuples
16.30/6.25	c 21:55:40.209 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17408. 'extension(5, x[14][4]=[0‥5]) :: init: true :: relation: MDD 812229472, 12 edges, 5 vertices, 9 tuples
16.30/6.25	c 21:55:40.210 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17411. 'extension(5, 5) :: init: true :: relation: MDD 812229472, 12 edges, 5 vertices, 9 tuples
16.30/6.25	c 21:55:40.211 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17446. 'extension(5, wk[28][1]=[0‥1]) :: init: true :: relation: MDD 902096996, 6 edges, 3 vertices, 5 tuples
16.30/6.25	c 21:55:40.212 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17447. 'extension(x[12][28]=[0‥5], 5) :: init: true :: relation: MDD 1037793103, 12 edges, 5 vertices, 9 tuples
16.30/6.25	c 21:55:40.212 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17448. 'extension(5, x[14][28]=[0‥5]) :: init: true :: relation: MDD 1037793103, 12 edges, 5 vertices, 9 tuples
16.30/6.25	c 21:55:40.214 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17485. 'extension(x[13][1]=[0‥5], 5) :: init: true :: relation: MDD 1286437308, 12 edges, 5 vertices, 9 tuples
16.30/6.25	c 21:55:40.215 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17523. 'extension(x[13][20]=[0‥5], 5) :: init: true :: relation: MDD 1531409183, 12 edges, 5 vertices, 9 tuples
16.30/6.25	c 21:55:40.215 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17524. 'extension(5, x[15][20]=[0‥5]) :: init: true :: relation: MDD 1531409183, 12 edges, 5 vertices, 9 tuples
16.30/6.25	c 21:55:40.217 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17561. 'extension(x[13][30]=[0‥5], 5) :: init: true :: relation: MDD 495289088, 12 edges, 5 vertices, 9 tuples
16.30/6.25	c 21:55:40.218 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17599. 'extension(x[13][35]=[0‥5], 5) :: init: true :: relation: MDD 2009196049, 12 edges, 5 vertices, 9 tuples
16.30/6.25	c 21:55:40.219 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17637. 'extension(5, x[16][1]=[0‥5]) :: init: true :: relation: MDD 1286437308, 12 edges, 5 vertices, 9 tuples
16.30/6.26	c 21:55:40.220 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17640. 'extension(5, 5) :: init: true :: relation: MDD 1286437308, 12 edges, 5 vertices, 9 tuples
16.30/6.26	c 21:55:40.221 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17675. 'extension(5, x[16][30]=[0‥5]) :: init: true :: relation: MDD 495289088, 12 edges, 5 vertices, 9 tuples
16.30/6.26	c 21:55:40.222 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17678. 'extension(5, 5) :: init: true :: relation: MDD 495289088, 12 edges, 5 vertices, 9 tuples
16.30/6.26	c 21:55:40.224 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17713. 'extension(5, x[16][35]=[0‥5]) :: init: true :: relation: MDD 2009196049, 12 edges, 5 vertices, 9 tuples
16.30/6.26	c 21:55:40.224 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17716. 'extension(5, 5) :: init: true :: relation: MDD 2009196049, 12 edges, 5 vertices, 9 tuples
16.30/6.26	c 21:55:40.226 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17751. 'extension(x[15][24]=[0‥5], 5) :: init: true :: relation: MDD 1007550632, 12 edges, 5 vertices, 9 tuples
16.30/6.26	c 21:55:40.227 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17752. 'extension(5, x[17][24]=[0‥5]) :: init: true :: relation: MDD 1007550632, 12 edges, 5 vertices, 9 tuples
16.30/6.26	c 21:55:40.229 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17789. 'extension(x[17][36]=[0‥5], 5) :: init: true :: relation: MDD 1909367224, 12 edges, 5 vertices, 9 tuples
16.30/6.26	c 21:55:40.229 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17790. 'extension(5, x[19][36]=[0‥5]) :: init: true :: relation: MDD 1909367224, 12 edges, 5 vertices, 9 tuples
16.30/6.27	c 21:55:40.231 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17827. 'extension(5, wk[21][2]=[0‥1]) :: init: true :: relation: MDD 752148842, 6 edges, 3 vertices, 5 tuples
16.30/6.27	c 21:55:40.232 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17828. 'extension(x[18][21]=[0‥5], 5) :: init: true :: relation: MDD 1621615881, 12 edges, 5 vertices, 9 tuples
16.30/6.27	c 21:55:40.232 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17829. 'extension(5, x[20][21]=[0‥5]) :: init: true :: relation: MDD 1621615881, 12 edges, 5 vertices, 9 tuples
16.30/6.27	c 21:55:40.234 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17866. 'extension(5, wk[39][2]=[0‥1]) :: init: true :: relation: MDD 1768473046, 6 edges, 3 vertices, 5 tuples
16.30/6.27	c 21:55:40.234 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17867. 'extension(x[18][39]=[0‥5], 5) :: init: true :: relation: MDD 184017782, 12 edges, 5 vertices, 9 tuples
16.30/6.27	c 21:55:40.234 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17868. 'extension(5, x[20][39]=[0‥5]) :: init: true :: relation: MDD 184017782, 12 edges, 5 vertices, 9 tuples
16.30/6.27	c 21:55:40.237 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17905. 'extension(5, wk[26][2]=[0‥1]) :: init: true :: relation: MDD 658135690, 6 edges, 3 vertices, 5 tuples
16.30/6.27	c 21:55:40.237 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17906. 'extension(x[19][26]=[0‥5], 5) :: init: true :: relation: MDD 994584048, 12 edges, 5 vertices, 9 tuples
16.30/6.27	c 21:55:40.238 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17944. 'extension(x[20][10]=[0‥5], 5) :: init: true :: relation: MDD 1336210565, 12 edges, 5 vertices, 9 tuples
16.30/6.27	c 21:55:40.239 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17945. 'extension(5, x[22][10]=[0‥5]) :: init: true :: relation: MDD 1336210565, 12 edges, 5 vertices, 9 tuples
16.30/6.28	c 21:55:40.241 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17982. 'extension(x[20][16]=[0‥5], 5) :: init: true :: relation: MDD 1752220610, 12 edges, 5 vertices, 9 tuples
16.30/6.28	c 21:55:40.241 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17983. 'extension(5, x[22][16]=[0‥5]) :: init: true :: relation: MDD 1752220610, 12 edges, 5 vertices, 9 tuples
16.30/6.28	c 21:55:40.242 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18020. 'extension(5, x[22][26]=[0‥5]) :: init: true :: relation: MDD 994584048, 12 edges, 5 vertices, 9 tuples
16.30/6.28	c 21:55:40.243 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18023. 'extension(5, 5) :: init: true :: relation: MDD 994584048, 12 edges, 5 vertices, 9 tuples
16.30/6.28	c 21:55:40.245 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18058. 'extension(x[21][8]=[0‥5], 5) :: init: true :: relation: MDD 1645557354, 12 edges, 5 vertices, 9 tuples
16.30/6.28	c 21:55:40.245 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18059. 'extension(5, x[23][8]=[0‥5]) :: init: true :: relation: MDD 1645557354, 12 edges, 5 vertices, 9 tuples
16.30/6.28	c 21:55:40.247 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18096. 'extension(x[21][9]=[0‥5], 5) :: init: true :: relation: MDD 1589745212, 12 edges, 5 vertices, 9 tuples
16.30/6.28	c 21:55:40.247 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18097. 'extension(5, x[23][9]=[0‥5]) :: init: true :: relation: MDD 1589745212, 12 edges, 5 vertices, 9 tuples
16.30/6.28	c 21:55:40.249 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18134. 'extension(x[21][13]=[0‥5], 5) :: init: true :: relation: MDD 376660032, 12 edges, 5 vertices, 9 tuples
16.30/6.29	c 21:55:40.250 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18172. 'extension(x[21][24]=[0‥5], 5) :: init: true :: relation: MDD 1007550632, 12 edges, 5 vertices, 9 tuples
16.30/6.29	c 21:55:40.250 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18173. 'extension(5, x[23][24]=[0‥5]) :: init: true :: relation: MDD 1007550632, 12 edges, 5 vertices, 9 tuples
16.30/6.29	c 21:55:40.252 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18210. 'extension(x[22][2]=[0‥5], 5) :: init: true :: relation: MDD 1594214614, 12 edges, 5 vertices, 9 tuples
16.30/6.29	c 21:55:40.253 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18247. 'extension(5, x[24][13]=[0‥5]) :: init: true :: relation: MDD 376660032, 12 edges, 5 vertices, 9 tuples
16.30/6.29	c 21:55:40.254 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18250. 'extension(5, 5) :: init: true :: relation: MDD 376660032, 12 edges, 5 vertices, 9 tuples
16.30/6.29	c 21:55:40.255 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18284. 'extension(x[22][23]=[0‥5], 5) :: init: true :: relation: MDD 1561005241, 12 edges, 5 vertices, 9 tuples
16.30/6.29	c 21:55:40.259 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18285. 'extension(5, x[24][23]=[0‥5]) :: init: true :: relation: MDD 1561005241, 12 edges, 5 vertices, 9 tuples
16.30/6.30	c 21:55:40.261 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18321. 'extension(x[22][29]=[0‥5], 5) :: init: true :: relation: MDD 270313690, 12 edges, 5 vertices, 9 tuples
16.30/6.30	c 21:55:40.261 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18322. 'extension(5, x[24][29]=[0‥5]) :: init: true :: relation: MDD 270313690, 12 edges, 5 vertices, 9 tuples
16.30/6.30	c 21:55:40.263 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18358. 'extension(x[22][37]=[0‥5], 5) :: init: true :: relation: MDD 917190676, 12 edges, 5 vertices, 9 tuples
16.30/6.30	c 21:55:40.263 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18359. 'extension(5, x[24][37]=[0‥5]) :: init: true :: relation: MDD 917190676, 12 edges, 5 vertices, 9 tuples
16.30/6.30	c 21:55:40.266 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18395. 'extension(5, x[25][2]=[0‥5]) :: init: true :: relation: MDD 1594214614, 12 edges, 5 vertices, 9 tuples
16.30/6.30	c 21:55:40.266 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18398. 'extension(5, 5) :: init: true :: relation: MDD 1594214614, 12 edges, 5 vertices, 9 tuples
16.30/6.30	c 21:55:40.268 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18431. 'extension(x[23][16]=[0‥5], 5) :: init: true :: relation: MDD 1752220610, 12 edges, 5 vertices, 9 tuples
16.30/6.30	c 21:55:40.268 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18432. 'extension(5, x[25][16]=[0‥5]) :: init: true :: relation: MDD 1752220610, 12 edges, 5 vertices, 9 tuples
16.66/6.31	c 21:55:40.271 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18467. 'extension(x[24][27]=[0‥5], 5) :: init: true :: relation: MDD 1973281540, 12 edges, 5 vertices, 9 tuples
16.66/6.31	c 21:55:40.272 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18502. 'extension(5, wk[22][3]=[0‥1]) :: init: true :: relation: MDD 521985523, 6 edges, 3 vertices, 5 tuples
16.66/6.31	c 21:55:40.272 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18503. 'extension(x[25][22]=[0‥5], 5) :: init: true :: relation: MDD 1651795723, 12 edges, 5 vertices, 9 tuples
16.66/6.31	c 21:55:40.272 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18504. 'extension(5, x[27][22]=[0‥5]) :: init: true :: relation: MDD 1651795723, 12 edges, 5 vertices, 9 tuples
16.66/6.31	c 21:55:40.274 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18536. 'extension(5, wk[27][3]=[0‥1]) :: init: true :: relation: MDD 1829313709, 6 edges, 3 vertices, 5 tuples
16.66/6.31	c 21:55:40.274 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18537. 'extension(5, x[27][27]=[0‥5]) :: init: true :: relation: MDD 1973281540, 12 edges, 5 vertices, 9 tuples
16.66/6.31	c 21:55:40.274 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18539. 'extension(5, 5) :: init: true :: relation: MDD 1973281540, 12 edges, 5 vertices, 9 tuples
16.66/6.31	c 21:55:40.276 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18570. 'extension(5, wk[34][3]=[0‥1]) :: init: true :: relation: MDD 556151572, 6 edges, 3 vertices, 5 tuples
16.66/6.31	c 21:55:40.276 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18571. 'extension(x[25][34]=[0‥5], 5) :: init: true :: relation: MDD 2077150966, 12 edges, 5 vertices, 9 tuples
16.66/6.31	c 21:55:40.277 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18604. 'extension(5, wk[9][3]=[0‥1]) :: init: true :: relation: MDD 540876179, 6 edges, 3 vertices, 5 tuples
16.66/6.31	c 21:55:40.277 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18605. 'extension(x[26][9]=[0‥5], 5) :: init: true :: relation: MDD 1589745212, 12 edges, 5 vertices, 9 tuples
16.66/6.31	c 21:55:40.278 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18606. 'extension(5, x[26][9]=[0‥5]) :: init: true :: relation: MDD 1406763631, 6 edges, 3 vertices, 5 tuples
16.66/6.31	c 21:55:40.279 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18634. 'extension(5, wk[23][3]=[0‥1]) :: init: true :: relation: MDD 1246238504, 6 edges, 3 vertices, 5 tuples
16.66/6.31	c 21:55:40.279 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18635. 'extension(x[26][23]=[0‥5], 5) :: init: true :: relation: MDD 1561005241, 12 edges, 5 vertices, 9 tuples
16.66/6.31	c 21:55:40.279 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18636. 'extension(5, x[26][23]=[0‥5]) :: init: true :: relation: MDD 1437977899, 6 edges, 3 vertices, 5 tuples
16.66/6.32	c 21:55:40.280 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18664. 'extension(5, wk[28][3]=[0‥1]) :: init: true :: relation: MDD 1829496747, 6 edges, 3 vertices, 5 tuples
16.66/6.32	c 21:55:40.281 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18665. 'extension(x[26][28]=[0‥5], 5) :: init: true :: relation: MDD 1037793103, 12 edges, 5 vertices, 9 tuples
16.66/6.32	c 21:55:40.281 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18666. 'extension(5, x[26][28]=[0‥5]) :: init: true :: relation: MDD 1730062079, 6 edges, 3 vertices, 5 tuples
16.66/6.32	c 21:55:40.282 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18694. 'extension(5, wk[34][3]=[0‥1]) :: init: true :: relation: MDD 1251133097, 6 edges, 3 vertices, 5 tuples
16.66/6.32	c 21:55:40.282 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18695. 'extension(5, 5) :: init: true :: relation: MDD 2077150966, 12 edges, 5 vertices, 9 tuples
16.66/6.32	c 21:55:40.282 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18696. 'extension(5, 5) :: init: true :: relation: MDD 2010426450, 6 edges, 3 vertices, 5 tuples
16.66/6.33	c 21:55:40.295 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18805. 'extension(x[1][29]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.33	c 21:55:40.296 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18807. 'extension(x[1][29]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.33	c 21:55:40.296 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18813. 'extension(x[1][38]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.33	c 21:55:40.296 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18815. 'extension(x[1][38]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.33	c 21:55:40.297 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18821. 'extension(x[0][6]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.33	c 21:55:40.297 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18823. 'extension(x[2][6]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.33	c 21:55:40.298 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18835. 'extension(x[0][15]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.33	c 21:55:40.298 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18839. 'extension(x[0][25]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.33	c 21:55:40.298 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18841. 'extension(x[2][25]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.33	c 21:55:40.299 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18853. 'extension(x[1][5]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.33	c 21:55:40.299 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18859. 'extension(x[3][15]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.34	c 21:55:40.300 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18873. 'extension(x[1][20]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.34	c 21:55:40.300 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18875. 'extension(x[3][20]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.34	c 21:55:40.301 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18889. 'extension(x[1][36]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.34	c 21:55:40.301 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18891. 'extension(x[3][36]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.34	c 21:55:40.302 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18905. 'extension(x[2][0]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.34	c 21:55:40.302 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18907. 'extension(x[4][0]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.34	c 21:55:40.303 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18921. 'extension(x[4][5]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.34	c 21:55:40.303 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18935. 'extension(x[2][10]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.34	c 21:55:40.304 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18937. 'extension(x[4][10]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.34	c 21:55:40.304 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18951. 'extension(x[2][12]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.34	c 21:55:40.305 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18957. 'extension(x[2][18]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.34	c 21:55:40.305 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18959. 'extension(x[4][18]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.34	c 21:55:40.306 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18973. 'extension(x[2][37]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.34	c 21:55:40.306 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18975. 'extension(x[4][37]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.34	c 21:55:40.306 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18989. 'extension(x[5][12]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.34	c 21:55:40.307 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19003. 'extension(x[3][17]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.34	c 21:55:40.308 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19009. 'extension(wk[14][0]=[0‥1]) :: init: true :: relation: Empty MDD
16.66/6.34	c 21:55:40.308 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19011. 'extension(x[4][14]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.34	c 21:55:40.308 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19013. 'extension(x[6][14]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.35	c 21:55:40.309 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19027. 'extension(wk[17][0]=[0‥1]) :: init: true :: relation: Empty MDD
16.66/6.35	c 21:55:40.309 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19029. 'extension(x[6][17]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.35	c 21:55:40.310 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19043. 'extension(wk[32][0]=[0‥1]) :: init: true :: relation: Empty MDD
16.66/6.35	c 21:55:40.310 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19045. 'extension(x[4][32]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.35	c 21:55:40.310 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19047. 'extension(x[6][32]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.35	c 21:55:40.311 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19061. 'extension(wk[31][0]=[0‥1]) :: init: true :: relation: Empty MDD
16.66/6.35	c 21:55:40.311 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19063. 'extension(x[5][31]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.35	c 21:55:40.311 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19069. 'extension(x[6][0]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.35	c 21:55:40.312 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19071. 'extension(x[8][0]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.35	c 21:55:40.312 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19085. 'extension(x[6][8]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.35	c 21:55:40.313 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19087. 'extension(x[8][8]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.35	c 21:55:40.313 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19101. 'extension(x[6][11]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.35	c 21:55:40.314 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19107. 'extension(x[8][31]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.35	c 21:55:40.314 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19121. 'extension(x[6][39]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.35	c 21:55:40.315 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19123. 'extension(x[8][39]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.35	c 21:55:40.315 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19137. 'extension(x[9][11]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.35	c 21:55:40.316 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19151. 'extension(x[7][14]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.35	c 21:55:40.316 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19153. 'extension(x[9][14]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.35	c 21:55:40.317 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19167. 'extension(x[7][19]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.35	c 21:55:40.317 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19173. 'extension(x[7][32]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.35	c 21:55:40.317 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19175. 'extension(x[9][32]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.35	c 21:55:40.318 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19189. 'extension(x[7][33]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.35	c 21:55:40.319 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19195. 'extension(x[10][19]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.35	c 21:55:40.319 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19209. 'extension(x[10][33]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.36	c 21:55:40.320 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19223. 'extension(x[8][38]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.36	c 21:55:40.320 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19225. 'extension(x[10][38]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.36	c 21:55:40.321 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19239. 'extension(x[9][7]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.36	c 21:55:40.321 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19245. 'extension(x[10][3]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.36	c 21:55:40.322 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19251. 'extension(x[10][6]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.36	c 21:55:40.322 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19253. 'extension(x[12][6]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.36	c 21:55:40.323 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19267. 'extension(x[12][7]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.36	c 21:55:40.323 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19281. 'extension(x[10][18]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.36	c 21:55:40.324 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19283. 'extension(x[12][18]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.36	c 21:55:40.324 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19297. 'extension(x[10][22]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.36	c 21:55:40.324 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19299. 'extension(x[12][22]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.36	c 21:55:40.325 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19313. 'extension(wk[3][1]=[0‥1]) :: init: true :: relation: Empty MDD
16.66/6.36	c 21:55:40.325 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19315. 'extension(x[13][3]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.36	c 21:55:40.326 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19329. 'extension(wk[4][1]=[0‥1]) :: init: true :: relation: Empty MDD
16.66/6.36	c 21:55:40.326 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19331. 'extension(x[11][4]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.36	c 21:55:40.327 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19337. 'extension(wk[21][1]=[0‥1]) :: init: true :: relation: Empty MDD
16.66/6.36	c 21:55:40.327 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19339. 'extension(x[11][21]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.36	c 21:55:40.327 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19341. 'extension(x[13][21]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.36	c 21:55:40.328 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19355. 'extension(wk[25][1]=[0‥1]) :: init: true :: relation: Empty MDD
16.66/6.36	c 21:55:40.328 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19357. 'extension(x[11][25]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.36	c 21:55:40.328 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19359. 'extension(x[13][25]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.36	c 21:55:40.329 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19373. 'extension(wk[4][1]=[0‥1]) :: init: true :: relation: Empty MDD
16.66/6.36	c 21:55:40.329 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19375. 'extension(x[14][4]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.37	c 21:55:40.330 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19389. 'extension(wk[28][1]=[0‥1]) :: init: true :: relation: Empty MDD
16.66/6.37	c 21:55:40.330 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19391. 'extension(x[12][28]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.37	c 21:55:40.330 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19393. 'extension(x[14][28]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.37	c 21:55:40.331 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19407. 'extension(x[13][1]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.37	c 21:55:40.331 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19413. 'extension(x[13][20]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.37	c 21:55:40.331 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19415. 'extension(x[15][20]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.37	c 21:55:40.332 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19429. 'extension(x[13][30]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.37	c 21:55:40.333 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19435. 'extension(x[13][35]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.37	c 21:55:40.333 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19441. 'extension(x[16][1]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.37	c 21:55:40.334 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19455. 'extension(x[16][30]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.37	c 21:55:40.334 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19469. 'extension(x[16][35]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.37	c 21:55:40.335 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19483. 'extension(x[15][24]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.37	c 21:55:40.335 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19485. 'extension(x[17][24]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.37	c 21:55:40.336 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19499. 'extension(x[17][36]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.37	c 21:55:40.336 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19501. 'extension(x[19][36]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.37	c 21:55:40.337 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19515. 'extension(wk[21][2]=[0‥1]) :: init: true :: relation: Empty MDD
16.66/6.37	c 21:55:40.337 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19517. 'extension(x[18][21]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.37	c 21:55:40.337 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19519. 'extension(x[20][21]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.37	c 21:55:40.338 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19533. 'extension(wk[39][2]=[0‥1]) :: init: true :: relation: Empty MDD
16.66/6.37	c 21:55:40.338 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19535. 'extension(x[18][39]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.37	c 21:55:40.339 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19537. 'extension(x[20][39]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.37	c 21:55:40.339 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19551. 'extension(wk[26][2]=[0‥1]) :: init: true :: relation: Empty MDD
16.66/6.38	c 21:55:40.339 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19553. 'extension(x[19][26]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.38	c 21:55:40.340 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19559. 'extension(x[20][10]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.38	c 21:55:40.340 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19561. 'extension(x[22][10]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.38	c 21:55:40.341 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19575. 'extension(x[20][16]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.38	c 21:55:40.341 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19577. 'extension(x[22][16]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.38	c 21:55:40.342 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19591. 'extension(x[22][26]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.38	c 21:55:40.342 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19605. 'extension(x[21][8]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.38	c 21:55:40.343 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19607. 'extension(x[23][8]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.38	c 21:55:40.343 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19621. 'extension(x[21][9]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.38	c 21:55:40.343 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19623. 'extension(x[23][9]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.38	c 21:55:40.344 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19637. 'extension(x[21][13]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.38	c 21:55:40.345 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19643. 'extension(x[21][24]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.38	c 21:55:40.345 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19645. 'extension(x[23][24]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.38	c 21:55:40.346 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19659. 'extension(x[22][2]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.38	c 21:55:40.346 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19665. 'extension(x[24][13]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.38	c 21:55:40.347 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19679. 'extension(x[22][23]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.38	c 21:55:40.347 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19681. 'extension(x[24][23]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.38	c 21:55:40.348 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19695. 'extension(x[22][29]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.38	c 21:55:40.348 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19697. 'extension(x[24][29]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.38	c 21:55:40.349 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19711. 'extension(x[22][37]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.38	c 21:55:40.349 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19713. 'extension(x[24][37]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.39	c 21:55:40.349 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19727. 'extension(x[25][2]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.39	c 21:55:40.350 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19741. 'extension(x[23][16]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.39	c 21:55:40.350 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19743. 'extension(x[25][16]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.39	c 21:55:40.351 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19757. 'extension(x[24][27]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.39	c 21:55:40.351 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19763. 'extension(wk[22][3]=[0‥1]) :: init: true :: relation: Empty MDD
16.66/6.39	c 21:55:40.352 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19765. 'extension(x[25][22]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.39	c 21:55:40.352 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19767. 'extension(x[27][22]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.39	c 21:55:40.352 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19779. 'extension(wk[27][3]=[0‥1]) :: init: true :: relation: Empty MDD
16.66/6.39	c 21:55:40.353 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19781. 'extension(x[27][27]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.39	c 21:55:40.353 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19793. 'extension(wk[34][3]=[0‥1]) :: init: true :: relation: Empty MDD
16.66/6.39	c 21:55:40.353 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19795. 'extension(x[25][34]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.39	c 21:55:40.354 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19801. 'extension(wk[9][3]=[0‥1]) :: init: true :: relation: Empty MDD
16.66/6.39	c 21:55:40.354 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19803. 'extension(x[26][9]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.39	c 21:55:40.354 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19805. 'extension(x[26][9]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.39	c 21:55:40.354 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19811. 'extension(wk[23][3]=[0‥1]) :: init: true :: relation: Empty MDD
16.66/6.39	c 21:55:40.355 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19813. 'extension(x[26][23]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.39	c 21:55:40.355 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19815. 'extension(x[26][23]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.39	c 21:55:40.355 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19821. 'extension(wk[28][3]=[0‥1]) :: init: true :: relation: Empty MDD
16.66/6.39	c 21:55:40.355 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19823. 'extension(x[26][28]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.39	c 21:55:40.355 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19825. 'extension(x[26][28]=[0‥5]) :: init: true :: relation: Empty MDD
16.66/6.39	c 21:55:40.356 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19831. 'extension(wk[34][3]=[0‥1]) :: init: true :: relation: Empty MDD
252.05/227.20	Exception in thread "main" java.util.concurrent.TimeoutException
252.05/227.21		at concrete.MAC.mac(MAC.scala:188)
252.05/227.21		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
252.05/227.21		at scala.util.Try$.apply(Try.scala:209)
252.05/227.21		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
252.05/227.21		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
252.05/227.21		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
252.05/227.21		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
252.05/227.21		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
252.05/227.21		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
252.05/227.21		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
252.05/227.21		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
252.05/227.21		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
252.05/227.21		at concrete.MAC.oneRun(MAC.scala:253)
252.05/227.21		at concrete.MAC.nextSolution(MAC.scala:272)
252.05/227.21		at concrete.MAC.$anonfun$nextSolution$5(MAC.scala:336)
252.05/227.21		at concrete.ProblemState.map(ProblemState.scala:221)
252.05/227.21		at concrete.ProblemState.map(ProblemState.scala:204)
252.05/227.21		at concrete.MAC.nextSolution(MAC.scala:334)
252.05/227.21		at concrete.Solver.hasNext(Solver.scala:166)
252.05/227.21		at scala.collection.Iterator.foreach(Iterator.scala:944)
252.05/227.21		at scala.collection.Iterator.foreach$(Iterator.scala:944)
252.05/227.21		at concrete.Solver.foreach(Solver.scala:68)
252.05/227.21		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
252.05/227.21		at scala.util.Success.$anonfun$map$1(Try.scala:251)
252.05/227.21		at scala.util.Success.map(Try.scala:209)
252.05/227.21		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
252.05/227.21		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
252.05/227.21		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
252.05/227.21		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
252.05/227.21		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
252.05/227.21		at scala.Function0.apply$mcV$sp(Function0.scala:34)
252.05/227.21		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
252.05/227.21		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
252.05/227.21		at scala.App.$anonfun$main$1$adapted(App.scala:76)
252.05/227.21		at scala.collection.immutable.List.foreach(List.scala:389)
252.05/227.21		at scala.App.main(App.scala:76)
252.05/227.21		at scala.App.main$(App.scala:74)
252.05/227.21		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
252.05/227.21		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
252.05/227.21	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 (14339 MiB free)
  memory of node 1: 16384 MiB (13239 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302429-1532894133/watcher-4302429-1532894133 -o /tmp/evaluation-result-4302429-1532894133/solver-4302429-1532894133 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532894133-1620 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=1545695682 HOME/instance-4302429-1532894133.xml 

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

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

solver pid=1652, runsolver pid=1645

[startup+0.100058 s]*
/proc/loadavg: 1.33 1.42 1.41 5/193 1740
/proc/meminfo: memFree=28237920/32770624 swapFree=67108860/67108860
[pid=1652] ppid=1645 vsize=10520 memory=404 CPUtime=0.08 cores=0,2,4,6
/proc/1652/stat : 1652 (java) R 1645 1652 22004 0 -1 4202496 1156 12976 0 1 0 0 5 3 20 0 1 0 106976534 10772480 101 33554432000 4194304 4196468 140720726086720 140720726083944 140357059997568 0 0 4096 0 0 0 0 17 4 0 0 1 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
/proc/1652/statm: 2630 101 77 1 0 52 0
[pid=1652/tid=1757] ppid=1645 vsize=163220 memory=8326441112148417179 CPUtime=0.08 cores=0,2,4,6
/proc/1652/task/1757/stat : 1757 (java) D 1645 1652 22004 0 -1 1077944384 75 12976 0 1 0 0 5 3 20 0 2 0 106976545 167137280 1177 33554432000 4194304 4196468 140720726086720 140357039889784 140357070329543 0 0 4096 0 18446744072101756452 0 0 -1 0 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10520 KiB
Current children cumulated memory: 404 KiB

[startup+0.210087 s]*
/proc/loadavg: 1.33 1.42 1.41 5/217 1783
/proc/meminfo: memFree=28183048/32770624 swapFree=67108860/67108860
[pid=1652] ppid=1645 vsize=10982744 memory=41716 CPUtime=0.23 cores=0,2,4,6
/proc/1652/stat : 1652 (java) S 1645 1652 22004 0 -1 1077944320 6640 12976 0 1 14 1 5 3 20 0 15 0 106976534 11246329856 10429 33554432000 4194304 4196468 140720726086720 140720726069264 140357068054263 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 1 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
/proc/1652/statm: 2745686 10429 2951 1 0 2708109 0
[pid=1652/tid=1757] ppid=1645 vsize=10982744 memory=7022364594140610616 CPUtime=0.18 cores=0,2,4,6
/proc/1652/task/1757/stat : 1757 (java) R 1645 1652 22004 0 -1 4202560 3208 12976 0 1 9 1 5 3 20 0 15 0 106976545 11246329856 10429 33554432000 4194304 4196468 140720726086720 140357039850304 140357052134750 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1760] ppid=1645 vsize=10982744 memory=365 CPUtime=0.08 cores=0,2,4,6
/proc/1652/task/1760/stat : 1760 (java) S 1645 1652 22004 0 -1 1077944384 1 12976 0 1 0 0 5 3 20 0 15 0 106976546 11246329856 10429 33554432000 4194304 4196468 140720726086720 140357072296592 140357068064469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1762] ppid=1645 vsize=10982744 memory=140254556089315 CPUtime=0.08 cores=0,2,4,6
/proc/1652/task/1762/stat : 1762 (java) S 1645 1652 22004 0 -1 1077944384 2 12976 0 1 0 0 5 3 20 0 15 0 106976546 11246329856 10429 33554432000 4194304 4196468 140720726086720 140356927015440 140357068064469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1764] ppid=1645 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1652/task/1764/stat : 1764 (java) S 1645 1652 22004 0 -1 1077944384 1 12976 0 1 0 0 5 3 20 0 15 0 106976546 11246329856 10429 33554432000 4194304 4196468 140720726086720 140356925962640 140357068064469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1765] ppid=1645 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/1652/task/1765/stat : 1765 (java) S 1645 1652 22004 0 -1 1077944384 2 12976 0 1 0 0 5 3 20 0 15 0 106976546 11246329856 10429 33554432000 4194304 4196468 140720726086720 140356924909840 140357068064469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1767] ppid=1645 vsize=10982744 memory=140254555469440 CPUtime=0.08 cores=0,2,4,6
/proc/1652/task/1767/stat : 1767 (java) S 1645 1652 22004 0 -1 1077944384 2 12976 0 1 0 0 5 3 20 0 15 0 106976548 11246329856 10429 33554432000 4194304 4196468 140720726086720 140356493601648 140357068065410 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1769] ppid=1645 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/1652/task/1769/stat : 1769 (java) S 1645 1652 22004 0 -1 1077944384 13 12976 0 1 0 0 5 3 20 0 15 0 106976548 11246329856 10429 33554432000 4194304 4196468 140720726086720 140355840239136 140357068064469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1771] ppid=1645 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1652/task/1771/stat : 1771 (java) S 1645 1652 22004 0 -1 1077944384 1 12976 0 1 0 0 5 3 20 0 15 0 106976548 11246329856 10429 33554432000 4194304 4196468 140720726086720 140355638912368 140357068064469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1776] ppid=1645 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1652/task/1776/stat : 1776 (java) S 1645 1652 22004 0 -1 1077944384 3 12976 0 1 0 0 5 3 20 0 15 0 106976551 11246329856 10429 33554432000 4194304 4196468 140720726086720 140355331512656 140357068072859 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1777] ppid=1645 vsize=10982744 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/1652/task/1777/stat : 1777 (java) S 1645 1652 22004 0 -1 1077944384 422 12976 0 1 1 0 5 3 20 0 15 0 106976551 11246329856 10429 33554432000 4194304 4196468 140720726086720 140356492548464 140357068065410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1778] ppid=1645 vsize=10982744 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/1652/task/1778/stat : 1778 (java) S 1645 1652 22004 0 -1 1077944384 190 12976 0 1 1 0 5 3 20 0 15 0 106976551 11246329856 10429 33554432000 4194304 4196468 140720726086720 140356491495664 140357068065410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1779] ppid=1645 vsize=10982744 memory=140254555469440 CPUtime=0.1 cores=0,2,4,6
/proc/1652/task/1779/stat : 1779 (java) S 1645 1652 22004 0 -1 1077944384 611 12976 0 1 2 0 5 3 20 0 15 0 106976551 11246329856 10429 33554432000 4194304 4196468 140720726086720 140356490442864 140357068065410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1781] ppid=1645 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/1652/task/1781/stat : 1781 (java) S 1645 1652 22004 0 -1 1077944384 3 12976 0 1 0 0 5 3 20 0 15 0 106976551 11246329856 10429 33554432000 4194304 4196468 140720726086720 140354900715744 140357068064469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1783] ppid=1645 vsize=10982744 memory=140254555469440 CPUtime=0.08 cores=0,2,4,6
/proc/1652/task/1783/stat : 1783 (java) S 1645 1652 22004 0 -1 1077944384 1 12976 0 1 0 0 5 3 20 0 15 0 106976551 11246329856 10429 33554432000 4194304 4196468 140720726086720 140356489391280 140357068065410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 41716 KiB

[startup+0.310381 s]*
/proc/loadavg: 1.33 1.42 1.41 4/217 1783
/proc/meminfo: memFree=28158924/32770624 swapFree=67108860/67108860
[pid=1652] ppid=1645 vsize=10983192 memory=55220 CPUtime=0.36 cores=0,2,4,6
/proc/1652/stat : 1652 (java) S 1645 1652 22004 0 -1 1077944320 9846 12976 0 1 26 2 5 3 20 0 15 0 106976534 11246788608 13805 33554432000 4194304 4196468 140720726086720 140720726069264 140357068054263 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 1 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
/proc/1652/statm: 2745798 13805 3070 1 0 2708109 0
[pid=1652/tid=1757] ppid=1645 vsize=10983192 memory=4294969504 CPUtime=0.27 cores=0,2,4,6
/proc/1652/task/1757/stat : 1757 (java) R 1645 1652 22004 0 -1 4202560 6391 12976 0 1 18 1 5 3 20 0 15 0 106976545 11246788608 13805 33554432000 4194304 4196468 140720726086720 140357039866272 140357049617823 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1760] ppid=1645 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1652/task/1760/stat : 1760 (java) S 1645 1652 22004 0 -1 1077944384 1 12976 0 1 0 0 5 3 20 0 15 0 106976546 11246788608 13805 33554432000 4194304 4196468 140720726086720 140357072296592 140357068064469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1762] ppid=1645 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1652/task/1762/stat : 1762 (java) S 1645 1652 22004 0 -1 1077944384 2 12976 0 1 0 0 5 3 20 0 15 0 106976546 11246788608 13805 33554432000 4194304 4196468 140720726086720 140356927015440 140357068064469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1764] ppid=1645 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1652/task/1764/stat : 1764 (java) S 1645 1652 22004 0 -1 1077944384 1 12976 0 1 0 0 5 3 20 0 15 0 106976546 11246788608 13805 33554432000 4194304 4196468 140720726086720 140356925962640 140357068064469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1765] ppid=1645 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/1652/task/1765/stat : 1765 (java) S 1645 1652 22004 0 -1 1077944384 2 12976 0 1 0 0 5 3 20 0 15 0 106976546 11246788608 13805 33554432000 4194304 4196468 140720726086720 140356924909840 140357068064469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1767] ppid=1645 vsize=10983192 memory=140254555469440 CPUtime=0.08 cores=0,2,4,6
/proc/1652/task/1767/stat : 1767 (java) S 1645 1652 22004 0 -1 1077944384 2 12976 0 1 0 0 5 3 20 0 15 0 106976548 11246788608 13805 33554432000 4194304 4196468 140720726086720 140356493601648 140357068065410 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1769] ppid=1645 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/1652/task/1769/stat : 1769 (java) S 1645 1652 22004 0 -1 1077944384 13 12976 0 1 0 0 5 3 20 0 15 0 106976548 11246788608 13805 33554432000 4194304 4196468 140720726086720 140355840239136 140357068064469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1771] ppid=1645 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1652/task/1771/stat : 1771 (java) S 1645 1652 22004 0 -1 1077944384 1 12976 0 1 0 0 5 3 20 0 15 0 106976548 11246788608 13805 33554432000 4194304 4196468 140720726086720 140355638912368 140357068064469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1776] ppid=1645 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1652/task/1776/stat : 1776 (java) S 1645 1652 22004 0 -1 1077944384 3 12976 0 1 0 0 5 3 20 0 15 0 106976551 11246788608 13805 33554432000 4194304 4196468 140720726086720 140355331512656 140357068072859 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1777] ppid=1645 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/1652/task/1777/stat : 1777 (java) S 1645 1652 22004 0 -1 1077944384 424 12976 0 1 1 0 5 3 20 0 15 0 106976551 11246788608 13805 33554432000 4194304 4196468 140720726086720 140356492548464 140357068065410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1778] ppid=1645 vsize=10983192 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/1652/task/1778/stat : 1778 (java) S 1645 1652 22004 0 -1 1077944384 190 12976 0 1 1 0 5 3 20 0 15 0 106976551 11246788608 13805 33554432000 4194304 4196468 140720726086720 140356491495664 140357068065410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1779] ppid=1645 vsize=10983192 memory=140254555469440 CPUtime=0.12 cores=0,2,4,6
/proc/1652/task/1779/stat : 1779 (java) S 1645 1652 22004 0 -1 1077944384 622 12976 0 1 4 0 5 3 20 0 15 0 106976551 11246788608 13805 33554432000 4194304 4196468 140720726086720 140356490442864 140357068065410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1781] ppid=1645 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/1652/task/1781/stat : 1781 (java) S 1645 1652 22004 0 -1 1077944384 3 12976 0 1 0 0 5 3 20 0 15 0 106976551 11246788608 13805 33554432000 4194304 4196468 140720726086720 140354900715744 140357068064469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1783] ppid=1645 vsize=10983192 memory=140254555469440 CPUtime=0.08 cores=0,2,4,6
/proc/1652/task/1783/stat : 1783 (java) S 1645 1652 22004 0 -1 1077944384 1 12976 0 1 0 0 5 3 20 0 15 0 106976551 11246788608 13805 33554432000 4194304 4196468 140720726086720 140356489391280 140357068065410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55220 KiB

[startup+0.700731 s]
/proc/loadavg: 1.33 1.42 1.41 4/217 1783
/proc/meminfo: memFree=28132484/32770624 swapFree=67108860/67108860
[pid=1652] ppid=1645 vsize=10983192 memory=90412 CPUtime=0.97 cores=0,2,4,6
/proc/1652/stat : 1652 (java) S 1645 1652 22004 0 -1 1077944320 16682 12976 0 1 84 5 5 3 20 0 15 0 106976534 11246788608 22603 33554432000 4194304 4196468 140720726086720 140720726069264 140357068054263 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 1 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
/proc/1652/statm: 2745798 22603 3238 1 0 2708109 0
[pid=1652/tid=1757] ppid=1645 vsize=10983192 memory=140254555468273 CPUtime=0.65 cores=0,2,4,6
/proc/1652/task/1757/stat : 1757 (java) R 1645 1652 22004 0 -1 4202560 12117 12976 0 1 54 3 5 3 20 0 15 0 106976545 11246788608 22603 33554432000 4194304 4196468 140720726086720 140357039867384 140357052134750 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1760] ppid=1645 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1652/task/1760/stat : 1760 (java) S 1645 1652 22004 0 -1 1077944384 1 12976 0 1 0 0 5 3 20 0 15 0 106976546 11246788608 22603 33554432000 4194304 4196468 140720726086720 140357072296592 140357068064469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1762] ppid=1645 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1652/task/1762/stat : 1762 (java) S 1645 1652 22004 0 -1 1077944384 2 12976 0 1 0 0 5 3 20 0 15 0 106976546 11246788608 22603 33554432000 4194304 4196468 140720726086720 140356927015440 140357068064469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1764] ppid=1645 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1652/task/1764/stat : 1764 (java) S 1645 1652 22004 0 -1 1077944384 1 12976 0 1 0 0 5 3 20 0 15 0 106976546 11246788608 22603 33554432000 4194304 4196468 140720726086720 140356925962640 140357068064469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1765] ppid=1645 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1652/task/1765/stat : 1765 (java) S 1645 1652 22004 0 -1 1077944384 2 12976 0 1 0 0 5 3 20 0 15 0 106976546 11246788608 22603 33554432000 4194304 4196468 140720726086720 140356924909840 140357068064469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1767] ppid=1645 vsize=10983192 memory=8694662682302196193 CPUtime=0.08 cores=0,2,4,6
/proc/1652/task/1767/stat : 1767 (java) S 1645 1652 22004 0 -1 1077944384 5 12976 0 1 0 0 5 3 20 0 15 0 106976548 11246788608 22603 33554432000 4194304 4196468 140720726086720 140356493601648 140357068065410 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1769] ppid=1645 vsize=10983192 memory=6656426216303648864 CPUtime=0.08 cores=0,2,4,6
/proc/1652/task/1769/stat : 1769 (java) S 1645 1652 22004 0 -1 1077944384 13 12976 0 1 0 0 5 3 20 0 15 0 106976548 11246788608 22603 33554432000 4194304 4196468 140720726086720 140355840239136 140357068064469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1771] ppid=1645 vsize=10983192 memory=-3472574944341025154 CPUtime=0.08 cores=0,2,4,6
/proc/1652/task/1771/stat : 1771 (java) S 1645 1652 22004 0 -1 1077944384 1 12976 0 1 0 0 5 3 20 0 15 0 106976548 11246788608 22603 33554432000 4194304 4196468 140720726086720 140355638912368 140357068064469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1776] ppid=1645 vsize=10983192 memory=6944656592455097440 CPUtime=0.08 cores=0,2,4,6
/proc/1652/task/1776/stat : 1776 (java) S 1645 1652 22004 0 -1 1077944384 3 12976 0 1 0 0 5 3 20 0 15 0 106976551 11246788608 22603 33554432000 4194304 4196468 140720726086720 140355331512656 140357068072859 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1777] ppid=1645 vsize=10983192 memory=6656426216303648864 CPUtime=0.17 cores=0,2,4,6
/proc/1652/task/1777/stat : 1777 (java) S 1645 1652 22004 0 -1 1077944384 1076 12976 0 1 9 0 5 3 20 0 15 0 106976551 11246788608 22603 33554432000 4194304 4196468 140720726086720 140356492548464 140357068065410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1778] ppid=1645 vsize=10983192 memory=140254438924247 CPUtime=0.15 cores=0,2,4,6
/proc/1652/task/1778/stat : 1778 (java) S 1645 1652 22004 0 -1 1077944384 555 12976 0 1 7 0 5 3 20 0 15 0 106976551 11246788608 22603 33554432000 4194304 4196468 140720726086720 140356491495664 140357068065410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1779] ppid=1645 vsize=10983192 memory=280508877777728 CPUtime=0.21 cores=0,2,4,6
/proc/1652/task/1779/stat : 1779 (java) S 1645 1652 22004 0 -1 1077944384 712 12976 0 1 13 0 5 3 20 0 15 0 106976551 11246788608 22603 33554432000 4194304 4196468 140720726086720 140356490442864 140357068065410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1781] ppid=1645 vsize=10983192 memory=280508877777920 CPUtime=0.08 cores=0,2,4,6
/proc/1652/task/1781/stat : 1781 (java) S 1645 1652 22004 0 -1 1077944384 3 12976 0 1 0 0 5 3 20 0 15 0 106976551 11246788608 22603 33554432000 4194304 4196468 140720726086720 140354900715744 140357068064469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1783] ppid=1645 vsize=10983192 memory=280508877783648 CPUtime=0.08 cores=0,2,4,6
/proc/1652/task/1783/stat : 1783 (java) S 1645 1652 22004 0 -1 1077944384 1 12976 0 1 0 0 5 3 20 0 15 0 106976551 11246788608 22603 33554432000 4194304 4196468 140720726086720 140356489391280 140357068065410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 90412 KiB

[startup+1.50116 s]
/proc/loadavg: 1.33 1.42 1.41 4/217 1783
/proc/meminfo: memFree=28046552/32770624 swapFree=67108860/67108860
[pid=1652] ppid=1645 vsize=10993996 memory=174340 CPUtime=3.13 cores=0,2,4,6
/proc/1652/stat : 1652 (java) S 1645 1652 22004 0 -1 1077944320 25563 12976 0 1 297 8 5 3 20 0 15 0 106976534 11257851904 43585 33554432000 4194304 4196468 140720726086720 140720726069264 140357068054263 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 1 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
/proc/1652/statm: 2748499 43585 3447 1 0 2710157 0
[pid=1652/tid=1757] ppid=1645 vsize=10993996 memory=0 CPUtime=1.45 cores=0,2,4,6
/proc/1652/task/1757/stat : 1757 (java) R 1645 1652 22004 0 -1 4202560 15397 12976 0 1 131 6 5 3 20 0 15 0 106976545 11257851904 43585 33554432000 4194304 4196468 140720726086720 140357039889280 140357068076189 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1760] ppid=1645 vsize=10993996 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1652/task/1760/stat : 1760 (java) S 1645 1652 22004 0 -1 1077944384 1 12976 0 1 0 0 5 3 20 0 15 0 106976546 11257851904 43585 33554432000 4194304 4196468 140720726086720 140357072296592 140357068064469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1762] ppid=1645 vsize=10993996 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1652/task/1762/stat : 1762 (java) S 1645 1652 22004 0 -1 1077944384 2 12976 0 1 0 0 5 3 20 0 15 0 106976546 11257851904 43585 33554432000 4194304 4196468 140720726086720 140356927015440 140357068064469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1764] ppid=1645 vsize=10993996 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1652/task/1764/stat : 1764 (java) S 1645 1652 22004 0 -1 1077944384 1 12976 0 1 0 0 5 3 20 0 15 0 106976546 11257851904 43585 33554432000 4194304 4196468 140720726086720 140356925962640 140357068064469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1765] ppid=1645 vsize=10993996 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1652/task/1765/stat : 1765 (java) S 1645 1652 22004 0 -1 1077944384 2 12976 0 1 0 0 5 3 20 0 15 0 106976546 11257851904 43585 33554432000 4194304 4196468 140720726086720 140356924909840 140357068064469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1767] ppid=1645 vsize=10993996 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1652/task/1767/stat : 1767 (java) S 1645 1652 22004 0 -1 1077944384 13 12976 0 1 0 0 5 3 20 0 15 0 106976548 11257851904 43585 33554432000 4194304 4196468 140720726086720 140356493601648 140357068065410 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1769] ppid=1645 vsize=10993996 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1652/task/1769/stat : 1769 (java) S 1645 1652 22004 0 -1 1077944384 13 12976 0 1 0 0 5 3 20 0 15 0 106976548 11257851904 43585 33554432000 4194304 4196468 140720726086720 140355840239136 140357068064469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1771] ppid=1645 vsize=10993996 memory=280508878373760 CPUtime=0.08 cores=0,2,4,6
/proc/1652/task/1771/stat : 1771 (java) S 1645 1652 22004 0 -1 1077944384 1 12976 0 1 0 0 5 3 20 0 15 0 106976548 11257851904 43585 33554432000 4194304 4196468 140720726086720 140355638912368 140357068064469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1776] ppid=1645 vsize=10993996 memory=280508877694928 CPUtime=0.08 cores=0,2,4,6
/proc/1652/task/1776/stat : 1776 (java) S 1645 1652 22004 0 -1 1077944384 3 12976 0 1 0 0 5 3 20 0 15 0 106976551 11257851904 43585 33554432000 4194304 4196468 140720726086720 140355331512656 140357068072859 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1777] ppid=1645 vsize=10993996 memory=288230596050944315 CPUtime=0.68 cores=0,2,4,6
/proc/1652/task/1777/stat : 1777 (java) R 1645 1652 22004 0 -1 4202560 3079 12976 0 1 60 0 5 3 20 0 15 0 106976551 11257851904 43585 33554432000 4194304 4196468 140720726086720 140356492534488 140357049598463 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1778] ppid=1645 vsize=10993996 memory=14694106144180102 CPUtime=0.64 cores=0,2,4,6
/proc/1652/task/1778/stat : 1778 (java) R 1645 1652 22004 0 -1 4202560 2912 12976 0 1 56 0 5 3 20 0 15 0 106976551 11257851904 43585 33554432000 4194304 4196468 140720726086720 140356491486048 140357051328816 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1779] ppid=1645 vsize=10993996 memory=0 CPUtime=0.57 cores=0,2,4,6
/proc/1652/task/1779/stat : 1779 (java) S 1645 1652 22004 0 -1 1077944384 1946 12976 0 1 49 0 5 3 20 0 15 0 106976551 11257851904 43585 33554432000 4194304 4196468 140720726086720 140356490442864 140357068065410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1781] ppid=1645 vsize=10993996 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1652/task/1781/stat : 1781 (java) S 1645 1652 22004 0 -1 1077944384 3 12976 0 1 0 0 5 3 20 0 15 0 106976551 11257851904 43585 33554432000 4194304 4196468 140720726086720 140354900715744 140357068064469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1783] ppid=1645 vsize=10993996 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1652/task/1783/stat : 1783 (java) S 1645 1652 22004 0 -1 1077944384 1 12976 0 1 0 0 5 3 20 0 15 0 106976551 11257851904 43585 33554432000 4194304 4196468 140720726086720 140356489391280 140357068065410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
Current children cumulated CPU time: 3.13 s
Current children cumulated vsize: 10993996 KiB
Current children cumulated memory: 174340 KiB

[startup+3.11116 s]
/proc/loadavg: 1.33 1.42 1.41 10/217 1783
/proc/meminfo: memFree=27726164/32770624 swapFree=67108860/67108860
[pid=1652] ppid=1645 vsize=11006304 memory=253372 CPUtime=6.79 cores=0,2,4,6
/proc/1652/stat : 1652 (java) S 1645 1652 22004 0 -1 1077944320 41933 12976 0 1 656 15 5 3 20 0 15 0 106976534 11270455296 63343 33554432000 4194304 4196468 140720726086720 140720726069264 140357068054263 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 1 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
/proc/1652/statm: 2751576 63343 3498 1 0 2713229 0

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

/proc/1652/task/1757/stat : 1757 (java) R 1645 1652 22004 0 -1 4202560 56230 12976 0 1 10118 26 5 3 20 0 15 0 106976545 11348049920 383075 33554432000 4194304 4196468 140720726086720 140357039888960 140356598249866 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1760] ppid=1645 vsize=11082080 memory=1547152 CPUtime=0.54 cores=0,2,4,6
/proc/1652/task/1760/stat : 1760 (java) S 1645 1652 22004 0 -1 1077944384 2726 12976 0 1 37 9 5 3 20 0 15 0 106976546 11348049920 383075 33554432000 4194304 4196468 140720726086720 140357072296592 140357068064469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1762] ppid=1645 vsize=11082080 memory=55 CPUtime=0.56 cores=0,2,4,6
/proc/1652/task/1762/stat : 1762 (java) S 1645 1652 22004 0 -1 1077944384 3496 12976 0 1 37 11 5 3 20 0 15 0 106976546 11348049920 383075 33554432000 4194304 4196468 140720726086720 140356927015440 140357068064469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1764] ppid=1645 vsize=11082080 memory=1601520 CPUtime=0.55 cores=0,2,4,6
/proc/1652/task/1764/stat : 1764 (java) S 1645 1652 22004 0 -1 1077944384 666 12976 0 1 38 9 5 3 20 0 15 0 106976546 11348049920 383075 33554432000 4194304 4196468 140720726086720 140356925962640 140357068064469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1765] ppid=1645 vsize=11082080 memory=8 CPUtime=0.54 cores=0,2,4,6
/proc/1652/task/1765/stat : 1765 (java) S 1645 1652 22004 0 -1 1077944384 1305 12976 0 1 36 10 5 3 20 0 15 0 106976546 11348049920 383075 33554432000 4194304 4196468 140720726086720 140356924909840 140357068064469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1767] ppid=1645 vsize=11082080 memory=4612 CPUtime=0.2 cores=0,2,4,6
/proc/1652/task/1767/stat : 1767 (java) S 1645 1652 22004 0 -1 1077944384 3151 12976 0 1 12 0 5 3 20 0 15 0 106976548 11348049920 383075 33554432000 4194304 4196468 140720726086720 140356493601648 140357068065410 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1769] ppid=1645 vsize=11082080 memory=8112282956445269571 CPUtime=0.08 cores=0,2,4,6
/proc/1652/task/1769/stat : 1769 (java) S 1645 1652 22004 0 -1 1077944384 20 12976 0 1 0 0 5 3 20 0 15 0 106976548 11348049920 383075 33554432000 4194304 4196468 140720726086720 140355840239200 140357068064469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1771] ppid=1645 vsize=11082080 memory=1624 CPUtime=0.08 cores=0,2,4,6
/proc/1652/task/1771/stat : 1771 (java) S 1645 1652 22004 0 -1 1077944384 5 12976 0 1 0 0 5 3 20 0 15 0 106976548 11348049920 383075 33554432000 4194304 4196468 140720726086720 140355638912384 140357068064469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1776] ppid=1645 vsize=11082080 memory=9675 CPUtime=0.08 cores=0,2,4,6
/proc/1652/task/1776/stat : 1776 (java) S 1645 1652 22004 0 -1 1077944384 3 12976 0 1 0 0 5 3 20 0 15 0 106976551 11348049920 383075 33554432000 4194304 4196468 140720726086720 140355331512656 140357068072859 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1777] ppid=1645 vsize=11082080 memory=45 CPUtime=9.07 cores=0,2,4,6
/proc/1652/task/1777/stat : 1777 (java) S 1645 1652 22004 0 -1 1077944384 20055 12976 0 1 895 4 5 3 20 0 15 0 106976551 11348049920 383075 33554432000 4194304 4196468 140720726086720 140356492548464 140357068065410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1778] ppid=1645 vsize=11082080 memory=47 CPUtime=9.11 cores=0,2,4,6
/proc/1652/task/1778/stat : 1778 (java) S 1645 1652 22004 0 -1 1077944384 19420 12976 0 1 898 5 5 3 20 0 15 0 106976551 11348049920 383075 33554432000 4194304 4196468 140720726086720 140356491495664 140357068065410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1779] ppid=1645 vsize=11082080 memory=1110796 CPUtime=3.36 cores=0,2,4,6
/proc/1652/task/1779/stat : 1779 (java) S 1645 1652 22004 0 -1 1077944384 22659 12976 0 1 323 5 5 3 20 0 15 0 106976551 11348049920 383075 33554432000 4194304 4196468 140720726086720 140356490442864 140357068065410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1781] ppid=1645 vsize=11082080 memory=2296 CPUtime=0.08 cores=0,2,4,6
/proc/1652/task/1781/stat : 1781 (java) S 1645 1652 22004 0 -1 1077944384 3 12976 0 1 0 0 5 3 20 0 15 0 106976551 11348049920 383075 33554432000 4194304 4196468 140720726086720 140354900715744 140357068064469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1783] ppid=1645 vsize=11082080 memory=2296 CPUtime=0.13 cores=0,2,4,6
/proc/1652/task/1783/stat : 1783 (java) S 1645 1652 22004 0 -1 1077944384 943 12976 0 1 2 3 5 3 20 0 15 0 106976551 11348049920 383075 33554432000 4194304 4196468 140720726086720 140356489391280 140357068065410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
Current children cumulated CPU time: 124.97 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1532300 KiB

[startup+162.301 s]
/proc/loadavg: 1.44 1.55 1.48 4/217 1786
/proc/meminfo: memFree=25070668/32770624 swapFree=67108860/67108860
[pid=1652] ppid=1645 vsize=11082080 memory=1413480 CPUtime=185.78 cores=0,2,4,6
/proc/1652/stat : 1652 (java) S 1645 1652 22004 0 -1 1077944320 146940 12976 0 1 18480 90 5 3 20 0 15 0 106976534 11348049920 353370 33554432000 4194304 4196468 140720726086720 140720726069264 140357068054263 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 1 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
/proc/1652/statm: 2770520 353370 3535 1 0 2732173 0
[pid=1652/tid=1757] ppid=1645 vsize=11082080 memory=1432976 CPUtime=161.37 cores=0,2,4,6
/proc/1652/task/1757/stat : 1757 (java) R 1645 1652 22004 0 -1 4202560 57707 12976 0 1 16103 26 5 3 20 0 15 0 106976545 11348049920 353370 33554432000 4194304 4196468 140720726086720 140357039888784 140356598219104 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1760] ppid=1645 vsize=11082080 memory=1430408 CPUtime=0.61 cores=0,2,4,6
/proc/1652/task/1760/stat : 1760 (java) S 1645 1652 22004 0 -1 1077944384 2910 12976 0 1 43 10 5 3 20 0 15 0 106976546 11348049920 353370 33554432000 4194304 4196468 140720726086720 140357072296592 140357068064469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1762] ppid=1645 vsize=11082080 memory=0 CPUtime=0.62 cores=0,2,4,6
/proc/1652/task/1762/stat : 1762 (java) S 1645 1652 22004 0 -1 1077944384 3563 12976 0 1 43 11 5 3 20 0 15 0 106976546 11348049920 353370 33554432000 4194304 4196468 140720726086720 140356927015440 140357068064469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1764] ppid=1645 vsize=11082080 memory=1416556 CPUtime=0.63 cores=0,2,4,6
/proc/1652/task/1764/stat : 1764 (java) S 1645 1652 22004 0 -1 1077944384 2410 12976 0 1 45 10 5 3 20 0 15 0 106976546 11348049920 353370 33554432000 4194304 4196468 140720726086720 140356925962640 140357068064469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1765] ppid=1645 vsize=11082080 memory=1413480 CPUtime=0.61 cores=0,2,4,6
/proc/1652/task/1765/stat : 1765 (java) S 1645 1652 22004 0 -1 1077944384 1418 12976 0 1 42 11 5 3 20 0 15 0 106976546 11348049920 353370 33554432000 4194304 4196468 140720726086720 140356924909840 140357068064469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1767] ppid=1645 vsize=11082080 memory=1439132 CPUtime=0.25 cores=0,2,4,6
/proc/1652/task/1767/stat : 1767 (java) S 1645 1652 22004 0 -1 1077944384 3492 12976 0 1 16 1 5 3 20 0 15 0 106976548 11348049920 353370 33554432000 4194304 4196468 140720726086720 140356493601648 140357068065410 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1769] ppid=1645 vsize=11082080 memory=43 CPUtime=0.08 cores=0,2,4,6
/proc/1652/task/1769/stat : 1769 (java) S 1645 1652 22004 0 -1 1077944384 20 12976 0 1 0 0 5 3 20 0 15 0 106976548 11348049920 353370 33554432000 4194304 4196468 140720726086720 140355840239200 140357068064469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1771] ppid=1645 vsize=11082080 memory=1004 CPUtime=0.08 cores=0,2,4,6
/proc/1652/task/1771/stat : 1771 (java) S 1645 1652 22004 0 -1 1077944384 5 12976 0 1 0 0 5 3 20 0 15 0 106976548 11348049920 353370 33554432000 4194304 4196468 140720726086720 140355638912384 140357068064469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1776] ppid=1645 vsize=11082080 memory=12060 CPUtime=0.08 cores=0,2,4,6
/proc/1652/task/1776/stat : 1776 (java) S 1645 1652 22004 0 -1 1077944384 3 12976 0 1 0 0 5 3 20 0 15 0 106976551 11348049920 353370 33554432000 4194304 4196468 140720726086720 140355331512656 140357068072859 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1777] ppid=1645 vsize=11082080 memory=1419636 CPUtime=9.32 cores=0,2,4,6
/proc/1652/task/1777/stat : 1777 (java) S 1645 1652 22004 0 -1 1077944384 22940 12976 0 1 920 4 5 3 20 0 15 0 106976551 11348049920 353370 33554432000 4194304 4196468 140720726086720 140356492548464 140357068065410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1778] ppid=1645 vsize=11082080 memory=2424 CPUtime=9.35 cores=0,2,4,6
/proc/1652/task/1778/stat : 1778 (java) S 1645 1652 22004 0 -1 1077944384 22756 12976 0 1 922 5 5 3 20 0 15 0 106976551 11348049920 353370 33554432000 4194304 4196468 140720726086720 140356491495664 140357068065410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1779] ppid=1645 vsize=11082080 memory=1416556 CPUtime=3.48 cores=0,2,4,6
/proc/1652/task/1779/stat : 1779 (java) S 1645 1652 22004 0 -1 1077944384 26542 12976 0 1 334 6 5 3 20 0 15 0 106976551 11348049920 353370 33554432000 4194304 4196468 140720726086720 140356490442864 140357068065410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1781] ppid=1645 vsize=11082080 memory=3978121267389674865 CPUtime=0.08 cores=0,2,4,6
/proc/1652/task/1781/stat : 1781 (java) S 1645 1652 22004 0 -1 1077944384 3 12976 0 1 0 0 5 3 20 0 15 0 106976551 11348049920 353370 33554432000 4194304 4196468 140720726086720 140354900715744 140357068064469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1783] ppid=1645 vsize=11082080 memory=1413480 CPUtime=0.16 cores=0,2,4,6
/proc/1652/task/1783/stat : 1783 (java) S 1645 1652 22004 0 -1 1077944384 981 12976 0 1 4 4 5 3 20 0 15 0 106976551 11348049920 353370 33554432000 4194304 4196468 140720726086720 140356489391280 140357068065410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
Current children cumulated CPU time: 185.78 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1413480 KiB

[startup+222.301 s]
/proc/loadavg: 1.32 1.51 1.47 4/217 1787
/proc/meminfo: memFree=25185844/32770624 swapFree=67108860/67108860
[pid=1652] ppid=1645 vsize=11082080 memory=1361144 CPUtime=247.01 cores=0,2,4,6
/proc/1652/stat : 1652 (java) S 1645 1652 22004 0 -1 1077944320 160151 12976 0 1 24595 98 5 3 20 0 15 0 106976534 11348049920 340286 33554432000 4194304 4196468 140720726086720 140720726069264 140357068054263 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 1 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
/proc/1652/statm: 2770520 340286 3535 1 0 2732173 0
[pid=1652/tid=1757] ppid=1645 vsize=11082080 memory=1362172 CPUtime=220.95 cores=0,2,4,6
/proc/1652/task/1757/stat : 1757 (java) R 1645 1652 22004 0 -1 4202560 58835 12976 0 1 22059 28 5 3 20 0 15 0 106976545 11348049920 340286 33554432000 4194304 4196468 140720726086720 140357039889248 140356620909255 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1760] ppid=1645 vsize=11082080 memory=4052 CPUtime=0.81 cores=0,2,4,6
/proc/1652/task/1760/stat : 1760 (java) S 1645 1652 22004 0 -1 1077944384 3201 12976 0 1 62 11 5 3 20 0 15 0 106976546 11348049920 340286 33554432000 4194304 4196468 140720726086720 140357072296592 140357068064469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1762] ppid=1645 vsize=11082080 memory=1361144 CPUtime=0.83 cores=0,2,4,6
/proc/1652/task/1762/stat : 1762 (java) S 1645 1652 22004 0 -1 1077944384 4756 12976 0 1 63 12 5 3 20 0 15 0 106976546 11348049920 340286 33554432000 4194304 4196468 140720726086720 140356927015440 140357068064469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1764] ppid=1645 vsize=11082080 memory=4052 CPUtime=0.84 cores=0,2,4,6
/proc/1652/task/1764/stat : 1764 (java) S 1645 1652 22004 0 -1 1077944384 2579 12976 0 1 65 11 5 3 20 0 15 0 106976546 11348049920 340286 33554432000 4194304 4196468 140720726086720 140356925962640 140357068064469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1765] ppid=1645 vsize=11082080 memory=1365248 CPUtime=0.82 cores=0,2,4,6
/proc/1652/task/1765/stat : 1765 (java) S 1645 1652 22004 0 -1 1077944384 2169 12976 0 1 62 12 5 3 20 0 15 0 106976546 11348049920 340286 33554432000 4194304 4196468 140720726086720 140356924909840 140357068064469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1767] ppid=1645 vsize=11082080 memory=1371404 CPUtime=0.43 cores=0,2,4,6
/proc/1652/task/1767/stat : 1767 (java) S 1645 1652 22004 0 -1 1077944384 3853 12976 0 1 32 3 5 3 20 0 15 0 106976548 11348049920 340286 33554432000 4194304 4196468 140720726086720 140356493601648 140357068065410 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1769] ppid=1645 vsize=11082080 memory=1372944 CPUtime=0.08 cores=0,2,4,6
/proc/1652/task/1769/stat : 1769 (java) S 1645 1652 22004 0 -1 1077944384 20 12976 0 1 0 0 5 3 20 0 15 0 106976548 11348049920 340286 33554432000 4194304 4196468 140720726086720 140355840239200 140357068064469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1771] ppid=1645 vsize=11082080 memory=1361144 CPUtime=0.08 cores=0,2,4,6
/proc/1652/task/1771/stat : 1771 (java) S 1645 1652 22004 0 -1 1077944384 5 12976 0 1 0 0 5 3 20 0 15 0 106976548 11348049920 340286 33554432000 4194304 4196468 140720726086720 140355638912384 140357068064469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1776] ppid=1645 vsize=11082080 memory=1362172 CPUtime=0.08 cores=0,2,4,6
/proc/1652/task/1776/stat : 1776 (java) S 1645 1652 22004 0 -1 1077944384 3 12976 0 1 0 0 5 3 20 0 15 0 106976551 11348049920 340286 33554432000 4194304 4196468 140720726086720 140355331512656 140357068072859 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1777] ppid=1645 vsize=11082080 memory=8112282956445269571 CPUtime=9.57 cores=0,2,4,6
/proc/1652/task/1777/stat : 1777 (java) S 1645 1652 22004 0 -1 1077944384 26944 12976 0 1 944 5 5 3 20 0 15 0 106976551 11348049920 340286 33554432000 4194304 4196468 140720726086720 140356492548464 140357068065410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1778] ppid=1645 vsize=11082080 memory=3474301949664584840 CPUtime=9.61 cores=0,2,4,6
/proc/1652/task/1778/stat : 1778 (java) S 1645 1652 22004 0 -1 1077944384 24806 12976 0 1 948 5 5 3 20 0 15 0 106976551 11348049920 340286 33554432000 4194304 4196468 140720726086720 140356491495664 140357068065410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1779] ppid=1645 vsize=11082080 memory=8112282956445269571 CPUtime=3.58 cores=0,2,4,6
/proc/1652/task/1779/stat : 1779 (java) S 1645 1652 22004 0 -1 1077944384 29779 12976 0 1 344 6 5 3 20 0 15 0 106976551 11348049920 340286 33554432000 4194304 4196468 140720726086720 140356490442864 140357068065410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1781] ppid=1645 vsize=11082080 memory=1361144 CPUtime=0.08 cores=0,2,4,6
/proc/1652/task/1781/stat : 1781 (java) S 1645 1652 22004 0 -1 1077944384 3 12976 0 1 0 0 5 3 20 0 15 0 106976551 11348049920 340286 33554432000 4194304 4196468 140720726086720 140354900715744 140357068064469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1783] ppid=1645 vsize=11082080 memory=1366276 CPUtime=0.19 cores=0,2,4,6
/proc/1652/task/1783/stat : 1783 (java) S 1645 1652 22004 0 -1 1077944384 1008 12976 0 1 5 6 5 3 20 0 15 0 106976551 11348049920 340286 33554432000 4194304 4196468 140720726086720 140356489391280 140357068065410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
Current children cumulated CPU time: 247.01 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1361144 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+227.201 s]
/proc/loadavg: 1.37 1.52 1.47 4/217 1918
/proc/meminfo: memFree=26789896/32770624 swapFree=67108860/67108860
[pid=1652] ppid=1645 vsize=11082080 memory=1361144 CPUtime=252.05 cores=0,2,4,6
/proc/1652/stat : 1652 (java) S 1645 1652 22004 0 -1 1077944320 160199 12976 0 1 25098 99 5 3 20 0 15 0 106976534 11348049920 340286 33554432000 4194304 4196468 140720726086720 140720726069264 140357068054263 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 1 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
/proc/1652/statm: 2770520 340286 3535 1 0 2732173 0
[pid=1652/tid=1757] ppid=1645 vsize=11082080 memory=1361144 CPUtime=225.81 cores=0,2,4,6
/proc/1652/task/1757/stat : 1757 (java) R 1645 1652 22004 0 -1 4202560 58858 12976 0 1 22545 28 5 3 20 0 15 0 106976545 11348049920 340286 33554432000 4194304 4196468 140720726086720 140357039888496 140356596335430 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1760] ppid=1645 vsize=11082080 memory=4028 CPUtime=0.84 cores=0,2,4,6
/proc/1652/task/1760/stat : 1760 (java) S 1645 1652 22004 0 -1 1077944384 3203 12976 0 1 64 12 5 3 20 0 15 0 106976546 11348049920 340286 33554432000 4194304 4196468 140720726086720 140357072296592 140357068064469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1762] ppid=1645 vsize=11082080 memory=30452 CPUtime=0.85 cores=0,2,4,6
/proc/1652/task/1762/stat : 1762 (java) S 1645 1652 22004 0 -1 1077944384 4757 12976 0 1 65 12 5 3 20 0 15 0 106976546 11348049920 340286 33554432000 4194304 4196468 140720726086720 140356927015440 140357068064469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1764] ppid=1645 vsize=11082080 memory=1296 CPUtime=0.86 cores=0,2,4,6
/proc/1652/task/1764/stat : 1764 (java) S 1645 1652 22004 0 -1 1077944384 2579 12976 0 1 67 11 5 3 20 0 15 0 106976546 11348049920 340286 33554432000 4194304 4196468 140720726086720 140356925962640 140357068064469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1765] ppid=1645 vsize=11082080 memory=2296 CPUtime=0.85 cores=0,2,4,6
/proc/1652/task/1765/stat : 1765 (java) S 1645 1652 22004 0 -1 1077944384 2170 12976 0 1 65 12 5 3 20 0 15 0 106976546 11348049920 340286 33554432000 4194304 4196468 140720726086720 140356924909840 140357068064469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1767] ppid=1645 vsize=11082080 memory=2296 CPUtime=0.44 cores=0,2,4,6
/proc/1652/task/1767/stat : 1767 (java) S 1645 1652 22004 0 -1 1077944384 3854 12976 0 1 33 3 5 3 20 0 15 0 106976548 11348049920 340286 33554432000 4194304 4196468 140720726086720 140356493601648 140357068065410 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1769] ppid=1645 vsize=11082080 memory=1408 CPUtime=0.08 cores=0,2,4,6
/proc/1652/task/1769/stat : 1769 (java) S 1645 1652 22004 0 -1 1077944384 20 12976 0 1 0 0 5 3 20 0 15 0 106976548 11348049920 340286 33554432000 4194304 4196468 140720726086720 140355840239200 140357068064469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1771] ppid=1645 vsize=11082080 memory=8112282956445269571 CPUtime=0.08 cores=0,2,4,6
/proc/1652/task/1771/stat : 1771 (java) S 1645 1652 22004 0 -1 1077944384 5 12976 0 1 0 0 5 3 20 0 15 0 106976548 11348049920 340286 33554432000 4194304 4196468 140720726086720 140355638912384 140357068064469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1776] ppid=1645 vsize=11082080 memory=288230596050944315 CPUtime=0.08 cores=0,2,4,6
/proc/1652/task/1776/stat : 1776 (java) S 1645 1652 22004 0 -1 1077944384 3 12976 0 1 0 0 5 3 20 0 15 0 106976551 11348049920 340286 33554432000 4194304 4196468 140720726086720 140355331512656 140357068072859 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1777] ppid=1645 vsize=11082080 memory=14694106144180102 CPUtime=9.6 cores=0,2,4,6
/proc/1652/task/1777/stat : 1777 (java) S 1645 1652 22004 0 -1 1077944384 26956 12976 0 1 947 5 5 3 20 0 15 0 106976551 11348049920 340286 33554432000 4194304 4196468 140720726086720 140356492548464 140357068065410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1778] ppid=1645 vsize=11082080 memory=2424 CPUtime=9.64 cores=0,2,4,6
/proc/1652/task/1778/stat : 1778 (java) S 1645 1652 22004 0 -1 1077944384 24807 12976 0 1 951 5 5 3 20 0 15 0 106976551 11348049920 340286 33554432000 4194304 4196468 140720726086720 140356491495664 140357068065410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1779] ppid=1645 vsize=11082080 memory=8112282956445269571 CPUtime=3.59 cores=0,2,4,6
/proc/1652/task/1779/stat : 1779 (java) S 1645 1652 22004 0 -1 1077944384 29786 12976 0 1 345 6 5 3 20 0 15 0 106976551 11348049920 340286 33554432000 4194304 4196468 140720726086720 140356490442864 140357068065410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1781] ppid=1645 vsize=11082080 memory=15872 CPUtime=0.08 cores=0,2,4,6
/proc/1652/task/1781/stat : 1781 (java) S 1645 1652 22004 0 -1 1077944384 3 12976 0 1 0 0 5 3 20 0 15 0 106976551 11348049920 340286 33554432000 4194304 4196468 140720726086720 140354900715744 140357068064469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
[pid=1652/tid=1783] ppid=1645 vsize=11082080 memory=18124 CPUtime=0.19 cores=0,2,4,6
/proc/1652/task/1783/stat : 1783 (java) S 1645 1652 22004 0 -1 1077944384 1008 12976 0 1 5 6 5 3 20 0 15 0 106976551 11348049920 340286 33554432000 4194304 4196468 140720726086720 140356489391280 140357068065410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13262848 140720726092401 140720726095201 140720726095201 140720726097871 0
Current children cumulated CPU time: 252.05 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1361144 KiB

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

[startup+227.237 s]
# the end of solver process 1652 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=251.052 s, system=1.04548 s

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

Child status: 143
Real time (s): 227.237
CPU time (s): 252.097
CPU user time (s): 251.052
CPU system time (s): 1.04548
CPU usage (%): 110.94
Max. virtual memory (cumulated for all children) (KiB): 11082080
Max. memory (cumulated for all children) (KiB): 1624140

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.052
system time used= 1.04548
maximum resident set size= 1628236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 174178
page faults= 1
swaps= 0
block input operations= 64
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21745
involuntary context switches= 590


# summary of solver processes directly reported to runsolver:
#   pid: 1652
#   total CPU time (s): 252.097
#   total CPU user time (s): 251.052
#   total CPU system time (s): 1.04548

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.38894 second user time and 2.10661 second system time

The end

Launcher Data 

Begin job on node151 at 2018-07-29 21:55:33
IDJOB=4302429
IDBENCH=141049
IDSOLVER=2776
FILE ID=node151/4302429-1532894133
RUNJOBID= node151-1532894133-1620
PBS_JOBID= 21022509
Free space on /tmp= 59312 MiB

SOLVER NAME= Concrete 3.9.2
BENCH NAME= XCSP18/NurseRostering/NurseRostering-10_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4302429-1532894133/watcher-4302429-1532894133 -o /tmp/evaluation-result-4302429-1532894133/solver-4302429-1532894133 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532894133-1620 --watchdog 312  bin/xcsp-3-concrete -J-Xss64M -randomseed=1545695682 HOME/instance-4302429-1532894133.xml

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

MD5SUM BENCH= 8e8c57bbf90dbce08cf7a3cf301ec8dd
RANDOM SEED=1545695682

node151.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.87
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.87
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.87
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.87
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:        28242272 kB
MemAvailable:   31974320 kB
Buffers:          214692 kB
Cached:          3791508 kB
SwapCached:            0 kB
Active:          1429328 kB
Inactive:        2630088 kB
Active(anon):       3332 kB
Inactive(anon):    78188 kB
Active(file):    1425996 kB
Inactive(file):  2551900 kB
Unevictable:        7804 kB
Mlocked:            7804 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             53084 kB
Writeback:             0 kB
AnonPages:         60752 kB
Mapped:            44456 kB
Shmem:             25224 kB
Slab:             167752 kB
SReclaimable:     139976 kB
SUnreclaim:        27776 kB
KernelStack:        3200 kB
PageTables:         4988 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     326820 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 59256 MiB
End job on node151 at 2018-07-29 21:59:21