2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
Sat4j-CSP 2018-07-11	?	1394	383.289

1140.67/317.13	Jul 22, 2018 3:32:42 AM org.sat4j.reader.XMLCSP3Reader parseInstance
1140.67/317.13	INFO: Runtime exception
1140.67/317.13	java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1140.67/317.13		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:94)
1140.67/317.13		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeExpression(TseitinBasedIntensionCtrEncoder.java:78)
1140.67/317.13		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encode(TseitinBasedIntensionCtrEncoder.java:59)
1140.67/317.13		at org.sat4j.csp.constraints3.CountingCtrBuilder.buildCtrSum(CountingCtrBuilder.java:98)
1140.67/317.13		at org.sat4j.csp.constraints3.CountingCtrBuilder.buildCtrSum(CountingCtrBuilder.java:53)
1140.67/317.13		at org.sat4j.reader.XMLCSP3Reader.buildCtrSum(XMLCSP3Reader.java:586)
1140.67/317.13		at org.xcsp.parser.loaders.CtrLoaderInteger.sum(CtrLoaderInteger.java:383)
1140.67/317.13		at org.xcsp.parser.loaders.CtrLoaderInteger.load(CtrLoaderInteger.java:188)
1140.67/317.13		at org.xcsp.parser.XCallbacks.loadCtr(XCallbacks.java:538)
1140.67/317.13		at org.xcsp.parser.XCallbacks.lambda$loadCtrs$3(XCallbacks.java:521)
1140.67/317.13		at java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:948)
1140.67/317.13		at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:580)
1140.67/317.13		at org.xcsp.parser.XCallbacks.loadCtrs(XCallbacks.java:518)
1140.67/317.13		at org.xcsp.parser.XCallbacks.loadGroup(XCallbacks.java:473)
1140.67/317.13		at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:433)
1140.67/317.13		at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:418)
1140.67/317.13		at org.sat4j.reader.XMLCSP3Reader.loadInstance(XMLCSP3Reader.java:343)
1140.67/317.13		at org.sat4j.reader.XMLCSP3Reader.parseInstance(XMLCSP3Reader.java:308)
1140.67/317.13		at org.sat4j.reader.Reader.parseInstance(Reader.java:73)
1140.67/317.13		at org.sat4j.AbstractLauncher.readProblem(AbstractLauncher.java:201)
1140.67/317.13		at org.sat4j.csp.CSPLauncher.readProblem(CSPLauncher.java:95)
1140.67/317.13		at org.sat4j.AbstractLauncher.run(AbstractLauncher.java:255)
1140.67/317.13		at org.sat4j.csp.CSPLauncher.main(CSPLauncher.java:119)
1140.67/317.13	Caused by: java.lang.reflect.InvocationTargetException
1140.67/317.13		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1140.67/317.13		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1140.67/317.13		at java.lang.reflect.Method.invoke(Method.java:498)
1140.67/317.13		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1140.67/317.13		... 22 more
1140.67/317.13	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1140.67/317.13		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:94)
1140.67/317.13		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1140.67/317.13		... 26 more
1140.67/317.13	Caused by: java.lang.reflect.InvocationTargetException
1140.67/317.13		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1140.67/317.13		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1140.67/317.13		at java.lang.reflect.Method.invoke(Method.java:498)
1140.67/317.13		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1140.67/317.13		... 27 more
1140.67/317.13	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1140.67/317.13		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:94)
1140.67/317.13		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1140.67/317.13		... 31 more
1140.67/317.13	Caused by: java.lang.reflect.InvocationTargetException
1140.67/317.13		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1140.67/317.13		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1140.67/317.13		at java.lang.reflect.Method.invoke(Method.java:498)
1140.67/317.13		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1140.67/317.13		... 32 more
1140.67/317.13	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1140.67/317.13		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:128)
1140.67/317.13		... 36 more
1140.67/317.13	Caused by: java.lang.reflect.InvocationTargetException
1140.67/317.13		at sun.reflect.GeneratedMethodAccessor3.invoke(Unknown Source)
1140.67/317.13		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1140.67/317.13		at java.lang.reflect.Method.invoke(Method.java:498)
1140.67/317.13		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:126)
1140.67/317.13		... 36 more
1140.67/317.13	Caused by: java.lang.OutOfMemoryError: GC overhead limit exceeded
1140.67/317.13		at org.sat4j.minisat.constraints.cnf.OriginalWLClause.brandNewClause(OriginalWLClause.java:81)
1140.67/317.13		at org.sat4j.pb.constraints.UnitBinaryWLClauseConstructor.constructClause(UnitBinaryWLClauseConstructor.java:56)
1140.67/317.13		at org.sat4j.pb.constraints.AbstractPBClauseCardConstrDataStructure.constructClause(AbstractPBClauseCardConstrDataStructure.java:225)
1140.67/317.13		at org.sat4j.pb.constraints.AbstractPBClauseCardConstrDataStructure.createClause(AbstractPBClauseCardConstrDataStructure.java:70)
1140.67/317.13		at org.sat4j.minisat.core.Solver.addClause(Solver.java:426)
1140.67/317.13		at org.sat4j.csp.CspSatSolverDecorator.addClause(CspSatSolverDecorator.java:147)
1140.67/317.13		at org.sat4j.tools.SolverDecorator.addClause(SolverDecorator.java:236)
1140.67/317.13		at org.sat4j.csp.intension.CspToPBSolverDecorator.addClause(CspToPBSolverDecorator.java:85)
1140.67/317.13		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.buildImplVar(TseitinBasedIntensionCtrEncoder.java:540)
1140.67/317.13		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorAdd(TseitinBasedIntensionCtrEncoder.java:159)
1140.67/317.13		at sun.reflect.GeneratedMethodAccessor3.invoke(Unknown Source)
1140.67/317.13		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1140.67/317.13		at java.lang.reflect.Method.invoke(Method.java:498)
1140.67/317.13		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:126)
1140.67/317.13		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1140.67/317.13		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1140.67/317.13		at java.lang.reflect.Method.invoke(Method.java:498)
1140.67/317.13		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1140.67/317.13		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1140.67/317.13		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1140.67/317.13		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1140.67/317.13		at java.lang.reflect.Method.invoke(Method.java:498)
1140.67/317.13		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1140.67/317.13		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1140.67/317.13		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1140.67/317.13		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1140.67/317.13		at java.lang.reflect.Method.invoke(Method.java:498)
1140.67/317.13		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1140.67/317.13		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeExpression(TseitinBasedIntensionCtrEncoder.java:78)
1140.67/317.13		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encode(TseitinBasedIntensionCtrEncoder.java:59)
1140.67/317.13		at org.sat4j.csp.constraints3.CountingCtrBuilder.buildCtrSum(CountingCtrBuilder.java:98)
1140.67/317.13		at org.sat4j.csp.constraints3.CountingCtrBuilder.buildCtrSum(CountingCtrBuilder.java:53)
1140.67/317.13	
1208.33/335.38	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
1208.33/335.38	c This is free software under the dual EPL/GNU LGPL licenses.
1208.33/335.38	c See www.sat4j.org for details.
1208.33/335.38	c That software uses the Rhino library from the Mozilla project.
1208.33/335.38	c version 2.3.6-SNAPSHOT
1208.33/335.38	c java.runtime.name	Java(TM) SE Runtime Environment
1208.33/335.38	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
1208.33/335.38	c java.vm.version	25.131-b11
1208.33/335.38	c java.vm.vendor	Oracle Corporation
1208.33/335.38	c sun.arch.data.model	64
1208.33/335.38	c java.version		1.8.0_131
1208.33/335.38	c os.name		Linux
1208.33/335.38	c os.version		3.10.0-514.16.1.el7.x86_64
1208.33/335.38	c os.arch		amd64
1208.33/335.38	c Free memory 		499604488
1208.33/335.38	c Max memory 		7247757312
1208.33/335.38	c Total memory 		504889344
1208.33/335.38	c Number of processors 	4
1208.33/335.38	c c --- Begin Solver configuration ---
1208.33/335.38	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b71fc7e
1208.33/335.38	c Learn all clauses as in MiniSAT
1208.33/335.38	c LOGGER=java.util.logging.Logger@25f38edc claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
1208.33/335.38	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
1208.33/335.38	c No reason simplification
1208.33/335.38	c Glucose 2.1 dynamic restart strategy
1208.33/335.38	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
1208.33/335.38	c timeout=2147483s
1208.33/335.38	c DB Simplification allowed=false
1208.33/335.38	c Listener: org.sat4j.minisat.core.VoidTracing@1a86f2f1
1208.33/335.38	c --- End Solver configuration ---
1291.84/357.23	c starts		: 0
1291.84/357.23	Exception in thread "Thread-1" c conflicts		: 0
1310.37/361.95	c decisions		: 0
1310.37/361.95	c propagations		: 0
1310.37/361.95	c inspects		: 0
1310.37/361.95	c shortcuts		: 0
1328.83/366.64	c learnt literals	: 0
1350.42/372.16	c learnt binary clauses	: 0
1350.42/372.16	c learnt ternary clauses	: 0
1350.42/372.16	c learnt constraints	: 0
1350.42/372.16	c ignored constraints	: 0
1350.42/372.16	c root simplifications	: 0
1350.42/372.16	c removed literals (reason simplification)	: 0
1350.42/372.16	c reason swapping (by a shorter reason)	: 0
1371.94/377.67	c Calls to reduceDB	: 0
1371.94/377.67	c Number of update (reduction) of LBD	: 0
1371.94/377.67	c Imported unit clauses	: 0
1371.94/377.67	c number of reductions to clauses (during analyze)	: 0
1371.94/377.67	c number of learned constraints concerned by reduction	: 0
1371.94/377.67	c number of learning phase by resolution	: 0
1371.94/377.67	c number of learning phase by cutting planes	: 0
1371.94/377.67	c number of rounding to 1 operations	: 0
1393.92/383.25	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
1393.92/383.25	c number of reductions of the coefficients by power 2 	: 0
1393.92/383.25	c number of right shift for reduction by power 2 	: 0
1393.92/383.25	c number of reductions of the coefficients by GCD over coefficients 	: 0
1393.92/383.25	c number of ending skipping 	: 0
1393.92/383.25	
1393.92/383.25	Exception: java.lang.OutOfMemoryError thrown from the UncaughtExceptionHandler in thread "Thread-1"
1393.92/383.25	c number of internal skipping 	: 0
1393.92/383.25	c number of derivation steps 	: 0
1393.92/383.25	c number of skipped derivation steps 	: 0
1393.92/383.25	c number of remaining unassigned 	: 0
1393.92/383.25	c number of remaining assigned 	: 0
1393.92/383.25	c speed (assignments/second)	: 0.0
1393.92/383.25	c non guided choices	: 0
1393.92/383.25	s UNKNOWN

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

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

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

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


[startup+0.103606 s]*
/proc/loadavg: 1.00 1.44 2.19 2/194 29118
/proc/meminfo: memFree=16893716/32770624 swapFree=67108860/67108860
[pid=29103] ppid=29100 vsize=10659012 memory=30368 CPUtime=0.13 cores=0,2,4,6
/proc/29103/stat : 29103 (java) S 29100 29103 25074 0 -1 1077944320 6672 0 0 0 12 1 0 0 20 0 15 0 39848600 10914828288 7592 33554432000 4194304 4196468 140723637467504 140723637450048 139823328517879 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
/proc/29103/statm: 2664753 7592 2844 1 0 2627263 0
[pid=29103/tid=29105] ppid=29100 vsize=10659012 memory=8543466553346073208 CPUtime=0.09 cores=0,2,4,6
/proc/29103/task/29105/stat : 29105 (java) R 29100 29103 25074 0 -1 4202560 4511 0 0 0 8 1 0 0 20 0 15 0 39848600 10914828288 7592 33554432000 4194304 4196468 140723637467504 139823332746400 139823328539805 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29106] ppid=29100 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29103/task/29106/stat : 29106 (java) S 29100 29103 25074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39848601 10914828288 7592 33554432000 4194304 4196468 140723637467504 139822934911248 139823328528085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29107] ppid=29100 vsize=10659012 memory=139982986577536 CPUtime=0 cores=0,2,4,6
/proc/29103/task/29107/stat : 29107 (java) S 29100 29103 25074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39848601 10914828288 7592 33554432000 4194304 4196468 140723637467504 139822933858704 139823328528085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29108] ppid=29100 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29103/task/29108/stat : 29108 (java) S 29100 29103 25074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39848601 10914828288 7592 33554432000 4194304 4196468 140723637467504 139822932806160 139823328528085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29109] ppid=29100 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29103/task/29109/stat : 29109 (java) S 29100 29103 25074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39848601 10914828288 7592 33554432000 4194304 4196468 140723637467504 139822931753616 139823328528085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29110] ppid=29100 vsize=10659012 memory=139982986577536 CPUtime=0 cores=0,2,4,6
/proc/29103/task/29110/stat : 29110 (java) S 29100 29103 25074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39848602 10914828288 7592 33554432000 4194304 4196468 140723637467504 139822364375536 139823328529026 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29111] ppid=29100 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29103/task/29111/stat : 29111 (java) S 29100 29103 25074 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39848603 10914828288 7592 33554432000 4194304 4196468 140723637467504 139822363321760 139823328528085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29112] ppid=29100 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29103/task/29112/stat : 29112 (java) S 29100 29103 25074 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39848603 10914828288 7592 33554432000 4194304 4196468 140723637467504 139822362269168 139823328528085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29113] ppid=29100 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29103/task/29113/stat : 29113 (java) S 29100 29103 25074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39848605 10914828288 7592 33554432000 4194304 4196468 140723637467504 139822361217744 139823328536475 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29114] ppid=29100 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29103/task/29114/stat : 29114 (java) S 29100 29103 25074 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 15 0 39848605 10914828288 7592 33554432000 4194304 4196468 140723637467504 139822360164336 139823328529026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29115] ppid=29100 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29103/task/29115/stat : 29115 (java) S 29100 29103 25074 0 -1 1077944384 149 0 0 0 0 0 0 0 20 0 15 0 39848605 10914828288 7592 33554432000 4194304 4196468 140723637467504 139822359111792 139823328529026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29116] ppid=29100 vsize=10659012 memory=139982986577536 CPUtime=0.02 cores=0,2,4,6
/proc/29103/task/29116/stat : 29116 (java) S 29100 29103 25074 0 -1 1077944384 346 0 0 0 2 0 0 0 20 0 15 0 39848605 10914828288 7592 33554432000 4194304 4196468 140723637467504 139822358059248 139823328529026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29117] ppid=29100 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29103/task/29117/stat : 29117 (java) S 29100 29103 25074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39848606 10914828288 7592 33554432000 4194304 4196468 140723637467504 139822357006944 139823328528085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29118] ppid=29100 vsize=10659012 memory=139982986577536 CPUtime=0 cores=0,2,4,6
/proc/29103/task/29118/stat : 29118 (java) S 29100 29103 25074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39848606 10914828288 7592 33554432000 4194304 4196468 140723637467504 139822355954480 139823328529026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 30368 KiB

[startup+0.210115 s]*
/proc/loadavg: 1.00 1.44 2.19 4/194 29118
/proc/meminfo: memFree=16885652/32770624 swapFree=67108860/67108860
[pid=29103] ppid=29100 vsize=10659012 memory=41776 CPUtime=0.32 cores=0,2,4,6
/proc/29103/stat : 29103 (java) S 29100 29103 25074 0 -1 1077944320 8154 0 0 0 30 2 0 0 20 0 15 0 39848600 10914828288 10444 33554432000 4194304 4196468 140723637467504 140723637450048 139823328517879 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
/proc/29103/statm: 2664753 10444 3004 1 0 2627263 0
[pid=29103/tid=29105] ppid=29100 vsize=10659012 memory=8318255677412212789 CPUtime=0.19 cores=0,2,4,6
/proc/29103/task/29105/stat : 29105 (java) R 29100 29103 25074 0 -1 4202560 5110 0 0 0 18 1 0 0 20 0 15 0 39848600 10914828288 10444 33554432000 4194304 4196468 140723637467504 139823332754496 139823312561509 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29106] ppid=29100 vsize=10659012 memory=328 CPUtime=0 cores=0,2,4,6
/proc/29103/task/29106/stat : 29106 (java) S 29100 29103 25074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39848601 10914828288 10444 33554432000 4194304 4196468 140723637467504 139822934911248 139823328528085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29107] ppid=29100 vsize=10659012 memory=139982986603596 CPUtime=0 cores=0,2,4,6
/proc/29103/task/29107/stat : 29107 (java) S 29100 29103 25074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39848601 10914828288 10444 33554432000 4194304 4196468 140723637467504 139822933858704 139823328528085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29108] ppid=29100 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29103/task/29108/stat : 29108 (java) S 29100 29103 25074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39848601 10914828288 10444 33554432000 4194304 4196468 140723637467504 139822932806160 139823328528085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29109] ppid=29100 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29103/task/29109/stat : 29109 (java) S 29100 29103 25074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39848601 10914828288 10444 33554432000 4194304 4196468 140723637467504 139822931753616 139823328528085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29110] ppid=29100 vsize=10659012 memory=139982986577536 CPUtime=0 cores=0,2,4,6
/proc/29103/task/29110/stat : 29110 (java) S 29100 29103 25074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39848602 10914828288 10444 33554432000 4194304 4196468 140723637467504 139822364375536 139823328529026 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29111] ppid=29100 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29103/task/29111/stat : 29111 (java) S 29100 29103 25074 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39848603 10914828288 10444 33554432000 4194304 4196468 140723637467504 139822363321760 139823328528085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29112] ppid=29100 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29103/task/29112/stat : 29112 (java) S 29100 29103 25074 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39848603 10914828288 10444 33554432000 4194304 4196468 140723637467504 139822362269168 139823328528085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29113] ppid=29100 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29103/task/29113/stat : 29113 (java) S 29100 29103 25074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39848605 10914828288 10444 33554432000 4194304 4196468 140723637467504 139822361217744 139823328536475 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29114] ppid=29100 vsize=10659012 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/29103/task/29114/stat : 29114 (java) S 29100 29103 25074 0 -1 1077944384 658 0 0 0 3 0 0 0 20 0 15 0 39848605 10914828288 10444 33554432000 4194304 4196468 140723637467504 139822360164336 139823328529026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29115] ppid=29100 vsize=10659012 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/29103/task/29115/stat : 29115 (java) S 29100 29103 25074 0 -1 1077944384 338 0 0 0 1 0 0 0 20 0 15 0 39848605 10914828288 10444 33554432000 4194304 4196468 140723637467504 139822359111792 139823328529026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29116] ppid=29100 vsize=10659012 memory=139982986577536 CPUtime=0.07 cores=0,2,4,6
/proc/29103/task/29116/stat : 29116 (java) R 29100 29103 25074 0 -1 4202560 679 0 0 0 7 0 0 0 20 0 15 0 39848605 10914828288 10444 33554432000 4194304 4196468 140723637467504 139822358059248 139823328539226 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29117] ppid=29100 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29103/task/29117/stat : 29117 (java) S 29100 29103 25074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39848606 10914828288 10444 33554432000 4194304 4196468 140723637467504 139822357006944 139823328528085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29118] ppid=29100 vsize=10659012 memory=139982986577536 CPUtime=0 cores=0,2,4,6
/proc/29103/task/29118/stat : 29118 (java) S 29100 29103 25074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39848606 10914828288 10444 33554432000 4194304 4196468 140723637467504 139822355954480 139823328529026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 41776 KiB

[startup+0.310225 s]*
/proc/loadavg: 1.00 1.44 2.19 3/194 29118
/proc/meminfo: memFree=16878208/32770624 swapFree=67108860/67108860
[pid=29103] ppid=29100 vsize=10659088 memory=47248 CPUtime=0.53 cores=0,2,4,6
/proc/29103/stat : 29103 (java) S 29100 29103 25074 0 -1 1077944320 9021 0 0 0 50 3 0 0 20 0 15 0 39848600 10914906112 11812 33554432000 4194304 4196468 140723637467504 140723637450048 139823328517879 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
/proc/29103/statm: 2664772 11812 3045 1 0 2627263 0
[pid=29103/tid=29105] ppid=29100 vsize=10659088 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/29103/task/29105/stat : 29105 (java) R 29100 29103 25074 0 -1 4202560 5762 0 0 0 27 2 0 0 20 0 15 0 39848600 10914906112 11812 33554432000 4194304 4196468 140723637467504 139823332754816 139822945610987 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29106] ppid=29100 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29103/task/29106/stat : 29106 (java) S 29100 29103 25074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39848601 10914906112 11812 33554432000 4194304 4196468 140723637467504 139822934911248 139823328528085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29107] ppid=29100 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29103/task/29107/stat : 29107 (java) S 29100 29103 25074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39848601 10914906112 11812 33554432000 4194304 4196468 140723637467504 139822933858704 139823328528085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29108] ppid=29100 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29103/task/29108/stat : 29108 (java) S 29100 29103 25074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39848601 10914906112 11812 33554432000 4194304 4196468 140723637467504 139822932806160 139823328528085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29109] ppid=29100 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29103/task/29109/stat : 29109 (java) S 29100 29103 25074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39848601 10914906112 11812 33554432000 4194304 4196468 140723637467504 139822931753616 139823328528085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29110] ppid=29100 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29103/task/29110/stat : 29110 (java) S 29100 29103 25074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39848602 10914906112 11812 33554432000 4194304 4196468 140723637467504 139822364375536 139823328529026 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29111] ppid=29100 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29103/task/29111/stat : 29111 (java) S 29100 29103 25074 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39848603 10914906112 11812 33554432000 4194304 4196468 140723637467504 139822363321760 139823328528085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29112] ppid=29100 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29103/task/29112/stat : 29112 (java) S 29100 29103 25074 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39848603 10914906112 11812 33554432000 4194304 4196468 140723637467504 139822362269168 139823328528085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29113] ppid=29100 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29103/task/29113/stat : 29113 (java) S 29100 29103 25074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39848605 10914906112 11812 33554432000 4194304 4196468 140723637467504 139822361217744 139823328536475 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29114] ppid=29100 vsize=10659088 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/29103/task/29114/stat : 29114 (java) S 29100 29103 25074 0 -1 1077944384 750 0 0 0 5 0 0 0 20 0 15 0 39848605 10914906112 11812 33554432000 4194304 4196468 140723637467504 139822360164336 139823328529026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29115] ppid=29100 vsize=10659088 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/29103/task/29115/stat : 29115 (java) S 29100 29103 25074 0 -1 1077944384 376 0 0 0 3 0 0 0 20 0 15 0 39848605 10914906112 11812 33554432000 4194304 4196468 140723637467504 139822359111792 139823328529026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29116] ppid=29100 vsize=10659088 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/29103/task/29116/stat : 29116 (java) R 29100 29103 25074 0 -1 4202560 764 0 0 0 13 0 0 0 20 0 15 0 39848605 10914906112 11812 33554432000 4194304 4196468 140723637467504 139822358057648 139823307950965 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29117] ppid=29100 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29103/task/29117/stat : 29117 (java) S 29100 29103 25074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39848606 10914906112 11812 33554432000 4194304 4196468 140723637467504 139822357006944 139823328528085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29118] ppid=29100 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29103/task/29118/stat : 29118 (java) S 29100 29103 25074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39848606 10914906112 11812 33554432000 4194304 4196468 140723637467504 139822355954480 139823328529026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 47248 KiB

[startup+0.700792 s]
/proc/loadavg: 1.00 1.44 2.19 4/194 29118
/proc/meminfo: memFree=16817320/32770624 swapFree=67108860/67108860
[pid=29103] ppid=29100 vsize=10659088 memory=128792 CPUtime=1.55 cores=0,2,4,6
/proc/29103/stat : 29103 (java) S 29100 29103 25074 0 -1 1077944320 12626 0 0 0 150 5 0 0 20 0 15 0 39848600 10914906112 32198 33554432000 4194304 4196468 140723637467504 140723637450048 139823328517879 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
/proc/29103/statm: 2664772 32198 3103 1 0 2627263 0
[pid=29103/tid=29105] ppid=29100 vsize=10659088 memory=265009347200277 CPUtime=0.68 cores=0,2,4,6
/proc/29103/task/29105/stat : 29105 (java) R 29100 29103 25074 0 -1 4202560 5931 0 0 0 64 4 0 0 20 0 15 0 39848600 10914906112 32198 33554432000 4194304 4196468 140723637467504 139823332754152 139822948169910 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29106] ppid=29100 vsize=10659088 memory=288230376151877798 CPUtime=0 cores=0,2,4,6
/proc/29103/task/29106/stat : 29106 (java) S 29100 29103 25074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39848601 10914906112 32198 33554432000 4194304 4196468 140723637467504 139822934911248 139823328528085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29107] ppid=29100 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29103/task/29107/stat : 29107 (java) S 29100 29103 25074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39848601 10914906112 32198 33554432000 4194304 4196468 140723637467504 139822933858704 139823328528085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29108] ppid=29100 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29103/task/29108/stat : 29108 (java) S 29100 29103 25074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39848601 10914906112 32198 33554432000 4194304 4196468 140723637467504 139822932806160 139823328528085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29109] ppid=29100 vsize=10659088 memory=7809523229951467568 CPUtime=0 cores=0,2,4,6
/proc/29103/task/29109/stat : 29109 (java) S 29100 29103 25074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39848601 10914906112 32198 33554432000 4194304 4196468 140723637467504 139822931753616 139823328528085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29110] ppid=29100 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29103/task/29110/stat : 29110 (java) S 29100 29103 25074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39848602 10914906112 32198 33554432000 4194304 4196468 140723637467504 139822364375536 139823328529026 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29111] ppid=29100 vsize=10659088 memory=-3472574513799858009 CPUtime=0 cores=0,2,4,6
/proc/29103/task/29111/stat : 29111 (java) S 29100 29103 25074 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39848603 10914906112 32198 33554432000 4194304 4196468 140723637467504 139822363321760 139823328528085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29112] ppid=29100 vsize=10659088 memory=8330969454845486047 CPUtime=0 cores=0,2,4,6
/proc/29103/task/29112/stat : 29112 (java) S 29100 29103 25074 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39848603 10914906112 32198 33554432000 4194304 4196468 140723637467504 139822362269168 139823328528085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29113] ppid=29100 vsize=10659088 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/29103/task/29113/stat : 29113 (java) S 29100 29103 25074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39848605 10914906112 32198 33554432000 4194304 4196468 140723637467504 139822361217744 139823328536475 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29114] ppid=29100 vsize=10659088 memory=0 CPUtime=0.29 cores=0,2,4,6
/proc/29103/task/29114/stat : 29114 (java) S 29100 29103 25074 0 -1 1077944384 1634 0 0 0 29 0 0 0 20 0 15 0 39848605 10914906112 32198 33554432000 4194304 4196468 140723637467504 139822360164336 139823328529026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29115] ppid=29100 vsize=10659088 memory=0 CPUtime=0.37 cores=0,2,4,6
/proc/29103/task/29115/stat : 29115 (java) R 29100 29103 25074 0 -1 4202560 2771 0 0 0 37 0 0 0 20 0 15 0 39848605 10914906112 32198 33554432000 4194304 4196468 140723637467504 139822359096840 139823310062840 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29116] ppid=29100 vsize=10659088 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/29103/task/29116/stat : 29116 (java) S 29100 29103 25074 0 -1 1077944384 929 0 0 0 19 0 0 0 20 0 15 0 39848605 10914906112 32198 33554432000 4194304 4196468 140723637467504 139822358059248 139823328529026 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29117] ppid=29100 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29103/task/29117/stat : 29117 (java) S 29100 29103 25074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39848606 10914906112 32198 33554432000 4194304 4196468 140723637467504 139822357006944 139823328528085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29118] ppid=29100 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29103/task/29118/stat : 29118 (java) S 29100 29103 25074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39848606 10914906112 32198 33554432000 4194304 4196468 140723637467504 139822355954480 139823328529026 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
Current children cumulated CPU time: 1.55 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 128792 KiB

[startup+1.50083 s]
/proc/loadavg: 1.00 1.44 2.19 2/194 29118
/proc/meminfo: memFree=16767796/32770624 swapFree=67108860/67108860
[pid=29103] ppid=29100 vsize=10659088 memory=218116 CPUtime=2.64 cores=0,2,4,6
/proc/29103/stat : 29103 (java) S 29100 29103 25074 0 -1 1077944320 15483 0 0 0 252 12 0 0 20 0 15 0 39848600 10914906112 54529 33554432000 4194304 4196468 140723637467504 140723637450048 139823328517879 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
/proc/29103/statm: 2664772 54529 3136 1 0 2627263 0
[pid=29103/tid=29105] ppid=29100 vsize=10659088 memory=561 CPUtime=1.43 cores=0,2,4,6
/proc/29103/task/29105/stat : 29105 (java) R 29100 29103 25074 0 -1 4202560 6076 0 0 0 138 5 0 0 20 0 15 0 39848600 10914906112 54529 33554432000 4194304 4196468 140723637467504 139823332756928 139822948343499 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29106] ppid=29100 vsize=10659088 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/29103/task/29106/stat : 29106 (java) S 29100 29103 25074 0 -1 1077944384 179 0 0 0 2 1 0 0 20 0 15 0 39848601 10914906112 54529 33554432000 4194304 4196468 140723637467504 139822934911248 139823328528085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29107] ppid=29100 vsize=10659088 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/29103/task/29107/stat : 29107 (java) S 29100 29103 25074 0 -1 1077944384 149 0 0 0 2 1 0 0 20 0 15 0 39848601 10914906112 54529 33554432000 4194304 4196468 140723637467504 139822933858704 139823328528085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29108] ppid=29100 vsize=10659088 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/29103/task/29108/stat : 29108 (java) S 29100 29103 25074 0 -1 1077944384 86 0 0 0 2 1 0 0 20 0 15 0 39848601 10914906112 54529 33554432000 4194304 4196468 140723637467504 139822932806160 139823328528085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29109] ppid=29100 vsize=10659088 memory=2209 CPUtime=0.03 cores=0,2,4,6
/proc/29103/task/29109/stat : 29109 (java) S 29100 29103 25074 0 -1 1077944384 290 0 0 0 2 1 0 0 20 0 15 0 39848601 10914906112 54529 33554432000 4194304 4196468 140723637467504 139822931753616 139823328528085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29110] ppid=29100 vsize=10659088 memory=8996 CPUtime=0 cores=0,2,4,6
/proc/29103/task/29110/stat : 29110 (java) S 29100 29103 25074 0 -1 1077944384 383 0 0 0 0 0 0 0 20 0 15 0 39848602 10914906112 54529 33554432000 4194304 4196468 140723637467504 139822364375536 139823328529026 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0

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

[pid=29103/tid=29106] ppid=29100 vsize=10794416 memory=4132 CPUtime=335.06 cores=0,2,4,6
/proc/29103/task/29106/stat : 29106 (java) R 29100 29103 25074 0 -1 4202560 23677 0 0 0 33327 179 0 0 20 0 17 0 39848601 11053481984 2078176 33554432000 4194304 4196468 140723637467504 139822934911448 139823310071515 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29107] ppid=29100 vsize=10794416 memory=8312704 CPUtime=334.77 cores=0,2,4,6
/proc/29103/task/29107/stat : 29107 (java) R 29100 29103 25074 0 -1 4202560 16570 0 0 0 33286 191 0 0 20 0 17 0 39848601 11053481984 2078176 33554432000 4194304 4196468 140723637467504 139822933858600 139823321146087 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29108] ppid=29100 vsize=10794416 memory=8312704 CPUtime=335.44 cores=0,2,4,6
/proc/29103/task/29108/stat : 29108 (java) R 29100 29103 25074 0 -1 4202560 15824 0 0 0 33375 169 0 0 20 0 17 0 39848601 11053481984 2078176 33554432000 4194304 4196468 140723637467504 139822932806360 139823310114437 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29109] ppid=29100 vsize=10794416 memory=6791534058613427641 CPUtime=335.52 cores=0,2,4,6
/proc/29103/task/29109/stat : 29109 (java) R 29100 29103 25074 0 -1 4202560 18653 0 0 0 33373 179 0 0 20 0 17 0 39848601 11053481984 2078176 33554432000 4194304 4196468 140723637467504 139822931753816 139823310113782 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29110] ppid=29100 vsize=10794416 memory=1440 CPUtime=25.72 cores=0,2,4,6
/proc/29103/task/29110/stat : 29110 (java) S 29100 29103 25074 0 -1 1077944384 68412 0 0 0 2567 5 0 0 20 0 17 0 39848602 11053481984 2078176 33554432000 4194304 4196468 140723637467504 139822364373856 139823328528085 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29111] ppid=29100 vsize=10794416 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/29103/task/29111/stat : 29111 (java) S 29100 29103 25074 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 17 0 39848603 11053481984 2078176 33554432000 4194304 4196468 140723637467504 139822363321824 139823328528085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29112] ppid=29100 vsize=10794416 memory=14004 CPUtime=0 cores=0,2,4,6
/proc/29103/task/29112/stat : 29112 (java) S 29100 29103 25074 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 17 0 39848603 11053481984 2078176 33554432000 4194304 4196468 140723637467504 139822362269184 139823328528085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29113] ppid=29100 vsize=10794416 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/29103/task/29113/stat : 29113 (java) S 29100 29103 25074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 39848605 11053481984 2078176 33554432000 4194304 4196468 140723637467504 139822361217744 139823328536475 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29114] ppid=29100 vsize=10794416 memory=2340 CPUtime=0.61 cores=0,2,4,6
/proc/29103/task/29114/stat : 29114 (java) S 29100 29103 25074 0 -1 1077944384 4169 0 0 0 61 0 0 0 20 0 17 0 39848605 11053481984 2078176 33554432000 4194304 4196468 140723637467504 139822360164336 139823328529026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29115] ppid=29100 vsize=10794416 memory=1728 CPUtime=0.83 cores=0,2,4,6
/proc/29103/task/29115/stat : 29115 (java) S 29100 29103 25074 0 -1 1077944384 6845 0 0 0 82 1 0 0 20 0 17 0 39848605 11053481984 2078176 33554432000 4194304 4196468 140723637467504 139822359111792 139823328529026 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29116] ppid=29100 vsize=10794416 memory=1924 CPUtime=0.28 cores=0,2,4,6
/proc/29103/task/29116/stat : 29116 (java) S 29100 29103 25074 0 -1 1077944384 4696 0 0 0 28 0 0 0 20 0 17 0 39848605 11053481984 2078176 33554432000 4194304 4196468 140723637467504 139822358059248 139823328529026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29117] ppid=29100 vsize=10794416 memory=8312704 CPUtime=0 cores=0,2,4,6
/proc/29103/task/29117/stat : 29117 (java) S 29100 29103 25074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 39848606 11053481984 2078176 33554432000 4194304 4196468 140723637467504 139822357006944 139823328528085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29118] ppid=29100 vsize=10794416 memory=928 CPUtime=0.28 cores=0,2,4,6
/proc/29103/task/29118/stat : 29118 (java) S 29100 29103 25074 0 -1 1077944384 537 0 0 0 16 12 0 0 20 0 17 0 39848606 11053481984 2078176 33554432000 4194304 4196468 140723637467504 139822355954480 139823328529026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29132] ppid=29100 vsize=10794416 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/29103/task/29132/stat : 29132 (java) S 29100 29103 25074 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 17 0 39880313 11053481984 2078176 33554432000 4194304 4196468 140723637467504 139822352791184 139823328528085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29133] ppid=29100 vsize=10794416 memory=14004 CPUtime=0 cores=0,2,4,6
/proc/29103/task/29133/stat : 29133 (java) S 29100 29103 25074 0 -1 1077944384 102 0 0 0 0 0 0 0 20 0 17 0 39880313 11053481984 2078176 33554432000 4194304 4196468 140723637467504 139822351748928 139823328528085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
Current children cumulated CPU time: 1384.46 s
Current children cumulated vsize: 10794416 KiB
Current children cumulated memory: 8312704 KiB

[startup+382.401 s]
/proc/loadavg: 4.00 3.19 2.72 5/196 29134
/proc/meminfo: memFree=8596916/32770624 swapFree=67108860/67108860
[pid=29103] ppid=29100 vsize=10794416 memory=8312704 CPUtime=1390.75 cores=0,2,4,6
/proc/29103/stat : 29103 (java) S 29100 29103 25074 0 -1 1077944320 180058 0 0 0 138332 743 0 0 20 0 17 0 39848600 11053481984 2078176 33554432000 4194304 4196468 140723637467504 140723637450048 139823328517879 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
/proc/29103/statm: 2698604 2078176 3209 1 0 2661057 0
[pid=29103/tid=29105] ppid=29100 vsize=10794416 memory=8312704 CPUtime=15.86 cores=0,2,4,6
/proc/29103/task/29105/stat : 29105 (java) S 29100 29103 25074 0 -1 1077944384 18862 0 0 0 1574 12 0 0 20 0 17 0 39848600 11053481984 2078176 33554432000 4194304 4196468 140723637467504 139823332758560 139823328528085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29106] ppid=29100 vsize=10794416 memory=4140 CPUtime=336.62 cores=0,2,4,6
/proc/29103/task/29106/stat : 29106 (java) R 29100 29103 25074 0 -1 4202560 23691 0 0 0 33483 179 0 0 20 0 17 0 39848601 11053481984 2078176 33554432000 4194304 4196468 140723637467504 139822934911448 139823313514283 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29107] ppid=29100 vsize=10794416 memory=14004 CPUtime=336.34 cores=0,2,4,6
/proc/29103/task/29107/stat : 29107 (java) R 29100 29103 25074 0 -1 4202560 16570 0 0 0 33443 191 0 0 20 0 17 0 39848601 11053481984 2078176 33554432000 4194304 4196468 140723637467504 139822933858592 139823313216619 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29108] ppid=29100 vsize=10794416 memory=1296 CPUtime=337.04 cores=0,2,4,6
/proc/29103/task/29108/stat : 29108 (java) R 29100 29103 25074 0 -1 4202560 15826 0 0 0 33535 169 0 0 20 0 17 0 39848601 11053481984 2078176 33554432000 4194304 4196468 140723637467504 139822932806360 139823310127662 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29109] ppid=29100 vsize=10794416 memory=2340 CPUtime=337.09 cores=0,2,4,6
/proc/29103/task/29109/stat : 29109 (java) R 29100 29103 25074 0 -1 4202560 18794 0 0 0 33529 180 0 0 20 0 17 0 39848601 11053481984 2078176 33554432000 4194304 4196468 140723637467504 139822931753816 139823312975449 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29110] ppid=29100 vsize=10794416 memory=1728 CPUtime=25.73 cores=0,2,4,6
/proc/29103/task/29110/stat : 29110 (java) S 29100 29103 25074 0 -1 1077944384 68412 0 0 0 2568 5 0 0 20 0 17 0 39848602 11053481984 2078176 33554432000 4194304 4196468 140723637467504 139822364374080 139823328528085 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29111] ppid=29100 vsize=10794416 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/29103/task/29111/stat : 29111 (java) S 29100 29103 25074 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 17 0 39848603 11053481984 2078176 33554432000 4194304 4196468 140723637467504 139822363321824 139823328528085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29112] ppid=29100 vsize=10794416 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/29103/task/29112/stat : 29112 (java) S 29100 29103 25074 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 17 0 39848603 11053481984 2078176 33554432000 4194304 4196468 140723637467504 139822362269184 139823328528085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29113] ppid=29100 vsize=10794416 memory=8380 CPUtime=0 cores=0,2,4,6
/proc/29103/task/29113/stat : 29113 (java) S 29100 29103 25074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 39848605 11053481984 2078176 33554432000 4194304 4196468 140723637467504 139822361217744 139823328536475 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29114] ppid=29100 vsize=10794416 memory=14008 CPUtime=0.61 cores=0,2,4,6
/proc/29103/task/29114/stat : 29114 (java) S 29100 29103 25074 0 -1 1077944384 4169 0 0 0 61 0 0 0 20 0 17 0 39848605 11053481984 2078176 33554432000 4194304 4196468 140723637467504 139822360164336 139823328529026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29115] ppid=29100 vsize=10794416 memory=4620 CPUtime=0.83 cores=0,2,4,6
/proc/29103/task/29115/stat : 29115 (java) S 29100 29103 25074 0 -1 1077944384 6845 0 0 0 82 1 0 0 20 0 17 0 39848605 11053481984 2078176 33554432000 4194304 4196468 140723637467504 139822359111792 139823328529026 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29116] ppid=29100 vsize=10794416 memory=796 CPUtime=0.28 cores=0,2,4,6
/proc/29103/task/29116/stat : 29116 (java) S 29100 29103 25074 0 -1 1077944384 4696 0 0 0 28 0 0 0 20 0 17 0 39848605 11053481984 2078176 33554432000 4194304 4196468 140723637467504 139822358059248 139823328529026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29117] ppid=29100 vsize=10794416 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/29103/task/29117/stat : 29117 (java) S 29100 29103 25074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 39848606 11053481984 2078176 33554432000 4194304 4196468 140723637467504 139822357006944 139823328528085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29118] ppid=29100 vsize=10794416 memory=15872 CPUtime=0.28 cores=0,2,4,6
/proc/29103/task/29118/stat : 29118 (java) S 29100 29103 25074 0 -1 1077944384 537 0 0 0 16 12 0 0 20 0 17 0 39848606 11053481984 2078176 33554432000 4194304 4196468 140723637467504 139822355954480 139823328529026 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29132] ppid=29100 vsize=10794416 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/29103/task/29132/stat : 29132 (java) S 29100 29103 25074 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 17 0 39880313 11053481984 2078176 33554432000 4194304 4196468 140723637467504 139822352791184 139823328528085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29133] ppid=29100 vsize=10794416 memory=2196 CPUtime=0 cores=0,2,4,6
/proc/29103/task/29133/stat : 29133 (java) S 29100 29103 25074 0 -1 1077944384 102 0 0 0 0 0 0 0 20 0 17 0 39880313 11053481984 2078176 33554432000 4194304 4196468 140723637467504 139822351748928 139823328528085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
Current children cumulated CPU time: 1390.75 s
Current children cumulated vsize: 10794416 KiB
Current children cumulated memory: 8312704 KiB

[startup+382.809 s]
/proc/loadavg: 4.00 3.19 2.72 5/196 29134
/proc/meminfo: memFree=8596916/32770624 swapFree=67108860/67108860
[pid=29103] ppid=29100 vsize=10794416 memory=8312704 CPUtime=1392.38 cores=0,2,4,6
/proc/29103/stat : 29103 (java) S 29100 29103 25074 0 -1 1077944320 180635 0 0 0 138495 743 0 0 20 0 17 0 39848600 11053481984 2078176 33554432000 4194304 4196468 140723637467504 140723637450048 139823328517879 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
/proc/29103/statm: 2698604 2078176 3209 1 0 2661057 0
[pid=29103/tid=29105] ppid=29100 vsize=10794416 memory=796 CPUtime=15.86 cores=0,2,4,6
/proc/29103/task/29105/stat : 29105 (java) S 29100 29103 25074 0 -1 1077944384 18862 0 0 0 1574 12 0 0 20 0 17 0 39848600 11053481984 2078176 33554432000 4194304 4196468 140723637467504 139823332758560 139823328528085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29106] ppid=29100 vsize=10794416 memory=8312704 CPUtime=337.02 cores=0,2,4,6
/proc/29103/task/29106/stat : 29106 (java) R 29100 29103 25074 0 -1 4202560 23693 0 0 0 33523 179 0 0 20 0 17 0 39848601 11053481984 2078176 33554432000 4194304 4196468 140723637467504 139822934911448 139823313514260 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29107] ppid=29100 vsize=10794416 memory=6791534058613427641 CPUtime=336.74 cores=0,2,4,6
/proc/29103/task/29107/stat : 29107 (java) R 29100 29103 25074 0 -1 4202560 16570 0 0 0 33483 191 0 0 20 0 17 0 39848601 11053481984 2078176 33554432000 4194304 4196468 140723637467504 139822933858592 139823313514531 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29108] ppid=29100 vsize=10794416 memory=2196 CPUtime=337.45 cores=0,2,4,6
/proc/29103/task/29108/stat : 29108 (java) R 29100 29103 25074 0 -1 4202560 16400 0 0 0 33575 170 0 0 20 0 17 0 39848601 11053481984 2078176 33554432000 4194304 4196468 140723637467504 139822932806360 139823313514283 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29109] ppid=29100 vsize=10794416 memory=6768 CPUtime=337.5 cores=0,2,4,6
/proc/29103/task/29109/stat : 29109 (java) R 29100 29103 25074 0 -1 4202560 18794 0 0 0 33570 180 0 0 20 0 17 0 39848601 11053481984 2078176 33554432000 4194304 4196468 140723637467504 139822931753816 139823313514541 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29110] ppid=29100 vsize=10794416 memory=832 CPUtime=25.73 cores=0,2,4,6
/proc/29103/task/29110/stat : 29110 (java) S 29100 29103 25074 0 -1 1077944384 68412 0 0 0 2568 5 0 0 20 0 17 0 39848602 11053481984 2078176 33554432000 4194304 4196468 140723637467504 139822364374080 139823328528085 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29111] ppid=29100 vsize=10794416 memory=1692 CPUtime=0 cores=0,2,4,6
/proc/29103/task/29111/stat : 29111 (java) S 29100 29103 25074 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 17 0 39848603 11053481984 2078176 33554432000 4194304 4196468 140723637467504 139822363321824 139823328528085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29112] ppid=29100 vsize=10794416 memory=916 CPUtime=0 cores=0,2,4,6
/proc/29103/task/29112/stat : 29112 (java) S 29100 29103 25074 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 17 0 39848603 11053481984 2078176 33554432000 4194304 4196468 140723637467504 139822362269184 139823328528085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29113] ppid=29100 vsize=10794416 memory=3848 CPUtime=0 cores=0,2,4,6
/proc/29103/task/29113/stat : 29113 (java) S 29100 29103 25074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 39848605 11053481984 2078176 33554432000 4194304 4196468 140723637467504 139822361217744 139823328536475 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29114] ppid=29100 vsize=10794416 memory=2580 CPUtime=0.61 cores=0,2,4,6
/proc/29103/task/29114/stat : 29114 (java) S 29100 29103 25074 0 -1 1077944384 4170 0 0 0 61 0 0 0 20 0 17 0 39848605 11053481984 2078176 33554432000 4194304 4196468 140723637467504 139822360164096 139823328528085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29115] ppid=29100 vsize=10794416 memory=4104 CPUtime=0.83 cores=0,2,4,6
/proc/29103/task/29115/stat : 29115 (java) S 29100 29103 25074 0 -1 1077944384 6845 0 0 0 82 1 0 0 20 0 17 0 39848605 11053481984 2078176 33554432000 4194304 4196468 140723637467504 139822359111840 139823328528085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29116] ppid=29100 vsize=10794416 memory=1408 CPUtime=0.28 cores=0,2,4,6
/proc/29103/task/29116/stat : 29116 (java) S 29100 29103 25074 0 -1 1077944384 4696 0 0 0 28 0 0 0 20 0 17 0 39848605 11053481984 2078176 33554432000 4194304 4196468 140723637467504 139822358059296 139823328528085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29117] ppid=29100 vsize=10794416 memory=3160 CPUtime=0 cores=0,2,4,6
/proc/29103/task/29117/stat : 29117 (java) S 29100 29103 25074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 39848606 11053481984 2078176 33554432000 4194304 4196468 140723637467504 139822357006944 139823328528085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29118] ppid=29100 vsize=10794416 memory=8312704 CPUtime=0.28 cores=0,2,4,6
/proc/29103/task/29118/stat : 29118 (java) S 29100 29103 25074 0 -1 1077944384 537 0 0 0 16 12 0 0 20 0 17 0 39848606 11053481984 2078176 33554432000 4194304 4196468 140723637467504 139822355954480 139823328529026 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29132] ppid=29100 vsize=10794416 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/29103/task/29132/stat : 29132 (java) S 29100 29103 25074 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 17 0 39880313 11053481984 2078176 33554432000 4194304 4196468 140723637467504 139822352791184 139823328528085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29133] ppid=29100 vsize=10794416 memory=1796 CPUtime=0 cores=0,2,4,6
/proc/29103/task/29133/stat : 29133 (java) S 29100 29103 25074 0 -1 1077944384 102 0 0 0 0 0 0 0 20 0 17 0 39880313 11053481984 2078176 33554432000 4194304 4196468 140723637467504 139822351748928 139823328528085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
Current children cumulated CPU time: 1392.38 s
Current children cumulated vsize: 10794416 KiB
Current children cumulated memory: 8312704 KiB

[startup+383.212 s]
/proc/loadavg: 4.00 3.19 2.72 6/196 29134
/proc/meminfo: memFree=8596916/32770624 swapFree=67108860/67108860
[pid=29103] ppid=29100 vsize=10794416 memory=8312704 CPUtime=1393.92 cores=0,2,4,6
/proc/29103/stat : 29103 (java) S 29100 29103 25074 0 -1 1077944320 180635 0 0 0 138649 743 0 0 20 0 17 0 39848600 11053481984 2078176 33554432000 4194304 4196468 140723637467504 140723637450048 139823328517879 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
/proc/29103/statm: 2698604 2078176 3209 1 0 2661057 0
[pid=29103/tid=29105] ppid=29100 vsize=10794416 memory=8312704 CPUtime=15.86 cores=0,2,4,6
/proc/29103/task/29105/stat : 29105 (java) S 29100 29103 25074 0 -1 1077944384 18862 0 0 0 1574 12 0 0 20 0 17 0 39848600 11053481984 2078176 33554432000 4194304 4196468 140723637467504 139823332758560 139823328528085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29106] ppid=29100 vsize=10794416 memory=832 CPUtime=337.4 cores=0,2,4,6
/proc/29103/task/29106/stat : 29106 (java) S 29100 29103 25074 0 -1 1077944384 23693 0 0 0 33561 179 0 0 20 0 17 0 39848601 11053481984 2078176 33554432000 4194304 4196468 140723637467504 139822934911248 139823328528085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29107] ppid=29100 vsize=10794416 memory=1692 CPUtime=337.12 cores=0,2,4,6
/proc/29103/task/29107/stat : 29107 (java) S 29100 29103 25074 0 -1 1077944384 16570 0 0 0 33521 191 0 0 20 0 17 0 39848601 11053481984 2078176 33554432000 4194304 4196468 140723637467504 139822933858704 139823328528085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29108] ppid=29100 vsize=10794416 memory=1728 CPUtime=337.84 cores=0,2,4,6
/proc/29103/task/29108/stat : 29108 (java) S 29100 29103 25074 0 -1 1077944384 16400 0 0 0 33614 170 0 0 20 0 17 0 39848601 11053481984 2078176 33554432000 4194304 4196468 140723637467504 139822932806160 139823328528085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29109] ppid=29100 vsize=10794416 memory=1924 CPUtime=337.87 cores=0,2,4,6
/proc/29103/task/29109/stat : 29109 (java) S 29100 29103 25074 0 -1 1077944384 18794 0 0 0 33607 180 0 0 20 0 17 0 39848601 11053481984 2078176 33554432000 4194304 4196468 140723637467504 139822931753616 139823328528085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29110] ppid=29100 vsize=10794416 memory=1008 CPUtime=25.74 cores=0,2,4,6
/proc/29103/task/29110/stat : 29110 (java) R 29100 29103 25074 0 -1 4202560 68412 0 0 0 2569 5 0 0 20 0 17 0 39848602 11053481984 2078176 33554432000 4194304 4196468 140723637467504 139822364373968 139823313514283 0 0 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29111] ppid=29100 vsize=10794416 memory=8380 CPUtime=0 cores=0,2,4,6
/proc/29103/task/29111/stat : 29111 (java) S 29100 29103 25074 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 17 0 39848603 11053481984 2078176 33554432000 4194304 4196468 140723637467504 139822363321824 139823328528085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29112] ppid=29100 vsize=10794416 memory=14008 CPUtime=0 cores=0,2,4,6
/proc/29103/task/29112/stat : 29112 (java) S 29100 29103 25074 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 17 0 39848603 11053481984 2078176 33554432000 4194304 4196468 140723637467504 139822362269184 139823328528085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29113] ppid=29100 vsize=10794416 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/29103/task/29113/stat : 29113 (java) S 29100 29103 25074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 39848605 11053481984 2078176 33554432000 4194304 4196468 140723637467504 139822361217744 139823328536475 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29114] ppid=29100 vsize=10794416 memory=4140 CPUtime=0.61 cores=0,2,4,6
/proc/29103/task/29114/stat : 29114 (java) S 29100 29103 25074 0 -1 1077944384 4170 0 0 0 61 0 0 0 20 0 17 0 39848605 11053481984 2078176 33554432000 4194304 4196468 140723637467504 139822360164096 139823328528085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29115] ppid=29100 vsize=10794416 memory=14004 CPUtime=0.83 cores=0,2,4,6
/proc/29103/task/29115/stat : 29115 (java) S 29100 29103 25074 0 -1 1077944384 6845 0 0 0 82 1 0 0 20 0 17 0 39848605 11053481984 2078176 33554432000 4194304 4196468 140723637467504 139822359111840 139823328528085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29116] ppid=29100 vsize=10794416 memory=1296 CPUtime=0.28 cores=0,2,4,6
/proc/29103/task/29116/stat : 29116 (java) S 29100 29103 25074 0 -1 1077944384 4696 0 0 0 28 0 0 0 20 0 17 0 39848605 11053481984 2078176 33554432000 4194304 4196468 140723637467504 139822358059296 139823328528085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29117] ppid=29100 vsize=10794416 memory=2340 CPUtime=0 cores=0,2,4,6
/proc/29103/task/29117/stat : 29117 (java) S 29100 29103 25074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 39848606 11053481984 2078176 33554432000 4194304 4196468 140723637467504 139822357006944 139823328528085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29118] ppid=29100 vsize=10794416 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/29103/task/29118/stat : 29118 (java) S 29100 29103 25074 0 -1 1077944384 537 0 0 0 16 12 0 0 20 0 17 0 39848606 11053481984 2078176 33554432000 4194304 4196468 140723637467504 139822355954480 139823328529026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29132] ppid=29100 vsize=10794416 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/29103/task/29132/stat : 29132 (java) S 29100 29103 25074 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 17 0 39880313 11053481984 2078176 33554432000 4194304 4196468 140723637467504 139822352791184 139823328528085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
[pid=29103/tid=29133] ppid=29100 vsize=10794416 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/29103/task/29133/stat : 29133 (java) S 29100 29103 25074 0 -1 1077944384 102 0 0 0 0 0 0 0 20 0 17 0 39880313 11053481984 2078176 33554432000 4194304 4196468 140723637467504 139822351748928 139823328528085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15237120 140723637470321 140723637470473 140723637470473 140723637473231 0
Current children cumulated CPU time: 1393.92 s
Current children cumulated vsize: 10794416 KiB
Current children cumulated memory: 8312704 KiB

Child status: 0
Real time (s): 383.289
CPU time (s): 1394
CPU user time (s): 1386.53
CPU system time (s): 7.47031
CPU usage (%): 363.695
Max. virtual memory (cumulated for all children) (KiB): 10794416
Max. memory (cumulated for all children) (KiB): 8312704

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1386.53
system time used= 7.47031
maximum resident set size= 8312716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 180732
page faults= 0
swaps= 0
block input operations= 0
block output operations= 536
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20882
involuntary context switches= 14336


# summary of solver processes directly reported to runsolver:
#   pid: 29103
#   total CPU time (s): 1394
#   total CPU user time (s): 1386.53
#   total CPU system time (s): 7.47031

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.18668 second user time and 3.74254 second system time

The end

Name	MagicHexagon/ MagicHexagon-08-m009_c18.xml
MD5SUM	012ef72073aa4b47e82f6ff4769ae682
Bench Category	CSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables	225
Number of constraints	52
Number of domains	1
Minimum domain size	169
Maximum domain size	169
Distribution of domain sizes	[{"size":169,"count":169}]
Minimum variable degree	0
Maximum variable degree	9
Distribution of variable degrees	[{"degree":0,"count":56},{"degree":4,"count":163},{"degree":5,"count":3},{"degree":6,"count":2},{"degree":9,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	169
Distribution of constraint arities	[{"arity":2,"count":6},{"arity":8,"count":6},{"arity":9,"count":6},{"arity":10,"count":6},{"arity":11,"count":6},{"arity":12,"count":6},{"arity":13,"count":6},{"arity":14,"count":6},{"arity":15,"count":3},{"arity":169,"count":1}]
Number of extensional constraints	0
Number of intensional constraints	6
Distribution of constraint types	[{"type":"intension","count":6},{"type":"allDifferent","count":1},{"type":"sum","count":45}]
Optimization problem	NO
Type of objective

Trace number 4290081

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data