Trace number 4394384

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 parallelOPT566 11.791 2.13933

General information on the benchmark

NameFastfood/Fastfood-m1-s1/
Fastfood-ff85.xml
MD5SUMafda861cdc29bd1fb05e74ad0e6ff5a8
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark566
Best CPU time to get the best result obtained on this benchmark1.40633
Satisfiable
(Un)Satisfiability was proved
Number of variables185
Number of constraints181
Number of domains20
Minimum domain size18
Maximum domain size19
Distribution of domain sizes[{"size":18,"count":12},{"size":19,"count":173}]
Minimum variable degree2
Maximum variable degree31
Distribution of variable degrees[{"degree":2,"count":180},{"degree":31,"count":5}]
Minimum constraint arity2
Maximum constraint arity6
Distribution of constraint arities[{"arity":2,"count":150},{"arity":5,"count":1},{"arity":6,"count":30}]
Number of extensional constraints150
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":150},{"type":"ordered","count":1},{"type":"minimum","count":30}]
Optimization problemYES
Type of objectivemin SUM

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-4394384-1568441912.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4394384-1568441912.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.28	c parse instance...
2.39/0.88	c solve instance...
3.81/1.06	o 2972 
3.81/1.08	o 2849 
3.81/1.08	o 2814 
3.81/1.09	o 2188 
4.35/1.12	o 1918 
4.35/1.13	o 1592 
4.35/1.14	java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a weak clause (37/39)
4.35/1.14		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
4.35/1.14		at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
4.35/1.14		at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
4.35/1.14		at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
4.35/1.14		at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
4.35/1.14	Caused by: org.chocosolver.solver.exception.SolverException: Learn a weak clause (37/39)
4.35/1.14		at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:201)
4.35/1.14		at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219)
4.35/1.14		at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90)
4.35/1.14		at org.chocosolver.solver.Solver.repair(Solver.java:443)
4.35/1.14		at org.chocosolver.solver.Solver.searchLoop(Solver.java:301)
4.35/1.14		at org.chocosolver.solver.Solver.solve(Solver.java:262)
4.35/1.14		at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
4.35/1.14		at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
4.35/1.14		at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
4.35/1.14		at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
4.35/1.14		at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
4.35/1.14		at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
4.35/1.14		at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
4.35/1.14		at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
4.35/1.14		at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
4.35/1.14		at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
4.35/1.14	o 912 
4.35/1.15	o 906 
4.95/1.22	o 894 
4.95/1.24	o 814 
4.95/1.24	o 810 
4.95/1.25	o 774 
4.95/1.29	java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a weak clause (81/86)
4.95/1.29		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
4.95/1.29		at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
4.95/1.29		at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
4.95/1.29		at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
4.95/1.29		at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
4.95/1.29	Caused by: org.chocosolver.solver.exception.SolverException: Learn a weak clause (81/86)
4.95/1.29		at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:201)
4.95/1.29		at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219)
4.95/1.29		at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90)
4.95/1.29		at org.chocosolver.solver.Solver.repair(Solver.java:443)
4.95/1.29		at org.chocosolver.solver.Solver.searchLoop(Solver.java:301)
4.95/1.29		at org.chocosolver.solver.Solver.solve(Solver.java:262)
4.95/1.29		at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
4.95/1.29		at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
4.95/1.29		at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
4.95/1.29		at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
4.95/1.29		at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
4.95/1.29		at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
4.95/1.29		at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
4.95/1.29		at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
4.95/1.29		at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
4.95/1.29		at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
4.95/1.29	o 730 
4.95/1.29	o 718 
5.63/1.32	java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a weak clause (364/370)
5.63/1.32		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
5.63/1.32		at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
5.63/1.32		at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
5.63/1.32		at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
5.63/1.32		at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
5.63/1.32	Caused by: org.chocosolver.solver.exception.SolverException: Learn a weak clause (364/370)
5.63/1.32		at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:201)
5.63/1.32		at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219)
5.63/1.32		at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90)
5.63/1.32		at org.chocosolver.solver.Solver.repair(Solver.java:443)
5.63/1.32		at org.chocosolver.solver.Solver.searchLoop(Solver.java:301)
5.63/1.32		at org.chocosolver.solver.Solver.solve(Solver.java:262)
5.63/1.32		at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
5.63/1.32		at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
5.63/1.32		at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
5.63/1.32		at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
5.63/1.32		at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
5.63/1.32		at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
5.63/1.32		at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
5.63/1.32		at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
5.63/1.32		at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
5.63/1.32		at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
5.63/1.32	o 714 
5.63/1.33	o 690 
5.63/1.33	o 660 
5.63/1.34	o 658 
5.63/1.35	o 636 
5.63/1.37	o 632 
5.63/1.38	o 630 
5.63/1.39	o 628 
6.24/1.45	o 624 
6.24/1.47	o 602 
7.00/1.51	o 600 
7.00/1.51	o 598 
7.00/1.53	o 596 
7.00/1.54	o 594 
10.18/1.92	o 582 
10.18/1.94	o 568 
11.01/2.03	o 566 
11.01/2.11	s OPTIMUM FOUND
11.01/2.11	v <instantiation>
11.01/2.11	v 	<list>x[0] x[1] x[2] x[3] x[4] drd[0][0] drd[0][1] drd[0][2] drd[0][3] drd[0][4] drd[1][0] drd[1][1] drd[1][2] drd[1][3] drd[1][4] drd[2][0] drd[2][1] drd[2][2] drd[2][3] drd[2][4] drd[3][0] drd[3][1] drd[3][2] drd[3][3] drd[3][4] drd[4][0] drd[4][1] drd[4][2] drd[4][3] drd[4][4] drd[5][0] drd[5][1] drd[5][2] drd[5][3] drd[5][4] drd[6][0] drd[6][1] drd[6][2] drd[6][3] drd[6][4] drd[7][0] drd[7][1] drd[7][2] drd[7][3] drd[7][4] drd[8][0] drd[8][1] drd[8][2] drd[8][3] drd[8][4] drd[9][0] drd[9][1] drd[9][2] drd[9][3] drd[9][4] drd[10][0] drd[10][1] drd[10][2] drd[10][3] drd[10][4] drd[11][0] drd[11][1] drd[11][2] drd[11][3] drd[11][4] drd[12][0] drd[12][1] drd[12][2] drd[12][3] drd[12][4] drd[13][0] drd[13][1] drd[13][2] drd[13][3] drd[13][4] drd[14][0] drd[14][1] drd[14][2] drd[14][3] drd[14][4] drd[15][0] drd[15][1] drd[15][2] drd[15][3] drd[15][4] drd[16][0] drd[16][1] drd[16][2] drd[16][3] drd[16][4] drd[17][0] drd[17][1] drd[17][2] drd[17][3] drd[17][4] drd[18][0] drd[18][1] drd[18][2] drd[18][3] drd[18][4] drd[19][0] drd[19][1] drd[19][2] drd[19][3] drd[19][4] drd[20][0] drd[20][1] drd[20][2] drd[20][3] drd[20][4] drd[21][0] drd[21][1] drd[21][2] drd[21][3] drd[21][4] drd[22][0] drd[22][1] drd[22][2] drd[22][3] drd[22][4] drd[23][0] drd[23][1] drd[23][2] drd[23][3] drd[23][4] drd[24][0] drd[24][1] drd[24][2] drd[24][3] drd[24][4] drd[25][0] drd[25][1] drd[25][2] drd[25][3] drd[25][4] drd[26][0] drd[26][1] drd[26][2] drd[26][3] drd[26][4] drd[27][0] drd[27][1] drd[27][2] drd[27][3] drd[27][4] drd[28][0] drd[28][1] drd[28][2] drd[28][3] drd[28][4] drd[29][0] drd[29][1] drd[29][2] drd[29][3] drd[29][4] dr[0] dr[1] dr[2] dr[3] dr[4] dr[5] dr[6] dr[7] dr[8] dr[9] dr[10] dr[11] dr[12] dr[13] dr[14] dr[15] dr[16] dr[17] dr[18] dr[19] dr[20] dr[21] dr[22] dr[23] dr[24] dr[25] dr[26] dr[27] dr[28] dr[29] </list>
11.01/2.11	v 	<values>24 118 205 332 450 1 95 182 309 427 1 95 182 309 427 220 126 39 88 206 221 127 40 87 205 308 214 127 0 118 308 214 127 0 118 486 392 305 178 60 399 305 218 91 27 397 303 216 89 29 163 69 18 145 263 163 69 18 145 263 218 124 37 90 208 0 94 181 308 426 0 94 181 308 426 461 367 280 153 35 15 109 196 323 441 0 94 181 308 426 72 22 109 236 354 72 22 109 236 354 426 332 245 118 0 94 0 87 214 332 94 0 87 214 332 361 267 180 53 65 361 267 180 53 65 134 40 47 174 292 134 40 47 174 292 181 87 0 127 245 8 86 173 300 418 8 86 173 300 418 426 332 245 118 0 1 1 39 40 0 0 60 27 29 18 18 37 0 0 35 15 0 22 22 0 0 0 53 53 40 40 0 8 8 0 </values>
11.01/2.11	v </instantiation>

Verifier Data

OK	566

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394384-1568441912/watcher-4394384-1568441912 -o /tmp/evaluation-result-4394384-1568441912/solver-4394384-1568441912 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1568434335-18593 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 731542426 HOME/instance-4394384-1568441912.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=21766, runsolver pid=21763

[startup+0.100158 s]*
/proc/loadavg: 7.78 8.16 7.90 2/210 21787
/proc/meminfo: memFree=26664300/32770624 swapFree=66977616/67108860
[pid=21766] ppid=21763 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/21766/stat : 21766 (xcsp3-exec) S 21763 21766 18566 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 420448406 115843072 363 33554432000 4194304 5098028 140733856210208 140733856208312 139794958402172 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18980864 140733856211830 140733856212073 140733856212073 140733856214986 0
/proc/21766/statm: 28282 363 305 221 0 87 0
[pid=21768] ppid=21766 vsize=28227388 memory=30264 CPUtime=0.12 cores=0-7
/proc/21768/stat : 21768 (java) S 21766 21766 18566 0 -1 1077944320 5965 0 0 0 11 1 0 0 20 0 20 0 420448406 28904845312 7566 33554432000 4194304 4196468 140726450634128 140726450616672 140071174020855 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
/proc/21768/statm: 7056847 7566 3156 1 0 7019032 0
[pid=21768/tid=21769] ppid=21766 vsize=28227388 memory=576460756329955445 CPUtime=0.08 cores=0-7
/proc/21768/task/21769/stat : 21769 (java) R 21766 21766 18566 0 -1 4202560 3884 0 0 0 8 0 0 0 20 0 20 0 420448406 28904845312 7566 33554432000 4194304 4196468 140726450634128 140071178257280 140071159391842 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21770] ppid=21766 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/21768/task/21770/stat : 21770 (java) S 21766 21766 18566 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420448407 28904845312 7566 33554432000 4194304 4196468 140726450634128 140071126641808 140071174031061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21771] ppid=21766 vsize=28227388 memory=3906504304203822752 CPUtime=0 cores=0-7
/proc/21768/task/21771/stat : 21771 (java) S 21766 21766 18566 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420448407 28904845312 7566 33554432000 4194304 4196468 140726450634128 140071125589008 140071174031061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21772] ppid=21766 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/21768/task/21772/stat : 21772 (java) S 21766 21766 18566 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420448407 28904845312 7566 33554432000 4194304 4196468 140726450634128 140071124536208 140071174031061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21773] ppid=21766 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/21768/task/21773/stat : 21773 (java) S 21766 21766 18566 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420448407 28904845312 7566 33554432000 4194304 4196468 140726450634128 140071123483408 140071174031061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21774] ppid=21766 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/21768/task/21774/stat : 21774 (java) S 21766 21766 18566 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420448407 28904845312 7566 33554432000 4194304 4196468 140726450634128 140071122430608 140071174031061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21775] ppid=21766 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/21768/task/21775/stat : 21775 (java) S 21766 21766 18566 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420448407 28904845312 7566 33554432000 4194304 4196468 140726450634128 140071121377808 140071174031061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21776] ppid=21766 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/21768/task/21776/stat : 21776 (java) S 21766 21766 18566 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420448407 28904845312 7566 33554432000 4194304 4196468 140726450634128 140071120325008 140071174031061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21777] ppid=21766 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/21768/task/21777/stat : 21777 (java) S 21766 21766 18566 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420448407 28904845312 7566 33554432000 4194304 4196468 140726450634128 140071119272208 140071174031061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21778] ppid=21766 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/21768/task/21778/stat : 21778 (java) S 21766 21766 18566 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420448408 28904845312 7566 33554432000 4194304 4196468 140726450634128 140069369330544 140071174032002 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21779] ppid=21766 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/21768/task/21779/stat : 21779 (java) S 21766 21766 18566 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420448409 28904845312 7566 33554432000 4194304 4196468 140726450634128 140069368276512 140071174031061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21780] ppid=21766 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/21768/task/21780/stat : 21780 (java) S 21766 21766 18566 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420448409 28904845312 7566 33554432000 4194304 4196468 140726450634128 140069367223664 140071174031061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21781] ppid=21766 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/21768/task/21781/stat : 21781 (java) S 21766 21766 18566 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420448412 28904845312 7566 33554432000 4194304 4196468 140726450634128 140069366171984 140071174039451 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21782] ppid=21766 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/21768/task/21782/stat : 21782 (java) S 21766 21766 18566 0 -1 1077944384 413 0 0 0 0 0 0 0 20 0 20 0 420448412 28904845312 7566 33554432000 4194304 4196468 140726450634128 140069365119344 140071174032002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21783] ppid=21766 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/21768/task/21783/stat : 21783 (java) S 21766 21766 18566 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420448412 28904845312 7566 33554432000 4194304 4196468 140726450634128 140069364066544 140071174032002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21784] ppid=21766 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/21768/task/21784/stat : 21784 (java) S 21766 21766 18566 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420448412 28904845312 7566 33554432000 4194304 4196468 140726450634128 140069363013744 140071174032002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21785] ppid=21766 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/21768/task/21785/stat : 21785 (java) R 21766 21766 18566 0 -1 4202560 354 0 0 0 1 0 0 0 20 0 20 0 420448412 28904845312 7566 33554432000 4194304 4196468 140726450634128 140069361960944 140071152702302 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21786] ppid=21766 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/21768/task/21786/stat : 21786 (java) S 21766 21766 18566 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420448412 28904845312 7566 33554432000 4194304 4196468 140726450634128 140069360909408 140071174031061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21787] ppid=21766 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/21768/task/21787/stat : 21787 (java) S 21766 21766 18566 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420448412 28904845312 7566 33554432000 4194304 4196468 140726450634128 140069359856688 140071174032002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 31716 KiB

[startup+0.210336 s]*
/proc/loadavg: 7.78 8.16 7.90 3/210 21787
/proc/meminfo: memFree=26652252/32770624 swapFree=66977616/67108860
[pid=21766] ppid=21763 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/21766/stat : 21766 (xcsp3-exec) S 21763 21766 18566 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 420448406 115843072 363 33554432000 4194304 5098028 140733856210208 140733856208312 139794958402172 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18980864 140733856211830 140733856212073 140733856212073 140733856214986 0
/proc/21766/statm: 28282 363 305 221 0 87 0
[pid=21768] ppid=21766 vsize=28227388 memory=40732 CPUtime=0.33 cores=0-7
/proc/21768/stat : 21768 (java) S 21766 21766 18566 0 -1 1077944320 9409 0 0 0 30 3 0 0 20 0 20 0 420448406 28904845312 10183 33554432000 4194304 4196468 140726450634128 140726450616672 140071174020855 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
/proc/21768/statm: 7056847 10183 3308 1 0 7019032 0
[pid=21768/tid=21769] ppid=21766 vsize=28227388 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/21768/task/21769/stat : 21769 (java) R 21766 21766 18566 0 -1 4202560 6690 0 0 0 18 2 0 0 20 0 20 0 420448406 28904845312 10183 33554432000 4194304 4196468 140726450634128 140071178258512 140071174032790 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21770] ppid=21766 vsize=28227388 memory=288230604707987820 CPUtime=0 cores=0-7
/proc/21768/task/21770/stat : 21770 (java) S 21766 21766 18566 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420448407 28904845312 10183 33554432000 4194304 4196468 140726450634128 140071126641808 140071174031061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21771] ppid=21766 vsize=28227388 memory=140460006045620 CPUtime=0 cores=0-7
/proc/21768/task/21771/stat : 21771 (java) S 21766 21766 18566 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420448407 28904845312 10183 33554432000 4194304 4196468 140726450634128 140071125589008 140071174031061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21772] ppid=21766 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/21768/task/21772/stat : 21772 (java) S 21766 21766 18566 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420448407 28904845312 10183 33554432000 4194304 4196468 140726450634128 140071124536208 140071174031061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21773] ppid=21766 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/21768/task/21773/stat : 21773 (java) S 21766 21766 18566 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420448407 28904845312 10183 33554432000 4194304 4196468 140726450634128 140071123483408 140071174031061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21774] ppid=21766 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/21768/task/21774/stat : 21774 (java) S 21766 21766 18566 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420448407 28904845312 10183 33554432000 4194304 4196468 140726450634128 140071122430608 140071174031061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21775] ppid=21766 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/21768/task/21775/stat : 21775 (java) S 21766 21766 18566 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420448407 28904845312 10183 33554432000 4194304 4196468 140726450634128 140071121377808 140071174031061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21776] ppid=21766 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/21768/task/21776/stat : 21776 (java) S 21766 21766 18566 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420448407 28904845312 10183 33554432000 4194304 4196468 140726450634128 140071120325008 140071174031061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21777] ppid=21766 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/21768/task/21777/stat : 21777 (java) S 21766 21766 18566 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420448407 28904845312 10183 33554432000 4194304 4196468 140726450634128 140071119272208 140071174031061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21778] ppid=21766 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/21768/task/21778/stat : 21778 (java) S 21766 21766 18566 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 420448408 28904845312 10183 33554432000 4194304 4196468 140726450634128 140069369330544 140071174032002 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21779] ppid=21766 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/21768/task/21779/stat : 21779 (java) S 21766 21766 18566 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420448409 28904845312 10183 33554432000 4194304 4196468 140726450634128 140069368276512 140071174031061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21780] ppid=21766 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/21768/task/21780/stat : 21780 (java) S 21766 21766 18566 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420448409 28904845312 10183 33554432000 4194304 4196468 140726450634128 140069367223664 140071174031061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21781] ppid=21766 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/21768/task/21781/stat : 21781 (java) S 21766 21766 18566 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420448412 28904845312 10183 33554432000 4194304 4196468 140726450634128 140069366171984 140071174039451 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21782] ppid=21766 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/21768/task/21782/stat : 21782 (java) S 21766 21766 18566 0 -1 1077944384 507 0 0 0 1 0 0 0 20 0 20 0 420448412 28904845312 10183 33554432000 4194304 4196468 140726450634128 140069365119344 140071174032002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21783] ppid=21766 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/21768/task/21783/stat : 21783 (java) S 21766 21766 18566 0 -1 1077944384 125 0 0 0 2 0 0 0 20 0 20 0 420448412 28904845312 10183 33554432000 4194304 4196468 140726450634128 140069364066544 140071174032002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21784] ppid=21766 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/21768/task/21784/stat : 21784 (java) S 21766 21766 18566 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 20 0 420448412 28904845312 10183 33554432000 4194304 4196468 140726450634128 140069363013744 140071174032002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21785] ppid=21766 vsize=28227388 memory=0 CPUtime=0.07 cores=0-7
/proc/21768/task/21785/stat : 21785 (java) R 21766 21766 18566 0 -1 4202560 767 0 0 0 7 0 0 0 20 0 20 0 420448412 28904845312 10183 33554432000 4194304 4196468 140726450634128 140069361960752 140071174032790 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21786] ppid=21766 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/21768/task/21786/stat : 21786 (java) S 21766 21766 18566 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420448412 28904845312 10183 33554432000 4194304 4196468 140726450634128 140069360909408 140071174031061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21787] ppid=21766 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/21768/task/21787/stat : 21787 (java) S 21766 21766 18566 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420448412 28904845312 10183 33554432000 4194304 4196468 140726450634128 140069359856688 140071174032002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 42184 KiB

[startup+0.309626 s]*
/proc/loadavg: 7.78 8.16 7.90 4/210 21787
/proc/meminfo: memFree=26644688/32770624 swapFree=66977616/67108860
[pid=21766] ppid=21763 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/21766/stat : 21766 (xcsp3-exec) S 21763 21766 18566 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 420448406 115843072 363 33554432000 4194304 5098028 140733856210208 140733856208312 139794958402172 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18980864 140733856211830 140733856212073 140733856212073 140733856214986 0
/proc/21766/statm: 28282 363 305 221 0 87 0
[pid=21768] ppid=21766 vsize=28231644 memory=50264 CPUtime=0.52 cores=0-7
/proc/21768/stat : 21768 (java) S 21766 21766 18566 0 -1 1077944320 10891 0 0 0 47 5 0 0 20 0 20 0 420448406 28909203456 12566 33554432000 4194304 4196468 140726450634128 140726450616672 140071174020855 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
/proc/21768/statm: 7057911 12566 3371 1 0 7019032 0
[pid=21768/tid=21769] ppid=21766 vsize=28231644 memory=8317482817917895235 CPUtime=0.3 cores=0-7
/proc/21768/task/21769/stat : 21769 (java) R 21766 21766 18566 0 -1 4202560 7811 0 0 0 27 3 0 0 20 0 20 0 420448406 28909203456 12566 33554432000 4194304 4196468 140726450634128 140071178251968 140071158101342 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21770] ppid=21766 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/21768/task/21770/stat : 21770 (java) S 21766 21766 18566 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420448407 28909203456 12566 33554432000 4194304 4196468 140726450634128 140071126641808 140071174031061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21771] ppid=21766 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/21768/task/21771/stat : 21771 (java) S 21766 21766 18566 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420448407 28909203456 12566 33554432000 4194304 4196468 140726450634128 140071125589008 140071174031061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21772] ppid=21766 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/21768/task/21772/stat : 21772 (java) S 21766 21766 18566 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420448407 28909203456 12566 33554432000 4194304 4196468 140726450634128 140071124536208 140071174031061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21773] ppid=21766 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/21768/task/21773/stat : 21773 (java) S 21766 21766 18566 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420448407 28909203456 12566 33554432000 4194304 4196468 140726450634128 140071123483408 140071174031061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21774] ppid=21766 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/21768/task/21774/stat : 21774 (java) S 21766 21766 18566 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420448407 28909203456 12566 33554432000 4194304 4196468 140726450634128 140071122430608 140071174031061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21775] ppid=21766 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/21768/task/21775/stat : 21775 (java) S 21766 21766 18566 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420448407 28909203456 12566 33554432000 4194304 4196468 140726450634128 140071121377808 140071174031061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21776] ppid=21766 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/21768/task/21776/stat : 21776 (java) S 21766 21766 18566 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420448407 28909203456 12566 33554432000 4194304 4196468 140726450634128 140071120325008 140071174031061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21777] ppid=21766 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/21768/task/21777/stat : 21777 (java) S 21766 21766 18566 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420448407 28909203456 12566 33554432000 4194304 4196468 140726450634128 140071119272208 140071174031061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21778] ppid=21766 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/21768/task/21778/stat : 21778 (java) S 21766 21766 18566 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 420448408 28909203456 12566 33554432000 4194304 4196468 140726450634128 140069369330544 140071174032002 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21779] ppid=21766 vsize=28231644 memory=280919718174080 CPUtime=0 cores=0-7
/proc/21768/task/21779/stat : 21779 (java) S 21766 21766 18566 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420448409 28909203456 12566 33554432000 4194304 4196468 140726450634128 140069368276512 140071174031061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21780] ppid=21766 vsize=28231644 memory=280919718178688 CPUtime=0 cores=0-7
/proc/21768/task/21780/stat : 21780 (java) S 21766 21766 18566 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420448409 28909203456 12566 33554432000 4194304 4196468 140726450634128 140069367223664 140071174031061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21781] ppid=21766 vsize=28231644 memory=280919718183296 CPUtime=0 cores=0-7
/proc/21768/task/21781/stat : 21781 (java) S 21766 21766 18566 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420448412 28909203456 12566 33554432000 4194304 4196468 140726450634128 140069366171984 140071174039451 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21782] ppid=21766 vsize=28231644 memory=280919718187904 CPUtime=0.02 cores=0-7
/proc/21768/task/21782/stat : 21782 (java) S 21766 21766 18566 0 -1 1077944384 545 0 0 0 2 0 0 0 20 0 20 0 420448412 28909203456 12566 33554432000 4194304 4196468 140726450634128 140069365119344 140071174032002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21783] ppid=21766 vsize=28231644 memory=280919718192512 CPUtime=0.04 cores=0-7
/proc/21768/task/21783/stat : 21783 (java) R 21766 21766 18566 0 -1 4202560 229 0 0 0 4 0 0 0 20 0 20 0 420448412 28909203456 12566 33554432000 4194304 4196468 140726450634128 140069364056928 140071153676545 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21784] ppid=21766 vsize=28231644 memory=280919718197120 CPUtime=0.01 cores=0-7
/proc/21768/task/21784/stat : 21784 (java) S 21766 21766 18566 0 -1 1077944384 71 0 0 0 1 0 0 0 20 0 20 0 420448412 28909203456 12566 33554432000 4194304 4196468 140726450634128 140069363013744 140071174032002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21785] ppid=21766 vsize=28231644 memory=280919718201728 CPUtime=0.12 cores=0-7
/proc/21768/task/21785/stat : 21785 (java) S 21766 21766 18566 0 -1 1077944384 927 0 0 0 12 0 0 0 20 0 20 0 420448412 28909203456 12566 33554432000 4194304 4196468 140726450634128 140069361960944 140071174032002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21786] ppid=21766 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/21768/task/21786/stat : 21786 (java) S 21766 21766 18566 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420448412 28909203456 12566 33554432000 4194304 4196468 140726450634128 140069360909408 140071174031061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21787] ppid=21766 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/21768/task/21787/stat : 21787 (java) S 21766 21766 18566 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420448412 28909203456 12566 33554432000 4194304 4196468 140726450634128 140069359856688 140071174032002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 51716 KiB

[startup+0.701048 s]
/proc/loadavg: 7.78 8.16 7.90 4/210 21787
/proc/meminfo: memFree=26624456/32770624 swapFree=66977616/67108860
[pid=21766] ppid=21763 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/21766/stat : 21766 (xcsp3-exec) S 21763 21766 18566 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 420448406 115843072 363 33554432000 4194304 5098028 140733856210208 140733856208312 139794958402172 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18980864 140733856211830 140733856212073 140733856212073 140733856214986 0
/proc/21766/statm: 28282 363 305 221 0 87 0
[pid=21768] ppid=21766 vsize=28233768 memory=140376 CPUtime=1.83 cores=0-7
/proc/21768/stat : 21768 (java) S 21766 21766 18566 0 -1 1077944320 16000 0 0 0 175 8 0 0 20 0 20 0 420448406 28911378432 35094 33554432000 4194304 4196468 140726450634128 140726450616672 140071174020855 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
/proc/21768/statm: 7058442 35094 3457 1 0 7019544 0
[pid=21768/tid=21769] ppid=21766 vsize=28233768 memory=4580 CPUtime=0.67 cores=0-7
/proc/21768/task/21769/stat : 21769 (java) R 21766 21766 18566 0 -1 4202560 9245 0 0 0 63 4 0 0 20 0 20 0 420448406 28911378432 35094 33554432000 4194304 4196468 140726450634128 140071178258416 140070778968484 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21770] ppid=21766 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/21768/task/21770/stat : 21770 (java) S 21766 21766 18566 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420448407 28911378432 35094 33554432000 4194304 4196468 140726450634128 140071126641808 140071174031061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21771] ppid=21766 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/21768/task/21771/stat : 21771 (java) S 21766 21766 18566 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420448407 28911378432 35094 33554432000 4194304 4196468 140726450634128 140071125589008 140071174031061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21772] ppid=21766 vsize=28233768 memory=1056 CPUtime=0 cores=0-7
/proc/21768/task/21772/stat : 21772 (java) S 21766 21766 18566 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420448407 28911378432 35094 33554432000 4194304 4196468 140726450634128 140071124536208 140071174031061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0

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

/proc/21768/stat : 21768 (java) S 21766 21766 18566 0 -1 1077944320 28318 0 0 0 730 44 0 0 20 0 28 0 420448406 29526929408 111245 33554432000 4194304 4196468 140726450634128 140726450616672 140071174020855 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
/proc/21768/statm: 7208723 111245 3495 1 0 7169825 0
[pid=21768/tid=21769] ppid=21766 vsize=28834892 memory=4641047798922362976 CPUtime=0.84 cores=0-7
/proc/21768/task/21769/stat : 21769 (java) S 21766 21766 18566 0 -1 1077944384 9440 0 0 0 78 6 0 0 20 0 28 0 420448406 29526929408 111245 33554432000 4194304 4196468 140726450634128 140071178261632 140071174031061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21770] ppid=21766 vsize=28834892 memory=6935649255844964689 CPUtime=0.09 cores=0-7
/proc/21768/task/21770/stat : 21770 (java) S 21766 21766 18566 0 -1 1077944384 79 0 0 0 5 4 0 0 20 0 28 0 420448407 29526929408 111245 33554432000 4194304 4196468 140726450634128 140071126641808 140071174031061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21771] ppid=21766 vsize=28834892 memory=6935649255894901312 CPUtime=0.1 cores=0-7
/proc/21768/task/21771/stat : 21771 (java) S 21766 21766 18566 0 -1 1077944384 99 0 0 0 6 4 0 0 20 0 28 0 420448407 29526929408 111245 33554432000 4194304 4196468 140726450634128 140071125589008 140071174031061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21772] ppid=21766 vsize=28834892 memory=8514726395715351173 CPUtime=0.06 cores=0-7
/proc/21768/task/21772/stat : 21772 (java) S 21766 21766 18566 0 -1 1077944384 79 0 0 0 3 3 0 0 20 0 28 0 420448407 29526929408 111245 33554432000 4194304 4196468 140726450634128 140071124536208 140071174031061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21773] ppid=21766 vsize=28834892 memory=-9107499340284599669 CPUtime=0.09 cores=0-7
/proc/21768/task/21773/stat : 21773 (java) S 21766 21766 18566 0 -1 1077944384 111 0 0 0 5 4 0 0 20 0 28 0 420448407 29526929408 111245 33554432000 4194304 4196468 140726450634128 140071123483408 140071174031061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21774] ppid=21766 vsize=28834892 memory=0 CPUtime=0.09 cores=0-7
/proc/21768/task/21774/stat : 21774 (java) S 21766 21766 18566 0 -1 1077944384 92 0 0 0 6 3 0 0 20 0 28 0 420448407 29526929408 111245 33554432000 4194304 4196468 140726450634128 140071122430608 140071174031061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21775] ppid=21766 vsize=28834892 memory=0 CPUtime=0.09 cores=0-7
/proc/21768/task/21775/stat : 21775 (java) S 21766 21766 18566 0 -1 1077944384 121 0 0 0 5 4 0 0 20 0 28 0 420448407 29526929408 111245 33554432000 4194304 4196468 140726450634128 140071121377808 140071174031061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21776] ppid=21766 vsize=28834892 memory=0 CPUtime=0.06 cores=0-7
/proc/21768/task/21776/stat : 21776 (java) S 21766 21766 18566 0 -1 1077944384 100 0 0 0 4 2 0 0 20 0 28 0 420448407 29526929408 111245 33554432000 4194304 4196468 140726450634128 140071120325008 140071174031061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21777] ppid=21766 vsize=28834892 memory=0 CPUtime=0.09 cores=0-7
/proc/21768/task/21777/stat : 21777 (java) S 21766 21766 18566 0 -1 1077944384 123 0 0 0 6 3 0 0 20 0 28 0 420448407 29526929408 111245 33554432000 4194304 4196468 140726450634128 140071119272208 140071174031061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21778] ppid=21766 vsize=28834892 memory=4580 CPUtime=0 cores=0-7
/proc/21768/task/21778/stat : 21778 (java) S 21766 21766 18566 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 420448408 29526929408 111245 33554432000 4194304 4196468 140726450634128 140069369330544 140071174032002 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21779] ppid=21766 vsize=28834892 memory=0 CPUtime=0 cores=0-7
/proc/21768/task/21779/stat : 21779 (java) S 21766 21766 18566 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 420448409 29526929408 111245 33554432000 4194304 4196468 140726450634128 140069368276576 140071174031061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21780] ppid=21766 vsize=28834892 memory=0 CPUtime=0 cores=0-7
/proc/21768/task/21780/stat : 21780 (java) S 21766 21766 18566 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 420448409 29526929408 111245 33554432000 4194304 4196468 140726450634128 140069367223680 140071174031061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21781] ppid=21766 vsize=28834892 memory=0 CPUtime=0 cores=0-7
/proc/21768/task/21781/stat : 21781 (java) S 21766 21766 18566 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 420448412 29526929408 111245 33554432000 4194304 4196468 140726450634128 140069366171984 140071174039451 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21782] ppid=21766 vsize=28834892 memory=0 CPUtime=0.97 cores=0-7
/proc/21768/task/21782/stat : 21782 (java) R 21766 21766 18566 0 -1 4202560 3046 0 0 0 96 1 0 0 20 0 28 0 420448412 29526929408 111245 33554432000 4194304 4196468 140726450634128 140069365100912 140071157515094 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21783] ppid=21766 vsize=28834892 memory=0 CPUtime=0.91 cores=0-7
/proc/21768/task/21783/stat : 21783 (java) R 21766 21766 18566 0 -1 4202560 2394 0 0 0 91 0 0 0 20 0 28 0 420448412 29526929408 111245 33554432000 4194304 4196468 140726450634128 140069364056768 140071157519833 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21784] ppid=21766 vsize=28834892 memory=0 CPUtime=0.93 cores=0-7
/proc/21768/task/21784/stat : 21784 (java) R 21766 21766 18566 0 -1 4202560 2962 0 0 0 92 1 0 0 20 0 28 0 420448412 29526929408 111245 33554432000 4194304 4196468 140726450634128 140069363003856 140071154656439 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21785] ppid=21766 vsize=28834892 memory=0 CPUtime=0.77 cores=0-7
/proc/21768/task/21785/stat : 21785 (java) R 21766 21766 18566 0 -1 1077944384 3966 0 0 0 76 1 0 0 20 0 28 0 420448412 29526929408 111245 33554432000 4194304 4196468 140726450634128 140069361960944 140071174032002 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21786] ppid=21766 vsize=28834892 memory=0 CPUtime=0 cores=0-7
/proc/21768/task/21786/stat : 21786 (java) S 21766 21766 18566 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420448412 29526929408 111245 33554432000 4194304 4196468 140726450634128 140069360909408 140071174031061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21787] ppid=21766 vsize=28834892 memory=0 CPUtime=0 cores=0-7
/proc/21768/task/21787/stat : 21787 (java) S 21766 21766 18566 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 420448412 29526929408 111245 33554432000 4194304 4196468 140726450634128 140069359856688 140071174032002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
Current children cumulated CPU time: 7.74 s
Current children cumulated vsize: 28948020 KiB
Current children cumulated memory: 446432 KiB

[startup+2.00249 s]*
/proc/loadavg: 7.95 8.19 7.92 11/218 22035
/proc/meminfo: memFree=26190776/32770624 swapFree=66977616/67108860
[pid=21766] ppid=21763 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/21766/stat : 21766 (xcsp3-exec) S 21763 21766 18566 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 420448406 115843072 363 33554432000 4194304 5098028 140733856210208 140733856208312 139794958402172 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18980864 140733856211830 140733856212073 140733856212073 140733856214986 0
/proc/21766/statm: 28282 363 305 221 0 87 0
[pid=21768] ppid=21766 vsize=28836812 memory=504220 CPUtime=11.01 cores=0-7
/proc/21768/stat : 21768 (java) S 21766 21766 18566 0 -1 1077944320 34281 0 0 0 1053 48 0 0 20 0 28 0 420448406 29528895488 126055 33554432000 4194304 4196468 140726450634128 140726450616672 140071174020855 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
/proc/21768/statm: 7209203 126055 3499 1 0 7170305 0
[pid=21768/tid=21769] ppid=21766 vsize=28836812 memory=8317482817917895235 CPUtime=0.84 cores=0-7
/proc/21768/task/21769/stat : 21769 (java) S 21766 21766 18566 0 -1 1077944384 9441 0 0 0 78 6 0 0 20 0 28 0 420448406 29528895488 126055 33554432000 4194304 4196468 140726450634128 140071178261632 140071174031061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21770] ppid=21766 vsize=28836812 memory=0 CPUtime=0.1 cores=0-7
/proc/21768/task/21770/stat : 21770 (java) S 21766 21766 18566 0 -1 1077944384 89 0 0 0 6 4 0 0 20 0 28 0 420448407 29528895488 126055 33554432000 4194304 4196468 140726450634128 140071126641808 140071174031061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21771] ppid=21766 vsize=28836812 memory=0 CPUtime=0.1 cores=0-7
/proc/21768/task/21771/stat : 21771 (java) S 21766 21766 18566 0 -1 1077944384 110 0 0 0 6 4 0 0 20 0 28 0 420448407 29528895488 126055 33554432000 4194304 4196468 140726450634128 140071125589008 140071174031061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21772] ppid=21766 vsize=28836812 memory=0 CPUtime=0.07 cores=0-7
/proc/21768/task/21772/stat : 21772 (java) S 21766 21766 18566 0 -1 1077944384 89 0 0 0 4 3 0 0 20 0 28 0 420448407 29528895488 126055 33554432000 4194304 4196468 140726450634128 140071124536208 140071174031061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21773] ppid=21766 vsize=28836812 memory=8303054830060986464 CPUtime=0.1 cores=0-7
/proc/21768/task/21773/stat : 21773 (java) S 21766 21766 18566 0 -1 1077944384 117 0 0 0 6 4 0 0 20 0 28 0 420448407 29528895488 126055 33554432000 4194304 4196468 140726450634128 140071123483408 140071174031061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21774] ppid=21766 vsize=28836812 memory=-7088785026379990432 CPUtime=0.1 cores=0-7
/proc/21768/task/21774/stat : 21774 (java) S 21766 21766 18566 0 -1 1077944384 102 0 0 0 7 3 0 0 20 0 28 0 420448407 29528895488 126055 33554432000 4194304 4196468 140726450634128 140071122430608 140071174031061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21775] ppid=21766 vsize=28836812 memory=664954281948834923 CPUtime=0.09 cores=0-7
/proc/21768/task/21775/stat : 21775 (java) S 21766 21766 18566 0 -1 1077944384 121 0 0 0 5 4 0 0 20 0 28 0 420448407 29528895488 126055 33554432000 4194304 4196468 140726450634128 140071121377808 140071174031061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21776] ppid=21766 vsize=28836812 memory=6944656592455097440 CPUtime=0.08 cores=0-7
/proc/21768/task/21776/stat : 21776 (java) S 21766 21766 18566 0 -1 1077944384 109 0 0 0 5 3 0 0 20 0 28 0 420448407 29528895488 126055 33554432000 4194304 4196468 140726450634128 140071120325008 140071174031061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21777] ppid=21766 vsize=28836812 memory=6943526294502006880 CPUtime=0.09 cores=0-7
/proc/21768/task/21777/stat : 21777 (java) S 21766 21766 18566 0 -1 1077944384 123 0 0 0 6 3 0 0 20 0 28 0 420448407 29528895488 126055 33554432000 4194304 4196468 140726450634128 140071119272208 140071174031061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21778] ppid=21766 vsize=28836812 memory=0 CPUtime=0 cores=0-7
/proc/21768/task/21778/stat : 21778 (java) S 21766 21766 18566 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 28 0 420448408 29528895488 126055 33554432000 4194304 4196468 140726450634128 140069369330544 140071174032002 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21779] ppid=21766 vsize=28836812 memory=0 CPUtime=0 cores=0-7
/proc/21768/task/21779/stat : 21779 (java) S 21766 21766 18566 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 420448409 29528895488 126055 33554432000 4194304 4196468 140726450634128 140069368276576 140071174031061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21780] ppid=21766 vsize=28836812 memory=0 CPUtime=0 cores=0-7
/proc/21768/task/21780/stat : 21780 (java) S 21766 21766 18566 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 420448409 29528895488 126055 33554432000 4194304 4196468 140726450634128 140069367223680 140071174031061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21781] ppid=21766 vsize=28836812 memory=0 CPUtime=0 cores=0-7
/proc/21768/task/21781/stat : 21781 (java) S 21766 21766 18566 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 420448412 29528895488 126055 33554432000 4194304 4196468 140726450634128 140069366171984 140071174039451 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21782] ppid=21766 vsize=28836812 memory=0 CPUtime=1.27 cores=0-7
/proc/21768/task/21782/stat : 21782 (java) R 21766 21766 18566 0 -1 4202560 4856 0 0 0 126 1 0 0 20 0 28 0 420448412 29528895488 126055 33554432000 4194304 4196468 140726450634128 140069365111832 140071157483216 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21783] ppid=21766 vsize=28836812 memory=0 CPUtime=1.29 cores=0-7
/proc/21768/task/21783/stat : 21783 (java) R 21766 21766 18566 0 -1 4202560 3994 0 0 0 129 0 0 0 20 0 28 0 420448412 29528895488 126055 33554432000 4194304 4196468 140726450634128 140069364058000 140071155565073 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21784] ppid=21766 vsize=28836812 memory=3472464357232120901 CPUtime=1.35 cores=0-7
/proc/21768/task/21784/stat : 21784 (java) R 21766 21766 18566 0 -1 4202560 4616 0 0 0 134 1 0 0 20 0 28 0 420448412 29528895488 126055 33554432000 4194304 4196468 140726450634128 140069362999720 140071157407640 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21785] ppid=21766 vsize=28836812 memory=0 CPUtime=0.84 cores=0-7
/proc/21768/task/21785/stat : 21785 (java) R 21766 21766 18566 0 -1 1077944384 4328 0 0 0 83 1 0 0 20 0 28 0 420448412 29528895488 126055 33554432000 4194304 4196468 140726450634128 140069361960944 140071174032002 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21786] ppid=21766 vsize=28836812 memory=2320515099073263152 CPUtime=0 cores=0-7
/proc/21768/task/21786/stat : 21786 (java) S 21766 21766 18566 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420448412 29528895488 126055 33554432000 4194304 4196468 140726450634128 140069360909408 140071174031061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21787] ppid=21766 vsize=28836812 memory=3617579288504579121 CPUtime=0 cores=0-7
/proc/21768/task/21787/stat : 21787 (java) S 21766 21766 18566 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 420448412 29528895488 126055 33554432000 4194304 4196468 140726450634128 140069359856688 140071174032002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=22028] ppid=21766 vsize=28836812 memory=3976735856566350383 CPUtime=0.05 cores=0-7
/proc/21768/task/22028/stat : 22028 (java) R 21766 21766 18566 0 -1 4202560 17 0 0 0 5 0 0 0 20 0 28 0 420448600 29528895488 126055 33554432000 4194304 4196468 140726450634128 140068900365128 140070778859056 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=22029] ppid=21766 vsize=28836812 memory=36753 CPUtime=0.06 cores=0-7
/proc/21768/task/22029/stat : 22029 (java) R 21766 21766 18566 0 -1 4202560 18 0 0 0 6 0 0 0 20 0 28 0 420448600 29528895488 126055 33554432000 4194304 4196468 140726450634128 140068905628008 140070784694390 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=22030] ppid=21766 vsize=28836812 memory=0 CPUtime=0.03 cores=0-7
/proc/21768/task/22030/stat : 22030 (java) R 21766 21766 18566 0 -1 4202560 17 0 0 0 3 0 0 0 20 0 28 0 420448600 29528895488 126055 33554432000 4194304 4196468 140726450634128 140068904577352 140070786876727 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=22031] ppid=21766 vsize=28836812 memory=0 CPUtime=0.03 cores=0-7
/proc/21768/task/22031/stat : 22031 (java) R 21766 21766 18566 0 -1 4202560 17 0 0 0 3 0 0 0 20 0 28 0 420448600 29528895488 126055 33554432000 4194304 4196468 140726450634128 140068908781952 140070785098038 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=22032] ppid=21766 vsize=28836812 memory=5793994532452520804 CPUtime=0 cores=0-7
/proc/21768/task/22032/stat : 22032 (java) R 21766 21766 18566 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 28 0 420448600 29528895488 126055 33554432000 4194304 4196468 140726450634128 140068903526904 140070784849297 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=22033] ppid=21766 vsize=28836812 memory=6081944546375328087 CPUtime=0.02 cores=0-7
/proc/21768/task/22033/stat : 22033 (java) R 21766 21766 18566 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 28 0 420448600 29528895488 126055 33554432000 4194304 4196468 140726450634128 140068901421464 140070786979859 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=22034] ppid=21766 vsize=28836812 memory=0 CPUtime=0.04 cores=0-7
/proc/21768/task/22034/stat : 22034 (java) R 21766 21766 18566 0 -1 4202560 17 0 0 0 4 0 0 0 20 0 28 0 420448602 29528895488 126055 33554432000 4194304 4196468 140726450634128 140068902471832 140070786979631 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=22035] ppid=21766 vsize=28836812 memory=280919718615136 CPUtime=0 cores=0-7
/proc/21768/task/22035/stat : 22035 (java) R 21766 21766 18566 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 420448605 29528895488 126055 33554432000 4194304 4196468 140726450634128 140068899310888 140071174042045 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
Current children cumulated CPU time: 11.01 s
Current children cumulated vsize: 28949940 KiB
Current children cumulated memory: 505672 KiB

[startup+2.12048 s]
/proc/loadavg: 7.95 8.19 7.92 11/218 22035
/proc/meminfo: memFree=26190776/32770624 swapFree=66977616/67108860
[pid=21766] ppid=21763 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/21766/stat : 21766 (xcsp3-exec) S 21763 21766 18566 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 420448406 115843072 363 33554432000 4194304 5098028 140733856210208 140733856208312 139794958402172 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18980864 140733856211830 140733856212073 140733856212073 140733856214986 0
/proc/21766/statm: 28282 363 305 221 0 87 0
[pid=21768] ppid=21766 vsize=28834892 memory=503108 CPUtime=11.77 cores=0-7
/proc/21768/stat : 21768 (java) S 21766 21766 18566 0 -1 1077944320 34530 0 0 0 1129 48 0 0 20 0 19 0 420448406 29526929408 125777 33554432000 4194304 4196468 140726450634128 140726450616672 140071174020855 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
/proc/21768/statm: 7208723 125777 3501 1 0 7169825 0
[pid=21768/tid=21769] ppid=21766 vsize=28834892 memory=-9108684669924967205 CPUtime=0.84 cores=0-7
/proc/21768/task/21769/stat : 21769 (java) S 21766 21766 18566 0 -1 1077944384 9445 0 0 0 78 6 0 0 20 0 19 0 420448406 29526929408 125777 33554432000 4194304 4196468 140726450634128 140071178263696 140071174031061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21770] ppid=21766 vsize=28834892 memory=-9001734013606258791 CPUtime=0.1 cores=0-7
/proc/21768/task/21770/stat : 21770 (java) S 21766 21766 18566 0 -1 1077944384 89 0 0 0 6 4 0 0 20 0 19 0 420448407 29526929408 125777 33554432000 4194304 4196468 140726450634128 140071126641808 140071174031061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21771] ppid=21766 vsize=28834892 memory=4134606225630022328 CPUtime=0.1 cores=0-7
/proc/21768/task/21771/stat : 21771 (java) S 21766 21766 18566 0 -1 1077944384 110 0 0 0 6 4 0 0 20 0 19 0 420448407 29526929408 125777 33554432000 4194304 4196468 140726450634128 140071125589008 140071174031061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21772] ppid=21766 vsize=28834892 memory=6791534058613427641 CPUtime=0.07 cores=0-7
/proc/21768/task/21772/stat : 21772 (java) S 21766 21766 18566 0 -1 1077944384 89 0 0 0 4 3 0 0 20 0 19 0 420448407 29526929408 125777 33554432000 4194304 4196468 140726450634128 140071124536208 140071174031061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21773] ppid=21766 vsize=28834892 memory=1202 CPUtime=0.1 cores=0-7
/proc/21768/task/21773/stat : 21773 (java) S 21766 21766 18566 0 -1 1077944384 117 0 0 0 6 4 0 0 20 0 19 0 420448407 29526929408 125777 33554432000 4194304 4196468 140726450634128 140071123483408 140071174031061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21774] ppid=21766 vsize=28834892 memory=0 CPUtime=0.1 cores=0-7
/proc/21768/task/21774/stat : 21774 (java) S 21766 21766 18566 0 -1 1077944384 102 0 0 0 7 3 0 0 20 0 19 0 420448407 29526929408 125777 33554432000 4194304 4196468 140726450634128 140071122430608 140071174031061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21775] ppid=21766 vsize=28834892 memory=0 CPUtime=0.09 cores=0-7
/proc/21768/task/21775/stat : 21775 (java) S 21766 21766 18566 0 -1 1077944384 121 0 0 0 5 4 0 0 20 0 19 0 420448407 29526929408 125777 33554432000 4194304 4196468 140726450634128 140071121377808 140071174031061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21776] ppid=21766 vsize=28834892 memory=104329005 CPUtime=0.08 cores=0-7
/proc/21768/task/21776/stat : 21776 (java) S 21766 21766 18566 0 -1 1077944384 109 0 0 0 5 3 0 0 20 0 19 0 420448407 29526929408 125777 33554432000 4194304 4196468 140726450634128 140071120325008 140071174031061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21777] ppid=21766 vsize=28834892 memory=704 CPUtime=0.09 cores=0-7
/proc/21768/task/21777/stat : 21777 (java) S 21766 21766 18566 0 -1 1077944384 123 0 0 0 6 3 0 0 20 0 19 0 420448407 29526929408 125777 33554432000 4194304 4196468 140726450634128 140071119272208 140071174031061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21778] ppid=21766 vsize=28834892 memory=1056 CPUtime=0 cores=0-7
/proc/21768/task/21778/stat : 21778 (java) S 21766 21766 18566 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 19 0 420448408 29526929408 125777 33554432000 4194304 4196468 140726450634128 140069369330752 140071174032002 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21779] ppid=21766 vsize=28834892 memory=1556 CPUtime=0 cores=0-7
/proc/21768/task/21779/stat : 21779 (java) S 21766 21766 18566 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 19 0 420448409 29526929408 125777 33554432000 4194304 4196468 140726450634128 140069368276576 140071174031061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21780] ppid=21766 vsize=28834892 memory=780 CPUtime=0 cores=0-7
/proc/21768/task/21780/stat : 21780 (java) S 21766 21766 18566 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 420448409 29526929408 125777 33554432000 4194304 4196468 140726450634128 140069367223680 140071174031061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21781] ppid=21766 vsize=28834892 memory=3252 CPUtime=0 cores=0-7
/proc/21768/task/21781/stat : 21781 (java) S 21766 21766 18566 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 420448412 29526929408 125777 33554432000 4194304 4196468 140726450634128 140069366170384 140071174031061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21782] ppid=21766 vsize=28834892 memory=0 CPUtime=1.36 cores=0-7
/proc/21768/task/21782/stat : 21782 (java) S 21766 21766 18566 0 -1 1077944384 4861 0 0 0 135 1 0 0 20 0 19 0 420448412 29526929408 125777 33554432000 4194304 4196468 140726450634128 140069365110448 140071174031061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21783] ppid=21766 vsize=28834892 memory=0 CPUtime=1.39 cores=0-7
/proc/21768/task/21783/stat : 21783 (java) R 21766 21766 18566 0 -1 4202560 4008 0 0 0 139 0 0 0 20 0 19 0 420448412 29526929408 125777 33554432000 4194304 4196468 140726450634128 140069364052672 140071155538754 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21784] ppid=21766 vsize=28834892 memory=140459859123104 CPUtime=1.45 cores=0-7
/proc/21768/task/21784/stat : 21784 (java) S 21766 21766 18566 0 -1 1077944384 4648 0 0 0 144 1 0 0 20 0 19 0 420448412 29526929408 125777 33554432000 4194304 4196468 140726450634128 140069362994144 140071174031061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21785] ppid=21766 vsize=28834892 memory=0 CPUtime=0.86 cores=0-7
/proc/21768/task/21785/stat : 21785 (java) S 21766 21766 18566 0 -1 1077944384 4365 0 0 0 85 1 0 0 20 0 19 0 420448412 29526929408 125777 33554432000 4194304 4196468 140726450634128 140069361960704 140071174031061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
[pid=21768/tid=21786] ppid=21766 vsize=28834892 memory=0 CPUtime=0 cores=0-7
/proc/21768/task/21786/stat : 21786 (java) S 21766 21766 18566 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 420448412 29526929408 125777 33554432000 4194304 4196468 140726450634128 140069360909408 140071174031061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17043456 140726450639850 140726450640022 140726450640022 140726450642895 0
Current children cumulated CPU time: 11.77 s
Current children cumulated vsize: 28948020 KiB
Current children cumulated memory: 504560 KiB

Child status: 0
Real time (s): 2.13933
CPU time (s): 11.791
CPU user time (s): 11.2972
CPU system time (s): 0.49376
CPU usage (%): 551.155
Max. virtual memory (cumulated for all children) (KiB): 28949940
Max. memory (cumulated for all children) (KiB): 505672

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.2972
system time used= 0.49376
maximum resident set size= 504580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35091
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5270
involuntary context switches= 247


# summary of solver processes directly reported to runsolver:
#   pid: 21766
#   total CPU time (s): 11.791
#   total CPU user time (s): 11.2972
#   total CPU system time (s): 0.49376

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.03998 second user time and 0.067745 second system time

The end

Launcher Data

Begin job on node104 at 2019-09-14 07:08:14
IDJOB=4394384
IDBENCH=138370
IDSOLVER=2843
FILE ID=node104/4394384-1568441912
RUNJOBID= node104-1568434335-18593
PBS_JOBID= 21702325
Free space on /tmp= 59012 MiB

SOLVER NAME= choco-solver parallel 2019-06-14
BENCH NAME= XCSP17/Fastfood/Fastfood-m1-s1/Fastfood-ff85.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-4394384-1568441912/watcher-4394384-1568441912 -o /tmp/evaluation-result-4394384-1568441912/solver-4394384-1568441912 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1568434335-18593 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 731542426 HOME/instance-4394384-1568441912.xml

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

MD5SUM BENCH= afda861cdc29bd1fb05e74ad0e6ff5a8
RANDOM SEED=731542426

node104.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	: 5334.09
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	: 5334.09
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	: 5334.09
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	: 5334.09
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:        26682808 kB
MemAvailable:   31834036 kB
Buffers:          186784 kB
Cached:          5217900 kB
SwapCached:        31688 kB
Active:          1778432 kB
Inactive:        3663516 kB
Active(anon):       4524 kB
Inactive(anon):    74136 kB
Active(file):    1773908 kB
Inactive(file):  3589380 kB
Unevictable:      107792 kB
Mlocked:          107792 kB
SwapTotal:      67108860 kB
SwapFree:       66977616 kB
Dirty:             26364 kB
Writeback:             0 kB
AnonPages:        144724 kB
Mapped:            44708 kB
Shmem:             32780 kB
Slab:             238116 kB
SReclaimable:     207552 kB
SUnreclaim:        30564 kB
KernelStack:        3808 kB
PageTables:         6060 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     489440 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    100352 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= 58988 MiB
End job on node104 at 2019-09-14 07:08:17