2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Sat4j-CSP 2018-07-11	SAT (TO)	45	2400.17	2395.53

1.39/0.69	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
1.39/0.69	c This is free software under the dual EPL/GNU LGPL licenses.
1.39/0.69	c See www.sat4j.org for details.
1.39/0.69	c That software uses the Rhino library from the Mozilla project.
1.39/0.69	c version 2.3.6-SNAPSHOT
1.39/0.69	c java.runtime.name	Java(TM) SE Runtime Environment
1.39/0.69	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
1.39/0.69	c java.vm.version	25.131-b11
1.39/0.69	c java.vm.vendor	Oracle Corporation
1.39/0.69	c sun.arch.data.model	64
1.39/0.69	c java.version		1.8.0_131
1.39/0.69	c os.name		Linux
1.39/0.69	c os.version		3.10.0-514.16.1.el7.x86_64
1.39/0.69	c os.arch		amd64
1.39/0.69	c Free memory 		499604488
1.39/0.69	c Max memory 		7247757312
1.39/0.69	c Total memory 		504889344
1.39/0.69	c Number of processors 	4
1.39/0.69	c c --- Begin Solver configuration ---
1.39/0.69	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b71fc7e
1.39/0.69	c Learn all clauses as in MiniSAT
1.39/0.69	c LOGGER=java.util.logging.Logger@25f38edc claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
1.39/0.69	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
1.39/0.69	c No reason simplification
1.39/0.69	c Glucose 2.1 dynamic restart strategy
1.39/0.69	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
1.39/0.69	c timeout=2147483s
1.39/0.69	c DB Simplification allowed=false
1.39/0.69	c Listener: org.sat4j.minisat.core.VoidTracing@1a86f2f1
1.39/0.69	c --- End Solver configuration ---
1.39/0.69	c constraints type 
1.39/0.69	c org.sat4j.minisat.constraints.card.MinWatchCard => 802
1.39/0.69	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 675
1.39/0.69	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 127938
1.39/0.69	c org.sat4j.minisat.constraints.cnf.UnitClause => 750
1.39/0.69	c 130165 constraints processed.
1.68/0.77	o 237
2.01/0.88	o 205
2.64/1.04	o 117
3.14/1.42	o 101
3.14/1.48	o 61
190.94/188.32	o 45
2400.15/2395.50	c starts		: 345
2400.15/2395.50	c conflicts		: 2564419
2400.15/2395.50	c decisions		: 2703402
2400.15/2395.50	c propagations		: 3604460226
2400.15/2395.50	c inspects		: 29616533570
2400.15/2395.50	c shortcuts		: 0
2400.15/2395.50	c learnt literals	: 103
2400.15/2395.50	c learnt binary clauses	: 177
2400.15/2395.50	c learnt ternary clauses	: 1047
2400.15/2395.50	c learnt constraints	: 2564316
2400.15/2395.50	c ignored constraints	: 0
2400.15/2395.50	c root simplifications	: 0
2400.15/2395.50	c removed literals (reason simplification)	: 0
2400.15/2395.50	c reason swapping (by a shorter reason)	: 0
2400.15/2395.50	c Calls to reduceDB	: 83
2400.15/2395.50	c Number of update (reduction) of LBD	: 457255
2400.15/2395.50	c Imported unit clauses	: 0
2400.15/2395.50	c number of reductions to clauses (during analyze)	: 0
2400.15/2395.50	c number of learned constraints concerned by reduction	: 0
2400.15/2395.50	c number of learning phase by resolution	: 0
2400.15/2395.50	c number of learning phase by cutting planes	: 0
2400.15/2395.50	c number of rounding to 1 operations	: 0
2400.15/2395.50	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
2400.15/2395.50	c number of reductions of the coefficients by power 2 	: 0
2400.15/2395.50	c number of right shift for reduction by power 2 	: 0
2400.15/2395.50	c number of reductions of the coefficients by GCD over coefficients 	: 0
2400.15/2395.50	c number of ending skipping 	: 0
2400.15/2395.50	c number of internal skipping 	: 0
2400.15/2395.50	c number of derivation steps 	: 0
2400.15/2395.50	c number of skipped derivation steps 	: 0
2400.15/2395.50	c number of remaining unassigned 	: 0
2400.15/2395.50	c number of remaining assigned 	: 0
2400.15/2395.50	c speed (assignments/second)	: 1505113.2348704073
2400.15/2395.50	c non guided choices	: 3649
2400.15/2395.50	s SATISFIABLE
2400.15/2395.51	v <instantiation type="solution">
2400.15/2395.51	v 	<list> x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] y[0][0] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[1][0] y[1][1] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[2][0] y[2][1] y[2][2] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[3][0] y[3][1] y[3][2] y[3][3] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[4][0] y[4][1] y[4][2] y[4][3] y[4][4] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][20] y[4][21] y[4][22] y[4][23] y[4][24] y[5][0] y[5][1] y[5][2] y[5][3] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][20] y[5][21] y[5][22] y[5][23] y[5][24] y[6][0] y[6][1] y[6][2] y[6][3] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][20] y[6][21] y[6][22] y[6][23] y[6][24] y[7][0] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][20] y[7][21] y[7][22] y[7][23] y[7][24] y[8][0] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][20] y[8][21] y[8][22] y[8][23] y[8][24] y[9][0] y[9][1] y[9][2] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] y[9][20] y[9][21] y[9][22] y[9][23] y[9][24] y[10][0] y[10][1] y[10][2] y[10][3] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[10][10] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[10][19] y[10][20] y[10][21] y[10][22] y[10][23] y[10][24] y[11][0] y[11][1] y[11][2] y[11][3] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[11][10] y[11][11] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[11][19] y[11][20] y[11][21] y[11][22] y[11][23] y[11][24] y[12][0] y[12][1] y[12][2] y[12][3] y[12][4] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[12][10] y[12][11] y[12][12] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[12][19] y[12][20] y[12][21] y[12][22] y[12][23] y[12][24] y[13][0] y[13][1] y[13][2] y[13][3] y[13][4] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[13][10] y[13][11] y[13][12] y[13][13] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[13][19] y[13][20] y[13][21] y[13][22] y[13][23] y[13][24] y[14][0] y[14][1] y[14][2] y[14][3] y[14][4] y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[14][15] y[14][16] y[14][17] y[14][18] y[14][19] y[14][20] y[14][21] y[14][22] y[14][23] y[14][24] y[15][0] y[15][1] y[15][2] y[15][3] y[15][4] y[15][5] y[15][6] y[15][7] y[15][8] y[15][9] y[15][10] y[15][11] y[15][12] y[15][13] y[15][14] y[15][15] y[15][16] y[15][17] y[15][18] y[15][19] y[15][20] y[15][21] y[15][22] y[15][23] y[15][24] y[16][0] y[16][1] y[16][2] y[16][3] y[16][4] y[16][5] y[16][6] y[16][7] y[16][8] y[16][9] y[16][10] y[16][11] y[16][12] y[16][13] y[16][14] y[16][15] y[16][16] y[16][17] y[16][18] y[16][19] y[16][20] y[16][21] y[16][22] y[16][23] y[16][24] y[17][0] y[17][1] y[17][2] y[17][3] y[17][4] y[17][5] y[17][6] y[17][7] y[17][8] y[17][9] y[17][10] y[17][11] y[17][12] y[17][13] y[17][14] y[17][15] y[17][16] y[17][17] y[17][18] y[17][19] y[17][20] y[17][21] y[17][22] y[17][23] y[17][24] y[18][0] y[18][1] y[18][2] y[18][3] y[18][4] y[18][5] y[18][6] y[18][7] y[18][8] y[18][9] y[18][10] y[18][11] y[18][12] y[18][13] y[18][14] y[18][15] y[18][16] y[18][17] y[18][18] y[18][19] y[18][20] y[18][21] y[18][22] y[18][23] y[18][24] y[19][0] y[19][1] y[19][2] y[19][3] y[19][4] y[19][5] y[19][6] y[19][7] y[19][8] y[19][9] y[19][10] y[19][11] y[19][12] y[19][13] y[19][14] y[19][15] y[19][16] y[19][17] y[19][18] y[19][19] y[19][20] y[19][21] y[19][22] y[19][23] y[19][24] y[20][0] y[20][1] y[20][2] y[20][3] y[20][4] y[20][5] y[20][6] y[20][7] y[20][8] y[20][9] y[20][10] y[20][11] y[20][12] y[20][13] y[20][14] y[20][15] y[20][16] y[20][17] y[20][18] y[20][19] y[20][20] y[20][21] y[20][22] y[20][23] y[20][24] y[21][0] y[21][1] y[21][2] y[21][3] y[21][4] y[21][5] y[21][6] y[21][7] y[21][8] y[21][9] y[21][10] y[21][11] y[21][12] y[21][13] y[21][14] y[21][15] y[21][16] y[21][17] y[21][18] y[21][19] y[21][20] y[21][21] y[21][22] y[21][23] y[21][24] y[22][0] y[22][1] y[22][2] y[22][3] y[22][4] y[22][5] y[22][6] y[22][7] y[22][8] y[22][9] y[22][10] y[22][11] y[22][12] y[22][13] y[22][14] y[22][15] y[22][16] y[22][17] y[22][18] y[22][19] y[22][20] y[22][21] y[22][22] y[22][23] y[22][24] y[23][0] y[23][1] y[23][2] y[23][3] y[23][4] y[23][5] y[23][6] y[23][7] y[23][8] y[23][9] y[23][10] y[23][11] y[23][12] y[23][13] y[23][14] y[23][15] y[23][16] y[23][17] y[23][18] y[23][19] y[23][20] y[23][21] y[23][22] y[23][23] y[23][24] y[24][0] y[24][1] y[24][2] y[24][3] y[24][4] y[24][5] y[24][6] y[24][7] y[24][8] y[24][9] y[24][10] y[24][11] y[24][12] y[24][13] y[24][14] y[24][15] y[24][16] y[24][17] y[24][18] y[24][19] y[24][20] y[24][21] y[24][22] y[24][23] y[24][24] c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] </list>
2400.15/2395.51	v 	<values> -1 -1 1 -1 -1 1 -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 1 -1 -1 1 1 1 1 1 -1 1 1 1 1 -1 -1 1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 -1 1 1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 1 1 1 -1 1 -1 1 1 -1 -1 -1 1 -1 1 1 -1 -1 -1 -1 1 -1 -1 1 1 1 -1 -1 1 -1 1 -1 1 -1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 1 1 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 1 1 1 -1 1 -1 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 1 -1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 1 1 -1 1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 1 1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 1 -1 1 1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 -1 1 -1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 1 1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 1 0 1 0 1 0 1 0 1 0 1 2 1 2 1 -2 1 -2 -3 2 1 -2 -1 1 0 1 0 1 0 1 0 1 0 1 0 1 4 1 4 1 4 1 4 9 4 1 4 1 </values>
2400.15/2395.51	v </instantiation>
2400.15/2395.51

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4290000-1532217726/watcher-4290000-1532217726 -o /tmp/evaluation-result-4290000-1532217726/solver-4290000-1532217726 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532208144-27125 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4290000-1532217726.xml 

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

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


[startup+0.100124 s]*
/proc/loadavg: 1.99 1.98 2.13 4/217 28386
/proc/meminfo: memFree=15992920/32770624 swapFree=67108860/67108860
[pid=28371] ppid=28368 vsize=10659012 memory=28492 CPUtime=0.12 cores=0,2,4,6
/proc/28371/stat : 28371 (java) S 28368 28371 25074 0 -1 1077944320 6748 0 0 0 11 1 0 0 20 0 15 0 39335780 10914828288 7123 33554432000 4194304 4196468 140724708987216 140724708969760 139973015207671 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
/proc/28371/statm: 2664753 7123 2815 1 0 2627263 0
[pid=28371/tid=28373] ppid=28368 vsize=10659012 memory=-8197568871503268991 CPUtime=0.09 cores=0,2,4,6
/proc/28371/task/28373/stat : 28373 (java) R 28368 28371 25074 0 -1 4202560 4539 0 0 0 8 1 0 0 20 0 15 0 39335780 10914828288 7123 33554432000 4194304 4196468 140724708987216 139973019412336 139972999288158 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28374] ppid=28368 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28371/task/28374/stat : 28374 (java) S 28368 28371 25074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39335781 10914828288 7123 33554432000 4194304 4196468 140724708987216 139972621765392 139973015217877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28375] ppid=28368 vsize=10659012 memory=140662724638336 CPUtime=0 cores=0,2,4,6
/proc/28371/task/28375/stat : 28375 (java) S 28368 28371 25074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39335781 10914828288 7123 33554432000 4194304 4196468 140724708987216 139972620712848 139973015217877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28376] ppid=28368 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28371/task/28376/stat : 28376 (java) S 28368 28371 25074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39335781 10914828288 7123 33554432000 4194304 4196468 140724708987216 139972619660304 139973015217877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28377] ppid=28368 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28371/task/28377/stat : 28377 (java) S 28368 28371 25074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39335781 10914828288 7123 33554432000 4194304 4196468 140724708987216 139972618607760 139973015217877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28378] ppid=28368 vsize=10659012 memory=140662724638336 CPUtime=0 cores=0,2,4,6
/proc/28371/task/28378/stat : 28378 (java) S 28368 28371 25074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39335782 10914828288 7123 33554432000 4194304 4196468 140724708987216 139972118018032 139973015218818 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28379] ppid=28368 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28371/task/28379/stat : 28379 (java) S 28368 28371 25074 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39335783 10914828288 7123 33554432000 4194304 4196468 140724708987216 139972116964256 139973015217877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28380] ppid=28368 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28371/task/28380/stat : 28380 (java) S 28368 28371 25074 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39335783 10914828288 7123 33554432000 4194304 4196468 140724708987216 139972115911664 139973015217877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28381] ppid=28368 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28371/task/28381/stat : 28381 (java) S 28368 28371 25074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39335785 10914828288 7123 33554432000 4194304 4196468 140724708987216 139972114860240 139973015226267 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28382] ppid=28368 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28371/task/28382/stat : 28382 (java) S 28368 28371 25074 0 -1 1077944384 446 0 0 0 0 0 0 0 20 0 15 0 39335785 10914828288 7123 33554432000 4194304 4196468 140724708987216 139972113807856 139973015218818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28383] ppid=28368 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28371/task/28383/stat : 28383 (java) S 28368 28371 25074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39335785 10914828288 7123 33554432000 4194304 4196468 140724708987216 139971670137456 139973015218818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28384] ppid=28368 vsize=10659012 memory=140662724638336 CPUtime=0.02 cores=0,2,4,6
/proc/28371/task/28384/stat : 28384 (java) S 28368 28371 25074 0 -1 1077944384 392 0 0 0 2 0 0 0 20 0 15 0 39335785 10914828288 7123 33554432000 4194304 4196468 140724708987216 139971669084912 139973015218818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28385] ppid=28368 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28371/task/28385/stat : 28385 (java) S 28368 28371 25074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39335786 10914828288 7123 33554432000 4194304 4196468 140724708987216 139971668032608 139973015217877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28386] ppid=28368 vsize=10659012 memory=140662724638336 CPUtime=0 cores=0,2,4,6
/proc/28371/task/28386/stat : 28386 (java) R 28368 28371 25074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39335786 10914828288 7123 33554432000 4194304 4196468 140724708987216 139971666979120 139973015218818 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 28492 KiB

[startup+0.210622 s]*
/proc/loadavg: 1.99 1.98 2.13 4/217 28386
/proc/meminfo: memFree=15980516/32770624 swapFree=67108860/67108860
[pid=28371] ppid=28368 vsize=10659012 memory=40860 CPUtime=0.33 cores=0,2,4,6
/proc/28371/stat : 28371 (java) S 28368 28371 25074 0 -1 1077944320 8316 0 0 0 31 2 0 0 20 0 15 0 39335780 10914828288 10215 33554432000 4194304 4196468 140724708987216 140724708969760 139973015207671 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
/proc/28371/statm: 2664753 10215 3006 1 0 2627263 0
[pid=28371/tid=28373] ppid=28368 vsize=10659012 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/28371/task/28373/stat : 28373 (java) R 28368 28371 25074 0 -1 4202560 5071 0 0 0 19 1 0 0 20 0 15 0 39335780 10914828288 10215 33554432000 4194304 4196468 140724708987216 139973019442640 139972999251301 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28374] ppid=28368 vsize=10659012 memory=339 CPUtime=0 cores=0,2,4,6
/proc/28371/task/28374/stat : 28374 (java) S 28368 28371 25074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39335781 10914828288 10215 33554432000 4194304 4196468 140724708987216 139972621765392 139973015217877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28375] ppid=28368 vsize=10659012 memory=140662724665602 CPUtime=0 cores=0,2,4,6
/proc/28371/task/28375/stat : 28375 (java) S 28368 28371 25074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39335781 10914828288 10215 33554432000 4194304 4196468 140724708987216 139972620712848 139973015217877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28376] ppid=28368 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28371/task/28376/stat : 28376 (java) S 28368 28371 25074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39335781 10914828288 10215 33554432000 4194304 4196468 140724708987216 139972619660304 139973015217877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28377] ppid=28368 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28371/task/28377/stat : 28377 (java) S 28368 28371 25074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39335781 10914828288 10215 33554432000 4194304 4196468 140724708987216 139972618607760 139973015217877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28378] ppid=28368 vsize=10659012 memory=140662724638336 CPUtime=0 cores=0,2,4,6
/proc/28371/task/28378/stat : 28378 (java) S 28368 28371 25074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39335782 10914828288 10215 33554432000 4194304 4196468 140724708987216 139972118018032 139973015218818 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28379] ppid=28368 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28371/task/28379/stat : 28379 (java) S 28368 28371 25074 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39335783 10914828288 10215 33554432000 4194304 4196468 140724708987216 139972116964256 139973015217877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28380] ppid=28368 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28371/task/28380/stat : 28380 (java) S 28368 28371 25074 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39335783 10914828288 10215 33554432000 4194304 4196468 140724708987216 139972115911664 139973015217877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28381] ppid=28368 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28371/task/28381/stat : 28381 (java) S 28368 28371 25074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39335785 10914828288 10215 33554432000 4194304 4196468 140724708987216 139972114860240 139973015226267 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28382] ppid=28368 vsize=10659012 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/28371/task/28382/stat : 28382 (java) S 28368 28371 25074 0 -1 1077944384 863 0 0 0 2 0 0 0 20 0 15 0 39335785 10914828288 10215 33554432000 4194304 4196468 140724708987216 139972113807856 139973015218818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28383] ppid=28368 vsize=10659012 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/28371/task/28383/stat : 28383 (java) S 28368 28371 25074 0 -1 1077944384 185 0 0 0 2 0 0 0 20 0 15 0 39335785 10914828288 10215 33554432000 4194304 4196468 140724708987216 139971670137456 139973015218818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28384] ppid=28368 vsize=10659012 memory=140662724638336 CPUtime=0.07 cores=0,2,4,6
/proc/28371/task/28384/stat : 28384 (java) R 28368 28371 25074 0 -1 4202560 829 0 0 0 7 0 0 0 20 0 15 0 39335785 10914828288 10215 33554432000 4194304 4196468 140724708987216 139971669084912 139972994175185 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28385] ppid=28368 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28371/task/28385/stat : 28385 (java) S 28368 28371 25074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39335786 10914828288 10215 33554432000 4194304 4196468 140724708987216 139971668032608 139973015217877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28386] ppid=28368 vsize=10659012 memory=140662724638336 CPUtime=0 cores=0,2,4,6
/proc/28371/task/28386/stat : 28386 (java) S 28368 28371 25074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39335786 10914828288 10215 33554432000 4194304 4196468 140724708987216 139971666979120 139973015218818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 40860 KiB

[startup+0.319294 s]*
/proc/loadavg: 1.99 1.98 2.13 6/217 28386
/proc/meminfo: memFree=15972080/32770624 swapFree=67108860/67108860
[pid=28371] ppid=28368 vsize=10659088 memory=46352 CPUtime=0.54 cores=0,2,4,6
/proc/28371/stat : 28371 (java) S 28368 28371 25074 0 -1 1077944320 9202 0 0 0 52 2 0 0 20 0 15 0 39335780 10914906112 11588 33554432000 4194304 4196468 140724708987216 140724708969760 139973015207671 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
/proc/28371/statm: 2664772 11588 3062 1 0 2627263 0
[pid=28371/tid=28373] ppid=28368 vsize=10659088 memory=7022364594140610616 CPUtime=0.31 cores=0,2,4,6
/proc/28371/task/28373/stat : 28373 (java) R 28368 28371 25074 0 -1 4202560 5661 0 0 0 30 1 0 0 20 0 15 0 39335780 10914906112 11588 33554432000 4194304 4196468 140724708987216 139973019444416 139973015229597 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28374] ppid=28368 vsize=10659088 memory=4294976236 CPUtime=0 cores=0,2,4,6
/proc/28371/task/28374/stat : 28374 (java) S 28368 28371 25074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39335781 10914906112 11588 33554432000 4194304 4196468 140724708987216 139972621765392 139973015217877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28375] ppid=28368 vsize=10659088 memory=140662724665383 CPUtime=0 cores=0,2,4,6
/proc/28371/task/28375/stat : 28375 (java) S 28368 28371 25074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39335781 10914906112 11588 33554432000 4194304 4196468 140724708987216 139972620712848 139973015217877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28376] ppid=28368 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28371/task/28376/stat : 28376 (java) S 28368 28371 25074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39335781 10914906112 11588 33554432000 4194304 4196468 140724708987216 139972619660304 139973015217877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28377] ppid=28368 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28371/task/28377/stat : 28377 (java) S 28368 28371 25074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39335781 10914906112 11588 33554432000 4194304 4196468 140724708987216 139972618607760 139973015217877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28378] ppid=28368 vsize=10659088 memory=140662724638336 CPUtime=0 cores=0,2,4,6
/proc/28371/task/28378/stat : 28378 (java) S 28368 28371 25074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39335782 10914906112 11588 33554432000 4194304 4196468 140724708987216 139972118018032 139973015218818 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28379] ppid=28368 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28371/task/28379/stat : 28379 (java) S 28368 28371 25074 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39335783 10914906112 11588 33554432000 4194304 4196468 140724708987216 139972116964256 139973015217877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28380] ppid=28368 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28371/task/28380/stat : 28380 (java) S 28368 28371 25074 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39335783 10914906112 11588 33554432000 4194304 4196468 140724708987216 139972115911664 139973015217877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28381] ppid=28368 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28371/task/28381/stat : 28381 (java) S 28368 28371 25074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39335785 10914906112 11588 33554432000 4194304 4196468 140724708987216 139972114860240 139973015226267 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28382] ppid=28368 vsize=10659088 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/28371/task/28382/stat : 28382 (java) R 28368 28371 25074 0 -1 4202560 970 0 0 0 5 0 0 0 20 0 15 0 39335785 10914906112 11588 33554432000 4194304 4196468 140724708987216 139972113807856 139972993374152 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28383] ppid=28368 vsize=10659088 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/28371/task/28383/stat : 28383 (java) R 28368 28371 25074 0 -1 1077944384 213 0 0 0 3 0 0 0 20 0 15 0 39335785 10914906112 11588 33554432000 4194304 4196468 140724708987216 139971670128784 139973015217877 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28384] ppid=28368 vsize=10659088 memory=140662724638336 CPUtime=0.13 cores=0,2,4,6
/proc/28371/task/28384/stat : 28384 (java) R 28368 28371 25074 0 -1 4202560 991 0 0 0 13 0 0 0 20 0 15 0 39335785 10914906112 11588 33554432000 4194304 4196468 140724708987216 139971669079984 139972994161268 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28385] ppid=28368 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28371/task/28385/stat : 28385 (java) S 28368 28371 25074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39335786 10914906112 11588 33554432000 4194304 4196468 140724708987216 139971668032608 139973015217877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28386] ppid=28368 vsize=10659088 memory=140662724638336 CPUtime=0 cores=0,2,4,6
/proc/28371/task/28386/stat : 28386 (java) S 28368 28371 25074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39335786 10914906112 11588 33554432000 4194304 4196468 140724708987216 139971666979120 139973015218818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 46352 KiB

[startup+0.701591 s]
/proc/loadavg: 1.99 1.98 2.13 5/217 28386
/proc/meminfo: memFree=15957980/32770624 swapFree=67108860/67108860
[pid=28371] ppid=28368 vsize=10727700 memory=100688 CPUtime=1.68 cores=0,2,4,6
/proc/28371/stat : 28371 (java) S 28368 28371 25074 0 -1 1077944320 11271 0 0 0 164 4 0 0 20 0 16 0 39335780 10985164800 25172 33554432000 4194304 4196468 140724708987216 140724708969760 139973015207671 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
/proc/28371/statm: 2681925 25172 3105 1 0 2644416 0
[pid=28371/tid=28373] ppid=28368 vsize=10727700 memory=262545176822329 CPUtime=0.67 cores=0,2,4,6
/proc/28371/task/28373/stat : 28373 (java) R 28368 28371 25074 0 -1 4202560 6266 0 0 0 65 2 0 0 20 0 16 0 39335780 10985164800 25172 33554432000 4194304 4196468 140724708987216 139973019443952 139972652381648 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28374] ppid=28368 vsize=10727700 memory=288230376151877798 CPUtime=0 cores=0,2,4,6
/proc/28371/task/28374/stat : 28374 (java) S 28368 28371 25074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 39335781 10985164800 25172 33554432000 4194304 4196468 140724708987216 139972621765392 139973015217877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28375] ppid=28368 vsize=10727700 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28371/task/28375/stat : 28375 (java) S 28368 28371 25074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 39335781 10985164800 25172 33554432000 4194304 4196468 140724708987216 139972620712848 139973015217877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28376] ppid=28368 vsize=10727700 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28371/task/28376/stat : 28376 (java) S 28368 28371 25074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 39335781 10985164800 25172 33554432000 4194304 4196468 140724708987216 139972619660304 139973015217877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28377] ppid=28368 vsize=10727700 memory=7809523229951467568 CPUtime=0 cores=0,2,4,6
/proc/28371/task/28377/stat : 28377 (java) S 28368 28371 25074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 39335781 10985164800 25172 33554432000 4194304 4196468 140724708987216 139972618607760 139973015217877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28378] ppid=28368 vsize=10727700 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28371/task/28378/stat : 28378 (java) S 28368 28371 25074 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 16 0 39335782 10985164800 25172 33554432000 4194304 4196468 140724708987216 139972118018032 139973015218818 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28379] ppid=28368 vsize=10727700 memory=-3472574513799858009 CPUtime=0 cores=0,2,4,6
/proc/28371/task/28379/stat : 28379 (java) S 28368 28371 25074 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 39335783 10985164800 25172 33554432000 4194304 4196468 140724708987216 139972116964256 139973015217877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28380] ppid=28368 vsize=10727700 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/28371/task/28380/stat : 28380 (java) S 28368 28371 25074 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 39335783 10985164800 25172 33554432000 4194304 4196468 140724708987216 139972115911664 139973015217877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28381] ppid=28368 vsize=10727700 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/28371/task/28381/stat : 28381 (java) S 28368 28371 25074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39335785 10985164800 25179 33554432000 4194304 4196468 140724708987216 139972114860240 139973015226267 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28382] ppid=28368 vsize=10727700 memory=0 CPUtime=0.29 cores=0,2,4,6
/proc/28371/task/28382/stat : 28382 (java) R 28368 28371 25074 0 -1 4202560 1392 0 0 0 29 0 0 0 20 0 16 0 39335785 10985164800 25179 33554432000 4194304 4196468 140724708987216 139972113800344 139972998594448 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28383] ppid=28368 vsize=10727700 memory=0 CPUtime=0.3 cores=0,2,4,6
/proc/28371/task/28383/stat : 28383 (java) R 28368 28371 25074 0 -1 4202560 584 0 0 0 30 0 0 0 20 0 16 0 39335785 10985164800 25179 33554432000 4194304 4196468 140724708987216 139971670124272 139972998595690 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28384] ppid=28368 vsize=10727700 memory=0 CPUtime=0.38 cores=0,2,4,6
/proc/28371/task/28384/stat : 28384 (java) R 28368 28371 25074 0 -1 4202560 1636 0 0 0 38 0 0 0 20 0 16 0 39335785 10985164800 25179 33554432000 4194304 4196468 140724708987216 139971669084912 139973008311273 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28385] ppid=28368 vsize=10727700 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28371/task/28385/stat : 28385 (java) S 28368 28371 25074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39335786 10985164800 25179 33554432000 4194304 4196468 140724708987216 139971668032608 139973015217877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28386] ppid=28368 vsize=10727700 memory=4048 CPUtime=0 cores=0,2,4,6
/proc/28371/task/28386/stat : 28386 (java) S 28368 28371 25074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 39335786 10985164800 25179 33554432000 4194304 4196468 140724708987216 139971666979120 139973015218818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
Current children cumulated CPU time: 1.68 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 100688 KiB

[startup+1.50083 s]
/proc/loadavg: 2.15 2.02 2.14 5/218 28387
/proc/meminfo: memFree=15910008/32770624 swapFree=67108860/67108860
[pid=28371] ppid=28368 vsize=10727700 memory=112292 CPUtime=3.29 cores=0,2,4,6
/proc/28371/stat : 28371 (java) S 28368 28371 25074 0 -1 1077944320 14709 0 0 0 325 4 0 0 20 0 16 0 39335780 10985164800 28073 33554432000 4194304 4196468 140724708987216 140724708969760 139973015207671 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
/proc/28371/statm: 2681925 28073 3115 1 0 2644416 0
[pid=28371/tid=28373] ppid=28368 vsize=10727700 memory=9167 CPUtime=1.48 cores=0,2,4,6
/proc/28371/task/28373/stat : 28373 (java) R 28368 28371 25074 0 -1 4202560 6421 0 0 0 145 3 0 0 20 0 16 0 39335780 10985164800 28073 33554432000 4194304 4196468 140724708987216 139973019444536 139972656017065 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28374] ppid=28368 vsize=10727700 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/28371/task/28374/stat : 28374 (java) S 28368 28371 25074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 39335781 10985164800 28073 33554432000 4194304 4196468 140724708987216 139972621765392 139973015217877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28375] ppid=28368 vsize=10727700 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28371/task/28375/stat : 28375 (java) S 28368 28371 25074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 39335781 10985164800 28073 33554432000 4194304 4196468 140724708987216 139972620712848 139973015217877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28376] ppid=28368 vsize=10727700 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28371/task/28376/stat : 28376 (java) S 28368 28371 25074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 39335781 10985164800 28073 33554432000 4194304 4196468 140724708987216 139972619660304 139973015217877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28377] ppid=28368 vsize=10727700 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28371/task/28377/stat : 28377 (java) S 28368 28371 25074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 39335781 10985164800 28073 33554432000 4194304 4196468 140724708987216 139972618607760 139973015217877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28378] ppid=28368 vsize=10727700 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28371/task/28378/stat : 28378 (java) S 28368 28371 25074 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 16 0 39335782 10985164800 28073 33554432000 4194304 4196468 140724708987216 139972118018032 139973015218818 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0

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

/proc/28371/task/28375/stat : 28375 (java) S 28368 28371 25074 0 -1 1077944384 1910 0 0 0 17 5 0 0 20 0 16 0 39335781 10985164800 97062 33554432000 4194304 4196468 140724708987216 139972620712848 139973015217877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28376] ppid=28368 vsize=10727700 memory=388248 CPUtime=0.22 cores=0,2,4,6
/proc/28371/task/28376/stat : 28376 (java) S 28368 28371 25074 0 -1 1077944384 2454 0 0 0 17 5 0 0 20 0 16 0 39335781 10985164800 97062 33554432000 4194304 4196468 140724708987216 139972619660304 139973015217877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28377] ppid=28368 vsize=10727700 memory=388248 CPUtime=0.22 cores=0,2,4,6
/proc/28371/task/28377/stat : 28377 (java) S 28368 28371 25074 0 -1 1077944384 1818 0 0 0 17 5 0 0 20 0 16 0 39335781 10985164800 97062 33554432000 4194304 4196468 140724708987216 139972618607760 139973015217877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28378] ppid=28368 vsize=10727700 memory=388248 CPUtime=0.07 cores=0,2,4,6
/proc/28371/task/28378/stat : 28378 (java) S 28368 28371 25074 0 -1 1077944384 2132 0 0 0 3 4 0 0 20 0 16 0 39335782 10985164800 97062 33554432000 4194304 4196468 140724708987216 139972118018032 139973015218818 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28379] ppid=28368 vsize=10727700 memory=388248 CPUtime=0 cores=0,2,4,6
/proc/28371/task/28379/stat : 28379 (java) S 28368 28371 25074 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 16 0 39335783 10985164800 97062 33554432000 4194304 4196468 140724708987216 139972116964256 139973015217877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28380] ppid=28368 vsize=10727700 memory=388248 CPUtime=0 cores=0,2,4,6
/proc/28371/task/28380/stat : 28380 (java) S 28368 28371 25074 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 16 0 39335783 10985164800 97062 33554432000 4194304 4196468 140724708987216 139972115911664 139973015217877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28381] ppid=28368 vsize=10727700 memory=388248 CPUtime=0 cores=0,2,4,6
/proc/28371/task/28381/stat : 28381 (java) S 28368 28371 25074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39335785 10985164800 97062 33554432000 4194304 4196468 140724708987216 139972114860240 139973015226267 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28382] ppid=28368 vsize=10727700 memory=4140 CPUtime=1.08 cores=0,2,4,6
/proc/28371/task/28382/stat : 28382 (java) S 28368 28371 25074 0 -1 1077944384 7775 0 0 0 108 0 0 0 20 0 16 0 39335785 10985164800 97062 33554432000 4194304 4196468 140724708987216 139972113807856 139973015218818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28383] ppid=28368 vsize=10727700 memory=4048 CPUtime=0.98 cores=0,2,4,6
/proc/28371/task/28383/stat : 28383 (java) S 28368 28371 25074 0 -1 1077944384 9290 0 0 0 97 1 0 0 20 0 16 0 39335785 10985164800 97062 33554432000 4194304 4196468 140724708987216 139971670137456 139973015218818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28384] ppid=28368 vsize=10727700 memory=9212 CPUtime=0.51 cores=0,2,4,6
/proc/28371/task/28384/stat : 28384 (java) S 28368 28371 25074 0 -1 1077944384 5572 0 0 0 51 0 0 0 20 0 16 0 39335785 10985164800 97062 33554432000 4194304 4196468 140724708987216 139971669084912 139973015218818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28385] ppid=28368 vsize=10727700 memory=388248 CPUtime=0 cores=0,2,4,6
/proc/28371/task/28385/stat : 28385 (java) S 28368 28371 25074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39335786 10985164800 97062 33554432000 4194304 4196468 140724708987216 139971668032608 139973015217877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28386] ppid=28368 vsize=10727700 memory=1224 CPUtime=1.43 cores=0,2,4,6
/proc/28371/task/28386/stat : 28386 (java) S 28368 28371 25074 0 -1 1077944384 1302 0 0 0 74 69 0 0 20 0 16 0 39335786 10985164800 97062 33554432000 4194304 4196468 140724708987216 139971666979120 139973015218818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28387] ppid=28368 vsize=10727700 memory=15872 CPUtime=0 cores=0,2,4,6
/proc/28371/task/28387/stat : 28387 (java) S 28368 28371 25074 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 39335850 10985164800 97062 33554432000 4194304 4196468 140724708987216 139971663827760 139973015218818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
Current children cumulated CPU time: 2387 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 388248 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2395.3 s]
/proc/loadavg: 2.01 2.10 2.46 3/217 28615
/proc/meminfo: memFree=14186716/32770624 swapFree=67108860/67108860
[pid=28371] ppid=28368 vsize=10727700 memory=388248 CPUtime=2400 cores=0,2,4,6
/proc/28371/stat : 28371 (java) S 28368 28371 25074 0 -1 1077944320 52478 0 0 0 239915 85 0 0 20 0 16 0 39335780 10985164800 97062 33554432000 4194304 4196468 140724708987216 140724708969760 139973015207671 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
/proc/28371/statm: 2681925 97062 3162 1 0 2644416 0
[pid=28371/tid=28373] ppid=28368 vsize=10727700 memory=388248 CPUtime=2394.94 cores=0,2,4,6
/proc/28371/task/28373/stat : 28373 (java) R 28368 28371 25074 0 -1 4202560 15976 0 0 0 239489 5 0 0 20 0 16 0 39335780 10985164800 97062 33554432000 4194304 4196468 140724708987216 139973019446576 139972657067312 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28374] ppid=28368 vsize=10727700 memory=388248 CPUtime=0.22 cores=0,2,4,6
/proc/28371/task/28374/stat : 28374 (java) S 28368 28371 25074 0 -1 1077944384 2800 0 0 0 17 5 0 0 20 0 16 0 39335781 10985164800 97062 33554432000 4194304 4196468 140724708987216 139972621765392 139973015217877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28375] ppid=28368 vsize=10727700 memory=388248 CPUtime=0.22 cores=0,2,4,6
/proc/28371/task/28375/stat : 28375 (java) S 28368 28371 25074 0 -1 1077944384 1910 0 0 0 17 5 0 0 20 0 16 0 39335781 10985164800 97062 33554432000 4194304 4196468 140724708987216 139972620712848 139973015217877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28376] ppid=28368 vsize=10727700 memory=1224 CPUtime=0.22 cores=0,2,4,6
/proc/28371/task/28376/stat : 28376 (java) S 28368 28371 25074 0 -1 1077944384 2454 0 0 0 17 5 0 0 20 0 16 0 39335781 10985164800 97062 33554432000 4194304 4196468 140724708987216 139972619660304 139973015217877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28377] ppid=28368 vsize=10727700 memory=388248 CPUtime=0.22 cores=0,2,4,6
/proc/28371/task/28377/stat : 28377 (java) S 28368 28371 25074 0 -1 1077944384 1818 0 0 0 17 5 0 0 20 0 16 0 39335781 10985164800 97062 33554432000 4194304 4196468 140724708987216 139972618607760 139973015217877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28378] ppid=28368 vsize=10727700 memory=388248 CPUtime=0.07 cores=0,2,4,6
/proc/28371/task/28378/stat : 28378 (java) S 28368 28371 25074 0 -1 1077944384 2132 0 0 0 3 4 0 0 20 0 16 0 39335782 10985164800 97062 33554432000 4194304 4196468 140724708987216 139972118018032 139973015218818 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28379] ppid=28368 vsize=10727700 memory=6768 CPUtime=0 cores=0,2,4,6
/proc/28371/task/28379/stat : 28379 (java) S 28368 28371 25074 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 16 0 39335783 10985164800 97062 33554432000 4194304 4196468 140724708987216 139972116964256 139973015217877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28380] ppid=28368 vsize=10727700 memory=832 CPUtime=0 cores=0,2,4,6
/proc/28371/task/28380/stat : 28380 (java) S 28368 28371 25074 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 16 0 39335783 10985164800 97062 33554432000 4194304 4196468 140724708987216 139972115911664 139973015217877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28381] ppid=28368 vsize=10727700 memory=388248 CPUtime=0 cores=0,2,4,6
/proc/28371/task/28381/stat : 28381 (java) S 28368 28371 25074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39335785 10985164800 97062 33554432000 4194304 4196468 140724708987216 139972114860240 139973015226267 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28382] ppid=28368 vsize=10727700 memory=4140 CPUtime=1.08 cores=0,2,4,6
/proc/28371/task/28382/stat : 28382 (java) S 28368 28371 25074 0 -1 1077944384 7775 0 0 0 108 0 0 0 20 0 16 0 39335785 10985164800 97062 33554432000 4194304 4196468 140724708987216 139972113807856 139973015218818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28383] ppid=28368 vsize=10727700 memory=388248 CPUtime=0.98 cores=0,2,4,6
/proc/28371/task/28383/stat : 28383 (java) S 28368 28371 25074 0 -1 1077944384 9290 0 0 0 97 1 0 0 20 0 16 0 39335785 10985164800 97062 33554432000 4194304 4196468 140724708987216 139971670137456 139973015218818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28384] ppid=28368 vsize=10727700 memory=4104 CPUtime=0.51 cores=0,2,4,6
/proc/28371/task/28384/stat : 28384 (java) S 28368 28371 25074 0 -1 1077944384 5572 0 0 0 51 0 0 0 20 0 16 0 39335785 10985164800 97062 33554432000 4194304 4196468 140724708987216 139971669084912 139973015218818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28385] ppid=28368 vsize=10727700 memory=388248 CPUtime=0 cores=0,2,4,6
/proc/28371/task/28385/stat : 28385 (java) S 28368 28371 25074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39335786 10985164800 97062 33554432000 4194304 4196468 140724708987216 139971668032608 139973015217877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28386] ppid=28368 vsize=10727700 memory=388248 CPUtime=1.43 cores=0,2,4,6
/proc/28371/task/28386/stat : 28386 (java) S 28368 28371 25074 0 -1 1077944384 1302 0 0 0 74 69 0 0 20 0 16 0 39335786 10985164800 97062 33554432000 4194304 4196468 140724708987216 139971666979120 139973015218818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28387] ppid=28368 vsize=10727700 memory=388248 CPUtime=0 cores=0,2,4,6
/proc/28371/task/28387/stat : 28387 (java) S 28368 28371 25074 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 39335850 10985164800 97062 33554432000 4194304 4196468 140724708987216 139971663827760 139973015218818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 388248 KiB

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

[startup+2395.53 s]
# the end of solver process 28371 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2399.31 s, system=0.858154 s

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

[startup+2395.41 s]
/proc/loadavg: 2.01 2.10 2.46 3/217 28615
/proc/meminfo: memFree=14186716/32770624 swapFree=67108860/67108860
[pid=28371] ppid=28368 vsize=10927392 memory=388496 CPUtime=2400.11 cores=0,2,4,6
/proc/28371/stat : 28371 (java) S 28368 28371 25074 0 -1 1077944320 53043 0 0 0 239926 85 0 0 20 0 17 0 39335780 11189649408 97124 33554432000 4194304 4196468 140724708987216 140724708969760 139973015207671 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
/proc/28371/statm: 2731848 97124 3165 1 0 2694339 0
[pid=28371/tid=28373] ppid=28368 vsize=10927392 memory=6791534058613427641 CPUtime=2395.04 cores=0,2,4,6
/proc/28371/task/28373/stat : 28373 (java) R 28368 28371 25074 0 -1 4202560 16089 0 0 0 239499 5 0 0 20 0 17 0 39335780 11189649408 97124 33554432000 4194304 4196468 140724708987216 139973019446576 139972657654740 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28374] ppid=28368 vsize=10927392 memory=5524 CPUtime=0.22 cores=0,2,4,6
/proc/28371/task/28374/stat : 28374 (java) S 28368 28371 25074 0 -1 1077944384 2800 0 0 0 17 5 0 0 20 0 17 0 39335781 11189649408 97124 33554432000 4194304 4196468 140724708987216 139972621765392 139973015217877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28375] ppid=28368 vsize=10927392 memory=3248 CPUtime=0.22 cores=0,2,4,6
/proc/28371/task/28375/stat : 28375 (java) S 28368 28371 25074 0 -1 1077944384 1910 0 0 0 17 5 0 0 20 0 17 0 39335781 11189649408 97124 33554432000 4194304 4196468 140724708987216 139972620712848 139973015217877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28376] ppid=28368 vsize=10927392 memory=4620 CPUtime=0.22 cores=0,2,4,6
/proc/28371/task/28376/stat : 28376 (java) S 28368 28371 25074 0 -1 1077944384 2454 0 0 0 17 5 0 0 20 0 17 0 39335781 11189649408 97124 33554432000 4194304 4196468 140724708987216 139972619660304 139973015217877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28377] ppid=28368 vsize=10927392 memory=796 CPUtime=0.22 cores=0,2,4,6
/proc/28371/task/28377/stat : 28377 (java) S 28368 28371 25074 0 -1 1077944384 1818 0 0 0 17 5 0 0 20 0 17 0 39335781 11189649408 97124 33554432000 4194304 4196468 140724708987216 139972618607760 139973015217877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28378] ppid=28368 vsize=10927392 memory=1224 CPUtime=0.07 cores=0,2,4,6
/proc/28371/task/28378/stat : 28378 (java) S 28368 28371 25074 0 -1 1077944384 2132 0 0 0 3 4 0 0 20 0 17 0 39335782 11189649408 97124 33554432000 4194304 4196468 140724708987216 139972118018032 139973015218818 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28379] ppid=28368 vsize=10927392 memory=15872 CPUtime=0 cores=0,2,4,6
/proc/28371/task/28379/stat : 28379 (java) S 28368 28371 25074 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 17 0 39335783 11189649408 97124 33554432000 4194304 4196468 140724708987216 139972116964256 139973015217877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28380] ppid=28368 vsize=10927392 memory=4048 CPUtime=0 cores=0,2,4,6
/proc/28371/task/28380/stat : 28380 (java) S 28368 28371 25074 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 17 0 39335783 11189649408 97124 33554432000 4194304 4196468 140724708987216 139972115911664 139973015217877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28381] ppid=28368 vsize=10927392 memory=9212 CPUtime=0 cores=0,2,4,6
/proc/28371/task/28381/stat : 28381 (java) S 28368 28371 25074 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 17 0 39335785 11189649408 97124 33554432000 4194304 4196468 140724708987216 139972114860240 139973015226267 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28382] ppid=28368 vsize=10927392 memory=16444 CPUtime=1.08 cores=0,2,4,6
/proc/28371/task/28382/stat : 28382 (java) S 28368 28371 25074 0 -1 1077944384 7813 0 0 0 108 0 0 0 20 0 17 0 39335785 11189649408 97124 33554432000 4194304 4196468 140724708987216 139972113807856 139973015218818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28383] ppid=28368 vsize=10927392 memory=640 CPUtime=0.98 cores=0,2,4,6
/proc/28371/task/28383/stat : 28383 (java) S 28368 28371 25074 0 -1 1077944384 9313 0 0 0 97 1 0 0 20 0 17 0 39335785 11189649408 97124 33554432000 4194304 4196468 140724708987216 139971670137456 139973015218818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28384] ppid=28368 vsize=10927392 memory=1796 CPUtime=0.51 cores=0,2,4,6
/proc/28371/task/28384/stat : 28384 (java) S 28368 28371 25074 0 -1 1077944384 5626 0 0 0 51 0 0 0 20 0 17 0 39335785 11189649408 97124 33554432000 4194304 4196468 140724708987216 139971669084912 139973015218818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28385] ppid=28368 vsize=10927392 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/28371/task/28385/stat : 28385 (java) S 28368 28371 25074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 39335786 11189649408 97124 33554432000 4194304 4196468 140724708987216 139971668032608 139973015217877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28386] ppid=28368 vsize=10927392 memory=13936 CPUtime=1.43 cores=0,2,4,6
/proc/28371/task/28386/stat : 28386 (java) S 28368 28371 25074 0 -1 1077944384 1302 0 0 0 74 69 0 0 20 0 17 0 39335786 11189649408 97124 33554432000 4194304 4196468 140724708987216 139971666979120 139973015218818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
Current children cumulated CPU time: 2400.11 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 388496 KiB

[startup+2395.5 s]
/proc/loadavg: 2.01 2.10 2.46 3/217 28615
/proc/meminfo: memFree=14186716/32770624 swapFree=67108860/67108860
[pid=28371] ppid=28368 vsize=10927392 memory=388500 CPUtime=2400.15 cores=0,2,4,6
/proc/28371/stat : 28371 (java) S 28368 28371 25074 0 -1 1077944320 53051 0 0 0 239930 85 0 0 20 0 17 0 39335780 11189649408 97125 33554432000 4194304 4196468 140724708987216 140724708969760 139973015207671 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
/proc/28371/statm: 2731848 97125 3165 1 0 2694339 0
[pid=28371/tid=28373] ppid=28368 vsize=10927392 memory=1224 CPUtime=2395.08 cores=0,2,4,6
/proc/28371/task/28373/stat : 28373 (java) S 28368 28371 25074 0 -1 1077944384 16096 0 0 0 239503 5 0 0 20 0 17 0 39335780 11189649408 97125 33554432000 4194304 4196468 140724708987216 139973019450544 139973015217877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28374] ppid=28368 vsize=10927392 memory=388248 CPUtime=0.22 cores=0,2,4,6
/proc/28371/task/28374/stat : 28374 (java) S 28368 28371 25074 0 -1 1077944384 2800 0 0 0 17 5 0 0 20 0 17 0 39335781 11189649408 97125 33554432000 4194304 4196468 140724708987216 139972621765392 139973015217877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28375] ppid=28368 vsize=10927392 memory=388248 CPUtime=0.22 cores=0,2,4,6
/proc/28371/task/28375/stat : 28375 (java) S 28368 28371 25074 0 -1 1077944384 1910 0 0 0 17 5 0 0 20 0 17 0 39335781 11189649408 97125 33554432000 4194304 4196468 140724708987216 139972620712848 139973015217877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28376] ppid=28368 vsize=10927392 memory=388248 CPUtime=0.22 cores=0,2,4,6
/proc/28371/task/28376/stat : 28376 (java) S 28368 28371 25074 0 -1 1077944384 2454 0 0 0 17 5 0 0 20 0 17 0 39335781 11189649408 97125 33554432000 4194304 4196468 140724708987216 139972619660304 139973015217877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28377] ppid=28368 vsize=10927392 memory=388248 CPUtime=0.22 cores=0,2,4,6
/proc/28371/task/28377/stat : 28377 (java) S 28368 28371 25074 0 -1 1077944384 1818 0 0 0 17 5 0 0 20 0 17 0 39335781 11189649408 97125 33554432000 4194304 4196468 140724708987216 139972618607760 139973015217877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28378] ppid=28368 vsize=10927392 memory=388248 CPUtime=0.07 cores=0,2,4,6
/proc/28371/task/28378/stat : 28378 (java) S 28368 28371 25074 0 -1 1077944384 2132 0 0 0 3 4 0 0 20 0 17 0 39335782 11189649408 97125 33554432000 4194304 4196468 140724708987216 139972118018032 139973015218818 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28379] ppid=28368 vsize=10927392 memory=388248 CPUtime=0 cores=0,2,4,6
/proc/28371/task/28379/stat : 28379 (java) S 28368 28371 25074 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 17 0 39335783 11189649408 97125 33554432000 4194304 4196468 140724708987216 139972116964256 139973015217877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28380] ppid=28368 vsize=10927392 memory=388248 CPUtime=0 cores=0,2,4,6
/proc/28371/task/28380/stat : 28380 (java) S 28368 28371 25074 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 17 0 39335783 11189649408 97125 33554432000 4194304 4196468 140724708987216 139972115911664 139973015217877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28381] ppid=28368 vsize=10927392 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/28371/task/28381/stat : 28381 (java) S 28368 28371 25074 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 17 0 39335785 11189649408 97125 33554432000 4194304 4196468 140724708987216 139972114860240 139973015226267 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28382] ppid=28368 vsize=10927392 memory=388248 CPUtime=1.08 cores=0,2,4,6
/proc/28371/task/28382/stat : 28382 (java) S 28368 28371 25074 0 -1 1077944384 7813 0 0 0 108 0 0 0 20 0 17 0 39335785 11189649408 97125 33554432000 4194304 4196468 140724708987216 139972113807856 139973015218818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28383] ppid=28368 vsize=10927392 memory=4104 CPUtime=0.98 cores=0,2,4,6
/proc/28371/task/28383/stat : 28383 (java) S 28368 28371 25074 0 -1 1077944384 9313 0 0 0 97 1 0 0 20 0 17 0 39335785 11189649408 97125 33554432000 4194304 4196468 140724708987216 139971670137456 139973015218818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28384] ppid=28368 vsize=10927392 memory=388248 CPUtime=0.51 cores=0,2,4,6
/proc/28371/task/28384/stat : 28384 (java) S 28368 28371 25074 0 -1 1077944384 5627 0 0 0 51 0 0 0 20 0 17 0 39335785 11189649408 97125 33554432000 4194304 4196468 140724708987216 139971669084912 139973015218818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28385] ppid=28368 vsize=10927392 memory=388248 CPUtime=0 cores=0,2,4,6
/proc/28371/task/28385/stat : 28385 (java) S 28368 28371 25074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 39335786 11189649408 97125 33554432000 4194304 4196468 140724708987216 139971668032608 139973015217877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
[pid=28371/tid=28386] ppid=28368 vsize=10927392 memory=6768 CPUtime=1.43 cores=0,2,4,6
/proc/28371/task/28386/stat : 28386 (java) S 28368 28371 25074 0 -1 1077944384 1302 0 0 0 74 69 0 0 20 0 17 0 39335786 11189649408 97125 33554432000 4194304 4196468 140724708987216 139971666979120 139973015218818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16482304 140724708996209 140724708996361 140724708996361 140724708999119 0
Current children cumulated CPU time: 2400.15 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 388500 KiB

Child status: 143
Real time (s): 2395.53
CPU time (s): 2400.17
CPU user time (s): 2399.31
CPU system time (s): 0.858154
CPU usage (%): 100.194
Max. virtual memory (cumulated for all children) (KiB): 10927392
Max. memory (cumulated for all children) (KiB): 388500

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.31
system time used= 0.858154
maximum resident set size= 389264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53307
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1616
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 54366
involuntary context switches= 2828


# summary of solver processes directly reported to runsolver:
#   pid: 28371
#   total CPU time (s): 2400.17
#   total CPU user time (s): 2399.31
#   total CPU system time (s): 0.858154

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.8396 second user time and 22.8809 second system time

The end

Name	LowAutocorrelation/ LowAutocorrelation-026_c18.xml
MD5SUM	4805ee3407b1bb595f0e8cbeb6f1f78a
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	45
Best CPU time to get the best result obtained on this benchmark	341.811
Satisfiable
(Un)Satisfiability was proved
Number of variables	701
Number of constraints	375
Number of domains	51
Minimum domain size	2
Maximum domain size	51
Distribution of domain sizes	[{"size":2,"count":352},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":20,"count":1},{"size":21,"count":2},{"size":22,"count":1},{"size":23,"count":2},{"size":24,"count":1},{"size":25,"count":2},{"size":26,"count":1},{"size":27,"count":1},{"size":29,"count":1},{"size":31,"count":1},{"size":33,"count":1},{"size":35,"count":1},{"size":37,"count":1},{"size":39,"count":1},{"size":41,"count":1},{"size":43,"count":1},{"size":45,"count":1},{"size":47,"count":1},{"size":49,"count":1},{"size":51,"count":1}]
Minimum variable degree	0
Maximum variable degree	25
Distribution of variable degrees	[{"degree":0,"count":300},{"degree":2,"count":375},{"degree":25,"count":26}]
Minimum constraint arity	2
Maximum constraint arity	26
Distribution of constraint arities	[{"arity":2,"count":26},{"arity":3,"count":326},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":1},{"arity":21,"count":1},{"arity":22,"count":1},{"arity":23,"count":1},{"arity":24,"count":1},{"arity":25,"count":1},{"arity":26,"count":1}]
Number of extensional constraints	0
Number of intensional constraints	350
Distribution of constraint types	[{"type":"intension","count":350},{"type":"sum","count":25}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4290000

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data