Trace number 4304175

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.9.2SAT (TO)1745 2520.11 2455.33

General information on the benchmark

NameNurseRostering/
NurseRostering-03_c18.xml
MD5SUMeb17d19b145b92a5bb64f51f86380189
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1249
Best CPU time to get the best result obtained on this benchmark2400.37
Satisfiable
(Un)Satisfiability was proved
Number of variables576
Number of constraints1322
Number of domains14
Minimum domain size1
Maximum domain size21
Distribution of domain sizes[{"size":1,"count":28},{"size":2,"count":104},{"size":3,"count":3},{"size":4,"count":280},{"size":6,"count":10},{"size":15,"count":53},{"size":21,"count":98}]
Minimum variable degree2
Maximum variable degree25
Distribution of variable degrees[{"degree":2,"count":256},{"degree":3,"count":40},{"degree":12,"count":5},{"degree":13,"count":15},{"degree":14,"count":16},{"degree":15,"count":6},{"degree":16,"count":19},{"degree":17,"count":22},{"degree":18,"count":38},{"degree":19,"count":31},{"degree":20,"count":35},{"degree":21,"count":37},{"degree":22,"count":36},{"degree":23,"count":9},{"degree":24,"count":7},{"degree":25,"count":4}]
Minimum constraint arity2
Maximum constraint arity21
Distribution of constraint arities[{"arity":2,"count":575},{"arity":3,"count":360},{"arity":4,"count":75},{"arity":6,"count":135},{"arity":7,"count":40},{"arity":15,"count":80},{"arity":20,"count":1},{"arity":21,"count":56}]
Number of extensional constraints316
Number of intensional constraints174
Distribution of constraint types[{"type":"extension","count":316},{"type":"intension","count":174},{"type":"regular","count":480},{"type":"sum","count":40},{"type":"count","count":311},{"type":"instantiation","count":1}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data

0.99/0.74	c Concrete v3.9.2.1532736233296 running
9.82/4.29	c 05:23:26.633 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4017. 'extension(3, x[1][0]=[0‥3]) :: init: true :: relation: MDD 238308051, 5 edges, 4 vertices, 3 tuples
9.82/4.29	c 05:23:26.638 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4018. 'extension(3, x[1][0]=[0‥3]) :: init: true :: relation: MDD 123629835, 4 edges, 3 vertices, 3 tuples
9.82/4.30	c 05:23:26.644 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4038. 'extension(3, x[1][3]=[0‥3]) :: init: true :: relation: MDD 1420599919, 5 edges, 4 vertices, 3 tuples
9.82/4.30	c 05:23:26.644 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4039. 'extension(3, x[1][3]=[0‥3]) :: init: true :: relation: MDD 910101408, 4 edges, 3 vertices, 3 tuples
9.82/4.30	c 05:23:26.646 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4059. 'extension(3, x[1][5]=[0‥3]) :: init: true :: relation: MDD 1331946439, 5 edges, 4 vertices, 3 tuples
9.82/4.30	c 05:23:26.646 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4060. 'extension(3, x[1][5]=[0‥3]) :: init: true :: relation: MDD 899675353, 4 edges, 3 vertices, 3 tuples
9.82/4.30	c 05:23:26.648 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4080. 'extension(x[0][2]=[0‥3], 3) :: init: true :: relation: MDD 804872134, 5 edges, 4 vertices, 3 tuples
9.82/4.30	c 05:23:26.649 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4081. 'extension(3, x[2][2]=[0‥3]) :: init: true :: relation: MDD 804872134, 5 edges, 4 vertices, 3 tuples
10.17/4.30	c 05:23:26.652 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4105. 'extension(x[0][12]=[0‥3], 3) :: init: true :: relation: MDD 794949943, 5 edges, 4 vertices, 3 tuples
10.17/4.31	c 05:23:26.652 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4106. 'extension(3, x[2][12]=[0‥3]) :: init: true :: relation: MDD 794949943, 5 edges, 4 vertices, 3 tuples
10.17/4.31	c 05:23:26.655 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4130. 'extension(x[0][17]=[0‥3], 3) :: init: true :: relation: MDD 745571392, 5 edges, 4 vertices, 3 tuples
10.17/4.31	c 05:23:26.655 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4131. 'extension(3, x[2][17]=[0‥3]) :: init: true :: relation: MDD 745571392, 5 edges, 4 vertices, 3 tuples
10.17/4.31	c 05:23:26.658 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4154. 'extension(x[1][9]=[0‥3], 3) :: init: true :: relation: MDD 137659163, 5 edges, 4 vertices, 3 tuples
10.17/4.31	c 05:23:26.658 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4155. 'extension(3, x[3][9]=[0‥3]) :: init: true :: relation: MDD 137659163, 5 edges, 4 vertices, 3 tuples
10.17/4.31	c 05:23:26.661 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4181. 'extension(x[1][15]=[0‥3], 3) :: init: true :: relation: MDD 1366811528, 5 edges, 4 vertices, 3 tuples
10.17/4.32	c 05:23:26.662 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4182. 'extension(3, x[3][15]=[0‥3]) :: init: true :: relation: MDD 1366811528, 5 edges, 4 vertices, 3 tuples
10.17/4.32	c 05:23:26.665 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4207. 'extension(x[2][4]=[0‥3], 3) :: init: true :: relation: MDD 1215023524, 5 edges, 4 vertices, 3 tuples
10.17/4.32	c 05:23:26.666 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4208. 'extension(3, x[4][4]=[0‥3]) :: init: true :: relation: MDD 1215023524, 5 edges, 4 vertices, 3 tuples
10.17/4.32	c 05:23:26.669 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4235. 'extension(x[2][14]=[0‥3], 3) :: init: true :: relation: MDD 1118969241, 5 edges, 4 vertices, 3 tuples
10.17/4.32	c 05:23:26.669 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4236. 'extension(3, x[4][14]=[0‥3]) :: init: true :: relation: MDD 1118969241, 5 edges, 4 vertices, 3 tuples
10.17/4.33	c 05:23:26.673 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4264. 'extension(x[3][6]=[0‥3], 3) :: init: true :: relation: MDD 1109020385, 5 edges, 4 vertices, 3 tuples
10.17/4.33	c 05:23:26.674 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4265. 'extension(3, x[5][6]=[0‥3]) :: init: true :: relation: MDD 1109020385, 5 edges, 4 vertices, 3 tuples
10.17/4.33	c 05:23:26.676 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4293. 'extension(x[3][10]=[0‥3], 3) :: init: true :: relation: MDD 834842620, 5 edges, 4 vertices, 3 tuples
10.17/4.33	c 05:23:26.677 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4294. 'extension(3, x[5][10]=[0‥3]) :: init: true :: relation: MDD 834842620, 5 edges, 4 vertices, 3 tuples
10.17/4.33	c 05:23:26.680 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4323. 'extension(x[3][11]=[0‥3], 3) :: init: true :: relation: MDD 1490434838, 5 edges, 4 vertices, 3 tuples
10.17/4.33	c 05:23:26.681 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4324. 'extension(3, x[5][11]=[0‥3]) :: init: true :: relation: MDD 1490434838, 5 edges, 4 vertices, 3 tuples
10.17/4.34	c 05:23:26.685 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4353. 'extension(3, wk[1][0]=[0‥1]) :: init: true :: relation: MDD 1459035867, 4 edges, 3 vertices, 3 tuples
10.17/4.34	c 05:23:26.685 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4354. 'extension(x[5][1]=[0‥3], 3) :: init: true :: relation: MDD 2075899560, 5 edges, 4 vertices, 3 tuples
10.17/4.34	c 05:23:26.686 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4355. 'extension(3, x[7][1]=[0‥3]) :: init: true :: relation: MDD 2075899560, 5 edges, 4 vertices, 3 tuples
10.17/4.34	c 05:23:26.689 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4384. 'extension(3, wk[8][0]=[0‥1]) :: init: true :: relation: MDD 2091586824, 4 edges, 3 vertices, 3 tuples
10.17/4.34	c 05:23:26.690 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4385. 'extension(x[5][8]=[0‥3], 3) :: init: true :: relation: MDD 496425074, 5 edges, 4 vertices, 3 tuples
10.17/4.34	c 05:23:26.690 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4386. 'extension(3, x[7][8]=[0‥3]) :: init: true :: relation: MDD 496425074, 5 edges, 4 vertices, 3 tuples
10.17/4.35	c 05:23:26.693 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4415. 'extension(3, wk[16][0]=[0‥1]) :: init: true :: relation: MDD 30563356, 4 edges, 3 vertices, 3 tuples
10.17/4.35	c 05:23:26.693 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4416. 'extension(x[5][16]=[0‥3], 3) :: init: true :: relation: MDD 131301148, 5 edges, 4 vertices, 3 tuples
10.17/4.35	c 05:23:26.694 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4417. 'extension(3, x[7][16]=[0‥3]) :: init: true :: relation: MDD 131301148, 5 edges, 4 vertices, 3 tuples
10.17/4.35	c 05:23:26.697 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4445. 'extension(x[7][13]=[0‥3], 3) :: init: true :: relation: MDD 593573025, 5 edges, 4 vertices, 3 tuples
10.17/4.35	c 05:23:26.698 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4446. 'extension(3, x[9][13]=[0‥3]) :: init: true :: relation: MDD 593573025, 5 edges, 4 vertices, 3 tuples
10.17/4.35	c 05:23:26.701 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4476. 'extension(x[7][18]=[0‥3], 3) :: init: true :: relation: MDD 1318209130, 5 edges, 4 vertices, 3 tuples
10.17/4.35	c 05:23:26.701 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4477. 'extension(3, x[9][18]=[0‥3]) :: init: true :: relation: MDD 1318209130, 5 edges, 4 vertices, 3 tuples
10.17/4.36	c 05:23:26.704 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4505. 'extension(x[10][19]=[0‥3], 3) :: init: true :: relation: MDD 455726379, 5 edges, 4 vertices, 3 tuples
10.17/4.36	c 05:23:26.705 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4506. 'extension(3, x[12][19]=[0‥3]) :: init: true :: relation: MDD 455726379, 5 edges, 4 vertices, 3 tuples
10.17/4.36	c 05:23:26.707 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4531. 'extension(3, wk[7][1]=[0‥1]) :: init: true :: relation: MDD 161672347, 4 edges, 3 vertices, 3 tuples
10.17/4.36	c 05:23:26.708 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4532. 'extension(x[11][7]=[0‥3], 3) :: init: true :: relation: MDD 246014273, 5 edges, 4 vertices, 3 tuples
10.17/4.36	c 05:23:26.708 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4533. 'extension(3, x[13][7]=[0‥3]) :: init: true :: relation: MDD 246014273, 5 edges, 4 vertices, 3 tuples
10.17/4.38	c 05:23:26.725 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4708. 'extension(x[1][0]=[0‥3]) :: init: true :: relation: Empty MDD
10.17/4.38	c 05:23:26.726 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4710. 'extension(x[1][0]=[0‥3]) :: init: true :: relation: Empty MDD
10.17/4.38	c 05:23:26.726 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4716. 'extension(x[1][3]=[0‥3]) :: init: true :: relation: Empty MDD
10.17/4.38	c 05:23:26.726 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4718. 'extension(x[1][3]=[0‥3]) :: init: true :: relation: Empty MDD
10.17/4.38	c 05:23:26.727 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4724. 'extension(x[1][5]=[0‥3]) :: init: true :: relation: Empty MDD
10.17/4.38	c 05:23:26.727 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4726. 'extension(x[1][5]=[0‥3]) :: init: true :: relation: Empty MDD
10.17/4.38	c 05:23:26.728 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4732. 'extension(x[0][2]=[0‥3]) :: init: true :: relation: Empty MDD
10.17/4.38	c 05:23:26.728 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4734. 'extension(x[2][2]=[0‥3]) :: init: true :: relation: Empty MDD
10.17/4.38	c 05:23:26.729 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4746. 'extension(x[0][12]=[0‥3]) :: init: true :: relation: Empty MDD
10.17/4.38	c 05:23:26.729 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4748. 'extension(x[2][12]=[0‥3]) :: init: true :: relation: Empty MDD
10.17/4.38	c 05:23:26.730 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4760. 'extension(x[0][17]=[0‥3]) :: init: true :: relation: Empty MDD
10.17/4.38	c 05:23:26.730 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4762. 'extension(x[2][17]=[0‥3]) :: init: true :: relation: Empty MDD
10.17/4.38	c 05:23:26.731 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4772. 'extension(x[1][9]=[0‥3]) :: init: true :: relation: Empty MDD
10.17/4.38	c 05:23:26.731 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4774. 'extension(x[3][9]=[0‥3]) :: init: true :: relation: Empty MDD
10.17/4.39	c 05:23:26.732 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4788. 'extension(x[1][15]=[0‥3]) :: init: true :: relation: Empty MDD
10.17/4.39	c 05:23:26.732 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4790. 'extension(x[3][15]=[0‥3]) :: init: true :: relation: Empty MDD
10.17/4.39	c 05:23:26.733 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4802. 'extension(x[2][4]=[0‥3]) :: init: true :: relation: Empty MDD
10.17/4.39	c 05:23:26.733 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4804. 'extension(x[4][4]=[0‥3]) :: init: true :: relation: Empty MDD
10.17/4.39	c 05:23:26.734 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4818. 'extension(x[2][14]=[0‥3]) :: init: true :: relation: Empty MDD
10.17/4.39	c 05:23:26.734 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4820. 'extension(x[4][14]=[0‥3]) :: init: true :: relation: Empty MDD
10.17/4.39	c 05:23:26.736 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4836. 'extension(x[3][6]=[0‥3]) :: init: true :: relation: Empty MDD
10.17/4.39	c 05:23:26.736 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4838. 'extension(x[5][6]=[0‥3]) :: init: true :: relation: Empty MDD
10.17/4.39	c 05:23:26.737 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4852. 'extension(x[3][10]=[0‥3]) :: init: true :: relation: Empty MDD
10.17/4.39	c 05:23:26.737 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4854. 'extension(x[5][10]=[0‥3]) :: init: true :: relation: Empty MDD
10.17/4.39	c 05:23:26.738 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4870. 'extension(x[3][11]=[0‥3]) :: init: true :: relation: Empty MDD
10.17/4.39	c 05:23:26.738 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4872. 'extension(x[5][11]=[0‥3]) :: init: true :: relation: Empty MDD
10.17/4.39	c 05:23:26.739 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4888. 'extension(wk[1][0]=[0‥1]) :: init: true :: relation: Empty MDD
10.17/4.39	c 05:23:26.739 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4890. 'extension(x[5][1]=[0‥3]) :: init: true :: relation: Empty MDD
10.17/4.39	c 05:23:26.740 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4892. 'extension(x[7][1]=[0‥3]) :: init: true :: relation: Empty MDD
10.49/4.40	c 05:23:26.741 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4906. 'extension(wk[8][0]=[0‥1]) :: init: true :: relation: Empty MDD
10.49/4.40	c 05:23:26.741 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4908. 'extension(x[5][8]=[0‥3]) :: init: true :: relation: Empty MDD
10.49/4.40	c 05:23:26.741 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4910. 'extension(x[7][8]=[0‥3]) :: init: true :: relation: Empty MDD
10.49/4.40	c 05:23:26.742 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4924. 'extension(wk[16][0]=[0‥1]) :: init: true :: relation: Empty MDD
10.49/4.40	c 05:23:26.742 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4926. 'extension(x[5][16]=[0‥3]) :: init: true :: relation: Empty MDD
10.49/4.40	c 05:23:26.742 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4928. 'extension(x[7][16]=[0‥3]) :: init: true :: relation: Empty MDD
10.49/4.40	c 05:23:26.743 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4940. 'extension(x[7][13]=[0‥3]) :: init: true :: relation: Empty MDD
10.49/4.40	c 05:23:26.743 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4942. 'extension(x[9][13]=[0‥3]) :: init: true :: relation: Empty MDD
10.49/4.40	c 05:23:26.744 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4958. 'extension(x[7][18]=[0‥3]) :: init: true :: relation: Empty MDD
10.49/4.40	c 05:23:26.745 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4960. 'extension(x[9][18]=[0‥3]) :: init: true :: relation: Empty MDD
10.49/4.40	c 05:23:26.745 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4972. 'extension(x[10][19]=[0‥3]) :: init: true :: relation: Empty MDD
10.49/4.40	c 05:23:26.746 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4974. 'extension(x[12][19]=[0‥3]) :: init: true :: relation: Empty MDD
10.49/4.40	c 05:23:26.746 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4986. 'extension(wk[7][1]=[0‥1]) :: init: true :: relation: Empty MDD
10.49/4.40	c 05:23:26.747 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4988. 'extension(x[11][7]=[0‥3]) :: init: true :: relation: Empty MDD
10.49/4.40	c 05:23:26.747 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4990. 'extension(x[13][7]=[0‥3]) :: init: true :: relation: Empty MDD
18.39/6.94	o 3530
21.02/7.90	o 3439
21.02/7.92	o 3438
22.62/9.11	o 3341
23.11/9.30	o 3241
24.83/10.65	o 3144
24.83/10.66	o 3143
24.83/10.67	o 3142
25.34/11.04	o 3141
25.49/11.17	o 3041
26.23/11.79	o 2952
26.23/11.80	o 2950
26.40/11.81	o 2949
26.40/11.81	o 2948
26.52/11.93	o 2947
27.88/13.16	o 2855
27.88/13.17	o 2854
27.88/13.18	o 2852
27.99/13.20	o 2752
27.99/13.21	o 2652
30.93/15.82	o 2651
30.93/15.82	o 2650
30.93/15.83	o 2649
30.93/15.84	o 2648
30.93/15.85	o 2647
30.93/15.86	o 2548
30.93/15.86	o 2547
30.93/15.88	o 2447
30.93/15.89	o 2446
31.05/15.99	o 2445
31.05/16.00	o 2346
31.26/16.18	o 2246
31.26/16.19	o 2245
46.74/30.33	o 2147
46.74/30.33	o 2146
46.74/30.38	o 2145
77.53/60.33	o 2049
77.53/60.34	o 2048
80.29/63.04	o 1949
106.00/88.13	o 1948
106.00/88.16	o 1947
233.42/212.15	o 1946
234.63/213.35	o 1945
234.63/213.36	o 1944
247.35/225.79	o 1844
262.17/240.24	o 1843
719.67/686.11	o 1842
1817.50/1764.92	o 1745
2520.06/2455.30	Exception in thread "main" java.util.concurrent.TimeoutException
2520.06/2455.30		at concrete.MAC.mac(MAC.scala:188)
2520.06/2455.30		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.06/2455.30		at scala.util.Try$.apply(Try.scala:209)
2520.06/2455.30		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.06/2455.30		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.06/2455.30		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.06/2455.30		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.06/2455.30		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.06/2455.30		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.06/2455.30		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.06/2455.30		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.06/2455.30		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.06/2455.30		at concrete.MAC.oneRun(MAC.scala:253)
2520.06/2455.30		at concrete.MAC.nextSolution(MAC.scala:272)
2520.06/2455.30		at concrete.MAC.nextSolution(MAC.scala:355)
2520.06/2455.30		at concrete.Solver.hasNext(Solver.scala:166)
2520.06/2455.30		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.06/2455.30		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.06/2455.30		at concrete.Solver.foreach(Solver.scala:68)
2520.06/2455.30		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.06/2455.30		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.06/2455.30		at scala.util.Success.map(Try.scala:209)
2520.06/2455.30		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.06/2455.30		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.06/2455.30		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.06/2455.30		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.06/2455.30		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.06/2455.30		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.06/2455.30		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.06/2455.30		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.06/2455.30		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.06/2455.30		at scala.collection.immutable.List.foreach(List.scala:389)
2520.06/2455.31		at scala.App.main(App.scala:76)
2520.06/2455.31		at scala.App.main$(App.scala:74)
2520.06/2455.31		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.06/2455.31		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.06/2455.31	v <instantiation cost="1745">
2520.06/2455.31	v       <list>
2520.06/2455.31	v         x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] ps[0][0] ps[0][1] ps[0][2] ps[0][3] ps[1][0] ps[1][1] ps[1][2] ps[1][3] ps[2][0] ps[2][1] ps[2][2] ps[2][3] ps[3][0] ps[3][1] ps[3][2] ps[3][3] ps[4][0] ps[4][1] ps[4][2] ps[4][3] ps[5][0] ps[5][1] ps[5][2] ps[5][3] ps[6][0] ps[6][1] ps[6][2] ps[6][3] ps[7][0] ps[7][1] ps[7][2] ps[7][3] ps[8][0] ps[8][1] ps[8][2] ps[8][3] ps[9][0] ps[9][1] ps[9][2] ps[9][3] ps[10][0] ps[10][1] ps[10][2] ps[10][3] ps[11][0] ps[11][1] ps[11][2] ps[11][3] ps[12][0] ps[12][1] ps[12][2] ps[12][3] ps[13][0] ps[13][1] ps[13][2] ps[13][3] ps[14][0] ps[14][1] ps[14][2] ps[14][3] ps[15][0] ps[15][1] ps[15][2] ps[15][3] ps[16][0] ps[16][1] ps[16][2] ps[16][3] ps[17][0] ps[17][1] ps[17][2] ps[17][3] ps[18][0] ps[18][1] ps[18][2] ps[18][3] ps[19][0] ps[19][1] ps[19][2] ps[19][3] ds[0][0] ds[0][1] ds[0][2] ds[0][3] ds[1][0] ds[1][1] ds[1][2] ds[1][3] ds[2][0] ds[2][1] ds[2][2] ds[2][3] ds[3][0] ds[3][1] ds[3][2] ds[3][3] ds[4][0] ds[4][1] ds[4][2] ds[4][3] ds[5][0] ds[5][1] ds[5][2] ds[5][3] ds[6][0] ds[6][1] ds[6][2] ds[6][3] ds[7][0] ds[7][1] ds[7][2] ds[7][3] ds[8][0] ds[8][1] ds[8][2] ds[8][3] ds[9][0] ds[9][1] ds[9][2] ds[9][3] ds[10][0] ds[10][1] ds[10][2] ds[10][3] ds[11][0] ds[11][1] ds[11][2] ds[11][3] ds[12][0] ds[12][1] ds[12][2] ds[12][3] ds[13][0] ds[13][1] ds[13][2] ds[13][3] wk[0][0] wk[0][1] wk[1][0] wk[1][1] wk[2][0] wk[2][1] wk[3][0] wk[3][1] wk[4][0] wk[4][1] wk[5][0] wk[5][1] wk[6][0] wk[6][1] wk[7][0] wk[7][1] wk[8][0] wk[8][1] wk[9][0] wk[9][1] wk[10][0] wk[10][1] wk[11][0] wk[11][1] wk[12][0] wk[12][1] wk[13][0] wk[13][1] wk[14][0] wk[14][1] wk[15][0] wk[15][1] wk[16][0] wk[16][1] wk[17][0] wk[17][1] wk[18][0] wk[18][1] wk[19][0] wk[19][1] cn[0] cn[1] cn[2] cn[3] cn[4] cn[5] cn[6] cn[7] cn[8] cn[9] cn[10] cn[11] cn[12] cn[13] cn[14] cn[15] cn[16] cn[17] cn[18] cn[19] cn[20] cn[21] cn[22] cn[23] cn[24] cn[25] cn[26] cn[27] cn[28] cn[29] cn[30] cn[31] cn[32] cn[33] cn[34] cn[35] cn[36] cn[37] cn[38] cf[0] cf[1] cf[2] cf[3] cf[4] cf[5] cf[6] cf[7] cf[8] cf[9] cf[10] cf[11] cf[12] cf[13] cf[14] cf[15] cf[16] cf[17] cf[18] cf[19] cf[20] cf[21] cf[22] cf[23] cf[24] cc[0][0] cc[0][1] cc[0][2] cc[0][3] cc[1][0] cc[1][1] cc[1][2] cc[1][3] cc[2][0] cc[2][1] cc[2][2] cc[2][3] cc[3][0] cc[3][1] cc[3][2] cc[3][3] cc[4][0] cc[4][1] cc[4][2] cc[4][3] cc[5][0] cc[5][1] cc[5][2] cc[5][3] cc[6][0] cc[6][1] cc[6][2] cc[6][3] cc[7][0] cc[7][1] cc[7][2] cc[7][3] cc[8][0] cc[8][1] cc[8][2] cc[8][3] cc[9][0] cc[9][1] cc[9][2] cc[9][3] cc[10][0] cc[10][1] cc[10][2] cc[10][3] cc[11][0] cc[11][1] cc[11][2] cc[11][3] cc[12][0] cc[12][1] cc[12][2] cc[12][3] cc[13][0] cc[13][1] cc[13][2] cc[13][3]
2520.06/2455.31	v       </list>
2520.06/2455.31	v       <values>
2520.06/2455.31	v         3 1 3 3 0 3 2 3 3 3 1 2 3 3 2 3 3 0 3 1 3 1 3 0 0 0 2 3 1 3 1 2 3 1 2 3 3 3 3 3 0 1 3 0 3 1 2 2 1 3 3 3 0 1 3 3 1 3 2 3 0 1 1 0 3 3 3 2 1 1 3 3 0 1 3 3 3 3 2 0 0 1 2 2 3 3 3 2 1 1 3 3 2 1 3 1 3 3 3 0 1 3 3 3 0 0 0 2 3 3 0 1 3 1 1 1 2 1 3 3 1 3 3 3 0 0 0 2 3 3 0 1 3 1 1 2 3 1 3 3 3 1 2 0 0 0 0 3 2 3 1 1 3 3 1 3 3 3 3 3 3 1 2 2 3 0 3 3 2 0 1 1 0 3 1 3 3 3 3 3 0 3 2 3 3 0 3 1 2 1 1 2 0 3 2 3 1 1 0 3 1 3 3 3 0 3 2 1 3 1 1 3 0 1 3 3 2 3 3 3 1 3 3 2 0 3 2 1 3 1 3 3 0 2 3 2 3 3 3 3 3 0 1 2 3 3 3 3 2 1 3 3 0 3 3 3 3 3 3 3 3 0 1 2 3 3 3 3 2 3 3 3 2 3 3 3 3 3 0 0 4 4 0 6 2 7 0 5 0 3 4 7 4 0 5 5 7 0 0 7 6 1 0 7 3 0 5 6 0 3 5 6 0 4 5 5 1 6 0 7 2 6 0 6 0 4 3 7 7 0 2 5 0 7 1 6 0 4 3 7 0 2 2 10 0 2 2 10 1 3 0 10 2 0 2 10 3 1 0 10 2 3 3 12 3 4 3 10 3 5 3 9 4 5 2 9 2 5 4 9 4 6 2 8 4 5 2 9 4 4 2 10 3 4 3 10 4 5 4 7 2 5 2 11 2 3 4 11 2 2 2 14 3 1 3 13 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 2 2 2 0 3 3 0 0 1 1 2 0 0 2 0 3 0 0 0 0 2 1 1 1 1 0 0 0 3 2 2 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 3 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 200 0 100 0 0 200 100 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 400 300 0 0 400 0 0
2520.06/2455.31	v       </values>
2520.06/2455.31	v     </instantiation>
2520.06/2455.31	s SATISFIABLE

Verifier Data

OK	1745

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 (4766 MiB free)
  memory of node 1: 16384 MiB (1375 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304175-1534044202/watcher-4304175-1534044202 -o /tmp/evaluation-result-4304175-1534044202/solver-4304175-1534044202 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1534040371-15154 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1595756881 HOME/instance-4304175-1534044202.xml 

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

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

solver pid=15792, runsolver pid=15789

[startup+0.100082 s]*
/proc/loadavg: 1.27 1.33 1.39 2/211 15849
/proc/meminfo: memFree=6281276/32770624 swapFree=67108860/67108860
[pid=15792] ppid=15789 vsize=10005480 memory=16808 CPUtime=0.08 cores=1,3,5,7
/proc/15792/stat : 15792 (java) S 15789 15792 13534 0 -1 1077944320 4346 13247 0 0 1 0 5 2 20 0 6 0 221983349 10245611520 4202 33554432000 4194304 4196468 140727268332832 140727268315376 139673092841207 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
/proc/15792/statm: 2501370 4202 1934 1 0 2489808 0
[pid=15792/tid=15845] ppid=15789 vsize=10005480 memory=5852835220496416925 CPUtime=0.07 cores=1,3,5,7
/proc/15792/task/15845/stat : 15845 (java) R 15789 15792 13534 0 -1 4202560 2159 13247 0 0 0 0 5 2 20 0 6 0 221983358 10245611520 4202 33554432000 4194304 4196468 140727268332832 139673064677968 139673076921694 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15846] ppid=15789 vsize=10005480 memory=5793855809163319737 CPUtime=0.07 cores=1,3,5,7
/proc/15792/task/15846/stat : 15846 (java) S 15789 15792 13534 0 -1 1077944384 1 13247 0 0 0 0 5 2 20 0 6 0 221983359 10245611520 4202 33554432000 4194304 4196468 140727268332832 139673097084048 139673092851413 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15847] ppid=15789 vsize=10005480 memory=140558153426560 CPUtime=0.07 cores=1,3,5,7
/proc/15792/task/15847/stat : 15847 (java) S 15789 15792 13534 0 -1 1077944384 1 13247 0 0 0 0 5 2 20 0 6 0 221983359 10245611520 4202 33554432000 4194304 4196468 140727268332832 139672951802896 139673092851413 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15848] ppid=15789 vsize=10005480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15792/task/15848/stat : 15848 (java) S 15789 15792 13534 0 -1 1077944384 1 13247 0 0 0 0 5 2 20 0 6 0 221983359 10245611520 4202 33554432000 4194304 4196468 140727268332832 139672950750096 139673092851413 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15849] ppid=15789 vsize=10005480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15792/task/15849/stat : 15849 (java) S 15789 15792 13534 0 -1 1077944384 2 13247 0 0 0 0 5 2 20 0 6 0 221983359 10245611520 4202 33554432000 4194304 4196468 140727268332832 139672949697296 139673092851413 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16808 KiB

[startup+0.210247 s]*
/proc/loadavg: 1.27 1.33 1.39 4/220 15858
/proc/meminfo: memFree=6259764/32770624 swapFree=67108860/67108860
[pid=15792] ppid=15789 vsize=10982744 memory=44976 CPUtime=0.25 cores=1,3,5,7
/proc/15792/stat : 15792 (java) S 15789 15792 13534 0 -1 1077944320 7963 13247 0 0 16 2 5 2 20 0 15 0 221983349 11246329856 11244 33554432000 4194304 4196468 140727268332832 140727268315376 139673092841207 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
/proc/15792/statm: 2745686 11244 2956 1 0 2708109 0
[pid=15792/tid=15845] ppid=15789 vsize=10982744 memory=-8540663193526752614 CPUtime=0.19 cores=1,3,5,7
/proc/15792/task/15845/stat : 15845 (java) R 15789 15792 13534 0 -1 4202560 4565 13247 0 0 11 1 5 2 20 0 15 0 221983358 11246329856 11310 33554432000 4194304 4196468 140727268332832 139673064647560 139673073117035 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15846] ppid=15789 vsize=10982744 memory=4211974284358217098 CPUtime=0.07 cores=1,3,5,7
/proc/15792/task/15846/stat : 15846 (java) S 15789 15792 13534 0 -1 1077944384 1 13247 0 0 0 0 5 2 20 0 15 0 221983359 11246329856 11310 33554432000 4194304 4196468 140727268332832 139673097084048 139673092851413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15847] ppid=15789 vsize=10982744 memory=140558153426560 CPUtime=0.07 cores=1,3,5,7
/proc/15792/task/15847/stat : 15847 (java) S 15789 15792 13534 0 -1 1077944384 1 13247 0 0 0 0 5 2 20 0 15 0 221983359 11246329856 11310 33554432000 4194304 4196468 140727268332832 139672951802896 139673092851413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15848] ppid=15789 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15792/task/15848/stat : 15848 (java) S 15789 15792 13534 0 -1 1077944384 1 13247 0 0 0 0 5 2 20 0 15 0 221983359 11246329856 11310 33554432000 4194304 4196468 140727268332832 139672950750096 139673092851413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15849] ppid=15789 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15792/task/15849/stat : 15849 (java) S 15789 15792 13534 0 -1 1077944384 2 13247 0 0 0 0 5 2 20 0 15 0 221983359 11246329856 11310 33554432000 4194304 4196468 140727268332832 139672949697296 139673092851413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15850] ppid=15789 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15792/task/15850/stat : 15850 (java) S 15789 15792 13534 0 -1 1077944384 2 13247 0 0 0 0 5 2 20 0 15 0 221983360 11246329856 11310 33554432000 4194304 4196468 140727268332832 139672060655984 139673092852354 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15851] ppid=15789 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/15792/task/15851/stat : 15851 (java) S 15789 15792 13534 0 -1 1077944384 13 13247 0 0 0 0 5 2 20 0 15 0 221983361 11246329856 11310 33554432000 4194304 4196468 140727268332832 139671933805600 139673092851413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15852] ppid=15789 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15792/task/15852/stat : 15852 (java) S 15789 15792 13534 0 -1 1077944384 1 13247 0 0 0 0 5 2 20 0 15 0 221983361 11246329856 11310 33554432000 4194304 4196468 140727268332832 139671732478832 139673092851413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15853] ppid=15789 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15792/task/15853/stat : 15853 (java) S 15789 15792 13534 0 -1 1077944384 3 13247 0 0 0 0 5 2 20 0 15 0 221983364 11246329856 11310 33554432000 4194304 4196468 140727268332832 139671425079120 139673092859803 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15854] ppid=15789 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15792/task/15854/stat : 15854 (java) S 15789 15792 13534 0 -1 1077944384 417 13247 0 0 1 0 5 2 20 0 15 0 221983364 11246329856 11310 33554432000 4194304 4196468 140727268332832 139672059603824 139673092852354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15855] ppid=15789 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15792/task/15855/stat : 15855 (java) S 15789 15792 13534 0 -1 1077944384 192 13247 0 0 1 0 5 2 20 0 15 0 221983364 11246329856 11310 33554432000 4194304 4196468 140727268332832 139672058551024 139673092852354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15856] ppid=15789 vsize=10982744 memory=140558153426560 CPUtime=0.1 cores=1,3,5,7
/proc/15792/task/15856/stat : 15856 (java) S 15789 15792 13534 0 -1 1077944384 610 13247 0 0 3 0 5 2 20 0 15 0 221983364 11246329856 11310 33554432000 4194304 4196468 140727268332832 139672057498224 139673092852354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15857] ppid=15789 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/15792/task/15857/stat : 15857 (java) S 15789 15792 13534 0 -1 1077944384 3 13247 0 0 0 0 5 2 20 0 15 0 221983364 11246329856 11310 33554432000 4194304 4196468 140727268332832 139670994283232 139673092851413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15858] ppid=15789 vsize=10982744 memory=140558153426560 CPUtime=0.07 cores=1,3,5,7
/proc/15792/task/15858/stat : 15858 (java) S 15789 15792 13534 0 -1 1077944384 1 13247 0 0 0 0 5 2 20 0 15 0 221983364 11246329856 11310 33554432000 4194304 4196468 140727268332832 139672056445616 139673092852354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 44976 KiB

[startup+0.31067 s]*
/proc/loadavg: 1.27 1.33 1.39 3/220 15858
/proc/meminfo: memFree=6247608/32770624 swapFree=67108860/67108860
[pid=15792] ppid=15789 vsize=10983192 memory=55960 CPUtime=0.37 cores=1,3,5,7
/proc/15792/stat : 15792 (java) S 15789 15792 13534 0 -1 1077944320 10561 13247 0 0 28 2 5 2 20 0 15 0 221983349 11246788608 13990 33554432000 4194304 4196468 140727268332832 140727268315376 139673092841207 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
/proc/15792/statm: 2745798 13990 3075 1 0 2708109 0
[pid=15792/tid=15845] ppid=15789 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/15792/task/15845/stat : 15845 (java) R 15789 15792 13534 0 -1 4202560 7113 13247 0 0 20 1 5 2 20 0 15 0 221983358 11246788608 13990 33554432000 4194304 4196468 140727268332832 139673064653216 139673092863133 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15846] ppid=15789 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15792/task/15846/stat : 15846 (java) S 15789 15792 13534 0 -1 1077944384 1 13247 0 0 0 0 5 2 20 0 15 0 221983359 11246788608 13990 33554432000 4194304 4196468 140727268332832 139673097084048 139673092851413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15847] ppid=15789 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15792/task/15847/stat : 15847 (java) S 15789 15792 13534 0 -1 1077944384 1 13247 0 0 0 0 5 2 20 0 15 0 221983359 11246788608 13990 33554432000 4194304 4196468 140727268332832 139672951802896 139673092851413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15848] ppid=15789 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15792/task/15848/stat : 15848 (java) S 15789 15792 13534 0 -1 1077944384 1 13247 0 0 0 0 5 2 20 0 15 0 221983359 11246788608 13990 33554432000 4194304 4196468 140727268332832 139672950750096 139673092851413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15849] ppid=15789 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/15792/task/15849/stat : 15849 (java) S 15789 15792 13534 0 -1 1077944384 2 13247 0 0 0 0 5 2 20 0 15 0 221983359 11246788608 13990 33554432000 4194304 4196468 140727268332832 139672949697296 139673092851413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15850] ppid=15789 vsize=10983192 memory=140558153426559 CPUtime=0.07 cores=1,3,5,7
/proc/15792/task/15850/stat : 15850 (java) S 15789 15792 13534 0 -1 1077944384 2 13247 0 0 0 0 5 2 20 0 15 0 221983360 11246788608 13990 33554432000 4194304 4196468 140727268332832 139672060655984 139673092852354 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15851] ppid=15789 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/15792/task/15851/stat : 15851 (java) S 15789 15792 13534 0 -1 1077944384 13 13247 0 0 0 0 5 2 20 0 15 0 221983361 11246788608 13990 33554432000 4194304 4196468 140727268332832 139671933805600 139673092851413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15852] ppid=15789 vsize=10983192 memory=140558153426560 CPUtime=0.07 cores=1,3,5,7
/proc/15792/task/15852/stat : 15852 (java) S 15789 15792 13534 0 -1 1077944384 1 13247 0 0 0 0 5 2 20 0 15 0 221983361 11246788608 13990 33554432000 4194304 4196468 140727268332832 139671732478832 139673092851413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15853] ppid=15789 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/15792/task/15853/stat : 15853 (java) S 15789 15792 13534 0 -1 1077944384 3 13247 0 0 0 0 5 2 20 0 15 0 221983364 11246788608 13990 33554432000 4194304 4196468 140727268332832 139671425079120 139673092859803 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15854] ppid=15789 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15792/task/15854/stat : 15854 (java) S 15789 15792 13534 0 -1 1077944384 423 13247 0 0 1 0 5 2 20 0 15 0 221983364 11246788608 13990 33554432000 4194304 4196468 140727268332832 139672059603824 139673092852354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15855] ppid=15789 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15792/task/15855/stat : 15855 (java) S 15789 15792 13534 0 -1 1077944384 192 13247 0 0 1 0 5 2 20 0 15 0 221983364 11246788608 13990 33554432000 4194304 4196468 140727268332832 139672058551024 139673092852354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15856] ppid=15789 vsize=10983192 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/15792/task/15856/stat : 15856 (java) R 15789 15792 13534 0 -1 4202560 616 13247 0 0 4 0 5 2 20 0 15 0 221983364 11246788608 13990 33554432000 4194304 4196468 140727268332832 139672057498224 139673071466448 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15857] ppid=15789 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15792/task/15857/stat : 15857 (java) S 15789 15792 13534 0 -1 1077944384 3 13247 0 0 0 0 5 2 20 0 15 0 221983364 11246788608 13990 33554432000 4194304 4196468 140727268332832 139670994283232 139673092851413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15858] ppid=15789 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15792/task/15858/stat : 15858 (java) S 15789 15792 13534 0 -1 1077944384 1 13247 0 0 0 0 5 2 20 0 15 0 221983364 11246788608 13990 33554432000 4194304 4196468 140727268332832 139672056445616 139673092852354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55960 KiB

[startup+0.700803 s]
/proc/loadavg: 1.25 1.33 1.39 3/220 15858
/proc/meminfo: memFree=6236808/32770624 swapFree=67108860/67108860
[pid=15792] ppid=15789 vsize=10983192 memory=88480 CPUtime=0.99 cores=1,3,5,7
/proc/15792/stat : 15792 (java) S 15789 15792 13534 0 -1 1077944320 16747 13247 0 0 88 4 5 2 20 0 15 0 221983349 11246788608 22120 33554432000 4194304 4196468 140727268332832 140727268315376 139673092841207 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
/proc/15792/statm: 2745798 22120 3238 1 0 2708109 0
[pid=15792/tid=15845] ppid=15789 vsize=10983192 memory=60388 CPUtime=0.65 cores=1,3,5,7
/proc/15792/task/15845/stat : 15845 (java) R 15789 15792 13534 0 -1 4202560 12217 13247 0 0 56 2 5 2 20 0 15 0 221983358 11246788608 22120 33554432000 4194304 4196468 140727268332832 139673064662032 139673074214757 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15846] ppid=15789 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15792/task/15846/stat : 15846 (java) S 15789 15792 13534 0 -1 1077944384 1 13247 0 0 0 0 5 2 20 0 15 0 221983359 11246788608 22120 33554432000 4194304 4196468 140727268332832 139673097084048 139673092851413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15847] ppid=15789 vsize=10983192 memory=288230587427469581 CPUtime=0.07 cores=1,3,5,7
/proc/15792/task/15847/stat : 15847 (java) S 15789 15792 13534 0 -1 1077944384 1 13247 0 0 0 0 5 2 20 0 15 0 221983359 11246788608 22120 33554432000 4194304 4196468 140727268332832 139672951802896 139673092851413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15848] ppid=15789 vsize=10983192 memory=15816694631256675 CPUtime=0.07 cores=1,3,5,7
/proc/15792/task/15848/stat : 15848 (java) S 15789 15792 13534 0 -1 1077944384 1 13247 0 0 0 0 5 2 20 0 15 0 221983359 11246788608 22120 33554432000 4194304 4196468 140727268332832 139672950750096 139673092851413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15849] ppid=15789 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15792/task/15849/stat : 15849 (java) S 15789 15792 13534 0 -1 1077944384 2 13247 0 0 0 0 5 2 20 0 15 0 221983359 11246788608 22120 33554432000 4194304 4196468 140727268332832 139672949697296 139673092851413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15850] ppid=15789 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15792/task/15850/stat : 15850 (java) S 15789 15792 13534 0 -1 1077944384 5 13247 0 0 0 0 5 2 20 0 15 0 221983360 11246788608 22120 33554432000 4194304 4196468 140727268332832 139672060655984 139673092852354 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15851] ppid=15789 vsize=10983192 memory=140558039556704 CPUtime=0.07 cores=1,3,5,7
/proc/15792/task/15851/stat : 15851 (java) S 15789 15792 13534 0 -1 1077944384 13 13247 0 0 0 0 5 2 20 0 15 0 221983361 11246788608 22120 33554432000 4194304 4196468 140727268332832 139671933805600 139673092851413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15852] ppid=15789 vsize=10983192 memory=140561394697328 CPUtime=0.07 cores=1,3,5,7
/proc/15792/task/15852/stat : 15852 (java) S 15789 15792 13534 0 -1 1077944384 1 13247 0 0 0 0 5 2 20 0 15 0 221983361 11246788608 22120 33554432000 4194304 4196468 140727268332832 139671732478832 139673092851413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15853] ppid=15789 vsize=10983192 memory=2416 CPUtime=0.07 cores=1,3,5,7
/proc/15792/task/15853/stat : 15853 (java) S 15789 15792 13534 0 -1 1077944384 3 13247 0 0 0 0 5 2 20 0 15 0 221983364 11246788608 22120 33554432000 4194304 4196468 140727268332832 139671425079120 139673092859803 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15854] ppid=15789 vsize=10983192 memory=6153431502485414241 CPUtime=0.17 cores=1,3,5,7
/proc/15792/task/15854/stat : 15854 (java) S 15789 15792 13534 0 -1 1077944384 1040 13247 0 0 10 0 5 2 20 0 15 0 221983364 11246788608 22120 33554432000 4194304 4196468 140727268332832 139672059603824 139673092852354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15855] ppid=15789 vsize=10983192 memory=7881696724453321575 CPUtime=0.14 cores=1,3,5,7
/proc/15792/task/15855/stat : 15855 (java) S 15789 15792 13534 0 -1 1077944384 572 13247 0 0 7 0 5 2 20 0 15 0 221983364 11246788608 22120 33554432000 4194304 4196468 140727268332832 139672058551024 139673092852354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15856] ppid=15789 vsize=10983192 memory=7810487918915055718 CPUtime=0.2 cores=1,3,5,7
/proc/15792/task/15856/stat : 15856 (java) S 15789 15792 13534 0 -1 1077944384 698 13247 0 0 13 0 5 2 20 0 15 0 221983364 11246788608 22120 33554432000 4194304 4196468 140727268332832 139672057498224 139673092852354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15857] ppid=15789 vsize=10983192 memory=8514726395715218844 CPUtime=0.07 cores=1,3,5,7
/proc/15792/task/15857/stat : 15857 (java) S 15789 15792 13534 0 -1 1077944384 3 13247 0 0 0 0 5 2 20 0 15 0 221983364 11246788608 22120 33554432000 4194304 4196468 140727268332832 139670994283232 139673092851413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15858] ppid=15789 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15792/task/15858/stat : 15858 (java) S 15789 15792 13534 0 -1 1077944384 1 13247 0 0 0 0 5 2 20 0 15 0 221983364 11246788608 22120 33554432000 4194304 4196468 140727268332832 139672056445616 139673092852354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88480 KiB

[startup+1.50077 s]
/proc/loadavg: 1.25 1.33 1.39 3/220 15858
/proc/meminfo: memFree=6190476/32770624 swapFree=67108860/67108860
[pid=15792] ppid=15789 vsize=10998092 memory=191760 CPUtime=2.96 cores=1,3,5,7
/proc/15792/stat : 15792 (java) S 15789 15792 13534 0 -1 1077944320 27389 13247 0 0 279 10 5 2 20 0 15 0 221983349 11262046208 47940 33554432000 4194304 4196468 140727268332832 140727268315376 139673092841207 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
/proc/15792/statm: 2749523 47940 3471 1 0 2711181 0
[pid=15792/tid=15845] ppid=15789 vsize=10998092 memory=7378960404036215385 CPUtime=1.42 cores=1,3,5,7
/proc/15792/task/15845/stat : 15845 (java) R 15789 15792 13534 0 -1 4202560 17456 13247 0 0 130 5 5 2 20 0 15 0 221983358 11262046208 47940 33554432000 4194304 4196468 140727268332832 139673064658624 139673076921694 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15846] ppid=15789 vsize=10998092 memory=7957133031655959121 CPUtime=0.08 cores=1,3,5,7
/proc/15792/task/15846/stat : 15846 (java) S 15789 15792 13534 0 -1 1077944384 52 13247 0 0 1 0 5 2 20 0 15 0 221983359 11262046208 47940 33554432000 4194304 4196468 140727268332832 139673097084048 139673092851413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15847] ppid=15789 vsize=10998092 memory=7085692095958641003 CPUtime=0.08 cores=1,3,5,7
/proc/15792/task/15847/stat : 15847 (java) S 15789 15792 13534 0 -1 1077944384 17 13247 0 0 1 0 5 2 20 0 15 0 221983359 11262046208 47940 33554432000 4194304 4196468 140727268332832 139672951802896 139673092851413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15848] ppid=15789 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15792/task/15848/stat : 15848 (java) S 15789 15792 13534 0 -1 1077944384 167 13247 0 0 1 0 5 2 20 0 15 0 221983359 11262046208 47940 33554432000 4194304 4196468 140727268332832 139672950750096 139673092851413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15849] ppid=15789 vsize=10998092 memory=208633270957065 CPUtime=0.08 cores=1,3,5,7
/proc/15792/task/15849/stat : 15849 (java) S 15789 15792 13534 0 -1 1077944384 27 13247 0 0 1 0 5 2 20 0 15 0 221983359 11262046208 47940 33554432000 4194304 4196468 140727268332832 139672949697296 139673092851413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15850] ppid=15789 vsize=10998092 memory=1088950 CPUtime=0.08 cores=1,3,5,7
/proc/15792/task/15850/stat : 15850 (java) S 15789 15792 13534 0 -1 1077944384 118 13247 0 0 1 0 5 2 20 0 15 0 221983360 11262046208 47940 33554432000 4194304 4196468 140727268332832 139672060655984 139673092852354 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15851] ppid=15789 vsize=10998092 memory=4638778428397932880 CPUtime=0.07 cores=1,3,5,7
/proc/15792/task/15851/stat : 15851 (java) S 15789 15792 13534 0 -1 1077944384 13 13247 0 0 0 0 5 2 20 0 15 0 221983361 11262046208 47940 33554432000 4194304 4196468 140727268332832 139671933805600 139673092851413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15852] ppid=15789 vsize=10998092 memory=4639059873309409383 CPUtime=0.07 cores=1,3,5,7
/proc/15792/task/15852/stat : 15852 (java) S 15789 15792 13534 0 -1 1077944384 1 13247 0 0 0 0 5 2 20 0 15 0 221983361 11262046208 47940 33554432000 4194304 4196468 140727268332832 139671732478832 139673092851413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15853] ppid=15789 vsize=10998092 memory=281116078506224 CPUtime=0.07 cores=1,3,5,7
/proc/15792/task/15853/stat : 15853 (java) S 15789 15792 13534 0 -1 1077944384 3 13247 0 0 0 0 5 2 20 0 15 0 221983364 11262046208 47940 33554432000 4194304 4196468 140727268332832 139671425079120 139673092859803 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15854] ppid=15789 vsize=10998092 memory=4638778398333026400 CPUtime=0.54 cores=1,3,5,7
/proc/15792/task/15854/stat : 15854 (java) R 15789 15792 13534 0 -1 4202560 2636 13247 0 0 47 0 5 2 20 0 15 0 221983364 11262046208 47940 33554432000 4194304 4196468 140727268332832 139672059589920 139673072527845 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15855] ppid=15789 vsize=10998092 memory=-6367912339476996703 CPUtime=0.55 cores=1,3,5,7
/proc/15792/task/15855/stat : 15855 (java) R 15789 15792 13534 0 -1 4202560 2884 13247 0 0 48 0 5 2 20 0 15 0 221983364 11262046208 47940 33554432000 4194304 4196468 140727268332832 139672058537568 139673072689968 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15856] ppid=15789 vsize=10998092 memory=6656426216303648864 CPUtime=0.53 cores=1,3,5,7
/proc/15792/task/15856/stat : 15856 (java) S 15789 15792 13534 0 -1 1077944384 1826 13247 0 0 46 0 5 2 20 0 15 0 221983364 11262046208 47940 33554432000 4194304 4196468 140727268332832 139672057498224 139673092852354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15857] ppid=15789 vsize=10998092 memory=6944656592455360604 CPUtime=0.07 cores=1,3,5,7
/proc/15792/task/15857/stat : 15857 (java) S 15789 15792 13534 0 -1 1077944384 3 13247 0 0 0 0 5 2 20 0 15 0 221983364 11262046208 47940 33554432000 4194304 4196468 140727268332832 139670994283232 139673092851413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15858] ppid=15789 vsize=10998092 memory=6655300316396806240 CPUtime=0.07 cores=1,3,5,7
/proc/15792/task/15858/stat : 15858 (java) S 15789 15792 13534 0 -1 1077944384 1 13247 0 0 0 0 5 2 20 0 15 0 221983364 11262046208 47940 33554432000 4194304 4196468 140727268332832 139672056445616 139673092852354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
Current children cumulated CPU time: 2.96 s
Current children cumulated vsize: 10998092 KiB

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

/proc/15792/task/15845/stat : 15845 (java) R 15789 15792 13534 0 -1 4202560 104483 13247 0 0 235631 63 5 2 20 0 15 0 221983358 11348049920 287234 33554432000 4194304 4196468 140727268332832 139673064675904 139672645766857 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15846] ppid=15789 vsize=11082080 memory=1146888 CPUtime=13.23 cores=1,3,5,7
/proc/15792/task/15846/stat : 15846 (java) S 15789 15792 13534 0 -1 1077944384 20015 13247 0 0 1262 54 5 2 20 0 15 0 221983359 11348049920 287234 33554432000 4194304 4196468 140727268332832 139673097084048 139673092851413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15847] ppid=15789 vsize=11082080 memory=3560 CPUtime=13.24 cores=1,3,5,7
/proc/15792/task/15847/stat : 15847 (java) S 15789 15792 13534 0 -1 1077944384 15345 13247 0 0 1267 50 5 2 20 0 15 0 221983359 11348049920 287234 33554432000 4194304 4196468 140727268332832 139672951802896 139673092851413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15848] ppid=15789 vsize=11082080 memory=1146888 CPUtime=13.26 cores=1,3,5,7
/proc/15792/task/15848/stat : 15848 (java) S 15789 15792 13534 0 -1 1077944384 20773 13247 0 0 1266 53 5 2 20 0 15 0 221983359 11348049920 287234 33554432000 4194304 4196468 140727268332832 139672950750096 139673092851413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15849] ppid=15789 vsize=11082080 memory=1146888 CPUtime=13.25 cores=1,3,5,7
/proc/15792/task/15849/stat : 15849 (java) S 15789 15792 13534 0 -1 1077944384 15235 13247 0 0 1266 52 5 2 20 0 15 0 221983359 11348049920 287234 33554432000 4194304 4196468 140727268332832 139672949697296 139673092851413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15850] ppid=15789 vsize=11082080 memory=1146888 CPUtime=9.85 cores=1,3,5,7
/proc/15792/task/15850/stat : 15850 (java) S 15789 15792 13534 0 -1 1077944384 18426 13247 0 0 925 53 5 2 20 0 15 0 221983360 11348049920 287234 33554432000 4194304 4196468 140727268332832 139672060655984 139673092852354 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15851] ppid=15789 vsize=11082080 memory=1146888 CPUtime=0.07 cores=1,3,5,7
/proc/15792/task/15851/stat : 15851 (java) S 15789 15792 13534 0 -1 1077944384 13 13247 0 0 0 0 5 2 20 0 15 0 221983361 11348049920 287234 33554432000 4194304 4196468 140727268332832 139671933805664 139673092851413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15852] ppid=15789 vsize=11082080 memory=1146888 CPUtime=0.07 cores=1,3,5,7
/proc/15792/task/15852/stat : 15852 (java) S 15789 15792 13534 0 -1 1077944384 1 13247 0 0 0 0 5 2 20 0 15 0 221983361 11348049920 287234 33554432000 4194304 4196468 140727268332832 139671732478848 139673092851413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15853] ppid=15789 vsize=11082080 memory=3560 CPUtime=0.07 cores=1,3,5,7
/proc/15792/task/15853/stat : 15853 (java) S 15789 15792 13534 0 -1 1077944384 3 13247 0 0 0 0 5 2 20 0 15 0 221983364 11348049920 287234 33554432000 4194304 4196468 140727268332832 139671425079120 139673092859803 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15854] ppid=15789 vsize=11082080 memory=1146888 CPUtime=10.5 cores=1,3,5,7
/proc/15792/task/15854/stat : 15854 (java) S 15789 15792 13534 0 -1 1077944384 54656 13247 0 0 1035 8 5 2 20 0 15 0 221983364 11348049920 287234 33554432000 4194304 4196468 140727268332832 139672059603824 139673092852354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15855] ppid=15789 vsize=11082080 memory=1146888 CPUtime=10.04 cores=1,3,5,7
/proc/15792/task/15855/stat : 15855 (java) S 15789 15792 13534 0 -1 1077944384 44356 13247 0 0 990 7 5 2 20 0 15 0 221983364 11348049920 287234 33554432000 4194304 4196468 140727268332832 139672058551024 139673092852354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15856] ppid=15789 vsize=11082080 memory=1146888 CPUtime=4.53 cores=1,3,5,7
/proc/15792/task/15856/stat : 15856 (java) S 15789 15792 13534 0 -1 1077944384 53542 13247 0 0 438 8 5 2 20 0 15 0 221983364 11348049920 287234 33554432000 4194304 4196468 140727268332832 139672057498224 139673092852354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15857] ppid=15789 vsize=11082080 memory=8808 CPUtime=0.07 cores=1,3,5,7
/proc/15792/task/15857/stat : 15857 (java) S 15789 15792 13534 0 -1 1077944384 3 13247 0 0 0 0 5 2 20 0 15 0 221983364 11348049920 287234 33554432000 4194304 4196468 140727268332832 139670994283232 139673092851413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15858] ppid=15789 vsize=11082080 memory=2432 CPUtime=1.39 cores=1,3,5,7
/proc/15792/task/15858/stat : 15858 (java) S 15789 15792 13534 0 -1 1077944384 2963 13247 0 0 56 76 5 2 20 0 15 0 221983364 11348049920 287234 33554432000 4194304 4196468 140727268332832 139672056445616 139673092852354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
Current children cumulated CPU time: 2445.78 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1148936 KiB

[startup+2442.3 s]
/proc/loadavg: 1.53 1.45 1.44 3/220 16096
/proc/meminfo: memFree=4057184/32770624 swapFree=67108860/67108860
[pid=15792] ppid=15789 vsize=11082080 memory=1148936 CPUtime=2506.85 cores=1,3,5,7
/proc/15792/stat : 15792 (java) S 15789 15792 13534 0 -1 1077944320 352969 13247 0 0 250298 380 5 2 20 0 15 0 221983349 11348049920 287234 33554432000 4194304 4196468 140727268332832 140727268315376 139673092841207 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
/proc/15792/statm: 2770520 287234 3531 1 0 2732173 0
[pid=15792/tid=15845] ppid=15789 vsize=11082080 memory=1148936 CPUtime=2416.34 cores=1,3,5,7
/proc/15792/task/15845/stat : 15845 (java) R 15789 15792 13534 0 -1 4202560 105009 13247 0 0 241564 63 5 2 20 0 15 0 221983358 11348049920 287234 33554432000 4194304 4196468 140727268332832 139673064675792 139672636744711 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15846] ppid=15789 vsize=11082080 memory=1148936 CPUtime=13.59 cores=1,3,5,7
/proc/15792/task/15846/stat : 15846 (java) S 15789 15792 13534 0 -1 1077944384 20023 13247 0 0 1298 54 5 2 20 0 15 0 221983359 11348049920 287234 33554432000 4194304 4196468 140727268332832 139673097084048 139673092851413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15847] ppid=15789 vsize=11082080 memory=1148936 CPUtime=13.59 cores=1,3,5,7
/proc/15792/task/15847/stat : 15847 (java) S 15789 15792 13534 0 -1 1077944384 15381 13247 0 0 1302 50 5 2 20 0 15 0 221983359 11348049920 287234 33554432000 4194304 4196468 140727268332832 139672951802896 139673092851413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15848] ppid=15789 vsize=11082080 memory=1148936 CPUtime=13.62 cores=1,3,5,7
/proc/15792/task/15848/stat : 15848 (java) S 15789 15792 13534 0 -1 1077944384 20893 13247 0 0 1301 54 5 2 20 0 15 0 221983359 11348049920 287234 33554432000 4194304 4196468 140727268332832 139672950750096 139673092851413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15849] ppid=15789 vsize=11082080 memory=1148936 CPUtime=13.62 cores=1,3,5,7
/proc/15792/task/15849/stat : 15849 (java) S 15789 15792 13534 0 -1 1077944384 15296 13247 0 0 1301 54 5 2 20 0 15 0 221983359 11348049920 287234 33554432000 4194304 4196468 140727268332832 139672949697296 139673092851413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15850] ppid=15789 vsize=11082080 memory=1148936 CPUtime=10.1 cores=1,3,5,7
/proc/15792/task/15850/stat : 15850 (java) S 15789 15792 13534 0 -1 1077944384 18618 13247 0 0 949 54 5 2 20 0 15 0 221983360 11348049920 287234 33554432000 4194304 4196468 140727268332832 139672060655984 139673092852354 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15851] ppid=15789 vsize=11082080 memory=1148936 CPUtime=0.07 cores=1,3,5,7
/proc/15792/task/15851/stat : 15851 (java) S 15789 15792 13534 0 -1 1077944384 13 13247 0 0 0 0 5 2 20 0 15 0 221983361 11348049920 287234 33554432000 4194304 4196468 140727268332832 139671933805664 139673092851413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15852] ppid=15789 vsize=11082080 memory=1148936 CPUtime=0.07 cores=1,3,5,7
/proc/15792/task/15852/stat : 15852 (java) S 15789 15792 13534 0 -1 1077944384 1 13247 0 0 0 0 5 2 20 0 15 0 221983361 11348049920 287234 33554432000 4194304 4196468 140727268332832 139671732478848 139673092851413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15853] ppid=15789 vsize=11082080 memory=1148936 CPUtime=0.07 cores=1,3,5,7
/proc/15792/task/15853/stat : 15853 (java) S 15789 15792 13534 0 -1 1077944384 3 13247 0 0 0 0 5 2 20 0 15 0 221983364 11348049920 287234 33554432000 4194304 4196468 140727268332832 139671425079120 139673092859803 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15854] ppid=15789 vsize=11082080 memory=1148936 CPUtime=10.5 cores=1,3,5,7
/proc/15792/task/15854/stat : 15854 (java) S 15789 15792 13534 0 -1 1077944384 54658 13247 0 0 1035 8 5 2 20 0 15 0 221983364 11348049920 287234 33554432000 4194304 4196468 140727268332832 139672059603824 139673092852354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15855] ppid=15789 vsize=11082080 memory=1148936 CPUtime=10.04 cores=1,3,5,7
/proc/15792/task/15855/stat : 15855 (java) S 15789 15792 13534 0 -1 1077944384 44358 13247 0 0 990 7 5 2 20 0 15 0 221983364 11348049920 287234 33554432000 4194304 4196468 140727268332832 139672058551024 139673092852354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15856] ppid=15789 vsize=11082080 memory=1148936 CPUtime=4.53 cores=1,3,5,7
/proc/15792/task/15856/stat : 15856 (java) S 15789 15792 13534 0 -1 1077944384 53544 13247 0 0 438 8 5 2 20 0 15 0 221983364 11348049920 287234 33554432000 4194304 4196468 140727268332832 139672057498224 139673092852354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15857] ppid=15789 vsize=11082080 memory=1148936 CPUtime=0.07 cores=1,3,5,7
/proc/15792/task/15857/stat : 15857 (java) S 15789 15792 13534 0 -1 1077944384 3 13247 0 0 0 0 5 2 20 0 15 0 221983364 11348049920 287234 33554432000 4194304 4196468 140727268332832 139670994283232 139673092851413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15858] ppid=15789 vsize=11082080 memory=6791534058613427641 CPUtime=1.43 cores=1,3,5,7
/proc/15792/task/15858/stat : 15858 (java) S 15789 15792 13534 0 -1 1077944384 2980 13247 0 0 58 78 5 2 20 0 15 0 221983364 11348049920 287234 33554432000 4194304 4196468 140727268332832 139672056445616 139673092852354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
Current children cumulated CPU time: 2506.85 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1148936 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2455.3 s]
/proc/loadavg: 1.60 1.47 1.45 3/220 16096
/proc/meminfo: memFree=4057196/32770624 swapFree=67108860/67108860
[pid=15792] ppid=15789 vsize=11082080 memory=1148936 CPUtime=2520.06 cores=1,3,5,7
/proc/15792/stat : 15792 (java) S 15789 15792 13534 0 -1 1077944320 353324 13247 0 0 251618 381 5 2 20 0 15 0 221983349 11348049920 287234 33554432000 4194304 4196468 140727268332832 140727268315376 139673092841207 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
/proc/15792/statm: 2770520 287234 3531 1 0 2732173 0
[pid=15792/tid=15845] ppid=15789 vsize=11082080 memory=1148936 CPUtime=2429.22 cores=1,3,5,7
/proc/15792/task/15845/stat : 15845 (java) R 15789 15792 13534 0 -1 4202560 105188 13247 0 0 242852 63 5 2 20 0 15 0 221983358 11348049920 287234 33554432000 4194304 4196468 140727268332832 139673064676416 139672645594667 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15846] ppid=15789 vsize=11082080 memory=1148936 CPUtime=13.66 cores=1,3,5,7
/proc/15792/task/15846/stat : 15846 (java) S 15789 15792 13534 0 -1 1077944384 20061 13247 0 0 1305 54 5 2 20 0 15 0 221983359 11348049920 287234 33554432000 4194304 4196468 140727268332832 139673097084048 139673092851413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15847] ppid=15789 vsize=11082080 memory=1148936 CPUtime=13.66 cores=1,3,5,7
/proc/15792/task/15847/stat : 15847 (java) S 15789 15792 13534 0 -1 1077944384 15389 13247 0 0 1309 50 5 2 20 0 15 0 221983359 11348049920 287234 33554432000 4194304 4196468 140727268332832 139672951802896 139673092851413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15848] ppid=15789 vsize=11082080 memory=1148936 CPUtime=13.68 cores=1,3,5,7
/proc/15792/task/15848/stat : 15848 (java) S 15789 15792 13534 0 -1 1077944384 20916 13247 0 0 1307 54 5 2 20 0 15 0 221983359 11348049920 287234 33554432000 4194304 4196468 140727268332832 139672950750096 139673092851413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15849] ppid=15789 vsize=11082080 memory=1148936 CPUtime=13.69 cores=1,3,5,7
/proc/15792/task/15849/stat : 15849 (java) S 15789 15792 13534 0 -1 1077944384 15372 13247 0 0 1308 54 5 2 20 0 15 0 221983359 11348049920 287234 33554432000 4194304 4196468 140727268332832 139672949697296 139673092851413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15850] ppid=15789 vsize=11082080 memory=1148936 CPUtime=10.15 cores=1,3,5,7
/proc/15792/task/15850/stat : 15850 (java) S 15789 15792 13534 0 -1 1077944384 18641 13247 0 0 954 54 5 2 20 0 15 0 221983360 11348049920 287234 33554432000 4194304 4196468 140727268332832 139672060655984 139673092852354 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15851] ppid=15789 vsize=11082080 memory=1148936 CPUtime=0.07 cores=1,3,5,7
/proc/15792/task/15851/stat : 15851 (java) S 15789 15792 13534 0 -1 1077944384 13 13247 0 0 0 0 5 2 20 0 15 0 221983361 11348049920 287234 33554432000 4194304 4196468 140727268332832 139671933805664 139673092851413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15852] ppid=15789 vsize=11082080 memory=1148936 CPUtime=0.07 cores=1,3,5,7
/proc/15792/task/15852/stat : 15852 (java) S 15789 15792 13534 0 -1 1077944384 1 13247 0 0 0 0 5 2 20 0 15 0 221983361 11348049920 287234 33554432000 4194304 4196468 140727268332832 139671732478848 139673092851413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15853] ppid=15789 vsize=11082080 memory=1148936 CPUtime=0.07 cores=1,3,5,7
/proc/15792/task/15853/stat : 15853 (java) S 15789 15792 13534 0 -1 1077944384 3 13247 0 0 0 0 5 2 20 0 15 0 221983364 11348049920 287234 33554432000 4194304 4196468 140727268332832 139671425079120 139673092859803 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15854] ppid=15789 vsize=11082080 memory=1148936 CPUtime=10.5 cores=1,3,5,7
/proc/15792/task/15854/stat : 15854 (java) S 15789 15792 13534 0 -1 1077944384 54660 13247 0 0 1035 8 5 2 20 0 15 0 221983364 11348049920 287234 33554432000 4194304 4196468 140727268332832 139672059603824 139673092852354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15855] ppid=15789 vsize=11082080 memory=1148936 CPUtime=10.04 cores=1,3,5,7
/proc/15792/task/15855/stat : 15855 (java) S 15789 15792 13534 0 -1 1077944384 44360 13247 0 0 990 7 5 2 20 0 15 0 221983364 11348049920 287234 33554432000 4194304 4196468 140727268332832 139672058551024 139673092852354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15856] ppid=15789 vsize=11082080 memory=3560 CPUtime=4.53 cores=1,3,5,7
/proc/15792/task/15856/stat : 15856 (java) S 15789 15792 13534 0 -1 1077944384 53546 13247 0 0 438 8 5 2 20 0 15 0 221983364 11348049920 287234 33554432000 4194304 4196468 140727268332832 139672057498224 139673092852354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15857] ppid=15789 vsize=11082080 memory=60452 CPUtime=0.07 cores=1,3,5,7
/proc/15792/task/15857/stat : 15857 (java) S 15789 15792 13534 0 -1 1077944384 3 13247 0 0 0 0 5 2 20 0 15 0 221983364 11348049920 287234 33554432000 4194304 4196468 140727268332832 139670994283232 139673092851413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15858] ppid=15789 vsize=11082080 memory=1228 CPUtime=1.43 cores=1,3,5,7
/proc/15792/task/15858/stat : 15858 (java) S 15789 15792 13534 0 -1 1077944384 2982 13247 0 0 58 78 5 2 20 0 15 0 221983364 11348049920 287234 33554432000 4194304 4196468 140727268332832 139672056445616 139673092852354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1148936 KiB

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

[startup+2455.33 s]
# the end of solver process 15792 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.26 s, system=3.849 s

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

[startup+2455.3 s]
/proc/loadavg: 1.60 1.47 1.45 3/220 16096
/proc/meminfo: memFree=4057196/32770624 swapFree=67108860/67108860
[pid=15792] ppid=15789 vsize=11082080 memory=1148936 CPUtime=2520.06 cores=1,3,5,7
/proc/15792/stat : 15792 (java) S 15789 15792 13534 0 -1 1077944320 353324 13247 0 0 251618 381 5 2 20 0 15 0 221983349 11348049920 287234 33554432000 4194304 4196468 140727268332832 140727268315376 139673092841207 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
/proc/15792/statm: 2770520 287234 3531 1 0 2732173 0
[pid=15792/tid=15845] ppid=15789 vsize=11082080 memory=1148936 CPUtime=2429.22 cores=1,3,5,7
/proc/15792/task/15845/stat : 15845 (java) R 15789 15792 13534 0 -1 4202560 105188 13247 0 0 242852 63 5 2 20 0 15 0 221983358 11348049920 287234 33554432000 4194304 4196468 140727268332832 139673064676416 139672645594667 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15846] ppid=15789 vsize=11082080 memory=1148936 CPUtime=13.66 cores=1,3,5,7
/proc/15792/task/15846/stat : 15846 (java) S 15789 15792 13534 0 -1 1077944384 20061 13247 0 0 1305 54 5 2 20 0 15 0 221983359 11348049920 287234 33554432000 4194304 4196468 140727268332832 139673097084048 139673092851413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15847] ppid=15789 vsize=11082080 memory=1148936 CPUtime=13.66 cores=1,3,5,7
/proc/15792/task/15847/stat : 15847 (java) S 15789 15792 13534 0 -1 1077944384 15389 13247 0 0 1309 50 5 2 20 0 15 0 221983359 11348049920 287234 33554432000 4194304 4196468 140727268332832 139672951802896 139673092851413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15848] ppid=15789 vsize=11082080 memory=1148936 CPUtime=13.68 cores=1,3,5,7
/proc/15792/task/15848/stat : 15848 (java) S 15789 15792 13534 0 -1 1077944384 20916 13247 0 0 1307 54 5 2 20 0 15 0 221983359 11348049920 287234 33554432000 4194304 4196468 140727268332832 139672950750096 139673092851413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15849] ppid=15789 vsize=11082080 memory=1148936 CPUtime=13.69 cores=1,3,5,7
/proc/15792/task/15849/stat : 15849 (java) S 15789 15792 13534 0 -1 1077944384 15372 13247 0 0 1308 54 5 2 20 0 15 0 221983359 11348049920 287234 33554432000 4194304 4196468 140727268332832 139672949697296 139673092851413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15850] ppid=15789 vsize=11082080 memory=1148936 CPUtime=10.15 cores=1,3,5,7
/proc/15792/task/15850/stat : 15850 (java) S 15789 15792 13534 0 -1 1077944384 18641 13247 0 0 954 54 5 2 20 0 15 0 221983360 11348049920 287234 33554432000 4194304 4196468 140727268332832 139672060655984 139673092852354 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15851] ppid=15789 vsize=11082080 memory=1148936 CPUtime=0.07 cores=1,3,5,7
/proc/15792/task/15851/stat : 15851 (java) S 15789 15792 13534 0 -1 1077944384 13 13247 0 0 0 0 5 2 20 0 15 0 221983361 11348049920 287234 33554432000 4194304 4196468 140727268332832 139671933805664 139673092851413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15852] ppid=15789 vsize=11082080 memory=1148936 CPUtime=0.07 cores=1,3,5,7
/proc/15792/task/15852/stat : 15852 (java) S 15789 15792 13534 0 -1 1077944384 1 13247 0 0 0 0 5 2 20 0 15 0 221983361 11348049920 287234 33554432000 4194304 4196468 140727268332832 139671732478848 139673092851413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15853] ppid=15789 vsize=11082080 memory=1148936 CPUtime=0.07 cores=1,3,5,7
/proc/15792/task/15853/stat : 15853 (java) S 15789 15792 13534 0 -1 1077944384 3 13247 0 0 0 0 5 2 20 0 15 0 221983364 11348049920 287234 33554432000 4194304 4196468 140727268332832 139671425079120 139673092859803 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15854] ppid=15789 vsize=11082080 memory=1148936 CPUtime=10.5 cores=1,3,5,7
/proc/15792/task/15854/stat : 15854 (java) S 15789 15792 13534 0 -1 1077944384 54660 13247 0 0 1035 8 5 2 20 0 15 0 221983364 11348049920 287234 33554432000 4194304 4196468 140727268332832 139672059603824 139673092852354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15855] ppid=15789 vsize=11082080 memory=1148936 CPUtime=10.04 cores=1,3,5,7
/proc/15792/task/15855/stat : 15855 (java) S 15789 15792 13534 0 -1 1077944384 44360 13247 0 0 990 7 5 2 20 0 15 0 221983364 11348049920 287234 33554432000 4194304 4196468 140727268332832 139672058551024 139673092852354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15856] ppid=15789 vsize=11082080 memory=3560 CPUtime=4.53 cores=1,3,5,7
/proc/15792/task/15856/stat : 15856 (java) S 15789 15792 13534 0 -1 1077944384 53546 13247 0 0 438 8 5 2 20 0 15 0 221983364 11348049920 287234 33554432000 4194304 4196468 140727268332832 139672057498224 139673092852354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15857] ppid=15789 vsize=11082080 memory=60452 CPUtime=0.07 cores=1,3,5,7
/proc/15792/task/15857/stat : 15857 (java) S 15789 15792 13534 0 -1 1077944384 3 13247 0 0 0 0 5 2 20 0 15 0 221983364 11348049920 287234 33554432000 4194304 4196468 140727268332832 139670994283232 139673092851413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
[pid=15792/tid=15858] ppid=15789 vsize=11082080 memory=1228 CPUtime=1.43 cores=1,3,5,7
/proc/15792/task/15858/stat : 15858 (java) S 15789 15792 13534 0 -1 1077944384 2982 13247 0 0 58 78 5 2 20 0 15 0 221983364 11348049920 287234 33554432000 4194304 4196468 140727268332832 139672056445616 139673092852354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38125568 140727268334188 140727268336988 140727268336988 140727268339663 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1148936 KiB

Child status: 143
Real time (s): 2455.33
CPU time (s): 2520.11
CPU user time (s): 2516.26
CPU system time (s): 3.849
CPU usage (%): 102.638
Max. virtual memory (cumulated for all children) (KiB): 11082740
Max. memory (cumulated for all children) (KiB): 1351292

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.26
system time used= 3.849
maximum resident set size= 1353340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 367536
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 262651
involuntary context switches= 7664


# summary of solver processes directly reported to runsolver:
#   pid: 15792
#   total CPU time (s): 2520.11
#   total CPU user time (s): 2516.26
#   total CPU system time (s): 3.849

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.9986 second user time and 19.3476 second system time

The end

Launcher Data

Begin job on node135 at 2018-08-12 05:23:22
IDJOB=4304175
IDBENCH=141051
IDSOLVER=2780
FILE ID=node135/4304175-1534044202
RUNJOBID= node135-1534040371-15154
PBS_JOBID= 21036964
Free space on /tmp= 42548 MiB

SOLVER NAME= Concrete 3.9.2
BENCH NAME= XCSP18/NurseRostering/NurseRostering-03_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4304175-1534044202/watcher-4304175-1534044202 -o /tmp/evaluation-result-4304175-1534044202/solver-4304175-1534044202 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1534040371-15154 --watchdog 2580  bin/xcsp-3-concrete -J-Xss64M -randomseed=1595756881 HOME/instance-4304175-1534044202.xml

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

MD5SUM BENCH= eb17d19b145b92a5bb64f51f86380189
RANDOM SEED=1595756881

node135.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.50
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.50
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.50
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.50
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:         6289312 kB
MemAvailable:   30939816 kB
Buffers:          240060 kB
Cached:         24323880 kB
SwapCached:            0 kB
Active:         10354448 kB
Inactive:       15227100 kB
Active(anon):     966740 kB
Inactive(anon):   103132 kB
Active(file):    9387708 kB
Inactive(file): 15123968 kB
Unevictable:        7244 kB
Mlocked:            7244 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             26520 kB
Writeback:             0 kB
AnonPages:       1048676 kB
Mapped:            74548 kB
Shmem:             49824 kB
Slab:             595596 kB
SReclaimable:     567288 kB
SUnreclaim:        28308 kB
KernelStack:        3872 kB
PageTables:         8628 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2163768 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    817152 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       93568 kB
DirectMap2M:    33452032 kB

Free space on /tmp at the end= 42520 MiB
End job on node135 at 2018-08-12 06:04:17