Trace number 4290309

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
OscaR - Conflict Ordering with restarts 2018-07-02SAT (TO)22392 2400.07 2347.33

General information on the benchmark

NameTravelingTournament/
TravelingTournament-a3-galaxy16_c18.xml
MD5SUMe08ad5e9bb2dce0f9ded0033a126b6aa
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark20855
Best CPU time to get the best result obtained on this benchmark2520.12
Satisfiable
(Un)Satisfiability was proved
Number of variables1936
Number of constraints8495
Number of domains3
Minimum domain size2
Maximum domain size66
Distribution of domain sizes[{"size":2,"count":960},{"size":16,"count":480},{"size":66,"count":496}]
Minimum variable degree2
Maximum variable degree50
Distribution of variable degrees[{"degree":2,"count":976},{"degree":47,"count":448},{"degree":48,"count":480},{"degree":49,"count":30},{"degree":50,"count":2}]
Minimum constraint arity2
Maximum constraint arity30
Distribution of constraint arities[{"arity":2,"count":481},{"arity":3,"count":32},{"arity":4,"count":6496},{"arity":5,"count":464},{"arity":16,"count":510},{"arity":18,"count":480},{"arity":30,"count":32}]
Number of extensional constraints496
Number of intensional constraints6977
Distribution of constraint types[{"type":"extension","count":496},{"type":"intension","count":6977},{"type":"regular","count":16},{"type":"allDifferent","count":30},{"type":"cardinality","count":16},{"type":"element","count":960}]
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.68/0.55	c version: 2018-07-02
0.68/0.55	c seed: 1548772720
0.68/0.55	c timeout: 2400
0.68/0.55	c memlimit: 11000
0.68/0.55	c nbcore: 4
0.68/0.57	c Parsing instance...
9.04/3.54	c Parsing done, starting search...
9.69/3.75	o 24139
10.02/3.89	o 24115
12.58/4.70	o 24092
12.58/4.70	o 24082
12.58/4.70	o 24071
12.58/4.70	o 24062
12.58/4.70	o 24052
12.58/4.70	o 24037
12.58/4.70	o 24027
12.58/4.70	o 24009
12.58/4.70	o 23961
12.58/4.70	o 23939
12.58/4.70	o 23936
12.58/4.70	o 23878
12.58/4.70	o 23861
12.58/4.70	o 23851
12.58/4.70	o 23848
12.58/4.70	o 23823
12.58/4.70	o 23817
12.58/4.70	o 23814
12.58/4.70	o 23795
12.58/4.70	o 23768
12.58/4.70	o 23748
12.58/4.70	o 23713
12.58/4.70	o 23710
12.58/4.70	o 23690
12.58/4.70	o 23665
12.58/4.70	o 23654
12.58/4.70	o 23651
12.58/4.70	o 23639
12.58/4.70	o 23612
12.58/4.70	o 23587
16.90/7.85	o 23566
16.90/7.85	o 23565
16.90/7.86	o 23535
17.22/8.06	o 23516
17.22/8.07	o 23486
17.87/8.62	o 23484
17.87/8.68	o 23477
18.08/8.82	o 23445
18.08/8.83	o 23438
18.08/8.85	o 23410
18.08/8.85	o 23403
18.08/8.89	o 23394
19.32/10.04	o 23387
19.32/10.05	o 23372
19.32/10.05	o 23367
19.32/10.05	o 23314
19.32/10.05	o 23309
19.32/10.05	o 23286
19.32/10.05	o 23281
19.32/10.05	o 23262
19.32/10.07	o 23216
19.32/10.07	o 23211
19.47/10.19	o 23207
19.47/10.20	o 23177
19.57/10.20	o 23149
19.57/10.22	o 23078
19.97/10.69	o 23039
20.06/10.73	o 22992
20.06/10.78	o 22973
20.26/10.97	o 22954
20.57/11.11	o 22949
20.57/11.11	o 22937
20.57/11.12	o 22924
20.57/11.13	o 22923
20.57/11.13	o 22916
20.57/11.13	o 22904
25.34/15.65	o 22882
25.34/15.67	o 22877
25.34/15.67	o 22875
25.34/15.68	o 22853
38.19/28.35	o 22845
38.19/28.35	o 22835
38.19/28.35	o 22826
38.19/28.35	o 22796
38.19/28.36	o 22795
38.19/28.36	o 22766
38.19/28.37	o 22756
38.19/28.37	o 22727
38.19/28.37	o 22719
38.19/28.37	o 22700
38.19/28.38	o 22682
38.19/28.39	o 22673
38.30/28.48	o 22645
38.30/28.49	o 22612
38.40/28.50	o 22533
38.40/28.50	o 22504
38.40/28.50	o 22465
38.40/28.50	o 22461
38.40/28.53	o 22452
38.40/28.59	o 22440
39.40/29.56	o 22409
40.20/30.39	o 22405
258.45/247.09	o 22398
264.84/253.29	o 22392
2400.02/2347.30	s SATISFIABLE
2400.02/2347.31	v <instantiation>
2400.02/2347.31	v 	<list>
2400.02/2347.31	v 		o[0][0] o[0][1] o[0][2] o[0][3] o[0][4] o[0][5] o[0][6] o[0][7] o[0][8] o[0][9] o[0][10] o[0][11] o[0][12] o[0][13] o[0][14] o[0][15] o[0][16] o[0][17] o[0][18] o[0][19] o[0][20] o[0][21] o[0][22] o[0][23] o[0][24] o[0][25] o[0][26] o[0][27] o[0][28] o[0][29] o[1][0] o[1][1] o[1][2] o[1][3] o[1][4] o[1][5] o[1][6] o[1][7] o[1][8] o[1][9] o[1][10] o[1][11] o[1][12] o[1][13] o[1][14] o[1][15] o[1][16] o[1][17] o[1][18] o[1][19] o[1][20] o[1][21] o[1][22] o[1][23] o[1][24] o[1][25] o[1][26] o[1][27] o[1][28] o[1][29] o[2][0] o[2][1] o[2][2] o[2][3] o[2][4] o[2][5] o[2][6] o[2][7] o[2][8] o[2][9] o[2][10] o[2][11] o[2][12] o[2][13] o[2][14] o[2][15] o[2][16] o[2][17] o[2][18] o[2][19] o[2][20] o[2][21] o[2][22] o[2][23] o[2][24] o[2][25] o[2][26] o[2][27] o[2][28] o[2][29] o[3][0] o[3][1] o[3][2] o[3][3] o[3][4] o[3][5] o[3][6] o[3][7] o[3][8] o[3][9] o[3][10] o[3][11] o[3][12] o[3][13] o[3][14] o[3][15] o[3][16] o[3][17] o[3][18] o[3][19] o[3][20] o[3][21] o[3][22] o[3][23] o[3][24] o[3][25] o[3][26] o[3][27] o[3][28] o[3][29] o[4][0] o[4][1] o[4][2] o[4][3] o[4][4] o[4][5] o[4][6] o[4][7] o[4][8] o[4][9] o[4][10] o[4][11] o[4][12] o[4][13] o[4][14] o[4][15] o[4][16] o[4][17] o[4][18] o[4][19] o[4][20] o[4][21] o[4][22] o[4][23] o[4][24] o[4][25] o[4][26] o[4][27] o[4][28] o[4][29] o[5][0] o[5][1] o[5][2] o[5][3] o[5][4] o[5][5] o[5][6] o[5][7] o[5][8] o[5][9] o[5][10] o[5][11] o[5][12] o[5][13] o[5][14] o[5][15] o[5][16] o[5][17] o[5][18] o[5][19] o[5][20] o[5][21] o[5][22] o[5][23] o[5][24] o[5][25] o[5][26] o[5][27] o[5][28] o[5][29] o[6][0] o[6][1] o[6][2] o[6][3] o[6][4] o[6][5] o[6][6] o[6][7] o[6][8] o[6][9] o[6][10] o[6][11] o[6][12] o[6][13] o[6][14] o[6][15] o[6][16] o[6][17] o[6][18] o[6][19] o[6][20] o[6][21] o[6][22] o[6][23] o[6][24] o[6][25] o[6][26] o[6][27] o[6][28] o[6][29] o[7][0] o[7][1] o[7][2] o[7][3] o[7][4] o[7][5] o[7][6] o[7][7] o[7][8] o[7][9] o[7][10] o[7][11] o[7][12] o[7][13] o[7][14] o[7][15] o[7][16] o[7][17] o[7][18] o[7][19] o[7][20] o[7][21] o[7][22] o[7][23] o[7][24] o[7][25] o[7][26] o[7][27] o[7][28] o[7][29] o[8][0] o[8][1] o[8][2] o[8][3] o[8][4] o[8][5] o[8][6] o[8][7] o[8][8] o[8][9] o[8][10] o[8][11] o[8][12] o[8][13] o[8][14] o[8][15] o[8][16] o[8][17] o[8][18] o[8][19] o[8][20] o[8][21] o[8][22] o[8][23] o[8][24] o[8][25] o[8][26] o[8][27] o[8][28] o[8][29] o[9][0] o[9][1] o[9][2] o[9][3] o[9][4] o[9][5] o[9][6] o[9][7] o[9][8] o[9][9] o[9][10] o[9][11] o[9][12] o[9][13] o[9][14] o[9][15] o[9][16] o[9][17] o[9][18] o[9][19] o[9][20] o[9][21] o[9][22] o[9][23] o[9][24] o[9][25] o[9][26] o[9][27] o[9][28] o[9][29] o[10][0] o[10][1] o[10][2] o[10][3] o[10][4] o[10][5] o[10][6] o[10][7] o[10][8] o[10][9] o[10][10] o[10][11] o[10][12] o[10][13] o[10][14] o[10][15] o[10][16] o[10][17] o[10][18] o[10][19] o[10][20] o[10][21] o[10][22] o[10][23] o[10][24] o[10][25] o[10][26] o[10][27] o[10][28] o[10][29] o[11][0] o[11][1] o[11][2] o[11][3] o[11][4] o[11][5] o[11][6] o[11][7] o[11][8] o[11][9] o[11][10] o[11][11] o[11][12] o[11][13] o[11][14] o[11][15] o[11][16] o[11][17] o[11][18] o[11][19] o[11][20] o[11][21] o[11][22] o[11][23] o[11][24] o[11][25] o[11][26] o[11][27] o[11][28] o[11][29] o[12][0] o[12][1] o[12][2] o[12][3] o[12][4] o[12][5] o[12][6] o[12][7] o[12][8] o[12][9] o[12][10] o[12][11] o[12][12] o[12][13] o[12][14] o[12][15] o[12][16] o[12][17] o[12][18] o[12][19] o[12][20] o[12][21] o[12][22] o[12][23] o[12][24] o[12][25] o[12][26] o[12][27] o[12][28] o[12][29] o[13][0] o[13][1] o[13][2] o[13][3] o[13][4] o[13][5] o[13][6] o[13][7] o[13][8] o[13][9] o[13][10] o[13][11] o[13][12] o[13][13] o[13][14] o[13][15] o[13][16] o[13][17] o[13][18] o[13][19] o[13][20] o[13][21] o[13][22] o[13][23] o[13][24] o[13][25] o[13][26] o[13][27] o[13][28] o[13][29] o[14][0] o[14][1] o[14][2] o[14][3] o[14][4] o[14][5] o[14][6] o[14][7] o[14][8] o[14][9] o[14][10] o[14][11] o[14][12] o[14][13] o[14][14] o[14][15] o[14][16] o[14][17] o[14][18] o[14][19] o[14][20] o[14][21] o[14][22] o[14][23] o[14][24] o[14][25] o[14][26] o[14][27] o[14][28] o[14][29] o[15][0] o[15][1] o[15][2] o[15][3] o[15][4] o[15][5] o[15][6] o[15][7] o[15][8] o[15][9] o[15][10] o[15][11] o[15][12] o[15][13] o[15][14] o[15][15] o[15][16] o[15][17] o[15][18] o[15][19] o[15][20] o[15][21] o[15][22] o[15][23] o[15][24] o[15][25] o[15][26] o[15][27] o[15][28] o[15][29] h[0][0] h[0][1] h[0][2] h[0][3] h[0][4] h[0][5] h[0][6] h[0][7] h[0][8] h[0][9] h[0][10] h[0][11] h[0][12] h[0][13] h[0][14] h[0][15] h[0][16] h[0][17] h[0][18] h[0][19] h[0][20] h[0][21] h[0][22] h[0][23] h[0][24] h[0][25] h[0][26] h[0][27] h[0][28] h[0][29] h[1][0] h[1][1] h[1][2] h[1][3] h[1][4] h[1][5] h[1][6] h[1][7] h[1][8] h[1][9] h[1][10] h[1][11] h[1][12] h[1][13] h[1][14] h[1][15] h[1][16] h[1][17] h[1][18] h[1][19] h[1][20] h[1][21] h[1][22] h[1][23] h[1][24] h[1][25] h[1][26] h[1][27] h[1][28] h[1][29] h[2][0] h[2][1] h[2][2] h[2][3] h[2][4] h[2][5] h[2][6] h[2][7] h[2][8] h[2][9] h[2][10] h[2][11] h[2][12] h[2][13] h[2][14] h[2][15] h[2][16] h[2][17] h[2][18] h[2][19] h[2][20] h[2][21] h[2][22] h[2][23] h[2][24] h[2][25] h[2][26] h[2][27] h[2][28] h[2][29] h[3][0] h[3][1] h[3][2] h[3][3] h[3][4] h[3][5] h[3][6] h[3][7] h[3][8] h[3][9] h[3][10] h[3][11] h[3][12] h[3][13] h[3][14] h[3][15] h[3][16] h[3][17] h[3][18] h[3][19] h[3][20] h[3][21] h[3][22] h[3][23] h[3][24] h[3][25] h[3][26] h[3][27] h[3][28] h[3][29] h[4][0] h[4][1] h[4][2] h[4][3] h[4][4] h[4][5] h[4][6] h[4][7] h[4][8] h[4][9] h[4][10] h[4][11] h[4][12] h[4][13] h[4][14] h[4][15] h[4][16] h[4][17] h[4][18] h[4][19] h[4][20] h[4][21] h[4][22] h[4][23] h[4][24] h[4][25] h[4][26] h[4][27] h[4][28] h[4][29] h[5][0] h[5][1] h[5][2] h[5][3] h[5][4] h[5][5] h[5][6] h[5][7] h[5][8] h[5][9] h[5][10] h[5][11] h[5][12] h[5][13] h[5][14] h[5][15] h[5][16] h[5][17] h[5][18] h[5][19] h[5][20] h[5][21] h[5][22] h[5][23] h[5][24] h[5][25] h[5][26] h[5][27] h[5][28] h[5][29] h[6][0] h[6][1] h[6][2] h[6][3] h[6][4] h[6][5] h[6][6] h[6][7] h[6][8] h[6][9] h[6][10] h[6][11] h[6][12] h[6][13] h[6][14] h[6][15] h[6][16] h[6][17] h[6][18] h[6][19] h[6][20] h[6][21] h[6][22] h[6][23] h[6][24] h[6][25] h[6][26] h[6][27] h[6][28] h[6][29] h[7][0] h[7][1] h[7][2] h[7][3] h[7][4] h[7][5] h[7][6] h[7][7] h[7][8] h[7][9] h[7][10] h[7][11] h[7][12] h[7][13] h[7][14] h[7][15] h[7][16] h[7][17] h[7][18] h[7][19] h[7][20] h[7][21] h[7][22] h[7][23] h[7][24] h[7][25] h[7][26] h[7][27] h[7][28] h[7][29] h[8][0] h[8][1] h[8][2] h[8][3] h[8][4] h[8][5] h[8][6] h[8][7] h[8][8] h[8][9] h[8][10] h[8][11] h[8][12] h[8][13] h[8][14] h[8][15] h[8][16] h[8][17] h[8][18] h[8][19] h[8][20] h[8][21] h[8][22] h[8][23] h[8][24] h[8][25] h[8][26] h[8][27] h[8][28] h[8][29] h[9][0] h[9][1] h[9][2] h[9][3] h[9][4] h[9][5] h[9][6] h[9][7] h[9][8] h[9][9] h[9][10] h[9][11] h[9][12] h[9][13] h[9][14] h[9][15] h[9][16] h[9][17] h[9][18] h[9][19] h[9][20] h[9][21] h[9][22] h[9][23] h[9][24] h[9][25] h[9][26] h[9][27] h[9][28] h[9][29] h[10][0] h[10][1] h[10][2] h[10][3] h[10][4] h[10][5] h[10][6] h[10][7] h[10][8] h[10][9] h[10][10] h[10][11] h[10][12] h[10][13] h[10][14] h[10][15] h[10][16] h[10][17] h[10][18] h[10][19] h[10][20] h[10][21] h[10][22] h[10][23] h[10][24] h[10][25] h[10][26] h[10][27] h[10][28] h[10][29] h[11][0] h[11][1] h[11][2] h[11][3] h[11][4] h[11][5] h[11][6] h[11][7] h[11][8] h[11][9] h[11][10] h[11][11] h[11][12] h[11][13] h[11][14] h[11][15] h[11][16] h[11][17] h[11][18] h[11][19] h[11][20] h[11][21] h[11][22] h[11][23] h[11][24] h[11][25] h[11][26] h[11][27] h[11][28] h[11][29] h[12][0] h[12][1] h[12][2] h[12][3] h[12][4] h[12][5] h[12][6] h[12][7] h[12][8] h[12][9] h[12][10] h[12][11] h[12][12] h[12][13] h[12][14] h[12][15] h[12][16] h[12][17] h[12][18] h[12][19] h[12][20] h[12][21] h[12][22] h[12][23] h[12][24] h[12][25] h[12][26] h[12][27] h[12][28] h[12][29] h[13][0] h[13][1] h[13][2] h[13][3] h[13][4] h[13][5] h[13][6] h[13][7] h[13][8] h[13][9] h[13][10] h[13][11] h[13][12] h[13][13] h[13][14] h[13][15] h[13][16] h[13][17] h[13][18] h[13][19] h[13][20] h[13][21] h[13][22] h[13][23] h[13][24] h[13][25] h[13][26] h[13][27] h[13][28] h[13][29] h[14][0] h[14][1] h[14][2] h[14][3] h[14][4] h[14][5] h[14][6] h[14][7] h[14][8] h[14][9] h[14][10] h[14][11] h[14][12] h[14][13] h[14][14] h[14][15] h[14][16] h[14][17] h[14][18] h[14][19] h[14][20] h[14][21] h[14][22] h[14][23] h[14][24] h[14][25] h[14][26] h[14][27] h[14][28] h[14][29] h[15][0] h[15][1] h[15][2] h[15][3] h[15][4] h[15][5] h[15][6] h[15][7] h[15][8] h[15][9] h[15][10] h[15][11] h[15][12] h[15][13] h[15][14] h[15][15] h[15][16] h[15][17] h[15][18] h[15][19] h[15][20] h[15][21] h[15][22] h[15][23] h[15][24] h[15][25] h[15][26] h[15][27] h[15][28] h[15][29] a[0][0] a[0][1] a[0][2] a[0][3] a[0][4] a[0][5] a[0][6] a[0][7] a[0][8] a[0][9] a[0][10] a[0][11] a[0][12] a[0][13] a[0][14] a[0][15] a[0][16] a[0][17] a[0][18] a[0][19] a[0][20] a[0][21] a[0][22] a[0][23] a[0][24] a[0][25] a[0][26] a[0][27] a[0][28] a[0][29] a[1][0] a[1][1] a[1][2] a[1][3] a[1][4] a[1][5] a[1][6] a[1][7] a[1][8] a[1][9] a[1][10] a[1][11] a[1][12] a[1][13] a[1][14] a[1][15] a[1][16] a[1][17] a[1][18] a[1][19] a[1][20] a[1][21] a[1][22] a[1][23] a[1][24] a[1][25] a[1][26] a[1][27] a[1][28] a[1][29] a[2][0] a[2][1] a[2][2] a[2][3] a[2][4] a[2][5] a[2][6] a[2][7] a[2][8] a[2][9] a[2][10] a[2][11] a[2][12] a[2][13] a[2][14] a[2][15] a[2][16] a[2][17] a[2][18] a[2][19] a[2][20] a[2][21] a[2][22] a[2][23] a[2][24] a[2][25] a[2][26] a[2][27] a[2][28] a[2][29] a[3][0] a[3][1] a[3][2] a[3][3] a[3][4] a[3][5] a[3][6] a[3][7] a[3][8] a[3][9] a[3][10] a[3][11] a[3][12] a[3][13] a[3][14] a[3][15] a[3][16] a[3][17] a[3][18] a[3][19] a[3][20] a[3][21] a[3][22] a[3][23] a[3][24] a[3][25] a[3][26] a[3][27] a[3][28] a[3][29] a[4][0] a[4][1] a[4][2] a[4][3] a[4][4] a[4][5] a[4][6] a[4][7] a[4][8] a[4][9] a[4][10] a[4][11] a[4][12] a[4][13] a[4][14] a[4][15] a[4][16] a[4][17] a[4][18] a[4][19] a[4][20] a[4][21] a[4][22] a[4][23] a[4][24] a[4][25] a[4][26] a[4][27] a[4][28] a[4][29] a[5][0] a[5][1] a[5][2] a[5][3] a[5][4] a[5][5] a[5][6] a[5][7] a[5][8] a[5][9] a[5][10] a[5][11] a[5][12] a[5][13] a[5][14] a[5][15] a[5][16] a[5][17] a[5][18] a[5][19] a[5][20] a[5][21] a[5][22] a[5][23] a[5][24] a[5][25] a[5][26] a[5][27] a[5][28] a[5][29] a[6][0] a[6][1] a[6][2] a[6][3] a[6][4] a[6][5] a[6][6] a[6][7] a[6][8] a[6][9] a[6][10] a[6][11] a[6][12] a[6][13] a[6][14] a[6][15] a[6][16] a[6][17] a[6][18] a[6][19] a[6][20] a[6][21] a[6][22] a[6][23] a[6][24] a[6][25] a[6][26] a[6][27] a[6][28] a[6][29] a[7][0] a[7][1] a[7][2] a[7][3] a[7][4] a[7][5] a[7][6] a[7][7] a[7][8] a[7][9] a[7][10] a[7][11] a[7][12] a[7][13] a[7][14] a[7][15] a[7][16] a[7][17] a[7][18] a[7][19] a[7][20] a[7][21] a[7][22] a[7][23] a[7][24] a[7][25] a[7][26] a[7][27] a[7][28] a[7][29] a[8][0] a[8][1] a[8][2] a[8][3] a[8][4] a[8][5] a[8][6] a[8][7] a[8][8] a[8][9] a[8][10] a[8][11] a[8][12] a[8][13] a[8][14] a[8][15] a[8][16] a[8][17] a[8][18] a[8][19] a[8][20] a[8][21] a[8][22] a[8][23] a[8][24] a[8][25] a[8][26] a[8][27] a[8][28] a[8][29] a[9][0] a[9][1] a[9][2] a[9][3] a[9][4] a[9][5] a[9][6] a[9][7] a[9][8] a[9][9] a[9][10] a[9][11] a[9][12] a[9][13] a[9][14] a[9][15] a[9][16] a[9][17] a[9][18] a[9][19] a[9][20] a[9][21] a[9][22] a[9][23] a[9][24] a[9][25] a[9][26] a[9][27] a[9][28] a[9][29] a[10][0] a[10][1] a[10][2] a[10][3] a[10][4] a[10][5] a[10][6] a[10][7] a[10][8] a[10][9] a[10][10] a[10][11] a[10][12] a[10][13] a[10][14] a[10][15] a[10][16] a[10][17] a[10][18] a[10][19] a[10][20] a[10][21] a[10][22] a[10][23] a[10][24] a[10][25] a[10][26] a[10][27] a[10][28] a[10][29] a[11][0] a[11][1] a[11][2] a[11][3] a[11][4] a[11][5] a[11][6] a[11][7] a[11][8] a[11][9] a[11][10] a[11][11] a[11][12] a[11][13] a[11][14] a[11][15] a[11][16] a[11][17] a[11][18] a[11][19] a[11][20] a[11][21] a[11][22] a[11][23] a[11][24] a[11][25] a[11][26] a[11][27] a[11][28] a[11][29] a[12][0] a[12][1] a[12][2] a[12][3] a[12][4] a[12][5] a[12][6] a[12][7] a[12][8] a[12][9] a[12][10] a[12][11] a[12][12] a[12][13] a[12][14] a[12][15] a[12][16] a[12][17] a[12][18] a[12][19] a[12][20] a[12][21] a[12][22] a[12][23] a[12][24] a[12][25] a[12][26] a[12][27] a[12][28] a[12][29] a[13][0] a[13][1] a[13][2] a[13][3] a[13][4] a[13][5] a[13][6] a[13][7] a[13][8] a[13][9] a[13][10] a[13][11] a[13][12] a[13][13] a[13][14] a[13][15] a[13][16] a[13][17] a[13][18] a[13][19] a[13][20] a[13][21] a[13][22] a[13][23] a[13][24] a[13][25] a[13][26] a[13][27] a[13][28] a[13][29] a[14][0] a[14][1] a[14][2] a[14][3] a[14][4] a[14][5] a[14][6] a[14][7] a[14][8] a[14][9] a[14][10] a[14][11] a[14][12] a[14][13] a[14][14] a[14][15] a[14][16] a[14][17] a[14][18] a[14][19] a[14][20] a[14][21] a[14][22] a[14][23] a[14][24] a[14][25] a[14][26] a[14][27] a[14][28] a[14][29] a[15][0] a[15][1] a[15][2] a[15][3] a[15][4] a[15][5] a[15][6] a[15][7] a[15][8] a[15][9] a[15][10] a[15][11] a[15][12] a[15][13] a[15][14] a[15][15] a[15][16] a[15][17] a[15][18] a[15][19] a[15][20] a[15][21] a[15][22] a[15][23] a[15][24] a[15][25] a[15][26] a[15][27] a[15][28] a[15][29] t[0][0] t[0][1] t[0][2] t[0][3] t[0][4] t[0][5] t[0][6] t[0][7] t[0][8] t[0][9] t[0][10] t[0][11] t[0][12] t[0][13] t[0][14] t[0][15] t[0][16] t[0][17] t[0][18] t[0][19] t[0][20] t[0][21] t[0][22] t[0][23] t[0][24] t[0][25] t[0][26] t[0][27] t[0][28] t[0][29] t[0][30] t[1][0] t[1][1] t[1][2] t[1][3] t[1][4] t[1][5] t[1][6] t[1][7] t[1][8] t[1][9] t[1][10] t[1][11] t[1][12] t[1][13] t[1][14] t[1][15] t[1][16] t[1][17] t[1][18] t[1][19] t[1][20] t[1][21] t[1][22] t[1][23] t[1][24] t[1][25] t[1][26] t[1][27] t[1][28] t[1][29] t[1][30] t[2][0] t[2][1] t[2][2] t[2][3] t[2][4] t[2][5] t[2][6] t[2][7] t[2][8] t[2][9] t[2][10] t[2][11] t[2][12] t[2][13] t[2][14] t[2][15] t[2][16] t[2][17] t[2][18] t[2][19] t[2][20] t[2][21] t[2][22] t[2][23] t[2][24] t[2][25] t[2][26] t[2][27] t[2][28] t[2][29] t[2][30] t[3][0] t[3][1] t[3][2] t[3][3] t[3][4] t[3][5] t[3][6] t[3][7] t[3][8] t[3][9] t[3][10] t[3][11] t[3][12] t[3][13] t[3][14] t[3][15] t[3][16] t[3][17] t[3][18] t[3][19] t[3][20] t[3][21] t[3][22] t[3][23] t[3][24] t[3][25] t[3][26] t[3][27] t[3][28] t[3][29] t[3][30] t[4][0] t[4][1] t[4][2] t[4][3] t[4][4] t[4][5] t[4][6] t[4][7] t[4][8] t[4][9] t[4][10] t[4][11] t[4][12] t[4][13] t[4][14] t[4][15] t[4][16] t[4][17] t[4][18] t[4][19] t[4][20] t[4][21] t[4][22] t[4][23] t[4][24] t[4][25] t[4][26] t[4][27] t[4][28] t[4][29] t[4][30] t[5][0] t[5][1] t[5][2] t[5][3] t[5][4] t[5][5] t[5][6] t[5][7] t[5][8] t[5][9] t[5][10] t[5][11] t[5][12] t[5][13] t[5][14] t[5][15] t[5][16] t[5][17] t[5][18] t[5][19] t[5][20] t[5][21] t[5][22] t[5][23] t[5][24] t[5][25] t[5][26] t[5][27] t[5][28] t[5][29] t[5][30] t[6][0] t[6][1] t[6][2] t[6][3] t[6][4] t[6][5] t[6][6] t[6][7] t[6][8] t[6][9] t[6][10] t[6][11] t[6][12] t[6][13] t[6][14] t[6][15] t[6][16] t[6][17] t[6][18] t[6][19] t[6][20] t[6][21] t[6][22] t[6][23] t[6][24] t[6][25] t[6][26] t[6][27] t[6][28] t[6][29] t[6][30] t[7][0] t[7][1] t[7][2] t[7][3] t[7][4] t[7][5] t[7][6] t[7][7] t[7][8] t[7][9] t[7][10] t[7][11] t[7][12] t[7][13] t[7][14] t[7][15] t[7][16] t[7][17] t[7][18] t[7][19] t[7][20] t[7][21] t[7][22] t[7][23] t[7][24] t[7][25] t[7][26] t[7][27] t[7][28] t[7][29] t[7][30] t[8][0] t[8][1] t[8][2] t[8][3] t[8][4] t[8][5] t[8][6] t[8][7] t[8][8] t[8][9] t[8][10] t[8][11] t[8][12] t[8][13] t[8][14] t[8][15] t[8][16] t[8][17] t[8][18] t[8][19] t[8][20] t[8][21] t[8][22] t[8][23] t[8][24] t[8][25] t[8][26] t[8][27] t[8][28] t[8][29] t[8][30] t[9][0] t[9][1] t[9][2] t[9][3] t[9][4] t[9][5] t[9][6] t[9][7] t[9][8] t[9][9] t[9][10] t[9][11] t[9][12] t[9][13] t[9][14] t[9][15] t[9][16] t[9][17] t[9][18] t[9][19] t[9][20] t[9][21] t[9][22] t[9][23] t[9][24] t[9][25] t[9][26] t[9][27] t[9][28] t[9][29] t[9][30] t[10][0] t[10][1] t[10][2] t[10][3] t[10][4] t[10][5] t[10][6] t[10][7] t[10][8] t[10][9] t[10][10] t[10][11] t[10][12] t[10][13] t[10][14] t[10][15] t[10][16] t[10][17] t[10][18] t[10][19] t[10][20] t[10][21] t[10][22] t[10][23] t[10][24] t[10][25] t[10][26] t[10][27] t[10][28] t[10][29] t[10][30] t[11][0] t[11][1] t[11][2] t[11][3] t[11][4] t[11][5] t[11][6] t[11][7] t[11][8] t[11][9] t[11][10] t[11][11] t[11][12] t[11][13] t[11][14] t[11][15] t[11][16] t[11][17] t[11][18] t[11][19] t[11][20] t[11][21] t[11][22] t[11][23] t[11][24] t[11][25] t[11][26] t[11][27] t[11][28] t[11][29] t[11][30] t[12][0] t[12][1] t[12][2] t[12][3] t[12][4] t[12][5] t[12][6] t[12][7] t[12][8] t[12][9] t[12][10] t[12][11] t[12][12] t[12][13] t[12][14] t[12][15] t[12][16] t[12][17] t[12][18] t[12][19] t[12][20] t[12][21] t[12][22] t[12][23] t[12][24] t[12][25] t[12][26] t[12][27] t[12][28] t[12][29] t[12][30] t[13][0] t[13][1] t[13][2] t[13][3] t[13][4] t[13][5] t[13][6] t[13][7] t[13][8] t[13][9] t[13][10] t[13][11] t[13][12] t[13][13] t[13][14] t[13][15] t[13][16] t[13][17] t[13][18] t[13][19] t[13][20] t[13][21] t[13][22] t[13][23] t[13][24] t[13][25] t[13][26] t[13][27] t[13][28] t[13][29] t[13][30] t[14][0] t[14][1] t[14][2] t[14][3] t[14][4] t[14][5] t[14][6] t[14][7] t[14][8] t[14][9] t[14][10] t[14][11] t[14][12] t[14][13] t[14][14] t[14][15] t[14][16] t[14][17] t[14][18] t[14][19] t[14][20] t[14][21] t[14][22] t[14][23] t[14][24] t[14][25] t[14][26] t[14][27] t[14][28] t[14][29] t[14][30] t[15][0] t[15][1] t[15][2] t[15][3] t[15][4] t[15][5] t[15][6] t[15][7] t[15][8] t[15][9] t[15][10] t[15][11] t[15][12] t[15][13] t[15][14] t[15][15] t[15][16] t[15][17] t[15][18] t[15][19] t[15][20] t[15][21] t[15][22] t[15][23] t[15][24] t[15][25] t[15][26] t[15][27] t[15][28] t[15][29] t[15][30]
2400.02/2347.31	v 	</list>
2400.02/2347.31	v 	<values>
2400.02/2347.31	v 		5 7 6 13 2 3 9 10 4 12 2 15 7 8 8 10 5 15 1 11 14 4 12 1 14 6 11 13 3 9 9 11 14 7 15 2 2 8 15 14 11 6 9 4 10 12 10 5 0 13 5 7 13 0 3 8 12 6 4 3 14 4 12 9 0 1 1 14 13 13 0 11 4 10 15 8 3 8 9 12 15 11 3 5 5 10 7 7 6 6 13 12 7 8 14 0 13 11 8 10 15 14 10 6 9 15 2 4 5 5 11 6 2 7 1 12 9 4 0 1 15 2 15 12 7 5 5 9 0 8 9 12 2 1 14 7 14 3 10 10 6 0 11 6 8 11 13 3 1 13 0 6 8 6 9 4 4 13 11 11 10 8 15 12 7 14 0 1 3 3 1 12 15 2 2 13 10 14 9 7 8 5 0 5 10 15 14 12 10 7 8 1 11 3 13 11 9 9 12 14 4 3 7 4 13 0 15 1 2 2 12 0 3 1 4 12 8 15 9 6 14 9 0 14 5 4 11 13 11 8 10 1 6 3 10 15 2 2 13 5 6 10 5 3 12 11 7 1 3 4 6 5 13 0 0 2 15 2 15 7 13 9 9 12 4 1 14 10 14 11 1 14 10 2 5 10 0 4 7 15 4 7 1 13 3 13 6 6 2 15 12 8 8 11 12 14 3 11 5 0 11 8 9 15 6 9 11 0 6 3 5 13 3 2 1 0 1 12 4 4 7 14 14 13 7 2 5 8 15 12 10 1 13 14 13 8 10 3 5 5 1 2 6 15 12 6 7 14 7 0 3 2 4 9 15 4 0 9 12 8 7 3 2 4 8 7 15 6 14 0 13 4 14 5 11 1 13 10 6 2 9 5 0 8 9 3 1 15 11 10 3 15 11 0 11 14 3 5 2 2 12 10 8 9 6 9 12 7 14 1 8 15 1 10 6 5 4 0 7 4 2 9 1 11 3 13 6 2 12 1 7 3 12 7 4 5 4 11 13 6 0 10 10 15 0 9 8 5 8 15 4 13 4 10 1 6 12 7 1 9 3 0 5 11 2 3 8 0 8 9 2 13 5 14 11 7 6 12 10 14 1 1 0 0 0 1 0 0 1 0 1 0 0 0 1 1 0 1 0 1 1 0 1 1 0 1 0 1 0 1 1 0 1 0 0 0 1 1 1 0 1 1 0 0 1 1 0 0 1 0 1 1 1 0 1 0 0 0 1 0 0 1 0 1 1 1 0 1 0 1 0 1 0 1 1 1 0 0 0 1 0 0 1 1 0 0 0 1 1 0 0 1 0 1 0 0 1 0 0 1 1 1 0 0 1 0 1 0 0 1 1 1 0 1 0 0 0 1 1 1 1 0 0 1 1 0 1 0 0 0 1 0 1 1 1 0 0 1 0 1 1 1 0 0 1 1 1 0 0 0 0 1 0 0 1 1 0 1 1 0 0 1 0 1 1 0 1 1 1 0 0 0 1 0 1 0 1 1 0 0 0 0 1 1 0 1 0 0 1 1 1 0 1 1 1 0 0 1 1 1 0 0 0 1 0 0 0 1 0 1 1 0 1 1 0 0 1 0 1 0 1 0 1 0 0 1 1 0 0 0 1 0 1 0 0 1 1 0 1 1 1 1 1 0 1 0 0 0 1 1 0 0 0 1 0 0 1 1 0 1 1 0 1 0 0 1 0 0 1 1 0 1 1 0 0 0 1 1 0 0 0 1 1 0 0 1 1 0 1 1 0 1 0 0 1 0 1 1 1 0 1 0 0 1 1 1 0 1 0 0 1 1 1 0 0 0 1 1 1 0 0 0 1 0 1 1 0 1 0 0 0 1 1 1 0 1 1 1 0 1 0 0 0 1 1 1 0 0 1 0 0 1 1 1 0 0 1 0 0 0 0 0 1 0 0 1 1 1 0 1 0 1 1 0 0 0 1 0 0 0 1 1 0 1 0 1 1 0 1 1 1 1 0 1 1 0 0 0 1 0 1 0 1 1 0 0 0 1 1 1 0 0 0 1 1 1 0 0 0 1 1 0 0 0 1 1 1 0 1 1 0 0 0 1 0 1 1 1 0 0 0 1 0 0 1 1 1 0 0 1 0 0 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 0 1 0 1 1 0 1 1 0 1 1 1 0 0 0 1 1 1 0 1 1 0 1 0 1 1 1 0 0 1 0 1 0 0 1 0 0 1 0 1 0 1 0 0 1 0 1 1 1 0 0 0 1 0 0 1 1 0 0 1 1 0 1 0 0 0 1 0 1 1 1 0 1 1 0 1 0 0 0 1 0 1 0 1 0 1 0 0 0 1 1 1 0 1 1 0 0 1 1 1 0 0 1 1 0 1 0 1 1 0 1 1 0 0 0 1 1 0 1 0 1 1 0 0 0 1 0 1 1 1 0 0 0 0 1 1 0 0 1 0 1 1 1 0 1 0 0 0 1 1 0 1 0 0 0 1 1 0 0 0 1 1 1 1 0 1 1 0 0 1 0 0 1 1 0 1 0 0 1 0 0 0 1 1 1 0 1 0 1 0 0 1 1 1 1 0 0 1 0 1 1 0 0 0 1 0 0 0 1 1 0 0 0 1 1 1 0 1 1 1 0 1 0 0 1 0 0 1 1 0 1 0 1 0 1 0 1 1 0 0 1 1 1 0 1 0 1 1 0 0 1 0 0 0 0 0 1 0 1 1 1 0 0 1 1 1 0 1 1 0 0 1 0 0 1 0 1 1 0 1 1 0 0 1 0 0 1 1 1 0 0 1 1 1 0 0 1 1 0 0 1 0 0 1 0 1 1 0 1 0 0 0 1 0 1 1 0 0 0 1 0 1 1 0 0 0 1 1 1 0 0 0 1 1 1 0 1 0 0 1 0 1 1 1 0 0 0 1 0 0 0 1 0 1 1 1 0 0 0 1 1 0 1 1 0 0 0 1 1 0 1 1 1 1 1 0 1 1 0 0 0 1 0 1 0 0 1 1 1 0 1 1 1 0 0 1 0 1 0 0 1 0 0 0 0 1 0 0 1 1 1 0 1 0 1 0 0 1 1 1 0 0 0 1 1 1 0 0 0 1 1 1 0 0 1 1 1 0 0 0 1 0 0 1 1 1 0 1 0 0 0 1 1 1 0 1 1 0 0 0 1 1 0 1 1 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 1 0 1 0 0 1 0 0 1 0 0 0 1 0 0 44 92 61 15 51 103 55 57 57 59 57 81 48 0 39 39 10 10 0 36 36 0 59 59 55 55 34 34 0 0 64 64 44 57 59 22 0 0 53 53 0 43 55 31 0 65 51 40 64 64 0 0 10 10 46 81 88 39 32 32 56 56 48 48 0 0 22 22 61 61 15 15 45 45 0 0 47 68 68 49 59 45 58 0 50 51 69 56 0 56 56 50 50 14 14 72 59 34 66 69 68 0 0 69 75 47 63 63 51 35 41 0 0 47 47 32 55 30 67 0 0 0 0 45 59 90 0 35 35 55 51 48 21 73 73 0 0 64 82 70 74 74 0 0 70 70 18 0 0 51 32 64 91 39 39 42 31 27 0 35 35 0 44 10 51 69 69 0 93 93 0 0 41 32 55 94 50 50 75 75 0 81 79 48 31 42 27 0 75 75 83 27 88 0 0 39 39 0 0 70 105 69 0 0 18 51 14 59 92 59 59 91 56 56 0 0 44 44 0 64 73 90 57 57 59 59 79 79 82 93 48 0 41 69 69 81 44 44 14 69 69 0 56 56 0 0 0 0 0 68 68 69 67 44 46 0 31 27 75 104 48 15 53 0 97 97 0 68 68 81 73 21 84 111 73 0 0 43 43 0 49 50 51 103 0 79 57 90 55 0 93 50 67 0 69 69 0 30 30 68 69 105 17 17 0 0 51 51 0 73 68 103 0 0 10 10 75 47 69 0 0 55 22 10 55 0 0 74 64 82 111 66 66 0 51 51 39 97 101 10 10 0 0 69 69 0 0 44 44 64 22 56 70 0 0 67 82 113 55 34 66 0 0 45 90 70 105 30 81 69 90 14 80 73 21 81 0 0 27 27 90 90 0 94 44 64 55 101 75 56 48 0 57 57 30 30 0 97 97 0 0 0 0 69 69 0 91 72 41 75 61 61 66 66 0 92 69 30 90 0 0 104 97 68 64 0 0 91 36 44 41 0 0 17 43 64 113 0 0 56 56 0 82 14 80 27 70 70 0 0 91 92 44 59 111 39 105 0 0 93 42 84 0 90 91 32 39 39 91 88 97 68 68 63 63 0 45 58 59 97 48 59 103 103 0 69 69 0 57 57 0 0 105 105 
2400.02/2347.31	v 	</values>
2400.02/2347.31	v </instantiation>

Verifier Data

OK	22392

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4290309-1532604171/watcher-4290309-1532604171 -o /tmp/evaluation-result-4290309-1532604171/solver-4290309-1532604171 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532604171-2121 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1548772720 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4290309-1532604171.xml 

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

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


[startup+0.10013 s]*
/proc/loadavg: 1.35 1.80 1.96 3/219 2184
/proc/meminfo: memFree=9018900/32770624 swapFree=67108860/67108860
[pid=2149] ppid=2145 vsize=14082740 memory=31488 CPUtime=0.12 cores=1,3,5,7
/proc/2149/stat : 2149 (java) S 2145 2149 32243 0 -1 1077944320 6767 0 0 0 10 2 0 0 20 0 15 0 77980005 14420725760 7872 33554432000 4194304 4196468 140729682791840 140729682774384 139762946797303 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
/proc/2149/statm: 3520685 7872 3162 1 0 3482761 0
[pid=2149/tid=2155] ppid=2145 vsize=14082740 memory=8326441112148417179 CPUtime=0.09 cores=1,3,5,7
/proc/2149/task/2155/stat : 2155 (java) R 2145 2149 32243 0 -1 4202560 4831 0 0 0 8 1 0 0 20 0 15 0 77980005 14420725760 7872 33554432000 4194304 4196468 140729682791840 139762951035904 139762930877790 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2157] ppid=2145 vsize=14082740 memory=-7025452035940392864 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2157/stat : 2157 (java) S 2145 2149 32243 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77980006 14420725760 7872 33554432000 4194304 4196468 140729682791840 139762876885520 139762946807509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2158] ppid=2145 vsize=14082740 memory=139886401615488 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2158/stat : 2158 (java) S 2145 2149 32243 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77980006 14420725760 7872 33554432000 4194304 4196468 140729682791840 139762875832976 139762946807509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2159] ppid=2145 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2159/stat : 2159 (java) S 2145 2149 32243 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77980006 14420725760 7872 33554432000 4194304 4196468 140729682791840 139762874779920 139762946807509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2161] ppid=2145 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2161/stat : 2161 (java) S 2145 2149 32243 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77980006 14420725760 7872 33554432000 4194304 4196468 140729682791840 139762873727376 139762946807509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2165] ppid=2145 vsize=14082740 memory=139886401615488 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2165/stat : 2165 (java) S 2145 2149 32243 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77980007 14420725760 7872 33554432000 4194304 4196468 140729682791840 139762421168880 139762946808450 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2167] ppid=2145 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2167/stat : 2167 (java) S 2145 2149 32243 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 77980008 14420725760 7872 33554432000 4194304 4196468 140729682791840 139762420115104 139762946807509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2169] ppid=2145 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2169/stat : 2169 (java) S 2145 2149 32243 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 77980008 14420725760 7872 33554432000 4194304 4196468 140729682791840 139762419062000 139762946807509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2173] ppid=2145 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2173/stat : 2173 (java) S 2145 2149 32243 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77980010 14420725760 7872 33554432000 4194304 4196468 140729682791840 139762418010576 139762946815899 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2175] ppid=2145 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2175/stat : 2175 (java) S 2145 2149 32243 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 77980010 14420725760 7872 33554432000 4194304 4196468 140729682791840 139762416957680 139762946808450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2178] ppid=2145 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2178/stat : 2178 (java) S 2145 2149 32243 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77980010 14420725760 7872 33554432000 4194304 4196468 140729682791840 139762415905136 139762946808450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2180] ppid=2145 vsize=14082740 memory=139886401615488 CPUtime=0.01 cores=1,3,5,7
/proc/2149/task/2180/stat : 2180 (java) S 2145 2149 32243 0 -1 1077944384 268 0 0 0 1 0 0 0 20 0 15 0 77980010 14420725760 7872 33554432000 4194304 4196468 140729682791840 139762414852080 139762946808450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2182] ppid=2145 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2182/stat : 2182 (java) S 2145 2149 32243 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77980011 14420725760 7872 33554432000 4194304 4196468 140729682791840 139762413799776 139762946807509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2184] ppid=2145 vsize=14082740 memory=139886401615488 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2184/stat : 2184 (java) S 2145 2149 32243 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77980011 14420725760 7872 33554432000 4194304 4196468 140729682791840 139762412747824 139762946808450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 31488 KiB

[startup+0.218464 s]*
/proc/loadavg: 1.35 1.80 1.96 10/219 2184
/proc/meminfo: memFree=8988232/32770624 swapFree=67108860/67108860
[pid=2149] ppid=2145 vsize=14082740 memory=47424 CPUtime=0.32 cores=1,3,5,7
/proc/2149/stat : 2149 (java) S 2145 2149 32243 0 -1 1077944320 10470 0 0 0 30 2 0 0 20 0 15 0 77980005 14420725760 11856 33554432000 4194304 4196468 140729682791840 140729682774384 139762946797303 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
/proc/2149/statm: 3520685 11856 3363 1 0 3482761 0
[pid=2149/tid=2155] ppid=2145 vsize=14082740 memory=7022364594140610616 CPUtime=0.21 cores=1,3,5,7
/proc/2149/task/2155/stat : 2155 (java) R 2145 2149 32243 0 -1 4202560 8175 0 0 0 19 2 0 0 20 0 15 0 77980005 14420725760 11856 33554432000 4194304 4196468 140729682791840 139762951021072 139762930840933 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2157] ppid=2145 vsize=14082740 memory=343 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2157/stat : 2157 (java) S 2145 2149 32243 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77980006 14420725760 11856 33554432000 4194304 4196468 140729682791840 139762876885520 139762946807509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2158] ppid=2145 vsize=14082740 memory=288370262553327232 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2158/stat : 2158 (java) S 2145 2149 32243 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77980006 14420725760 11856 33554432000 4194304 4196468 140729682791840 139762875832976 139762946807509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2159] ppid=2145 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2159/stat : 2159 (java) S 2145 2149 32243 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77980006 14420725760 11856 33554432000 4194304 4196468 140729682791840 139762874779920 139762946807509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2161] ppid=2145 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2161/stat : 2161 (java) S 2145 2149 32243 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77980006 14420725760 11856 33554432000 4194304 4196468 140729682791840 139762873727376 139762946807509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2165] ppid=2145 vsize=14082740 memory=139886401615488 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2165/stat : 2165 (java) S 2145 2149 32243 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 77980007 14420725760 11856 33554432000 4194304 4196468 140729682791840 139762421168880 139762946808450 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2167] ppid=2145 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2167/stat : 2167 (java) S 2145 2149 32243 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 77980008 14420725760 11856 33554432000 4194304 4196468 140729682791840 139762420115104 139762946807509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2169] ppid=2145 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2169/stat : 2169 (java) S 2145 2149 32243 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 77980008 14420725760 11856 33554432000 4194304 4196468 140729682791840 139762419062000 139762946807509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2173] ppid=2145 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2173/stat : 2173 (java) S 2145 2149 32243 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77980010 14420725760 11856 33554432000 4194304 4196468 140729682791840 139762418010576 139762946815899 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2175] ppid=2145 vsize=14082740 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/2149/task/2175/stat : 2175 (java) S 2145 2149 32243 0 -1 1077944384 459 0 0 0 2 0 0 0 20 0 15 0 77980010 14420725760 11856 33554432000 4194304 4196468 140729682791840 139762416957680 139762946808450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2178] ppid=2145 vsize=14082740 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/2149/task/2178/stat : 2178 (java) R 2145 2149 32243 0 -1 1077944384 159 0 0 0 2 0 0 0 20 0 15 0 77980010 14420725760 11856 33554432000 4194304 4196468 140729682791840 139762415905136 139762946808450 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2180] ppid=2145 vsize=14082740 memory=139886401615488 CPUtime=0.07 cores=1,3,5,7
/proc/2149/task/2180/stat : 2180 (java) R 2145 2149 32243 0 -1 4202560 302 0 0 0 7 0 0 0 20 0 15 0 77980010 14420725760 11856 33554432000 4194304 4196468 140729682791840 139762414852080 139762946809238 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2182] ppid=2145 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2182/stat : 2182 (java) S 2145 2149 32243 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77980011 14420725760 11856 33554432000 4194304 4196468 140729682791840 139762413799776 139762946807509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2184] ppid=2145 vsize=14082740 memory=139886401615488 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2184/stat : 2184 (java) S 2145 2149 32243 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77980011 14420725760 11856 33554432000 4194304 4196468 140729682791840 139762412747824 139762946808450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 47424 KiB

[startup+0.310597 s]*
/proc/loadavg: 1.35 1.80 1.96 3/219 2184
/proc/meminfo: memFree=8981532/32770624 swapFree=67108860/67108860
[pid=2149] ppid=2145 vsize=14082740 memory=50872 CPUtime=0.45 cores=1,3,5,7
/proc/2149/stat : 2149 (java) S 2145 2149 32243 0 -1 1077944320 10806 0 0 0 42 3 0 0 20 0 15 0 77980005 14420725760 12718 33554432000 4194304 4196468 140729682791840 140729682774384 139762946797303 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
/proc/2149/statm: 3520685 12718 3411 1 0 3482761 0
[pid=2149/tid=2155] ppid=2145 vsize=14082740 memory=6935054825532540783 CPUtime=0.29 cores=1,3,5,7
/proc/2149/task/2155/stat : 2155 (java) R 2145 2149 32243 0 -1 4202560 8484 0 0 0 27 2 0 0 20 0 15 0 77980005 14420725760 12718 33554432000 4194304 4196468 140729682791840 139762951008816 139762928360878 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2157] ppid=2145 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2157/stat : 2157 (java) S 2145 2149 32243 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77980006 14420725760 12718 33554432000 4194304 4196468 140729682791840 139762876885520 139762946807509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2158] ppid=2145 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2158/stat : 2158 (java) S 2145 2149 32243 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77980006 14420725760 12718 33554432000 4194304 4196468 140729682791840 139762875832976 139762946807509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2159] ppid=2145 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2159/stat : 2159 (java) S 2145 2149 32243 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77980006 14420725760 12718 33554432000 4194304 4196468 140729682791840 139762874779920 139762946807509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2161] ppid=2145 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2161/stat : 2161 (java) S 2145 2149 32243 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77980006 14420725760 12718 33554432000 4194304 4196468 140729682791840 139762873727376 139762946807509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2165] ppid=2145 vsize=14082740 memory=139886279624143 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2165/stat : 2165 (java) S 2145 2149 32243 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 77980007 14420725760 12718 33554432000 4194304 4196468 140729682791840 139762421168880 139762946808450 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2167] ppid=2145 vsize=14082740 memory=67 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2167/stat : 2167 (java) S 2145 2149 32243 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 77980008 14420725760 12718 33554432000 4194304 4196468 140729682791840 139762420115104 139762946807509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2169] ppid=2145 vsize=14082740 memory=51172 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2169/stat : 2169 (java) S 2145 2149 32243 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 77980008 14420725760 12718 33554432000 4194304 4196468 140729682791840 139762419062000 139762946807509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2173] ppid=2145 vsize=14082740 memory=53476 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2173/stat : 2173 (java) S 2145 2149 32243 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77980010 14420725760 12718 33554432000 4194304 4196468 140729682791840 139762418010576 139762946815899 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2175] ppid=2145 vsize=14082740 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/2149/task/2175/stat : 2175 (java) S 2145 2149 32243 0 -1 1077944384 474 0 0 0 3 0 0 0 20 0 15 0 77980010 14420725760 12718 33554432000 4194304 4196468 140729682791840 139762416957680 139762946808450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2178] ppid=2145 vsize=14082740 memory=139886279624207 CPUtime=0.02 cores=1,3,5,7
/proc/2149/task/2178/stat : 2178 (java) S 2145 2149 32243 0 -1 1077944384 159 0 0 0 2 0 0 0 20 0 15 0 77980010 14420725760 12718 33554432000 4194304 4196468 140729682791840 139762415905136 139762946808450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2180] ppid=2145 vsize=14082740 memory=279772681141256 CPUtime=0.08 cores=1,3,5,7
/proc/2149/task/2180/stat : 2180 (java) S 2145 2149 32243 0 -1 1077944384 307 0 0 0 8 0 0 0 20 0 15 0 77980010 14420725760 12718 33554432000 4194304 4196468 140729682791840 139762414852080 139762946808450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2182] ppid=2145 vsize=14082740 memory=139886279661199 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2182/stat : 2182 (java) S 2145 2149 32243 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77980011 14420725760 12718 33554432000 4194304 4196468 140729682791840 139762413799776 139762946807509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2184] ppid=2145 vsize=14082740 memory=139886401615498 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2184/stat : 2184 (java) S 2145 2149 32243 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77980011 14420725760 12718 33554432000 4194304 4196468 140729682791840 139762412747824 139762946808450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
Current children cumulated CPU time: 0.45 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 50872 KiB

[startup+0.700775 s]
/proc/loadavg: 1.35 1.80 1.96 5/219 2184
/proc/meminfo: memFree=8933412/32770624 swapFree=67108860/67108860
[pid=2149] ppid=2145 vsize=14084808 memory=88972 CPUtime=1 cores=1,3,5,7
/proc/2149/stat : 2149 (java) S 2145 2149 32243 0 -1 1077944320 17639 0 0 0 95 5 0 0 20 0 15 0 77980005 14422843392 22243 33554432000 4194304 4196468 140729682791840 140729682774384 139762946797303 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
/proc/2149/statm: 3521202 22243 3499 1 0 3483273 0
[pid=2149/tid=2155] ppid=2145 vsize=14084808 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/2149/task/2155/stat : 2155 (java) R 2145 2149 32243 0 -1 4202560 14941 0 0 0 64 4 0 0 20 0 15 0 77980005 14422843392 22243 33554432000 4194304 4196468 140729682791840 139762951012208 139762930877790 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2157] ppid=2145 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2157/stat : 2157 (java) S 2145 2149 32243 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77980006 14422843392 22243 33554432000 4194304 4196468 140729682791840 139762876885520 139762946807509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2158] ppid=2145 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2158/stat : 2158 (java) S 2145 2149 32243 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77980006 14422843392 22243 33554432000 4194304 4196468 140729682791840 139762875832976 139762946807509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2159] ppid=2145 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2159/stat : 2159 (java) S 2145 2149 32243 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77980006 14422843392 22243 33554432000 4194304 4196468 140729682791840 139762874779920 139762946807509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2161] ppid=2145 vsize=14084808 memory=149184883727313 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2161/stat : 2161 (java) S 2145 2149 32243 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77980006 14422843392 22243 33554432000 4194304 4196468 140729682791840 139762873727376 139762946807509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2165] ppid=2145 vsize=14084808 memory=437557 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2165/stat : 2165 (java) S 2145 2149 32243 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 77980007 14422843392 22243 33554432000 4194304 4196468 140729682791840 139762421168880 139762946808450 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2167] ppid=2145 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2167/stat : 2167 (java) S 2145 2149 32243 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 77980008 14422843392 22243 33554432000 4194304 4196468 140729682791840 139762420115104 139762946807509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2169] ppid=2145 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2169/stat : 2169 (java) S 2145 2149 32243 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 77980008 14422843392 22243 33554432000 4194304 4196468 140729682791840 139762419062000 139762946807509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2173] ppid=2145 vsize=14084808 memory=279772559076256 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2173/stat : 2173 (java) S 2145 2149 32243 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77980010 14422843392 22243 33554432000 4194304 4196468 140729682791840 139762418010576 139762946815899 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2175] ppid=2145 vsize=14084808 memory=19153 CPUtime=0.09 cores=1,3,5,7
/proc/2149/task/2175/stat : 2175 (java) S 2145 2149 32243 0 -1 1077944384 637 0 0 0 9 0 0 0 20 0 15 0 77980010 14422843392 22243 33554432000 4194304 4196468 140729682791840 139762416957680 139762946808450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2178] ppid=2145 vsize=14084808 memory=279772559048944 CPUtime=0.06 cores=1,3,5,7
/proc/2149/task/2178/stat : 2178 (java) S 2145 2149 32243 0 -1 1077944384 285 0 0 0 6 0 0 0 20 0 15 0 77980010 14422843392 22243 33554432000 4194304 4196468 140729682791840 139762415905136 139762946808450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2180] ppid=2145 vsize=14084808 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/2149/task/2180/stat : 2180 (java) S 2145 2149 32243 0 -1 1077944384 395 0 0 0 15 0 0 0 20 0 15 0 77980010 14422843392 22243 33554432000 4194304 4196468 140729682791840 139762414852080 139762946808450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2182] ppid=2145 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2182/stat : 2182 (java) S 2145 2149 32243 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77980011 14422843392 22243 33554432000 4194304 4196468 140729682791840 139762413799776 139762946807509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2184] ppid=2145 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2184/stat : 2184 (java) S 2145 2149 32243 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77980011 14422843392 22243 33554432000 4194304 4196468 140729682791840 139762412747824 139762946808450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 88972 KiB

[startup+1.50367 s]
/proc/loadavg: 1.64 1.85 1.98 9/219 2184
/proc/meminfo: memFree=8826812/32770624 swapFree=67108860/67108860
[pid=2149] ppid=2145 vsize=14088904 memory=231768 CPUtime=3.47 cores=1,3,5,7
/proc/2149/stat : 2149 (java) S 2145 2149 32243 0 -1 1077944320 25994 0 0 0 337 10 0 0 20 0 15 0 77980005 14427037696 57942 33554432000 4194304 4196468 140729682791840 140729682774384 139762946797303 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
/proc/2149/statm: 3522226 57942 3579 1 0 3484297 0
[pid=2149/tid=2155] ppid=2145 vsize=14088904 memory=7232890293113415765 CPUtime=1.44 cores=1,3,5,7
/proc/2149/task/2155/stat : 2155 (java) R 2145 2149 32243 0 -1 1077944384 17320 0 0 0 138 6 0 0 20 0 15 0 77980005 14427037696 57942 33554432000 4194304 4196468 140729682791840 139762951031520 139762946807509 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2157] ppid=2145 vsize=14088904 memory=7232890293113415765 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2157/stat : 2157 (java) S 2145 2149 32243 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 77980006 14427037696 57942 33554432000 4194304 4196468 140729682791840 139762876885520 139762946807509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2158] ppid=2145 vsize=14088904 memory=229144 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2158/stat : 2158 (java) S 2145 2149 32243 0 -1 1077944384 232 0 0 0 0 0 0 0 20 0 15 0 77980006 14427037696 57942 33554432000 4194304 4196468 140729682791840 139762875832976 139762946807509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2159] ppid=2145 vsize=14088904 memory=12848 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2159/stat : 2159 (java) S 2145 2149 32243 0 -1 1077944384 107 0 0 0 0 0 0 0 20 0 15 0 77980006 14427037696 57942 33554432000 4194304 4196468 140729682791840 139762874779920 139762946807509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2161] ppid=2145 vsize=14088904 memory=279772559498560 CPUtime=0.01 cores=1,3,5,7
/proc/2149/task/2161/stat : 2161 (java) S 2145 2149 32243 0 -1 1077944384 106 0 0 0 1 0 0 0 20 0 15 0 77980006 14427037696 57942 33554432000 4194304 4196468 140729682791840 139762873727376 139762946807509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2165] ppid=2145 vsize=14088904 memory=-1161699032756226647 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2165/stat : 2165 (java) S 2145 2149 32243 0 -1 1077944384 188 0 0 0 0 0 0 0 20 0 15 0 77980007 14427037696 57942 33554432000 4194304 4196468 140729682791840 139762421168880 139762946808450 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0

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

/proc/2149/task/2155/stat : 2155 (java) R 2145 2149 32243 0 -1 4202560 96288 0 0 0 223748 82 0 0 20 0 15 0 77980005 14431232000 534983 33554432000 4194304 4196468 140729682791840 139762951035488 139762562491649 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2157] ppid=2145 vsize=14093000 memory=2139932 CPUtime=14.67 cores=1,3,5,7
/proc/2149/task/2157/stat : 2157 (java) S 2145 2149 32243 0 -1 1077944384 33932 0 0 0 1414 53 0 0 20 0 15 0 77980006 14431232000 534983 33554432000 4194304 4196468 140729682791840 139762876885520 139762946807509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2158] ppid=2145 vsize=14093000 memory=2139932 CPUtime=14.61 cores=1,3,5,7
/proc/2149/task/2158/stat : 2158 (java) S 2145 2149 32243 0 -1 1077944384 33948 0 0 0 1413 48 0 0 20 0 15 0 77980006 14431232000 534983 33554432000 4194304 4196468 140729682791840 139762875832976 139762946807509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2159] ppid=2145 vsize=14093000 memory=193 CPUtime=14.67 cores=1,3,5,7
/proc/2149/task/2159/stat : 2159 (java) S 2145 2149 32243 0 -1 1077944384 31763 0 0 0 1420 47 0 0 20 0 15 0 77980006 14431232000 534983 33554432000 4194304 4196468 140729682791840 139762874779920 139762946807509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2161] ppid=2145 vsize=14093000 memory=2139932 CPUtime=14.67 cores=1,3,5,7
/proc/2149/task/2161/stat : 2161 (java) S 2145 2149 32243 0 -1 1077944384 28375 0 0 0 1419 48 0 0 20 0 15 0 77980006 14431232000 534983 33554432000 4194304 4196468 140729682791840 139762873727376 139762946807509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2165] ppid=2145 vsize=14093000 memory=2139932 CPUtime=5.87 cores=1,3,5,7
/proc/2149/task/2165/stat : 2165 (java) S 2145 2149 32243 0 -1 1077944384 38496 0 0 0 534 53 0 0 20 0 15 0 77980007 14431232000 534983 33554432000 4194304 4196468 140729682791840 139762421168880 139762946808450 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2167] ppid=2145 vsize=14093000 memory=2139932 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2167/stat : 2167 (java) S 2145 2149 32243 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 77980008 14431232000 534983 33554432000 4194304 4196468 140729682791840 139762420115168 139762946807509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2169] ppid=2145 vsize=14093000 memory=2139932 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2169/stat : 2169 (java) S 2145 2149 32243 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 77980008 14431232000 534983 33554432000 4194304 4196468 140729682791840 139762419062016 139762946807509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2173] ppid=2145 vsize=14093000 memory=2139932 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2173/stat : 2173 (java) S 2145 2149 32243 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77980010 14431232000 534983 33554432000 4194304 4196468 140729682791840 139762418010576 139762946815899 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2175] ppid=2145 vsize=14093000 memory=2139932 CPUtime=4.02 cores=1,3,5,7
/proc/2149/task/2175/stat : 2175 (java) S 2145 2149 32243 0 -1 1077944384 9724 0 0 0 399 3 0 0 20 0 15 0 77980010 14431232000 534983 33554432000 4194304 4196468 140729682791840 139762416957680 139762946808450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2178] ppid=2145 vsize=14093000 memory=2139932 CPUtime=3.69 cores=1,3,5,7
/proc/2149/task/2178/stat : 2178 (java) S 2145 2149 32243 0 -1 1077944384 10172 0 0 0 368 1 0 0 20 0 15 0 77980010 14431232000 534983 33554432000 4194304 4196468 140729682791840 139762415905136 139762946808450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2180] ppid=2145 vsize=14093000 memory=2292 CPUtime=1.51 cores=1,3,5,7
/proc/2149/task/2180/stat : 2180 (java) S 2145 2149 32243 0 -1 1077944384 11387 0 0 0 148 3 0 0 20 0 15 0 77980010 14431232000 534983 33554432000 4194304 4196468 140729682791840 139762414852080 139762946808450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2182] ppid=2145 vsize=14093000 memory=2139932 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2182/stat : 2182 (java) S 2145 2149 32243 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77980011 14431232000 534983 33554432000 4194304 4196468 140729682791840 139762413799776 139762946807509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2184] ppid=2145 vsize=14093000 memory=6935054825532540783 CPUtime=1.38 cores=1,3,5,7
/proc/2149/task/2184/stat : 2184 (java) S 2145 2149 32243 0 -1 1077944384 1584 0 0 0 57 81 0 0 20 0 15 0 77980011 14431232000 534983 33554432000 4194304 4196468 140729682791840 139762412747824 139762946808450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
Current children cumulated CPU time: 2313.49 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 2139932 KiB

[startup+2322.3 s]
/proc/loadavg: 1.12 1.25 1.40 3/216 2282
/proc/meminfo: memFree=6217024/32770624 swapFree=67108860/67108860
[pid=2149] ppid=2145 vsize=14093000 memory=2139932 CPUtime=2374.57 cores=1,3,5,7
/proc/2149/stat : 2149 (java) S 2145 2149 32243 0 -1 1077944320 299311 0 0 0 237076 381 0 0 20 0 15 0 77980005 14431232000 534983 33554432000 4194304 4196468 140729682791840 140729682774384 139762946797303 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
/proc/2149/statm: 3523250 534983 3615 1 0 3485321 0
[pid=2149/tid=2155] ppid=2145 vsize=14093000 memory=2139932 CPUtime=2297.65 cores=1,3,5,7
/proc/2149/task/2155/stat : 2155 (java) R 2145 2149 32243 0 -1 4202560 97461 0 0 0 229682 83 0 0 20 0 15 0 77980005 14431232000 534983 33554432000 4194304 4196468 140729682791840 139762951035104 139762563005284 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2157] ppid=2145 vsize=14093000 memory=2139932 CPUtime=15.04 cores=1,3,5,7
/proc/2149/task/2157/stat : 2157 (java) S 2145 2149 32243 0 -1 1077944384 34048 0 0 0 1450 54 0 0 20 0 15 0 77980006 14431232000 534983 33554432000 4194304 4196468 140729682791840 139762876885520 139762946807509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2158] ppid=2145 vsize=14093000 memory=2139932 CPUtime=14.98 cores=1,3,5,7
/proc/2149/task/2158/stat : 2158 (java) S 2145 2149 32243 0 -1 1077944384 34007 0 0 0 1448 50 0 0 20 0 15 0 77980006 14431232000 534983 33554432000 4194304 4196468 140729682791840 139762875832976 139762946807509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2159] ppid=2145 vsize=14093000 memory=0 CPUtime=15.02 cores=1,3,5,7
/proc/2149/task/2159/stat : 2159 (java) S 2145 2149 32243 0 -1 1077944384 31976 0 0 0 1454 48 0 0 20 0 15 0 77980006 14431232000 534983 33554432000 4194304 4196468 140729682791840 139762874779920 139762946807509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2161] ppid=2145 vsize=14093000 memory=2139932 CPUtime=15.03 cores=1,3,5,7
/proc/2149/task/2161/stat : 2161 (java) S 2145 2149 32243 0 -1 1077944384 28624 0 0 0 1454 49 0 0 20 0 15 0 77980006 14431232000 534983 33554432000 4194304 4196468 140729682791840 139762873727376 139762946807509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2165] ppid=2145 vsize=14093000 memory=2139932 CPUtime=6.1 cores=1,3,5,7
/proc/2149/task/2165/stat : 2165 (java) S 2145 2149 32243 0 -1 1077944384 38852 0 0 0 556 54 0 0 20 0 15 0 77980007 14431232000 534983 33554432000 4194304 4196468 140729682791840 139762421168880 139762946808450 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2167] ppid=2145 vsize=14093000 memory=279772559401728 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2167/stat : 2167 (java) S 2145 2149 32243 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 77980008 14431232000 534983 33554432000 4194304 4196468 140729682791840 139762420115168 139762946807509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2169] ppid=2145 vsize=14093000 memory=2139932 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2169/stat : 2169 (java) S 2145 2149 32243 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 77980008 14431232000 534983 33554432000 4194304 4196468 140729682791840 139762419062016 139762946807509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2173] ppid=2145 vsize=14093000 memory=2139932 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2173/stat : 2173 (java) S 2145 2149 32243 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77980010 14431232000 534983 33554432000 4194304 4196468 140729682791840 139762418010576 139762946815899 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2175] ppid=2145 vsize=14093000 memory=2139932 CPUtime=4.02 cores=1,3,5,7
/proc/2149/task/2175/stat : 2175 (java) S 2145 2149 32243 0 -1 1077944384 9728 0 0 0 399 3 0 0 20 0 15 0 77980010 14431232000 534983 33554432000 4194304 4196468 140729682791840 139762416957680 139762946808450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2178] ppid=2145 vsize=14093000 memory=2139932 CPUtime=3.69 cores=1,3,5,7
/proc/2149/task/2178/stat : 2178 (java) S 2145 2149 32243 0 -1 1077944384 10178 0 0 0 368 1 0 0 20 0 15 0 77980010 14431232000 534983 33554432000 4194304 4196468 140729682791840 139762415905136 139762946808450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2180] ppid=2145 vsize=14093000 memory=2139932 CPUtime=1.51 cores=1,3,5,7
/proc/2149/task/2180/stat : 2180 (java) S 2145 2149 32243 0 -1 1077944384 11391 0 0 0 148 3 0 0 20 0 15 0 77980010 14431232000 534983 33554432000 4194304 4196468 140729682791840 139762414852080 139762946808450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2182] ppid=2145 vsize=14093000 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2182/stat : 2182 (java) S 2145 2149 32243 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77980011 14431232000 534983 33554432000 4194304 4196468 140729682791840 139762413799776 139762946807509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2184] ppid=2145 vsize=14093000 memory=2139932 CPUtime=1.42 cores=1,3,5,7
/proc/2149/task/2184/stat : 2184 (java) S 2145 2149 32243 0 -1 1077944384 1610 0 0 0 60 82 0 0 20 0 15 0 77980011 14431232000 534983 33554432000 4194304 4196468 140729682791840 139762412747824 139762946808450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
Current children cumulated CPU time: 2374.57 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 2139932 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2347.3 s]
/proc/loadavg: 1.30 1.28 1.40 3/216 2283
/proc/meminfo: memFree=6210860/32770624 swapFree=67108860/67108860
[pid=2149] ppid=2145 vsize=14093000 memory=2139932 CPUtime=2400.02 cores=1,3,5,7
/proc/2149/stat : 2149 (java) S 2145 2149 32243 0 -1 1077944320 300417 0 0 0 239617 385 0 0 20 0 15 0 77980005 14431232000 534983 33554432000 4194304 4196468 140729682791840 140729682774384 139762946797303 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
/proc/2149/statm: 3523250 534983 3615 1 0 3485321 0
[pid=2149/tid=2155] ppid=2145 vsize=14093000 memory=2139932 CPUtime=2322.36 cores=1,3,5,7
/proc/2149/task/2155/stat : 2155 (java) R 2145 2149 32243 0 -1 4202560 98012 0 0 0 232152 84 0 0 20 0 15 0 77980005 14431232000 534983 33554432000 4194304 4196468 140729682791840 139762951035264 139762563177970 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2157] ppid=2145 vsize=14093000 memory=2139932 CPUtime=15.2 cores=1,3,5,7
/proc/2149/task/2157/stat : 2157 (java) S 2145 2149 32243 0 -1 1077944384 34095 0 0 0 1465 55 0 0 20 0 15 0 77980006 14431232000 534983 33554432000 4194304 4196468 140729682791840 139762876885520 139762946807509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2158] ppid=2145 vsize=14093000 memory=2139932 CPUtime=15.14 cores=1,3,5,7
/proc/2149/task/2158/stat : 2158 (java) S 2145 2149 32243 0 -1 1077944384 34054 0 0 0 1464 50 0 0 20 0 15 0 77980006 14431232000 534983 33554432000 4194304 4196468 140729682791840 139762875832976 139762946807509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2159] ppid=2145 vsize=14093000 memory=2139932 CPUtime=15.18 cores=1,3,5,7
/proc/2149/task/2159/stat : 2159 (java) S 2145 2149 32243 0 -1 1077944384 32011 0 0 0 1469 49 0 0 20 0 15 0 77980006 14431232000 534983 33554432000 4194304 4196468 140729682791840 139762874779920 139762946807509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2161] ppid=2145 vsize=14093000 memory=2200 CPUtime=15.18 cores=1,3,5,7
/proc/2149/task/2161/stat : 2161 (java) S 2145 2149 32243 0 -1 1077944384 28852 0 0 0 1469 49 0 0 20 0 15 0 77980006 14431232000 534983 33554432000 4194304 4196468 140729682791840 139762873727376 139762946807509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2165] ppid=2145 vsize=14093000 memory=2139932 CPUtime=6.2 cores=1,3,5,7
/proc/2149/task/2165/stat : 2165 (java) S 2145 2149 32243 0 -1 1077944384 39030 0 0 0 565 55 0 0 20 0 15 0 77980007 14431232000 534983 33554432000 4194304 4196468 140729682791840 139762421168880 139762946808450 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2167] ppid=2145 vsize=14093000 memory=2139932 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2167/stat : 2167 (java) S 2145 2149 32243 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 77980008 14431232000 534983 33554432000 4194304 4196468 140729682791840 139762420115168 139762946807509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2169] ppid=2145 vsize=14093000 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2169/stat : 2169 (java) S 2145 2149 32243 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 77980008 14431232000 534983 33554432000 4194304 4196468 140729682791840 139762419062016 139762946807509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2173] ppid=2145 vsize=14093000 memory=2139932 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2173/stat : 2173 (java) S 2145 2149 32243 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77980010 14431232000 534983 33554432000 4194304 4196468 140729682791840 139762418010576 139762946815899 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2175] ppid=2145 vsize=14093000 memory=2139932 CPUtime=4.02 cores=1,3,5,7
/proc/2149/task/2175/stat : 2175 (java) S 2145 2149 32243 0 -1 1077944384 9730 0 0 0 399 3 0 0 20 0 15 0 77980010 14431232000 534983 33554432000 4194304 4196468 140729682791840 139762416957680 139762946808450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2178] ppid=2145 vsize=14093000 memory=2139932 CPUtime=3.69 cores=1,3,5,7
/proc/2149/task/2178/stat : 2178 (java) S 2145 2149 32243 0 -1 1077944384 10181 0 0 0 368 1 0 0 20 0 15 0 77980010 14431232000 534983 33554432000 4194304 4196468 140729682791840 139762415905136 139762946808450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2180] ppid=2145 vsize=14093000 memory=2139932 CPUtime=1.51 cores=1,3,5,7
/proc/2149/task/2180/stat : 2180 (java) S 2145 2149 32243 0 -1 1077944384 11393 0 0 0 148 3 0 0 20 0 15 0 77980010 14431232000 534983 33554432000 4194304 4196468 140729682791840 139762414852080 139762946808450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2182] ppid=2145 vsize=14093000 memory=2139932 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2182/stat : 2182 (java) S 2145 2149 32243 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77980011 14431232000 534983 33554432000 4194304 4196468 140729682791840 139762413799776 139762946807509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2184] ppid=2145 vsize=14093000 memory=2139932 CPUtime=1.44 cores=1,3,5,7
/proc/2149/task/2184/stat : 2184 (java) S 2145 2149 32243 0 -1 1077944384 1623 0 0 0 60 84 0 0 20 0 15 0 77980011 14431232000 534983 33554432000 4194304 4196468 140729682791840 139762412747824 139762946808450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 2139932 KiB

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

[startup+2347.33 s]
# the end of solver process 2149 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2396.2 s, system=3.86371 s

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

[startup+2347.3 s]
/proc/loadavg: 1.30 1.28 1.40 3/216 2283
/proc/meminfo: memFree=6210860/32770624 swapFree=67108860/67108860
[pid=2149] ppid=2145 vsize=14093000 memory=2139932 CPUtime=2400.02 cores=1,3,5,7
/proc/2149/stat : 2149 (java) S 2145 2149 32243 0 -1 1077944320 300417 0 0 0 239617 385 0 0 20 0 15 0 77980005 14431232000 534983 33554432000 4194304 4196468 140729682791840 140729682774384 139762946797303 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
/proc/2149/statm: 3523250 534983 3615 1 0 3485321 0
[pid=2149/tid=2155] ppid=2145 vsize=14093000 memory=2139932 CPUtime=2322.36 cores=1,3,5,7
/proc/2149/task/2155/stat : 2155 (java) R 2145 2149 32243 0 -1 4202560 98012 0 0 0 232152 84 0 0 20 0 15 0 77980005 14431232000 534983 33554432000 4194304 4196468 140729682791840 139762951035264 139762563177970 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2157] ppid=2145 vsize=14093000 memory=2139932 CPUtime=15.2 cores=1,3,5,7
/proc/2149/task/2157/stat : 2157 (java) S 2145 2149 32243 0 -1 1077944384 34095 0 0 0 1465 55 0 0 20 0 15 0 77980006 14431232000 534983 33554432000 4194304 4196468 140729682791840 139762876885520 139762946807509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2158] ppid=2145 vsize=14093000 memory=2139932 CPUtime=15.14 cores=1,3,5,7
/proc/2149/task/2158/stat : 2158 (java) S 2145 2149 32243 0 -1 1077944384 34054 0 0 0 1464 50 0 0 20 0 15 0 77980006 14431232000 534983 33554432000 4194304 4196468 140729682791840 139762875832976 139762946807509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2159] ppid=2145 vsize=14093000 memory=2139932 CPUtime=15.18 cores=1,3,5,7
/proc/2149/task/2159/stat : 2159 (java) S 2145 2149 32243 0 -1 1077944384 32011 0 0 0 1469 49 0 0 20 0 15 0 77980006 14431232000 534983 33554432000 4194304 4196468 140729682791840 139762874779920 139762946807509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2161] ppid=2145 vsize=14093000 memory=2200 CPUtime=15.18 cores=1,3,5,7
/proc/2149/task/2161/stat : 2161 (java) S 2145 2149 32243 0 -1 1077944384 28852 0 0 0 1469 49 0 0 20 0 15 0 77980006 14431232000 534983 33554432000 4194304 4196468 140729682791840 139762873727376 139762946807509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2165] ppid=2145 vsize=14093000 memory=2139932 CPUtime=6.2 cores=1,3,5,7
/proc/2149/task/2165/stat : 2165 (java) S 2145 2149 32243 0 -1 1077944384 39030 0 0 0 565 55 0 0 20 0 15 0 77980007 14431232000 534983 33554432000 4194304 4196468 140729682791840 139762421168880 139762946808450 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2167] ppid=2145 vsize=14093000 memory=2139932 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2167/stat : 2167 (java) S 2145 2149 32243 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 77980008 14431232000 534983 33554432000 4194304 4196468 140729682791840 139762420115168 139762946807509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2169] ppid=2145 vsize=14093000 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2169/stat : 2169 (java) S 2145 2149 32243 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 77980008 14431232000 534983 33554432000 4194304 4196468 140729682791840 139762419062016 139762946807509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2173] ppid=2145 vsize=14093000 memory=2139932 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2173/stat : 2173 (java) S 2145 2149 32243 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77980010 14431232000 534983 33554432000 4194304 4196468 140729682791840 139762418010576 139762946815899 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2175] ppid=2145 vsize=14093000 memory=2139932 CPUtime=4.02 cores=1,3,5,7
/proc/2149/task/2175/stat : 2175 (java) S 2145 2149 32243 0 -1 1077944384 9730 0 0 0 399 3 0 0 20 0 15 0 77980010 14431232000 534983 33554432000 4194304 4196468 140729682791840 139762416957680 139762946808450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2178] ppid=2145 vsize=14093000 memory=2139932 CPUtime=3.69 cores=1,3,5,7
/proc/2149/task/2178/stat : 2178 (java) S 2145 2149 32243 0 -1 1077944384 10181 0 0 0 368 1 0 0 20 0 15 0 77980010 14431232000 534983 33554432000 4194304 4196468 140729682791840 139762415905136 139762946808450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2180] ppid=2145 vsize=14093000 memory=2139932 CPUtime=1.51 cores=1,3,5,7
/proc/2149/task/2180/stat : 2180 (java) S 2145 2149 32243 0 -1 1077944384 11393 0 0 0 148 3 0 0 20 0 15 0 77980010 14431232000 534983 33554432000 4194304 4196468 140729682791840 139762414852080 139762946808450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2182] ppid=2145 vsize=14093000 memory=2139932 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2182/stat : 2182 (java) S 2145 2149 32243 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77980011 14431232000 534983 33554432000 4194304 4196468 140729682791840 139762413799776 139762946807509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
[pid=2149/tid=2184] ppid=2145 vsize=14093000 memory=2139932 CPUtime=1.44 cores=1,3,5,7
/proc/2149/task/2184/stat : 2184 (java) S 2145 2149 32243 0 -1 1077944384 1623 0 0 0 60 84 0 0 20 0 15 0 77980011 14431232000 534983 33554432000 4194304 4196468 140729682791840 139762412747824 139762946808450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9551872 140729682797640 140729682797833 140729682797833 140729682800591 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 2139932 KiB

Child status: 143
Real time (s): 2347.33
CPU time (s): 2400.07
CPU user time (s): 2396.2
CPU system time (s): 3.86371
CPU usage (%): 102.247
Max. virtual memory (cumulated for all children) (KiB): 14093000
Max. memory (cumulated for all children) (KiB): 3515172

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.2
system time used= 3.86371
maximum resident set size= 3517476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 301011
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2640
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 203283
involuntary context switches= 7442


# summary of solver processes directly reported to runsolver:
#   pid: 2149
#   total CPU time (s): 2400.07
#   total CPU user time (s): 2396.2
#   total CPU system time (s): 3.86371

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.1594 second user time and 20.1932 second system time

The end

Launcher Data

Begin job on node106 at 2018-07-26 13:22:51
IDJOB=4290309
IDBENCH=141548
IDSOLVER=2743
FILE ID=node106/4290309-1532604171
RUNJOBID= node106-1532604171-2121
PBS_JOBID= 21021967
Free space on /tmp= 46232 MiB

SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-07-02
BENCH NAME= XCSP18/TravelingTournament/TravelingTournament-a3-galaxy16_c18.xml
COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4290309-1532604171/watcher-4290309-1532604171 -o /tmp/evaluation-result-4290309-1532604171/solver-4290309-1532604171 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532604171-2121 --watchdog 2560  java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1548772720 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4290309-1532604171.xml

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

MD5SUM BENCH= e08ad5e9bb2dce0f9ded0033a126b6aa
RANDOM SEED=1548772720

node106.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	: 5334.11
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	: 5334.11
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	: 5334.11
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	: 5334.11
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:         9056064 kB
MemAvailable:   31929592 kB
Buffers:          236664 kB
Cached:         22537716 kB
SwapCached:            0 kB
Active:          2922728 kB
Inactive:       19906704 kB
Active(anon):      32872 kB
Inactive(anon):    50636 kB
Active(file):    2889856 kB
Inactive(file): 19856068 kB
Unevictable:        6944 kB
Mlocked:            6944 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             72020 kB
Writeback:             0 kB
AnonPages:         62824 kB
Mapped:            40644 kB
Shmem:             25228 kB
Slab:             583236 kB
SReclaimable:     556064 kB
SUnreclaim:        27172 kB
KernelStack:        3184 kB
PageTables:         4512 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     325900 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /tmp at the end= 46168 MiB
End job on node106 at 2018-07-26 14:01:59