2018 XCSP3 competition: fast COP track competition: execution trace

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

1.40/0.68	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
1.40/0.68	c This is free software under the dual EPL/GNU LGPL licenses.
1.40/0.68	c See www.sat4j.org for details.
1.40/0.68	c That software uses the Rhino library from the Mozilla project.
1.40/0.68	c version 2.3.6-SNAPSHOT
1.40/0.68	c java.runtime.name	Java(TM) SE Runtime Environment
1.40/0.68	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
1.40/0.68	c java.vm.version	25.131-b11
1.40/0.68	c java.vm.vendor	Oracle Corporation
1.40/0.68	c sun.arch.data.model	64
1.40/0.68	c java.version		1.8.0_131
1.40/0.68	c os.name		Linux
1.40/0.68	c os.version		3.10.0-514.16.1.el7.x86_64
1.40/0.68	c os.arch		amd64
1.40/0.68	c Free memory 		499604488
1.40/0.68	c Max memory 		7247757312
1.40/0.68	c Total memory 		504889344
1.40/0.68	c Number of processors 	4
1.40/0.68	c c --- Begin Solver configuration ---
1.40/0.68	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b71fc7e
1.40/0.68	c Learn all clauses as in MiniSAT
1.40/0.68	c LOGGER=java.util.logging.Logger@25f38edc claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
1.40/0.68	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
1.40/0.68	c No reason simplification
1.40/0.68	c Glucose 2.1 dynamic restart strategy
1.40/0.68	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.40/0.68	c timeout=2147483s
1.40/0.68	c DB Simplification allowed=false
1.40/0.68	c Listener: org.sat4j.minisat.core.VoidTracing@1a86f2f1
1.40/0.68	c --- End Solver configuration ---
1.40/0.68	c constraints type 
1.40/0.68	c org.sat4j.minisat.constraints.card.MinWatchCard => 802
1.40/0.68	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 675
1.40/0.68	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 127938
1.40/0.68	c org.sat4j.minisat.constraints.cnf.UnitClause => 750
1.40/0.68	c 130165 constraints processed.
1.70/0.76	o 237
2.02/0.88	o 205
2.65/1.01	o 117
3.02/1.30	o 101
3.02/1.34	o 61
160.09/157.46	o 45
252.13/249.50	c starts		: 130
252.13/249.50	c conflicts		: 551234
252.13/249.50	c decisions		: 598626
252.13/249.50	c propagations		: 734352362
252.13/249.50	c inspects		: 3420099526
252.13/249.50	c shortcuts		: 0
252.13/249.50	c learnt literals	: 61
252.13/249.50	c learnt binary clauses	: 150
252.13/249.50	c learnt ternary clauses	: 824
252.13/249.50	c learnt constraints	: 551173
252.13/249.50	c ignored constraints	: 0
252.13/249.50	c root simplifications	: 0
252.13/249.50	c removed literals (reason simplification)	: 0
252.13/249.50	c reason swapping (by a shorter reason)	: 0
252.13/249.50	c Calls to reduceDB	: 37
252.13/249.50	c Number of update (reduction) of LBD	: 123967
252.13/249.50	c Imported unit clauses	: 0
252.13/249.50	c number of reductions to clauses (during analyze)	: 0
252.13/249.50	c number of learned constraints concerned by reduction	: 0
252.13/249.50	c number of learning phase by resolution	: 0
252.13/249.50	c number of learning phase by cutting planes	: 0
252.13/249.50	c number of rounding to 1 operations	: 0
252.13/249.50	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
252.13/249.50	c number of reductions of the coefficients by power 2 	: 0
252.13/249.50	c number of right shift for reduction by power 2 	: 0
252.13/249.50	c number of reductions of the coefficients by GCD over coefficients 	: 0
252.13/249.50	c number of ending skipping 	: 0
252.13/249.50	c number of internal skipping 	: 0
252.13/249.50	c number of derivation steps 	: 0
252.13/249.50	c number of skipped derivation steps 	: 0
252.13/249.50	c number of remaining unassigned 	: 0
252.13/249.50	c number of remaining assigned 	: 0
252.13/249.50	c speed (assignments/second)	: 2951339.7717225305
252.13/249.50	c non guided choices	: 3649
252.13/249.50	s SATISFIABLE
252.13/249.51	v <instantiation type="solution">
252.13/249.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>
252.13/249.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>
252.13/249.51	v </instantiation>
252.13/249.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 (14383 MiB free)
  memory of node 1: 16384 MiB (12468 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301865-1532885196/watcher-4301865-1532885196 -o /tmp/evaluation-result-4301865-1532885196/solver-4301865-1532885196 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532877021-22035 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4301865-1532885196.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=29829, runsolver pid=29826

[startup+0.100059 s]*
/proc/loadavg: 2.08 2.39 2.66 3/216 29844
/proc/meminfo: memFree=27478184/32770624 swapFree=67108860/67108860
[pid=29829] ppid=29826 vsize=10659012 memory=31520 CPUtime=0.12 cores=0,2,4,6
/proc/29829/stat : 29829 (java) S 29826 29829 22004 0 -1 1077944320 6437 0 0 0 11 1 0 0 20 0 15 0 106082787 10914828288 7880 33554432000 4194304 4196468 140732075689360 140732075671904 139833961688823 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
/proc/29829/statm: 2664753 7880 2847 1 0 2627263 0
[pid=29829/tid=29831] ppid=29826 vsize=10659012 memory=-8701690554792186750 CPUtime=0.09 cores=0,2,4,6
/proc/29829/task/29831/stat : 29831 (java) R 29826 29829 22004 0 -1 4202560 4275 0 0 0 8 1 0 0 20 0 15 0 106082787 10914828288 7880 33554432000 4194304 4196468 140732075689360 139833965911856 139833961710749 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29832] ppid=29826 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29829/task/29832/stat : 29832 (java) S 29826 29829 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106082788 10914828288 7880 33554432000 4194304 4196468 140732075689360 139833887762960 139833961699029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29833] ppid=29826 vsize=10659012 memory=139691001050752 CPUtime=0 cores=0,2,4,6
/proc/29829/task/29833/stat : 29833 (java) S 29826 29829 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106082788 10914828288 7880 33554432000 4194304 4196468 140732075689360 139833886710416 139833961699029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29834] ppid=29826 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29829/task/29834/stat : 29834 (java) S 29826 29829 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106082788 10914828288 7880 33554432000 4194304 4196468 140732075689360 139833885657360 139833961699029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29835] ppid=29826 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29829/task/29835/stat : 29835 (java) S 29826 29829 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106082788 10914828288 7880 33554432000 4194304 4196468 140732075689360 139833884604816 139833961699029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29836] ppid=29826 vsize=10659012 memory=139691001050752 CPUtime=0 cores=0,2,4,6
/proc/29829/task/29836/stat : 29836 (java) S 29826 29829 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106082789 10914828288 7880 33554432000 4194304 4196468 140732075689360 139833065294576 139833961699970 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29837] ppid=29826 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29829/task/29837/stat : 29837 (java) S 29826 29829 22004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106082790 10914828288 7880 33554432000 4194304 4196468 140732075689360 139833064240800 139833961699029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29838] ppid=29826 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29829/task/29838/stat : 29838 (java) S 29826 29829 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106082790 10914828288 7880 33554432000 4194304 4196468 140732075689360 139832860861680 139833961699029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29839] ppid=29826 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29829/task/29839/stat : 29839 (java) S 29826 29829 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106082792 10914828288 7880 33554432000 4194304 4196468 140732075689360 139832859810256 139833961707419 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29840] ppid=29826 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29829/task/29840/stat : 29840 (java) S 29826 29829 22004 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 106082792 10914828288 7880 33554432000 4194304 4196468 140732075689360 139832858757360 139833961699970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29841] ppid=29826 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29829/task/29841/stat : 29841 (java) S 29826 29829 22004 0 -1 1077944384 146 0 0 0 0 0 0 0 20 0 15 0 106082792 10914828288 7880 33554432000 4194304 4196468 140732075689360 139832857704816 139833961699970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29842] ppid=29826 vsize=10659012 memory=139691001050752 CPUtime=0.02 cores=0,2,4,6
/proc/29829/task/29842/stat : 29842 (java) S 29826 29829 22004 0 -1 1077944384 352 0 0 0 2 0 0 0 20 0 15 0 106082792 10914828288 7880 33554432000 4194304 4196468 140732075689360 139832856651760 139833961699970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29843] ppid=29826 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29829/task/29843/stat : 29843 (java) S 29826 29829 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106082792 10914828288 7880 33554432000 4194304 4196468 140732075689360 139832855599456 139833961699029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29844] ppid=29826 vsize=10659012 memory=139691001050752 CPUtime=0 cores=0,2,4,6
/proc/29829/task/29844/stat : 29844 (java) S 29826 29829 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106082793 10914828288 7880 33554432000 4194304 4196468 140732075689360 139832854547504 139833961699970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 31520 KiB

[startup+0.210539 s]*
/proc/loadavg: 2.08 2.39 2.66 4/216 29844
/proc/meminfo: memFree=27467452/32770624 swapFree=67108860/67108860
[pid=29829] ppid=29826 vsize=10659012 memory=42520 CPUtime=0.33 cores=0,2,4,6
/proc/29829/stat : 29829 (java) S 29826 29829 22004 0 -1 1077944320 7733 0 0 0 31 2 0 0 20 0 15 0 106082787 10914828288 10630 33554432000 4194304 4196468 140732075689360 140732075671904 139833961688823 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
/proc/29829/statm: 2664753 10630 3008 1 0 2627263 0
[pid=29829/tid=29831] ppid=29826 vsize=10659012 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/29829/task/29831/stat : 29831 (java) R 29826 29829 22004 0 -1 4202560 4621 0 0 0 18 2 0 0 20 0 15 0 106082787 10914828288 10630 33554432000 4194304 4196468 140732075689360 139833965916080 139833961710749 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29832] ppid=29826 vsize=10659012 memory=365 CPUtime=0 cores=0,2,4,6
/proc/29829/task/29832/stat : 29832 (java) S 29826 29829 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106082788 10914828288 10630 33554432000 4194304 4196468 140732075689360 139833887762960 139833961699029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29833] ppid=29826 vsize=10659012 memory=139691001689117 CPUtime=0 cores=0,2,4,6
/proc/29829/task/29833/stat : 29833 (java) S 29826 29829 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106082788 10914828288 10630 33554432000 4194304 4196468 140732075689360 139833886710416 139833961699029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29834] ppid=29826 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29829/task/29834/stat : 29834 (java) S 29826 29829 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106082788 10914828288 10630 33554432000 4194304 4196468 140732075689360 139833885657360 139833961699029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29835] ppid=29826 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29829/task/29835/stat : 29835 (java) S 29826 29829 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106082788 10914828288 10630 33554432000 4194304 4196468 140732075689360 139833884604816 139833961699029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29836] ppid=29826 vsize=10659012 memory=139691001050752 CPUtime=0 cores=0,2,4,6
/proc/29829/task/29836/stat : 29836 (java) S 29826 29829 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106082789 10914828288 10630 33554432000 4194304 4196468 140732075689360 139833065294576 139833961699970 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29837] ppid=29826 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29829/task/29837/stat : 29837 (java) S 29826 29829 22004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106082790 10914828288 10630 33554432000 4194304 4196468 140732075689360 139833064240800 139833961699029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29838] ppid=29826 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29829/task/29838/stat : 29838 (java) S 29826 29829 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106082790 10914828288 10630 33554432000 4194304 4196468 140732075689360 139832860861680 139833961699029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29839] ppid=29826 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29829/task/29839/stat : 29839 (java) S 29826 29829 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106082792 10914828288 10630 33554432000 4194304 4196468 140732075689360 139832859810256 139833961707419 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29840] ppid=29826 vsize=10659012 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/29829/task/29840/stat : 29840 (java) S 29826 29829 22004 0 -1 1077944384 565 0 0 0 2 0 0 0 20 0 15 0 106082792 10914828288 10630 33554432000 4194304 4196468 140732075689360 139832858757360 139833961699970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29841] ppid=29826 vsize=10659012 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/29829/task/29841/stat : 29841 (java) S 29826 29829 22004 0 -1 1077944384 498 0 0 0 2 0 0 0 20 0 15 0 106082792 10914828288 10630 33554432000 4194304 4196468 140732075689360 139832857704816 139833961699970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29842] ppid=29826 vsize=10659012 memory=139691001050752 CPUtime=0.07 cores=0,2,4,6
/proc/29829/task/29842/stat : 29842 (java) S 29826 29829 22004 0 -1 1077944384 684 0 0 0 7 0 0 0 20 0 15 0 106082792 10914828288 10630 33554432000 4194304 4196468 140732075689360 139832856651760 139833961699970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29843] ppid=29826 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29829/task/29843/stat : 29843 (java) S 29826 29829 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106082792 10914828288 10630 33554432000 4194304 4196468 140732075689360 139832855599456 139833961699029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29844] ppid=29826 vsize=10659012 memory=139691001050752 CPUtime=0 cores=0,2,4,6
/proc/29829/task/29844/stat : 29844 (java) S 29826 29829 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106082793 10914828288 10630 33554432000 4194304 4196468 140732075689360 139832854547504 139833961699970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 42520 KiB

[startup+0.310604 s]*
/proc/loadavg: 2.08 2.39 2.66 6/216 29844
/proc/meminfo: memFree=27459076/32770624 swapFree=67108860/67108860
[pid=29829] ppid=29826 vsize=10659088 memory=47460 CPUtime=0.53 cores=0,2,4,6
/proc/29829/stat : 29829 (java) S 29826 29829 22004 0 -1 1077944320 8428 0 0 0 50 3 0 0 20 0 15 0 106082787 10914906112 11865 33554432000 4194304 4196468 140732075689360 140732075671904 139833961688823 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
/proc/29829/statm: 2664772 11865 3070 1 0 2627263 0
[pid=29829/tid=29831] ppid=29826 vsize=10659088 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/29829/task/29831/stat : 29831 (java) R 29826 29829 22004 0 -1 4202560 5109 0 0 0 28 2 0 0 20 0 15 0 106082787 10914906112 11865 33554432000 4194304 4196468 140732075689360 139833965924320 139833961700758 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29832] ppid=29826 vsize=10659088 memory=288230613314699287 CPUtime=0 cores=0,2,4,6
/proc/29829/task/29832/stat : 29832 (java) S 29826 29829 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106082788 10914906112 11865 33554432000 4194304 4196468 140732075689360 139833887762960 139833961699029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29833] ppid=29826 vsize=10659088 memory=139691001689116 CPUtime=0 cores=0,2,4,6
/proc/29829/task/29833/stat : 29833 (java) S 29826 29829 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106082788 10914906112 11865 33554432000 4194304 4196468 140732075689360 139833886710416 139833961699029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29834] ppid=29826 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29829/task/29834/stat : 29834 (java) S 29826 29829 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106082788 10914906112 11865 33554432000 4194304 4196468 140732075689360 139833885657360 139833961699029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29835] ppid=29826 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29829/task/29835/stat : 29835 (java) S 29826 29829 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106082788 10914906112 11865 33554432000 4194304 4196468 140732075689360 139833884604816 139833961699029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29836] ppid=29826 vsize=10659088 memory=139691001050752 CPUtime=0 cores=0,2,4,6
/proc/29829/task/29836/stat : 29836 (java) S 29826 29829 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106082789 10914906112 11865 33554432000 4194304 4196468 140732075689360 139833065294576 139833961699970 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29837] ppid=29826 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29829/task/29837/stat : 29837 (java) S 29826 29829 22004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106082790 10914906112 11865 33554432000 4194304 4196468 140732075689360 139833064240800 139833961699029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29838] ppid=29826 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29829/task/29838/stat : 29838 (java) S 29826 29829 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106082790 10914906112 11865 33554432000 4194304 4196468 140732075689360 139832860861680 139833961699029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29839] ppid=29826 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29829/task/29839/stat : 29839 (java) S 29826 29829 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106082792 10914906112 11865 33554432000 4194304 4196468 140732075689360 139832859810256 139833961707419 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29840] ppid=29826 vsize=10659088 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/29829/task/29840/stat : 29840 (java) R 29826 29829 22004 0 -1 1077944384 598 0 0 0 4 0 0 0 20 0 15 0 106082792 10914906112 11865 33554432000 4194304 4196468 140732075689360 139832858757360 139833961699970 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29841] ppid=29826 vsize=10659088 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/29829/task/29841/stat : 29841 (java) R 29826 29829 22004 0 -1 4202560 587 0 0 0 4 0 0 0 20 0 15 0 106082792 10914906112 11865 33554432000 4194304 4196468 140732075689360 139832857690912 139833939031840 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29842] ppid=29826 vsize=10659088 memory=139691001050752 CPUtime=0.13 cores=0,2,4,6
/proc/29829/task/29842/stat : 29842 (java) R 29826 29829 22004 0 -1 4202560 769 0 0 0 13 0 0 0 20 0 15 0 106082792 10914906112 11865 33554432000 4194304 4196468 140732075689360 139832856647488 139833940659078 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29843] ppid=29826 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29829/task/29843/stat : 29843 (java) S 29826 29829 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106082792 10914906112 11865 33554432000 4194304 4196468 140732075689360 139832855599456 139833961699029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29844] ppid=29826 vsize=10659088 memory=139691001050752 CPUtime=0 cores=0,2,4,6
/proc/29829/task/29844/stat : 29844 (java) S 29826 29829 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106082793 10914906112 11865 33554432000 4194304 4196468 140732075689360 139832854547504 139833961699970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 47460 KiB

[startup+0.701589 s]
/proc/loadavg: 2.08 2.39 2.66 7/216 29844
/proc/meminfo: memFree=27442316/32770624 swapFree=67108860/67108860
[pid=29829] ppid=29826 vsize=10727700 memory=103392 CPUtime=1.7 cores=0,2,4,6
/proc/29829/stat : 29829 (java) S 29826 29829 22004 0 -1 1077944320 10794 0 0 0 165 5 0 0 20 0 16 0 106082787 10985164800 25848 33554432000 4194304 4196468 140732075689360 140732075671904 139833961688823 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
/proc/29829/statm: 2681925 25848 3109 1 0 2644416 0
[pid=29829/tid=29831] ppid=29826 vsize=10727700 memory=1840 CPUtime=0.66 cores=0,2,4,6
/proc/29829/task/29831/stat : 29831 (java) R 29826 29829 22004 0 -1 4202560 5557 0 0 0 63 3 0 0 20 0 16 0 106082787 10985164800 25848 33554432000 4194304 4196468 140732075689360 139833965925200 139833553259352 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29832] ppid=29826 vsize=10727700 memory=1004 CPUtime=0 cores=0,2,4,6
/proc/29829/task/29832/stat : 29832 (java) S 29826 29829 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 106082788 10985164800 25848 33554432000 4194304 4196468 140732075689360 139833887762960 139833961699029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29833] ppid=29826 vsize=10727700 memory=12060 CPUtime=0 cores=0,2,4,6
/proc/29829/task/29833/stat : 29833 (java) S 29826 29829 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 106082788 10985164800 25848 33554432000 4194304 4196468 140732075689360 139833886710416 139833961699029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29834] ppid=29826 vsize=10727700 memory=5788 CPUtime=0 cores=0,2,4,6
/proc/29829/task/29834/stat : 29834 (java) S 29826 29829 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 106082788 10985164800 25848 33554432000 4194304 4196468 140732075689360 139833885657360 139833961699029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29835] ppid=29826 vsize=10727700 memory=792 CPUtime=0 cores=0,2,4,6
/proc/29829/task/29835/stat : 29835 (java) S 29826 29829 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 106082788 10985164800 25848 33554432000 4194304 4196468 140732075689360 139833884604816 139833961699029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29836] ppid=29826 vsize=10727700 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/29829/task/29836/stat : 29836 (java) S 29826 29829 22004 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 106082789 10985164800 25848 33554432000 4194304 4196468 140732075689360 139833065294576 139833961699970 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29837] ppid=29826 vsize=10727700 memory=1944 CPUtime=0 cores=0,2,4,6
/proc/29829/task/29837/stat : 29837 (java) S 29826 29829 22004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 106082790 10985164800 25848 33554432000 4194304 4196468 140732075689360 139833064240800 139833961699029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29838] ppid=29826 vsize=10727700 memory=1416 CPUtime=0 cores=0,2,4,6
/proc/29829/task/29838/stat : 29838 (java) S 29826 29829 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 106082790 10985164800 25848 33554432000 4194304 4196468 140732075689360 139832860861680 139833961699029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29839] ppid=29826 vsize=10727700 memory=7236533984234661184 CPUtime=0 cores=0,2,4,6
/proc/29829/task/29839/stat : 29839 (java) S 29826 29829 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106082792 10985164800 25848 33554432000 4194304 4196468 140732075689360 139832859810256 139833961707419 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29840] ppid=29826 vsize=10727700 memory=7590935255203861604 CPUtime=0.29 cores=0,2,4,6
/proc/29829/task/29840/stat : 29840 (java) R 29826 29829 22004 0 -1 4202560 1203 0 0 0 29 0 0 0 20 0 16 0 106082792 10985164800 25848 33554432000 4194304 4196468 140732075689360 139832858743456 139833939542369 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29841] ppid=29826 vsize=10727700 memory=6293050847276651881 CPUtime=0.32 cores=0,2,4,6
/proc/29829/task/29841/stat : 29841 (java) R 29826 29829 22004 0 -1 4202560 1117 0 0 0 32 0 0 0 20 0 16 0 106082792 10985164800 25848 33554432000 4194304 4196468 140732075689360 139832857692656 139833939925209 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29842] ppid=29826 vsize=10727700 memory=0 CPUtime=0.39 cores=0,2,4,6
/proc/29829/task/29842/stat : 29842 (java) S 29826 29829 22004 0 -1 1077944384 1529 0 0 0 39 0 0 0 20 0 16 0 106082792 10985164800 25848 33554432000 4194304 4196468 140732075689360 139832856651760 139833961699970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29843] ppid=29826 vsize=10727700 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29829/task/29843/stat : 29843 (java) S 29826 29829 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106082792 10985164800 25848 33554432000 4194304 4196468 140732075689360 139832855599456 139833961699029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29844] ppid=29826 vsize=10727700 memory=33 CPUtime=0 cores=0,2,4,6
/proc/29829/task/29844/stat : 29844 (java) S 29826 29829 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 106082793 10985164800 25848 33554432000 4194304 4196468 140732075689360 139832854547504 139833961699970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
Current children cumulated CPU time: 1.7 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 103392 KiB

[startup+1.50076 s]
/proc/loadavg: 2.08 2.39 2.66 6/217 29845
/proc/meminfo: memFree=27395616/32770624 swapFree=67108860/67108860
[pid=29829] ppid=29826 vsize=10727700 memory=111588 CPUtime=3.27 cores=0,2,4,6
/proc/29829/stat : 29829 (java) S 29826 29829 22004 0 -1 1077944320 12263 0 0 0 321 6 0 0 20 0 16 0 106082787 10985164800 27897 33554432000 4194304 4196468 140732075689360 140732075671904 139833961688823 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
/proc/29829/statm: 2681925 27897 3116 1 0 2644416 0
[pid=29829/tid=29831] ppid=29826 vsize=10727700 memory=0 CPUtime=1.46 cores=0,2,4,6
/proc/29829/task/29831/stat : 29831 (java) R 29826 29829 22004 0 -1 4202560 5691 0 0 0 142 4 0 0 20 0 16 0 106082787 10985164800 27897 33554432000 4194304 4196468 140732075689360 139833965925560 139833553688977 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29832] ppid=29826 vsize=10727700 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/29829/task/29832/stat : 29832 (java) S 29826 29829 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 106082788 10985164800 27897 33554432000 4194304 4196468 140732075689360 139833887762960 139833961699029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29833] ppid=29826 vsize=10727700 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29829/task/29833/stat : 29833 (java) S 29826 29829 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 106082788 10985164800 27897 33554432000 4194304 4196468 140732075689360 139833886710416 139833961699029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29834] ppid=29826 vsize=10727700 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29829/task/29834/stat : 29834 (java) S 29826 29829 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 106082788 10985164800 27897 33554432000 4194304 4196468 140732075689360 139833885657360 139833961699029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29835] ppid=29826 vsize=10727700 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29829/task/29835/stat : 29835 (java) S 29826 29829 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 106082788 10985164800 27897 33554432000 4194304 4196468 140732075689360 139833884604816 139833961699029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29836] ppid=29826 vsize=10727700 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29829/task/29836/stat : 29836 (java) S 29826 29829 22004 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 106082789 10985164800 27897 33554432000 4194304 4196468 140732075689360 139833065294576 139833961699970 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0

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

/proc/29829/task/29833/stat : 29833 (java) S 29826 29829 22004 0 -1 1077944384 671 0 0 0 1 0 0 0 20 0 16 0 106082788 10985164800 54043 33554432000 4194304 4196468 140732075689360 139833886710416 139833961699029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29834] ppid=29826 vsize=10727700 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/29829/task/29834/stat : 29834 (java) S 29826 29829 22004 0 -1 1077944384 297 0 0 0 1 0 0 0 20 0 16 0 106082788 10985164800 54043 33554432000 4194304 4196468 140732075689360 139833885657360 139833961699029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29835] ppid=29826 vsize=10727700 memory=15872 CPUtime=0.01 cores=0,2,4,6
/proc/29829/task/29835/stat : 29835 (java) S 29826 29829 22004 0 -1 1077944384 84 0 0 0 1 0 0 0 20 0 16 0 106082788 10985164800 54043 33554432000 4194304 4196468 140732075689360 139833884604816 139833961699029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29836] ppid=29826 vsize=10727700 memory=216172 CPUtime=0 cores=0,2,4,6
/proc/29829/task/29836/stat : 29836 (java) S 29826 29829 22004 0 -1 1077944384 654 0 0 0 0 0 0 0 20 0 16 0 106082789 10985164800 54043 33554432000 4194304 4196468 140732075689360 139833065294576 139833961699970 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29837] ppid=29826 vsize=10727700 memory=4028 CPUtime=0 cores=0,2,4,6
/proc/29829/task/29837/stat : 29837 (java) S 29826 29829 22004 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 16 0 106082790 10985164800 54043 33554432000 4194304 4196468 140732075689360 139833064240800 139833961699029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29838] ppid=29826 vsize=10727700 memory=216172 CPUtime=0 cores=0,2,4,6
/proc/29829/task/29838/stat : 29838 (java) S 29826 29829 22004 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 16 0 106082790 10985164800 54043 33554432000 4194304 4196468 140732075689360 139832860861680 139833961699029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29839] ppid=29826 vsize=10727700 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/29829/task/29839/stat : 29839 (java) S 29826 29829 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106082792 10985164800 54043 33554432000 4194304 4196468 140732075689360 139832859810256 139833961707419 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29840] ppid=29826 vsize=10727700 memory=216172 CPUtime=0.85 cores=0,2,4,6
/proc/29829/task/29840/stat : 29840 (java) S 29826 29829 22004 0 -1 1077944384 5445 0 0 0 84 1 0 0 20 0 16 0 106082792 10985164800 54043 33554432000 4194304 4196468 140732075689360 139832858757360 139833961699970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29841] ppid=29826 vsize=10727700 memory=216172 CPUtime=1.25 cores=0,2,4,6
/proc/29829/task/29841/stat : 29841 (java) S 29826 29829 22004 0 -1 1077944384 8931 0 0 0 125 0 0 0 20 0 16 0 106082792 10985164800 54043 33554432000 4194304 4196468 140732075689360 139832857704816 139833961699970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29842] ppid=29826 vsize=10727700 memory=288230574492221466 CPUtime=0.49 cores=0,2,4,6
/proc/29829/task/29842/stat : 29842 (java) S 29826 29829 22004 0 -1 1077944384 3499 0 0 0 48 1 0 0 20 0 16 0 106082792 10985164800 54043 33554432000 4194304 4196468 140732075689360 139832856651760 139833961699970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29843] ppid=29826 vsize=10727700 memory=288230596050944315 CPUtime=0 cores=0,2,4,6
/proc/29829/task/29843/stat : 29843 (java) S 29826 29829 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106082792 10985164800 54043 33554432000 4194304 4196468 140732075689360 139832855599456 139833961699029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29844] ppid=29826 vsize=10727700 memory=30240 CPUtime=0.09 cores=0,2,4,6
/proc/29829/task/29844/stat : 29844 (java) S 29826 29829 22004 0 -1 1077944384 820 0 0 0 6 3 0 0 20 0 16 0 106082793 10985164800 54043 33554432000 4194304 4196468 140732075689360 139832854547504 139833961699970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29845] ppid=29826 vsize=10727700 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/29829/task/29845/stat : 29845 (java) S 29826 29829 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 106082856 10985164800 54043 33554432000 4194304 4196468 140732075689360 139832851396144 139833961699970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
Current children cumulated CPU time: 225.03 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 216172 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+249.301 s]
/proc/loadavg: 2.05 2.28 2.56 3/217 29936
/proc/meminfo: memFree=27904012/32770624 swapFree=67108860/67108860
[pid=29829] ppid=29826 vsize=10727700 memory=236704 CPUtime=252.09 cores=0,2,4,6
/proc/29829/stat : 29829 (java) S 29826 29829 22004 0 -1 1077944320 31633 0 0 0 25192 17 0 0 20 0 16 0 106082787 10985164800 59176 33554432000 4194304 4196468 140732075689360 140732075671904 139833961688823 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
/proc/29829/statm: 2681925 59176 3165 1 0 2644416 0
[pid=29829/tid=29831] ppid=29826 vsize=10727700 memory=1784 CPUtime=249.19 cores=0,2,4,6
/proc/29829/task/29831/stat : 29831 (java) R 29826 29829 22004 0 -1 4202560 8459 0 0 0 24915 4 0 0 20 0 16 0 106082787 10985164800 59176 33554432000 4194304 4196468 140732075689360 139833965927760 139833554405192 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29832] ppid=29826 vsize=10727700 memory=236704 CPUtime=0.03 cores=0,2,4,6
/proc/29829/task/29832/stat : 29832 (java) S 29826 29829 22004 0 -1 1077944384 682 0 0 0 2 1 0 0 20 0 16 0 106082788 10985164800 59176 33554432000 4194304 4196468 140732075689360 139833887762960 139833961699029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29833] ppid=29826 vsize=10727700 memory=236704 CPUtime=0.03 cores=0,2,4,6
/proc/29829/task/29833/stat : 29833 (java) S 29826 29829 22004 0 -1 1077944384 909 0 0 0 2 1 0 0 20 0 16 0 106082788 10985164800 59176 33554432000 4194304 4196468 140732075689360 139833886710416 139833961699029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29834] ppid=29826 vsize=10727700 memory=236704 CPUtime=0.03 cores=0,2,4,6
/proc/29829/task/29834/stat : 29834 (java) S 29826 29829 22004 0 -1 1077944384 356 0 0 0 2 1 0 0 20 0 16 0 106082788 10985164800 59176 33554432000 4194304 4196468 140732075689360 139833885657360 139833961699029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29835] ppid=29826 vsize=10727700 memory=236704 CPUtime=0.03 cores=0,2,4,6
/proc/29829/task/29835/stat : 29835 (java) S 29826 29829 22004 0 -1 1077944384 144 0 0 0 2 1 0 0 20 0 16 0 106082788 10985164800 59176 33554432000 4194304 4196468 140732075689360 139833884604816 139833961699029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29836] ppid=29826 vsize=10727700 memory=7663302752475524762 CPUtime=0 cores=0,2,4,6
/proc/29829/task/29836/stat : 29836 (java) S 29826 29829 22004 0 -1 1077944384 835 0 0 0 0 0 0 0 20 0 16 0 106082789 10985164800 59176 33554432000 4194304 4196468 140732075689360 139833065294576 139833961699970 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29837] ppid=29826 vsize=10727700 memory=236704 CPUtime=0 cores=0,2,4,6
/proc/29829/task/29837/stat : 29837 (java) S 29826 29829 22004 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 16 0 106082790 10985164800 59176 33554432000 4194304 4196468 140732075689360 139833064240800 139833961699029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29838] ppid=29826 vsize=10727700 memory=236704 CPUtime=0 cores=0,2,4,6
/proc/29829/task/29838/stat : 29838 (java) S 29826 29829 22004 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 16 0 106082790 10985164800 59176 33554432000 4194304 4196468 140732075689360 139832860861680 139833961699029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29839] ppid=29826 vsize=10727700 memory=236704 CPUtime=0 cores=0,2,4,6
/proc/29829/task/29839/stat : 29839 (java) S 29826 29829 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106082792 10985164800 59176 33554432000 4194304 4196468 140732075689360 139832859810256 139833961707419 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29840] ppid=29826 vsize=10727700 memory=4028 CPUtime=0.85 cores=0,2,4,6
/proc/29829/task/29840/stat : 29840 (java) S 29826 29829 22004 0 -1 1077944384 5528 0 0 0 84 1 0 0 20 0 16 0 106082792 10985164800 59176 33554432000 4194304 4196468 140732075689360 139832858757360 139833961699970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29841] ppid=29826 vsize=10727700 memory=4028 CPUtime=1.25 cores=0,2,4,6
/proc/29829/task/29841/stat : 29841 (java) S 29826 29829 22004 0 -1 1077944384 8933 0 0 0 125 0 0 0 20 0 16 0 106082792 10985164800 59176 33554432000 4194304 4196468 140732075689360 139832857704816 139833961699970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29842] ppid=29826 vsize=10727700 memory=30240 CPUtime=0.49 cores=0,2,4,6
/proc/29829/task/29842/stat : 29842 (java) S 29826 29829 22004 0 -1 1077944384 3501 0 0 0 48 1 0 0 20 0 16 0 106082792 10985164800 59176 33554432000 4194304 4196468 140732075689360 139832856651760 139833961699970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29843] ppid=29826 vsize=10727700 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/29829/task/29843/stat : 29843 (java) S 29826 29829 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106082792 10985164800 59176 33554432000 4194304 4196468 140732075689360 139832855599456 139833961699029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29844] ppid=29826 vsize=10727700 memory=288230596050944315 CPUtime=0.1 cores=0,2,4,6
/proc/29829/task/29844/stat : 29844 (java) S 29826 29829 22004 0 -1 1077944384 826 0 0 0 6 4 0 0 20 0 16 0 106082793 10985164800 59176 33554432000 4194304 4196468 140732075689360 139832854547504 139833961699970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29845] ppid=29826 vsize=10727700 memory=15542903384575324 CPUtime=0 cores=0,2,4,6
/proc/29829/task/29845/stat : 29845 (java) S 29826 29829 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 106082856 10985164800 59176 33554432000 4194304 4196468 140732075689360 139832851396144 139833961699970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
Current children cumulated CPU time: 252.09 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 236704 KiB

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

[startup+249.525 s]
# the end of solver process 29829 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=251.969 s, system=0.18004 s

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

[startup+249.405 s]
/proc/loadavg: 2.05 2.28 2.56 3/217 29936
/proc/meminfo: memFree=27904012/32770624 swapFree=67108860/67108860
[pid=29829] ppid=29826 vsize=10927392 memory=236920 CPUtime=252.13 cores=0,2,4,6
/proc/29829/stat : 29829 (java) S 29826 29829 22004 0 -1 1077944320 32001 0 0 0 25196 17 0 0 20 0 17 0 106082787 11189649408 59230 33554432000 4194304 4196468 140732075689360 140732075671904 139833961688823 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
/proc/29829/statm: 2731848 59230 3167 1 0 2694339 0
[pid=29829/tid=29831] ppid=29826 vsize=10927392 memory=288230596050944315 CPUtime=249.23 cores=0,2,4,6
/proc/29829/task/29831/stat : 29831 (java) S 29826 29829 22004 0 -1 1077944384 8517 0 0 0 24918 5 0 0 20 0 17 0 106082787 11189649408 59230 33554432000 4194304 4196468 140732075689360 139833965931696 139833961699029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29832] ppid=29826 vsize=10927392 memory=15542903384575324 CPUtime=0.03 cores=0,2,4,6
/proc/29829/task/29832/stat : 29832 (java) S 29826 29829 22004 0 -1 1077944384 682 0 0 0 2 1 0 0 20 0 17 0 106082788 11189649408 59230 33554432000 4194304 4196468 140732075689360 139833887762960 139833961699029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29833] ppid=29826 vsize=10927392 memory=3848 CPUtime=0.03 cores=0,2,4,6
/proc/29829/task/29833/stat : 29833 (java) S 29826 29829 22004 0 -1 1077944384 909 0 0 0 2 1 0 0 20 0 17 0 106082788 11189649408 59230 33554432000 4194304 4196468 140732075689360 139833886710416 139833961699029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29834] ppid=29826 vsize=10927392 memory=2788 CPUtime=0.03 cores=0,2,4,6
/proc/29829/task/29834/stat : 29834 (java) S 29826 29829 22004 0 -1 1077944384 356 0 0 0 2 1 0 0 20 0 17 0 106082788 11189649408 59230 33554432000 4194304 4196468 140732075689360 139833885657360 139833961699029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29835] ppid=29826 vsize=10927392 memory=2732 CPUtime=0.03 cores=0,2,4,6
/proc/29829/task/29835/stat : 29835 (java) S 29826 29829 22004 0 -1 1077944384 144 0 0 0 2 1 0 0 20 0 17 0 106082788 11189649408 59230 33554432000 4194304 4196468 140732075689360 139833884604816 139833961699029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29836] ppid=29826 vsize=10927392 memory=4108 CPUtime=0 cores=0,2,4,6
/proc/29829/task/29836/stat : 29836 (java) S 29826 29829 22004 0 -1 1077944384 835 0 0 0 0 0 0 0 20 0 17 0 106082789 11189649408 59230 33554432000 4194304 4196468 140732075689360 139833065294576 139833961699970 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29837] ppid=29826 vsize=10927392 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/29829/task/29837/stat : 29837 (java) S 29826 29829 22004 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 17 0 106082790 11189649408 59230 33554432000 4194304 4196468 140732075689360 139833064240800 139833961699029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29838] ppid=29826 vsize=10927392 memory=3196 CPUtime=0 cores=0,2,4,6
/proc/29829/task/29838/stat : 29838 (java) S 29826 29829 22004 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 17 0 106082790 11189649408 59230 33554432000 4194304 4196468 140732075689360 139832860861680 139833961699029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29839] ppid=29826 vsize=10927392 memory=236704 CPUtime=0 cores=0,2,4,6
/proc/29829/task/29839/stat : 29839 (java) S 29826 29829 22004 0 -1 1077944384 101 0 0 0 0 0 0 0 20 0 17 0 106082792 11189649408 59230 33554432000 4194304 4196468 140732075689360 139832859810256 139833961707419 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29840] ppid=29826 vsize=10927392 memory=1404 CPUtime=0.85 cores=0,2,4,6
/proc/29829/task/29840/stat : 29840 (java) S 29826 29829 22004 0 -1 1077944384 5533 0 0 0 84 1 0 0 20 0 17 0 106082792 11189649408 59230 33554432000 4194304 4196468 140732075689360 139832858757360 139833961699970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29841] ppid=29826 vsize=10927392 memory=3040 CPUtime=1.25 cores=0,2,4,6
/proc/29829/task/29841/stat : 29841 (java) S 29826 29829 22004 0 -1 1077944384 8939 0 0 0 125 0 0 0 20 0 17 0 106082792 11189649408 59230 33554432000 4194304 4196468 140732075689360 139832857704816 139833961699970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29842] ppid=29826 vsize=10927392 memory=201268 CPUtime=0.5 cores=0,2,4,6
/proc/29829/task/29842/stat : 29842 (java) S 29826 29829 22004 0 -1 1077944384 3504 0 0 0 49 1 0 0 20 0 17 0 106082792 11189649408 59230 33554432000 4194304 4196468 140732075689360 139832856651760 139833961699970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29843] ppid=29826 vsize=10927392 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/29829/task/29843/stat : 29843 (java) S 29826 29829 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 106082792 11189649408 59230 33554432000 4194304 4196468 140732075689360 139832855599456 139833961699029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29844] ppid=29826 vsize=10927392 memory=1200 CPUtime=0.1 cores=0,2,4,6
/proc/29829/task/29844/stat : 29844 (java) S 29826 29829 22004 0 -1 1077944384 826 0 0 0 6 4 0 0 20 0 17 0 106082793 11189649408 59230 33554432000 4194304 4196468 140732075689360 139832854547504 139833961699970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
Current children cumulated CPU time: 252.13 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 236920 KiB

[startup+249.501 s]
/proc/loadavg: 2.05 2.28 2.56 3/217 29936
/proc/meminfo: memFree=27904012/32770624 swapFree=67108860/67108860
[pid=29829] ppid=29826 vsize=10927392 memory=236920 CPUtime=252.13 cores=0,2,4,6
/proc/29829/stat : 29829 (java) S 29826 29829 22004 0 -1 1077944320 32001 0 0 0 25196 17 0 0 20 0 17 0 106082787 11189649408 59230 33554432000 4194304 4196468 140732075689360 140732075671904 139833961688823 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
/proc/29829/statm: 2731848 59230 3167 1 0 2694339 0
[pid=29829/tid=29831] ppid=29826 vsize=10927392 memory=4028 CPUtime=249.23 cores=0,2,4,6
/proc/29829/task/29831/stat : 29831 (java) S 29826 29829 22004 0 -1 1077944384 8517 0 0 0 24918 5 0 0 20 0 17 0 106082787 11189649408 59230 33554432000 4194304 4196468 140732075689360 139833965931696 139833961699029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29832] ppid=29826 vsize=10927392 memory=236704 CPUtime=0.03 cores=0,2,4,6
/proc/29829/task/29832/stat : 29832 (java) S 29826 29829 22004 0 -1 1077944384 682 0 0 0 2 1 0 0 20 0 17 0 106082788 11189649408 59230 33554432000 4194304 4196468 140732075689360 139833887762960 139833961699029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29833] ppid=29826 vsize=10927392 memory=1784 CPUtime=0.03 cores=0,2,4,6
/proc/29829/task/29833/stat : 29833 (java) S 29826 29829 22004 0 -1 1077944384 909 0 0 0 2 1 0 0 20 0 17 0 106082788 11189649408 59230 33554432000 4194304 4196468 140732075689360 139833886710416 139833961699029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29834] ppid=29826 vsize=10927392 memory=236704 CPUtime=0.03 cores=0,2,4,6
/proc/29829/task/29834/stat : 29834 (java) S 29826 29829 22004 0 -1 1077944384 356 0 0 0 2 1 0 0 20 0 17 0 106082788 11189649408 59230 33554432000 4194304 4196468 140732075689360 139833885657360 139833961699029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29835] ppid=29826 vsize=10927392 memory=236704 CPUtime=0.03 cores=0,2,4,6
/proc/29829/task/29835/stat : 29835 (java) S 29826 29829 22004 0 -1 1077944384 144 0 0 0 2 1 0 0 20 0 17 0 106082788 11189649408 59230 33554432000 4194304 4196468 140732075689360 139833884604816 139833961699029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29836] ppid=29826 vsize=10927392 memory=236704 CPUtime=0 cores=0,2,4,6
/proc/29829/task/29836/stat : 29836 (java) S 29826 29829 22004 0 -1 1077944384 835 0 0 0 0 0 0 0 20 0 17 0 106082789 11189649408 59230 33554432000 4194304 4196468 140732075689360 139833065294576 139833961699970 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29837] ppid=29826 vsize=10927392 memory=4028 CPUtime=0 cores=0,2,4,6
/proc/29829/task/29837/stat : 29837 (java) S 29826 29829 22004 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 17 0 106082790 11189649408 59230 33554432000 4194304 4196468 140732075689360 139833064240800 139833961699029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29838] ppid=29826 vsize=10927392 memory=236704 CPUtime=0 cores=0,2,4,6
/proc/29829/task/29838/stat : 29838 (java) S 29826 29829 22004 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 17 0 106082790 11189649408 59230 33554432000 4194304 4196468 140732075689360 139832860861680 139833961699029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29839] ppid=29826 vsize=10927392 memory=1572 CPUtime=0 cores=0,2,4,6
/proc/29829/task/29839/stat : 29839 (java) S 29826 29829 22004 0 -1 1077944384 101 0 0 0 0 0 0 0 20 0 17 0 106082792 11189649408 59230 33554432000 4194304 4196468 140732075689360 139832859810256 139833961707419 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29840] ppid=29826 vsize=10927392 memory=236704 CPUtime=0.85 cores=0,2,4,6
/proc/29829/task/29840/stat : 29840 (java) S 29826 29829 22004 0 -1 1077944384 5533 0 0 0 84 1 0 0 20 0 17 0 106082792 11189649408 59230 33554432000 4194304 4196468 140732075689360 139832858757360 139833961699970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29841] ppid=29826 vsize=10927392 memory=236704 CPUtime=1.25 cores=0,2,4,6
/proc/29829/task/29841/stat : 29841 (java) S 29826 29829 22004 0 -1 1077944384 8939 0 0 0 125 0 0 0 20 0 17 0 106082792 11189649408 59230 33554432000 4194304 4196468 140732075689360 139832857704816 139833961699970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29842] ppid=29826 vsize=10927392 memory=236704 CPUtime=0.5 cores=0,2,4,6
/proc/29829/task/29842/stat : 29842 (java) S 29826 29829 22004 0 -1 1077944384 3504 0 0 0 49 1 0 0 20 0 17 0 106082792 11189649408 59230 33554432000 4194304 4196468 140732075689360 139832856651760 139833961699970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29843] ppid=29826 vsize=10927392 memory=30240 CPUtime=0 cores=0,2,4,6
/proc/29829/task/29843/stat : 29843 (java) S 29826 29829 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 106082792 11189649408 59230 33554432000 4194304 4196468 140732075689360 139832855599456 139833961699029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
[pid=29829/tid=29844] ppid=29826 vsize=10927392 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/29829/task/29844/stat : 29844 (java) S 29826 29829 22004 0 -1 1077944384 826 0 0 0 6 4 0 0 20 0 17 0 106082793 11189649408 59230 33554432000 4194304 4196468 140732075689360 139832854547504 139833961699970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28999680 140732075693174 140732075693326 140732075693326 140732075696079 0
Current children cumulated CPU time: 252.13 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 236920 KiB

Child status: 143
Real time (s): 249.525
CPU time (s): 252.15
CPU user time (s): 251.969
CPU system time (s): 0.18004
CPU usage (%): 101.052
Max. virtual memory (cumulated for all children) (KiB): 10927392
Max. memory (cumulated for all children) (KiB): 236920

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.969
system time used= 0.18004
maximum resident set size= 237212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32250
page faults= 0
swaps= 0
block input operations= 0
block output operations= 352
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7639
involuntary context switches= 333


# summary of solver processes directly reported to runsolver:
#   pid: 29829
#   total CPU time (s): 252.15
#   total CPU user time (s): 251.969
#   total CPU system time (s): 0.18004

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.2984 second user time and 2.51956 second system time

The end

Name	LowAutocorrelation/ LowAutocorrelation-026_c18.xml
MD5SUM	4805ee3407b1bb595f0e8cbeb6f1f78a
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	45
Best CPU time to get the best result obtained on this benchmark	252.046
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 4301865

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