Trace number 4396324

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.12.2? (TO) 2520.17 2478.08

General information on the benchmark

NameNurseRostering/
NurseRostering-18_c18.xml
MD5SUM2080050c46f9199df44cd86a0d29de9d
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark48151
Best CPU time to get the best result obtained on this benchmark2520.05
Satisfiable
(Un)Satisfiability was proved
Number of variables3286
Number of constraints8967
Number of domains16
Minimum domain size1
Maximum domain size85
Distribution of domain sizes[{"size":1,"count":96},{"size":2,"count":678},{"size":4,"count":1848},{"size":23,"count":588},{"size":41,"count":2},{"size":44,"count":16},{"size":85,"count":58}]
Minimum variable degree2
Maximum variable degree23
Distribution of variable degrees[{"degree":2,"count":1174},{"degree":3,"count":264},{"degree":13,"count":19},{"degree":14,"count":23},{"degree":15,"count":2},{"degree":16,"count":17},{"degree":17,"count":24},{"degree":18,"count":38},{"degree":19,"count":38},{"degree":20,"count":189},{"degree":21,"count":776},{"degree":22,"count":573},{"degree":23,"count":149}]
Minimum constraint arity2
Maximum constraint arity176
Distribution of constraint arities[{"arity":2,"count":3148},{"arity":3,"count":3608},{"arity":4,"count":22},{"arity":5,"count":320},{"arity":6,"count":1422},{"arity":12,"count":22},{"arity":23,"count":336},{"arity":85,"count":88},{"arity":176,"count":1}]
Number of extensional constraints2162
Number of intensional constraints986
Distribution of constraint types[{"type":"extension","count":2162},{"type":"intension","count":986},{"type":"regular","count":3608},{"type":"sum","count":44},{"type":"count","count":2166},{"type":"instantiation","count":1}]
Optimization problemYES
Type of objectivemin SUM

Solver Data 

0.76/0.55	c Concrete v3.12.2.1568380929293 running
15.25/5.60	c 00:07:29.948 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16340. extension(x[1][7]=[0‥3], 3) :: init: true :: relation: MDD 1324451332, 5 edges, 4 vertices, 3 tuples
15.25/5.60	c 00:07:29.952 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16379. extension(3, x[5][7]=[0‥3]) :: init: true :: relation: MDD 1324451332, 5 edges, 4 vertices, 3 tuples
15.25/5.60	c 00:07:29.952 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16400. extension(x[3][9]=[0‥3], 3) :: init: true :: relation: MDD 1500020749, 5 edges, 4 vertices, 3 tuples
15.25/5.60	c 00:07:29.954 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16421. extension(3, wk[9][0]=[0‥1]) :: init: true :: relation: MDD 1226616812, 4 edges, 3 vertices, 3 tuples
15.25/5.60	c 00:07:29.954 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16444. extension(3, wk[14][0]=[0‥1]) :: init: true :: relation: MDD 682025329, 4 edges, 3 vertices, 3 tuples
15.25/5.60	c 00:07:29.955 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16445. extension(x[4][14]=[0‥3], 3) :: init: true :: relation: MDD 1839548688, 5 edges, 4 vertices, 3 tuples
15.25/5.60	c 00:07:29.955 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16446. extension(3, x[6][14]=[0‥3]) :: init: true :: relation: MDD 1839548688, 5 edges, 4 vertices, 3 tuples
15.25/5.60	c 00:07:29.956 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16467. extension(3, wk[9][0]=[0‥1]) :: init: true :: relation: MDD 1336437944, 4 edges, 3 vertices, 3 tuples
15.25/5.60	c 00:07:29.956 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16534. extension(x[7][13]=[0‥3], 3) :: init: true :: relation: MDD 705400860, 5 edges, 4 vertices, 3 tuples
15.25/5.60	c 00:07:29.957 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16535. extension(3, x[9][13]=[0‥3]) :: init: true :: relation: MDD 705400860, 5 edges, 4 vertices, 3 tuples
15.25/5.61	c 00:07:29.957 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16578. extension(x[8][20]=[0‥3], 3) :: init: true :: relation: MDD 1304765785, 5 edges, 4 vertices, 3 tuples
15.25/5.61	c 00:07:29.958 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16599. extension(3, x[11][9]=[0‥3]) :: init: true :: relation: MDD 1500020749, 5 edges, 4 vertices, 3 tuples
15.25/5.61	c 00:07:29.958 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16642. extension(x[10][7]=[0‥3], 3) :: init: true :: relation: MDD 1324451332, 5 edges, 4 vertices, 3 tuples
15.25/5.61	c 00:07:29.958 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16643. extension(3, x[12][7]=[0‥3]) :: init: true :: relation: MDD 1324451332, 5 edges, 4 vertices, 3 tuples
15.25/5.61	c 00:07:29.959 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16685. extension(3, wk[6][1]=[0‥1]) :: init: true :: relation: MDD 1359382959, 4 edges, 3 vertices, 3 tuples
15.25/5.61	c 00:07:29.959 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16686. extension(x[11][6]=[0‥3], 3) :: init: true :: relation: MDD 2087758561, 5 edges, 4 vertices, 3 tuples
15.25/5.61	c 00:07:29.959 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16708. extension(3, wk[20][1]=[0‥1]) :: init: true :: relation: MDD 113042195, 4 edges, 3 vertices, 3 tuples
15.25/5.61	c 00:07:29.960 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16730. extension(3, wk[6][1]=[0‥1]) :: init: true :: relation: MDD 1926136110, 4 edges, 3 vertices, 3 tuples
15.25/5.61	c 00:07:29.960 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16753. extension(3, wk[20][1]=[0‥1]) :: init: true :: relation: MDD 1957691975, 4 edges, 3 vertices, 3 tuples
15.25/5.61	c 00:07:29.960 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16754. extension(3, x[14][20]=[0‥3]) :: init: true :: relation: MDD 1304765785, 5 edges, 4 vertices, 3 tuples
15.25/5.61	c 00:07:29.961 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16797. extension(x[13][9]=[0‥3], 3) :: init: true :: relation: MDD 1500020749, 5 edges, 4 vertices, 3 tuples
15.25/5.61	c 00:07:29.961 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16798. extension(3, x[15][9]=[0‥3]) :: init: true :: relation: MDD 1500020749, 5 edges, 4 vertices, 3 tuples
15.25/5.61	c 00:07:29.962 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16819. extension(x[14][3]=[0‥3], 3) :: init: true :: relation: MDD 990413155, 5 edges, 4 vertices, 3 tuples
15.25/5.61	c 00:07:29.962 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16907. extension(x[15][21]=[0‥3], 3) :: init: true :: relation: MDD 104912388, 5 edges, 4 vertices, 3 tuples
15.25/5.61	c 00:07:29.962 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16908. extension(3, x[17][21]=[0‥3]) :: init: true :: relation: MDD 104912388, 5 edges, 4 vertices, 3 tuples
15.25/5.61	c 00:07:29.963 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16950. extension(x[16][5]=[0‥3], 3) :: init: true :: relation: MDD 589489519, 5 edges, 4 vertices, 3 tuples
15.25/5.61	c 00:07:29.963 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17016. extension(3, x[19][5]=[0‥3]) :: init: true :: relation: MDD 589489519, 5 edges, 4 vertices, 3 tuples
15.25/5.61	c 00:07:29.964 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17038. extension(3, x[19][6]=[0‥3]) :: init: true :: relation: MDD 2087758561, 5 edges, 4 vertices, 3 tuples
15.25/5.61	c 00:07:29.964 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17060. extension(3, wk[3][2]=[0‥1]) :: init: true :: relation: MDD 1144673247, 4 edges, 3 vertices, 3 tuples
15.25/5.61	c 00:07:29.964 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17083. extension(3, wk[12][2]=[0‥1]) :: init: true :: relation: MDD 22006205, 4 edges, 3 vertices, 3 tuples
15.25/5.61	c 00:07:29.965 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17084. extension(x[18][12]=[0‥3], 3) :: init: true :: relation: MDD 358636931, 5 edges, 4 vertices, 3 tuples
15.25/5.61	c 00:07:29.965 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17106. extension(3, wk[3][2]=[0‥1]) :: init: true :: relation: MDD 1772797104, 4 edges, 3 vertices, 3 tuples
15.25/5.61	c 00:07:29.965 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17129. extension(3, wk[11][2]=[0‥1]) :: init: true :: relation: MDD 52104962, 4 edges, 3 vertices, 3 tuples
15.25/5.61	c 00:07:29.966 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17130. extension(x[19][11]=[0‥3], 3) :: init: true :: relation: MDD 1144653485, 5 edges, 4 vertices, 3 tuples
15.25/5.61	c 00:07:29.966 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17152. extension(3, wk[12][2]=[0‥1]) :: init: true :: relation: MDD 483832253, 4 edges, 3 vertices, 3 tuples
15.25/5.61	c 00:07:29.967 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17153. extension(3, x[21][12]=[0‥3]) :: init: true :: relation: MDD 358636931, 5 edges, 4 vertices, 3 tuples
15.25/5.62	c 00:07:29.967 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17219. extension(3, x[23][3]=[0‥3]) :: init: true :: relation: MDD 990413155, 5 edges, 4 vertices, 3 tuples
15.25/5.62	c 00:07:29.967 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17241. extension(3, x[23][11]=[0‥3]) :: init: true :: relation: MDD 1144653485, 5 edges, 4 vertices, 3 tuples
15.25/5.62	c 00:07:29.968 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17263. extension(x[22][1]=[0‥3], 3) :: init: true :: relation: MDD 1835638995, 5 edges, 4 vertices, 3 tuples
15.25/5.62	c 00:07:29.968 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17264. extension(3, x[24][1]=[0‥3]) :: init: true :: relation: MDD 1835638995, 5 edges, 4 vertices, 3 tuples
15.25/5.62	c 00:07:29.968 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17285. extension(x[22][4]=[0‥3], 3) :: init: true :: relation: MDD 1633615132, 5 edges, 4 vertices, 3 tuples
15.25/5.62	c 00:07:29.969 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17351. extension(x[24][14]=[0‥3], 3) :: init: true :: relation: MDD 1839548688, 5 edges, 4 vertices, 3 tuples
15.25/5.62	c 00:07:29.969 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17352. extension(3, x[26][14]=[0‥3]) :: init: true :: relation: MDD 1839548688, 5 edges, 4 vertices, 3 tuples
15.25/5.62	c 00:07:29.970 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17373. extension(3, wk[4][3]=[0‥1]) :: init: true :: relation: MDD 365298301, 4 edges, 3 vertices, 3 tuples
15.25/5.62	c 00:07:29.970 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17374. extension(3, x[27][4]=[0‥3]) :: init: true :: relation: MDD 1633615132, 5 edges, 4 vertices, 3 tuples
15.25/5.62	c 00:07:29.970 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17396. extension(3, wk[17][3]=[0‥1]) :: init: true :: relation: MDD 260580453, 4 edges, 3 vertices, 3 tuples
15.25/5.62	c 00:07:29.971 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17397. extension(x[25][17]=[0‥3], 3) :: init: true :: relation: MDD 1798299644, 5 edges, 4 vertices, 3 tuples
15.25/5.62	c 00:07:29.971 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17419. extension(3, wk[17][3]=[0‥1]) :: init: true :: relation: MDD 1246807878, 4 edges, 3 vertices, 3 tuples
15.25/5.62	c 00:07:29.971 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17486. extension(x[29][7]=[0‥3], 3) :: init: true :: relation: MDD 1324451332, 5 edges, 4 vertices, 3 tuples
15.25/5.62	c 00:07:29.972 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17487. extension(3, x[31][7]=[0‥3]) :: init: true :: relation: MDD 1324451332, 5 edges, 4 vertices, 3 tuples
15.25/5.62	c 00:07:29.972 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17508. extension(x[29][8]=[0‥3], 3) :: init: true :: relation: MDD 1046211253, 5 edges, 4 vertices, 3 tuples
15.25/5.62	c 00:07:29.973 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17552. extension(x[30][0]=[0‥3], 3) :: init: true :: relation: MDD 1461216550, 5 edges, 4 vertices, 3 tuples
15.25/5.62	c 00:07:29.973 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17574. extension(x[30][6]=[0‥3], 3) :: init: true :: relation: MDD 2087758561, 5 edges, 4 vertices, 3 tuples
15.25/5.62	c 00:07:29.973 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17575. extension(3, x[32][6]=[0‥3]) :: init: true :: relation: MDD 2087758561, 5 edges, 4 vertices, 3 tuples
15.25/5.62	c 00:07:29.974 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17640. extension(x[30][18]=[0‥3], 3) :: init: true :: relation: MDD 1983472905, 5 edges, 4 vertices, 3 tuples
15.25/5.62	c 00:07:29.974 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17705. extension(x[31][15]=[0‥3], 3) :: init: true :: relation: MDD 1708786164, 5 edges, 4 vertices, 3 tuples
15.25/5.63	c 00:07:29.974 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17706. extension(3, x[33][15]=[0‥3]) :: init: true :: relation: MDD 1708786164, 5 edges, 4 vertices, 3 tuples
15.25/5.63	c 00:07:29.975 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17770. extension(x[31][19]=[0‥3], 3) :: init: true :: relation: MDD 1178270318, 5 edges, 4 vertices, 3 tuples
15.25/5.63	c 00:07:29.975 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17771. extension(3, x[33][19]=[0‥3]) :: init: true :: relation: MDD 1178270318, 5 edges, 4 vertices, 3 tuples
15.25/5.63	c 00:07:29.975 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17791. extension(3, wk[0][4]=[0‥1]) :: init: true :: relation: MDD 64614565, 4 edges, 3 vertices, 3 tuples
15.25/5.63	c 00:07:29.976 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17814. extension(3, wk[1][4]=[0‥1]) :: init: true :: relation: MDD 1233805613, 4 edges, 3 vertices, 3 tuples
15.25/5.63	c 00:07:29.976 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17815. extension(x[32][1]=[0‥3], 3) :: init: true :: relation: MDD 1835638995, 5 edges, 4 vertices, 3 tuples
15.25/5.63	c 00:07:29.976 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17816. extension(3, x[34][1]=[0‥3]) :: init: true :: relation: MDD 1835638995, 5 edges, 4 vertices, 3 tuples
15.25/5.63	c 00:07:29.977 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17837. extension(3, wk[8][4]=[0‥1]) :: init: true :: relation: MDD 2027044202, 4 edges, 3 vertices, 3 tuples
15.25/5.63	c 00:07:29.977 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17860. extension(3, wk[17][4]=[0‥1]) :: init: true :: relation: MDD 2045560071, 4 edges, 3 vertices, 3 tuples
15.25/5.63	c 00:07:29.977 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17861. extension(3, x[34][17]=[0‥3]) :: init: true :: relation: MDD 1798299644, 5 edges, 4 vertices, 3 tuples
15.25/5.63	c 00:07:29.978 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17883. extension(3, wk[18][4]=[0‥1]) :: init: true :: relation: MDD 1779787990, 4 edges, 3 vertices, 3 tuples
15.25/5.63	c 00:07:29.978 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17905. extension(3, wk[0][4]=[0‥1]) :: init: true :: relation: MDD 816760435, 4 edges, 3 vertices, 3 tuples
15.25/5.63	c 00:07:29.978 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17928. extension(3, wk[8][4]=[0‥1]) :: init: true :: relation: MDD 686688828, 4 edges, 3 vertices, 3 tuples
15.25/5.63	c 00:07:29.978 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17951. extension(3, wk[18][4]=[0‥1]) :: init: true :: relation: MDD 456653804, 4 edges, 3 vertices, 3 tuples
15.25/5.63	c 00:07:29.979 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18125. extension(x[36][5]=[0‥3], 3) :: init: true :: relation: MDD 589489519, 5 edges, 4 vertices, 3 tuples
15.25/5.63	c 00:07:29.979 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18147. extension(3, x[38][8]=[0‥3]) :: init: true :: relation: MDD 1046211253, 5 edges, 4 vertices, 3 tuples
15.25/5.63	c 00:07:29.979 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18169. extension(x[36][10]=[0‥3], 3) :: init: true :: relation: MDD 1383031847, 5 edges, 4 vertices, 3 tuples
15.25/5.63	c 00:07:29.980 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18212. extension(3, x[39][0]=[0‥3]) :: init: true :: relation: MDD 1461216550, 5 edges, 4 vertices, 3 tuples
15.25/5.63	c 00:07:29.980 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18234. extension(x[37][1]=[0‥3], 3) :: init: true :: relation: MDD 1835638995, 5 edges, 4 vertices, 3 tuples
15.25/5.63	c 00:07:29.980 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18300. extension(x[37][12]=[0‥3], 3) :: init: true :: relation: MDD 358636931, 5 edges, 4 vertices, 3 tuples
15.25/5.63	c 00:07:29.981 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18322. extension(3, x[39][18]=[0‥3]) :: init: true :: relation: MDD 1983472905, 5 edges, 4 vertices, 3 tuples
15.25/5.63	c 00:07:29.981 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18431. extension(x[38][19]=[0‥3], 3) :: init: true :: relation: MDD 1178270318, 5 edges, 4 vertices, 3 tuples
15.25/5.63	c 00:07:29.981 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18452. extension(3, wk[1][5]=[0‥1]) :: init: true :: relation: MDD 258027623, 4 edges, 3 vertices, 3 tuples
15.25/5.63	c 00:07:29.982 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18475. extension(3, wk[5][5]=[0‥1]) :: init: true :: relation: MDD 1938446408, 4 edges, 3 vertices, 3 tuples
15.25/5.63	c 00:07:29.982 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18476. extension(3, x[41][5]=[0‥3]) :: init: true :: relation: MDD 589489519, 5 edges, 4 vertices, 3 tuples
15.25/5.63	c 00:07:29.982 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18498. extension(3, wk[10][5]=[0‥1]) :: init: true :: relation: MDD 1734902032, 4 edges, 3 vertices, 3 tuples
15.25/5.63	c 00:07:29.982 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18521. extension(3, wk[12][5]=[0‥1]) :: init: true :: relation: MDD 287933084, 4 edges, 3 vertices, 3 tuples
15.25/5.63	c 00:07:29.983 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18522. extension(3, x[41][12]=[0‥3]) :: init: true :: relation: MDD 358636931, 5 edges, 4 vertices, 3 tuples
15.25/5.63	c 00:07:29.983 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18544. extension(3, wk[19][5]=[0‥1]) :: init: true :: relation: MDD 1238055041, 4 edges, 3 vertices, 3 tuples
15.25/5.63	c 00:07:29.983 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18566. extension(3, wk[1][5]=[0‥1]) :: init: true :: relation: MDD 577628476, 4 edges, 3 vertices, 3 tuples
15.25/5.63	c 00:07:29.984 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18567. extension(3, x[42][1]=[0‥3]) :: init: true :: relation: MDD 1835638995, 5 edges, 4 vertices, 3 tuples
15.25/5.63	c 00:07:29.984 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18589. extension(3, wk[10][5]=[0‥1]) :: init: true :: relation: MDD 1197430386, 4 edges, 3 vertices, 3 tuples
15.25/5.63	c 00:07:29.984 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18590. extension(3, x[42][10]=[0‥3]) :: init: true :: relation: MDD 1383031847, 5 edges, 4 vertices, 3 tuples
15.25/5.63	c 00:07:29.984 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18612. extension(3, wk[19][5]=[0‥1]) :: init: true :: relation: MDD 676060909, 4 edges, 3 vertices, 3 tuples
15.25/5.63	c 00:07:29.985 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18613. extension(3, x[42][19]=[0‥3]) :: init: true :: relation: MDD 1178270318, 5 edges, 4 vertices, 3 tuples
15.25/5.63	c 00:07:29.985 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18634. extension(x[41][11]=[0‥3], 3) :: init: true :: relation: MDD 1144653485, 5 edges, 4 vertices, 3 tuples
15.25/5.64	c 00:07:29.985 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18722. extension(3, x[47][11]=[0‥3]) :: init: true :: relation: MDD 1144653485, 5 edges, 4 vertices, 3 tuples
15.25/5.64	c 00:07:29.986 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18744. extension(x[45][21]=[0‥3], 3) :: init: true :: relation: MDD 104912388, 5 edges, 4 vertices, 3 tuples
15.25/5.64	c 00:07:29.986 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18765. extension(3, wk[21][6]=[0‥1]) :: init: true :: relation: MDD 1386713738, 4 edges, 3 vertices, 3 tuples
15.25/5.64	c 00:07:29.986 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18787. extension(3, wk[20][6]=[0‥1]) :: init: true :: relation: MDD 1615669446, 4 edges, 3 vertices, 3 tuples
15.25/5.64	c 00:07:29.986 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18788. extension(x[47][20]=[0‥3], 3) :: init: true :: relation: MDD 1304765785, 5 edges, 4 vertices, 3 tuples
15.25/5.64	c 00:07:29.987 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18809. extension(3, wk[21][6]=[0‥1]) :: init: true :: relation: MDD 1917214386, 4 edges, 3 vertices, 3 tuples
15.25/5.64	c 00:07:29.987 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18831. extension(x[48][7]=[0‥3], 3) :: init: true :: relation: MDD 1324451332, 5 edges, 4 vertices, 3 tuples
15.25/5.64	c 00:07:29.987 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18853. extension(x[48][14]=[0‥3], 3) :: init: true :: relation: MDD 1839548688, 5 edges, 4 vertices, 3 tuples
15.25/5.64	c 00:07:29.987 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18961. extension(3, x[51][20]=[0‥3]) :: init: true :: relation: MDD 1304765785, 5 edges, 4 vertices, 3 tuples
15.25/5.64	c 00:07:29.988 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19003. extension(3, x[52][7]=[0‥3]) :: init: true :: relation: MDD 1324451332, 5 edges, 4 vertices, 3 tuples
15.25/5.64	c 00:07:29.988 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19068. extension(x[51][12]=[0‥3], 3) :: init: true :: relation: MDD 358636931, 5 edges, 4 vertices, 3 tuples
15.25/5.64	c 00:07:29.988 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19090. extension(x[51][13]=[0‥3], 3) :: init: true :: relation: MDD 705400860, 5 edges, 4 vertices, 3 tuples
15.25/5.64	c 00:07:29.988 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19134. extension(x[51][19]=[0‥3], 3) :: init: true :: relation: MDD 1178270318, 5 edges, 4 vertices, 3 tuples
15.25/5.64	c 00:07:29.989 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19155. extension(3, x[53][21]=[0‥3]) :: init: true :: relation: MDD 104912388, 5 edges, 4 vertices, 3 tuples
15.25/5.64	c 00:07:29.989 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19242. extension(x[52][16]=[0‥3], 3) :: init: true :: relation: MDD 1119920494, 5 edges, 4 vertices, 3 tuples
15.25/5.64	c 00:07:29.989 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19285. extension(3, wk[12][7]=[0‥1]) :: init: true :: relation: MDD 757660418, 4 edges, 3 vertices, 3 tuples
15.25/5.64	c 00:07:29.989 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19286. extension(3, x[55][12]=[0‥3]) :: init: true :: relation: MDD 358636931, 5 edges, 4 vertices, 3 tuples
15.25/5.64	c 00:07:29.990 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19308. extension(3, wk[13][7]=[0‥1]) :: init: true :: relation: MDD 922150177, 4 edges, 3 vertices, 3 tuples
15.25/5.64	c 00:07:29.990 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19331. extension(3, wk[14][7]=[0‥1]) :: init: true :: relation: MDD 264138968, 4 edges, 3 vertices, 3 tuples
15.25/5.64	c 00:07:29.990 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19332. extension(3, x[55][14]=[0‥3]) :: init: true :: relation: MDD 1839548688, 5 edges, 4 vertices, 3 tuples
15.25/5.64	c 00:07:29.990 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19354. extension(3, wk[16][7]=[0‥1]) :: init: true :: relation: MDD 2100728289, 4 edges, 3 vertices, 3 tuples
15.25/5.64	c 00:07:29.991 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19377. extension(3, wk[19][7]=[0‥1]) :: init: true :: relation: MDD 1794314439, 4 edges, 3 vertices, 3 tuples
15.25/5.64	c 00:07:29.991 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19399. extension(3, wk[2][7]=[0‥1]) :: init: true :: relation: MDD 1042223174, 4 edges, 3 vertices, 3 tuples
15.25/5.64	c 00:07:29.991 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19400. extension(x[54][2]=[0‥3], 3) :: init: true :: relation: MDD 1071522313, 5 edges, 4 vertices, 3 tuples
15.25/5.64	c 00:07:29.991 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19422. extension(3, wk[13][7]=[0‥1]) :: init: true :: relation: MDD 814886797, 4 edges, 3 vertices, 3 tuples
15.25/5.64	c 00:07:29.992 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19423. extension(3, x[56][13]=[0‥3]) :: init: true :: relation: MDD 705400860, 5 edges, 4 vertices, 3 tuples
15.25/5.64	c 00:07:29.992 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19445. extension(3, wk[16][7]=[0‥1]) :: init: true :: relation: MDD 1153180745, 4 edges, 3 vertices, 3 tuples
15.25/5.64	c 00:07:29.992 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19468. extension(3, wk[19][7]=[0‥1]) :: init: true :: relation: MDD 1278790934, 4 edges, 3 vertices, 3 tuples
15.25/5.64	c 00:07:29.992 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19469. extension(3, x[56][19]=[0‥3]) :: init: true :: relation: MDD 1178270318, 5 edges, 4 vertices, 3 tuples
15.25/5.64	c 00:07:29.993 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19490. extension(x[55][1]=[0‥3], 3) :: init: true :: relation: MDD 1835638995, 5 edges, 4 vertices, 3 tuples
15.25/5.64	c 00:07:29.993 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19491. extension(3, x[57][1]=[0‥3]) :: init: true :: relation: MDD 1835638995, 5 edges, 4 vertices, 3 tuples
15.25/5.64	c 00:07:29.993 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19578. extension(x[56][15]=[0‥3], 3) :: init: true :: relation: MDD 1708786164, 5 edges, 4 vertices, 3 tuples
15.25/5.64	c 00:07:29.993 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19600. extension(3, x[58][16]=[0‥3]) :: init: true :: relation: MDD 1119920494, 5 edges, 4 vertices, 3 tuples
15.25/5.64	c 00:07:29.994 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19688. extension(3, x[60][15]=[0‥3]) :: init: true :: relation: MDD 1708786164, 5 edges, 4 vertices, 3 tuples
15.25/5.64	c 00:07:29.994 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19732. extension(x[59][5]=[0‥3], 3) :: init: true :: relation: MDD 589489519, 5 edges, 4 vertices, 3 tuples
15.25/5.64	c 00:07:29.994 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19733. extension(3, x[61][5]=[0‥3]) :: init: true :: relation: MDD 589489519, 5 edges, 4 vertices, 3 tuples
15.25/5.64	c 00:07:29.995 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19754. extension(3, wk[1][8]=[0‥1]) :: init: true :: relation: MDD 1096433514, 4 edges, 3 vertices, 3 tuples
15.25/5.64	c 00:07:29.995 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19755. extension(x[60][1]=[0‥3], 3) :: init: true :: relation: MDD 1835638995, 5 edges, 4 vertices, 3 tuples
15.25/5.64	c 00:07:29.995 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19756. extension(3, x[62][1]=[0‥3]) :: init: true :: relation: MDD 1835638995, 5 edges, 4 vertices, 3 tuples
15.25/5.64	c 00:07:29.995 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19777. extension(3, wk[2][8]=[0‥1]) :: init: true :: relation: MDD 1553142068, 4 edges, 3 vertices, 3 tuples
15.25/5.64	c 00:07:29.995 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19778. extension(3, x[62][2]=[0‥3]) :: init: true :: relation: MDD 1071522313, 5 edges, 4 vertices, 3 tuples
15.25/5.64	c 00:07:29.996 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19800. extension(x[62][4]=[0‥3], 3) :: init: true :: relation: MDD 1633615132, 5 edges, 4 vertices, 3 tuples
15.25/5.64	c 00:07:29.996 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19801. extension(3, x[64][4]=[0‥3]) :: init: true :: relation: MDD 1633615132, 5 edges, 4 vertices, 3 tuples
15.25/5.64	c 00:07:29.996 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19822. extension(x[65][16]=[0‥3], 3) :: init: true :: relation: MDD 1119920494, 5 edges, 4 vertices, 3 tuples
15.25/5.64	c 00:07:29.996 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19823. extension(3, x[67][16]=[0‥3]) :: init: true :: relation: MDD 1119920494, 5 edges, 4 vertices, 3 tuples
15.25/5.64	c 00:07:29.997 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19844. extension(x[66][4]=[0‥3], 3) :: init: true :: relation: MDD 1633615132, 5 edges, 4 vertices, 3 tuples
15.25/5.65	c 00:07:29.997 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19866. extension(3, wk[4][9]=[0‥1]) :: init: true :: relation: MDD 2036497703, 4 edges, 3 vertices, 3 tuples
15.25/5.65	c 00:07:29.997 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19867. extension(3, x[69][4]=[0‥3]) :: init: true :: relation: MDD 1633615132, 5 edges, 4 vertices, 3 tuples
15.25/5.65	c 00:07:29.997 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19889. extension(3, wk[13][9]=[0‥1]) :: init: true :: relation: MDD 421293587, 4 edges, 3 vertices, 3 tuples
15.25/5.65	c 00:07:29.998 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19890. extension(x[68][13]=[0‥3], 3) :: init: true :: relation: MDD 705400860, 5 edges, 4 vertices, 3 tuples
15.25/5.65	c 00:07:29.998 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19934. extension(x[69][15]=[0‥3], 3) :: init: true :: relation: MDD 1708786164, 5 edges, 4 vertices, 3 tuples
15.25/5.65	c 00:07:29.998 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19956. extension(3, x[72][13]=[0‥3]) :: init: true :: relation: MDD 705400860, 5 edges, 4 vertices, 3 tuples
15.25/5.65	c 00:07:29.998 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20022. extension(3, x[74][15]=[0‥3]) :: init: true :: relation: MDD 1708786164, 5 edges, 4 vertices, 3 tuples
15.25/5.65	c 00:07:29.998 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20044. extension(3, wk[10][10]=[0‥1]) :: init: true :: relation: MDD 1520927218, 4 edges, 3 vertices, 3 tuples
15.25/5.65	c 00:07:29.999 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20045. extension(x[74][10]=[0‥3], 3) :: init: true :: relation: MDD 1383031847, 5 edges, 4 vertices, 3 tuples
15.25/5.66	c 00:07:30.008 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20067. extension(3, wk[2][10]=[0‥1]) :: init: true :: relation: MDD 584643821, 4 edges, 3 vertices, 3 tuples
15.25/5.66	c 00:07:30.009 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20068. extension(x[75][2]=[0‥3], 3) :: init: true :: relation: MDD 1071522313, 5 edges, 4 vertices, 3 tuples
15.25/5.66	c 00:07:30.009 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20069. extension(3, x[77][2]=[0‥3]) :: init: true :: relation: MDD 1071522313, 5 edges, 4 vertices, 3 tuples
15.25/5.66	c 00:07:30.009 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20090. extension(3, wk[10][10]=[0‥1]) :: init: true :: relation: MDD 1725062057, 4 edges, 3 vertices, 3 tuples
15.25/5.66	c 00:07:30.010 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20113. extension(3, x[78][10]=[0‥3]) :: init: true :: relation: MDD 1383031847, 5 edges, 4 vertices, 3 tuples
15.25/5.66	c 00:07:30.010 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20135. extension(x[77][4]=[0‥3], 3) :: init: true :: relation: MDD 1633615132, 5 edges, 4 vertices, 3 tuples
15.25/5.66	c 00:07:30.010 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20136. extension(3, x[79][4]=[0‥3]) :: init: true :: relation: MDD 1633615132, 5 edges, 4 vertices, 3 tuples
15.25/5.66	c 00:07:30.010 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20157. extension(x[77][16]=[0‥3], 3) :: init: true :: relation: MDD 1119920494, 5 edges, 4 vertices, 3 tuples
15.25/5.66	c 00:07:30.010 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20179. extension(3, x[80][16]=[0‥3]) :: init: true :: relation: MDD 1119920494, 5 edges, 4 vertices, 3 tuples
15.25/5.66	c 00:07:30.011 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20200. extension(x[80][5]=[0‥3], 3) :: init: true :: relation: MDD 589489519, 5 edges, 4 vertices, 3 tuples
15.25/5.66	c 00:07:30.011 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20201. extension(3, x[82][5]=[0‥3]) :: init: true :: relation: MDD 589489519, 5 edges, 4 vertices, 3 tuples
15.55/5.78	c 00:07:30.129 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29508. extension(x[1][7]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.78	c 00:07:30.129 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29510. extension(x[5][7]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.78	c 00:07:30.129 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29512. extension(x[3][9]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.78	c 00:07:30.129 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29514. extension(wk[9][0]=[0‥1]) :: init: true :: relation: Empty MDD
15.55/5.78	c 00:07:30.129 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29516. extension(wk[14][0]=[0‥1]) :: init: true :: relation: Empty MDD
15.55/5.78	c 00:07:30.129 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29518. extension(x[4][14]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.78	c 00:07:30.129 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29520. extension(x[6][14]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.78	c 00:07:30.130 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29522. extension(wk[9][0]=[0‥1]) :: init: true :: relation: Empty MDD
15.55/5.78	c 00:07:30.130 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29524. extension(x[7][13]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.78	c 00:07:30.130 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29526. extension(x[9][13]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.78	c 00:07:30.130 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29528. extension(x[8][20]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.78	c 00:07:30.130 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29530. extension(x[11][9]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.78	c 00:07:30.130 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29532. extension(x[10][7]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.78	c 00:07:30.130 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29534. extension(x[12][7]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.78	c 00:07:30.130 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29536. extension(wk[6][1]=[0‥1]) :: init: true :: relation: Empty MDD
15.55/5.78	c 00:07:30.131 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29538. extension(x[11][6]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.78	c 00:07:30.131 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29540. extension(wk[20][1]=[0‥1]) :: init: true :: relation: Empty MDD
15.55/5.78	c 00:07:30.131 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29542. extension(wk[6][1]=[0‥1]) :: init: true :: relation: Empty MDD
15.55/5.78	c 00:07:30.131 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29544. extension(wk[20][1]=[0‥1]) :: init: true :: relation: Empty MDD
15.55/5.78	c 00:07:30.131 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29546. extension(x[14][20]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.78	c 00:07:30.131 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29548. extension(x[13][9]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.78	c 00:07:30.131 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29550. extension(x[15][9]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.79	c 00:07:30.132 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29552. extension(x[14][3]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.79	c 00:07:30.132 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29554. extension(x[15][21]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.79	c 00:07:30.132 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29556. extension(x[17][21]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.79	c 00:07:30.132 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29558. extension(x[16][5]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.79	c 00:07:30.132 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29560. extension(x[19][5]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.79	c 00:07:30.132 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29562. extension(x[19][6]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.79	c 00:07:30.132 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29564. extension(wk[3][2]=[0‥1]) :: init: true :: relation: Empty MDD
15.55/5.79	c 00:07:30.133 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29566. extension(wk[12][2]=[0‥1]) :: init: true :: relation: Empty MDD
15.55/5.79	c 00:07:30.133 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29568. extension(x[18][12]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.79	c 00:07:30.133 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29570. extension(wk[3][2]=[0‥1]) :: init: true :: relation: Empty MDD
15.55/5.79	c 00:07:30.133 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29572. extension(wk[11][2]=[0‥1]) :: init: true :: relation: Empty MDD
15.55/5.79	c 00:07:30.133 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29574. extension(x[19][11]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.79	c 00:07:30.133 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29576. extension(wk[12][2]=[0‥1]) :: init: true :: relation: Empty MDD
15.55/5.79	c 00:07:30.133 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29578. extension(x[21][12]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.79	c 00:07:30.134 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29580. extension(x[23][3]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.79	c 00:07:30.134 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29582. extension(x[23][11]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.79	c 00:07:30.134 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29584. extension(x[22][1]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.79	c 00:07:30.134 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29586. extension(x[24][1]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.79	c 00:07:30.134 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29588. extension(x[22][4]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.79	c 00:07:30.134 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29590. extension(x[24][14]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.79	c 00:07:30.134 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29592. extension(x[26][14]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.79	c 00:07:30.134 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29594. extension(wk[4][3]=[0‥1]) :: init: true :: relation: Empty MDD
15.55/5.79	c 00:07:30.135 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29596. extension(x[27][4]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.79	c 00:07:30.135 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29598. extension(wk[17][3]=[0‥1]) :: init: true :: relation: Empty MDD
15.55/5.79	c 00:07:30.135 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29600. extension(x[25][17]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.79	c 00:07:30.135 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29602. extension(wk[17][3]=[0‥1]) :: init: true :: relation: Empty MDD
15.55/5.79	c 00:07:30.135 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29604. extension(x[29][7]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.79	c 00:07:30.135 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29606. extension(x[31][7]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.79	c 00:07:30.135 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29608. extension(x[29][8]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.79	c 00:07:30.136 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29610. extension(x[30][0]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.79	c 00:07:30.136 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29612. extension(x[30][6]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.79	c 00:07:30.136 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29614. extension(x[32][6]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.79	c 00:07:30.136 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29616. extension(x[30][18]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.79	c 00:07:30.136 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29618. extension(x[31][15]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.79	c 00:07:30.136 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29620. extension(x[33][15]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.79	c 00:07:30.136 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29622. extension(x[31][19]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.79	c 00:07:30.136 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29624. extension(x[33][19]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.79	c 00:07:30.137 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29626. extension(wk[0][4]=[0‥1]) :: init: true :: relation: Empty MDD
15.55/5.79	c 00:07:30.137 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29628. extension(wk[1][4]=[0‥1]) :: init: true :: relation: Empty MDD
15.55/5.79	c 00:07:30.137 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29630. extension(x[32][1]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.79	c 00:07:30.137 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29632. extension(x[34][1]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.79	c 00:07:30.137 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29634. extension(wk[8][4]=[0‥1]) :: init: true :: relation: Empty MDD
15.55/5.79	c 00:07:30.137 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29636. extension(wk[17][4]=[0‥1]) :: init: true :: relation: Empty MDD
15.55/5.79	c 00:07:30.137 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29638. extension(x[34][17]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.79	c 00:07:30.137 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29640. extension(wk[18][4]=[0‥1]) :: init: true :: relation: Empty MDD
15.55/5.79	c 00:07:30.137 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29642. extension(wk[0][4]=[0‥1]) :: init: true :: relation: Empty MDD
15.55/5.79	c 00:07:30.138 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29644. extension(wk[8][4]=[0‥1]) :: init: true :: relation: Empty MDD
15.55/5.79	c 00:07:30.138 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29646. extension(wk[18][4]=[0‥1]) :: init: true :: relation: Empty MDD
15.55/5.79	c 00:07:30.138 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29648. extension(x[36][5]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.79	c 00:07:30.138 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29650. extension(x[38][8]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.79	c 00:07:30.138 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29652. extension(x[36][10]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.79	c 00:07:30.138 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29654. extension(x[39][0]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.79	c 00:07:30.138 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29656. extension(x[37][1]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.79	c 00:07:30.139 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29658. extension(x[37][12]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.79	c 00:07:30.139 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29660. extension(x[39][18]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.79	c 00:07:30.139 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29662. extension(x[38][19]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.79	c 00:07:30.139 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29664. extension(wk[1][5]=[0‥1]) :: init: true :: relation: Empty MDD
15.55/5.79	c 00:07:30.139 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29666. extension(wk[5][5]=[0‥1]) :: init: true :: relation: Empty MDD
15.55/5.79	c 00:07:30.139 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29668. extension(x[41][5]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.79	c 00:07:30.139 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29670. extension(wk[10][5]=[0‥1]) :: init: true :: relation: Empty MDD
15.55/5.79	c 00:07:30.139 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29672. extension(wk[12][5]=[0‥1]) :: init: true :: relation: Empty MDD
15.55/5.79	c 00:07:30.140 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29674. extension(x[41][12]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.79	c 00:07:30.140 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29676. extension(wk[19][5]=[0‥1]) :: init: true :: relation: Empty MDD
15.55/5.79	c 00:07:30.140 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29678. extension(wk[1][5]=[0‥1]) :: init: true :: relation: Empty MDD
15.55/5.79	c 00:07:30.140 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29680. extension(x[42][1]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.79	c 00:07:30.140 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29682. extension(wk[10][5]=[0‥1]) :: init: true :: relation: Empty MDD
15.55/5.79	c 00:07:30.140 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29684. extension(x[42][10]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.79	c 00:07:30.140 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29686. extension(wk[19][5]=[0‥1]) :: init: true :: relation: Empty MDD
15.55/5.79	c 00:07:30.140 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29688. extension(x[42][19]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.79	c 00:07:30.141 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29690. extension(x[41][11]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.79	c 00:07:30.141 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29692. extension(x[47][11]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.79	c 00:07:30.141 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29694. extension(x[45][21]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.79	c 00:07:30.141 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29696. extension(wk[21][6]=[0‥1]) :: init: true :: relation: Empty MDD
15.55/5.79	c 00:07:30.141 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29698. extension(wk[20][6]=[0‥1]) :: init: true :: relation: Empty MDD
15.55/5.79	c 00:07:30.141 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29700. extension(x[47][20]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.79	c 00:07:30.141 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29702. extension(wk[21][6]=[0‥1]) :: init: true :: relation: Empty MDD
15.55/5.79	c 00:07:30.142 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29704. extension(x[48][7]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.80	c 00:07:30.142 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29706. extension(x[48][14]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.80	c 00:07:30.142 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29708. extension(x[51][20]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.80	c 00:07:30.142 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29710. extension(x[52][7]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.80	c 00:07:30.142 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29712. extension(x[51][12]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.80	c 00:07:30.143 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29714. extension(x[51][13]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.80	c 00:07:30.143 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29716. extension(x[51][19]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.80	c 00:07:30.143 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29718. extension(x[53][21]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.80	c 00:07:30.143 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29720. extension(x[52][16]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.80	c 00:07:30.143 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29722. extension(wk[12][7]=[0‥1]) :: init: true :: relation: Empty MDD
15.55/5.80	c 00:07:30.143 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29724. extension(x[55][12]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.80	c 00:07:30.143 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29726. extension(wk[13][7]=[0‥1]) :: init: true :: relation: Empty MDD
15.55/5.80	c 00:07:30.143 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29728. extension(wk[14][7]=[0‥1]) :: init: true :: relation: Empty MDD
15.55/5.80	c 00:07:30.144 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29730. extension(x[55][14]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.80	c 00:07:30.144 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29732. extension(wk[16][7]=[0‥1]) :: init: true :: relation: Empty MDD
15.55/5.80	c 00:07:30.144 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29734. extension(wk[19][7]=[0‥1]) :: init: true :: relation: Empty MDD
15.55/5.80	c 00:07:30.144 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29736. extension(wk[2][7]=[0‥1]) :: init: true :: relation: Empty MDD
15.55/5.80	c 00:07:30.144 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29738. extension(x[54][2]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.80	c 00:07:30.144 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29740. extension(wk[13][7]=[0‥1]) :: init: true :: relation: Empty MDD
15.55/5.80	c 00:07:30.144 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29742. extension(x[56][13]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.80	c 00:07:30.144 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29744. extension(wk[16][7]=[0‥1]) :: init: true :: relation: Empty MDD
15.55/5.80	c 00:07:30.144 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29746. extension(wk[19][7]=[0‥1]) :: init: true :: relation: Empty MDD
15.55/5.80	c 00:07:30.145 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29748. extension(x[56][19]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.80	c 00:07:30.145 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29750. extension(x[55][1]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.80	c 00:07:30.145 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29752. extension(x[57][1]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.80	c 00:07:30.145 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29754. extension(x[56][15]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.80	c 00:07:30.145 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29756. extension(x[58][16]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.80	c 00:07:30.145 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29758. extension(x[60][15]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.80	c 00:07:30.145 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29760. extension(x[59][5]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.80	c 00:07:30.146 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29762. extension(x[61][5]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.80	c 00:07:30.146 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29764. extension(wk[1][8]=[0‥1]) :: init: true :: relation: Empty MDD
15.55/5.80	c 00:07:30.146 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29766. extension(x[60][1]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.80	c 00:07:30.146 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29768. extension(x[62][1]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.80	c 00:07:30.146 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29770. extension(wk[2][8]=[0‥1]) :: init: true :: relation: Empty MDD
15.55/5.80	c 00:07:30.146 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29772. extension(x[62][2]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.80	c 00:07:30.146 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29774. extension(x[62][4]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.80	c 00:07:30.146 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29776. extension(x[64][4]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.80	c 00:07:30.147 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29778. extension(x[65][16]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.80	c 00:07:30.147 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29780. extension(x[67][16]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.80	c 00:07:30.147 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29782. extension(x[66][4]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.80	c 00:07:30.147 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29784. extension(wk[4][9]=[0‥1]) :: init: true :: relation: Empty MDD
15.55/5.80	c 00:07:30.147 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29786. extension(x[69][4]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.80	c 00:07:30.147 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29788. extension(wk[13][9]=[0‥1]) :: init: true :: relation: Empty MDD
15.55/5.80	c 00:07:30.147 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29790. extension(x[68][13]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.80	c 00:07:30.147 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29792. extension(x[69][15]=[0‥3]) :: init: true :: relation: Empty MDD
15.55/5.80	c 00:07:30.148 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29794. extension(x[72][13]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.80	c 00:07:30.148 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29796. extension(x[74][15]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.80	c 00:07:30.148 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29798. extension(wk[10][10]=[0‥1]) :: init: true :: relation: Empty MDD
15.86/5.80	c 00:07:30.148 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29800. extension(x[74][10]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.80	c 00:07:30.148 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29802. extension(wk[2][10]=[0‥1]) :: init: true :: relation: Empty MDD
15.86/5.80	c 00:07:30.148 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29804. extension(x[75][2]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.80	c 00:07:30.149 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29806. extension(x[77][2]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.80	c 00:07:30.149 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29808. extension(wk[10][10]=[0‥1]) :: init: true :: relation: Empty MDD
15.86/5.80	c 00:07:30.149 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29810. extension(x[78][10]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.80	c 00:07:30.149 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29812. extension(x[77][4]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.80	c 00:07:30.149 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29814. extension(x[79][4]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.80	c 00:07:30.149 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29816. extension(x[77][16]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.80	c 00:07:30.149 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29818. extension(x[80][16]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.80	c 00:07:30.149 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29820. extension(x[80][5]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.80	c 00:07:30.150 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29822. extension(x[82][5]=[0‥3]) :: init: true :: relation: Empty MDD
2520.07/2478.06	Exception in thread "main" java.util.concurrent.TimeoutException
2520.07/2478.06		at concrete.MAC.mac(MAC.scala:192)
2520.07/2478.06		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:265)
2520.07/2478.06		at scala.util.Try$.apply(Try.scala:212)
2520.07/2478.06		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:179)
2520.07/2478.06		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:183)
2520.07/2478.06		at cspom.StatisticsManager$.measure(StatisticsManager.scala:179)
2520.07/2478.06		at concrete.MAC.oneRun(MAC.scala:265)
2520.07/2478.06		at concrete.MAC.nextSolution(MAC.scala:284)
2520.07/2478.06		at concrete.MAC.$anonfun$nextSolution$7(MAC.scala:350)
2520.07/2478.06		at concrete.ProblemState.map(ProblemState.scala:238)
2520.07/2478.06		at concrete.ProblemState.map(ProblemState.scala:212)
2520.07/2478.06		at concrete.MAC.nextSolution(MAC.scala:348)
2520.07/2478.06		at concrete.Solver.hasNext(Solver.scala:160)
2520.07/2478.06		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576)
2520.07/2478.06		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574)
2520.07/2478.06		at concrete.Solver.foreach(Solver.scala:67)
2520.07/2478.06		at concrete.runner.ConcreteRunner.$anonfun$run$3(ConcreteRunner.scala:73)
2520.07/2478.06		at scala.util.Success.map(Try.scala:264)
2520.07/2478.06		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.07/2478.06		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:32)
2520.07/2478.06		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2520.07/2478.06		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.07/2478.06		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2520.07/2478.06		at scala.Function0.apply$mcV$sp(Function0.scala:39)
2520.07/2478.06		at scala.Function0.apply$mcV$sp$(Function0.scala:39)
2520.07/2478.06		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:17)
2520.07/2478.06		at scala.App.$anonfun$main$1(App.scala:75)
2520.07/2478.06		at scala.App.$anonfun$main$1$adapted(App.scala:75)
2520.07/2478.06		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576)
2520.07/2478.06		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574)
2520.07/2478.06		at scala.collection.AbstractIterable.foreach(Iterable.scala:904)
2520.07/2478.06		at scala.App.main(App.scala:75)
2520.07/2478.06		at scala.App.main$(App.scala:73)
2520.07/2478.06		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2520.07/2478.06		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.07/2478.06	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 (14802 MiB free)
  memory of node 1: 16384 MiB (15578 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396324-1568412484/watcher-4396324-1568412484 -o /tmp/evaluation-result-4396324-1568412484/solver-4396324-1568412484 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node146-1568409956-517 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=575672962 HOME/instance-4396324-1568412484.xml 

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

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

solver pid=1186, runsolver pid=1183

[startup+0.100104 s]*
/proc/loadavg: 1.83 1.38 1.36 5/218 1243
/proc/meminfo: memFree=31102092/32770624 swapFree=67000416/67108860
[pid=1186] ppid=1183 vsize=9972712 memory=17076 CPUtime=0.08 cores=1,3,5,7
/proc/1186/stat : 1186 (java) S 1183 1186 31467 0 -1 1077944320 4492 13006 0 0 1 0 4 3 20 0 6 0 417162450 10212057088 4269 33554432000 4194304 4196468 140736192504080 140736192486624 140365806243575 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
/proc/1186/statm: 2493178 4269 1935 1 0 2481616 0
[pid=1186/tid=1239] ppid=1183 vsize=9988792 memory=4627829660337606006 CPUtime=0.08 cores=1,3,5,7
/proc/1186/task/1239/stat : 1239 (java) R 1183 1186 31467 0 -1 4202560 2403 13006 0 0 1 0 4 3 20 0 6 0 417162459 10228523008 4335 33554432000 4194304 4196468 140736192504080 140365778080336 140365792174672 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1240] ppid=1183 vsize=9989820 memory=7948963741541478447 CPUtime=0.07 cores=1,3,5,7
/proc/1186/task/1240/stat : 1240 (java) S 1183 1186 31467 0 -1 1077944384 1 13006 0 0 0 0 4 3 20 0 6 0 417162460 10229575680 4401 33554432000 4194304 4196468 140736192504080 140365810486160 140365806253781 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1241] ppid=1183 vsize=9989820 memory=140427496994432 CPUtime=0.07 cores=1,3,5,7
/proc/1186/task/1241/stat : 1241 (java) S 1183 1186 31467 0 -1 1077944384 1 13006 0 0 0 0 4 3 20 0 7 0 417162460 10229575680 4401 33554432000 4194304 4196468 140736192504080 140365709376272 140365806253781 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1242] ppid=1183 vsize=9989820 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1186/task/1242/stat : 1242 (java) S 1183 1186 31467 0 -1 1077944384 1 13006 0 0 0 0 4 3 20 0 7 0 417162460 10229575680 4401 33554432000 4194304 4196468 140736192504080 140365708323984 140365806253781 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1243] ppid=1183 vsize=9989820 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/1186/task/1243/stat : 1243 (java) S 1183 1186 31467 0 -1 1077944384 2 13006 0 0 0 0 4 3 20 0 7 0 417162460 10229575680 4401 33554432000 4194304 4196468 140736192504080 140365707271184 140365806253781 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1244] ppid=1183 vsize=9989820 memory=140427496994432 CPUtime=0.07 cores=1,3,5,7
/proc/1186/task/1244/stat : 1244 (java) R 1183 1186 31467 0 -1 1077944384 1 13006 0 0 0 0 4 3 20 0 7 0 417162461 10229575680 4401 33554432000 4194304 4196468 140736192504080 140365265644256 140365806253781 0 0 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17076 KiB

[startup+0.210036 s]*
/proc/loadavg: 1.83 1.38 1.36 6/227 1252
/proc/meminfo: memFree=31074608/32770624 swapFree=67000416/67108860
[pid=1186] ppid=1183 vsize=10819664 memory=39416 CPUtime=0.25 cores=1,3,5,7
/proc/1186/stat : 1186 (java) S 1183 1186 31467 0 -1 1077944320 7194 13006 0 0 16 2 4 3 20 0 15 0 417162450 11079335936 9854 33554432000 4194304 4196468 140736192504080 140736192486624 140365806243575 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
/proc/1186/statm: 2704916 9854 3170 1 0 2667149 0
[pid=1186/tid=1239] ppid=1183 vsize=10819664 memory=8389772277269004345 CPUtime=0.19 cores=1,3,5,7
/proc/1186/task/1239/stat : 1239 (java) R 1183 1186 31467 0 -1 4202560 3729 13006 0 0 11 1 4 3 20 0 15 0 417162459 11079335936 10430 33554432000 4194304 4196468 140736192504080 140365778066736 140365786518792 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1240] ppid=1183 vsize=10819664 memory=4294967660 CPUtime=0.07 cores=1,3,5,7
/proc/1186/task/1240/stat : 1240 (java) S 1183 1186 31467 0 -1 1077944384 1 13006 0 0 0 0 4 3 20 0 15 0 417162460 11079335936 10430 33554432000 4194304 4196468 140736192504080 140365810486160 140365806253781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1241] ppid=1183 vsize=10819664 memory=3834165194109957792 CPUtime=0.07 cores=1,3,5,7
/proc/1186/task/1241/stat : 1241 (java) S 1183 1186 31467 0 -1 1077944384 1 13006 0 0 0 0 4 3 20 0 15 0 417162460 11079335936 10430 33554432000 4194304 4196468 140736192504080 140365709376272 140365806253781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1242] ppid=1183 vsize=10819664 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1186/task/1242/stat : 1242 (java) S 1183 1186 31467 0 -1 1077944384 1 13006 0 0 0 0 4 3 20 0 15 0 417162460 11079335936 10430 33554432000 4194304 4196468 140736192504080 140365708323984 140365806253781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1243] ppid=1183 vsize=10819664 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/1186/task/1243/stat : 1243 (java) S 1183 1186 31467 0 -1 1077944384 2 13006 0 0 0 0 4 3 20 0 15 0 417162460 11079335936 10430 33554432000 4194304 4196468 140736192504080 140365707271184 140365806253781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1244] ppid=1183 vsize=10819664 memory=140427496994432 CPUtime=0.07 cores=1,3,5,7
/proc/1186/task/1244/stat : 1244 (java) S 1183 1186 31467 0 -1 1077944384 2 13006 0 0 0 0 4 3 20 0 15 0 417162461 11079335936 10430 33554432000 4194304 4196468 140736192504080 140365265643632 140365806254722 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1245] ppid=1183 vsize=10819664 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/1186/task/1245/stat : 1245 (java) S 1183 1186 31467 0 -1 1077944384 13 13006 0 0 0 0 4 3 20 0 15 0 417162461 11079335936 10430 33554432000 4194304 4196468 140736192504080 140364698608416 140365806253781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1246] ppid=1183 vsize=10819664 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1186/task/1246/stat : 1246 (java) S 1183 1186 31467 0 -1 1077944384 1 13006 0 0 0 0 4 3 20 0 15 0 417162462 11079335936 10430 33554432000 4194304 4196468 140736192504080 140364564391024 140365806253781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1247] ppid=1183 vsize=10819664 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1186/task/1247/stat : 1247 (java) S 1183 1186 31467 0 -1 1077944384 3 13006 0 0 0 0 4 3 20 0 15 0 417162464 11079335936 10430 33554432000 4194304 4196468 140736192504080 140364324100176 140365806262171 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1248] ppid=1183 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1186/task/1248/stat : 1248 (java) S 1183 1186 31467 0 -1 1077944384 491 13006 0 0 1 0 4 3 20 0 15 0 417162464 11079335936 10430 33554432000 4194304 4196468 140736192504080 140365264591472 140365806254722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1249] ppid=1183 vsize=10819664 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/1186/task/1249/stat : 1249 (java) S 1183 1186 31467 0 -1 1077944384 173 13006 0 0 0 0 4 3 20 0 15 0 417162464 11079335936 10430 33554432000 4194304 4196468 140736192504080 140365263538672 140365806254722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1250] ppid=1183 vsize=10819664 memory=140427496994432 CPUtime=0.1 cores=1,3,5,7
/proc/1186/task/1250/stat : 1250 (java) S 1183 1186 31467 0 -1 1077944384 612 13006 0 0 3 0 4 3 20 0 15 0 417162464 11079335936 10430 33554432000 4194304 4196468 140736192504080 140365262486384 140365806254722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1251] ppid=1183 vsize=10819664 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/1186/task/1251/stat : 1251 (java) S 1183 1186 31467 0 -1 1077944384 3 13006 0 0 0 0 4 3 20 0 15 0 417162465 11079335936 10430 33554432000 4194304 4196468 140736192504080 140364290542560 140365806253781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1252] ppid=1183 vsize=10819808 memory=140427496994432 CPUtime=0.07 cores=1,3,5,7
/proc/1186/task/1252/stat : 1252 (java) S 1183 1186 31467 0 -1 1077944384 1 13006 0 0 0 0 4 3 20 0 15 0 417162465 11079483392 10430 33554432000 4194304 4196468 140736192504080 140365261433264 140365806254722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 39416 KiB

[startup+0.310388 s]*
/proc/loadavg: 1.83 1.38 1.36 5/227 1252
/proc/meminfo: memFree=31048712/32770624 swapFree=67000416/67108860
[pid=1186] ppid=1183 vsize=10820148 memory=50544 CPUtime=0.39 cores=1,3,5,7
/proc/1186/stat : 1186 (java) S 1183 1186 31467 0 -1 1077944320 10894 13006 0 0 29 3 4 3 20 0 15 0 417162450 11079831552 12636 33554432000 4194304 4196468 140736192504080 140736192486624 140365806243575 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
/proc/1186/statm: 2705037 12636 3302 1 0 2667149 0
[pid=1186/tid=1239] ppid=1183 vsize=10820148 memory=6935655852947886160 CPUtime=0.29 cores=1,3,5,7
/proc/1186/task/1239/stat : 1239 (java) R 1183 1186 31467 0 -1 4202560 7365 13006 0 0 20 2 4 3 20 0 15 0 417162459 11079831552 12636 33554432000 4194304 4196468 140736192504080 140365778068736 140365806264922 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1240] ppid=1183 vsize=10820148 memory=4294967295 CPUtime=0.07 cores=1,3,5,7
/proc/1186/task/1240/stat : 1240 (java) S 1183 1186 31467 0 -1 1077944384 1 13006 0 0 0 0 4 3 20 0 15 0 417162460 11079831552 12636 33554432000 4194304 4196468 140736192504080 140365810486160 140365806253781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1241] ppid=1183 vsize=10820148 memory=140427496994432 CPUtime=0.07 cores=1,3,5,7
/proc/1186/task/1241/stat : 1241 (java) S 1183 1186 31467 0 -1 1077944384 1 13006 0 0 0 0 4 3 20 0 15 0 417162460 11079831552 12636 33554432000 4194304 4196468 140736192504080 140365709376272 140365806253781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1242] ppid=1183 vsize=10820148 memory=280854756824320 CPUtime=0.07 cores=1,3,5,7
/proc/1186/task/1242/stat : 1242 (java) S 1183 1186 31467 0 -1 1077944384 1 13006 0 0 0 0 4 3 20 0 15 0 417162460 11079831552 12636 33554432000 4194304 4196468 140736192504080 140365708323984 140365806253781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1243] ppid=1183 vsize=10820148 memory=67 CPUtime=0.07 cores=1,3,5,7
/proc/1186/task/1243/stat : 1243 (java) S 1183 1186 31467 0 -1 1077944384 2 13006 0 0 0 0 4 3 20 0 15 0 417162460 11079831552 12636 33554432000 4194304 4196468 140736192504080 140365707271184 140365806253781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1244] ppid=1183 vsize=10820148 memory=140427496994432 CPUtime=0.07 cores=1,3,5,7
/proc/1186/task/1244/stat : 1244 (java) S 1183 1186 31467 0 -1 1077944384 2 13006 0 0 0 0 4 3 20 0 15 0 417162461 11079831552 12636 33554432000 4194304 4196468 140736192504080 140365265643632 140365806254722 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1245] ppid=1183 vsize=10820152 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1186/task/1245/stat : 1245 (java) S 1183 1186 31467 0 -1 1077944384 13 13006 0 0 0 0 4 3 20 0 15 0 417162461 11079835648 12636 33554432000 4194304 4196468 140736192504080 140364698608416 140365806253781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1246] ppid=1183 vsize=10820152 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/1186/task/1246/stat : 1246 (java) S 1183 1186 31467 0 -1 1077944384 1 13006 0 0 0 0 4 3 20 0 15 0 417162462 11079835648 12636 33554432000 4194304 4196468 140736192504080 140364564391024 140365806253781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1247] ppid=1183 vsize=10820152 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/1186/task/1247/stat : 1247 (java) S 1183 1186 31467 0 -1 1077944384 3 13006 0 0 0 0 4 3 20 0 15 0 417162464 11079835648 12636 33554432000 4194304 4196468 140736192504080 140364324100176 140365806262171 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1248] ppid=1183 vsize=10820152 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/1186/task/1248/stat : 1248 (java) S 1183 1186 31467 0 -1 1077944384 492 13006 0 0 2 0 4 3 20 0 15 0 417162464 11079835648 12636 33554432000 4194304 4196468 140736192504080 140365264591472 140365806254722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1249] ppid=1183 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/1186/task/1249/stat : 1249 (java) S 1183 1186 31467 0 -1 1077944384 182 13006 0 0 1 0 4 3 20 0 15 0 417162464 11079880704 12636 33554432000 4194304 4196468 140736192504080 140365263538672 140365806254722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1250] ppid=1183 vsize=10820196 memory=140427496994432 CPUtime=0.12 cores=1,3,5,7
/proc/1186/task/1250/stat : 1250 (java) S 1183 1186 31467 0 -1 1077944384 620 13006 0 0 5 0 4 3 20 0 15 0 417162464 11079880704 12701 33554432000 4194304 4196468 140736192504080 140365262486384 140365806254722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1251] ppid=1183 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/1186/task/1251/stat : 1251 (java) S 1183 1186 31467 0 -1 1077944384 3 13006 0 0 0 0 4 3 20 0 15 0 417162465 11079880704 12701 33554432000 4194304 4196468 140736192504080 140364290542560 140365806253781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1252] ppid=1183 vsize=10820196 memory=140427496994432 CPUtime=0.07 cores=1,3,5,7
/proc/1186/task/1252/stat : 1252 (java) S 1183 1186 31467 0 -1 1077944384 1 13006 0 0 0 0 4 3 20 0 15 0 417162465 11079880704 12701 33554432000 4194304 4196468 140736192504080 140365261433264 140365806254722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 50544 KiB

[startup+0.700724 s]
/proc/loadavg: 1.83 1.38 1.36 6/227 1252
/proc/meminfo: memFree=31013084/32770624 swapFree=67000416/67108860
[pid=1186] ppid=1183 vsize=10824360 memory=83716 CPUtime=1.12 cores=1,3,5,7
/proc/1186/stat : 1186 (java) S 1183 1186 31467 0 -1 1077944320 15128 13006 0 0 100 5 4 3 20 0 15 0 417162450 11084144640 20929 33554432000 4194304 4196468 140736192504080 140736192486624 140365806243575 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
/proc/1186/statm: 2706090 20929 3510 1 0 2668173 0
[pid=1186/tid=1239] ppid=1183 vsize=10824360 memory=2596 CPUtime=0.66 cores=1,3,5,7
/proc/1186/task/1239/stat : 1239 (java) R 1183 1186 31467 0 -1 4202560 10398 13006 0 0 56 3 4 3 20 0 15 0 417162459 11084144640 20929 33554432000 4194304 4196468 140736192504080 140365778073120 140365790324062 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1240] ppid=1183 vsize=10824360 memory=7162201577998475856 CPUtime=0.07 cores=1,3,5,7
/proc/1186/task/1240/stat : 1240 (java) S 1183 1186 31467 0 -1 1077944384 1 13006 0 0 0 0 4 3 20 0 15 0 417162460 11084144640 20929 33554432000 4194304 4196468 140736192504080 140365810486160 140365806253781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1241] ppid=1183 vsize=10824360 memory=7019257425709197167 CPUtime=0.07 cores=1,3,5,7
/proc/1186/task/1241/stat : 1241 (java) S 1183 1186 31467 0 -1 1077944384 1 13006 0 0 0 0 4 3 20 0 15 0 417162460 11084144640 20929 33554432000 4194304 4196468 140736192504080 140365709376272 140365806253781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1242] ppid=1183 vsize=10824360 memory=140427496993265 CPUtime=0.07 cores=1,3,5,7
/proc/1186/task/1242/stat : 1242 (java) S 1183 1186 31467 0 -1 1077944384 1 13006 0 0 0 0 4 3 20 0 15 0 417162460 11084144640 20929 33554432000 4194304 4196468 140736192504080 140365708323984 140365806253781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1243] ppid=1183 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1186/task/1243/stat : 1243 (java) S 1183 1186 31467 0 -1 1077944384 2 13006 0 0 0 0 4 3 20 0 15 0 417162460 11084144640 20929 33554432000 4194304 4196468 140736192504080 140365707271184 140365806253781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1244] ppid=1183 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1186/task/1244/stat : 1244 (java) S 1183 1186 31467 0 -1 1077944384 5 13006 0 0 0 0 4 3 20 0 15 0 417162461 11084144640 20929 33554432000 4194304 4196468 140736192504080 140365265643632 140365806254722 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1245] ppid=1183 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1186/task/1245/stat : 1245 (java) S 1183 1186 31467 0 -1 1077944384 13 13006 0 0 0 0 4 3 20 0 15 0 417162461 11084144640 20929 33554432000 4194304 4196468 140736192504080 140364698608416 140365806253781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1246] ppid=1183 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1186/task/1246/stat : 1246 (java) S 1183 1186 31467 0 -1 1077944384 1 13006 0 0 0 0 4 3 20 0 15 0 417162462 11084144640 20929 33554432000 4194304 4196468 140736192504080 140364564391024 140365806253781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1247] ppid=1183 vsize=10824360 memory=2494503585281 CPUtime=0.07 cores=1,3,5,7
/proc/1186/task/1247/stat : 1247 (java) S 1183 1186 31467 0 -1 1077944384 3 13006 0 0 0 0 4 3 20 0 15 0 417162464 11084144640 20929 33554432000 4194304 4196468 140736192504080 140364324100176 140365806262171 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1248] ppid=1183 vsize=10824360 memory=117397370 CPUtime=0.19 cores=1,3,5,7
/proc/1186/task/1248/stat : 1248 (java) R 1183 1186 31467 0 -1 4202560 1004 13006 0 0 12 0 4 3 20 0 15 0 417162464 11084144640 20929 33554432000 4194304 4196468 140736192504080 140365264591472 140365790532432 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1249] ppid=1183 vsize=10824360 memory=-7453528518462155811 CPUtime=0.22 cores=1,3,5,7
/proc/1186/task/1249/stat : 1249 (java) R 1183 1186 31467 0 -1 1077944384 612 13006 0 0 15 0 4 3 20 0 15 0 417162464 11084144640 20929 33554432000 4194304 4196468 140736192504080 140365263538672 140365806254722 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1250] ppid=1183 vsize=10824360 memory=1056 CPUtime=0.24 cores=1,3,5,7
/proc/1186/task/1250/stat : 1250 (java) S 1183 1186 31467 0 -1 1077944384 875 13006 0 0 17 0 4 3 20 0 15 0 417162464 11084144640 20929 33554432000 4194304 4196468 140736192504080 140365262486384 140365806254722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1251] ppid=1183 vsize=10824360 memory=964 CPUtime=0.07 cores=1,3,5,7
/proc/1186/task/1251/stat : 1251 (java) S 1183 1186 31467 0 -1 1077944384 3 13006 0 0 0 0 4 3 20 0 15 0 417162465 11084144640 20929 33554432000 4194304 4196468 140736192504080 140364290542560 140365806253781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1252] ppid=1183 vsize=10824360 memory=14008 CPUtime=0.07 cores=1,3,5,7
/proc/1186/task/1252/stat : 1252 (java) S 1183 1186 31467 0 -1 1077944384 1 13006 0 0 0 0 4 3 20 0 15 0 417162465 11084144640 20929 33554432000 4194304 4196468 140736192504080 140365261433264 140365806254722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 83716 KiB

[startup+1.50469 s]
/proc/loadavg: 1.83 1.38 1.36 5/227 1252
/proc/meminfo: memFree=30961404/32770624 swapFree=67000416/67108860
[pid=1186] ppid=1183 vsize=10830580 memory=198216 CPUtime=3.53 cores=1,3,5,7
/proc/1186/stat : 1186 (java) S 1183 1186 31467 0 -1 1077944320 28320 13006 0 0 338 8 4 3 20 0 15 0 417162450 11090513920 49554 33554432000 4194304 4196468 140736192504080 140736192486624 140365806243575 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
/proc/1186/statm: 2707645 49554 3554 1 0 2669709 0
[pid=1186/tid=1239] ppid=1183 vsize=10830580 memory=3616 CPUtime=1.45 cores=1,3,5,7
/proc/1186/task/1239/stat : 1239 (java) R 1183 1186 31467 0 -1 4202560 13199 13006 0 0 133 5 4 3 20 0 15 0 417162459 11090513920 49554 33554432000 4194304 4196468 140736192504080 140365778066976 140365806265501 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1240] ppid=1183 vsize=10830580 memory=2273 CPUtime=0.07 cores=1,3,5,7
/proc/1186/task/1240/stat : 1240 (java) S 1183 1186 31467 0 -1 1077944384 1 13006 0 0 0 0 4 3 20 0 15 0 417162460 11090513920 49554 33554432000 4194304 4196468 140736192504080 140365810486160 140365806253781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1241] ppid=1183 vsize=10830580 memory=2244 CPUtime=0.07 cores=1,3,5,7
/proc/1186/task/1241/stat : 1241 (java) S 1183 1186 31467 0 -1 1077944384 1 13006 0 0 0 0 4 3 20 0 15 0 417162460 11090513920 49554 33554432000 4194304 4196468 140736192504080 140365709376272 140365806253781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1242] ppid=1183 vsize=10830580 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1186/task/1242/stat : 1242 (java) S 1183 1186 31467 0 -1 1077944384 1 13006 0 0 0 0 4 3 20 0 15 0 417162460 11090513920 49554 33554432000 4194304 4196468 140736192504080 140365708323984 140365806253781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1243] ppid=1183 vsize=10830580 memory=8112282956445269571 CPUtime=0.07 cores=1,3,5,7
/proc/1186/task/1243/stat : 1243 (java) S 1183 1186 31467 0 -1 1077944384 2 13006 0 0 0 0 4 3 20 0 15 0 417162460 11090513920 49554 33554432000 4194304 4196468 140736192504080 140365707271184 140365806253781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1244] ppid=1183 vsize=10830580 memory=6944656592455359580 CPUtime=0.07 cores=1,3,5,7
/proc/1186/task/1244/stat : 1244 (java) S 1183 1186 31467 0 -1 1077944384 5 13006 0 0 0 0 4 3 20 0 15 0 417162461 11090513920 49554 33554432000 4194304 4196468 140736192504080 140365265643632 140365806254722 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1245] ppid=1183 vsize=10830580 memory=-6803092254075368380 CPUtime=0.07 cores=1,3,5,7
/proc/1186/task/1245/stat : 1245 (java) S 1183 1186 31467 0 -1 1077944384 13 13006 0 0 0 0 4 3 20 0 15 0 417162461 11090513920 49554 33554432000 4194304 4196468 140736192504080 140364698608416 140365806253781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1246] ppid=1183 vsize=10830580 memory=4137292528961491315 CPUtime=0.07 cores=1,3,5,7
/proc/1186/task/1246/stat : 1246 (java) S 1183 1186 31467 0 -1 1077944384 1 13006 0 0 0 0 4 3 20 0 15 0 417162462 11090513920 49554 33554432000 4194304 4196468 140736192504080 140364564391024 140365806253781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1247] ppid=1183 vsize=10830580 memory=8257237230052613020 CPUtime=0.07 cores=1,3,5,7
/proc/1186/task/1247/stat : 1247 (java) S 1183 1186 31467 0 -1 1077944384 3 13006 0 0 0 0 4 3 20 0 15 0 417162464 11090513920 49554 33554432000 4194304 4196468 140736192504080 140364324100176 140365806262171 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1248] ppid=1183 vsize=10830580 memory=55 CPUtime=0.83 cores=1,3,5,7
/proc/1186/task/1248/stat : 1248 (java) R 1183 1186 31467 0 -1 4202560 5816 13006 0 0 76 0 4 3 20 0 15 0 417162464 11090513920 49554 33554432000 4194304 4196468 140736192504080 140365264578016 140365787423229 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1249] ppid=1183 vsize=10830580 memory=0 CPUtime=0.85 cores=1,3,5,7
/proc/1186/task/1249/stat : 1249 (java) S 1183 1186 31467 0 -1 1077944384 4677 13006 0 0 78 0 4 3 20 0 15 0 417162464 11090513920 49554 33554432000 4194304 4196468 140736192504080 140365263538672 140365806254722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1250] ppid=1183 vsize=10830580 memory=0 CPUtime=0.56 cores=1,3,5,7
/proc/1186/task/1250/stat : 1250 (java) S 1183 1186 31467 0 -1 1077944384 2387 13006 0 0 49 0 4 3 20 0 15 0 417162464 11090513920 49554 33554432000 4194304 4196468 140736192504080 140365262486384 140365806254722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1251] ppid=1183 vsize=10830580 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1186/task/1251/stat : 1251 (java) S 1183 1186 31467 0 -1 1077944384 3 13006 0 0 0 0 4 3 20 0 15 0 417162465 11090513920 49554 33554432000 4194304 4196468 140736192504080 140364290542560 140365806253781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1252] ppid=1183 vsize=10830580 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1186/task/1252/stat : 1252 (java) S 1183 1186 31467 0 -1 1077944384 1 13006 0 0 0 0 4 3 20 0 15 0 417162465 11090513920 49554 33554432000 4194304 4196468 140736192504080 140365261433264 140365806254722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0

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

/proc/1186/task/1239/stat : 1239 (java) R 1183 1186 31467 0 -1 4202560 84189 13006 0 0 230825 41 4 3 20 0 15 0 417162459 11111505920 328456 33554432000 4194304 4196468 140736192504080 140365778078320 140365408631043 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1240] ppid=1183 vsize=10851080 memory=1313824 CPUtime=7.2 cores=1,3,5,7
/proc/1186/task/1240/stat : 1240 (java) S 1183 1186 31467 0 -1 1077944384 19330 13006 0 0 682 31 4 3 20 0 15 0 417162460 11111505920 328456 33554432000 4194304 4196468 140736192504080 140365810486160 140365806253781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1241] ppid=1183 vsize=10851080 memory=1313800 CPUtime=7.18 cores=1,3,5,7
/proc/1186/task/1241/stat : 1241 (java) S 1183 1186 31467 0 -1 1077944384 18979 13006 0 0 678 33 4 3 20 0 15 0 417162460 11111505920 328456 33554432000 4194304 4196468 140736192504080 140365709376272 140365806253781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1242] ppid=1183 vsize=10851080 memory=1313824 CPUtime=7.19 cores=1,3,5,7
/proc/1186/task/1242/stat : 1242 (java) S 1183 1186 31467 0 -1 1077944384 26108 13006 0 0 683 29 4 3 20 0 15 0 417162460 11111505920 328456 33554432000 4194304 4196468 140736192504080 140365708323984 140365806253781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1243] ppid=1183 vsize=10851080 memory=1313824 CPUtime=7.2 cores=1,3,5,7
/proc/1186/task/1243/stat : 1243 (java) S 1183 1186 31467 0 -1 1077944384 15541 13006 0 0 684 29 4 3 20 0 15 0 417162460 11111505920 328456 33554432000 4194304 4196468 140736192504080 140365707271184 140365806253781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1244] ppid=1183 vsize=10851080 memory=1313824 CPUtime=4.86 cores=1,3,5,7
/proc/1186/task/1244/stat : 1244 (java) S 1183 1186 31467 0 -1 1077944384 19597 13006 0 0 450 29 4 3 20 0 15 0 417162461 11111505920 328456 33554432000 4194304 4196468 140736192504080 140365265643632 140365806254722 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1245] ppid=1183 vsize=10851080 memory=1313824 CPUtime=0.07 cores=1,3,5,7
/proc/1186/task/1245/stat : 1245 (java) S 1183 1186 31467 0 -1 1077944384 29 13006 0 0 0 0 4 3 20 0 15 0 417162461 11111505920 328456 33554432000 4194304 4196468 140736192504080 140364698608480 140365806253781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1246] ppid=1183 vsize=10851080 memory=3616 CPUtime=0.07 cores=1,3,5,7
/proc/1186/task/1246/stat : 1246 (java) S 1183 1186 31467 0 -1 1077944384 18 13006 0 0 0 0 4 3 20 0 15 0 417162462 11111505920 328456 33554432000 4194304 4196468 140736192504080 140364564391040 140365806253781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1247] ppid=1183 vsize=10851080 memory=1313824 CPUtime=0.07 cores=1,3,5,7
/proc/1186/task/1247/stat : 1247 (java) S 1183 1186 31467 0 -1 1077944384 3 13006 0 0 0 0 4 3 20 0 15 0 417162464 11111505920 328456 33554432000 4194304 4196468 140736192504080 140364324100176 140365806262171 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1248] ppid=1183 vsize=10851080 memory=3616 CPUtime=8.21 cores=1,3,5,7
/proc/1186/task/1248/stat : 1248 (java) S 1183 1186 31467 0 -1 1077944384 47727 13006 0 0 808 6 4 3 20 0 15 0 417162464 11111505920 328456 33554432000 4194304 4196468 140736192504080 140365264591472 140365806254722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1249] ppid=1183 vsize=10851080 memory=1313824 CPUtime=8.54 cores=1,3,5,7
/proc/1186/task/1249/stat : 1249 (java) S 1183 1186 31467 0 -1 1077944384 43980 13006 0 0 840 7 4 3 20 0 15 0 417162464 11111505920 328456 33554432000 4194304 4196468 140736192504080 140365263538672 140365806254722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1250] ppid=1183 vsize=10851080 memory=1313824 CPUtime=3 cores=1,3,5,7
/proc/1186/task/1250/stat : 1250 (java) S 1183 1186 31467 0 -1 1077944384 27092 13006 0 0 287 6 4 3 20 0 15 0 417162464 11111505920 328456 33554432000 4194304 4196468 140736192504080 140365262486384 140365806254722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1251] ppid=1183 vsize=10851080 memory=1240 CPUtime=0.07 cores=1,3,5,7
/proc/1186/task/1251/stat : 1251 (java) S 1183 1186 31467 0 -1 1077944384 3 13006 0 0 0 0 4 3 20 0 15 0 417162465 11111505920 328456 33554432000 4194304 4196468 140736192504080 140364290542560 140365806253781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1252] ppid=1183 vsize=10851080 memory=8112282956445269571 CPUtime=1.24 cores=1,3,5,7
/proc/1186/task/1252/stat : 1252 (java) S 1183 1186 31467 0 -1 1077944384 1190 13006 0 0 58 59 4 3 20 0 15 0 417162465 11111505920 328456 33554432000 4194304 4196468 140736192504080 140365261433264 140365806254722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
Current children cumulated CPU time: 2362.82 s
Current children cumulated vsize: 10851080 KiB
Current children cumulated memory: 1313824 KiB

[startup+2382.3 s]
/proc/loadavg: 1.24 1.29 1.39 3/227 1740
/proc/meminfo: memFree=29394524/32770624 swapFree=67000424/67108860
[pid=1186] ppid=1183 vsize=10851080 memory=1313860 CPUtime=2423.5 cores=1,3,5,7
/proc/1186/stat : 1186 (java) S 1183 1186 31467 0 -1 1077944320 308345 13006 0 0 242099 244 4 3 20 0 15 0 417162450 11111505920 328465 33554432000 4194304 4196468 140736192504080 140736192486624 140365806243575 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
/proc/1186/statm: 2712770 328465 3640 1 0 2674829 0
[pid=1186/tid=1239] ppid=1183 vsize=10851080 memory=1313860 CPUtime=2368.4 cores=1,3,5,7
/proc/1186/task/1239/stat : 1239 (java) R 1183 1186 31467 0 -1 4202560 84937 13006 0 0 236792 41 4 3 20 0 15 0 417162459 11111505920 328465 33554432000 4194304 4196468 140736192504080 140365778078336 140365401606800 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1240] ppid=1183 vsize=10851080 memory=1313860 CPUtime=7.38 cores=1,3,5,7
/proc/1186/task/1240/stat : 1240 (java) S 1183 1186 31467 0 -1 1077944384 19392 13006 0 0 700 31 4 3 20 0 15 0 417162460 11111505920 328465 33554432000 4194304 4196468 140736192504080 140365810486160 140365806253781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1241] ppid=1183 vsize=10851080 memory=1313860 CPUtime=7.36 cores=1,3,5,7
/proc/1186/task/1241/stat : 1241 (java) S 1183 1186 31467 0 -1 1077944384 19123 13006 0 0 695 34 4 3 20 0 15 0 417162460 11111505920 328465 33554432000 4194304 4196468 140736192504080 140365709376272 140365806253781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1242] ppid=1183 vsize=10851080 memory=1313824 CPUtime=7.38 cores=1,3,5,7
/proc/1186/task/1242/stat : 1242 (java) S 1183 1186 31467 0 -1 1077944384 26379 13006 0 0 701 30 4 3 20 0 15 0 417162460 11111505920 328465 33554432000 4194304 4196468 140736192504080 140365708323984 140365806253781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1243] ppid=1183 vsize=10851080 memory=1313860 CPUtime=7.38 cores=1,3,5,7
/proc/1186/task/1243/stat : 1243 (java) S 1183 1186 31467 0 -1 1077944384 15702 13006 0 0 702 29 4 3 20 0 15 0 417162460 11111505920 328465 33554432000 4194304 4196468 140736192504080 140365707271184 140365806253781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1244] ppid=1183 vsize=10851080 memory=1313860 CPUtime=5 cores=1,3,5,7
/proc/1186/task/1244/stat : 1244 (java) S 1183 1186 31467 0 -1 1077944384 19817 13006 0 0 463 30 4 3 20 0 15 0 417162461 11111505920 328465 33554432000 4194304 4196468 140736192504080 140365265643632 140365806254722 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1245] ppid=1183 vsize=10851080 memory=1313860 CPUtime=0.07 cores=1,3,5,7
/proc/1186/task/1245/stat : 1245 (java) S 1183 1186 31467 0 -1 1077944384 29 13006 0 0 0 0 4 3 20 0 15 0 417162461 11111505920 328465 33554432000 4194304 4196468 140736192504080 140364698608480 140365806253781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1246] ppid=1183 vsize=10851080 memory=1313860 CPUtime=0.07 cores=1,3,5,7
/proc/1186/task/1246/stat : 1246 (java) S 1183 1186 31467 0 -1 1077944384 18 13006 0 0 0 0 4 3 20 0 15 0 417162462 11111505920 328465 33554432000 4194304 4196468 140736192504080 140364564391040 140365806253781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1247] ppid=1183 vsize=10851080 memory=1313860 CPUtime=0.07 cores=1,3,5,7
/proc/1186/task/1247/stat : 1247 (java) S 1183 1186 31467 0 -1 1077944384 3 13006 0 0 0 0 4 3 20 0 15 0 417162464 11111505920 328465 33554432000 4194304 4196468 140736192504080 140364324100176 140365806262171 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1248] ppid=1183 vsize=10851080 memory=1313860 CPUtime=8.21 cores=1,3,5,7
/proc/1186/task/1248/stat : 1248 (java) S 1183 1186 31467 0 -1 1077944384 47729 13006 0 0 808 6 4 3 20 0 15 0 417162464 11111505920 328465 33554432000 4194304 4196468 140736192504080 140365264591472 140365806254722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1249] ppid=1183 vsize=10851080 memory=1313860 CPUtime=8.66 cores=1,3,5,7
/proc/1186/task/1249/stat : 1249 (java) S 1183 1186 31467 0 -1 1077944384 44701 13006 0 0 852 7 4 3 20 0 15 0 417162464 11111505920 328465 33554432000 4194304 4196468 140736192504080 140365263538672 140365806254722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1250] ppid=1183 vsize=10851080 memory=1313860 CPUtime=3 cores=1,3,5,7
/proc/1186/task/1250/stat : 1250 (java) S 1183 1186 31467 0 -1 1077944384 27094 13006 0 0 287 6 4 3 20 0 15 0 417162464 11111505920 328465 33554432000 4194304 4196468 140736192504080 140365262486384 140365806254722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1251] ppid=1183 vsize=10851080 memory=3616 CPUtime=0.07 cores=1,3,5,7
/proc/1186/task/1251/stat : 1251 (java) S 1183 1186 31467 0 -1 1077944384 3 13006 0 0 0 0 4 3 20 0 15 0 417162465 11111505920 328465 33554432000 4194304 4196468 140736192504080 140364290542560 140365806253781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1252] ppid=1183 vsize=10851080 memory=36648 CPUtime=1.27 cores=1,3,5,7
/proc/1186/task/1252/stat : 1252 (java) S 1183 1186 31467 0 -1 1077944384 1208 13006 0 0 59 61 4 3 20 0 15 0 417162465 11111505920 328465 33554432000 4194304 4196468 140736192504080 140365261433264 140365806254722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
Current children cumulated CPU time: 2423.5 s
Current children cumulated vsize: 10851080 KiB
Current children cumulated memory: 1313860 KiB

[startup+2442.3 s]
/proc/loadavg: 1.28 1.30 1.39 3/227 1744
/proc/meminfo: memFree=29380500/32770624 swapFree=67000424/67108860
[pid=1186] ppid=1183 vsize=10851080 memory=1313908 CPUtime=2484.03 cores=1,3,5,7
/proc/1186/stat : 1186 (java) S 1183 1186 31467 0 -1 1077944320 310922 13006 0 0 248148 248 4 3 20 0 15 0 417162450 11111505920 328477 33554432000 4194304 4196468 140736192504080 140736192486624 140365806243575 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
/proc/1186/statm: 2712770 328477 3640 1 0 2674829 0
[pid=1186/tid=1239] ppid=1183 vsize=10851080 memory=1313908 CPUtime=2428.06 cores=1,3,5,7
/proc/1186/task/1239/stat : 1239 (java) R 1183 1186 31467 0 -1 4202560 85791 13006 0 0 242757 42 4 3 20 0 15 0 417162459 11111505920 328477 33554432000 4194304 4196468 140736192504080 140365778077680 140365408646360 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1240] ppid=1183 vsize=10851080 memory=1313908 CPUtime=7.56 cores=1,3,5,7
/proc/1186/task/1240/stat : 1240 (java) S 1183 1186 31467 0 -1 1077944384 19943 13006 0 0 717 32 4 3 20 0 15 0 417162460 11111505920 328477 33554432000 4194304 4196468 140736192504080 140365810486160 140365806253781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1241] ppid=1183 vsize=10851080 memory=1313908 CPUtime=7.54 cores=1,3,5,7
/proc/1186/task/1241/stat : 1241 (java) S 1183 1186 31467 0 -1 1077944384 19476 13006 0 0 712 35 4 3 20 0 15 0 417162460 11111505920 328477 33554432000 4194304 4196468 140736192504080 140365709376272 140365806253781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1242] ppid=1183 vsize=10851080 memory=280854757369856 CPUtime=7.56 cores=1,3,5,7
/proc/1186/task/1242/stat : 1242 (java) S 1183 1186 31467 0 -1 1077944384 26522 13006 0 0 719 30 4 3 20 0 15 0 417162460 11111505920 328477 33554432000 4194304 4196468 140736192504080 140365708323984 140365806253781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1243] ppid=1183 vsize=10851080 memory=1313908 CPUtime=7.56 cores=1,3,5,7
/proc/1186/task/1243/stat : 1243 (java) S 1183 1186 31467 0 -1 1077944384 15917 13006 0 0 720 29 4 3 20 0 15 0 417162460 11111505920 328477 33554432000 4194304 4196468 140736192504080 140365707271184 140365806253781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1244] ppid=1183 vsize=10851080 memory=1313884 CPUtime=5.12 cores=1,3,5,7
/proc/1186/task/1244/stat : 1244 (java) S 1183 1186 31467 0 -1 1077944384 20234 13006 0 0 475 30 4 3 20 0 15 0 417162461 11111505920 328477 33554432000 4194304 4196468 140736192504080 140365265643632 140365806254722 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1245] ppid=1183 vsize=10851080 memory=1313884 CPUtime=0.07 cores=1,3,5,7
/proc/1186/task/1245/stat : 1245 (java) S 1183 1186 31467 0 -1 1077944384 29 13006 0 0 0 0 4 3 20 0 15 0 417162461 11111505920 328477 33554432000 4194304 4196468 140736192504080 140364698608480 140365806253781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1246] ppid=1183 vsize=10851080 memory=8112282956445269571 CPUtime=0.07 cores=1,3,5,7
/proc/1186/task/1246/stat : 1246 (java) S 1183 1186 31467 0 -1 1077944384 18 13006 0 0 0 0 4 3 20 0 15 0 417162462 11111505920 328477 33554432000 4194304 4196468 140736192504080 140364564391040 140365806253781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1247] ppid=1183 vsize=10851080 memory=1240 CPUtime=0.07 cores=1,3,5,7
/proc/1186/task/1247/stat : 1247 (java) S 1183 1186 31467 0 -1 1077944384 3 13006 0 0 0 0 4 3 20 0 15 0 417162464 11111505920 328477 33554432000 4194304 4196468 140736192504080 140364324100176 140365806262171 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1248] ppid=1183 vsize=10851080 memory=1313884 CPUtime=8.21 cores=1,3,5,7
/proc/1186/task/1248/stat : 1248 (java) S 1183 1186 31467 0 -1 1077944384 47733 13006 0 0 808 6 4 3 20 0 15 0 417162464 11111505920 328477 33554432000 4194304 4196468 140736192504080 140365264591472 140365806254722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1249] ppid=1183 vsize=10851080 memory=2832 CPUtime=8.66 cores=1,3,5,7
/proc/1186/task/1249/stat : 1249 (java) S 1183 1186 31467 0 -1 1077944384 44705 13006 0 0 852 7 4 3 20 0 15 0 417162464 11111505920 328477 33554432000 4194304 4196468 140736192504080 140365263538672 140365806254722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1250] ppid=1183 vsize=10851080 memory=1313908 CPUtime=3 cores=1,3,5,7
/proc/1186/task/1250/stat : 1250 (java) S 1183 1186 31467 0 -1 1077944384 27098 13006 0 0 287 6 4 3 20 0 15 0 417162464 11111505920 328477 33554432000 4194304 4196468 140736192504080 140365262486384 140365806254722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1251] ppid=1183 vsize=10851080 memory=1313908 CPUtime=0.07 cores=1,3,5,7
/proc/1186/task/1251/stat : 1251 (java) S 1183 1186 31467 0 -1 1077944384 3 13006 0 0 0 0 4 3 20 0 15 0 417162465 11111505920 328477 33554432000 4194304 4196468 140736192504080 140364290542560 140365806253781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1252] ppid=1183 vsize=10851080 memory=1313896 CPUtime=1.29 cores=1,3,5,7
/proc/1186/task/1252/stat : 1252 (java) S 1183 1186 31467 0 -1 1077944384 1240 13006 0 0 60 62 4 3 20 0 15 0 417162465 11111505920 328477 33554432000 4194304 4196468 140736192504080 140365261433264 140365806254722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
Current children cumulated CPU time: 2484.03 s
Current children cumulated vsize: 10851080 KiB
Current children cumulated memory: 1313908 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2478 s]*
/proc/loadavg: 1.11 1.25 1.37 3/227 1746
/proc/meminfo: memFree=29380600/32770624 swapFree=67000424/67108860
[pid=1186] ppid=1183 vsize=10851080 memory=1313936 CPUtime=2520.07 cores=1,3,5,7
/proc/1186/stat : 1186 (java) S 1183 1186 31467 0 -1 1077944320 312313 13006 0 0 251749 251 4 3 20 0 15 0 417162450 11111505920 328484 33554432000 4194304 4196468 140736192504080 140736192486624 140365806243575 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
/proc/1186/statm: 2712770 328484 3640 1 0 2674829 0
[pid=1186/tid=1239] ppid=1183 vsize=10851080 memory=6935054825532540783 CPUtime=2463.56 cores=1,3,5,7
/proc/1186/task/1239/stat : 1239 (java) R 1183 1186 31467 0 -1 4202560 86309 13006 0 0 246307 42 4 3 20 0 15 0 417162459 11111505920 328484 33554432000 4194304 4196468 140736192504080 140365778078448 140365395381552 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1240] ppid=1183 vsize=10851080 memory=4126316290023845779 CPUtime=7.67 cores=1,3,5,7
/proc/1186/task/1240/stat : 1240 (java) S 1183 1186 31467 0 -1 1077944384 20115 13006 0 0 728 32 4 3 20 0 15 0 417162460 11111505920 328484 33554432000 4194304 4196468 140736192504080 140365810486160 140365806253781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1241] ppid=1183 vsize=10851080 memory=920 CPUtime=7.65 cores=1,3,5,7
/proc/1186/task/1241/stat : 1241 (java) S 1183 1186 31467 0 -1 1077944384 19757 13006 0 0 723 35 4 3 20 0 15 0 417162460 11111505920 328484 33554432000 4194304 4196468 140736192504080 140365709376272 140365806253781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1242] ppid=1183 vsize=10851080 memory=3844 CPUtime=7.67 cores=1,3,5,7
/proc/1186/task/1242/stat : 1242 (java) S 1183 1186 31467 0 -1 1077944384 26647 13006 0 0 729 31 4 3 20 0 15 0 417162460 11111505920 328484 33554432000 4194304 4196468 140736192504080 140365708323984 140365806253781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1243] ppid=1183 vsize=10851080 memory=6935054825532540783 CPUtime=7.67 cores=1,3,5,7
/proc/1186/task/1243/stat : 1243 (java) S 1183 1186 31467 0 -1 1077944384 15982 13006 0 0 730 30 4 3 20 0 15 0 417162460 11111505920 328484 33554432000 4194304 4196468 140736192504080 140365707271184 140365806253781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1244] ppid=1183 vsize=10851080 memory=1313916 CPUtime=5.19 cores=1,3,5,7
/proc/1186/task/1244/stat : 1244 (java) S 1183 1186 31467 0 -1 1077944384 20442 13006 0 0 482 30 4 3 20 0 15 0 417162461 11111505920 328484 33554432000 4194304 4196468 140736192504080 140365265643632 140365806254722 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1245] ppid=1183 vsize=10851080 memory=1313916 CPUtime=0.07 cores=1,3,5,7
/proc/1186/task/1245/stat : 1245 (java) S 1183 1186 31467 0 -1 1077944384 29 13006 0 0 0 0 4 3 20 0 15 0 417162461 11111505920 328484 33554432000 4194304 4196468 140736192504080 140364698608480 140365806253781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1246] ppid=1183 vsize=10851080 memory=2116 CPUtime=0.07 cores=1,3,5,7
/proc/1186/task/1246/stat : 1246 (java) S 1183 1186 31467 0 -1 1077944384 18 13006 0 0 0 0 4 3 20 0 15 0 417162462 11111505920 328484 33554432000 4194304 4196468 140736192504080 140364564391040 140365806253781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1247] ppid=1183 vsize=10851080 memory=3196 CPUtime=0.07 cores=1,3,5,7
/proc/1186/task/1247/stat : 1247 (java) S 1183 1186 31467 0 -1 1077944384 3 13006 0 0 0 0 4 3 20 0 15 0 417162464 11111505920 328484 33554432000 4194304 4196468 140736192504080 140364324100176 140365806262171 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1248] ppid=1183 vsize=10851080 memory=1313936 CPUtime=8.21 cores=1,3,5,7
/proc/1186/task/1248/stat : 1248 (java) S 1183 1186 31467 0 -1 1077944384 47735 13006 0 0 808 6 4 3 20 0 15 0 417162464 11111505920 328484 33554432000 4194304 4196468 140736192504080 140365264591472 140365806254722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1249] ppid=1183 vsize=10851080 memory=1412 CPUtime=8.66 cores=1,3,5,7
/proc/1186/task/1249/stat : 1249 (java) S 1183 1186 31467 0 -1 1077944384 44707 13006 0 0 852 7 4 3 20 0 15 0 417162464 11111505920 328484 33554432000 4194304 4196468 140736192504080 140365263538672 140365806254722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1250] ppid=1183 vsize=10851080 memory=3216 CPUtime=3 cores=1,3,5,7
/proc/1186/task/1250/stat : 1250 (java) S 1183 1186 31467 0 -1 1077944384 27100 13006 0 0 287 6 4 3 20 0 15 0 417162464 11111505920 328484 33554432000 4194304 4196468 140736192504080 140365262486384 140365806254722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1251] ppid=1183 vsize=10851080 memory=705176 CPUtime=0.07 cores=1,3,5,7
/proc/1186/task/1251/stat : 1251 (java) S 1183 1186 31467 0 -1 1077944384 3 13006 0 0 0 0 4 3 20 0 15 0 417162465 11111505920 328484 33554432000 4194304 4196468 140736192504080 140364290542560 140365806253781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
[pid=1186/tid=1252] ppid=1183 vsize=10851080 memory=4104 CPUtime=1.31 cores=1,3,5,7
/proc/1186/task/1252/stat : 1252 (java) S 1183 1186 31467 0 -1 1077944384 1256 13006 0 0 61 63 4 3 20 0 15 0 417162465 11111505920 328484 33554432000 4194304 4196468 140736192504080 140365261433264 140365806254722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21225472 140736192506608 140736192509125 140736192509125 140736192511951 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10851080 KiB
Current children cumulated memory: 1313936 KiB

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

[startup+2478.08 s]
# the end of solver process 1186 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.61 s, system=2.55719 s

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

Child status: 143
Real time (s): 2478.08
CPU time (s): 2520.17
CPU user time (s): 2517.61
CPU system time (s): 2.55719
CPU usage (%): 101.698
Max. virtual memory (cumulated for all children) (KiB): 10852304
Max. memory (cumulated for all children) (KiB): 1505080

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.61
system time used= 2.55719
maximum resident set size= 1507128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 326551
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3416
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 164663
involuntary context switches= 4640


# summary of solver processes directly reported to runsolver:
#   pid: 1186
#   total CPU time (s): 2520.17
#   total CPU user time (s): 2517.61
#   total CPU system time (s): 2.55719

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.3088 second user time and 24.0016 second system time

The end

Launcher Data 

Begin job on node146 at 2019-09-14 00:07:24
IDJOB=4396324
IDBENCH=141053
IDSOLVER=2846
FILE ID=node146/4396324-1568412484
RUNJOBID= node146-1568409956-517
PBS_JOBID= 21702189
Free space on /tmp= 58996 MiB

SOLVER NAME= Concrete 3.12.2
BENCH NAME= XCSP18/NurseRostering/NurseRostering-18_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4396324-1568412484/watcher-4396324-1568412484 -o /tmp/evaluation-result-4396324-1568412484/solver-4396324-1568412484 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node146-1568409956-517 --watchdog 2580  bin/xcsp-3-concrete -J-Xss32M -randomseed=575672962 HOME/instance-4396324-1568412484.xml

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

MD5SUM BENCH= 2080050c46f9199df44cd86a0d29de9d
RANDOM SEED=575672962

node146.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	: 5332.90
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	: 5332.90
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	: 5332.90
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	: 5332.90
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:        31110788 kB
MemAvailable:   31613460 kB
Buffers:          175184 kB
Cached:           593188 kB
SwapCached:         4796 kB
Active:           702788 kB
Inactive:         335040 kB
Active(anon):     285244 kB
Inactive(anon):    22596 kB
Active(file):     417544 kB
Inactive(file):   312444 kB
Unevictable:      109396 kB
Mlocked:          109396 kB
SwapTotal:      67108860 kB
SwapFree:       67000416 kB
Dirty:             35484 kB
Writeback:         18540 kB
AnonPages:        375644 kB
Mapped:            55796 kB
Shmem:             29764 kB
Slab:             218716 kB
SReclaimable:     177040 kB
SUnreclaim:        41676 kB
KernelStack:        3776 kB
PageTables:         6060 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1651528 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    212992 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /tmp at the end= 58960 MiB
End job on node146 at 2019-09-14 00:48:42