2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
sat4j-CSP 2017-07-05	SAT	1596.5699	1589.5601

3.94/1.40	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
3.94/1.40	c This is free software under the dual EPL/GNU LGPL licenses.
3.94/1.40	c See www.sat4j.org for details.
3.94/1.40	c That software uses the Rhino library from the Mozilla project.
3.94/1.40	c version CUSTOM.v20170705
3.94/1.40	c java.runtime.name	Java(TM) SE Runtime Environment
3.94/1.40	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
3.94/1.40	c java.vm.version	25.131-b11
3.94/1.40	c java.vm.vendor	Oracle Corporation
3.94/1.40	c sun.arch.data.model	64
3.94/1.40	c java.version		1.8.0_131
3.94/1.40	c os.name		Linux
3.94/1.40	c os.version		3.10.0-514.16.1.el7.x86_64
3.94/1.40	c os.arch		amd64
3.94/1.40	c Free memory 		499604488
3.94/1.40	c Max memory 		7247757312
3.94/1.40	c Total memory 		504889344
3.94/1.40	c Number of processors 	4
3.94/1.40	c c --- Begin Solver configuration ---
3.94/1.40	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b71fc7e
3.94/1.40	c Learn all clauses as in MiniSAT
3.94/1.40	c LOGGER=java.util.logging.Logger@25f38edc claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
3.94/1.40	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
3.94/1.40	c No reason simplification
3.94/1.40	c Glucose 2.1 dynamic restart strategy
3.94/1.40	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
3.94/1.40	c timeout=2147483s
3.94/1.40	c DB Simplification allowed=false
3.94/1.40	c Listener: org.sat4j.minisat.core.VoidTracing@1a86f2f1
3.94/1.40	c --- End Solver configuration ---
3.94/1.40	c constraints type 
3.94/1.40	c org.sat4j.minisat.constraints.card.MinWatchCard => 1200
3.94/1.40	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 135746
3.94/1.40	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 739510
3.94/1.40	c org.sat4j.minisat.constraints.cnf.UnitClause => 1504
3.94/1.40	c 877960 constraints processed.
1596.50/1589.50	c starts		: 7467
1596.50/1589.50	c conflicts		: 1579501
1596.50/1589.50	c decisions		: 34855384
1596.50/1589.50	c propagations		: 4927206090
1596.50/1589.50	c inspects		: 10639582865
1596.50/1589.50	c shortcuts		: 0
1596.50/1589.50	c learnt literals	: 2488
1596.50/1589.50	c learnt binary clauses	: 21197
1596.50/1589.50	c learnt ternary clauses	: 32225
1596.50/1589.50	c learnt constraints	: 1577013
1596.50/1589.50	c ignored constraints	: 0
1596.50/1589.50	c root simplifications	: 0
1596.50/1589.50	c removed literals (reason simplification)	: 0
1596.50/1589.50	c reason swapping (by a shorter reason)	: 0
1596.50/1589.50	c Calls to reduceDB	: 51
1596.50/1589.50	c Number of update (reduction) of LBD	: 1119120
1596.50/1589.50	c Imported unit clauses	: 0
1596.50/1589.50	c number of reductions to clauses (during analyze)	: 0
1596.50/1589.50	c number of learned constraints concerned by reduction	: 0
1596.50/1589.50	c number of learning phase by resolution	: 0
1596.50/1589.50	c number of learning phase by cutting planes	: 0
1596.50/1589.50	c number of rounding to 1 operations	: 0
1596.50/1589.50	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
1596.50/1589.50	c number of reductions of the coefficients by power 2 	: 0
1596.50/1589.50	c number of right shift for reduction by power 2 	: 0
1596.50/1589.50	c number of reductions of the coefficients by GCD over coefficients 	: 0
1596.50/1589.50	c speed (assignments/second)	: 3102688.647165947
1596.50/1589.50	c non guided choices	5272127
1596.50/1589.53	c learnt constraints type 
1596.50/1589.53	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 21197
1596.50/1589.53	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 149837
1596.50/1589.53	s SATISFIABLE
1596.50/1589.53	v <instantiation type="solution">
1596.50/1589.53	v 	<list> cls[0] cls[1] cls[2] cls[3] cls[4] cls[5] cls[6] cls[7] cls[8] cls[9] cls[10] cls[11] cls[12] cls[13] cls[14] cls[15] cls[16] cls[17] cls[18] cls[19] cls[20] cls[21] cls[22] cls[23] cls[24] cls[25] cls[26] cls[27] cls[28] cls[29] cls[30] cls[31] cls[32] cls[33] cls[34] cls[35] cls[36] cls[37] cls[38] cls[39] cls[40] cls[41] cls[42] cls[43] cls[44] cls[45] cls[46] cls[47] cls[48] cls[49] cls[50] cls[51] cls[52] cls[53] cls[54] cls[55] cls[56] cls[57] cls[58] cls[59] cls[60] cls[61] cls[62] cls[63] cls[64] cls[65] cls[66] cls[67] cls[68] cls[69] cls[70] cls[71] cls[72] cls[73] cls[74] cls[75] cls[76] cls[77] cls[78] cls[79] cls[80] cls[81] cls[82] cls[83] cls[84] cls[85] cls[86] cls[87] cls[88] cls[89] cls[90] cls[91] cls[92] cls[93] cls[94] cls[95] cls[96] cls[97] cls[98] cls[99] opt[0][0] opt[0][1] opt[0][2] opt[0][3] opt[0][4] opt[1][0] opt[1][1] opt[1][2] opt[1][3] opt[1][4] opt[2][0] opt[2][1] opt[2][2] opt[2][3] opt[2][4] opt[3][0] opt[3][1] opt[3][2] opt[3][3] opt[3][4] opt[4][0] opt[4][1] opt[4][2] opt[4][3] opt[4][4] opt[5][0] opt[5][1] opt[5][2] opt[5][3] opt[5][4] opt[6][0] opt[6][1] opt[6][2] opt[6][3] opt[6][4] opt[7][0] opt[7][1] opt[7][2] opt[7][3] opt[7][4] opt[8][0] opt[8][1] opt[8][2] opt[8][3] opt[8][4] opt[9][0] opt[9][1] opt[9][2] opt[9][3] opt[9][4] opt[10][0] opt[10][1] opt[10][2] opt[10][3] opt[10][4] opt[11][0] opt[11][1] opt[11][2] opt[11][3] opt[11][4] opt[12][0] opt[12][1] opt[12][2] opt[12][3] opt[12][4] opt[13][0] opt[13][1] opt[13][2] opt[13][3] opt[13][4] opt[14][0] opt[14][1] opt[14][2] opt[14][3] opt[14][4] opt[15][0] opt[15][1] opt[15][2] opt[15][3] opt[15][4] opt[16][0] opt[16][1] opt[16][2] opt[16][3] opt[16][4] opt[17][0] opt[17][1] opt[17][2] opt[17][3] opt[17][4] opt[18][0] opt[18][1] opt[18][2] opt[18][3] opt[18][4] opt[19][0] opt[19][1] opt[19][2] opt[19][3] opt[19][4] opt[20][0] opt[20][1] opt[20][2] opt[20][3] opt[20][4] opt[21][0] opt[21][1] opt[21][2] opt[21][3] opt[21][4] opt[22][0] opt[22][1] opt[22][2] opt[22][3] opt[22][4] opt[23][0] opt[23][1] opt[23][2] opt[23][3] opt[23][4] opt[24][0] opt[24][1] opt[24][2] opt[24][3] opt[24][4] opt[25][0] opt[25][1] opt[25][2] opt[25][3] opt[25][4] opt[26][0] opt[26][1] opt[26][2] opt[26][3] opt[26][4] opt[27][0] opt[27][1] opt[27][2] opt[27][3] opt[27][4] opt[28][0] opt[28][1] opt[28][2] opt[28][3] opt[28][4] opt[29][0] opt[29][1] opt[29][2] opt[29][3] opt[29][4] opt[30][0] opt[30][1] opt[30][2] opt[30][3] opt[30][4] opt[31][0] opt[31][1] opt[31][2] opt[31][3] opt[31][4] opt[32][0] opt[32][1] opt[32][2] opt[32][3] opt[32][4] opt[33][0] opt[33][1] opt[33][2] opt[33][3] opt[33][4] opt[34][0] opt[34][1] opt[34][2] opt[34][3] opt[34][4] opt[35][0] opt[35][1] opt[35][2] opt[35][3] opt[35][4] opt[36][0] opt[36][1] opt[36][2] opt[36][3] opt[36][4] opt[37][0] opt[37][1] opt[37][2] opt[37][3] opt[37][4] opt[38][0] opt[38][1] opt[38][2] opt[38][3] opt[38][4] opt[39][0] opt[39][1] opt[39][2] opt[39][3] opt[39][4] opt[40][0] opt[40][1] opt[40][2] opt[40][3] opt[40][4] opt[41][0] opt[41][1] opt[41][2] opt[41][3] opt[41][4] opt[42][0] opt[42][1] opt[42][2] opt[42][3] opt[42][4] opt[43][0] opt[43][1] opt[43][2] opt[43][3] opt[43][4] opt[44][0] opt[44][1] opt[44][2] opt[44][3] opt[44][4] opt[45][0] opt[45][1] opt[45][2] opt[45][3] opt[45][4] opt[46][0] opt[46][1] opt[46][2] opt[46][3] opt[46][4] opt[47][0] opt[47][1] opt[47][2] opt[47][3] opt[47][4] opt[48][0] opt[48][1] opt[48][2] opt[48][3] opt[48][4] opt[49][0] opt[49][1] opt[49][2] opt[49][3] opt[49][4] opt[50][0] opt[50][1] opt[50][2] opt[50][3] opt[50][4] opt[51][0] opt[51][1] opt[51][2] opt[51][3] opt[51][4] opt[52][0] opt[52][1] opt[52][2] opt[52][3] opt[52][4] opt[53][0] opt[53][1] opt[53][2] opt[53][3] opt[53][4] opt[54][0] opt[54][1] opt[54][2] opt[54][3] opt[54][4] opt[55][0] opt[55][1] opt[55][2] opt[55][3] opt[55][4] opt[56][0] opt[56][1] opt[56][2] opt[56][3] opt[56][4] opt[57][0] opt[57][1] opt[57][2] opt[57][3] opt[57][4] opt[58][0] opt[58][1] opt[58][2] opt[58][3] opt[58][4] opt[59][0] opt[59][1] opt[59][2] opt[59][3] opt[59][4] opt[60][0] opt[60][1] opt[60][2] opt[60][3] opt[60][4] opt[61][0] opt[61][1] opt[61][2] opt[61][3] opt[61][4] opt[62][0] opt[62][1] opt[62][2] opt[62][3] opt[62][4] opt[63][0] opt[63][1] opt[63][2] opt[63][3] opt[63][4] opt[64][0] opt[64][1] opt[64][2] opt[64][3] opt[64][4] opt[65][0] opt[65][1] opt[65][2] opt[65][3] opt[65][4] opt[66][0] opt[66][1] opt[66][2] opt[66][3] opt[66][4] opt[67][0] opt[67][1] opt[67][2] opt[67][3] opt[67][4] opt[68][0] opt[68][1] opt[68][2] opt[68][3] opt[68][4] opt[69][0] opt[69][1] opt[69][2] opt[69][3] opt[69][4] opt[70][0] opt[70][1] opt[70][2] opt[70][3] opt[70][4] opt[71][0] opt[71][1] opt[71][2] opt[71][3] opt[71][4] opt[72][0] opt[72][1] opt[72][2] opt[72][3] opt[72][4] opt[73][0] opt[73][1] opt[73][2] opt[73][3] opt[73][4] opt[74][0] opt[74][1] opt[74][2] opt[74][3] opt[74][4] opt[75][0] opt[75][1] opt[75][2] opt[75][3] opt[75][4] opt[76][0] opt[76][1] opt[76][2] opt[76][3] opt[76][4] opt[77][0] opt[77][1] opt[77][2] opt[77][3] opt[77][4] opt[78][0] opt[78][1] opt[78][2] opt[78][3] opt[78][4] opt[79][0] opt[79][1] opt[79][2] opt[79][3] opt[79][4] opt[80][0] opt[80][1] opt[80][2] opt[80][3] opt[80][4] opt[81][0] opt[81][1] opt[81][2] opt[81][3] opt[81][4] opt[82][0] opt[82][1] opt[82][2] opt[82][3] opt[82][4] opt[83][0] opt[83][1] opt[83][2] opt[83][3] opt[83][4] opt[84][0] opt[84][1] opt[84][2] opt[84][3] opt[84][4] opt[85][0] opt[85][1] opt[85][2] opt[85][3] opt[85][4] opt[86][0] opt[86][1] opt[86][2] opt[86][3] opt[86][4] opt[87][0] opt[87][1] opt[87][2] opt[87][3] opt[87][4] opt[88][0] opt[88][1] opt[88][2] opt[88][3] opt[88][4] opt[89][0] opt[89][1] opt[89][2] opt[89][3] opt[89][4] opt[90][0] opt[90][1] opt[90][2] opt[90][3] opt[90][4] opt[91][0] opt[91][1] opt[91][2] opt[91][3] opt[91][4] opt[92][0] opt[92][1] opt[92][2] opt[92][3] opt[92][4] opt[93][0] opt[93][1] opt[93][2] opt[93][3] opt[93][4] opt[94][0] opt[94][1] opt[94][2] opt[94][3] opt[94][4] opt[95][0] opt[95][1] opt[95][2] opt[95][3] opt[95][4] opt[96][0] opt[96][1] opt[96][2] opt[96][3] opt[96][4] opt[97][0] opt[97][1] opt[97][2] opt[97][3] opt[97][4] opt[98][0] opt[98][1] opt[98][2] opt[98][3] opt[98][4] opt[99][0] opt[99][1] opt[99][2] opt[99][3] opt[99][4] </list>
1596.50/1589.53	v 	<values> 8 12 14 5 20 12 0 5 1 16 19 7 14 5 1 4 13 9 18 5 0 15 10 4 18 7 15 14 6 14 12 10 15 19 9 0 5 2 7 14 12 1 16 18 12 8 5 2 9 19 12 14 15 1 4 0 5 1 16 19 4 1 5 17 4 1 12 14 3 13 5 0 3 18 4 11 5 14 7 19 16 1 5 0 7 17 5 1 4 19 5 14 5 13 4 1 5 14 12 21 1 0 1 1 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 1 1 1 0 1 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 1 0 1 0 0 1 1 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 1 1 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 1 0 0 1 0 0 1 1 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 1 0 0 1 1 1 0 1 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 1 0 0 1 0 0 1 1 0 1 0 0 0 0 0 1 0 1 0 1 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 1 0 1 0 1 0 1 1 0 0 1 0 0 0 1 1 0 0 1 0 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 1 1 1 1 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 1 0 1 1 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 1 1 0 0 0 1 0 1 0 1 0 0 0 0 0 1 1 0 0 1 0 0 1 1 0 1 0 0 0 1 0 0 1 0 0 1 1 0 0 1 1 0 0 0 0 0 0 1 0 1 1 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 0 0 1 1 1 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 1 0 0 0 1 1 1 0 0 0 0 0 1 0 1 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 1 0 1 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 1 1 1 1 1 </values>
1596.50/1589.53	v </instantiation>
1596.50/1589.53

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4263245-1502626890/watcher-4263245-1502626890 -o /tmp/evaluation-result-4263245-1502626890/solver-4263245-1502626890 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node112-1502619513-3998 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4263245-1502626890.xml 

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

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


[startup+0.100126 s]*
/proc/loadavg: 2.02 2.03 2.05 4/216 5644
/proc/meminfo: memFree=25795300/32770624 swapFree=67108860/67108860
[pid=5629] ppid=5626 vsize=10555400 memory=31340 CPUtime=0.12 cores=0,2,4,6
/proc/5629/stat : 5629 (java) S 5626 5629 1335 0 -1 1077944320 6372 0 0 0 11 1 0 0 20 0 15 0 95776846 10808729600 7835 33554432000 4194304 4196468 140728464274880 140728464257424 140524971728631 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
/proc/5629/statm: 2638850 7835 2819 1 0 2627263 0
[pid=5629/tid=5631] ppid=5626 vsize=10555400 memory=-8196701287824659301 CPUtime=0.09 cores=0,2,4,6
/proc/5629/task/5631/stat : 5631 (java) R 5626 5629 1335 0 -1 4202560 4226 0 0 0 8 1 0 0 20 0 15 0 95776846 10808729600 7835 33554432000 4194304 4196468 140728464274880 140524975952528 140524954915071 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5632] ppid=5626 vsize=10555400 memory=5793855814078962105 CPUtime=0 cores=0,2,4,6
/proc/5629/task/5632/stat : 5632 (java) S 5626 5629 1335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95776847 10808729600 7835 33554432000 4194304 4196468 140728464274880 140524897802768 140524971738837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5633] ppid=5626 vsize=10555400 memory=140563069068928 CPUtime=0 cores=0,2,4,6
/proc/5629/task/5633/stat : 5633 (java) S 5626 5629 1335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95776847 10808729600 7835 33554432000 4194304 4196468 140728464274880 140524896750224 140524971738837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5634] ppid=5626 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5629/task/5634/stat : 5634 (java) S 5626 5629 1335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95776847 10808729600 7835 33554432000 4194304 4196468 140728464274880 140524895697168 140524971738837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5635] ppid=5626 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5629/task/5635/stat : 5635 (java) S 5626 5629 1335 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95776847 10808729600 7835 33554432000 4194304 4196468 140728464274880 140524894644624 140524971738837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5636] ppid=5626 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5629/task/5636/stat : 5636 (java) S 5626 5629 1335 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95776848 10808729600 7835 33554432000 4194304 4196468 140728464274880 140524462742256 140524971739778 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5637] ppid=5626 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5629/task/5637/stat : 5637 (java) S 5626 5629 1335 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95776849 10808729600 7835 33554432000 4194304 4196468 140728464274880 140524461688480 140524971738837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5638] ppid=5626 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5629/task/5638/stat : 5638 (java) S 5626 5629 1335 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95776849 10808729600 7835 33554432000 4194304 4196468 140728464274880 140524460635376 140524971738837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5639] ppid=5626 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5629/task/5639/stat : 5639 (java) S 5626 5629 1335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95776851 10808729600 7835 33554432000 4194304 4196468 140728464274880 140524459583952 140524971747227 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5640] ppid=5626 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5629/task/5640/stat : 5640 (java) S 5626 5629 1335 0 -1 1077944384 419 0 0 0 0 0 0 0 20 0 15 0 95776851 10808729600 7835 33554432000 4194304 4196468 140728464274880 140524458531056 140524971739778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5641] ppid=5626 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5629/task/5641/stat : 5641 (java) S 5626 5629 1335 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 95776851 10808729600 7835 33554432000 4194304 4196468 140728464274880 140524457478512 140524971739778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5642] ppid=5626 vsize=10555400 memory=140563069068928 CPUtime=0.02 cores=0,2,4,6
/proc/5629/task/5642/stat : 5642 (java) R 5626 5629 1335 0 -1 4202560 359 0 0 0 2 0 0 0 20 0 15 0 95776851 10808729600 7835 33554432000 4194304 4196468 140728464274880 140524456425456 140524950248766 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5643] ppid=5626 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5629/task/5643/stat : 5643 (java) S 5626 5629 1335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95776851 10808729600 7835 33554432000 4194304 4196468 140728464274880 140524455373152 140524971738837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5644] ppid=5626 vsize=10555400 memory=140563069068928 CPUtime=0 cores=0,2,4,6
/proc/5629/task/5644/stat : 5644 (java) S 5626 5629 1335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95776852 10808729600 7835 33554432000 4194304 4196468 140728464274880 140524454321200 140524971739778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 31340 KiB

[startup+0.216518 s]*
/proc/loadavg: 2.02 2.03 2.05 3/216 5644
/proc/meminfo: memFree=25786944/32770624 swapFree=67108860/67108860
[pid=5629] ppid=5626 vsize=10555400 memory=40140 CPUtime=0.32 cores=0,2,4,6
/proc/5629/stat : 5629 (java) S 5626 5629 1335 0 -1 1077944320 7605 0 0 0 30 2 0 0 20 0 15 0 95776846 10808729600 10035 33554432000 4194304 4196468 140728464274880 140728464257424 140524971728631 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
/proc/5629/statm: 2638850 10035 2939 1 0 2627263 0
[pid=5629/tid=5631] ppid=5626 vsize=10555400 memory=-3103912127665269909 CPUtime=0.2 cores=0,2,4,6
/proc/5629/task/5631/stat : 5631 (java) R 5626 5629 1335 0 -1 4202560 4686 0 0 0 19 1 0 0 20 0 15 0 95776846 10808729600 10100 33554432000 4194304 4196468 140728464274880 140524975957424 140524971750557 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5632] ppid=5626 vsize=10555400 memory=4211974289273859466 CPUtime=0 cores=0,2,4,6
/proc/5629/task/5632/stat : 5632 (java) S 5626 5629 1335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95776847 10808729600 10100 33554432000 4194304 4196468 140728464274880 140524897802768 140524971738837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5633] ppid=5626 vsize=10555400 memory=140563069068928 CPUtime=0 cores=0,2,4,6
/proc/5629/task/5633/stat : 5633 (java) S 5626 5629 1335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95776847 10808729600 10104 33554432000 4194304 4196468 140728464274880 140524896750224 140524971738837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5634] ppid=5626 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5629/task/5634/stat : 5634 (java) S 5626 5629 1335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95776847 10808729600 10104 33554432000 4194304 4196468 140728464274880 140524895697168 140524971738837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5635] ppid=5626 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5629/task/5635/stat : 5635 (java) S 5626 5629 1335 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95776847 10808729600 10104 33554432000 4194304 4196468 140728464274880 140524894644624 140524971738837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5636] ppid=5626 vsize=10555400 memory=140563069068928 CPUtime=0 cores=0,2,4,6
/proc/5629/task/5636/stat : 5636 (java) S 5626 5629 1335 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95776848 10808729600 10104 33554432000 4194304 4196468 140728464274880 140524462742256 140524971739778 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5637] ppid=5626 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5629/task/5637/stat : 5637 (java) S 5626 5629 1335 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95776849 10808729600 10104 33554432000 4194304 4196468 140728464274880 140524461688480 140524971738837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5638] ppid=5626 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5629/task/5638/stat : 5638 (java) S 5626 5629 1335 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95776849 10808729600 10104 33554432000 4194304 4196468 140728464274880 140524460635376 140524971738837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5639] ppid=5626 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5629/task/5639/stat : 5639 (java) S 5626 5629 1335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95776851 10808729600 10104 33554432000 4194304 4196468 140728464274880 140524459583952 140524971747227 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5640] ppid=5626 vsize=10555400 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/5629/task/5640/stat : 5640 (java) S 5626 5629 1335 0 -1 1077944384 663 0 0 0 2 0 0 0 20 0 15 0 95776851 10808729600 10104 33554432000 4194304 4196468 140728464274880 140524458531056 140524971739778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5641] ppid=5626 vsize=10555400 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/5629/task/5641/stat : 5641 (java) S 5626 5629 1335 0 -1 1077944384 113 0 0 0 1 0 0 0 20 0 15 0 95776851 10808729600 10104 33554432000 4194304 4196468 140728464274880 140524457478512 140524971739778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5642] ppid=5626 vsize=10555400 memory=140563069068928 CPUtime=0.07 cores=0,2,4,6
/proc/5629/task/5642/stat : 5642 (java) S 5626 5629 1335 0 -1 1077944384 797 0 0 0 7 0 0 0 20 0 15 0 95776851 10808729600 10104 33554432000 4194304 4196468 140728464274880 140524456425456 140524971739778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5643] ppid=5626 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5629/task/5643/stat : 5643 (java) S 5626 5629 1335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95776851 10808729600 10104 33554432000 4194304 4196468 140728464274880 140524455373152 140524971738837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5644] ppid=5626 vsize=10555400 memory=140563069068928 CPUtime=0 cores=0,2,4,6
/proc/5629/task/5644/stat : 5644 (java) S 5626 5629 1335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95776852 10808729600 10104 33554432000 4194304 4196468 140728464274880 140524454321200 140524971739778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 40140 KiB

[startup+0.310157 s]*
/proc/loadavg: 2.02 2.03 2.05 5/216 5644
/proc/meminfo: memFree=25781316/32770624 swapFree=67108860/67108860
[pid=5629] ppid=5626 vsize=10555476 memory=46676 CPUtime=0.53 cores=0,2,4,6
/proc/5629/stat : 5629 (java) S 5626 5629 1335 0 -1 1077944320 8153 0 0 0 51 2 0 0 20 0 15 0 95776846 10808807424 11669 33554432000 4194304 4196468 140728464274880 140728464257424 140524971728631 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
/proc/5629/statm: 2638869 11669 3042 1 0 2627263 0
[pid=5629/tid=5631] ppid=5626 vsize=10555476 memory=7377246124687064083 CPUtime=0.29 cores=0,2,4,6
/proc/5629/task/5631/stat : 5631 (java) R 5626 5629 1335 0 -1 4202560 5033 0 0 0 28 1 0 0 20 0 15 0 95776846 10808807424 11669 33554432000 4194304 4196468 140728464274880 140524975965200 140524971740566 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5632] ppid=5626 vsize=10555476 memory=4211974289273859466 CPUtime=0 cores=0,2,4,6
/proc/5629/task/5632/stat : 5632 (java) S 5626 5629 1335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95776847 10808807424 11669 33554432000 4194304 4196468 140728464274880 140524897802768 140524971738837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5633] ppid=5626 vsize=10555476 memory=140563069071100 CPUtime=0 cores=0,2,4,6
/proc/5629/task/5633/stat : 5633 (java) S 5626 5629 1335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95776847 10808807424 11669 33554432000 4194304 4196468 140728464274880 140524896750224 140524971738837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5634] ppid=5626 vsize=10555476 memory=140562938311459 CPUtime=0 cores=0,2,4,6
/proc/5629/task/5634/stat : 5634 (java) S 5626 5629 1335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95776847 10808807424 11669 33554432000 4194304 4196468 140728464274880 140524895697168 140524971738837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5635] ppid=5626 vsize=10555476 memory=140562938318287 CPUtime=0 cores=0,2,4,6
/proc/5629/task/5635/stat : 5635 (java) S 5626 5629 1335 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95776847 10808807424 11669 33554432000 4194304 4196468 140728464274880 140524894644624 140524971738837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5636] ppid=5626 vsize=10555476 memory=140563069071280 CPUtime=0 cores=0,2,4,6
/proc/5629/task/5636/stat : 5636 (java) S 5626 5629 1335 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95776848 10808807424 11669 33554432000 4194304 4196468 140728464274880 140524462742256 140524971739778 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5637] ppid=5626 vsize=10555476 memory=140562938327471 CPUtime=0 cores=0,2,4,6
/proc/5629/task/5637/stat : 5637 (java) S 5626 5629 1335 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95776849 10808807424 11669 33554432000 4194304 4196468 140728464274880 140524461688480 140524971738837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5638] ppid=5626 vsize=10555476 memory=281125876645776 CPUtime=0 cores=0,2,4,6
/proc/5629/task/5638/stat : 5638 (java) S 5626 5629 1335 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95776849 10808807424 11669 33554432000 4194304 4196468 140728464274880 140524460635376 140524971738837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5639] ppid=5626 vsize=10555476 memory=281125876643472 CPUtime=0 cores=0,2,4,6
/proc/5629/task/5639/stat : 5639 (java) S 5626 5629 1335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95776851 10808807424 11669 33554432000 4194304 4196468 140728464274880 140524459583952 140524971747227 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5640] ppid=5626 vsize=10555476 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/5629/task/5640/stat : 5640 (java) S 5626 5629 1335 0 -1 1077944384 668 0 0 0 4 0 0 0 20 0 15 0 95776851 10808807424 11669 33554432000 4194304 4196468 140728464274880 140524458531056 140524971739778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5641] ppid=5626 vsize=10555476 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/5629/task/5641/stat : 5641 (java) S 5626 5629 1335 0 -1 1077944384 210 0 0 0 4 0 0 0 20 0 15 0 95776851 10808807424 11669 33554432000 4194304 4196468 140728464274880 140524457478512 140524971739778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5642] ppid=5626 vsize=10555476 memory=140563069068928 CPUtime=0.13 cores=0,2,4,6
/proc/5629/task/5642/stat : 5642 (java) R 5626 5629 1335 0 -1 4202560 879 0 0 0 13 0 0 0 20 0 15 0 95776851 10808807424 11669 33554432000 4194304 4196468 140728464274880 140524456425456 140524971740566 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5643] ppid=5626 vsize=10555476 memory=2208 CPUtime=0 cores=0,2,4,6
/proc/5629/task/5643/stat : 5643 (java) S 5626 5629 1335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95776851 10808807424 11669 33554432000 4194304 4196468 140728464274880 140524455373152 140524971738837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5644] ppid=5626 vsize=10555476 memory=140563069068928 CPUtime=0 cores=0,2,4,6
/proc/5629/task/5644/stat : 5644 (java) S 5626 5629 1335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95776852 10808807424 11669 33554432000 4194304 4196468 140728464274880 140524454321200 140524971739778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 46676 KiB

[startup+0.70074 s]
/proc/loadavg: 2.02 2.03 2.05 5/216 5644
/proc/meminfo: memFree=25740672/32770624 swapFree=67108860/67108860
[pid=5629] ppid=5626 vsize=10555476 memory=169780 CPUtime=1.73 cores=0,2,4,6
/proc/5629/stat : 5629 (java) S 5626 5629 1335 0 -1 1077944320 12069 0 0 0 168 5 0 0 20 0 15 0 95776846 10808807424 42445 33554432000 4194304 4196468 140728464274880 140728464257424 140524971728631 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
/proc/5629/statm: 2638869 42445 3095 1 0 2627263 0
[pid=5629/tid=5631] ppid=5626 vsize=10555476 memory=8532 CPUtime=0.67 cores=0,2,4,6
/proc/5629/task/5631/stat : 5631 (java) R 5626 5629 1335 0 -1 4202560 5457 0 0 0 64 3 0 0 20 0 15 0 95776846 10808807424 42445 33554432000 4194304 4196468 140728464274880 140524975961272 140524572286424 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5632] ppid=5626 vsize=10555476 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/5629/task/5632/stat : 5632 (java) S 5626 5629 1335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95776847 10808807424 42445 33554432000 4194304 4196468 140728464274880 140524897802768 140524971738837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5633] ppid=5626 vsize=10555476 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/5629/task/5633/stat : 5633 (java) S 5626 5629 1335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95776847 10808807424 42445 33554432000 4194304 4196468 140728464274880 140524896750224 140524971738837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5634] ppid=5626 vsize=10555476 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/5629/task/5634/stat : 5634 (java) S 5626 5629 1335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95776847 10808807424 42445 33554432000 4194304 4196468 140728464274880 140524895697168 140524971738837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5635] ppid=5626 vsize=10555476 memory=1004 CPUtime=0 cores=0,2,4,6
/proc/5629/task/5635/stat : 5635 (java) S 5626 5629 1335 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95776847 10808807424 42445 33554432000 4194304 4196468 140728464274880 140524894644624 140524971738837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5636] ppid=5626 vsize=10555476 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/5629/task/5636/stat : 5636 (java) S 5626 5629 1335 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 95776848 10808807424 42445 33554432000 4194304 4196468 140728464274880 140524462742256 140524971739778 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5637] ppid=5626 vsize=10555476 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/5629/task/5637/stat : 5637 (java) S 5626 5629 1335 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95776849 10808807424 42445 33554432000 4194304 4196468 140728464274880 140524461688480 140524971738837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5638] ppid=5626 vsize=10555476 memory=15872 CPUtime=0 cores=0,2,4,6
/proc/5629/task/5638/stat : 5638 (java) S 5626 5629 1335 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95776849 10808807424 42445 33554432000 4194304 4196468 140728464274880 140524460635376 140524971738837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5639] ppid=5626 vsize=10555476 memory=20036 CPUtime=0 cores=0,2,4,6
/proc/5629/task/5639/stat : 5639 (java) S 5626 5629 1335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95776851 10808807424 42445 33554432000 4194304 4196468 140728464274880 140524459583952 140524971747227 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5640] ppid=5626 vsize=10555476 memory=1436 CPUtime=0.36 cores=0,2,4,6
/proc/5629/task/5640/stat : 5640 (java) R 5626 5629 1335 0 -1 4202560 2217 0 0 0 36 0 0 0 20 0 15 0 95776851 10808807424 42445 33554432000 4194304 4196468 140728464274880 140524458512056 140524950998937 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5641] ppid=5626 vsize=10555476 memory=1200 CPUtime=0.36 cores=0,2,4,6
/proc/5629/task/5641/stat : 5641 (java) R 5626 5629 1335 0 -1 4202560 1328 0 0 0 36 0 0 0 20 0 15 0 95776851 10808807424 42445 33554432000 4194304 4196468 140728464274880 140524457471000 140524955239864 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5642] ppid=5626 vsize=10555476 memory=15872 CPUtime=0.31 cores=0,2,4,6
/proc/5629/task/5642/stat : 5642 (java) S 5626 5629 1335 0 -1 1077944384 1701 0 0 0 31 0 0 0 20 0 15 0 95776851 10808807424 42445 33554432000 4194304 4196468 140728464274880 140524456425456 140524971739778 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5643] ppid=5626 vsize=10555476 memory=4040 CPUtime=0 cores=0,2,4,6
/proc/5629/task/5643/stat : 5643 (java) S 5626 5629 1335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95776851 10808807424 42445 33554432000 4194304 4196468 140728464274880 140524455373152 140524971738837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5644] ppid=5626 vsize=10555476 memory=16520 CPUtime=0 cores=0,2,4,6
/proc/5629/task/5644/stat : 5644 (java) S 5626 5629 1335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95776852 10808807424 42445 33554432000 4194304 4196468 140728464274880 140524454321200 140524971739778 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
Current children cumulated CPU time: 1.73 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 169780 KiB

[startup+1.50074 s]
/proc/loadavg: 2.02 2.03 2.05 5/216 5644
/proc/meminfo: memFree=25598896/32770624 swapFree=67108860/67108860
[pid=5629] ppid=5626 vsize=10622040 memory=382996 CPUtime=4.26 cores=0,2,4,6
/proc/5629/stat : 5629 (java) S 5626 5629 1335 0 -1 1077944320 22665 0 0 0 413 13 0 0 20 0 16 0 95776846 10876968960 95749 33554432000 4194304 4196468 140728464274880 140728464257424 140524971728631 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
/proc/5629/statm: 2655510 95749 3124 1 0 2643904 0
[pid=5629/tid=5631] ppid=5626 vsize=10622040 memory=0 CPUtime=1.37 cores=0,2,4,6
/proc/5629/task/5631/stat : 5631 (java) R 5626 5629 1335 0 -1 4202560 5551 0 0 0 132 5 0 0 20 0 16 0 95776846 10876968960 95749 33554432000 4194304 4196468 140728464274880 140524975968416 140524568857599 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5632] ppid=5626 vsize=10622040 memory=664970774370811553 CPUtime=0.04 cores=0,2,4,6
/proc/5629/task/5632/stat : 5632 (java) S 5626 5629 1335 0 -1 1077944384 26 0 0 0 3 1 0 0 20 0 16 0 95776847 10876968960 95749 33554432000 4194304 4196468 140728464274880 140524897802768 140524971738837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5633] ppid=5626 vsize=10622040 memory=667957 CPUtime=0.02 cores=0,2,4,6
/proc/5629/task/5633/stat : 5633 (java) S 5626 5629 1335 0 -1 1077944384 32 0 0 0 2 0 0 0 20 0 16 0 95776847 10876968960 95749 33554432000 4194304 4196468 140728464274880 140524896750224 140524971738837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5634] ppid=5626 vsize=10622040 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5629/task/5634/stat : 5634 (java) S 5626 5629 1335 0 -1 1077944384 206 0 0 0 6 1 0 0 20 0 16 0 95776847 10876968960 95749 33554432000 4194304 4196468 140728464274880 140524895697168 140524971738837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5635] ppid=5626 vsize=10622040 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/5629/task/5635/stat : 5635 (java) S 5626 5629 1335 0 -1 1077944384 130 0 0 0 2 0 0 0 20 0 16 0 95776847 10876968960 95749 33554432000 4194304 4196468 140728464274880 140524894644624 140524971738837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5636] ppid=5626 vsize=10622040 memory=-6948614817169703622 CPUtime=0 cores=0,2,4,6
/proc/5629/task/5636/stat : 5636 (java) S 5626 5629 1335 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 16 0 95776848 10876968960 95749 33554432000 4194304 4196468 140728464274880 140524462742256 140524971739778 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0

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

Current children cumulated CPU time: 1593.12 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 785568 KiB

[startup+1588.8 s]
/proc/loadavg: 2.01 2.04 2.05 3/218 5775
/proc/meminfo: memFree=30512440/32770624 swapFree=67108860/67108860
[pid=5629] ppid=5626 vsize=10622040 memory=863660 CPUtime=1594.9 cores=0,2,4,6
/proc/5629/stat : 5629 (java) S 5626 5629 1335 0 -1 1077944320 56236 0 0 0 159399 91 0 0 20 0 16 0 95776846 10876968960 215915 33554432000 4194304 4196468 140728464274880 140728464257424 140524971728631 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
/proc/5629/statm: 2655510 215915 3146 1 0 2643904 0
[pid=5629/tid=5631] ppid=5626 vsize=10622040 memory=0 CPUtime=1588.42 cores=0,2,4,6
/proc/5629/task/5631/stat : 5631 (java) S 5626 5629 1335 0 -1 1077944384 21809 0 0 0 158830 12 0 0 20 0 16 0 95776846 10876968960 215915 33554432000 4194304 4196468 140728464274880 140524975967808 140524971738837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5632] ppid=5626 vsize=10622040 memory=783520 CPUtime=0.29 cores=0,2,4,6
/proc/5629/task/5632/stat : 5632 (java) R 5626 5629 1335 0 -1 4202560 1196 0 0 0 20 9 0 0 20 0 16 0 95776847 10876968960 216427 33554432000 4194304 4196468 140728464274880 140524897802656 140524953354663 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5633] ppid=5626 vsize=10622040 memory=1004 CPUtime=0.28 cores=0,2,4,6
/proc/5629/task/5633/stat : 5633 (java) R 5626 5629 1335 0 -1 4202560 1151 0 0 0 20 8 0 0 20 0 16 0 95776847 10876968960 216427 33554432000 4194304 4196468 140728464274880 140524896750224 140524964825332 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5634] ppid=5626 vsize=10622040 memory=1436 CPUtime=0.31 cores=0,2,4,6
/proc/5629/task/5634/stat : 5634 (java) R 5626 5629 1335 0 -1 4202560 770 0 0 0 23 8 0 0 20 0 16 0 95776847 10876968960 216427 33554432000 4194304 4196468 140728464274880 140524895697368 140524956756478 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5635] ppid=5626 vsize=10622040 memory=1004 CPUtime=0.29 cores=0,2,4,6
/proc/5629/task/5635/stat : 5635 (java) R 5626 5629 1335 0 -1 4202560 522 0 0 0 21 8 0 0 20 0 16 0 95776847 10876968960 216427 33554432000 4194304 4196468 140728464274880 140524894644624 140524964825340 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5636] ppid=5626 vsize=10622040 memory=1436 CPUtime=0.04 cores=0,2,4,6
/proc/5629/task/5636/stat : 5636 (java) S 5626 5629 1335 0 -1 1077944384 950 0 0 0 2 2 0 0 20 0 16 0 95776848 10876968960 216427 33554432000 4194304 4196468 140728464274880 140524462740768 140524971738837 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5637] ppid=5626 vsize=10622040 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/5629/task/5637/stat : 5637 (java) S 5626 5629 1335 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 95776849 10876968960 216427 33554432000 4194304 4196468 140728464274880 140524461688480 140524971738837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5638] ppid=5626 vsize=10622040 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/5629/task/5638/stat : 5638 (java) S 5626 5629 1335 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 95776849 10876968960 216427 33554432000 4194304 4196468 140728464274880 140524460635376 140524971738837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5639] ppid=5626 vsize=10622040 memory=785568 CPUtime=0 cores=0,2,4,6
/proc/5629/task/5639/stat : 5639 (java) S 5626 5629 1335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95776851 10876968960 216427 33554432000 4194304 4196468 140728464274880 140524459583952 140524971747227 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5640] ppid=5626 vsize=10622040 memory=960 CPUtime=1.92 cores=0,2,4,6
/proc/5629/task/5640/stat : 5640 (java) S 5626 5629 1335 0 -1 1077944384 9909 0 0 0 191 1 0 0 20 0 16 0 95776851 10876968960 216427 33554432000 4194304 4196468 140728464274880 140524458522336 140524971738837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5641] ppid=5626 vsize=10622040 memory=1696 CPUtime=1.86 cores=0,2,4,6
/proc/5629/task/5641/stat : 5641 (java) S 5626 5629 1335 0 -1 1077944384 12007 0 0 0 184 2 0 0 20 0 16 0 95776851 10876968960 216427 33554432000 4194304 4196468 140728464274880 140524457478512 140524971739778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5642] ppid=5626 vsize=10622040 memory=8112282956445269571 CPUtime=0.46 cores=0,2,4,6
/proc/5629/task/5642/stat : 5642 (java) S 5626 5629 1335 0 -1 1077944384 4596 0 0 0 45 1 0 0 20 0 16 0 95776851 10876968960 216427 33554432000 4194304 4196468 140728464274880 140524456425456 140524971739778 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5643] ppid=5626 vsize=10622040 memory=8532 CPUtime=0 cores=0,2,4,6
/proc/5629/task/5643/stat : 5643 (java) S 5626 5629 1335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95776851 10876968960 216427 33554432000 4194304 4196468 140728464274880 140524455373152 140524971738837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5644] ppid=5626 vsize=10622040 memory=4616 CPUtime=0.93 cores=0,2,4,6
/proc/5629/task/5644/stat : 5644 (java) S 5626 5629 1335 0 -1 1077944384 1949 0 0 0 45 48 0 0 20 0 16 0 95776852 10876968960 216427 33554432000 4194304 4196468 140728464274880 140524454321200 140524971739778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5645] ppid=5626 vsize=10622040 memory=1720 CPUtime=0 cores=0,2,4,6
/proc/5629/task/5645/stat : 5645 (java) S 5626 5629 1335 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 95776992 10876968960 216427 33554432000 4194304 4196468 140728464274880 140524453266992 140524971739778 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
Current children cumulated CPU time: 1594.9 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 863660 KiB

[startup+1589.2 s]
/proc/loadavg: 2.01 2.04 2.05 6/218 5775
/proc/meminfo: memFree=30338116/32770624 swapFree=67108860/67108860
[pid=5629] ppid=5626 vsize=10622040 memory=962436 CPUtime=1596.36 cores=0,2,4,6
/proc/5629/stat : 5629 (java) S 5626 5629 1335 0 -1 1077944320 60433 0 0 0 159535 101 0 0 20 0 16 0 95776846 10876968960 240609 33554432000 4194304 4196468 140728464274880 140728464257424 140524971728631 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
/proc/5629/statm: 2655510 240609 3160 1 0 2643904 0
[pid=5629/tid=5631] ppid=5626 vsize=10622040 memory=1292 CPUtime=1588.42 cores=0,2,4,6
/proc/5629/task/5631/stat : 5631 (java) S 5626 5629 1335 0 -1 1077944384 21809 0 0 0 158830 12 0 0 20 0 16 0 95776846 10876968960 240609 33554432000 4194304 4196468 140728464274880 140524975967808 140524971738837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5632] ppid=5626 vsize=10622040 memory=1728 CPUtime=0.66 cores=0,2,4,6
/proc/5629/task/5632/stat : 5632 (java) S 5626 5629 1335 0 -1 1077944384 1755 0 0 0 54 12 0 0 20 0 16 0 95776847 10876968960 240609 33554432000 4194304 4196468 140728464274880 140524897802768 140524971738837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5633] ppid=5626 vsize=10622040 memory=8112282956445269571 CPUtime=0.65 cores=0,2,4,6
/proc/5629/task/5633/stat : 5633 (java) S 5626 5629 1335 0 -1 1077944384 1341 0 0 0 54 11 0 0 20 0 16 0 95776847 10876968960 240609 33554432000 4194304 4196468 140728464274880 140524896750224 140524971738837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5634] ppid=5626 vsize=10622040 memory=16105866189342951 CPUtime=0.66 cores=0,2,4,6
/proc/5629/task/5634/stat : 5634 (java) S 5626 5629 1335 0 -1 1077944384 1261 0 0 0 55 11 0 0 20 0 16 0 95776847 10876968960 240609 33554432000 4194304 4196468 140728464274880 140524895697168 140524971738837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5635] ppid=5626 vsize=10622040 memory=16540 CPUtime=0.65 cores=0,2,4,6
/proc/5629/task/5635/stat : 5635 (java) S 5626 5629 1335 0 -1 1077944384 1030 0 0 0 54 11 0 0 20 0 16 0 95776847 10876968960 240609 33554432000 4194304 4196468 140728464274880 140524894644624 140524971738837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5636] ppid=5626 vsize=10622040 memory=18292 CPUtime=0.08 cores=0,2,4,6
/proc/5629/task/5636/stat : 5636 (java) R 5626 5629 1335 0 -1 4202560 3396 0 0 0 6 2 0 0 20 0 16 0 95776848 10876968960 240609 33554432000 4194304 4196468 140728464274880 140524462740800 140524956429249 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5637] ppid=5626 vsize=10622040 memory=1792 CPUtime=0 cores=0,2,4,6
/proc/5629/task/5637/stat : 5637 (java) S 5626 5629 1335 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 95776849 10876968960 240609 33554432000 4194304 4196468 140728464274880 140524461688480 140524971738837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5638] ppid=5626 vsize=10622040 memory=19953 CPUtime=0 cores=0,2,4,6
/proc/5629/task/5638/stat : 5638 (java) S 5626 5629 1335 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 95776849 10876968960 240609 33554432000 4194304 4196468 140728464274880 140524460635376 140524971738837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5639] ppid=5626 vsize=10622040 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5629/task/5639/stat : 5639 (java) S 5626 5629 1335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95776851 10876968960 240609 33554432000 4194304 4196468 140728464274880 140524459583952 140524971747227 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5640] ppid=5626 vsize=10622040 memory=6944656592455360604 CPUtime=1.92 cores=0,2,4,6
/proc/5629/task/5640/stat : 5640 (java) S 5626 5629 1335 0 -1 1077944384 9909 0 0 0 191 1 0 0 20 0 16 0 95776851 10876968960 240609 33554432000 4194304 4196468 140728464274880 140524458522336 140524971738837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5641] ppid=5626 vsize=10622040 memory=0 CPUtime=1.86 cores=0,2,4,6
/proc/5629/task/5641/stat : 5641 (java) S 5626 5629 1335 0 -1 1077944384 12007 0 0 0 184 2 0 0 20 0 16 0 95776851 10876968960 240609 33554432000 4194304 4196468 140728464274880 140524457478512 140524971739778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5642] ppid=5626 vsize=10622040 memory=0 CPUtime=0.46 cores=0,2,4,6
/proc/5629/task/5642/stat : 5642 (java) S 5626 5629 1335 0 -1 1077944384 4596 0 0 0 45 1 0 0 20 0 16 0 95776851 10876968960 240609 33554432000 4194304 4196468 140728464274880 140524456425456 140524971739778 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5643] ppid=5626 vsize=10622040 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5629/task/5643/stat : 5643 (java) S 5626 5629 1335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95776851 10876968960 240609 33554432000 4194304 4196468 140728464274880 140524455373152 140524971738837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5644] ppid=5626 vsize=10622040 memory=0 CPUtime=0.93 cores=0,2,4,6
/proc/5629/task/5644/stat : 5644 (java) S 5626 5629 1335 0 -1 1077944384 1949 0 0 0 45 48 0 0 20 0 16 0 95776852 10876968960 240609 33554432000 4194304 4196468 140728464274880 140524454321200 140524971739778 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5645] ppid=5626 vsize=10622040 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5629/task/5645/stat : 5645 (java) S 5626 5629 1335 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 95776992 10876968960 240609 33554432000 4194304 4196468 140728464274880 140524453266992 140524971739778 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
Current children cumulated CPU time: 1596.36 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 962436 KiB

[startup+1589.4 s]
/proc/loadavg: 2.01 2.04 2.05 6/218 5775
/proc/meminfo: memFree=30338116/32770624 swapFree=67108860/67108860
[pid=5629] ppid=5626 vsize=10755168 memory=963688 CPUtime=1596.5 cores=0,2,4,6
/proc/5629/stat : 5629 (java) S 5626 5629 1335 0 -1 1077944320 61196 0 0 0 159549 101 0 0 20 0 16 0 95776846 11013292032 240922 33554432000 4194304 4196468 140728464274880 140728464257424 140524971728631 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
/proc/5629/statm: 2688792 240922 3163 1 0 2677186 0
[pid=5629/tid=5631] ppid=5626 vsize=10755168 memory=288230621803970871 CPUtime=1588.51 cores=0,2,4,6
/proc/5629/task/5631/stat : 5631 (java) S 5626 5629 1335 0 -1 1077944384 21839 0 0 0 158839 12 0 0 20 0 16 0 95776846 11013292032 240922 33554432000 4194304 4196468 140728464274880 140524975969312 140524971738837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5632] ppid=5626 vsize=10755168 memory=16105866189342951 CPUtime=0.66 cores=0,2,4,6
/proc/5629/task/5632/stat : 5632 (java) S 5626 5629 1335 0 -1 1077944384 1755 0 0 0 54 12 0 0 20 0 16 0 95776847 11013292032 240922 33554432000 4194304 4196468 140728464274880 140524897802768 140524971738837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5633] ppid=5626 vsize=10755168 memory=8112282956445269571 CPUtime=0.65 cores=0,2,4,6
/proc/5629/task/5633/stat : 5633 (java) S 5626 5629 1335 0 -1 1077944384 1341 0 0 0 54 11 0 0 20 0 16 0 95776847 11013292032 240922 33554432000 4194304 4196468 140728464274880 140524896750224 140524971738837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5634] ppid=5626 vsize=10755168 memory=1292 CPUtime=0.66 cores=0,2,4,6
/proc/5629/task/5634/stat : 5634 (java) S 5626 5629 1335 0 -1 1077944384 1261 0 0 0 55 11 0 0 20 0 16 0 95776847 11013292032 240922 33554432000 4194304 4196468 140728464274880 140524895697168 140524971738837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5635] ppid=5626 vsize=10755168 memory=1728 CPUtime=0.65 cores=0,2,4,6
/proc/5629/task/5635/stat : 5635 (java) S 5626 5629 1335 0 -1 1077944384 1030 0 0 0 54 11 0 0 20 0 16 0 95776847 11013292032 240922 33554432000 4194304 4196468 140728464274880 140524894644624 140524971738837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5636] ppid=5626 vsize=10755168 memory=5788 CPUtime=0.09 cores=0,2,4,6
/proc/5629/task/5636/stat : 5636 (java) S 5626 5629 1335 0 -1 1077944384 3729 0 0 0 7 2 0 0 20 0 16 0 95776848 11013292032 240922 33554432000 4194304 4196468 140728464274880 140524462742256 140524971739778 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5637] ppid=5626 vsize=10755168 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/5629/task/5637/stat : 5637 (java) S 5626 5629 1335 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 16 0 95776849 11013292032 240922 33554432000 4194304 4196468 140728464274880 140524461688544 140524971738837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5638] ppid=5626 vsize=10755168 memory=796 CPUtime=0 cores=0,2,4,6
/proc/5629/task/5638/stat : 5638 (java) S 5626 5629 1335 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 95776849 11013292032 240922 33554432000 4194304 4196468 140728464274880 140524460635392 140524971738837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5639] ppid=5626 vsize=10755168 memory=10020 CPUtime=0 cores=0,2,4,6
/proc/5629/task/5639/stat : 5639 (java) S 5626 5629 1335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95776851 11013292032 240922 33554432000 4194304 4196468 140728464274880 140524459583952 140524971747227 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5640] ppid=5626 vsize=10755168 memory=1948 CPUtime=1.94 cores=0,2,4,6
/proc/5629/task/5640/stat : 5640 (java) S 5626 5629 1335 0 -1 1077944384 10122 0 0 0 193 1 0 0 20 0 16 0 95776851 11013292032 240922 33554432000 4194304 4196468 140728464274880 140524458531056 140524971739778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5641] ppid=5626 vsize=10755168 memory=8532 CPUtime=1.87 cores=0,2,4,6
/proc/5629/task/5641/stat : 5641 (java) S 5626 5629 1335 0 -1 1077944384 12016 0 0 0 185 2 0 0 20 0 16 0 95776851 11013292032 240922 33554432000 4194304 4196468 140728464274880 140524457478512 140524971739778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5642] ppid=5626 vsize=10755168 memory=4616 CPUtime=0.47 cores=0,2,4,6
/proc/5629/task/5642/stat : 5642 (java) S 5626 5629 1335 0 -1 1077944384 4678 0 0 0 46 1 0 0 20 0 16 0 95776851 11013292032 240922 33554432000 4194304 4196468 140728464274880 140524456425456 140524971739778 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5643] ppid=5626 vsize=10755168 memory=1720 CPUtime=0 cores=0,2,4,6
/proc/5629/task/5643/stat : 5643 (java) S 5626 5629 1335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95776851 11013292032 240922 33554432000 4194304 4196468 140728464274880 140524455373152 140524971738837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5644] ppid=5626 vsize=10755168 memory=3978566158708321569 CPUtime=0.93 cores=0,2,4,6
/proc/5629/task/5644/stat : 5644 (java) S 5626 5629 1335 0 -1 1077944384 1949 0 0 0 45 48 0 0 20 0 16 0 95776852 11013292032 240922 33554432000 4194304 4196468 140728464274880 140524454321200 140524971739778 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
Current children cumulated CPU time: 1596.5 s
Current children cumulated vsize: 10755168 KiB
Current children cumulated memory: 963688 KiB

[startup+1589.5 s]
/proc/loadavg: 2.01 2.04 2.05 6/218 5775
/proc/meminfo: memFree=30338116/32770624 swapFree=67108860/67108860
[pid=5629] ppid=5626 vsize=10755168 memory=963688 CPUtime=1596.5 cores=0,2,4,6
/proc/5629/stat : 5629 (java) S 5626 5629 1335 0 -1 1077944320 61196 0 0 0 159549 101 0 0 20 0 16 0 95776846 11013292032 240922 33554432000 4194304 4196468 140728464274880 140728464257424 140524971728631 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
/proc/5629/statm: 2688792 240922 3163 1 0 2677186 0
[pid=5629/tid=5631] ppid=5626 vsize=10755168 memory=781472 CPUtime=1588.51 cores=0,2,4,6
/proc/5629/task/5631/stat : 5631 (java) S 5626 5629 1335 0 -1 1077944384 21839 0 0 0 158839 12 0 0 20 0 16 0 95776846 11013292032 240922 33554432000 4194304 4196468 140728464274880 140524975969312 140524971738837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5632] ppid=5626 vsize=10755168 memory=789664 CPUtime=0.66 cores=0,2,4,6
/proc/5629/task/5632/stat : 5632 (java) S 5626 5629 1335 0 -1 1077944384 1755 0 0 0 54 12 0 0 20 0 16 0 95776847 11013292032 240922 33554432000 4194304 4196468 140728464274880 140524897802768 140524971738837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5633] ppid=5626 vsize=10755168 memory=785568 CPUtime=0.65 cores=0,2,4,6
/proc/5629/task/5633/stat : 5633 (java) S 5626 5629 1335 0 -1 1077944384 1341 0 0 0 54 11 0 0 20 0 16 0 95776847 11013292032 240922 33554432000 4194304 4196468 140728464274880 140524896750224 140524971738837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5634] ppid=5626 vsize=10755168 memory=771232 CPUtime=0.66 cores=0,2,4,6
/proc/5629/task/5634/stat : 5634 (java) S 5626 5629 1335 0 -1 1077944384 1261 0 0 0 55 11 0 0 20 0 16 0 95776847 11013292032 240922 33554432000 4194304 4196468 140728464274880 140524895697168 140524971738837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5635] ppid=5626 vsize=10755168 memory=785568 CPUtime=0.65 cores=0,2,4,6
/proc/5629/task/5635/stat : 5635 (java) S 5626 5629 1335 0 -1 1077944384 1030 0 0 0 54 11 0 0 20 0 16 0 95776847 11013292032 240922 33554432000 4194304 4196468 140728464274880 140524894644624 140524971738837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5636] ppid=5626 vsize=10755168 memory=773280 CPUtime=0.09 cores=0,2,4,6
/proc/5629/task/5636/stat : 5636 (java) S 5626 5629 1335 0 -1 1077944384 3729 0 0 0 7 2 0 0 20 0 16 0 95776848 11013292032 240922 33554432000 4194304 4196468 140728464274880 140524462742256 140524971739778 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5637] ppid=5626 vsize=10755168 memory=6724 CPUtime=0 cores=0,2,4,6
/proc/5629/task/5637/stat : 5637 (java) S 5626 5629 1335 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 16 0 95776849 11013292032 240922 33554432000 4194304 4196468 140728464274880 140524461688544 140524971738837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5638] ppid=5626 vsize=10755168 memory=963636 CPUtime=0 cores=0,2,4,6
/proc/5629/task/5638/stat : 5638 (java) S 5626 5629 1335 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 95776849 11013292032 240922 33554432000 4194304 4196468 140728464274880 140524460635392 140524971738837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5639] ppid=5626 vsize=10755168 memory=27952 CPUtime=0 cores=0,2,4,6
/proc/5629/task/5639/stat : 5639 (java) S 5626 5629 1335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95776851 11013292032 240922 33554432000 4194304 4196468 140728464274880 140524459583952 140524971747227 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5640] ppid=5626 vsize=10755168 memory=2332 CPUtime=1.94 cores=0,2,4,6
/proc/5629/task/5640/stat : 5640 (java) S 5626 5629 1335 0 -1 1077944384 10122 0 0 0 193 1 0 0 20 0 16 0 95776851 11013292032 240922 33554432000 4194304 4196468 140728464274880 140524458531056 140524971739778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5641] ppid=5626 vsize=10755168 memory=785568 CPUtime=1.87 cores=0,2,4,6
/proc/5629/task/5641/stat : 5641 (java) S 5626 5629 1335 0 -1 1077944384 12016 0 0 0 185 2 0 0 20 0 16 0 95776851 11013292032 240922 33554432000 4194304 4196468 140728464274880 140524457478512 140524971739778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5642] ppid=5626 vsize=10755168 memory=785568 CPUtime=0.47 cores=0,2,4,6
/proc/5629/task/5642/stat : 5642 (java) S 5626 5629 1335 0 -1 1077944384 4678 0 0 0 46 1 0 0 20 0 16 0 95776851 11013292032 240922 33554432000 4194304 4196468 140728464274880 140524456425456 140524971739778 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5643] ppid=5626 vsize=10755168 memory=962436 CPUtime=0 cores=0,2,4,6
/proc/5629/task/5643/stat : 5643 (java) S 5626 5629 1335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95776851 11013292032 240922 33554432000 4194304 4196468 140728464274880 140524455373152 140524971738837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
[pid=5629/tid=5644] ppid=5626 vsize=10755168 memory=4132 CPUtime=0.93 cores=0,2,4,6
/proc/5629/task/5644/stat : 5644 (java) S 5626 5629 1335 0 -1 1077944384 1949 0 0 0 45 48 0 0 20 0 16 0 95776852 11013292032 240922 33554432000 4194304 4196468 140728464274880 140524454321200 140524971739778 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27226112 140728464278662 140728464278815 140728464278815 140728464281551 0
Current children cumulated CPU time: 1596.5 s
Current children cumulated vsize: 10755168 KiB
Current children cumulated memory: 963688 KiB

Child status: 0
Real time (s): 1589.56
CPU time (s): 1596.57
CPU user time (s): 1595.54
CPU system time (s): 1.02523
CPU usage (%): 100.441
Max. virtual memory (cumulated for all children) (KiB): 10755168
Max. memory (cumulated for all children) (KiB): 963688

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1595.54
system time used= 1.02523
maximum resident set size= 964388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61273
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 36763
involuntary context switches= 1447


# summary of solver processes directly reported to runsolver:
#   pid: 5629
#   total CPU time (s): 1596.57
#   total CPU user time (s): 1595.54
#   total CPU system time (s): 1.02523

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.1407 second user time and 11.6798 second system time

The end

Name	CarSequencing/CarSequencing-m1-jcr/ CarSequencing-04-72.xml
MD5SUM	606ad4221d4941292d84c5bdd64a5487
Bench Category	CSP (decision problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark	1596.5699
Satisfiable
(Un)Satisfiability was proved
Number of variables	600
Number of constraints	731
Number of domains	2
Minimum domain size	2
Maximum domain size	22
Distribution of domain sizes	[{"size":2,"count":500},{"size":22,"count":100}]
Minimum variable degree	2
Maximum variable degree	53
Distribution of variable degrees	[{"degree":2,"count":100},{"degree":3,"count":5},{"degree":4,"count":5},{"degree":5,"count":6},{"degree":6,"count":10},{"degree":7,"count":10},{"degree":8,"count":18},{"degree":9,"count":18},{"degree":10,"count":18},{"degree":11,"count":18},{"degree":12,"count":18},{"degree":13,"count":18},{"degree":14,"count":18},{"degree":15,"count":18},{"degree":16,"count":18},{"degree":17,"count":18},{"degree":18,"count":18},{"degree":19,"count":18},{"degree":20,"count":19},{"degree":21,"count":19},{"degree":22,"count":20},{"degree":23,"count":20},{"degree":24,"count":25},{"degree":25,"count":14},{"degree":26,"count":9},"...",{"degree":29,"count":9}, {"degree":30,"count":10}, {"degree":31,"count":26}, {"degree":32,"count":19}, {"degree":33,"count":2}, {"degree":34,"count":2}, {"degree":35,"count":2}, {"degree":36,"count":2}, {"degree":37,"count":2}, {"degree":38,"count":2}, {"degree":39,"count":2}, {"degree":40,"count":2}, {"degree":41,"count":2}, {"degree":42,"count":2}, {"degree":43,"count":2}, {"degree":44,"count":2}, {"degree":45,"count":2}, {"degree":46,"count":2}, {"degree":47,"count":2}, {"degree":48,"count":2}, {"degree":49,"count":2}, {"degree":50,"count":2}, {"degree":51,"count":2}, {"degree":52,"count":3}, {"degree":53,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	100
Distribution of constraint arities	[{"arity":2,"count":100},{"arity":3,"count":196},{"arity":4,"count":1},{"arity":5,"count":193},{"arity":6,"count":101},{"arity":8,"count":1},{"arity":10,"count":2},{"arity":12,"count":1},{"arity":14,"count":1},{"arity":15,"count":2},{"arity":16,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":3},{"arity":22,"count":3},{"arity":24,"count":1},{"arity":25,"count":4},{"arity":26,"count":1},{"arity":28,"count":3},{"arity":30,"count":3},{"arity":31,"count":2},{"arity":32,"count":1},{"arity":34,"count":3},{"arity":35,"count":2},{"arity":36,"count":1},"...",{"arity":67,"count":2}, {"arity":68,"count":1}, {"arity":70,"count":5}, {"arity":72,"count":1}, {"arity":73,"count":2}, {"arity":74,"count":1}, {"arity":75,"count":2}, {"arity":76,"count":3}, {"arity":78,"count":1}, {"arity":79,"count":2}, {"arity":80,"count":3}, {"arity":82,"count":3}, {"arity":84,"count":1}, {"arity":85,"count":4}, {"arity":86,"count":1}, {"arity":88,"count":3}, {"arity":90,"count":3}, {"arity":91,"count":2}, {"arity":92,"count":1}, {"arity":94,"count":3}, {"arity":95,"count":2}, {"arity":96,"count":1}, {"arity":97,"count":2}, {"arity":98,"count":1}, {"arity":100,"count":6}]
Number of extensional constraints	100
Number of intensional constraints	0
Distribution of constraint types	[{"type":"extension","count":100},{"type":"sum","count":630},{"type":"cardinality","count":1}]
Optimization problem	NO
Type of objective

Trace number 4263245

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data