Trace number 4394388

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 2019-06-14 parallelOPT262 134.287 20.2875

General information on the benchmark

NameScheduling/Scheduling-os-taillard/
Taillard-os-05-05-1.xml
MD5SUM3747a76ad44ca32161ac6cfee5e9d7cb
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark262
Best CPU time to get the best result obtained on this benchmark28.3402
Satisfiable
(Un)Satisfiability was proved
Number of variables105
Number of constraints90
Number of domains7
Minimum domain size4
Maximum domain size362
Distribution of domain sizes[{"size":4,"count":5},{"size":5,"count":45},{"size":362,"count":55}]
Minimum variable degree2
Maximum variable degree6
Distribution of variable degrees[{"degree":2,"count":30},{"degree":3,"count":50},{"degree":6,"count":25}]
Minimum constraint arity1
Maximum constraint arity7
Distribution of constraint arities[{"arity":1,"count":5},{"arity":2,"count":25},{"arity":3,"count":25},{"arity":5,"count":10},{"arity":7,"count":25}]
Number of extensional constraints25
Number of intensional constraints30
Distribution of constraint types[{"type":"extension","count":25},{"type":"intension","count":30},{"type":"allDifferent","count":5},{"type":"noOverlap","count":5},{"type":"element","count":25}]
Optimization problemYES
Type of objectivemin MAXIMUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4394388-1568417903.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4394388-1568417903.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.28	c parse instance...
1.49/0.76	c solve instance...
2.62/0.95	o 361 
2.62/0.99	o 338 
3.33/1.04	o 329 
3.33/1.10	o 310 
4.60/1.29	o 308 
5.42/1.38	o 302 
6.70/1.53	o 299 
6.70/1.53	o 294 
6.70/1.54	java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a weak clause (36/56)
6.70/1.54		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
6.70/1.54		at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
6.70/1.54		at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
6.70/1.54		at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
6.70/1.54		at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
6.70/1.54	Caused by: org.chocosolver.solver.exception.SolverException: Learn a weak clause (36/56)
6.70/1.54		at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:201)
6.70/1.54		at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219)
6.70/1.54		at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90)
6.70/1.54		at org.chocosolver.solver.Solver.repair(Solver.java:443)
6.70/1.54		at org.chocosolver.solver.Solver.searchLoop(Solver.java:301)
6.70/1.54		at org.chocosolver.solver.Solver.solve(Solver.java:262)
6.70/1.54		at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
6.70/1.54		at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
6.70/1.54		at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
6.70/1.54		at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
6.70/1.54		at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
6.70/1.54		at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
6.70/1.54		at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
6.70/1.54		at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
6.70/1.54		at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
6.70/1.54		at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
6.70/1.54	o 289 
6.70/1.58	o 288 
6.70/1.59	o 282 
8.74/1.94	o 277 
11.70/2.31	o 274 
13.22/2.57	o 273 
18.43/3.20	o 272 
19.56/3.55	o 267 
25.37/4.73	o 264 
45.91/9.15	o 263 
49.52/9.60	java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a weak clause (37/55)
49.52/9.60		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
49.52/9.60		at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
49.52/9.60		at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
49.52/9.60		at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
49.52/9.60		at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
49.52/9.60	Caused by: org.chocosolver.solver.exception.SolverException: Learn a weak clause (37/55)
49.52/9.60		at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:201)
49.52/9.60		at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219)
49.52/9.60		at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90)
49.52/9.60		at org.chocosolver.solver.Solver.repair(Solver.java:443)
49.52/9.60		at org.chocosolver.solver.Solver.searchLoop(Solver.java:301)
49.52/9.60		at org.chocosolver.solver.Solver.solve(Solver.java:262)
49.52/9.60		at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
49.52/9.60		at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
49.52/9.60		at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
49.52/9.60		at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
49.52/9.60		at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
49.52/9.60		at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
49.52/9.60		at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
49.52/9.60		at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
49.52/9.60		at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
49.52/9.60		at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
49.52/9.60	o 262 
133.70/20.27	java.util.concurrent.ExecutionException: java.lang.ArrayIndexOutOfBoundsException
133.70/20.27		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
133.70/20.27		at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
133.70/20.27		at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
133.70/20.27		at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
133.70/20.27		at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
133.70/20.27	Caused by: java.lang.ArrayIndexOutOfBoundsException
133.70/20.27		at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
133.70/20.27		at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
133.70/20.27		at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
133.70/20.27		at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
133.70/20.27		at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
133.70/20.27		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1005)
133.70/20.27		... 4 more
133.70/20.27	Caused by: java.lang.ArrayIndexOutOfBoundsException
133.70/20.27		at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
133.70/20.27		at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
133.70/20.27		at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
133.70/20.27		at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
133.70/20.27		at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
133.70/20.27		at java.util.concurrent.ForkJoinTask.reportException(ForkJoinTask.java:677)
133.70/20.27		at java.util.concurrent.ForkJoinTask.invoke(ForkJoinTask.java:735)
133.70/20.27		at java.util.stream.ForEachOps$ForEachOp.evaluateParallel(ForEachOps.java:160)
133.70/20.27		at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateParallel(ForEachOps.java:174)
133.70/20.27		at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:233)
133.70/20.27		at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:418)
133.70/20.27		at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:583)
133.70/20.27		at org.chocosolver.solver.ParallelPortfolio.lambda$solve$1(ParallelPortfolio.java:200)
133.70/20.27		at java.util.concurrent.ForkJoinTask$AdaptedRunnableAction.exec(ForkJoinTask.java:1386)
133.70/20.27		at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
133.70/20.27		at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
133.70/20.27		at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
133.70/20.27		at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
133.70/20.27	Caused by: java.lang.ArrayIndexOutOfBoundsException
133.70/20.27	s OPTIMUM FOUND
133.70/20.27	v <instantiation>
133.70/20.27	v 	<list>s[0][0] s[0][1] s[0][2] s[0][3] s[0][4] s[1][0] s[1][1] s[1][2] s[1][3] s[1][4] s[2][0] s[2][1] s[2][2] s[2][3] s[2][4] s[3][0] s[3][1] s[3][2] s[3][3] s[3][4] s[4][0] s[4][1] s[4][2] s[4][3] s[4][4] e[0] e[1] e[2] e[3] e[4] d[0][0] d[0][1] d[0][2] d[0][3] d[0][4] d[1][0] d[1][1] d[1][2] d[1][3] d[1][4] d[2][0] d[2][1] d[2][2] d[2][3] d[2][4] d[3][0] d[3][1] d[3][2] d[3][3] d[3][4] d[4][0] d[4][1] d[4][2] d[4][3] d[4][4] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] sd[0][0] sd[0][1] sd[0][2] sd[0][3] sd[0][4] sd[1][0] sd[1][1] sd[1][2] sd[1][3] sd[1][4] sd[2][0] sd[2][1] sd[2][2] sd[2][3] sd[2][4] sd[3][0] sd[3][1] sd[3][2] sd[3][3] sd[3][4] sd[4][0] sd[4][1] sd[4][2] sd[4][3] sd[4][4] </list>
133.70/20.27	v 	<values>1 84 121 141 224 2 87 110 116 209 0 11 67 90 109 0 95 117 151 222 0 86 150 192 207 262 261 192 262 262 83 32 19 81 38 64 22 6 90 52 1 35 15 8 83 87 21 33 71 40 86 55 42 15 55 3 4 0 2 1 2 1 0 3 4 3 4 2 0 1 1 3 4 0 2 0 2 4 1 3 121 224 141 1 84 110 87 2 116 209 90 109 67 0 11 151 0 222 95 117 0 192 86 207 150 </values>
133.70/20.27	v </instantiation>

Verifier Data 

OK	262

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (15149 MiB free)
  memory of node 1: 16384 MiB (15720 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394388-1568417903/watcher-4394388-1568417903 -o /tmp/evaluation-result-4394388-1568417903/solver-4394388-1568417903 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1568417824-4885 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 425827847 HOME/instance-4394388-1568417903.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=5166, runsolver pid=5163

[startup+0.100112 s]*
/proc/loadavg: 3.09 1.53 1.16 2/213 5187
/proc/meminfo: memFree=31595088/32770624 swapFree=67004224/67108860
[pid=5166] ppid=5163 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/5166/stat : 5166 (xcsp3-exec) S 5163 5166 4858 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 417951932 115843072 363 33554432000 4194304 5098028 140735521627584 140735521625688 139870673703548 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 8392704 140735521633142 140735521633385 140735521633385 140735521636298 0
/proc/5166/statm: 28282 363 304 221 0 87 0
[pid=5168] ppid=5166 vsize=28227388 memory=28736 CPUtime=0.12 cores=0-7
/proc/5168/stat : 5168 (java) S 5166 5166 4858 0 -1 1077944320 5688 0 0 0 11 1 0 0 20 0 20 0 417951932 28904845312 7184 33554432000 4194304 4196468 140725025530448 140725025512992 140688633736951 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
/proc/5168/statm: 7056847 7184 3121 1 0 7019032 0
[pid=5168/tid=5169] ppid=5166 vsize=28227388 memory=576460756329955445 CPUtime=0.08 cores=0-7
/proc/5168/task/5169/stat : 5169 (java) R 5166 5166 4858 0 -1 4202560 3599 0 0 0 8 0 0 0 20 0 20 0 417951933 28904845312 7184 33554432000 4194304 4196468 140725025530448 140688637968640 140688633748886 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5170] ppid=5166 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5168/task/5170/stat : 5170 (java) S 5166 5166 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417951933 28904845312 7184 33554432000 4194304 4196468 140725025530448 140688586357904 140688633747157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5171] ppid=5166 vsize=28227388 memory=15121055674861208 CPUtime=0 cores=0-7
/proc/5168/task/5171/stat : 5171 (java) S 5166 5166 4858 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417951933 28904845312 7184 33554432000 4194304 4196468 140725025530448 140688585305104 140688633747157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5172] ppid=5166 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5168/task/5172/stat : 5172 (java) S 5166 5166 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417951933 28904845312 7184 33554432000 4194304 4196468 140725025530448 140688584252304 140688633747157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5173] ppid=5166 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5168/task/5173/stat : 5173 (java) S 5166 5166 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417951933 28904845312 7184 33554432000 4194304 4196468 140725025530448 140688583199504 140688633747157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5174] ppid=5166 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5168/task/5174/stat : 5174 (java) S 5166 5166 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417951934 28904845312 7184 33554432000 4194304 4196468 140725025530448 140688582146704 140688633747157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5175] ppid=5166 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/5168/task/5175/stat : 5175 (java) S 5166 5166 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417951934 28904845312 7184 33554432000 4194304 4196468 140725025530448 140688581093904 140688633747157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5176] ppid=5166 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5168/task/5176/stat : 5176 (java) S 5166 5166 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417951934 28904845312 7184 33554432000 4194304 4196468 140725025530448 140688580041104 140688633747157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5177] ppid=5166 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5168/task/5177/stat : 5177 (java) S 5166 5166 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417951934 28904845312 7184 33554432000 4194304 4196468 140725025530448 140688578988304 140688633747157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5178] ppid=5166 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5168/task/5178/stat : 5178 (java) S 5166 5166 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417951935 28904845312 7184 33554432000 4194304 4196468 140725025530448 140687231241072 140688633748098 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5179] ppid=5166 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5168/task/5179/stat : 5179 (java) S 5166 5166 4858 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 417951936 28904845312 7184 33554432000 4194304 4196468 140725025530448 140687230187040 140688633747157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5180] ppid=5166 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5168/task/5180/stat : 5180 (java) S 5166 5166 4858 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 417951936 28904845312 7184 33554432000 4194304 4196468 140725025530448 140687229134192 140688633747157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5181] ppid=5166 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5168/task/5181/stat : 5181 (java) S 5166 5166 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417951938 28904845312 7184 33554432000 4194304 4196468 140725025530448 140687228082512 140688633755547 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5182] ppid=5166 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5168/task/5182/stat : 5182 (java) S 5166 5166 4858 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 20 0 417951938 28904845312 7184 33554432000 4194304 4196468 140725025530448 140687227029872 140688633748098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5183] ppid=5166 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5168/task/5183/stat : 5183 (java) S 5166 5166 4858 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417951938 28904845312 7184 33554432000 4194304 4196468 140725025530448 140687225977072 140688633748098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5184] ppid=5166 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5168/task/5184/stat : 5184 (java) S 5166 5166 4858 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 417951938 28904845312 7184 33554432000 4194304 4196468 140725025530448 140687224924272 140688633748098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5185] ppid=5166 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/5168/task/5185/stat : 5185 (java) R 5166 5166 4858 0 -1 4202560 359 0 0 0 1 0 0 0 20 0 20 0 417951938 28904845312 7184 33554432000 4194304 4196468 140725025530448 140687156701168 140688633758298 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5186] ppid=5166 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5168/task/5186/stat : 5186 (java) S 5166 5166 4858 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417951938 28904845312 7184 33554432000 4194304 4196468 140725025530448 140687155649632 140688633747157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5187] ppid=5166 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/5168/task/5187/stat : 5187 (java) S 5166 5166 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417951939 28904845312 7184 33554432000 4194304 4196468 140725025530448 140687154596912 140688633748098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 30188 KiB

[startup+0.210124 s]*
/proc/loadavg: 3.09 1.53 1.16 4/213 5187
/proc/meminfo: memFree=31582664/32770624 swapFree=67004224/67108860
[pid=5166] ppid=5163 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/5166/stat : 5166 (xcsp3-exec) S 5163 5166 4858 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 417951932 115843072 363 33554432000 4194304 5098028 140735521627584 140735521625688 139870673703548 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 8392704 140735521633142 140735521633385 140735521633385 140735521636298 0
/proc/5166/statm: 28282 363 304 221 0 87 0
[pid=5168] ppid=5166 vsize=28227388 memory=40916 CPUtime=0.33 cores=0-7
/proc/5168/stat : 5168 (java) S 5166 5166 4858 0 -1 1077944320 9469 0 0 0 30 3 0 0 20 0 20 0 417951932 28904845312 10229 33554432000 4194304 4196468 140725025530448 140725025512992 140688633736951 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
/proc/5168/statm: 7056847 10229 3306 1 0 7019032 0
[pid=5168/tid=5169] ppid=5166 vsize=28227388 memory=8316850467074736180 CPUtime=0.19 cores=0-7
/proc/5168/task/5169/stat : 5169 (java) R 5166 5166 4858 0 -1 4202560 6626 0 0 0 17 2 0 0 20 0 20 0 417951933 28904845312 10229 33554432000 4194304 4196468 140725025530448 140688637966672 140688626414965 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5170] ppid=5166 vsize=28227388 memory=14965 CPUtime=0 cores=0-7
/proc/5168/task/5170/stat : 5170 (java) S 5166 5166 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417951933 28904845312 10229 33554432000 4194304 4196468 140725025530448 140688586357904 140688633747157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5171] ppid=5166 vsize=28227388 memory=140002698533804 CPUtime=0 cores=0-7
/proc/5168/task/5171/stat : 5171 (java) S 5166 5166 4858 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417951933 28904845312 10229 33554432000 4194304 4196468 140725025530448 140688585305104 140688633747157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5172] ppid=5166 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/5168/task/5172/stat : 5172 (java) S 5166 5166 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417951933 28904845312 10229 33554432000 4194304 4196468 140725025530448 140688584252304 140688633747157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5173] ppid=5166 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5168/task/5173/stat : 5173 (java) S 5166 5166 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417951933 28904845312 10229 33554432000 4194304 4196468 140725025530448 140688583199504 140688633747157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5174] ppid=5166 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5168/task/5174/stat : 5174 (java) S 5166 5166 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417951934 28904845312 10229 33554432000 4194304 4196468 140725025530448 140688582146704 140688633747157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5175] ppid=5166 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/5168/task/5175/stat : 5175 (java) S 5166 5166 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417951934 28904845312 10229 33554432000 4194304 4196468 140725025530448 140688581093904 140688633747157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5176] ppid=5166 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5168/task/5176/stat : 5176 (java) S 5166 5166 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417951934 28904845312 10229 33554432000 4194304 4196468 140725025530448 140688580041104 140688633747157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5177] ppid=5166 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5168/task/5177/stat : 5177 (java) S 5166 5166 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417951934 28904845312 10229 33554432000 4194304 4196468 140725025530448 140688578988304 140688633747157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5178] ppid=5166 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5168/task/5178/stat : 5178 (java) S 5166 5166 4858 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 417951935 28904845312 10229 33554432000 4194304 4196468 140725025530448 140687231241072 140688633748098 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5179] ppid=5166 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5168/task/5179/stat : 5179 (java) S 5166 5166 4858 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 417951936 28904845312 10229 33554432000 4194304 4196468 140725025530448 140687230187040 140688633747157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5180] ppid=5166 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5168/task/5180/stat : 5180 (java) S 5166 5166 4858 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 417951936 28904845312 10229 33554432000 4194304 4196468 140725025530448 140687229134192 140688633747157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5181] ppid=5166 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5168/task/5181/stat : 5181 (java) S 5166 5166 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417951938 28904845312 10229 33554432000 4194304 4196468 140725025530448 140687228082512 140688633755547 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5182] ppid=5166 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5168/task/5182/stat : 5182 (java) S 5166 5166 4858 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 20 0 417951938 28904845312 10229 33554432000 4194304 4196468 140725025530448 140687227029872 140688633748098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5183] ppid=5166 vsize=28227388 memory=0 CPUtime=0.03 cores=0-7
/proc/5168/task/5183/stat : 5183 (java) S 5166 5166 4858 0 -1 1077944384 323 0 0 0 3 0 0 0 20 0 20 0 417951938 28904845312 10229 33554432000 4194304 4196468 140725025530448 140687225977072 140688633748098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5184] ppid=5166 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/5168/task/5184/stat : 5184 (java) S 5166 5166 4858 0 -1 1077944384 146 0 0 0 0 0 0 0 20 0 20 0 417951938 28904845312 10229 33554432000 4194304 4196468 140725025530448 140687224924272 140688633748098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5185] ppid=5166 vsize=28227388 memory=-1 CPUtime=0.07 cores=0-7
/proc/5168/task/5185/stat : 5185 (java) S 5166 5166 4858 0 -1 1077944384 770 0 0 0 7 0 0 0 20 0 20 0 417951938 28904845312 10229 33554432000 4194304 4196468 140725025530448 140687156701168 140688633748098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5186] ppid=5166 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5168/task/5186/stat : 5186 (java) S 5166 5166 4858 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417951938 28904845312 10229 33554432000 4194304 4196468 140725025530448 140687155649632 140688633747157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5187] ppid=5166 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/5168/task/5187/stat : 5187 (java) S 5166 5166 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417951939 28904845312 10229 33554432000 4194304 4196468 140725025530448 140687154596912 140688633748098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 42368 KiB

[startup+0.309698 s]*
/proc/loadavg: 3.09 1.53 1.16 4/213 5187
/proc/meminfo: memFree=31575428/32770624 swapFree=67004224/67108860
[pid=5166] ppid=5163 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/5166/stat : 5166 (xcsp3-exec) S 5163 5166 4858 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 417951932 115843072 363 33554432000 4194304 5098028 140735521627584 140735521625688 139870673703548 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 8392704 140735521633142 140735521633385 140735521633385 140735521636298 0
/proc/5166/statm: 28282 363 304 221 0 87 0
[pid=5168] ppid=5166 vsize=28231644 memory=49960 CPUtime=0.51 cores=0-7
/proc/5168/stat : 5168 (java) S 5166 5166 4858 0 -1 1077944320 10860 0 0 0 47 4 0 0 20 0 20 0 417951932 28909203456 12490 33554432000 4194304 4196468 140725025530448 140725025512992 140688633736951 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
/proc/5168/statm: 7057911 12490 3348 1 0 7019032 0
[pid=5168/tid=5169] ppid=5166 vsize=28231644 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/5168/task/5169/stat : 5169 (java) R 5166 5166 4858 0 -1 4202560 7752 0 0 0 26 3 0 0 20 0 20 0 417951933 28909203456 12490 33554432000 4194304 4196468 140725025530448 140688637968064 140688617817438 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5170] ppid=5166 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/5168/task/5170/stat : 5170 (java) S 5166 5166 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417951933 28909203456 12490 33554432000 4194304 4196468 140725025530448 140688586357904 140688633747157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5171] ppid=5166 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/5168/task/5171/stat : 5171 (java) S 5166 5166 4858 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417951933 28909203456 12490 33554432000 4194304 4196468 140725025530448 140688585305104 140688633747157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5172] ppid=5166 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/5168/task/5172/stat : 5172 (java) S 5166 5166 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417951933 28909203456 12490 33554432000 4194304 4196468 140725025530448 140688584252304 140688633747157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5173] ppid=5166 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/5168/task/5173/stat : 5173 (java) S 5166 5166 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417951933 28909203456 12490 33554432000 4194304 4196468 140725025530448 140688583199504 140688633747157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5174] ppid=5166 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/5168/task/5174/stat : 5174 (java) S 5166 5166 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417951934 28909203456 12490 33554432000 4194304 4196468 140725025530448 140688582146704 140688633747157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5175] ppid=5166 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/5168/task/5175/stat : 5175 (java) S 5166 5166 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417951934 28909203456 12490 33554432000 4194304 4196468 140725025530448 140688581093904 140688633747157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5176] ppid=5166 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/5168/task/5176/stat : 5176 (java) S 5166 5166 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417951934 28909203456 12490 33554432000 4194304 4196468 140725025530448 140688580041104 140688633747157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5177] ppid=5166 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/5168/task/5177/stat : 5177 (java) S 5166 5166 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417951934 28909203456 12490 33554432000 4194304 4196468 140725025530448 140688578988304 140688633747157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5178] ppid=5166 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/5168/task/5178/stat : 5178 (java) S 5166 5166 4858 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 417951935 28909203456 12490 33554432000 4194304 4196468 140725025530448 140687231241072 140688633748098 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5179] ppid=5166 vsize=28231644 memory=280005158575488 CPUtime=0 cores=0-7
/proc/5168/task/5179/stat : 5179 (java) S 5166 5166 4858 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 417951936 28909203456 12490 33554432000 4194304 4196468 140725025530448 140687230187040 140688633747157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5180] ppid=5166 vsize=28231644 memory=280005158580096 CPUtime=0 cores=0-7
/proc/5168/task/5180/stat : 5180 (java) S 5166 5166 4858 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 417951936 28909203456 12490 33554432000 4194304 4196468 140725025530448 140687229134192 140688633747157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5181] ppid=5166 vsize=28231644 memory=280005158584704 CPUtime=0 cores=0-7
/proc/5168/task/5181/stat : 5181 (java) S 5166 5166 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417951938 28909203456 12490 33554432000 4194304 4196468 140725025530448 140687228082512 140688633755547 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5182] ppid=5166 vsize=28231644 memory=280005158589312 CPUtime=0.02 cores=0-7
/proc/5168/task/5182/stat : 5182 (java) R 5166 5166 4858 0 -1 4202560 444 0 0 0 2 0 0 0 20 0 20 0 417951938 28909203456 12490 33554432000 4194304 4196468 140725025530448 140687227029872 140688612989653 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5183] ppid=5166 vsize=28231644 memory=280005158593920 CPUtime=0.04 cores=0-7
/proc/5168/task/5183/stat : 5183 (java) S 5166 5166 4858 0 -1 1077944384 325 0 0 0 4 0 0 0 20 0 20 0 417951938 28909203456 12490 33554432000 4194304 4196468 140725025530448 140687225977072 140688633748098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5184] ppid=5166 vsize=28231644 memory=280005158598528 CPUtime=0.01 cores=0-7
/proc/5168/task/5184/stat : 5184 (java) S 5166 5166 4858 0 -1 1077944384 172 0 0 0 1 0 0 0 20 0 20 0 417951938 28909203456 12490 33554432000 4194304 4196468 140725025530448 140687224924272 140688633748098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5185] ppid=5166 vsize=28231644 memory=280005158603136 CPUtime=0.12 cores=0-7
/proc/5168/task/5185/stat : 5185 (java) S 5166 5166 4858 0 -1 1077944384 866 0 0 0 12 0 0 0 20 0 20 0 417951938 28909203456 12490 33554432000 4194304 4196468 140725025530448 140687156701168 140688633748098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5186] ppid=5166 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/5168/task/5186/stat : 5186 (java) S 5166 5166 4858 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417951938 28909203456 12522 33554432000 4194304 4196468 140725025530448 140687155649632 140688633747157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5187] ppid=5166 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/5168/task/5187/stat : 5187 (java) S 5166 5166 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417951939 28909203456 12522 33554432000 4194304 4196468 140725025530448 140687154596912 140688633748098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 51412 KiB

[startup+0.700878 s]
/proc/loadavg: 3.09 1.53 1.16 4/213 5187
/proc/meminfo: memFree=31564164/32770624 swapFree=67004224/67108860
[pid=5166] ppid=5163 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/5166/stat : 5166 (xcsp3-exec) S 5163 5166 4858 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 417951932 115843072 363 33554432000 4194304 5098028 140735521627584 140735521625688 139870673703548 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 8392704 140735521633142 140735521633385 140735521633385 140735521636298 0
/proc/5166/statm: 28282 363 304 221 0 87 0
[pid=5168] ppid=5166 vsize=28233768 memory=80232 CPUtime=1.49 cores=0-7
/proc/5168/stat : 5168 (java) S 5166 5166 4858 0 -1 1077944320 14276 0 0 0 142 7 0 0 20 0 20 0 417951932 28911378432 20058 33554432000 4194304 4196468 140725025530448 140725025512992 140688633736951 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
/proc/5168/statm: 7058442 20058 3449 1 0 7019544 0
[pid=5168/tid=5169] ppid=5166 vsize=28233768 memory=0 CPUtime=0.67 cores=0-7
/proc/5168/task/5169/stat : 5169 (java) R 5166 5166 4858 0 -1 4202560 9375 0 0 0 63 4 0 0 20 0 20 0 417951933 28911378432 20058 33554432000 4194304 4196468 140725025530448 140688637974176 140688250731974 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5170] ppid=5166 vsize=28233768 memory=140002579489664 CPUtime=0 cores=0-7
/proc/5168/task/5170/stat : 5170 (java) S 5166 5166 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417951933 28911378432 20058 33554432000 4194304 4196468 140725025530448 140688586357904 140688633747157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5171] ppid=5166 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/5168/task/5171/stat : 5171 (java) S 5166 5166 4858 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417951933 28911378432 20058 33554432000 4194304 4196468 140725025530448 140688585305104 140688633747157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5172] ppid=5166 vsize=28233768 memory=1052 CPUtime=0 cores=0-7
/proc/5168/task/5172/stat : 5172 (java) S 5166 5166 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417951933 28911378432 20058 33554432000 4194304 4196468 140725025530448 140688584252304 140688633747157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0

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

[pid=5168/tid=5338] ppid=5166 vsize=28901456 memory=312416 CPUtime=9.67 cores=0-7
/proc/5168/task/5338/stat : 5338 (java) R 5166 5166 4858 0 -1 4202560 125 0 0 0 967 0 0 0 20 0 29 0 417952848 29595090944 77349 33554432000 4194304 4196468 140725025530448 140687141421416 140688256955242 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5340] ppid=5166 vsize=28901456 memory=280005159086368 CPUtime=8.94 cores=0-7
/proc/5168/task/5340/stat : 5340 (java) R 5166 5166 4858 0 -1 4202560 287 0 0 0 894 0 0 0 20 0 29 0 417952893 29595090944 77349 33554432000 4194304 4196468 140725025530448 140687142475936 140688255737767 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5341] ppid=5166 vsize=28901456 memory=-7240599211820661557 CPUtime=8.95 cores=0-7
/proc/5168/task/5341/stat : 5341 (java) R 5166 5166 4858 0 -1 4202560 262 0 0 0 895 0 0 0 20 0 29 0 417952893 29595090944 77349 33554432000 4194304 4196468 140725025530448 140687139316176 140688260142060 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5342] ppid=5166 vsize=28901456 memory=-3761991693426146123 CPUtime=9.24 cores=0-7
/proc/5168/task/5342/stat : 5342 (java) R 5166 5166 4858 0 -1 4202560 400 0 0 0 924 0 0 0 20 0 29 0 417952893 29595090944 77349 33554432000 4194304 4196468 140725025530448 140687135105064 140688258606081 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5343] ppid=5166 vsize=28901456 memory=0 CPUtime=9.12 cores=0-7
/proc/5168/task/5343/stat : 5343 (java) R 5166 5166 4858 0 -1 4202560 368 0 0 0 912 0 0 0 20 0 29 0 417952893 29595090944 77349 33554432000 4194304 4196468 140725025530448 140687138262608 140688253248393 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5344] ppid=5166 vsize=28901456 memory=-7963308010764072128 CPUtime=9.04 cores=0-7
/proc/5168/task/5344/stat : 5344 (java) R 5166 5166 4858 0 -1 4202560 1710 0 0 0 904 0 0 0 20 0 29 0 417952893 29595090944 77349 33554432000 4194304 4196468 140725025530448 140687136157280 140688258545055 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5345] ppid=5166 vsize=28901456 memory=-7465686744000836460 CPUtime=1.15 cores=0-7
/proc/5168/task/5345/stat : 5345 (java) S 5166 5166 4858 0 -1 1077944384 108 0 0 0 115 0 0 0 20 0 29 0 417952893 29595090944 77349 33554432000 4194304 4196468 140725025530448 140687143531152 140688633747157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5346] ppid=5166 vsize=28901456 memory=-3705176732362986910 CPUtime=8.9 cores=0-7
/proc/5168/task/5346/stat : 5346 (java) R 5166 5166 4858 0 -1 4202560 264 0 0 0 890 0 0 0 20 0 29 0 417952894 29595090944 77349 33554432000 4194304 4196468 140725025530448 140687137210864 140688255498333 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5347] ppid=5166 vsize=28901456 memory=280005158371568 CPUtime=9.03 cores=0-7
/proc/5168/task/5347/stat : 5347 (java) R 5166 5166 4858 0 -1 4202560 173 0 0 0 903 0 0 0 20 0 29 0 417952894 29595090944 77349 33554432000 4194304 4196468 140725025530448 140687134052480 140688256955255 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
Current children cumulated CPU time: 125.73 s
Current children cumulated vsize: 29014584 KiB
Current children cumulated memory: 310848 KiB

[startup+20.0017 s]*
/proc/loadavg: 5.17 2.11 1.36 9/222 5350
/proc/meminfo: memFree=31315520/32770624 swapFree=67004224/67108860
[pid=5166] ppid=5163 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/5166/stat : 5166 (xcsp3-exec) S 5163 5166 4858 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 417951932 115843072 363 33554432000 4194304 5098028 140735521627584 140735521625688 139870673703548 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 8392704 140735521633142 140735521633385 140735521633385 140735521636298 0
/proc/5166/statm: 28282 363 304 221 0 87 0
[pid=5168] ppid=5166 vsize=28901456 memory=307448 CPUtime=132.17 cores=0-7
/proc/5168/stat : 5168 (java) S 5166 5166 4858 0 -1 1077944320 90637 0 0 0 13167 50 0 0 20 0 29 0 417951932 29595090944 76862 33554432000 4194304 4196468 140725025530448 140725025512992 140688633736951 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
/proc/5168/statm: 7225364 76862 3543 1 0 7186466 0
[pid=5168/tid=5169] ppid=5166 vsize=28901456 memory=8317482817917895235 CPUtime=0.78 cores=0-7
/proc/5168/task/5169/stat : 5169 (java) S 5166 5166 4858 0 -1 1077944384 10096 0 0 0 73 5 0 0 20 0 29 0 417951933 29595090944 76862 33554432000 4194304 4196468 140725025530448 140688637977728 140688633747157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5170] ppid=5166 vsize=28901456 memory=6944656592455359580 CPUtime=0.11 cores=0-7
/proc/5168/task/5170/stat : 5170 (java) S 5166 5166 4858 0 -1 1077944384 1979 0 0 0 9 2 0 0 20 0 29 0 417951933 29595090944 76862 33554432000 4194304 4196468 140725025530448 140688586357904 140688633747157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5171] ppid=5166 vsize=28901456 memory=6655300316396806240 CPUtime=0.11 cores=0-7
/proc/5168/task/5171/stat : 5171 (java) S 5166 5166 4858 0 -1 1077944384 568 0 0 0 9 2 0 0 20 0 29 0 417951933 29595090944 76862 33554432000 4194304 4196468 140725025530448 140688585305104 140688633747157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5172] ppid=5166 vsize=28901456 memory=6944656592455097440 CPUtime=0.11 cores=0-7
/proc/5168/task/5172/stat : 5172 (java) S 5166 5166 4858 0 -1 1077944384 230 0 0 0 9 2 0 0 20 0 29 0 417951933 29595090944 76862 33554432000 4194304 4196468 140725025530448 140688584252304 140688633747157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5173] ppid=5166 vsize=28901456 memory=6655300316396806240 CPUtime=0.11 cores=0-7
/proc/5168/task/5173/stat : 5173 (java) S 5166 5166 4858 0 -1 1077944384 486 0 0 0 9 2 0 0 20 0 29 0 417951933 29595090944 76862 33554432000 4194304 4196468 140725025530448 140688583199504 140688633747157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5174] ppid=5166 vsize=28901456 memory=-3395018508454991405 CPUtime=0.1 cores=0-7
/proc/5168/task/5174/stat : 5174 (java) S 5166 5166 4858 0 -1 1077944384 579 0 0 0 9 1 0 0 20 0 29 0 417951934 29595090944 76862 33554432000 4194304 4196468 140725025530448 140688582146704 140688633747157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5175] ppid=5166 vsize=28901456 memory=6944656592455097440 CPUtime=0.12 cores=0-7
/proc/5168/task/5175/stat : 5175 (java) S 5166 5166 4858 0 -1 1077944384 1213 0 0 0 10 2 0 0 20 0 29 0 417951934 29595090944 76862 33554432000 4194304 4196468 140725025530448 140688581093904 140688633747157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5176] ppid=5166 vsize=28901456 memory=6944656592455359580 CPUtime=0.11 cores=0-7
/proc/5168/task/5176/stat : 5176 (java) S 5166 5166 4858 0 -1 1077944384 204 0 0 0 9 2 0 0 20 0 29 0 417951934 29595090944 76862 33554432000 4194304 4196468 140725025530448 140688580041104 140688633747157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5177] ppid=5166 vsize=28901456 memory=6944656592455360604 CPUtime=0.11 cores=0-7
/proc/5168/task/5177/stat : 5177 (java) S 5166 5166 4858 0 -1 1077944384 189 0 0 0 9 2 0 0 20 0 29 0 417951934 29595090944 76862 33554432000 4194304 4196468 140725025530448 140688578988304 140688633747157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5178] ppid=5166 vsize=28901456 memory=6944656592455359580 CPUtime=0.05 cores=0-7
/proc/5168/task/5178/stat : 5178 (java) S 5166 5166 4858 0 -1 1077944384 1192 0 0 0 4 1 0 0 20 0 29 0 417951935 29595090944 76862 33554432000 4194304 4196468 140725025530448 140687231241072 140688633748098 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5179] ppid=5166 vsize=28901456 memory=-1807685287717842718 CPUtime=0 cores=0-7
/proc/5168/task/5179/stat : 5179 (java) S 5166 5166 4858 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 29 0 417951936 29595090944 76862 33554432000 4194304 4196468 140725025530448 140687230187104 140688633747157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5180] ppid=5166 vsize=28901456 memory=311272 CPUtime=0 cores=0-7
/proc/5168/task/5180/stat : 5180 (java) S 5166 5166 4858 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 29 0 417951936 29595090944 76862 33554432000 4194304 4196468 140725025530448 140687229134208 140688633747157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5181] ppid=5166 vsize=28901456 memory=55 CPUtime=0 cores=0-7
/proc/5168/task/5181/stat : 5181 (java) S 5166 5166 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 29 0 417951938 29595090944 76862 33554432000 4194304 4196468 140725025530448 140687228082512 140688633755547 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5182] ppid=5166 vsize=28901456 memory=288230621803970871 CPUtime=3.69 cores=0-7
/proc/5168/task/5182/stat : 5182 (java) S 5166 5166 4858 0 -1 1077944384 14362 0 0 0 366 3 0 0 20 0 29 0 417951938 29595090944 76862 33554432000 4194304 4196468 140725025530448 140687227029872 140688633748098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5183] ppid=5166 vsize=28901456 memory=14136666633799908 CPUtime=4.71 cores=0-7
/proc/5168/task/5183/stat : 5183 (java) S 5166 5166 4858 0 -1 1077944384 19592 0 0 0 467 4 0 0 20 0 29 0 417951938 29595090944 76862 33554432000 4194304 4196468 140725025530448 140687225977072 140688633748098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5184] ppid=5166 vsize=28901456 memory=24373469645546 CPUtime=4.14 cores=0-7
/proc/5168/task/5184/stat : 5184 (java) S 5166 5166 4858 0 -1 1077944384 17909 0 0 0 409 5 0 0 20 0 29 0 417951938 29595090944 76862 33554432000 4194304 4196468 140725025530448 140687224924272 140688633748098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5185] ppid=5166 vsize=28901456 memory=24373469645546 CPUtime=1.24 cores=0-7
/proc/5168/task/5185/stat : 5185 (java) S 5166 5166 4858 0 -1 1077944384 9545 0 0 0 121 3 0 0 20 0 29 0 417951938 29595090944 76862 33554432000 4194304 4196468 140725025530448 140687156701168 140688633748098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 27 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5186] ppid=5166 vsize=28901456 memory=280005159136248 CPUtime=0 cores=0-7
/proc/5168/task/5186/stat : 5186 (java) S 5166 5166 4858 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 29 0 417951938 29595090944 76862 33554432000 4194304 4196468 140725025530448 140687155649632 140688633747157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5187] ppid=5166 vsize=28901456 memory=24373470583530 CPUtime=0.01 cores=0-7
/proc/5168/task/5187/stat : 5187 (java) S 5166 5166 4858 0 -1 1077944384 927 0 0 0 0 1 0 0 20 0 29 0 417951939 29595090944 76862 33554432000 4194304 4196468 140725025530448 140687154596912 140688633748098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 23 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5338] ppid=5166 vsize=28901456 memory=24369644438506 CPUtime=10.45 cores=0-7
/proc/5168/task/5338/stat : 5338 (java) R 5166 5166 4858 0 -1 4202560 146 0 0 0 1045 0 0 0 20 0 29 0 417952848 29595090944 76862 33554432000 4194304 4196468 140725025530448 140687141421416 140688256955339 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5340] ppid=5166 vsize=28901456 memory=24369644438506 CPUtime=9.75 cores=0-7
/proc/5168/task/5340/stat : 5340 (java) R 5166 5166 4858 0 -1 4202560 336 0 0 0 975 0 0 0 20 0 29 0 417952893 29595090944 76862 33554432000 4194304 4196468 140725025530448 140687142472952 140688259002331 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5341] ppid=5166 vsize=28901456 memory=24369644438506 CPUtime=9.75 cores=0-7
/proc/5168/task/5341/stat : 5341 (java) R 5166 5166 4858 0 -1 4202560 285 0 0 0 975 0 0 0 20 0 29 0 417952893 29595090944 76862 33554432000 4194304 4196468 140725025530448 140687139316208 140688253230245 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5342] ppid=5166 vsize=28901456 memory=24369644438506 CPUtime=10.04 cores=0-7
/proc/5168/task/5342/stat : 5342 (java) R 5166 5166 4858 0 -1 4202560 442 0 0 0 1004 0 0 0 20 0 29 0 417952893 29595090944 76862 33554432000 4194304 4196468 140725025530448 140687135104944 140688259308148 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5343] ppid=5166 vsize=28901456 memory=24369644438506 CPUtime=9.93 cores=0-7
/proc/5168/task/5343/stat : 5343 (java) R 5166 5166 4858 0 -1 4202560 438 0 0 0 993 0 0 0 20 0 29 0 417952893 29595090944 76862 33554432000 4194304 4196468 140725025530448 140687138265648 140688255745874 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5344] ppid=5166 vsize=28901456 memory=7881696724453321575 CPUtime=9.81 cores=0-7
/proc/5168/task/5344/stat : 5344 (java) R 5166 5166 4858 0 -1 4202560 1821 0 0 0 980 1 0 0 20 0 29 0 417952893 29595090944 76862 33554432000 4194304 4196468 140725025530448 140687136157320 140688261342268 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5345] ppid=5166 vsize=28901456 memory=5787213827063244903 CPUtime=1.15 cores=0-7
/proc/5168/task/5345/stat : 5345 (java) S 5166 5166 4858 0 -1 1077944384 108 0 0 0 115 0 0 0 20 0 29 0 417952893 29595090944 76862 33554432000 4194304 4196468 140725025530448 140687143531152 140688633747157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5346] ppid=5166 vsize=28901456 memory=311272 CPUtime=9.7 cores=0-7
/proc/5168/task/5346/stat : 5346 (java) R 5166 5166 4858 0 -1 4202560 288 0 0 0 970 0 0 0 20 0 29 0 417952894 29595090944 76862 33554432000 4194304 4196468 140725025530448 140687137211248 140688255997489 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5347] ppid=5166 vsize=28901456 memory=1724 CPUtime=9.83 cores=0-7
/proc/5168/task/5347/stat : 5347 (java) R 5166 5166 4858 0 -1 4202560 200 0 0 0 983 0 0 0 20 0 29 0 417952894 29595090944 76862 33554432000 4194304 4196468 140725025530448 140687134052480 140688256955403 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
Current children cumulated CPU time: 132.17 s
Current children cumulated vsize: 29014584 KiB
Current children cumulated memory: 308900 KiB

[startup+20.2017 s]
/proc/loadavg: 5.17 2.11 1.36 9/222 5350
/proc/meminfo: memFree=31315520/32770624 swapFree=67004224/67108860
[pid=5166] ppid=5163 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/5166/stat : 5166 (xcsp3-exec) S 5163 5166 4858 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 417951932 115843072 363 33554432000 4194304 5098028 140735521627584 140735521625688 139870673703548 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 8392704 140735521633142 140735521633385 140735521633385 140735521636298 0
/proc/5166/statm: 28282 363 304 221 0 87 0
[pid=5168] ppid=5166 vsize=28901456 memory=307448 CPUtime=133.7 cores=0-7
/proc/5168/stat : 5168 (java) S 5166 5166 4858 0 -1 1077944320 91167 0 0 0 13320 50 0 0 20 0 29 0 417951932 29595090944 76862 33554432000 4194304 4196468 140725025530448 140725025512992 140688633736951 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
/proc/5168/statm: 7225364 76862 3543 1 0 7186466 0
[pid=5168/tid=5169] ppid=5166 vsize=28901456 memory=14136666633799908 CPUtime=0.78 cores=0-7
/proc/5168/task/5169/stat : 5169 (java) S 5166 5166 4858 0 -1 1077944384 10096 0 0 0 73 5 0 0 20 0 29 0 417951933 29595090944 76862 33554432000 4194304 4196468 140725025530448 140688637977728 140688633747157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5170] ppid=5166 vsize=28901456 memory=45887430601146 CPUtime=0.11 cores=0-7
/proc/5168/task/5170/stat : 5170 (java) S 5166 5166 4858 0 -1 1077944384 1979 0 0 0 9 2 0 0 20 0 29 0 417951933 29595090944 76862 33554432000 4194304 4196468 140725025530448 140688586357904 140688633747157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5171] ppid=5166 vsize=28901456 memory=7598824234097836114 CPUtime=0.11 cores=0-7
/proc/5168/task/5171/stat : 5171 (java) S 5166 5166 4858 0 -1 1077944384 568 0 0 0 9 2 0 0 20 0 29 0 417951933 29595090944 76862 33554432000 4194304 4196468 140725025530448 140688585305104 140688633747157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5172] ppid=5166 vsize=28901456 memory=13628 CPUtime=0.11 cores=0-7
/proc/5168/task/5172/stat : 5172 (java) S 5166 5166 4858 0 -1 1077944384 230 0 0 0 9 2 0 0 20 0 29 0 417951933 29595090944 76862 33554432000 4194304 4196468 140725025530448 140688584252304 140688633747157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5173] ppid=5166 vsize=28901456 memory=6943526294502006880 CPUtime=0.11 cores=0-7
/proc/5168/task/5173/stat : 5173 (java) S 5166 5166 4858 0 -1 1077944384 486 0 0 0 9 2 0 0 20 0 29 0 417951933 29595090944 76862 33554432000 4194304 4196468 140725025530448 140688583199504 140688633747157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5174] ppid=5166 vsize=28901456 memory=280005158371568 CPUtime=0.1 cores=0-7
/proc/5168/task/5174/stat : 5174 (java) S 5166 5166 4858 0 -1 1077944384 579 0 0 0 9 1 0 0 20 0 29 0 417951934 29595090944 76862 33554432000 4194304 4196468 140725025530448 140688582146704 140688633747157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5175] ppid=5166 vsize=28901456 memory=280005158371568 CPUtime=0.12 cores=0-7
/proc/5168/task/5175/stat : 5175 (java) S 5166 5166 4858 0 -1 1077944384 1213 0 0 0 10 2 0 0 20 0 29 0 417951934 29595090944 76862 33554432000 4194304 4196468 140725025530448 140688581093904 140688633747157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5176] ppid=5166 vsize=28901456 memory=280005158371568 CPUtime=0.11 cores=0-7
/proc/5168/task/5176/stat : 5176 (java) S 5166 5166 4858 0 -1 1077944384 204 0 0 0 9 2 0 0 20 0 29 0 417951934 29595090944 76862 33554432000 4194304 4196468 140725025530448 140688580041104 140688633747157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5177] ppid=5166 vsize=28901456 memory=1452 CPUtime=0.11 cores=0-7
/proc/5168/task/5177/stat : 5177 (java) S 5166 5166 4858 0 -1 1077944384 189 0 0 0 9 2 0 0 20 0 29 0 417951934 29595090944 76862 33554432000 4194304 4196468 140725025530448 140688578988304 140688633747157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5178] ppid=5166 vsize=28901456 memory=312208 CPUtime=0.05 cores=0-7
/proc/5168/task/5178/stat : 5178 (java) S 5166 5166 4858 0 -1 1077944384 1192 0 0 0 4 1 0 0 20 0 29 0 417951935 29595090944 76862 33554432000 4194304 4196468 140725025530448 140687231241072 140688633748098 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5179] ppid=5166 vsize=28901456 memory=280005158371568 CPUtime=0 cores=0-7
/proc/5168/task/5179/stat : 5179 (java) S 5166 5166 4858 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 29 0 417951936 29595090944 76862 33554432000 4194304 4196468 140725025530448 140687230187104 140688633747157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5180] ppid=5166 vsize=28901456 memory=280005158371568 CPUtime=0 cores=0-7
/proc/5168/task/5180/stat : 5180 (java) S 5166 5166 4858 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 29 0 417951936 29595090944 76862 33554432000 4194304 4196468 140725025530448 140687229134208 140688633747157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5181] ppid=5166 vsize=28901456 memory=8317482817917895235 CPUtime=0 cores=0-7
/proc/5168/task/5181/stat : 5181 (java) S 5166 5166 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 29 0 417951938 29595090944 76862 33554432000 4194304 4196468 140725025530448 140687228082512 140688633755547 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5182] ppid=5166 vsize=28901456 memory=7084279214540934488 CPUtime=3.69 cores=0-7
/proc/5168/task/5182/stat : 5182 (java) S 5166 5166 4858 0 -1 1077944384 14362 0 0 0 366 3 0 0 20 0 29 0 417951938 29595090944 76862 33554432000 4194304 4196468 140725025530448 140687227029872 140688633748098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5183] ppid=5166 vsize=28901456 memory=7084270426903498064 CPUtime=4.71 cores=0-7
/proc/5168/task/5183/stat : 5183 (java) S 5166 5166 4858 0 -1 1077944384 19592 0 0 0 467 4 0 0 20 0 29 0 417951938 29595090944 76862 33554432000 4194304 4196468 140725025530448 140687225977072 140688633748098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5184] ppid=5166 vsize=28901456 memory=4640790453641308777 CPUtime=4.14 cores=0-7
/proc/5168/task/5184/stat : 5184 (java) S 5166 5166 4858 0 -1 1077944384 17909 0 0 0 409 5 0 0 20 0 29 0 417951938 29595090944 76862 33554432000 4194304 4196468 140725025530448 140687224924272 140688633748098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5185] ppid=5166 vsize=28901456 memory=7590928554802894956 CPUtime=1.24 cores=0-7
/proc/5168/task/5185/stat : 5185 (java) S 5166 5166 4858 0 -1 1077944384 9545 0 0 0 121 3 0 0 20 0 29 0 417951938 29595090944 76862 33554432000 4194304 4196468 140725025530448 140687156701168 140688633748098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 27 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5186] ppid=5166 vsize=28901456 memory=6369582281464573269 CPUtime=0 cores=0-7
/proc/5168/task/5186/stat : 5186 (java) S 5166 5166 4858 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 29 0 417951938 29595090944 76862 33554432000 4194304 4196468 140725025530448 140687155649632 140688633747157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5187] ppid=5166 vsize=28901456 memory=7014751519717611621 CPUtime=0.01 cores=0-7
/proc/5168/task/5187/stat : 5187 (java) S 5166 5166 4858 0 -1 1077944384 934 0 0 0 0 1 0 0 20 0 29 0 417951939 29595090944 76862 33554432000 4194304 4196468 140725025530448 140687154596912 140688633748098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 23 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5338] ppid=5166 vsize=28901456 memory=6368741215216034656 CPUtime=10.64 cores=0-7
/proc/5168/task/5338/stat : 5338 (java) R 5166 5166 4858 0 -1 4202560 159 0 0 0 1064 0 0 0 20 0 29 0 417952848 29595090944 76862 33554432000 4194304 4196468 140725025530448 140687141421416 140688256955233 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5340] ppid=5166 vsize=28901456 memory=7014751519717611621 CPUtime=9.94 cores=0-7
/proc/5168/task/5340/stat : 5340 (java) R 5166 5166 4858 0 -1 4202560 387 0 0 0 994 0 0 0 20 0 29 0 417952893 29595090944 76862 33554432000 4194304 4196468 140725025530448 140687142472952 140688618114071 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5341] ppid=5166 vsize=28901456 memory=7014751519717611621 CPUtime=9.94 cores=0-7
/proc/5168/task/5341/stat : 5341 (java) R 5166 5166 4858 0 -1 4202560 329 0 0 0 994 0 0 0 20 0 29 0 417952893 29595090944 76862 33554432000 4194304 4196468 140725025530448 140687139316208 140688255855401 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5342] ppid=5166 vsize=28901456 memory=7014751519717611621 CPUtime=10.23 cores=0-7
/proc/5168/task/5342/stat : 5342 (java) R 5166 5166 4858 0 -1 4202560 481 0 0 0 1023 0 0 0 20 0 29 0 417952893 29595090944 76862 33554432000 4194304 4196468 140725025530448 140687135104944 140688255742640 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5343] ppid=5166 vsize=28901456 memory=7014751519717611621 CPUtime=10.12 cores=0-7
/proc/5168/task/5343/stat : 5343 (java) R 5166 5166 4858 0 -1 4202560 512 0 0 0 1012 0 0 0 20 0 29 0 417952893 29595090944 76862 33554432000 4194304 4196468 140725025530448 140687138265536 140688260390214 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5344] ppid=5166 vsize=28901456 memory=7014751519717611621 CPUtime=10 cores=0-7
/proc/5168/task/5344/stat : 5344 (java) R 5166 5166 4858 0 -1 4202560 2085 0 0 0 999 1 0 0 20 0 29 0 417952893 29595090944 76862 33554432000 4194304 4196468 140725025530448 140687136157320 140688250830721 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5345] ppid=5166 vsize=28901456 memory=7014751519717611621 CPUtime=1.15 cores=0-7
/proc/5168/task/5345/stat : 5345 (java) S 5166 5166 4858 0 -1 1077944384 108 0 0 0 115 0 0 0 20 0 29 0 417952893 29595090944 76862 33554432000 4194304 4196468 140725025530448 140687143531152 140688633747157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5346] ppid=5166 vsize=28901456 memory=0 CPUtime=9.89 cores=0-7
/proc/5168/task/5346/stat : 5346 (java) R 5166 5166 4858 0 -1 4202560 315 0 0 0 989 0 0 0 20 0 29 0 417952894 29595090944 76862 33554432000 4194304 4196468 140725025530448 140687137211248 140688260221775 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
[pid=5168/tid=5347] ppid=5166 vsize=28901456 memory=0 CPUtime=10.02 cores=0-7
/proc/5168/task/5347/stat : 5347 (java) R 5166 5166 4858 0 -1 4202560 211 0 0 0 1002 0 0 0 20 0 29 0 417952894 29595090944 76862 33554432000 4194304 4196468 140725025530448 140687134052480 140688256955403 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33386496 140725025534954 140725025535126 140725025535126 140725025537999 0
Current children cumulated CPU time: 133.7 s
Current children cumulated vsize: 29014584 KiB
Current children cumulated memory: 308900 KiB

Child status: 0
Real time (s): 20.2875
CPU time (s): 134.287
CPU user time (s): 133.769
CPU system time (s): 0.518228
CPU usage (%): 661.918
Max. virtual memory (cumulated for all children) (KiB): 29014584
Max. memory (cumulated for all children) (KiB): 314688

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 133.769
system time used= 0.518228
maximum resident set size= 315492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 92869
page faults= 0
swaps= 0
block input operations= 0
block output operations= 160
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8306
involuntary context switches= 2895


# summary of solver processes directly reported to runsolver:
#   pid: 5166
#   total CPU time (s): 134.287
#   total CPU user time (s): 133.769
#   total CPU system time (s): 0.518228

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.204166 second user time and 0.264091 second system time

The end

Launcher Data 

Begin job on node148 at 2019-09-14 01:37:47
IDJOB=4394388
IDBENCH=115810
IDSOLVER=2843
FILE ID=node148/4394388-1568417903
RUNJOBID= node148-1568417824-4885
PBS_JOBID= 21702282
Free space on /tmp= 61308 MiB

SOLVER NAME= choco-solver parallel 2019-06-14
BENCH NAME= XCSP17/Scheduling/Scheduling-os-taillard/Taillard-os-05-05-1.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4394388-1568417903/watcher-4394388-1568417903 -o /tmp/evaluation-result-4394388-1568417903/solver-4394388-1568417903 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1568417824-4885 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 425827847 HOME/instance-4394388-1568417903.xml

TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 3747a76ad44ca32161ac6cfee5e9d7cb
RANDOM SEED=425827847

node148.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31611136 kB
MemAvailable:   31910280 kB
Buffers:           57612 kB
Cached:           540916 kB
SwapCached:         3820 kB
Active:           375288 kB
Inactive:         229440 kB
Active(anon):       4144 kB
Inactive(anon):    43732 kB
Active(file):     371144 kB
Inactive(file):   185708 kB
Unevictable:      108956 kB
Mlocked:          108956 kB
SwapTotal:      67108860 kB
SwapFree:       67004224 kB
Dirty:             26268 kB
Writeback:             0 kB
AnonPages:        125596 kB
Mapped:            43820 kB
Shmem:             32344 kB
Slab:             144604 kB
SReclaimable:     116252 kB
SUnreclaim:        28352 kB
KernelStack:        3744 kB
PageTables:         6276 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     497492 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     79872 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 61284 MiB
End job on node148 at 2019-09-14 01:38:07