Trace number 4403304

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.3? (TO) 2400.1 2363.44

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 benchmark2400.1
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.79/0.55	c Concrete v3.12.3.1568965526260 running
15.22/5.61	c 15:20:48.004 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16340. extension(x[1][7]=[0‥3], 3) :: init: true :: relation: MDD 1487543666, 5 edges, 4 vertices, 3 tuples
15.22/5.61	c 15:20:48.008 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16379. extension(3, x[5][7]=[0‥3]) :: init: true :: relation: MDD 1487543666, 5 edges, 4 vertices, 3 tuples
15.22/5.61	c 15:20:48.009 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16400. extension(x[3][9]=[0‥3], 3) :: init: true :: relation: MDD 1427892726, 5 edges, 4 vertices, 3 tuples
15.22/5.61	c 15:20:48.010 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16421. extension(3, wk[9][0]=[0‥1]) :: init: true :: relation: MDD 584643821, 4 edges, 3 vertices, 3 tuples
15.22/5.61	c 15:20:48.011 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16444. extension(3, wk[14][0]=[0‥1]) :: init: true :: relation: MDD 1263927050, 4 edges, 3 vertices, 3 tuples
15.22/5.61	c 15:20:48.011 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16445. extension(x[4][14]=[0‥3], 3) :: init: true :: relation: MDD 771715205, 5 edges, 4 vertices, 3 tuples
15.22/5.61	c 15:20:48.012 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16446. extension(3, x[6][14]=[0‥3]) :: init: true :: relation: MDD 771715205, 5 edges, 4 vertices, 3 tuples
15.22/5.61	c 15:20:48.012 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16467. extension(3, wk[9][0]=[0‥1]) :: init: true :: relation: MDD 2041553769, 4 edges, 3 vertices, 3 tuples
15.22/5.61	c 15:20:48.012 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16534. extension(x[7][13]=[0‥3], 3) :: init: true :: relation: MDD 1684854630, 5 edges, 4 vertices, 3 tuples
15.22/5.62	c 15:20:48.013 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16535. extension(3, x[9][13]=[0‥3]) :: init: true :: relation: MDD 1684854630, 5 edges, 4 vertices, 3 tuples
15.22/5.62	c 15:20:48.013 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16578. extension(x[8][20]=[0‥3], 3) :: init: true :: relation: MDD 927744186, 5 edges, 4 vertices, 3 tuples
15.22/5.62	c 15:20:48.014 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16599. extension(3, x[11][9]=[0‥3]) :: init: true :: relation: MDD 1427892726, 5 edges, 4 vertices, 3 tuples
15.22/5.62	c 15:20:48.014 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16642. extension(x[10][7]=[0‥3], 3) :: init: true :: relation: MDD 1487543666, 5 edges, 4 vertices, 3 tuples
15.22/5.62	c 15:20:48.014 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16643. extension(3, x[12][7]=[0‥3]) :: init: true :: relation: MDD 1487543666, 5 edges, 4 vertices, 3 tuples
15.22/5.62	c 15:20:48.015 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16685. extension(3, wk[6][1]=[0‥1]) :: init: true :: relation: MDD 1952031262, 4 edges, 3 vertices, 3 tuples
15.22/5.62	c 15:20:48.015 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16686. extension(x[11][6]=[0‥3], 3) :: init: true :: relation: MDD 1248079435, 5 edges, 4 vertices, 3 tuples
15.22/5.62	c 15:20:48.015 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16708. extension(3, wk[20][1]=[0‥1]) :: init: true :: relation: MDD 2009900903, 4 edges, 3 vertices, 3 tuples
15.22/5.62	c 15:20:48.016 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16730. extension(3, wk[6][1]=[0‥1]) :: init: true :: relation: MDD 223662325, 4 edges, 3 vertices, 3 tuples
15.22/5.62	c 15:20:48.016 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16753. extension(3, wk[20][1]=[0‥1]) :: init: true :: relation: MDD 682025329, 4 edges, 3 vertices, 3 tuples
15.22/5.62	c 15:20:48.016 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16754. extension(3, x[14][20]=[0‥3]) :: init: true :: relation: MDD 927744186, 5 edges, 4 vertices, 3 tuples
15.22/5.62	c 15:20:48.017 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16797. extension(x[13][9]=[0‥3], 3) :: init: true :: relation: MDD 1427892726, 5 edges, 4 vertices, 3 tuples
15.22/5.62	c 15:20:48.017 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16798. extension(3, x[15][9]=[0‥3]) :: init: true :: relation: MDD 1427892726, 5 edges, 4 vertices, 3 tuples
15.22/5.62	c 15:20:48.017 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16819. extension(x[14][3]=[0‥3], 3) :: init: true :: relation: MDD 1738345448, 5 edges, 4 vertices, 3 tuples
15.22/5.62	c 15:20:48.018 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16907. extension(x[15][21]=[0‥3], 3) :: init: true :: relation: MDD 1511319053, 5 edges, 4 vertices, 3 tuples
15.22/5.62	c 15:20:48.018 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16908. extension(3, x[17][21]=[0‥3]) :: init: true :: relation: MDD 1511319053, 5 edges, 4 vertices, 3 tuples
15.22/5.62	c 15:20:48.018 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16950. extension(x[16][5]=[0‥3], 3) :: init: true :: relation: MDD 994267665, 5 edges, 4 vertices, 3 tuples
15.22/5.62	c 15:20:48.019 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17016. extension(3, x[19][5]=[0‥3]) :: init: true :: relation: MDD 994267665, 5 edges, 4 vertices, 3 tuples
15.22/5.62	c 15:20:48.019 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17038. extension(3, x[19][6]=[0‥3]) :: init: true :: relation: MDD 1248079435, 5 edges, 4 vertices, 3 tuples
15.22/5.63	c 15:20:48.020 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17060. extension(3, wk[3][2]=[0‥1]) :: init: true :: relation: MDD 600661314, 4 edges, 3 vertices, 3 tuples
15.22/5.63	c 15:20:48.020 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17083. extension(3, wk[12][2]=[0‥1]) :: init: true :: relation: MDD 942523415, 4 edges, 3 vertices, 3 tuples
15.22/5.63	c 15:20:48.020 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17084. extension(x[18][12]=[0‥3], 3) :: init: true :: relation: MDD 1968751179, 5 edges, 4 vertices, 3 tuples
15.22/5.63	c 15:20:48.021 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17106. extension(3, wk[3][2]=[0‥1]) :: init: true :: relation: MDD 1049628186, 4 edges, 3 vertices, 3 tuples
15.22/5.63	c 15:20:48.021 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17129. extension(3, wk[11][2]=[0‥1]) :: init: true :: relation: MDD 666056635, 4 edges, 3 vertices, 3 tuples
15.22/5.63	c 15:20:48.021 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17130. extension(x[19][11]=[0‥3], 3) :: init: true :: relation: MDD 1184965604, 5 edges, 4 vertices, 3 tuples
15.22/5.63	c 15:20:48.021 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17152. extension(3, wk[12][2]=[0‥1]) :: init: true :: relation: MDD 1359382959, 4 edges, 3 vertices, 3 tuples
15.22/5.63	c 15:20:48.022 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17153. extension(3, x[21][12]=[0‥3]) :: init: true :: relation: MDD 1968751179, 5 edges, 4 vertices, 3 tuples
15.22/5.63	c 15:20:48.022 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17219. extension(3, x[23][3]=[0‥3]) :: init: true :: relation: MDD 1738345448, 5 edges, 4 vertices, 3 tuples
15.22/5.63	c 15:20:48.023 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17241. extension(3, x[23][11]=[0‥3]) :: init: true :: relation: MDD 1184965604, 5 edges, 4 vertices, 3 tuples
15.22/5.63	c 15:20:48.023 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17263. extension(x[22][1]=[0‥3], 3) :: init: true :: relation: MDD 1590099678, 5 edges, 4 vertices, 3 tuples
15.22/5.63	c 15:20:48.023 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17264. extension(3, x[24][1]=[0‥3]) :: init: true :: relation: MDD 1590099678, 5 edges, 4 vertices, 3 tuples
15.22/5.63	c 15:20:48.024 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17285. extension(x[22][4]=[0‥3], 3) :: init: true :: relation: MDD 129059937, 5 edges, 4 vertices, 3 tuples
15.22/5.63	c 15:20:48.024 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17351. extension(x[24][14]=[0‥3], 3) :: init: true :: relation: MDD 771715205, 5 edges, 4 vertices, 3 tuples
15.22/5.63	c 15:20:48.024 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17352. extension(3, x[26][14]=[0‥3]) :: init: true :: relation: MDD 771715205, 5 edges, 4 vertices, 3 tuples
15.22/5.63	c 15:20:48.025 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17373. extension(3, wk[4][3]=[0‥1]) :: init: true :: relation: MDD 1902069190, 4 edges, 3 vertices, 3 tuples
15.22/5.63	c 15:20:48.025 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17374. extension(3, x[27][4]=[0‥3]) :: init: true :: relation: MDD 129059937, 5 edges, 4 vertices, 3 tuples
15.22/5.63	c 15:20:48.025 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17396. extension(3, wk[17][3]=[0‥1]) :: init: true :: relation: MDD 1411054469, 4 edges, 3 vertices, 3 tuples
15.22/5.63	c 15:20:48.026 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17397. extension(x[25][17]=[0‥3], 3) :: init: true :: relation: MDD 1958375413, 5 edges, 4 vertices, 3 tuples
15.22/5.63	c 15:20:48.026 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17419. extension(3, wk[17][3]=[0‥1]) :: init: true :: relation: MDD 2108952533, 4 edges, 3 vertices, 3 tuples
15.22/5.63	c 15:20:48.026 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17486. extension(x[29][7]=[0‥3], 3) :: init: true :: relation: MDD 1487543666, 5 edges, 4 vertices, 3 tuples
15.22/5.63	c 15:20:48.027 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17487. extension(3, x[31][7]=[0‥3]) :: init: true :: relation: MDD 1487543666, 5 edges, 4 vertices, 3 tuples
15.22/5.63	c 15:20:48.027 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17508. extension(x[29][8]=[0‥3], 3) :: init: true :: relation: MDD 1453632464, 5 edges, 4 vertices, 3 tuples
15.22/5.63	c 15:20:48.027 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17552. extension(x[30][0]=[0‥3], 3) :: init: true :: relation: MDD 1651205022, 5 edges, 4 vertices, 3 tuples
15.22/5.63	c 15:20:48.028 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17574. extension(x[30][6]=[0‥3], 3) :: init: true :: relation: MDD 1248079435, 5 edges, 4 vertices, 3 tuples
15.22/5.63	c 15:20:48.028 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17575. extension(3, x[32][6]=[0‥3]) :: init: true :: relation: MDD 1248079435, 5 edges, 4 vertices, 3 tuples
15.22/5.63	c 15:20:48.028 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17640. extension(x[30][18]=[0‥3], 3) :: init: true :: relation: MDD 16957838, 5 edges, 4 vertices, 3 tuples
15.22/5.63	c 15:20:48.029 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17705. extension(x[31][15]=[0‥3], 3) :: init: true :: relation: MDD 1562221939, 5 edges, 4 vertices, 3 tuples
15.22/5.63	c 15:20:48.029 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17706. extension(3, x[33][15]=[0‥3]) :: init: true :: relation: MDD 1562221939, 5 edges, 4 vertices, 3 tuples
15.22/5.63	c 15:20:48.029 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17770. extension(x[31][19]=[0‥3], 3) :: init: true :: relation: MDD 1014135205, 5 edges, 4 vertices, 3 tuples
15.22/5.63	c 15:20:48.030 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17771. extension(3, x[33][19]=[0‥3]) :: init: true :: relation: MDD 1014135205, 5 edges, 4 vertices, 3 tuples
15.22/5.63	c 15:20:48.030 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17791. extension(3, wk[0][4]=[0‥1]) :: init: true :: relation: MDD 2097217770, 4 edges, 3 vertices, 3 tuples
15.22/5.63	c 15:20:48.030 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17814. extension(3, wk[1][4]=[0‥1]) :: init: true :: relation: MDD 848484634, 4 edges, 3 vertices, 3 tuples
15.22/5.63	c 15:20:48.031 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17815. extension(x[32][1]=[0‥3], 3) :: init: true :: relation: MDD 1590099678, 5 edges, 4 vertices, 3 tuples
15.22/5.63	c 15:20:48.031 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17816. extension(3, x[34][1]=[0‥3]) :: init: true :: relation: MDD 1590099678, 5 edges, 4 vertices, 3 tuples
15.22/5.63	c 15:20:48.031 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17837. extension(3, wk[8][4]=[0‥1]) :: init: true :: relation: MDD 1774531247, 4 edges, 3 vertices, 3 tuples
15.22/5.63	c 15:20:48.031 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17860. extension(3, wk[17][4]=[0‥1]) :: init: true :: relation: MDD 52104962, 4 edges, 3 vertices, 3 tuples
15.22/5.63	c 15:20:48.032 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17861. extension(3, x[34][17]=[0‥3]) :: init: true :: relation: MDD 1958375413, 5 edges, 4 vertices, 3 tuples
15.22/5.63	c 15:20:48.032 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17883. extension(3, wk[18][4]=[0‥1]) :: init: true :: relation: MDD 483832253, 4 edges, 3 vertices, 3 tuples
15.22/5.63	c 15:20:48.032 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17905. extension(3, wk[0][4]=[0‥1]) :: init: true :: relation: MDD 1319203143, 4 edges, 3 vertices, 3 tuples
15.22/5.63	c 15:20:48.033 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17928. extension(3, wk[8][4]=[0‥1]) :: init: true :: relation: MDD 1369533151, 4 edges, 3 vertices, 3 tuples
15.22/5.63	c 15:20:48.033 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17951. extension(3, wk[18][4]=[0‥1]) :: init: true :: relation: MDD 994173375, 4 edges, 3 vertices, 3 tuples
15.22/5.64	c 15:20:48.033 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18125. extension(x[36][5]=[0‥3], 3) :: init: true :: relation: MDD 994267665, 5 edges, 4 vertices, 3 tuples
15.22/5.64	c 15:20:48.033 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18147. extension(3, x[38][8]=[0‥3]) :: init: true :: relation: MDD 1453632464, 5 edges, 4 vertices, 3 tuples
15.22/5.64	c 15:20:48.034 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18169. extension(x[36][10]=[0‥3], 3) :: init: true :: relation: MDD 1087916281, 5 edges, 4 vertices, 3 tuples
15.22/5.64	c 15:20:48.034 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18212. extension(3, x[39][0]=[0‥3]) :: init: true :: relation: MDD 1651205022, 5 edges, 4 vertices, 3 tuples
15.22/5.64	c 15:20:48.034 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18234. extension(x[37][1]=[0‥3], 3) :: init: true :: relation: MDD 1590099678, 5 edges, 4 vertices, 3 tuples
15.22/5.64	c 15:20:48.035 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18300. extension(x[37][12]=[0‥3], 3) :: init: true :: relation: MDD 1968751179, 5 edges, 4 vertices, 3 tuples
15.22/5.64	c 15:20:48.035 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18322. extension(3, x[39][18]=[0‥3]) :: init: true :: relation: MDD 16957838, 5 edges, 4 vertices, 3 tuples
15.22/5.64	c 15:20:48.035 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18431. extension(x[38][19]=[0‥3], 3) :: init: true :: relation: MDD 1014135205, 5 edges, 4 vertices, 3 tuples
15.22/5.64	c 15:20:48.036 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18452. extension(3, wk[1][5]=[0‥1]) :: init: true :: relation: MDD 1036938712, 4 edges, 3 vertices, 3 tuples
15.22/5.64	c 15:20:48.036 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18475. extension(3, wk[5][5]=[0‥1]) :: init: true :: relation: MDD 770109884, 4 edges, 3 vertices, 3 tuples
15.22/5.64	c 15:20:48.036 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18476. extension(3, x[41][5]=[0‥3]) :: init: true :: relation: MDD 994267665, 5 edges, 4 vertices, 3 tuples
15.22/5.64	c 15:20:48.036 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18498. extension(3, wk[10][5]=[0‥1]) :: init: true :: relation: MDD 733357076, 4 edges, 3 vertices, 3 tuples
15.22/5.64	c 15:20:48.037 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18521. extension(3, wk[12][5]=[0‥1]) :: init: true :: relation: MDD 1075314220, 4 edges, 3 vertices, 3 tuples
15.22/5.64	c 15:20:48.037 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18522. extension(3, x[41][12]=[0‥3]) :: init: true :: relation: MDD 1968751179, 5 edges, 4 vertices, 3 tuples
15.22/5.64	c 15:20:48.037 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18544. extension(3, wk[19][5]=[0‥1]) :: init: true :: relation: MDD 705602706, 4 edges, 3 vertices, 3 tuples
15.22/5.64	c 15:20:48.038 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18566. extension(3, wk[1][5]=[0‥1]) :: init: true :: relation: MDD 327170708, 4 edges, 3 vertices, 3 tuples
15.22/5.64	c 15:20:48.038 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18567. extension(3, x[42][1]=[0‥3]) :: init: true :: relation: MDD 1590099678, 5 edges, 4 vertices, 3 tuples
15.22/5.64	c 15:20:48.038 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18589. extension(3, wk[10][5]=[0‥1]) :: init: true :: relation: MDD 1682774881, 4 edges, 3 vertices, 3 tuples
15.22/5.64	c 15:20:48.038 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18590. extension(3, x[42][10]=[0‥3]) :: init: true :: relation: MDD 1087916281, 5 edges, 4 vertices, 3 tuples
15.22/5.64	c 15:20:48.039 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18612. extension(3, wk[19][5]=[0‥1]) :: init: true :: relation: MDD 48589645, 4 edges, 3 vertices, 3 tuples
15.22/5.64	c 15:20:48.039 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18613. extension(3, x[42][19]=[0‥3]) :: init: true :: relation: MDD 1014135205, 5 edges, 4 vertices, 3 tuples
15.22/5.64	c 15:20:48.039 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18634. extension(x[41][11]=[0‥3], 3) :: init: true :: relation: MDD 1184965604, 5 edges, 4 vertices, 3 tuples
15.22/5.65	c 15:20:48.040 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18722. extension(3, x[47][11]=[0‥3]) :: init: true :: relation: MDD 1184965604, 5 edges, 4 vertices, 3 tuples
15.22/5.65	c 15:20:48.040 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18744. extension(x[45][21]=[0‥3], 3) :: init: true :: relation: MDD 1511319053, 5 edges, 4 vertices, 3 tuples
15.22/5.65	c 15:20:48.040 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18765. extension(3, wk[21][6]=[0‥1]) :: init: true :: relation: MDD 547507935, 4 edges, 3 vertices, 3 tuples
15.22/5.65	c 15:20:48.040 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18787. extension(3, wk[20][6]=[0‥1]) :: init: true :: relation: MDD 214560653, 4 edges, 3 vertices, 3 tuples
15.22/5.65	c 15:20:48.041 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18788. extension(x[47][20]=[0‥3], 3) :: init: true :: relation: MDD 927744186, 5 edges, 4 vertices, 3 tuples
15.22/5.65	c 15:20:48.041 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18809. extension(3, wk[21][6]=[0‥1]) :: init: true :: relation: MDD 1226803249, 4 edges, 3 vertices, 3 tuples
15.22/5.65	c 15:20:48.041 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18831. extension(x[48][7]=[0‥3], 3) :: init: true :: relation: MDD 1487543666, 5 edges, 4 vertices, 3 tuples
15.22/5.65	c 15:20:48.042 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18853. extension(x[48][14]=[0‥3], 3) :: init: true :: relation: MDD 771715205, 5 edges, 4 vertices, 3 tuples
15.22/5.65	c 15:20:48.042 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18961. extension(3, x[51][20]=[0‥3]) :: init: true :: relation: MDD 927744186, 5 edges, 4 vertices, 3 tuples
15.22/5.65	c 15:20:48.042 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19003. extension(3, x[52][7]=[0‥3]) :: init: true :: relation: MDD 1487543666, 5 edges, 4 vertices, 3 tuples
15.22/5.65	c 15:20:48.042 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19068. extension(x[51][12]=[0‥3], 3) :: init: true :: relation: MDD 1968751179, 5 edges, 4 vertices, 3 tuples
15.22/5.65	c 15:20:48.043 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19090. extension(x[51][13]=[0‥3], 3) :: init: true :: relation: MDD 1684854630, 5 edges, 4 vertices, 3 tuples
15.22/5.65	c 15:20:48.043 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19134. extension(x[51][19]=[0‥3], 3) :: init: true :: relation: MDD 1014135205, 5 edges, 4 vertices, 3 tuples
15.22/5.65	c 15:20:48.043 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19155. extension(3, x[53][21]=[0‥3]) :: init: true :: relation: MDD 1511319053, 5 edges, 4 vertices, 3 tuples
15.22/5.65	c 15:20:48.044 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19242. extension(x[52][16]=[0‥3], 3) :: init: true :: relation: MDD 1819552644, 5 edges, 4 vertices, 3 tuples
15.22/5.65	c 15:20:48.044 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19285. extension(3, wk[12][7]=[0‥1]) :: init: true :: relation: MDD 1594424832, 4 edges, 3 vertices, 3 tuples
15.22/5.65	c 15:20:48.044 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19286. extension(3, x[55][12]=[0‥3]) :: init: true :: relation: MDD 1968751179, 5 edges, 4 vertices, 3 tuples
15.22/5.65	c 15:20:48.044 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19308. extension(3, wk[13][7]=[0‥1]) :: init: true :: relation: MDD 92784065, 4 edges, 3 vertices, 3 tuples
15.22/5.65	c 15:20:48.045 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19331. extension(3, wk[14][7]=[0‥1]) :: init: true :: relation: MDD 561133045, 4 edges, 3 vertices, 3 tuples
15.22/5.65	c 15:20:48.045 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19332. extension(3, x[55][14]=[0‥3]) :: init: true :: relation: MDD 771715205, 5 edges, 4 vertices, 3 tuples
15.22/5.65	c 15:20:48.045 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19354. extension(3, wk[16][7]=[0‥1]) :: init: true :: relation: MDD 1197430386, 4 edges, 3 vertices, 3 tuples
15.22/5.65	c 15:20:48.045 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19377. extension(3, wk[19][7]=[0‥1]) :: init: true :: relation: MDD 1434741143, 4 edges, 3 vertices, 3 tuples
15.22/5.65	c 15:20:48.046 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19399. extension(3, wk[2][7]=[0‥1]) :: init: true :: relation: MDD 1543871080, 4 edges, 3 vertices, 3 tuples
15.22/5.65	c 15:20:48.046 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19400. extension(x[54][2]=[0‥3], 3) :: init: true :: relation: MDD 374585422, 5 edges, 4 vertices, 3 tuples
15.22/5.65	c 15:20:48.046 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19422. extension(3, wk[13][7]=[0‥1]) :: init: true :: relation: MDD 528012309, 4 edges, 3 vertices, 3 tuples
15.22/5.65	c 15:20:48.046 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19423. extension(3, x[56][13]=[0‥3]) :: init: true :: relation: MDD 1684854630, 5 edges, 4 vertices, 3 tuples
15.22/5.65	c 15:20:48.047 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19445. extension(3, wk[16][7]=[0‥1]) :: init: true :: relation: MDD 1110014943, 4 edges, 3 vertices, 3 tuples
15.22/5.65	c 15:20:48.047 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19468. extension(3, wk[19][7]=[0‥1]) :: init: true :: relation: MDD 1231493271, 4 edges, 3 vertices, 3 tuples
15.22/5.65	c 15:20:48.047 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19469. extension(3, x[56][19]=[0‥3]) :: init: true :: relation: MDD 1014135205, 5 edges, 4 vertices, 3 tuples
15.22/5.65	c 15:20:48.047 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19490. extension(x[55][1]=[0‥3], 3) :: init: true :: relation: MDD 1590099678, 5 edges, 4 vertices, 3 tuples
15.22/5.65	c 15:20:48.048 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19491. extension(3, x[57][1]=[0‥3]) :: init: true :: relation: MDD 1590099678, 5 edges, 4 vertices, 3 tuples
15.22/5.65	c 15:20:48.048 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19578. extension(x[56][15]=[0‥3], 3) :: init: true :: relation: MDD 1562221939, 5 edges, 4 vertices, 3 tuples
15.22/5.65	c 15:20:48.048 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19600. extension(3, x[58][16]=[0‥3]) :: init: true :: relation: MDD 1819552644, 5 edges, 4 vertices, 3 tuples
15.22/5.65	c 15:20:48.048 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19688. extension(3, x[60][15]=[0‥3]) :: init: true :: relation: MDD 1562221939, 5 edges, 4 vertices, 3 tuples
15.22/5.65	c 15:20:48.049 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19732. extension(x[59][5]=[0‥3], 3) :: init: true :: relation: MDD 994267665, 5 edges, 4 vertices, 3 tuples
15.22/5.65	c 15:20:48.049 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19733. extension(3, x[61][5]=[0‥3]) :: init: true :: relation: MDD 994267665, 5 edges, 4 vertices, 3 tuples
15.22/5.65	c 15:20:48.049 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19754. extension(3, wk[1][8]=[0‥1]) :: init: true :: relation: MDD 632521219, 4 edges, 3 vertices, 3 tuples
15.22/5.65	c 15:20:48.049 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19755. extension(x[60][1]=[0‥3], 3) :: init: true :: relation: MDD 1590099678, 5 edges, 4 vertices, 3 tuples
15.22/5.65	c 15:20:48.050 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19756. extension(3, x[62][1]=[0‥3]) :: init: true :: relation: MDD 1590099678, 5 edges, 4 vertices, 3 tuples
15.22/5.66	c 15:20:48.050 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19777. extension(3, wk[2][8]=[0‥1]) :: init: true :: relation: MDD 1067155425, 4 edges, 3 vertices, 3 tuples
15.22/5.66	c 15:20:48.050 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19778. extension(3, x[62][2]=[0‥3]) :: init: true :: relation: MDD 374585422, 5 edges, 4 vertices, 3 tuples
15.22/5.66	c 15:20:48.051 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19800. extension(x[62][4]=[0‥3], 3) :: init: true :: relation: MDD 129059937, 5 edges, 4 vertices, 3 tuples
15.22/5.66	c 15:20:48.051 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19801. extension(3, x[64][4]=[0‥3]) :: init: true :: relation: MDD 129059937, 5 edges, 4 vertices, 3 tuples
15.22/5.66	c 15:20:48.051 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19822. extension(x[65][16]=[0‥3], 3) :: init: true :: relation: MDD 1819552644, 5 edges, 4 vertices, 3 tuples
15.22/5.66	c 15:20:48.051 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19823. extension(3, x[67][16]=[0‥3]) :: init: true :: relation: MDD 1819552644, 5 edges, 4 vertices, 3 tuples
15.22/5.66	c 15:20:48.052 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19844. extension(x[66][4]=[0‥3], 3) :: init: true :: relation: MDD 129059937, 5 edges, 4 vertices, 3 tuples
15.22/5.66	c 15:20:48.052 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19866. extension(3, wk[4][9]=[0‥1]) :: init: true :: relation: MDD 1933471223, 4 edges, 3 vertices, 3 tuples
15.22/5.66	c 15:20:48.052 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19867. extension(3, x[69][4]=[0‥3]) :: init: true :: relation: MDD 129059937, 5 edges, 4 vertices, 3 tuples
15.22/5.66	c 15:20:48.052 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19889. extension(3, wk[13][9]=[0‥1]) :: init: true :: relation: MDD 1093582436, 4 edges, 3 vertices, 3 tuples
15.22/5.66	c 15:20:48.052 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19890. extension(x[68][13]=[0‥3], 3) :: init: true :: relation: MDD 1684854630, 5 edges, 4 vertices, 3 tuples
15.22/5.66	c 15:20:48.053 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19934. extension(x[69][15]=[0‥3], 3) :: init: true :: relation: MDD 1562221939, 5 edges, 4 vertices, 3 tuples
15.22/5.66	c 15:20:48.053 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19956. extension(3, x[72][13]=[0‥3]) :: init: true :: relation: MDD 1684854630, 5 edges, 4 vertices, 3 tuples
15.22/5.66	c 15:20:48.053 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20022. extension(3, x[74][15]=[0‥3]) :: init: true :: relation: MDD 1562221939, 5 edges, 4 vertices, 3 tuples
15.22/5.66	c 15:20:48.053 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20044. extension(3, wk[10][10]=[0‥1]) :: init: true :: relation: MDD 1683063408, 4 edges, 3 vertices, 3 tuples
15.22/5.66	c 15:20:48.054 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20045. extension(x[74][10]=[0‥3], 3) :: init: true :: relation: MDD 1087916281, 5 edges, 4 vertices, 3 tuples
15.22/5.67	c 15:20:48.065 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20067. extension(3, wk[2][10]=[0‥1]) :: init: true :: relation: MDD 37754966, 4 edges, 3 vertices, 3 tuples
15.22/5.67	c 15:20:48.066 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20068. extension(x[75][2]=[0‥3], 3) :: init: true :: relation: MDD 374585422, 5 edges, 4 vertices, 3 tuples
15.22/5.67	c 15:20:48.066 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20069. extension(3, x[77][2]=[0‥3]) :: init: true :: relation: MDD 374585422, 5 edges, 4 vertices, 3 tuples
15.22/5.67	c 15:20:48.066 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20090. extension(3, wk[10][10]=[0‥1]) :: init: true :: relation: MDD 2036497703, 4 edges, 3 vertices, 3 tuples
15.22/5.67	c 15:20:48.067 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20113. extension(3, x[78][10]=[0‥3]) :: init: true :: relation: MDD 1087916281, 5 edges, 4 vertices, 3 tuples
15.22/5.67	c 15:20:48.067 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20135. extension(x[77][4]=[0‥3], 3) :: init: true :: relation: MDD 129059937, 5 edges, 4 vertices, 3 tuples
15.22/5.67	c 15:20:48.067 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20136. extension(3, x[79][4]=[0‥3]) :: init: true :: relation: MDD 129059937, 5 edges, 4 vertices, 3 tuples
15.22/5.67	c 15:20:48.067 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20157. extension(x[77][16]=[0‥3], 3) :: init: true :: relation: MDD 1819552644, 5 edges, 4 vertices, 3 tuples
15.22/5.67	c 15:20:48.068 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20179. extension(3, x[80][16]=[0‥3]) :: init: true :: relation: MDD 1819552644, 5 edges, 4 vertices, 3 tuples
15.22/5.67	c 15:20:48.068 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20200. extension(x[80][5]=[0‥3], 3) :: init: true :: relation: MDD 994267665, 5 edges, 4 vertices, 3 tuples
15.22/5.67	c 15:20:48.068 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20201. extension(3, x[82][5]=[0‥3]) :: init: true :: relation: MDD 994267665, 5 edges, 4 vertices, 3 tuples
15.54/5.79	c 15:20:48.188 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29508. extension(x[1][7]=[0‥3]) :: init: true :: relation: Empty MDD
15.54/5.79	c 15:20:48.188 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29510. extension(x[5][7]=[0‥3]) :: init: true :: relation: Empty MDD
15.54/5.79	c 15:20:48.188 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29512. extension(x[3][9]=[0‥3]) :: init: true :: relation: Empty MDD
15.54/5.79	c 15:20:48.188 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29514. extension(wk[9][0]=[0‥1]) :: init: true :: relation: Empty MDD
15.54/5.79	c 15:20:48.188 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29516. extension(wk[14][0]=[0‥1]) :: init: true :: relation: Empty MDD
15.54/5.79	c 15:20:48.189 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29518. extension(x[4][14]=[0‥3]) :: init: true :: relation: Empty MDD
15.54/5.79	c 15:20:48.189 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29520. extension(x[6][14]=[0‥3]) :: init: true :: relation: Empty MDD
15.54/5.79	c 15:20:48.189 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29522. extension(wk[9][0]=[0‥1]) :: init: true :: relation: Empty MDD
15.54/5.79	c 15:20:48.189 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29524. extension(x[7][13]=[0‥3]) :: init: true :: relation: Empty MDD
15.54/5.79	c 15:20:48.189 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29526. extension(x[9][13]=[0‥3]) :: init: true :: relation: Empty MDD
15.54/5.79	c 15:20:48.189 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29528. extension(x[8][20]=[0‥3]) :: init: true :: relation: Empty MDD
15.54/5.79	c 15:20:48.189 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29530. extension(x[11][9]=[0‥3]) :: init: true :: relation: Empty MDD
15.54/5.79	c 15:20:48.189 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29532. extension(x[10][7]=[0‥3]) :: init: true :: relation: Empty MDD
15.54/5.79	c 15:20:48.190 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29534. extension(x[12][7]=[0‥3]) :: init: true :: relation: Empty MDD
15.54/5.79	c 15:20:48.190 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29536. extension(wk[6][1]=[0‥1]) :: init: true :: relation: Empty MDD
15.54/5.79	c 15:20:48.190 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29538. extension(x[11][6]=[0‥3]) :: init: true :: relation: Empty MDD
15.54/5.79	c 15:20:48.190 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29540. extension(wk[20][1]=[0‥1]) :: init: true :: relation: Empty MDD
15.54/5.79	c 15:20:48.190 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29542. extension(wk[6][1]=[0‥1]) :: init: true :: relation: Empty MDD
15.54/5.79	c 15:20:48.190 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29544. extension(wk[20][1]=[0‥1]) :: init: true :: relation: Empty MDD
15.54/5.79	c 15:20:48.190 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29546. extension(x[14][20]=[0‥3]) :: init: true :: relation: Empty MDD
15.54/5.79	c 15:20:48.190 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29548. extension(x[13][9]=[0‥3]) :: init: true :: relation: Empty MDD
15.54/5.79	c 15:20:48.191 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29550. extension(x[15][9]=[0‥3]) :: init: true :: relation: Empty MDD
15.54/5.79	c 15:20:48.191 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29552. extension(x[14][3]=[0‥3]) :: init: true :: relation: Empty MDD
15.54/5.79	c 15:20:48.191 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29554. extension(x[15][21]=[0‥3]) :: init: true :: relation: Empty MDD
15.54/5.79	c 15:20:48.191 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29556. extension(x[17][21]=[0‥3]) :: init: true :: relation: Empty MDD
15.54/5.79	c 15:20:48.191 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29558. extension(x[16][5]=[0‥3]) :: init: true :: relation: Empty MDD
15.54/5.79	c 15:20:48.191 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29560. extension(x[19][5]=[0‥3]) :: init: true :: relation: Empty MDD
15.54/5.79	c 15:20:48.191 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29562. extension(x[19][6]=[0‥3]) :: init: true :: relation: Empty MDD
15.54/5.79	c 15:20:48.191 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29564. extension(wk[3][2]=[0‥1]) :: init: true :: relation: Empty MDD
15.54/5.79	c 15:20:48.192 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29566. extension(wk[12][2]=[0‥1]) :: init: true :: relation: Empty MDD
15.54/5.79	c 15:20:48.192 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29568. extension(x[18][12]=[0‥3]) :: init: true :: relation: Empty MDD
15.54/5.79	c 15:20:48.192 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29570. extension(wk[3][2]=[0‥1]) :: init: true :: relation: Empty MDD
15.54/5.79	c 15:20:48.192 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29572. extension(wk[11][2]=[0‥1]) :: init: true :: relation: Empty MDD
15.54/5.79	c 15:20:48.192 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29574. extension(x[19][11]=[0‥3]) :: init: true :: relation: Empty MDD
15.54/5.79	c 15:20:48.192 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29576. extension(wk[12][2]=[0‥1]) :: init: true :: relation: Empty MDD
15.54/5.79	c 15:20:48.192 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29578. extension(x[21][12]=[0‥3]) :: init: true :: relation: Empty MDD
15.54/5.79	c 15:20:48.192 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29580. extension(x[23][3]=[0‥3]) :: init: true :: relation: Empty MDD
15.54/5.79	c 15:20:48.193 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29582. extension(x[23][11]=[0‥3]) :: init: true :: relation: Empty MDD
15.54/5.79	c 15:20:48.193 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29584. extension(x[22][1]=[0‥3]) :: init: true :: relation: Empty MDD
15.54/5.80	c 15:20:48.193 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29586. extension(x[24][1]=[0‥3]) :: init: true :: relation: Empty MDD
15.54/5.80	c 15:20:48.193 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29588. extension(x[22][4]=[0‥3]) :: init: true :: relation: Empty MDD
15.54/5.80	c 15:20:48.193 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29590. extension(x[24][14]=[0‥3]) :: init: true :: relation: Empty MDD
15.54/5.80	c 15:20:48.193 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29592. extension(x[26][14]=[0‥3]) :: init: true :: relation: Empty MDD
15.54/5.80	c 15:20:48.193 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29594. extension(wk[4][3]=[0‥1]) :: init: true :: relation: Empty MDD
15.54/5.80	c 15:20:48.193 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29596. extension(x[27][4]=[0‥3]) :: init: true :: relation: Empty MDD
15.54/5.80	c 15:20:48.194 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29598. extension(wk[17][3]=[0‥1]) :: init: true :: relation: Empty MDD
15.54/5.80	c 15:20:48.194 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29600. extension(x[25][17]=[0‥3]) :: init: true :: relation: Empty MDD
15.54/5.80	c 15:20:48.194 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29602. extension(wk[17][3]=[0‥1]) :: init: true :: relation: Empty MDD
15.54/5.80	c 15:20:48.194 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29604. extension(x[29][7]=[0‥3]) :: init: true :: relation: Empty MDD
15.54/5.80	c 15:20:48.194 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29606. extension(x[31][7]=[0‥3]) :: init: true :: relation: Empty MDD
15.54/5.80	c 15:20:48.194 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29608. extension(x[29][8]=[0‥3]) :: init: true :: relation: Empty MDD
15.54/5.80	c 15:20:48.194 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29610. extension(x[30][0]=[0‥3]) :: init: true :: relation: Empty MDD
15.54/5.80	c 15:20:48.194 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29612. extension(x[30][6]=[0‥3]) :: init: true :: relation: Empty MDD
15.54/5.80	c 15:20:48.195 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29614. extension(x[32][6]=[0‥3]) :: init: true :: relation: Empty MDD
15.54/5.80	c 15:20:48.195 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29616. extension(x[30][18]=[0‥3]) :: init: true :: relation: Empty MDD
15.54/5.80	c 15:20:48.195 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29618. extension(x[31][15]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.80	c 15:20:48.196 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29620. extension(x[33][15]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.80	c 15:20:48.196 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29622. extension(x[31][19]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.80	c 15:20:48.196 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29624. extension(x[33][19]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.80	c 15:20:48.196 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29626. extension(wk[0][4]=[0‥1]) :: init: true :: relation: Empty MDD
15.86/5.80	c 15:20:48.196 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29628. extension(wk[1][4]=[0‥1]) :: init: true :: relation: Empty MDD
15.86/5.80	c 15:20:48.196 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29630. extension(x[32][1]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.80	c 15:20:48.196 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29632. extension(x[34][1]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.80	c 15:20:48.196 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29634. extension(wk[8][4]=[0‥1]) :: init: true :: relation: Empty MDD
15.86/5.80	c 15:20:48.196 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29636. extension(wk[17][4]=[0‥1]) :: init: true :: relation: Empty MDD
15.86/5.80	c 15:20:48.197 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29638. extension(x[34][17]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.80	c 15:20:48.197 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29640. extension(wk[18][4]=[0‥1]) :: init: true :: relation: Empty MDD
15.86/5.80	c 15:20:48.197 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29642. extension(wk[0][4]=[0‥1]) :: init: true :: relation: Empty MDD
15.86/5.80	c 15:20:48.197 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29644. extension(wk[8][4]=[0‥1]) :: init: true :: relation: Empty MDD
15.86/5.80	c 15:20:48.197 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29646. extension(wk[18][4]=[0‥1]) :: init: true :: relation: Empty MDD
15.86/5.80	c 15:20:48.197 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29648. extension(x[36][5]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.80	c 15:20:48.197 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29650. extension(x[38][8]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.80	c 15:20:48.197 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29652. extension(x[36][10]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.80	c 15:20:48.198 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29654. extension(x[39][0]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.80	c 15:20:48.198 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29656. extension(x[37][1]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.80	c 15:20:48.198 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29658. extension(x[37][12]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.80	c 15:20:48.198 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29660. extension(x[39][18]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.80	c 15:20:48.198 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29662. extension(x[38][19]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.80	c 15:20:48.198 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29664. extension(wk[1][5]=[0‥1]) :: init: true :: relation: Empty MDD
15.86/5.80	c 15:20:48.198 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29666. extension(wk[5][5]=[0‥1]) :: init: true :: relation: Empty MDD
15.86/5.80	c 15:20:48.198 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29668. extension(x[41][5]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.80	c 15:20:48.199 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29670. extension(wk[10][5]=[0‥1]) :: init: true :: relation: Empty MDD
15.86/5.80	c 15:20:48.199 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29672. extension(wk[12][5]=[0‥1]) :: init: true :: relation: Empty MDD
15.86/5.80	c 15:20:48.199 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29674. extension(x[41][12]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.80	c 15:20:48.199 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29676. extension(wk[19][5]=[0‥1]) :: init: true :: relation: Empty MDD
15.86/5.80	c 15:20:48.199 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29678. extension(wk[1][5]=[0‥1]) :: init: true :: relation: Empty MDD
15.86/5.80	c 15:20:48.199 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29680. extension(x[42][1]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.80	c 15:20:48.199 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29682. extension(wk[10][5]=[0‥1]) :: init: true :: relation: Empty MDD
15.86/5.80	c 15:20:48.199 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29684. extension(x[42][10]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.80	c 15:20:48.200 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29686. extension(wk[19][5]=[0‥1]) :: init: true :: relation: Empty MDD
15.86/5.80	c 15:20:48.200 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29688. extension(x[42][19]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.80	c 15:20:48.200 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29690. extension(x[41][11]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.80	c 15:20:48.200 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29692. extension(x[47][11]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.80	c 15:20:48.200 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29694. extension(x[45][21]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.80	c 15:20:48.200 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29696. extension(wk[21][6]=[0‥1]) :: init: true :: relation: Empty MDD
15.86/5.80	c 15:20:48.200 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29698. extension(wk[20][6]=[0‥1]) :: init: true :: relation: Empty MDD
15.86/5.80	c 15:20:48.200 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29700. extension(x[47][20]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.80	c 15:20:48.201 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29702. extension(wk[21][6]=[0‥1]) :: init: true :: relation: Empty MDD
15.86/5.80	c 15:20:48.201 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29704. extension(x[48][7]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.80	c 15:20:48.201 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29706. extension(x[48][14]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.80	c 15:20:48.201 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29708. extension(x[51][20]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.80	c 15:20:48.201 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29710. extension(x[52][7]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.80	c 15:20:48.201 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29712. extension(x[51][12]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.80	c 15:20:48.201 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29714. extension(x[51][13]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.80	c 15:20:48.201 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29716. extension(x[51][19]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.80	c 15:20:48.202 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29718. extension(x[53][21]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.80	c 15:20:48.202 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29720. extension(x[52][16]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.80	c 15:20:48.202 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29722. extension(wk[12][7]=[0‥1]) :: init: true :: relation: Empty MDD
15.86/5.80	c 15:20:48.202 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29724. extension(x[55][12]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.80	c 15:20:48.202 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29726. extension(wk[13][7]=[0‥1]) :: init: true :: relation: Empty MDD
15.86/5.81	c 15:20:48.202 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29728. extension(wk[14][7]=[0‥1]) :: init: true :: relation: Empty MDD
15.86/5.81	c 15:20:48.202 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29730. extension(x[55][14]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.81	c 15:20:48.202 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29732. extension(wk[16][7]=[0‥1]) :: init: true :: relation: Empty MDD
15.86/5.81	c 15:20:48.202 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29734. extension(wk[19][7]=[0‥1]) :: init: true :: relation: Empty MDD
15.86/5.81	c 15:20:48.203 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29736. extension(wk[2][7]=[0‥1]) :: init: true :: relation: Empty MDD
15.86/5.81	c 15:20:48.203 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29738. extension(x[54][2]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.81	c 15:20:48.203 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29740. extension(wk[13][7]=[0‥1]) :: init: true :: relation: Empty MDD
15.86/5.81	c 15:20:48.203 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29742. extension(x[56][13]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.81	c 15:20:48.203 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29744. extension(wk[16][7]=[0‥1]) :: init: true :: relation: Empty MDD
15.86/5.81	c 15:20:48.203 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29746. extension(wk[19][7]=[0‥1]) :: init: true :: relation: Empty MDD
15.86/5.81	c 15:20:48.203 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29748. extension(x[56][19]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.81	c 15:20:48.203 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29750. extension(x[55][1]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.81	c 15:20:48.204 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29752. extension(x[57][1]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.81	c 15:20:48.204 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29754. extension(x[56][15]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.81	c 15:20:48.204 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29756. extension(x[58][16]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.81	c 15:20:48.204 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29758. extension(x[60][15]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.81	c 15:20:48.204 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29760. extension(x[59][5]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.81	c 15:20:48.204 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29762. extension(x[61][5]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.81	c 15:20:48.204 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29764. extension(wk[1][8]=[0‥1]) :: init: true :: relation: Empty MDD
15.86/5.81	c 15:20:48.204 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29766. extension(x[60][1]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.81	c 15:20:48.204 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29768. extension(x[62][1]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.81	c 15:20:48.205 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29770. extension(wk[2][8]=[0‥1]) :: init: true :: relation: Empty MDD
15.86/5.81	c 15:20:48.205 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29772. extension(x[62][2]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.81	c 15:20:48.205 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29774. extension(x[62][4]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.81	c 15:20:48.205 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29776. extension(x[64][4]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.81	c 15:20:48.205 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29778. extension(x[65][16]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.81	c 15:20:48.205 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29780. extension(x[67][16]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.81	c 15:20:48.205 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29782. extension(x[66][4]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.81	c 15:20:48.205 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29784. extension(wk[4][9]=[0‥1]) :: init: true :: relation: Empty MDD
15.86/5.81	c 15:20:48.206 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29786. extension(x[69][4]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.81	c 15:20:48.206 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29788. extension(wk[13][9]=[0‥1]) :: init: true :: relation: Empty MDD
15.86/5.81	c 15:20:48.206 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29790. extension(x[68][13]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.81	c 15:20:48.206 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29792. extension(x[69][15]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.81	c 15:20:48.206 [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.81	c 15:20:48.206 [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.81	c 15:20:48.206 [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.81	c 15:20:48.206 [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.81	c 15:20:48.206 [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.81	c 15:20:48.207 [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.81	c 15:20:48.207 [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.81	c 15:20:48.207 [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.81	c 15:20:48.207 [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.81	c 15:20:48.207 [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.81	c 15:20:48.207 [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.81	c 15:20:48.207 [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.81	c 15:20:48.207 [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.81	c 15:20:48.207 [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.81	c 15:20:48.208 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29822. extension(x[82][5]=[0‥3]) :: init: true :: relation: Empty MDD
2400.06/2363.41	Exception in thread "main" java.util.concurrent.TimeoutException
2400.06/2363.41		at concrete.MAC.mac(MAC.scala:192)
2400.06/2363.41		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:265)
2400.06/2363.41		at scala.util.Try$.apply(Try.scala:210)
2400.06/2363.41		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:179)
2400.06/2363.41		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:183)
2400.06/2363.41		at cspom.StatisticsManager$.measure(StatisticsManager.scala:179)
2400.06/2363.41		at concrete.MAC.oneRun(MAC.scala:265)
2400.06/2363.41		at concrete.MAC.nextSolution(MAC.scala:284)
2400.06/2363.41		at concrete.MAC.$anonfun$nextSolution$5(MAC.scala:350)
2400.06/2363.41		at concrete.ProblemState.map(ProblemState.scala:238)
2400.06/2363.41		at concrete.ProblemState.map(ProblemState.scala:212)
2400.06/2363.41		at concrete.MAC.nextSolution(MAC.scala:348)
2400.06/2363.41		at concrete.Solver.hasNext(Solver.scala:160)
2400.06/2363.41		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:553)
2400.06/2363.41		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:551)
2400.06/2363.41		at concrete.Solver.foreach(Solver.scala:67)
2400.06/2363.41		at concrete.runner.ConcreteRunner.$anonfun$run$3(ConcreteRunner.scala:73)
2400.06/2363.41		at scala.util.Success.map(Try.scala:262)
2400.06/2363.41		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2400.06/2363.41		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:32)
2400.06/2363.41		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2400.06/2363.41		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2400.06/2363.41		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2400.06/2363.41		at scala.Function0.apply$mcV$sp(Function0.scala:39)
2400.06/2363.41		at scala.Function0.apply$mcV$sp$(Function0.scala:39)
2400.06/2363.41		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:17)
2400.06/2363.41		at scala.App.$anonfun$main$1(App.scala:73)
2400.06/2363.41		at scala.App.$anonfun$main$1$adapted(App.scala:73)
2400.06/2363.41		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:553)
2400.06/2363.41		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:551)
2400.06/2363.41		at scala.collection.AbstractIterable.foreach(Iterable.scala:921)
2400.06/2363.41		at scala.App.main(App.scala:73)
2400.06/2363.41		at scala.App.main$(App.scala:71)
2400.06/2363.41		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2400.06/2363.41		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2400.06/2363.41	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 (1526 MiB free)
  memory of node 1: 16384 MiB (2622 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4403304-1568985520/watcher-4403304-1568985520 -o /tmp/evaluation-result-4403304-1568985520/solver-4403304-1568985520 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node139-1568967758-23433 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=599160865 HOME/instance-4403304-1568985520.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=30436, runsolver pid=30433

[startup+0.10011 s]*
/proc/loadavg: 1.34 1.34 1.39 3/216 30493
/proc/meminfo: memFree=4240436/32770624 swapFree=66938816/67108860
[pid=30436] ppid=30433 vsize=9981332 memory=17344 CPUtime=0.09 cores=1,3,5,7
/proc/30436/stat : 30436 (java) S 30433 30436 23401 0 -1 1077944320 4578 13016 0 0 1 0 5 3 20 0 6 0 474821654 10220883968 4336 33554432000 4194304 4196468 140730748241856 140730748224400 140423301545719 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
/proc/30436/statm: 2496941 4336 1958 1 0 2485379 0
[pid=30436/tid=30489] ppid=30433 vsize=9988792 memory=4279135703980212366 CPUtime=0.09 cores=1,3,5,7
/proc/30436/task/30489/stat : 30489 (java) R 30433 30436 23401 0 -1 4202560 2391 13016 0 0 1 0 5 3 20 0 6 0 474821663 10228523008 4336 33554432000 4194304 4196468 140730748241856 140423273382480 140423287043648 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30490] ppid=30433 vsize=9988792 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30490/stat : 30490 (java) S 30433 30436 23401 0 -1 1077944384 1 13016 0 0 0 0 5 3 20 0 6 0 474821664 10228523008 4336 33554432000 4194304 4196468 140730748241856 140423305788048 140423301555925 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30491] ppid=30433 vsize=9988792 memory=140146419992192 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30491/stat : 30491 (java) S 30433 30436 23401 0 -1 1077944384 1 13016 0 0 0 0 5 3 20 0 6 0 474821664 10228523008 4336 33554432000 4194304 4196468 140730748241856 140423220607504 140423301555925 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30492] ppid=30433 vsize=9988792 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30492/stat : 30492 (java) S 30433 30436 23401 0 -1 1077944384 1 13016 0 0 0 0 5 3 20 0 6 0 474821664 10228523008 4336 33554432000 4194304 4196468 140730748241856 140423219554704 140423301555925 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30493] ppid=30433 vsize=9988792 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30493/stat : 30493 (java) S 30433 30436 23401 0 -1 1077944384 2 13016 0 0 0 0 5 3 20 0 6 0 474821664 10228523008 4336 33554432000 4194304 4196468 140730748241856 140422872226064 140423301555925 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9981332 KiB
Current children cumulated memory: 17344 KiB

[startup+0.209944 s]*
/proc/loadavg: 1.34 1.34 1.39 3/225 30502
/proc/meminfo: memFree=4218192/32770624 swapFree=66938816/67108860
[pid=30436] ppid=30433 vsize=10820196 memory=46788 CPUtime=0.27 cores=1,3,5,7
/proc/30436/stat : 30436 (java) S 30433 30436 23401 0 -1 1077944320 7595 13016 0 0 17 2 5 3 20 0 15 0 474821654 11079880704 11697 33554432000 4194304 4196468 140730748241856 140730748224400 140423301545719 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
/proc/30436/statm: 2705049 11697 3286 1 0 2667149 0
[pid=30436/tid=30489] ppid=30433 vsize=10820196 memory=-6517102902069810590 CPUtime=0.19 cores=1,3,5,7
/proc/30436/task/30489/stat : 30489 (java) R 30433 30436 23401 0 -1 4202560 4110 13016 0 0 10 1 5 3 20 0 15 0 474821663 11079880704 11697 33554432000 4194304 4196468 140730748241856 140423273356752 140423301567066 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30490] ppid=30433 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30490/stat : 30490 (java) S 30433 30436 23401 0 -1 1077944384 1 13016 0 0 0 0 5 3 20 0 15 0 474821664 11079880704 11697 33554432000 4194304 4196468 140730748241856 140423305788048 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30491] ppid=30433 vsize=10820196 memory=140146419992192 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30491/stat : 30491 (java) S 30433 30436 23401 0 -1 1077944384 1 13016 0 0 0 0 5 3 20 0 15 0 474821664 11079880704 11697 33554432000 4194304 4196468 140730748241856 140423220607504 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30492] ppid=30433 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30492/stat : 30492 (java) S 30433 30436 23401 0 -1 1077944384 1 13016 0 0 0 0 5 3 20 0 15 0 474821664 11079880704 11697 33554432000 4194304 4196468 140730748241856 140423219554704 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30493] ppid=30433 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30493/stat : 30493 (java) S 30433 30436 23401 0 -1 1077944384 2 13016 0 0 0 0 5 3 20 0 15 0 474821664 11079880704 11697 33554432000 4194304 4196468 140730748241856 140422872226064 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30494] ppid=30433 vsize=10820196 memory=140146419992192 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30494/stat : 30494 (java) S 30433 30436 23401 0 -1 1077944384 2 13016 0 0 0 0 5 3 20 0 15 0 474821665 11079880704 11697 33554432000 4194304 4196468 140730748241856 140422828133232 140423301556866 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30495] ppid=30433 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30495/stat : 30495 (java) S 30433 30436 23401 0 -1 1077944384 13 13016 0 0 0 0 5 3 20 0 15 0 474821666 11079880704 11697 33554432000 4194304 4196468 140730748241856 140422747776544 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30496] ppid=30433 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30496/stat : 30496 (java) S 30433 30436 23401 0 -1 1077944384 1 13016 0 0 0 0 5 3 20 0 15 0 474821666 11079880704 11697 33554432000 4194304 4196468 140730748241856 140422613558640 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30497] ppid=30433 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30497/stat : 30497 (java) S 30433 30436 23401 0 -1 1077944384 2 13016 0 0 0 0 5 3 20 0 15 0 474821669 11079880704 11697 33554432000 4194304 4196468 140730748241856 140422009579856 140423301564315 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30498] ppid=30433 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/30436/task/30498/stat : 30498 (java) R 30433 30436 23401 0 -1 4202560 573 13016 0 0 1 0 5 3 20 0 15 0 474821669 11079880704 11697 33554432000 4194304 4196468 140730748241856 140422827080048 140423279419904 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30499] ppid=30433 vsize=10820196 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/30436/task/30499/stat : 30499 (java) S 30433 30436 23401 0 -1 1077944384 73 13016 0 0 1 0 5 3 20 0 15 0 474821669 11079880704 11697 33554432000 4194304 4196468 140730748241856 140422826027248 140423301556866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30500] ppid=30433 vsize=10820196 memory=140146419992192 CPUtime=0.11 cores=1,3,5,7
/proc/30436/task/30500/stat : 30500 (java) S 30433 30436 23401 0 -1 1077944384 615 13016 0 0 3 0 5 3 20 0 15 0 474821669 11079880704 11697 33554432000 4194304 4196468 140730748241856 140422824974448 140423301556866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30501] ppid=30433 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30501/stat : 30501 (java) S 30433 30436 23401 0 -1 1077944384 3 13016 0 0 0 0 5 3 20 0 15 0 474821669 11079880704 11697 33554432000 4194304 4196468 140730748241856 140421539817696 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30502] ppid=30433 vsize=10820196 memory=140146419992192 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30502/stat : 30502 (java) S 30433 30436 23401 0 -1 1077944384 1 13016 0 0 0 0 5 3 20 0 15 0 474821669 11079880704 11697 33554432000 4194304 4196468 140730748241856 140422823922864 140423301556866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 46788 KiB

[startup+0.310545 s]*
/proc/loadavg: 1.34 1.34 1.39 4/225 30502
/proc/meminfo: memFree=4205408/32770624 swapFree=66938816/67108860
[pid=30436] ppid=30433 vsize=10820196 memory=54980 CPUtime=0.41 cores=1,3,5,7
/proc/30436/stat : 30436 (java) S 30433 30436 23401 0 -1 1077944320 10958 13016 0 0 29 4 5 3 20 0 15 0 474821654 11079880704 13745 33554432000 4194304 4196468 140730748241856 140730748224400 140423301545719 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
/proc/30436/statm: 2705049 13745 3311 1 0 2667149 0
[pid=30436/tid=30489] ppid=30433 vsize=10820196 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/30436/task/30489/stat : 30489 (java) R 30433 30436 23401 0 -1 4202560 7454 13016 0 0 19 3 5 3 20 0 15 0 474821663 11079880704 13745 33554432000 4194304 4196468 140730748241856 140423273357264 140423285626206 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30490] ppid=30433 vsize=10820196 memory=7665518448924059747 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30490/stat : 30490 (java) S 30433 30436 23401 0 -1 1077944384 1 13016 0 0 0 0 5 3 20 0 15 0 474821664 11079880704 13745 33554432000 4194304 4196468 140730748241856 140423305788048 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30491] ppid=30433 vsize=10820196 memory=5787233549803348032 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30491/stat : 30491 (java) S 30433 30436 23401 0 -1 1077944384 1 13016 0 0 0 0 5 3 20 0 15 0 474821664 11079880704 13745 33554432000 4194304 4196468 140730748241856 140423220607504 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30492] ppid=30433 vsize=10820196 memory=7649539530507566531 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30492/stat : 30492 (java) S 30433 30436 23401 0 -1 1077944384 1 13016 0 0 0 0 5 3 20 0 15 0 474821664 11079880704 13745 33554432000 4194304 4196468 140730748241856 140423219554704 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30493] ppid=30433 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30493/stat : 30493 (java) S 30433 30436 23401 0 -1 1077944384 2 13016 0 0 0 0 5 3 20 0 15 0 474821664 11079880704 13745 33554432000 4194304 4196468 140730748241856 140422872226064 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30494] ppid=30433 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30494/stat : 30494 (java) S 30433 30436 23401 0 -1 1077944384 2 13016 0 0 0 0 5 3 20 0 15 0 474821665 11079880704 13745 33554432000 4194304 4196468 140730748241856 140422828133232 140423301556866 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30495] ppid=30433 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30495/stat : 30495 (java) S 30433 30436 23401 0 -1 1077944384 13 13016 0 0 0 0 5 3 20 0 15 0 474821666 11079880704 13745 33554432000 4194304 4196468 140730748241856 140422747776544 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30496] ppid=30433 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30496/stat : 30496 (java) S 30433 30436 23401 0 -1 1077944384 1 13016 0 0 0 0 5 3 20 0 15 0 474821666 11079880704 13745 33554432000 4194304 4196468 140730748241856 140422613558640 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30497] ppid=30433 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30497/stat : 30497 (java) S 30433 30436 23401 0 -1 1077944384 2 13016 0 0 0 0 5 3 20 0 15 0 474821669 11079880704 13745 33554432000 4194304 4196468 140730748241856 140422009579856 140423301564315 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30498] ppid=30433 vsize=10820196 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/30436/task/30498/stat : 30498 (java) S 30433 30436 23401 0 -1 1077944384 576 13016 0 0 2 0 5 3 20 0 15 0 474821669 11079880704 13745 33554432000 4194304 4196468 140730748241856 140422827080048 140423301556866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30499] ppid=30433 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/30436/task/30499/stat : 30499 (java) S 30433 30436 23401 0 -1 1077944384 73 13016 0 0 1 0 5 3 20 0 15 0 474821669 11079880704 13745 33554432000 4194304 4196468 140730748241856 140422826027248 140423301556866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30500] ppid=30433 vsize=10820196 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/30436/task/30500/stat : 30500 (java) S 30433 30436 23401 0 -1 1077944384 624 13016 0 0 5 0 5 3 20 0 15 0 474821669 11079880704 13810 33554432000 4194304 4196468 140730748241856 140422824974448 140423301556866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30501] ppid=30433 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30501/stat : 30501 (java) S 30433 30436 23401 0 -1 1077944384 3 13016 0 0 0 0 5 3 20 0 15 0 474821669 11079880704 13810 33554432000 4194304 4196468 140730748241856 140421539817696 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30502] ppid=30433 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30502/stat : 30502 (java) S 30433 30436 23401 0 -1 1077944384 1 13016 0 0 0 0 5 3 20 0 15 0 474821669 11079880704 13810 33554432000 4194304 4196468 140730748241856 140422823922864 140423301556866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 54980 KiB

[startup+0.700687 s]
/proc/loadavg: 1.34 1.34 1.39 4/225 30502
/proc/meminfo: memFree=4191456/32770624 swapFree=66938816/67108860
[pid=30436] ppid=30433 vsize=10824364 memory=87832 CPUtime=1.16 cores=1,3,5,7
/proc/30436/stat : 30436 (java) S 30433 30436 23401 0 -1 1077944320 15130 13016 0 0 102 6 5 3 20 0 15 0 474821654 11084148736 21958 33554432000 4194304 4196468 140730748241856 140730748224400 140423301545719 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
/proc/30436/statm: 2706091 21958 3513 1 0 2668173 0
[pid=30436/tid=30489] ppid=30433 vsize=10824364 memory=2241 CPUtime=0.67 cores=1,3,5,7
/proc/30436/task/30489/stat : 30489 (java) R 30433 30436 23401 0 -1 4202560 10555 13016 0 0 55 4 5 3 20 0 15 0 474821663 11084148736 21958 33554432000 4194304 4196468 140730748241856 140423273372880 140423301557654 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30490] ppid=30433 vsize=10824364 memory=2244 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30490/stat : 30490 (java) S 30433 30436 23401 0 -1 1077944384 1 13016 0 0 0 0 5 3 20 0 15 0 474821664 11084148736 21958 33554432000 4194304 4196468 140730748241856 140423305788048 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30491] ppid=30433 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30491/stat : 30491 (java) S 30433 30436 23401 0 -1 1077944384 1 13016 0 0 0 0 5 3 20 0 15 0 474821664 11084148736 21958 33554432000 4194304 4196468 140730748241856 140423220607504 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30492] ppid=30433 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30492/stat : 30492 (java) S 30433 30436 23401 0 -1 1077944384 1 13016 0 0 0 0 5 3 20 0 15 0 474821664 11084148736 21958 33554432000 4194304 4196468 140730748241856 140423219554704 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30493] ppid=30433 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30493/stat : 30493 (java) S 30433 30436 23401 0 -1 1077944384 2 13016 0 0 0 0 5 3 20 0 15 0 474821664 11084148736 21958 33554432000 4194304 4196468 140730748241856 140422872226064 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30494] ppid=30433 vsize=10824364 memory=6944652177228980320 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30494/stat : 30494 (java) S 30433 30436 23401 0 -1 1077944384 5 13016 0 0 0 0 5 3 20 0 15 0 474821665 11084148736 21958 33554432000 4194304 4196468 140730748241856 140422828133232 140423301556866 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30495] ppid=30433 vsize=10824364 memory=6944656592455359580 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30495/stat : 30495 (java) S 30433 30436 23401 0 -1 1077944384 13 13016 0 0 0 0 5 3 20 0 15 0 474821666 11084148736 21958 33554432000 4194304 4196468 140730748241856 140422747776544 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30496] ppid=30433 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30496/stat : 30496 (java) S 30433 30436 23401 0 -1 1077944384 1 13016 0 0 0 0 5 3 20 0 15 0 474821666 11084148736 21958 33554432000 4194304 4196468 140730748241856 140422613558640 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30497] ppid=30433 vsize=10824364 memory=6944656592455097440 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30497/stat : 30497 (java) S 30433 30436 23401 0 -1 1077944384 2 13016 0 0 0 0 5 3 20 0 15 0 474821669 11084148736 21958 33554432000 4194304 4196468 140730748241856 140422009579856 140423301564315 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30498] ppid=30433 vsize=10824364 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/30436/task/30498/stat : 30498 (java) S 30433 30436 23401 0 -1 1077944384 1062 13016 0 0 15 0 5 3 20 0 15 0 474821669 11084148736 21958 33554432000 4194304 4196468 140730748241856 140422827080048 140423301556866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30499] ppid=30433 vsize=10824364 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/30436/task/30499/stat : 30499 (java) R 30433 30436 23401 0 -1 4202560 497 13016 0 0 13 0 5 3 20 0 15 0 474821669 11084148736 21958 33554432000 4194304 4196468 140730748241856 140422826027248 140423286475189 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30500] ppid=30433 vsize=10824364 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/30436/task/30500/stat : 30500 (java) R 30433 30436 23401 0 -1 1077944384 781 13016 0 0 17 0 5 3 20 0 15 0 474821669 11084148736 21958 33554432000 4194304 4196468 140730748241856 140422824974448 140423301556866 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30501] ppid=30433 vsize=10824364 memory=280292518527216 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30501/stat : 30501 (java) S 30433 30436 23401 0 -1 1077944384 3 13016 0 0 0 0 5 3 20 0 15 0 474821669 11084148736 21958 33554432000 4194304 4196468 140730748241856 140421539817696 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30502] ppid=30433 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30502/stat : 30502 (java) R 30433 30436 23401 0 -1 1077944384 1 13016 0 0 0 0 5 3 20 0 15 0 474821669 11084148736 21958 33554432000 4194304 4196468 140730748241856 140422823922864 140423301556866 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 87832 KiB

[startup+1.50078 s]
/proc/loadavg: 1.34 1.34 1.39 6/225 30502
/proc/meminfo: memFree=4136120/32770624 swapFree=66938816/67108860
[pid=30436] ppid=30433 vsize=10830584 memory=207016 CPUtime=3.55 cores=1,3,5,7
/proc/30436/stat : 30436 (java) S 30433 30436 23401 0 -1 1077944320 29080 13016 0 0 337 10 5 3 20 0 15 0 474821654 11090518016 51754 33554432000 4194304 4196468 140730748241856 140730748224400 140423301545719 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
/proc/30436/statm: 2707646 51754 3554 1 0 2669709 0
[pid=30436/tid=30489] ppid=30433 vsize=10830584 memory=28 CPUtime=1.46 cores=1,3,5,7
/proc/30436/task/30489/stat : 30489 (java) R 30433 30436 23401 0 -1 4202560 13408 13016 0 0 132 6 5 3 20 0 15 0 474821663 11090518016 51754 33554432000 4194304 4196468 140730748241856 140423273377840 140423301567066 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30490] ppid=30433 vsize=10830584 memory=31 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30490/stat : 30490 (java) S 30433 30436 23401 0 -1 1077944384 1 13016 0 0 0 0 5 3 20 0 15 0 474821664 11090518016 51754 33554432000 4194304 4196468 140730748241856 140423305788048 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30491] ppid=30433 vsize=10830584 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30491/stat : 30491 (java) S 30433 30436 23401 0 -1 1077944384 1 13016 0 0 0 0 5 3 20 0 15 0 474821664 11090518016 51754 33554432000 4194304 4196468 140730748241856 140423220607504 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30492] ppid=30433 vsize=10830584 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30492/stat : 30492 (java) S 30433 30436 23401 0 -1 1077944384 1 13016 0 0 0 0 5 3 20 0 15 0 474821664 11090518016 51754 33554432000 4194304 4196468 140730748241856 140423219554704 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30493] ppid=30433 vsize=10830584 memory=112476 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30493/stat : 30493 (java) S 30433 30436 23401 0 -1 1077944384 2 13016 0 0 0 0 5 3 20 0 15 0 474821664 11090518016 51754 33554432000 4194304 4196468 140730748241856 140422872226064 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30494] ppid=30433 vsize=10830584 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30494/stat : 30494 (java) S 30433 30436 23401 0 -1 1077944384 5 13016 0 0 0 0 5 3 20 0 15 0 474821665 11090518016 51754 33554432000 4194304 4196468 140730748241856 140422828133232 140423301556866 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30495] ppid=30433 vsize=10830584 memory=7016982484491462227 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30495/stat : 30495 (java) S 30433 30436 23401 0 -1 1077944384 13 13016 0 0 0 0 5 3 20 0 15 0 474821666 11090518016 51754 33554432000 4194304 4196468 140730748241856 140422747776544 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30496] ppid=30433 vsize=10830584 memory=7451041036348057683 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30496/stat : 30496 (java) S 30433 30436 23401 0 -1 1077944384 1 13016 0 0 0 0 5 3 20 0 15 0 474821666 11090518016 51754 33554432000 4194304 4196468 140730748241856 140422613558640 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30497] ppid=30433 vsize=10830584 memory=7660735560510433129 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30497/stat : 30497 (java) S 30433 30436 23401 0 -1 1077944384 2 13016 0 0 0 0 5 3 20 0 15 0 474821669 11090518016 51754 33554432000 4194304 4196468 140730748241856 140422009579856 140423301564315 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30498] ppid=30433 vsize=10830584 memory=7454130749351154278 CPUtime=0.87 cores=1,3,5,7
/proc/30436/task/30498/stat : 30498 (java) R 30433 30436 23401 0 -1 4202560 5794 13016 0 0 78 1 5 3 20 0 15 0 474821669 11090518016 51754 33554432000 4194304 4196468 140730748241856 140422827080048 140423283067346 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30499] ppid=30433 vsize=10830584 memory=7234585662734230896 CPUtime=0.83 cores=1,3,5,7
/proc/30436/task/30499/stat : 30499 (java) R 30433 30436 23401 0 -1 4202560 5296 13016 0 0 75 0 5 3 20 0 15 0 474821669 11090518016 51754 33554432000 4194304 4196468 140730748241856 140422826027248 140423301567066 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30500] ppid=30433 vsize=10830584 memory=7016982484491462227 CPUtime=0.58 cores=1,3,5,7
/proc/30436/task/30500/stat : 30500 (java) S 30433 30436 23401 0 -1 1077944384 2347 13016 0 0 50 0 5 3 20 0 15 0 474821669 11090518016 51754 33554432000 4194304 4196468 140730748241856 140422824974448 140423301556866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30501] ppid=30433 vsize=10830584 memory=7016982484491462227 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30501/stat : 30501 (java) S 30433 30436 23401 0 -1 1077944384 3 13016 0 0 0 0 5 3 20 0 15 0 474821669 11090518016 51754 33554432000 4194304 4196468 140730748241856 140421539817696 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30502] ppid=30433 vsize=10830584 memory=56 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30502/stat : 30502 (java) S 30433 30436 23401 0 -1 1077944384 1 13016 0 0 0 0 5 3 20 0 15 0 474821669 11090518016 51754 33554432000 4194304 4196468 140730748241856 140422823922864 140423301556866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
Current children cumulated CPU time: 3.55 s
Current children cumulated vsize: 10830584 KiB

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

/proc/30436/task/30489/stat : 30489 (java) R 30433 30436 23401 0 -1 4202560 69352 13016 0 0 219224 33 5 3 20 0 15 0 474821663 11111510016 270988 33554432000 4194304 4196468 140730748241856 140423273381552 140422915247496 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30490] ppid=30433 vsize=10851084 memory=1083928 CPUtime=5.16 cores=1,3,5,7
/proc/30436/task/30490/stat : 30490 (java) S 30433 30436 23401 0 -1 1077944384 18463 13016 0 0 485 23 5 3 20 0 15 0 474821664 11111510016 270988 33554432000 4194304 4196468 140730748241856 140423305788048 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30491] ppid=30433 vsize=10851084 memory=1083952 CPUtime=5.15 cores=1,3,5,7
/proc/30436/task/30491/stat : 30491 (java) S 30433 30436 23401 0 -1 1077944384 17233 13016 0 0 485 22 5 3 20 0 15 0 474821664 11111510016 270988 33554432000 4194304 4196468 140730748241856 140423220607504 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30492] ppid=30433 vsize=10851084 memory=1083952 CPUtime=5.12 cores=1,3,5,7
/proc/30436/task/30492/stat : 30492 (java) S 30433 30436 23401 0 -1 1077944384 19445 13016 0 0 478 26 5 3 20 0 15 0 474821664 11111510016 270988 33554432000 4194304 4196468 140730748241856 140423219554704 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30493] ppid=30433 vsize=10851084 memory=1083952 CPUtime=5.16 cores=1,3,5,7
/proc/30436/task/30493/stat : 30493 (java) S 30433 30436 23401 0 -1 1077944384 10338 13016 0 0 487 21 5 3 20 0 15 0 474821664 11111510016 270988 33554432000 4194304 4196468 140730748241856 140422872226064 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30494] ppid=30433 vsize=10851084 memory=1083952 CPUtime=3.97 cores=1,3,5,7
/proc/30436/task/30494/stat : 30494 (java) S 30433 30436 23401 0 -1 1077944384 16451 13016 0 0 366 23 5 3 20 0 15 0 474821665 11111510016 270988 33554432000 4194304 4196468 140730748241856 140422828133232 140423301556866 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30495] ppid=30433 vsize=10851084 memory=1083952 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30495/stat : 30495 (java) S 30433 30436 23401 0 -1 1077944384 19 13016 0 0 0 0 5 3 20 0 15 0 474821666 11111510016 270988 33554432000 4194304 4196468 140730748241856 140422747776608 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30496] ppid=30433 vsize=10851084 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30496/stat : 30496 (java) S 30433 30436 23401 0 -1 1077944384 11 13016 0 0 0 0 5 3 20 0 15 0 474821666 11111510016 270988 33554432000 4194304 4196468 140730748241856 140422613558656 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30497] ppid=30433 vsize=10851084 memory=1083952 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30497/stat : 30497 (java) S 30433 30436 23401 0 -1 1077944384 2 13016 0 0 0 0 5 3 20 0 15 0 474821669 11111510016 270988 33554432000 4194304 4196468 140730748241856 140422009579856 140423301564315 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30498] ppid=30433 vsize=10851084 memory=1083916 CPUtime=8.57 cores=1,3,5,7
/proc/30436/task/30498/stat : 30498 (java) S 30433 30436 23401 0 -1 1077944384 31078 13016 0 0 845 4 5 3 20 0 15 0 474821669 11111510016 270988 33554432000 4194304 4196468 140730748241856 140422827080048 140423301556866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30499] ppid=30433 vsize=10851084 memory=3620 CPUtime=8.52 cores=1,3,5,7
/proc/30436/task/30499/stat : 30499 (java) S 30433 30436 23401 0 -1 1077944384 28540 13016 0 0 841 3 5 3 20 0 15 0 474821669 11111510016 270988 33554432000 4194304 4196468 140730748241856 140422826027248 140423301556866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30500] ppid=30433 vsize=10851084 memory=1083952 CPUtime=2.93 cores=1,3,5,7
/proc/30436/task/30500/stat : 30500 (java) S 30433 30436 23401 0 -1 1077944384 25390 13016 0 0 280 5 5 3 20 0 15 0 474821669 11111510016 270988 33554432000 4194304 4196468 140730748241856 140422824974448 140423301556866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30501] ppid=30433 vsize=10851084 memory=1083824 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30501/stat : 30501 (java) S 30433 30436 23401 0 -1 1077944384 3 13016 0 0 0 0 5 3 20 0 15 0 474821669 11111510016 270988 33554432000 4194304 4196468 140730748241856 140421539817696 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30502] ppid=30433 vsize=10851084 memory=1083824 CPUtime=1.13 cores=1,3,5,7
/proc/30436/task/30502/stat : 30502 (java) S 30433 30436 23401 0 -1 1077944384 1173 13016 0 0 52 53 5 3 20 0 15 0 474821669 11111510016 270988 33554432000 4194304 4196468 140730748241856 140422823922864 140423301556866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
Current children cumulated CPU time: 2237.75 s
Current children cumulated vsize: 10851084 KiB
Current children cumulated memory: 1083952 KiB

[startup+2262.3 s]
/proc/loadavg: 0.61 0.63 0.83 2/204 30776
/proc/meminfo: memFree=5032492/32770624 swapFree=66938860/67108860
[pid=30436] ppid=30433 vsize=10851084 memory=1084028 CPUtime=2298.23 cores=1,3,5,7
/proc/30436/stat : 30436 (java) S 30433 30436 23401 0 -1 1077944320 241434 13016 0 0 229623 192 5 3 20 0 15 0 474821654 11111510016 271007 33554432000 4194304 4196468 140730748241856 140730748224400 140423301545719 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
/proc/30436/statm: 2712771 271007 3641 1 0 2674829 0
[pid=30436/tid=30489] ppid=30433 vsize=10851084 memory=1084028 CPUtime=2252.36 cores=1,3,5,7
/proc/30436/task/30489/stat : 30489 (java) R 30433 30436 23401 0 -1 4202560 69909 13016 0 0 225194 34 5 3 20 0 15 0 474821663 11111510016 271007 33554432000 4194304 4196468 140730748241856 140423273380528 140422919846042 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30490] ppid=30433 vsize=10851084 memory=1084028 CPUtime=5.31 cores=1,3,5,7
/proc/30436/task/30490/stat : 30490 (java) S 30433 30436 23401 0 -1 1077944384 18798 13016 0 0 500 23 5 3 20 0 15 0 474821664 11111510016 271007 33554432000 4194304 4196468 140730748241856 140423305788048 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30491] ppid=30433 vsize=10851084 memory=0 CPUtime=5.31 cores=1,3,5,7
/proc/30436/task/30491/stat : 30491 (java) S 30433 30436 23401 0 -1 1077944384 17278 13016 0 0 500 23 5 3 20 0 15 0 474821664 11111510016 271007 33554432000 4194304 4196468 140730748241856 140423220607504 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30492] ppid=30433 vsize=10851084 memory=1084028 CPUtime=5.28 cores=1,3,5,7
/proc/30436/task/30492/stat : 30492 (java) S 30433 30436 23401 0 -1 1077944384 19662 13016 0 0 493 27 5 3 20 0 15 0 474821664 11111510016 271007 33554432000 4194304 4196468 140730748241856 140423219554704 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30493] ppid=30433 vsize=10851084 memory=1084028 CPUtime=5.31 cores=1,3,5,7
/proc/30436/task/30493/stat : 30493 (java) S 30433 30436 23401 0 -1 1077944384 10477 13016 0 0 502 21 5 3 20 0 15 0 474821664 11111510016 271007 33554432000 4194304 4196468 140730748241856 140422872226064 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30494] ppid=30433 vsize=10851084 memory=2305 CPUtime=4.1 cores=1,3,5,7
/proc/30436/task/30494/stat : 30494 (java) S 30433 30436 23401 0 -1 1077944384 16864 13016 0 0 378 24 5 3 20 0 15 0 474821665 11111510016 271007 33554432000 4194304 4196468 140730748241856 140422828133232 140423301556866 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30495] ppid=30433 vsize=10851084 memory=1084028 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30495/stat : 30495 (java) S 30433 30436 23401 0 -1 1077944384 19 13016 0 0 0 0 5 3 20 0 15 0 474821666 11111510016 271007 33554432000 4194304 4196468 140730748241856 140422747776608 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30496] ppid=30433 vsize=10851084 memory=1084028 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30496/stat : 30496 (java) S 30433 30436 23401 0 -1 1077944384 11 13016 0 0 0 0 5 3 20 0 15 0 474821666 11111510016 271007 33554432000 4194304 4196468 140730748241856 140422613558656 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30497] ppid=30433 vsize=10851084 memory=1084028 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30497/stat : 30497 (java) S 30433 30436 23401 0 -1 1077944384 2 13016 0 0 0 0 5 3 20 0 15 0 474821669 11111510016 271007 33554432000 4194304 4196468 140730748241856 140422009579856 140423301564315 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30498] ppid=30433 vsize=10851084 memory=1084028 CPUtime=8.57 cores=1,3,5,7
/proc/30436/task/30498/stat : 30498 (java) S 30433 30436 23401 0 -1 1077944384 31080 13016 0 0 845 4 5 3 20 0 15 0 474821669 11111510016 271007 33554432000 4194304 4196468 140730748241856 140422827080048 140423301556866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30499] ppid=30433 vsize=10851084 memory=1084028 CPUtime=8.52 cores=1,3,5,7
/proc/30436/task/30499/stat : 30499 (java) S 30433 30436 23401 0 -1 1077944384 28542 13016 0 0 841 3 5 3 20 0 15 0 474821669 11111510016 271007 33554432000 4194304 4196468 140730748241856 140422826027248 140423301556866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30500] ppid=30433 vsize=10851084 memory=3620 CPUtime=2.93 cores=1,3,5,7
/proc/30436/task/30500/stat : 30500 (java) S 30433 30436 23401 0 -1 1077944384 25392 13016 0 0 280 5 5 3 20 0 15 0 474821669 11111510016 271007 33554432000 4194304 4196468 140730748241856 140422824974448 140423301556866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30501] ppid=30433 vsize=10851084 memory=1084028 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30501/stat : 30501 (java) S 30433 30436 23401 0 -1 1077944384 3 13016 0 0 0 0 5 3 20 0 15 0 474821669 11111510016 271007 33554432000 4194304 4196468 140730748241856 140421539817696 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30502] ppid=30433 vsize=10851084 memory=1084028 CPUtime=1.17 cores=1,3,5,7
/proc/30436/task/30502/stat : 30502 (java) S 30433 30436 23401 0 -1 1077944384 1192 13016 0 0 54 55 5 3 20 0 15 0 474821669 11111510016 271007 33554432000 4194304 4196468 140730748241856 140422823922864 140423301556866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
Current children cumulated CPU time: 2298.23 s
Current children cumulated vsize: 10851084 KiB
Current children cumulated memory: 1084028 KiB

[startup+2322.3 s]
/proc/loadavg: 0.64 0.63 0.82 2/205 30782
/proc/meminfo: memFree=5039096/32770624 swapFree=66938860/67108860
[pid=30436] ppid=30433 vsize=10851084 memory=1077944 CPUtime=2358.67 cores=1,3,5,7
/proc/30436/stat : 30436 (java) S 30433 30436 23401 0 -1 1077944320 243028 13016 0 0 235663 196 5 3 20 0 15 0 474821654 11111510016 269486 33554432000 4194304 4196468 140730748241856 140730748224400 140423301545719 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
/proc/30436/statm: 2712771 269486 3641 1 0 2674829 0
[pid=30436/tid=30489] ppid=30433 vsize=10851084 memory=1077944 CPUtime=2312.09 cores=1,3,5,7
/proc/30436/task/30489/stat : 30489 (java) R 30433 30436 23401 0 -1 4202560 70459 13016 0 0 231167 34 5 3 20 0 15 0 474821663 11111510016 269486 33554432000 4194304 4196468 140730748241856 140423273381376 140422919845668 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30490] ppid=30433 vsize=10851084 memory=1077944 CPUtime=5.45 cores=1,3,5,7
/proc/30436/task/30490/stat : 30490 (java) S 30433 30436 23401 0 -1 1077944384 18870 13016 0 0 514 23 5 3 20 0 15 0 474821664 11111510016 269486 33554432000 4194304 4196468 140730748241856 140423305788048 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30491] ppid=30433 vsize=10851084 memory=0 CPUtime=5.44 cores=1,3,5,7
/proc/30436/task/30491/stat : 30491 (java) S 30433 30436 23401 0 -1 1077944384 17376 13016 0 0 513 23 5 3 20 0 15 0 474821664 11111510016 269486 33554432000 4194304 4196468 140730748241856 140423220607504 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30492] ppid=30433 vsize=10851084 memory=1077944 CPUtime=5.41 cores=1,3,5,7
/proc/30436/task/30492/stat : 30492 (java) S 30433 30436 23401 0 -1 1077944384 19929 13016 0 0 506 27 5 3 20 0 15 0 474821664 11111510016 269486 33554432000 4194304 4196468 140730748241856 140423219554704 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30493] ppid=30433 vsize=10851084 memory=1077944 CPUtime=5.46 cores=1,3,5,7
/proc/30436/task/30493/stat : 30493 (java) S 30433 30436 23401 0 -1 1077944384 10840 13016 0 0 516 22 5 3 20 0 15 0 474821664 11111510016 269486 33554432000 4194304 4196468 140730748241856 140422872226064 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30494] ppid=30433 vsize=10851084 memory=1077944 CPUtime=4.21 cores=1,3,5,7
/proc/30436/task/30494/stat : 30494 (java) S 30433 30436 23401 0 -1 1077944384 17084 13016 0 0 389 24 5 3 20 0 15 0 474821665 11111510016 269486 33554432000 4194304 4196468 140730748241856 140422828133232 140423301556866 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30495] ppid=30433 vsize=10851084 memory=1077944 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30495/stat : 30495 (java) S 30433 30436 23401 0 -1 1077944384 19 13016 0 0 0 0 5 3 20 0 15 0 474821666 11111510016 269486 33554432000 4194304 4196468 140730748241856 140422747776608 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30496] ppid=30433 vsize=10851084 memory=1077944 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30496/stat : 30496 (java) S 30433 30436 23401 0 -1 1077944384 11 13016 0 0 0 0 5 3 20 0 15 0 474821666 11111510016 269486 33554432000 4194304 4196468 140730748241856 140422613558656 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30497] ppid=30433 vsize=10851084 memory=1077944 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30497/stat : 30497 (java) S 30433 30436 23401 0 -1 1077944384 2 13016 0 0 0 0 5 3 20 0 15 0 474821669 11111510016 269486 33554432000 4194304 4196468 140730748241856 140422009579856 140423301564315 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30498] ppid=30433 vsize=10851084 memory=1077944 CPUtime=8.57 cores=1,3,5,7
/proc/30436/task/30498/stat : 30498 (java) S 30433 30436 23401 0 -1 1077944384 31082 13016 0 0 845 4 5 3 20 0 15 0 474821669 11111510016 269486 33554432000 4194304 4196468 140730748241856 140422827080048 140423301556866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30499] ppid=30433 vsize=10851084 memory=1077944 CPUtime=8.52 cores=1,3,5,7
/proc/30436/task/30499/stat : 30499 (java) S 30433 30436 23401 0 -1 1077944384 28544 13016 0 0 841 3 5 3 20 0 15 0 474821669 11111510016 269486 33554432000 4194304 4196468 140730748241856 140422826027248 140423301556866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30500] ppid=30433 vsize=10851084 memory=1077944 CPUtime=2.93 cores=1,3,5,7
/proc/30436/task/30500/stat : 30500 (java) S 30433 30436 23401 0 -1 1077944384 25394 13016 0 0 280 5 5 3 20 0 15 0 474821669 11111510016 269486 33554432000 4194304 4196468 140730748241856 140422824974448 140423301556866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30501] ppid=30433 vsize=10851084 memory=1077944 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30501/stat : 30501 (java) S 30433 30436 23401 0 -1 1077944384 3 13016 0 0 0 0 5 3 20 0 15 0 474821669 11111510016 269486 33554432000 4194304 4196468 140730748241856 140421539817696 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30502] ppid=30433 vsize=10851084 memory=1096 CPUtime=1.19 cores=1,3,5,7
/proc/30436/task/30502/stat : 30502 (java) S 30433 30436 23401 0 -1 1077944384 1210 13016 0 0 55 56 5 3 20 0 15 0 474821669 11111510016 269486 33554432000 4194304 4196468 140730748241856 140422823922864 140423301556866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
Current children cumulated CPU time: 2358.67 s
Current children cumulated vsize: 10851084 KiB
Current children cumulated memory: 1077944 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2363.4 s]
/proc/loadavg: 0.74 0.66 0.82 2/206 30793
/proc/meminfo: memFree=5038276/32770624 swapFree=66938868/67108860
[pid=30436] ppid=30433 vsize=10851084 memory=1077980 CPUtime=2400.06 cores=1,3,5,7
/proc/30436/stat : 30436 (java) S 30433 30436 23401 0 -1 1077944320 244309 13016 0 0 239800 198 5 3 20 0 15 0 474821654 11111510016 269495 33554432000 4194304 4196468 140730748241856 140730748224400 140423301545719 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
/proc/30436/statm: 2712771 269495 3641 1 0 2674829 0
[pid=30436/tid=30489] ppid=30433 vsize=10851084 memory=7373352817559363648 CPUtime=2353.02 cores=1,3,5,7
/proc/30436/task/30489/stat : 30489 (java) R 30433 30436 23401 0 -1 4202560 70890 13016 0 0 235260 34 5 3 20 0 15 0 474821663 11111510016 269495 33554432000 4194304 4196468 140730748241856 140423273381328 140422919845644 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30490] ppid=30433 vsize=10851084 memory=6791534058613427641 CPUtime=5.55 cores=1,3,5,7
/proc/30436/task/30490/stat : 30490 (java) S 30433 30436 23401 0 -1 1077944384 18912 13016 0 0 523 24 5 3 20 0 15 0 474821664 11111510016 269495 33554432000 4194304 4196468 140730748241856 140423305788048 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30491] ppid=30433 vsize=10851084 memory=2016 CPUtime=5.54 cores=1,3,5,7
/proc/30436/task/30491/stat : 30491 (java) S 30433 30436 23401 0 -1 1077944384 17544 13016 0 0 522 24 5 3 20 0 15 0 474821664 11111510016 269495 33554432000 4194304 4196468 140730748241856 140423220607504 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30492] ppid=30433 vsize=10851084 memory=1416 CPUtime=5.52 cores=1,3,5,7
/proc/30436/task/30492/stat : 30492 (java) S 30433 30436 23401 0 -1 1077944384 20050 13016 0 0 516 28 5 3 20 0 15 0 474821664 11111510016 269495 33554432000 4194304 4196468 140730748241856 140423219554704 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30493] ppid=30433 vsize=10851084 memory=10728 CPUtime=5.55 cores=1,3,5,7
/proc/30436/task/30493/stat : 30493 (java) S 30433 30436 23401 0 -1 1077944384 11124 13016 0 0 525 22 5 3 20 0 15 0 474821664 11111510016 269495 33554432000 4194304 4196468 140730748241856 140422872226064 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30494] ppid=30433 vsize=10851084 memory=3620 CPUtime=4.27 cores=1,3,5,7
/proc/30436/task/30494/stat : 30494 (java) S 30433 30436 23401 0 -1 1077944384 17305 13016 0 0 395 24 5 3 20 0 15 0 474821665 11111510016 269495 33554432000 4194304 4196468 140730748241856 140422828133232 140423301556866 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30495] ppid=30433 vsize=10851084 memory=53456 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30495/stat : 30495 (java) S 30433 30436 23401 0 -1 1077944384 19 13016 0 0 0 0 5 3 20 0 15 0 474821666 11111510016 269495 33554432000 4194304 4196468 140730748241856 140422747776608 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30496] ppid=30433 vsize=10851084 memory=1744 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30496/stat : 30496 (java) S 30433 30436 23401 0 -1 1077944384 11 13016 0 0 0 0 5 3 20 0 15 0 474821666 11111510016 269495 33554432000 4194304 4196468 140730748241856 140422613558656 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30497] ppid=30433 vsize=10851084 memory=924 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30497/stat : 30497 (java) S 30433 30436 23401 0 -1 1077944384 2 13016 0 0 0 0 5 3 20 0 15 0 474821669 11111510016 269495 33554432000 4194304 4196468 140730748241856 140422009579856 140423301564315 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30498] ppid=30433 vsize=10851084 memory=1448 CPUtime=8.57 cores=1,3,5,7
/proc/30436/task/30498/stat : 30498 (java) S 30433 30436 23401 0 -1 1077944384 31084 13016 0 0 845 4 5 3 20 0 15 0 474821669 11111510016 269495 33554432000 4194304 4196468 140730748241856 140422827080048 140423301556866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30499] ppid=30433 vsize=10851084 memory=1748 CPUtime=8.52 cores=1,3,5,7
/proc/30436/task/30499/stat : 30499 (java) S 30433 30436 23401 0 -1 1077944384 28546 13016 0 0 841 3 5 3 20 0 15 0 474821669 11111510016 269495 33554432000 4194304 4196468 140730748241856 140422826027248 140423301556866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30500] ppid=30433 vsize=10851084 memory=111632 CPUtime=2.93 cores=1,3,5,7
/proc/30436/task/30500/stat : 30500 (java) S 30433 30436 23401 0 -1 1077944384 25396 13016 0 0 280 5 5 3 20 0 15 0 474821669 11111510016 269495 33554432000 4194304 4196468 140730748241856 140422824974448 140423301556866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30501] ppid=30433 vsize=10851084 memory=808 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30501/stat : 30501 (java) S 30433 30436 23401 0 -1 1077944384 3 13016 0 0 0 0 5 3 20 0 15 0 474821669 11111510016 269495 33554432000 4194304 4196468 140730748241856 140421539817696 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30502] ppid=30433 vsize=10851084 memory=3620 CPUtime=1.22 cores=1,3,5,7
/proc/30436/task/30502/stat : 30502 (java) S 30433 30436 23401 0 -1 1077944384 1218 13016 0 0 56 58 5 3 20 0 15 0 474821669 11111510016 269495 33554432000 4194304 4196468 140730748241856 140422823922864 140423301556866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 10851084 KiB
Current children cumulated memory: 1077980 KiB

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

[startup+2363.44 s]
# the end of solver process 30436 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2398.08 s, system=2.02557 s

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

Child status: 143
Real time (s): 2363.44
CPU time (s): 2400.1
CPU user time (s): 2398.08
CPU system time (s): 2.02557
CPU usage (%): 101.551
Max. virtual memory (cumulated for all children) (KiB): 10851792
Max. memory (cumulated for all children) (KiB): 1297816

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.08
system time used= 2.02557
maximum resident set size= 1299864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 258814
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 143240
involuntary context switches= 2751


# summary of solver processes directly reported to runsolver:
#   pid: 30436
#   total CPU time (s): 2400.1
#   total CPU user time (s): 2398.08
#   total CPU system time (s): 2.02557

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.7649 second user time and 21.9743 second system time

The end

Launcher Data 

Begin job on node139 at 2019-09-20 15:20:42
IDJOB=4403304
IDBENCH=141053
IDSOLVER=2862
FILE ID=node139/4403304-1568985520
RUNJOBID= node139-1568967758-23433
PBS_JOBID= 21704618
Free space on /tmp= 5052 MiB

SOLVER NAME= Concrete 3.12.3
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-4403304-1568985520/watcher-4403304-1568985520 -o /tmp/evaluation-result-4403304-1568985520/solver-4403304-1568985520 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node139-1568967758-23433 --watchdog 2560  bin/xcsp-3-concrete -J-Xss32M -randomseed=599160865 HOME/instance-4403304-1568985520.xml

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

MD5SUM BENCH= 2080050c46f9199df44cd86a0d29de9d
RANDOM SEED=599160865

node139.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.57
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:         4249076 kB
MemAvailable:   29971776 kB
Buffers:          135868 kB
Cached:         25408068 kB
SwapCached:        65304 kB
Active:         14590396 kB
Inactive:       12839600 kB
Active(anon):    1824344 kB
Inactive(anon):   107960 kB
Active(file):   12766052 kB
Inactive(file): 12731640 kB
Unevictable:      108884 kB
Mlocked:          108884 kB
SwapTotal:      67108860 kB
SwapFree:       66938816 kB
Dirty:             35700 kB
Writeback:             0 kB
AnonPages:       1896588 kB
Mapped:            64808 kB
Shmem:             37220 kB
Slab:             682372 kB
SReclaimable:     653468 kB
SUnreclaim:        28904 kB
KernelStack:        3952 kB
PageTables:        11056 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2890980 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1726464 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 5052 MiB
End job on node139 at 2019-09-20 16:00:05