Trace number 4394475

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 parallelOPT943 195.212 25.2007

General information on the benchmark

NameMario/Mario-zinc-s1/
Mario-n-medium-3.xml
MD5SUM5e375f515acf7f26619053bdd8bbc393
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark943
Best CPU time to get the best result obtained on this benchmark57.1424
Satisfiable
(Un)Satisfiability was proved
Number of variables90
Number of constraints61
Number of domains57
Minimum domain size1
Maximum domain size30
Distribution of domain sizes[{"size":1,"count":2},{"size":2,"count":28},{"size":28,"count":1},{"size":29,"count":8},{"size":30,"count":51}]
Minimum variable degree1
Maximum variable degree3
Distribution of variable degrees[{"degree":1,"count":2},{"degree":2,"count":59},{"degree":3,"count":29}]
Minimum constraint arity1
Maximum constraint arity30
Distribution of constraint arities[{"arity":1,"count":1},{"arity":2,"count":58},{"arity":30,"count":2}]
Number of extensional constraints30
Number of intensional constraints29
Distribution of constraint types[{"type":"extension","count":30},{"type":"intension","count":29},{"type":"sum","count":1},{"type":"circuit","count":1}]
Optimization problemYES
Type of objectivemax 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-4394475-1568432638.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4394475-1568432638.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.28	c parse instance...
2.28/0.84	c solve instance...
2.78/0.97	o 0 
3.53/1.01	o 76 
3.53/1.06	o 85 
3.53/1.07	o 297 
3.53/1.10	o 367 
3.53/1.10	o 422 
4.80/1.23	o 444 
4.80/1.24	o 470 
4.80/1.24	o 529 
4.80/1.27	o 647 
6.25/1.49	o 745 
7.77/1.65	java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a weak clause (148/150)
7.77/1.66		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
7.77/1.66		at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
7.77/1.66		at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
7.77/1.66		at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
7.77/1.66		at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
7.77/1.66	Caused by: org.chocosolver.solver.exception.SolverException: Learn a weak clause (148/150)
7.77/1.66		at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:201)
7.77/1.66		at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219)
7.77/1.66		at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90)
7.77/1.66		at org.chocosolver.solver.Solver.repair(Solver.java:443)
7.77/1.66		at org.chocosolver.solver.Solver.searchLoop(Solver.java:301)
7.77/1.66		at org.chocosolver.solver.Solver.solve(Solver.java:262)
7.77/1.66		at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
7.77/1.66		at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
7.77/1.66		at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
7.77/1.66		at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
7.77/1.66		at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
7.77/1.66		at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
7.77/1.66		at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
7.77/1.66		at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
7.77/1.66		at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
7.77/1.66		at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
7.77/1.66	o 767 
11.79/2.16	o 785 
25.95/3.91	o 820 
34.76/5.07	o 843 
37.85/5.49	o 861 
48.18/6.70	o 888 
87.03/11.69	o 943 
194.66/25.18	s OPTIMUM FOUND
194.66/25.18	v <instantiation>
194.66/25.18	v 	<list>s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] f[0] f[1] f[2] f[3] f[4] f[5] f[6] f[7] f[8] f[9] f[10] f[11] f[12] f[13] f[14] f[15] f[16] f[17] f[18] f[19] f[20] f[21] f[22] f[23] f[24] f[25] f[26] f[27] f[28] f[29] g[0] g[1] g[2] g[3] g[4] g[5] g[6] g[7] g[8] g[9] g[10] g[11] g[12] g[13] g[14] g[15] g[16] g[17] g[18] g[19] g[20] g[21] g[22] g[23] g[24] g[25] g[26] g[27] g[28] g[29] </list>
194.66/25.18	v 	<values>27 0 2 13 4 5 22 7 8 9 10 11 12 21 14 15 19 17 3 18 1 6 26 28 24 25 29 16 20 23 178 0 0 28 0 0 42 0 0 0 0 0 0 77 0 0 137 0 63 161 67 99 337 19 0 0 44 181 216 265 0 0 0 81 0 0 49 0 0 0 0 0 0 14 0 0 76 0 86 99 11 92 85 95 0 0 57 59 46 93 </values>
194.66/25.18	v </instantiation>

Verifier Data

OK	943

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394475-1568432638/watcher-4394475-1568432638 -o /tmp/evaluation-result-4394475-1568432638/solver-4394475-1568432638 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1568432499-11955 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1844979199 HOME/instance-4394475-1568432638.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
solver pid=13664, runsolver pid=13661
Current StackSize limit: 8192 KiB


[startup+0.100113 s]*
/proc/loadavg: 6.90 7.71 8.03 2/212 13685
/proc/meminfo: memFree=31523364/32770624 swapFree=67004232/67108860
[pid=13664] ppid=13661 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/13664/stat : 13664 (xcsp3-exec) S 13661 13664 11928 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 419425413 115843072 364 33554432000 4194304 5098028 140732119747008 140732119745112 140196001157756 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34013184 140732119753589 140732119753833 140732119753833 140732119756746 0
/proc/13664/statm: 28282 364 305 221 0 87 0
[pid=13666] ppid=13664 vsize=28227388 memory=30960 CPUtime=0.12 cores=0-7
/proc/13666/stat : 13666 (java) S 13664 13664 11928 0 -1 1077944320 5626 0 0 0 11 1 0 0 20 0 20 0 419425414 28904845312 7740 33554432000 4194304 4196468 140728709199904 140728709182448 140366572723959 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
/proc/13666/statm: 7056847 7740 3159 1 0 7019032 0
[pid=13666/tid=13667] ppid=13664 vsize=28227388 memory=576460756329955445 CPUtime=0.09 cores=0-7
/proc/13666/task/13667/stat : 13667 (java) R 13664 13664 11928 0 -1 4202560 3536 0 0 0 8 1 0 0 20 0 20 0 419425414 28904845312 7740 33554432000 4194304 4196468 140728709199904 140366576959104 140366572745885 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13668] ppid=13664 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13666/task/13668/stat : 13668 (java) S 13664 13664 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419425415 28904845312 7740 33554432000 4194304 4196468 140728709199904 140366525344656 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13669] ppid=13664 vsize=28227388 memory=288370579427407488 CPUtime=0 cores=0-7
/proc/13666/task/13669/stat : 13669 (java) S 13664 13664 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419425415 28904845312 7740 33554432000 4194304 4196468 140728709199904 140366524291856 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13670] ppid=13664 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13666/task/13670/stat : 13670 (java) S 13664 13664 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419425415 28904845312 7740 33554432000 4194304 4196468 140728709199904 140366523239568 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13671] ppid=13664 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13666/task/13671/stat : 13671 (java) S 13664 13664 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419425415 28904845312 7740 33554432000 4194304 4196468 140728709199904 140366522186768 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13672] ppid=13664 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13666/task/13672/stat : 13672 (java) S 13664 13664 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419425415 28904845312 7740 33554432000 4194304 4196468 140728709199904 140366521133456 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13673] ppid=13664 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/13666/task/13673/stat : 13673 (java) S 13664 13664 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419425415 28904845312 7740 33554432000 4194304 4196468 140728709199904 140366520080656 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13674] ppid=13664 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13666/task/13674/stat : 13674 (java) S 13664 13664 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419425415 28904845312 7740 33554432000 4194304 4196468 140728709199904 140366519028368 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13675] ppid=13664 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13666/task/13675/stat : 13675 (java) S 13664 13664 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419425415 28904845312 7740 33554432000 4194304 4196468 140728709199904 140366517975568 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13676] ppid=13664 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13666/task/13676/stat : 13676 (java) S 13664 13664 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419425416 28904845312 7740 33554432000 4194304 4196468 140728709199904 140364951255664 140366572735106 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13677] ppid=13664 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13666/task/13677/stat : 13677 (java) S 13664 13664 11928 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419425417 28904845312 7740 33554432000 4194304 4196468 140728709199904 140364950201632 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13678] ppid=13664 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13666/task/13678/stat : 13678 (java) S 13664 13664 11928 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419425417 28904845312 7740 33554432000 4194304 4196468 140728709199904 140364949149296 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13679] ppid=13664 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13666/task/13679/stat : 13679 (java) S 13664 13664 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419425419 28904845312 7740 33554432000 4194304 4196468 140728709199904 140364948097616 140366572742555 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13680] ppid=13664 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13666/task/13680/stat : 13680 (java) S 13664 13664 11928 0 -1 1077944384 411 0 0 0 0 0 0 0 20 0 20 0 419425419 28904845312 7740 33554432000 4194304 4196468 140728709199904 140364947044464 140366572735106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13681] ppid=13664 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13666/task/13681/stat : 13681 (java) S 13664 13664 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419425419 28904845312 7740 33554432000 4194304 4196468 140728709199904 140364945991664 140366572735106 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13682] ppid=13664 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13666/task/13682/stat : 13682 (java) S 13664 13664 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419425419 28904845312 7740 33554432000 4194304 4196468 140728709199904 140364944939376 140366572735106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13683] ppid=13664 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/13666/task/13683/stat : 13683 (java) R 13664 13664 11928 0 -1 4202560 362 0 0 0 1 0 0 0 20 0 20 0 419425419 28904845312 7740 33554432000 4194304 4196468 140728709199904 140364943886576 140366556804446 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13684] ppid=13664 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13666/task/13684/stat : 13684 (java) S 13664 13664 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419425420 28904845312 7740 33554432000 4194304 4196468 140728709199904 140364942834528 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13685] ppid=13664 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/13666/task/13685/stat : 13685 (java) S 13664 13664 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419425420 28904845312 7740 33554432000 4194304 4196468 140728709199904 140364941781808 140366572735106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 32416 KiB

[startup+0.210109 s]*
/proc/loadavg: 6.90 7.71 8.03 2/212 13685
/proc/meminfo: memFree=31509264/32770624 swapFree=67004232/67108860
[pid=13664] ppid=13661 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/13664/stat : 13664 (xcsp3-exec) S 13661 13664 11928 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 419425413 115843072 364 33554432000 4194304 5098028 140732119747008 140732119745112 140196001157756 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34013184 140732119753589 140732119753833 140732119753833 140732119756746 0
/proc/13664/statm: 28282 364 305 221 0 87 0
[pid=13666] ppid=13664 vsize=28227388 memory=42840 CPUtime=0.33 cores=0-7
/proc/13666/stat : 13666 (java) S 13664 13664 11928 0 -1 1077944320 9467 0 0 0 30 3 0 0 20 0 20 0 419425414 28904845312 10710 33554432000 4194304 4196468 140728709199904 140728709182448 140366572723959 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
/proc/13666/statm: 7056847 10710 3307 1 0 7019032 0
[pid=13666/tid=13667] ppid=13664 vsize=28227388 memory=8316850467074736180 CPUtime=0.2 cores=0-7
/proc/13666/task/13667/stat : 13667 (java) R 13664 13664 11928 0 -1 4202560 6562 0 0 0 18 2 0 0 20 0 20 0 419425414 28904845312 10710 33554432000 4194304 4196468 140728709199904 140366576955872 140366572735894 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13668] ppid=13664 vsize=28227388 memory=14965 CPUtime=0 cores=0-7
/proc/13666/task/13668/stat : 13668 (java) S 13664 13664 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419425415 28904845312 10710 33554432000 4194304 4196468 140728709199904 140366525344656 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13669] ppid=13664 vsize=28227388 memory=140203275707693 CPUtime=0 cores=0-7
/proc/13666/task/13669/stat : 13669 (java) S 13664 13664 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419425415 28904845312 10710 33554432000 4194304 4196468 140728709199904 140366524291856 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13670] ppid=13664 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/13666/task/13670/stat : 13670 (java) S 13664 13664 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419425415 28904845312 10710 33554432000 4194304 4196468 140728709199904 140366523239568 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13671] ppid=13664 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13666/task/13671/stat : 13671 (java) S 13664 13664 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419425415 28904845312 10710 33554432000 4194304 4196468 140728709199904 140366522186768 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13672] ppid=13664 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13666/task/13672/stat : 13672 (java) S 13664 13664 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419425415 28904845312 10710 33554432000 4194304 4196468 140728709199904 140366521133456 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13673] ppid=13664 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/13666/task/13673/stat : 13673 (java) S 13664 13664 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419425415 28904845312 10710 33554432000 4194304 4196468 140728709199904 140366520080656 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13674] ppid=13664 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13666/task/13674/stat : 13674 (java) S 13664 13664 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419425415 28904845312 10710 33554432000 4194304 4196468 140728709199904 140366519028368 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13675] ppid=13664 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13666/task/13675/stat : 13675 (java) S 13664 13664 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419425415 28904845312 10710 33554432000 4194304 4196468 140728709199904 140366517975568 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13676] ppid=13664 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13666/task/13676/stat : 13676 (java) S 13664 13664 11928 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419425416 28904845312 10710 33554432000 4194304 4196468 140728709199904 140364951255664 140366572735106 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13677] ppid=13664 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13666/task/13677/stat : 13677 (java) S 13664 13664 11928 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419425417 28904845312 10710 33554432000 4194304 4196468 140728709199904 140364950201632 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13678] ppid=13664 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13666/task/13678/stat : 13678 (java) S 13664 13664 11928 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419425417 28904845312 10710 33554432000 4194304 4196468 140728709199904 140364949149296 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13679] ppid=13664 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13666/task/13679/stat : 13679 (java) S 13664 13664 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419425419 28904845312 10710 33554432000 4194304 4196468 140728709199904 140364948097616 140366572742555 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13680] ppid=13664 vsize=28227388 memory=0 CPUtime=0.03 cores=0-7
/proc/13666/task/13680/stat : 13680 (java) S 13664 13664 11928 0 -1 1077944384 553 0 0 0 3 0 0 0 20 0 20 0 419425419 28904845312 10710 33554432000 4194304 4196468 140728709199904 140364947044464 140366572735106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13681] ppid=13664 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/13666/task/13681/stat : 13681 (java) S 13664 13664 11928 0 -1 1077944384 250 0 0 0 1 0 0 0 20 0 20 0 419425419 28904845312 10710 33554432000 4194304 4196468 140728709199904 140364945991664 140366572735106 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13682] ppid=13664 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/13666/task/13682/stat : 13682 (java) S 13664 13664 11928 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 20 0 419425419 28904845312 10710 33554432000 4194304 4196468 140728709199904 140364944939376 140366572735106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13683] ppid=13664 vsize=28227388 memory=-1 CPUtime=0.07 cores=0-7
/proc/13666/task/13683/stat : 13683 (java) R 13664 13664 11928 0 -1 4202560 770 0 0 0 7 0 0 0 20 0 20 0 419425419 28904845312 10710 33554432000 4194304 4196468 140728709199904 140364943886576 140366551355621 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13684] ppid=13664 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13666/task/13684/stat : 13684 (java) S 13664 13664 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419425420 28904845312 10710 33554432000 4194304 4196468 140728709199904 140364942834528 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13685] ppid=13664 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/13666/task/13685/stat : 13685 (java) S 13664 13664 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419425420 28904845312 10710 33554432000 4194304 4196468 140728709199904 140364941781808 140366572735106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 44296 KiB

[startup+0.309609 s]*
/proc/loadavg: 6.90 7.71 8.03 5/212 13685
/proc/meminfo: memFree=31502800/32770624 swapFree=67004232/67108860
[pid=13664] ppid=13661 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/13664/stat : 13664 (xcsp3-exec) S 13661 13664 11928 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 419425413 115843072 364 33554432000 4194304 5098028 140732119747008 140732119745112 140196001157756 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34013184 140732119753589 140732119753833 140732119753833 140732119756746 0
/proc/13664/statm: 28282 364 305 221 0 87 0
[pid=13666] ppid=13664 vsize=28231644 memory=52268 CPUtime=0.52 cores=0-7
/proc/13666/stat : 13666 (java) S 13664 13664 11928 0 -1 1077944320 10837 0 0 0 48 4 0 0 20 0 20 0 419425414 28909203456 13067 33554432000 4194304 4196468 140728709199904 140728709182448 140366572723959 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
/proc/13666/statm: 7057911 13067 3362 1 0 7019032 0
[pid=13666/tid=13667] ppid=13664 vsize=28231644 memory=1398722017469774279 CPUtime=0.3 cores=0-7
/proc/13666/task/13667/stat : 13667 (java) R 13664 13664 11928 0 -1 4202560 7694 0 0 0 27 3 0 0 20 0 20 0 419425414 28909203456 13067 33554432000 4194304 4196468 140728709199904 140366576961880 140366572745885 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13668] ppid=13664 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/13666/task/13668/stat : 13668 (java) S 13664 13664 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419425415 28909203456 13067 33554432000 4194304 4196468 140728709199904 140366525344656 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13669] ppid=13664 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/13666/task/13669/stat : 13669 (java) S 13664 13664 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419425415 28909203456 13067 33554432000 4194304 4196468 140728709199904 140366524291856 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13670] ppid=13664 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/13666/task/13670/stat : 13670 (java) S 13664 13664 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419425415 28909203456 13067 33554432000 4194304 4196468 140728709199904 140366523239568 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13671] ppid=13664 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/13666/task/13671/stat : 13671 (java) S 13664 13664 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419425415 28909203456 13067 33554432000 4194304 4196468 140728709199904 140366522186768 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13672] ppid=13664 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/13666/task/13672/stat : 13672 (java) S 13664 13664 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419425415 28909203456 13067 33554432000 4194304 4196468 140728709199904 140366521133456 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13673] ppid=13664 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/13666/task/13673/stat : 13673 (java) S 13664 13664 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419425415 28909203456 13067 33554432000 4194304 4196468 140728709199904 140366520080656 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13674] ppid=13664 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/13666/task/13674/stat : 13674 (java) S 13664 13664 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419425415 28909203456 13067 33554432000 4194304 4196468 140728709199904 140366519028368 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13675] ppid=13664 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/13666/task/13675/stat : 13675 (java) S 13664 13664 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419425415 28909203456 13067 33554432000 4194304 4196468 140728709199904 140366517975568 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13676] ppid=13664 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/13666/task/13676/stat : 13676 (java) S 13664 13664 11928 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419425416 28909203456 13067 33554432000 4194304 4196468 140728709199904 140364951255664 140366572735106 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13677] ppid=13664 vsize=28231644 memory=280406335364480 CPUtime=0 cores=0-7
/proc/13666/task/13677/stat : 13677 (java) S 13664 13664 11928 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419425417 28909203456 13067 33554432000 4194304 4196468 140728709199904 140364950201632 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13678] ppid=13664 vsize=28231644 memory=280406335369088 CPUtime=0 cores=0-7
/proc/13666/task/13678/stat : 13678 (java) S 13664 13664 11928 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419425417 28909203456 13067 33554432000 4194304 4196468 140728709199904 140364949149296 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13679] ppid=13664 vsize=28231644 memory=280406335373696 CPUtime=0 cores=0-7
/proc/13666/task/13679/stat : 13679 (java) S 13664 13664 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419425419 28909203456 13067 33554432000 4194304 4196468 140728709199904 140364948097616 140366572742555 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13680] ppid=13664 vsize=28231644 memory=280406335378304 CPUtime=0.04 cores=0-7
/proc/13666/task/13680/stat : 13680 (java) S 13664 13664 11928 0 -1 1077944384 565 0 0 0 4 0 0 0 20 0 20 0 419425419 28909203456 13067 33554432000 4194304 4196468 140728709199904 140364947044464 140366572735106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13681] ppid=13664 vsize=28231644 memory=280406335382912 CPUtime=0.01 cores=0-7
/proc/13666/task/13681/stat : 13681 (java) S 13664 13664 11928 0 -1 1077944384 267 0 0 0 1 0 0 0 20 0 20 0 419425419 28909203456 13067 33554432000 4194304 4196468 140728709199904 140364945991664 140366572735106 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13682] ppid=13664 vsize=28231644 memory=280406335387520 CPUtime=0.02 cores=0-7
/proc/13666/task/13682/stat : 13682 (java) R 13664 13664 11928 0 -1 4202560 132 0 0 0 2 0 0 0 20 0 20 0 419425419 28909203456 13067 33554432000 4194304 4196468 140728709199904 140364944920392 140366557849987 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13683] ppid=13664 vsize=28231644 memory=280406335392128 CPUtime=0.12 cores=0-7
/proc/13666/task/13683/stat : 13683 (java) S 13664 13664 11928 0 -1 1077944384 867 0 0 0 12 0 0 0 20 0 20 0 419425419 28909203456 13067 33554432000 4194304 4196468 140728709199904 140364943886576 140366572735106 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13684] ppid=13664 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/13666/task/13684/stat : 13684 (java) S 13664 13664 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419425420 28909203456 13067 33554432000 4194304 4196468 140728709199904 140364942834528 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13685] ppid=13664 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/13666/task/13685/stat : 13685 (java) S 13664 13664 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419425420 28909203456 13067 33554432000 4194304 4196468 140728709199904 140364941781808 140366572735106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 53724 KiB

[startup+0.700927 s]
/proc/loadavg: 6.90 7.71 8.03 2/212 13685
/proc/meminfo: memFree=31480360/32770624 swapFree=67004232/67108860
[pid=13664] ppid=13661 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/13664/stat : 13664 (xcsp3-exec) S 13661 13664 11928 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 419425413 115843072 364 33554432000 4194304 5098028 140732119747008 140732119745112 140196001157756 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34013184 140732119753589 140732119753833 140732119753833 140732119756746 0
/proc/13664/statm: 28282 364 305 221 0 87 0
[pid=13666] ppid=13664 vsize=28233768 memory=100620 CPUtime=1.79 cores=0-7
/proc/13666/stat : 13666 (java) S 13664 13664 11928 0 -1 1077944320 15781 0 0 0 173 6 0 0 20 0 20 0 419425414 28911378432 25155 33554432000 4194304 4196468 140728709199904 140728709182448 140366572723959 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
/proc/13666/statm: 7058442 25155 3454 1 0 7019544 0
[pid=13666/tid=13667] ppid=13664 vsize=28233768 memory=0 CPUtime=0.68 cores=0-7
/proc/13666/task/13667/stat : 13667 (java) R 13664 13664 11928 0 -1 4202560 9309 0 0 0 64 4 0 0 20 0 20 0 419425414 28911378432 25155 33554432000 4194304 4196468 140728709199904 140366576961664 140366191880804 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13668] ppid=13664 vsize=28233768 memory=140203167884160 CPUtime=0 cores=0-7
/proc/13666/task/13668/stat : 13668 (java) S 13664 13664 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419425415 28911378432 25155 33554432000 4194304 4196468 140728709199904 140366525344656 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13669] ppid=13664 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/13666/task/13669/stat : 13669 (java) S 13664 13664 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419425415 28911378432 25155 33554432000 4194304 4196468 140728709199904 140366524291856 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13670] ppid=13664 vsize=28233768 memory=1052 CPUtime=0 cores=0-7
/proc/13666/task/13670/stat : 13670 (java) S 13664 13664 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419425415 28911378432 25155 33554432000 4194304 4196468 140728709199904 140366523239568 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0

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

[pid=13666/tid=13683] ppid=13664 vsize=28768328 memory=14012 CPUtime=1.32 cores=0-7
/proc/13666/task/13683/stat : 13683 (java) S 13664 13664 11928 0 -1 1077944384 7465 0 0 0 130 2 0 0 20 0 28 0 419425419 29458767872 369902 33554432000 4194304 4196468 140728709199904 140364943886576 140366572735106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13684] ppid=13664 vsize=28768328 memory=19696 CPUtime=0 cores=0-7
/proc/13666/task/13684/stat : 13684 (java) S 13664 13664 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419425420 29458767872 369902 33554432000 4194304 4196468 140728709199904 140364942834528 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13685] ppid=13664 vsize=28768328 memory=14068 CPUtime=0 cores=0-7
/proc/13666/task/13685/stat : 13685 (java) S 13664 13664 11928 0 -1 1077944384 607 0 0 0 0 0 0 0 20 0 28 0 419425420 29458767872 369902 33554432000 4194304 4196468 140728709199904 140364941781808 140366572735106 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13830] ppid=13664 vsize=28768328 memory=2120 CPUtime=12.9 cores=0-7
/proc/13666/task/13830/stat : 13830 (java) R 13664 13664 11928 0 -1 4202560 1045 0 0 0 1290 0 0 0 20 0 28 0 419426583 29458767872 369902 33554432000 4194304 4196468 140728709199904 140364925447496 140366199055024 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13831] ppid=13664 vsize=28768328 memory=504 CPUtime=12.98 cores=0-7
/proc/13666/task/13831/stat : 13831 (java) R 13664 13664 11928 0 -1 4202560 378 0 0 0 1298 0 0 0 20 0 28 0 419426583 29458767872 369902 33554432000 4194304 4196468 140728709199904 140364929659304 140366199452103 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13832] ppid=13664 vsize=28768328 memory=1560 CPUtime=12.92 cores=0-7
/proc/13666/task/13832/stat : 13832 (java) R 13664 13664 11928 0 -1 4202560 6813 0 0 0 1281 11 0 0 20 0 28 0 419426583 29458767872 369902 33554432000 4194304 4196468 140728709199904 140364928606136 140366202026731 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13833] ppid=13664 vsize=28768328 memory=924 CPUtime=12.8 cores=0-7
/proc/13666/task/13833/stat : 13833 (java) R 13664 13664 11928 0 -1 4202560 1328 0 0 0 1278 2 0 0 20 0 28 0 419426583 29458767872 369902 33554432000 4194304 4196468 140728709199904 140364923342584 140366197541888 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13834] ppid=13664 vsize=28768328 memory=1692 CPUtime=12.93 cores=0-7
/proc/13666/task/13834/stat : 13834 (java) R 13664 13664 11928 0 -1 4202560 877 0 0 0 1293 0 0 0 20 0 28 0 419426583 29458767872 369902 33554432000 4194304 4196468 140728709199904 140364926501208 140366200776025 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13835] ppid=13664 vsize=28768328 memory=792 CPUtime=13.02 cores=0-7
/proc/13666/task/13835/stat : 13835 (java) R 13664 13664 11928 0 -1 4202560 652 0 0 0 1302 0 0 0 20 0 28 0 419426583 29458767872 369902 33554432000 4194304 4196468 140728709199904 140364927552832 140366198315951 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13836] ppid=13664 vsize=28768328 memory=1448 CPUtime=12.94 cores=0-7
/proc/13666/task/13836/stat : 13836 (java) R 13664 13664 11928 0 -1 4202560 642 0 0 0 1294 0 0 0 20 0 28 0 419426583 29458767872 369902 33554432000 4194304 4196468 140728709199904 140364930712376 140366198739150 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13837] ppid=13664 vsize=28768328 memory=1964 CPUtime=13.01 cores=0-7
/proc/13666/task/13837/stat : 13837 (java) R 13664 13664 11928 0 -1 4202560 644 0 0 0 1301 0 0 0 20 0 28 0 419426583 29458767872 369902 33554432000 4194304 4196468 140728709199904 140364924395848 140366198749714 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
Current children cumulated CPU time: 192.2 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 1481064 KiB

[startup+25.0019 s]*
/proc/loadavg: 7.57 7.81 8.06 9/220 13838
/proc/meminfo: memFree=30041008/32770624 swapFree=67004232/67108860
[pid=13664] ppid=13661 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/13664/stat : 13664 (xcsp3-exec) S 13661 13664 11928 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 419425413 115843072 364 33554432000 4194304 5098028 140732119747008 140732119745112 140196001157756 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34013184 140732119753589 140732119753833 140732119753833 140732119756746 0
/proc/13664/statm: 28282 364 305 221 0 87 0
[pid=13666] ppid=13664 vsize=28768328 memory=1512376 CPUtime=193.86 cores=0-7
/proc/13666/stat : 13666 (java) S 13664 13664 11928 0 -1 1077944320 90656 0 0 0 19277 109 0 0 20 0 28 0 419425414 29458767872 378094 33554432000 4194304 4196468 140728709199904 140728709182448 140366572723959 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
/proc/13666/statm: 7192082 378094 3535 1 0 7153184 0
[pid=13666/tid=13667] ppid=13664 vsize=28768328 memory=1398722017469774279 CPUtime=0.86 cores=0-7
/proc/13666/task/13667/stat : 13667 (java) S 13664 13664 11928 0 -1 1077944384 9735 0 0 0 81 5 0 0 20 0 28 0 419425414 29458767872 378094 33554432000 4194304 4196468 140728709199904 140366576964736 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13668] ppid=13664 vsize=28768328 memory=0 CPUtime=0.18 cores=0-7
/proc/13666/task/13668/stat : 13668 (java) S 13664 13664 11928 0 -1 1077944384 1484 0 0 0 12 6 0 0 20 0 28 0 419425415 29458767872 378094 33554432000 4194304 4196468 140728709199904 140366525344656 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13669] ppid=13664 vsize=28768328 memory=-1 CPUtime=0.14 cores=0-7
/proc/13666/task/13669/stat : 13669 (java) S 13664 13664 11928 0 -1 1077944384 493 0 0 0 9 5 0 0 20 0 28 0 419425415 29458767872 378094 33554432000 4194304 4196468 140728709199904 140366524291856 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13670] ppid=13664 vsize=28768328 memory=-1 CPUtime=0.18 cores=0-7
/proc/13666/task/13670/stat : 13670 (java) S 13664 13664 11928 0 -1 1077944384 371 0 0 0 11 7 0 0 20 0 28 0 419425415 29458767872 378094 33554432000 4194304 4196468 140728709199904 140366523239568 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13671] ppid=13664 vsize=28768328 memory=0 CPUtime=0.15 cores=0-7
/proc/13666/task/13671/stat : 13671 (java) S 13664 13664 11928 0 -1 1077944384 686 0 0 0 10 5 0 0 20 0 28 0 419425415 29458767872 378094 33554432000 4194304 4196468 140728709199904 140366522186768 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13672] ppid=13664 vsize=28768328 memory=0 CPUtime=0.17 cores=0-7
/proc/13666/task/13672/stat : 13672 (java) S 13664 13664 11928 0 -1 1077944384 313 0 0 0 11 6 0 0 20 0 28 0 419425415 29458767872 378094 33554432000 4194304 4196468 140728709199904 140366521133456 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13673] ppid=13664 vsize=28768328 memory=-1 CPUtime=0.18 cores=0-7
/proc/13666/task/13673/stat : 13673 (java) S 13664 13664 11928 0 -1 1077944384 229 0 0 0 12 6 0 0 20 0 28 0 419425415 29458767872 378094 33554432000 4194304 4196468 140728709199904 140366520080656 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13674] ppid=13664 vsize=28768328 memory=0 CPUtime=0.17 cores=0-7
/proc/13666/task/13674/stat : 13674 (java) S 13664 13664 11928 0 -1 1077944384 305 0 0 0 11 6 0 0 20 0 28 0 419425415 29458767872 378094 33554432000 4194304 4196468 140728709199904 140366519028368 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13675] ppid=13664 vsize=28768328 memory=0 CPUtime=0.14 cores=0-7
/proc/13666/task/13675/stat : 13675 (java) S 13664 13664 11928 0 -1 1077944384 238 0 0 0 9 5 0 0 20 0 28 0 419425415 29458767872 378094 33554432000 4194304 4196468 140728709199904 140366517975568 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13676] ppid=13664 vsize=28768328 memory=0 CPUtime=0.03 cores=0-7
/proc/13666/task/13676/stat : 13676 (java) S 13664 13664 11928 0 -1 1077944384 1700 0 0 0 3 0 0 0 20 0 28 0 419425416 29458767872 378094 33554432000 4194304 4196468 140728709199904 140364951255664 140366572735106 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13677] ppid=13664 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/13666/task/13677/stat : 13677 (java) S 13664 13664 11928 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 419425417 29458767872 378094 33554432000 4194304 4196468 140728709199904 140364950201696 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13678] ppid=13664 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/13666/task/13678/stat : 13678 (java) S 13664 13664 11928 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 419425417 29458767872 378094 33554432000 4194304 4196468 140728709199904 140364949149312 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13679] ppid=13664 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/13666/task/13679/stat : 13679 (java) S 13664 13664 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419425419 29458767872 378094 33554432000 4194304 4196468 140728709199904 140364948097616 140366572742555 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13680] ppid=13664 vsize=28768328 memory=6655300316396806240 CPUtime=3.96 cores=0-7
/proc/13666/task/13680/stat : 13680 (java) S 13664 13664 11928 0 -1 1077944384 16998 0 0 0 393 3 0 0 20 0 28 0 419425419 29458767872 378094 33554432000 4194304 4196468 140728709199904 140364947044464 140366572735106 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13681] ppid=13664 vsize=28768328 memory=0 CPUtime=4 cores=0-7
/proc/13666/task/13681/stat : 13681 (java) S 13664 13664 11928 0 -1 1077944384 13472 0 0 0 397 3 0 0 20 0 28 0 419425419 29458767872 378094 33554432000 4194304 4196468 140728709199904 140364945991664 140366572735106 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13682] ppid=13664 vsize=28768328 memory=0 CPUtime=3.54 cores=0-7
/proc/13666/task/13682/stat : 13682 (java) S 13664 13664 11928 0 -1 1077944384 13448 0 0 0 351 3 0 0 20 0 28 0 419425419 29458767872 378094 33554432000 4194304 4196468 140728709199904 140364944939376 140366572735106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13683] ppid=13664 vsize=28768328 memory=0 CPUtime=1.32 cores=0-7
/proc/13666/task/13683/stat : 13683 (java) S 13664 13664 11928 0 -1 1077944384 7465 0 0 0 130 2 0 0 20 0 28 0 419425419 29458767872 378094 33554432000 4194304 4196468 140728709199904 140364943886576 140366572735106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13684] ppid=13664 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/13666/task/13684/stat : 13684 (java) S 13664 13664 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419425420 29458767872 378094 33554432000 4194304 4196468 140728709199904 140364942834528 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13685] ppid=13664 vsize=28768328 memory=-1 CPUtime=0 cores=0-7
/proc/13666/task/13685/stat : 13685 (java) S 13664 13664 11928 0 -1 1077944384 607 0 0 0 0 0 0 0 20 0 28 0 419425420 29458767872 378094 33554432000 4194304 4196468 140728709199904 140364941781808 140366572735106 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13830] ppid=13664 vsize=28768328 memory=-1 CPUtime=13.11 cores=0-7
/proc/13666/task/13830/stat : 13830 (java) R 13664 13664 11928 0 -1 4202560 1046 0 0 0 1311 0 0 0 20 0 28 0 419426583 29458767872 378094 33554432000 4194304 4196468 140728709199904 140364925447496 140366198739828 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13831] ppid=13664 vsize=28768328 memory=0 CPUtime=13.19 cores=0-7
/proc/13666/task/13831/stat : 13831 (java) R 13664 13664 11928 0 -1 4202560 378 0 0 0 1319 0 0 0 20 0 28 0 419426583 29458767872 378094 33554432000 4194304 4196468 140728709199904 140364929659304 140366198114752 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13832] ppid=13664 vsize=28768328 memory=0 CPUtime=13.12 cores=0-7
/proc/13666/task/13832/stat : 13832 (java) R 13664 13664 11928 0 -1 4202560 6852 0 0 0 1301 11 0 0 20 0 28 0 419426583 29458767872 378094 33554432000 4194304 4196468 140728709199904 140364928606136 140366205451036 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13833] ppid=13664 vsize=28768328 memory=0 CPUtime=13 cores=0-7
/proc/13666/task/13833/stat : 13833 (java) R 13664 13664 11928 0 -1 4202560 1331 0 0 0 1298 2 0 0 20 0 28 0 419426583 29458767872 378094 33554432000 4194304 4196468 140728709199904 140364923342584 140366198482121 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13834] ppid=13664 vsize=28768328 memory=0 CPUtime=13.14 cores=0-7
/proc/13666/task/13834/stat : 13834 (java) R 13664 13664 11928 0 -1 4202560 879 0 0 0 1314 0 0 0 20 0 28 0 419426583 29458767872 378094 33554432000 4194304 4196468 140728709199904 140364926501208 140366200776025 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13835] ppid=13664 vsize=28768328 memory=0 CPUtime=13.23 cores=0-7
/proc/13666/task/13835/stat : 13835 (java) R 13664 13664 11928 0 -1 4202560 652 0 0 0 1323 0 0 0 20 0 28 0 419426583 29458767872 378094 33554432000 4194304 4196468 140728709199904 140364927552832 140366199181812 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13836] ppid=13664 vsize=28768328 memory=0 CPUtime=13.15 cores=0-7
/proc/13666/task/13836/stat : 13836 (java) R 13664 13664 11928 0 -1 4202560 642 0 0 0 1315 0 0 0 20 0 28 0 419426583 29458767872 378094 33554432000 4194304 4196468 140728709199904 140364930712376 140366198749880 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13837] ppid=13664 vsize=28768328 memory=0 CPUtime=13.22 cores=0-7
/proc/13666/task/13837/stat : 13837 (java) R 13664 13664 11928 0 -1 4202560 644 0 0 0 1322 0 0 0 20 0 28 0 419426583 29458767872 378094 33554432000 4194304 4196468 140728709199904 140364924395848 140366198325888 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
Current children cumulated CPU time: 193.86 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 1513832 KiB

[startup+25.1109 s]
/proc/loadavg: 7.57 7.81 8.06 9/220 13838
/proc/meminfo: memFree=30041008/32770624 swapFree=67004232/67108860
[pid=13664] ppid=13661 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/13664/stat : 13664 (xcsp3-exec) S 13661 13664 11928 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 419425413 115843072 364 33554432000 4194304 5098028 140732119747008 140732119745112 140196001157756 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34013184 140732119753589 140732119753833 140732119753833 140732119756746 0
/proc/13664/statm: 28282 364 305 221 0 87 0
[pid=13666] ppid=13664 vsize=28768328 memory=1526712 CPUtime=194.66 cores=0-7
/proc/13666/stat : 13666 (java) S 13664 13664 11928 0 -1 1077944320 90671 0 0 0 19356 110 0 0 20 0 28 0 419425414 29458767872 381678 33554432000 4194304 4196468 140728709199904 140728709182448 140366572723959 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
/proc/13666/statm: 7192082 381678 3535 1 0 7153184 0
[pid=13666/tid=13667] ppid=13664 vsize=28768328 memory=1461176 CPUtime=0.86 cores=0-7
/proc/13666/task/13667/stat : 13667 (java) S 13664 13664 11928 0 -1 1077944384 9735 0 0 0 81 5 0 0 20 0 28 0 419425414 29458767872 381678 33554432000 4194304 4196468 140728709199904 140366576964736 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13668] ppid=13664 vsize=28768328 memory=1391544 CPUtime=0.18 cores=0-7
/proc/13666/task/13668/stat : 13668 (java) S 13664 13664 11928 0 -1 1077944384 1484 0 0 0 12 6 0 0 20 0 28 0 419425415 29458767872 381678 33554432000 4194304 4196468 140728709199904 140366525344656 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13669] ppid=13664 vsize=28768328 memory=1493944 CPUtime=0.14 cores=0-7
/proc/13666/task/13669/stat : 13669 (java) S 13664 13664 11928 0 -1 1077944384 493 0 0 0 9 5 0 0 20 0 28 0 419425415 29458767872 381678 33554432000 4194304 4196468 140728709199904 140366524291856 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13670] ppid=13664 vsize=28768328 memory=1456 CPUtime=0.18 cores=0-7
/proc/13666/task/13670/stat : 13670 (java) S 13664 13664 11928 0 -1 1077944384 371 0 0 0 11 7 0 0 20 0 28 0 419425415 29458767872 381678 33554432000 4194304 4196468 140728709199904 140366523239568 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13671] ppid=13664 vsize=28768328 memory=1287096 CPUtime=0.15 cores=0-7
/proc/13666/task/13671/stat : 13671 (java) S 13664 13664 11928 0 -1 1077944384 686 0 0 0 10 5 0 0 20 0 28 0 419425415 29458767872 381678 33554432000 4194304 4196468 140728709199904 140366522186768 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13672] ppid=13664 vsize=28768328 memory=1287096 CPUtime=0.17 cores=0-7
/proc/13666/task/13672/stat : 13672 (java) S 13664 13664 11928 0 -1 1077944384 313 0 0 0 11 6 0 0 20 0 28 0 419425415 29458767872 381678 33554432000 4194304 4196468 140728709199904 140366521133456 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13673] ppid=13664 vsize=28768328 memory=2456 CPUtime=0.18 cores=0-7
/proc/13666/task/13673/stat : 13673 (java) S 13664 13664 11928 0 -1 1077944384 229 0 0 0 12 6 0 0 20 0 28 0 419425415 29458767872 381678 33554432000 4194304 4196468 140728709199904 140366520080656 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13674] ppid=13664 vsize=28768328 memory=1760 CPUtime=0.17 cores=0-7
/proc/13666/task/13674/stat : 13674 (java) S 13664 13664 11928 0 -1 1077944384 305 0 0 0 11 6 0 0 20 0 28 0 419425415 29458767872 381678 33554432000 4194304 4196468 140728709199904 140366519028368 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13675] ppid=13664 vsize=28768328 memory=1366968 CPUtime=0.14 cores=0-7
/proc/13666/task/13675/stat : 13675 (java) S 13664 13664 11928 0 -1 1077944384 238 0 0 0 9 5 0 0 20 0 28 0 419425415 29458767872 381678 33554432000 4194304 4196468 140728709199904 140366517975568 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13676] ppid=13664 vsize=28768328 memory=1456 CPUtime=0.03 cores=0-7
/proc/13666/task/13676/stat : 13676 (java) S 13664 13664 11928 0 -1 1077944384 1700 0 0 0 3 0 0 0 20 0 28 0 419425416 29458767872 381678 33554432000 4194304 4196468 140728709199904 140364951255664 140366572735106 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13677] ppid=13664 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/13666/task/13677/stat : 13677 (java) S 13664 13664 11928 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 419425417 29458767872 381678 33554432000 4194304 4196468 140728709199904 140364950201696 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13678] ppid=13664 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/13666/task/13678/stat : 13678 (java) S 13664 13664 11928 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 419425417 29458767872 381678 33554432000 4194304 4196468 140728709199904 140364949149312 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13679] ppid=13664 vsize=28768328 memory=1398722017469774279 CPUtime=0 cores=0-7
/proc/13666/task/13679/stat : 13679 (java) S 13664 13664 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419425419 29458767872 381678 33554432000 4194304 4196468 140728709199904 140364948097616 140366572742555 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13680] ppid=13664 vsize=28768328 memory=1416 CPUtime=3.96 cores=0-7
/proc/13666/task/13680/stat : 13680 (java) S 13664 13664 11928 0 -1 1077944384 16998 0 0 0 393 3 0 0 20 0 28 0 419425419 29458767872 381678 33554432000 4194304 4196468 140728709199904 140364947044464 140366572735106 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13681] ppid=13664 vsize=28768328 memory=1556 CPUtime=4 cores=0-7
/proc/13666/task/13681/stat : 13681 (java) S 13664 13664 11928 0 -1 1077944384 13472 0 0 0 397 3 0 0 20 0 28 0 419425419 29458767872 381678 33554432000 4194304 4196468 140728709199904 140364945991664 140366572735106 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13682] ppid=13664 vsize=28768328 memory=6791534058613427641 CPUtime=3.54 cores=0-7
/proc/13666/task/13682/stat : 13682 (java) S 13664 13664 11928 0 -1 1077944384 13448 0 0 0 351 3 0 0 20 0 28 0 419425419 29458767872 381678 33554432000 4194304 4196468 140728709199904 140364944939376 140366572735106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13683] ppid=13664 vsize=28768328 memory=26660 CPUtime=1.32 cores=0-7
/proc/13666/task/13683/stat : 13683 (java) S 13664 13664 11928 0 -1 1077944384 7465 0 0 0 130 2 0 0 20 0 28 0 419425419 29458767872 381678 33554432000 4194304 4196468 140728709199904 140364943886576 140366572735106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13684] ppid=13664 vsize=28768328 memory=2321383752266169449 CPUtime=0 cores=0-7
/proc/13666/task/13684/stat : 13684 (java) S 13664 13664 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419425420 29458767872 381678 33554432000 4194304 4196468 140728709199904 140364942834528 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13685] ppid=13664 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/13666/task/13685/stat : 13685 (java) S 13664 13664 11928 0 -1 1077944384 607 0 0 0 0 0 0 0 20 0 28 0 419425420 29458767872 381678 33554432000 4194304 4196468 140728709199904 140364941781808 140366572735106 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13830] ppid=13664 vsize=28768328 memory=0 CPUtime=13.21 cores=0-7
/proc/13666/task/13830/stat : 13830 (java) R 13664 13664 11928 0 -1 4202560 1046 0 0 0 1321 0 0 0 20 0 28 0 419426583 29458767872 381678 33554432000 4194304 4196468 140728709199904 140364925447496 140366198481884 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13831] ppid=13664 vsize=28768328 memory=303430223234596890 CPUtime=13.29 cores=0-7
/proc/13666/task/13831/stat : 13831 (java) R 13664 13664 11928 0 -1 4202560 378 0 0 0 1329 0 0 0 20 0 28 0 419426583 29458767872 381678 33554432000 4194304 4196468 140728709199904 140364929659304 140366199181372 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13832] ppid=13664 vsize=28768328 memory=0 CPUtime=13.22 cores=0-7
/proc/13666/task/13832/stat : 13832 (java) R 13664 13664 11928 0 -1 4202560 6862 0 0 0 1311 11 0 0 20 0 28 0 419426583 29458767872 381678 33554432000 4194304 4196468 140728709199904 140364928606136 140366197922422 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13833] ppid=13664 vsize=28768328 memory=297301347919988921 CPUtime=13.1 cores=0-7
/proc/13666/task/13833/stat : 13833 (java) R 13664 13664 11928 0 -1 4202560 1333 0 0 0 1308 2 0 0 20 0 28 0 419426583 29458767872 381678 33554432000 4194304 4196468 140728709199904 140364923342584 140366204125626 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13834] ppid=13664 vsize=28768328 memory=4580 CPUtime=13.24 cores=0-7
/proc/13666/task/13834/stat : 13834 (java) R 13664 13664 11928 0 -1 4202560 879 0 0 0 1324 0 0 0 20 0 28 0 419426583 29458767872 381678 33554432000 4194304 4196468 140728709199904 140364926501208 140366199452215 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13835] ppid=13664 vsize=28768328 memory=1456 CPUtime=13.33 cores=0-7
/proc/13666/task/13835/stat : 13835 (java) R 13664 13664 11928 0 -1 4202560 654 0 0 0 1333 0 0 0 20 0 28 0 419426583 29458767872 381678 33554432000 4194304 4196468 140728709199904 140364927552832 140366198481604 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13836] ppid=13664 vsize=28768328 memory=1456 CPUtime=13.25 cores=0-7
/proc/13666/task/13836/stat : 13836 (java) R 13664 13664 11928 0 -1 4202560 642 0 0 0 1325 0 0 0 20 0 28 0 419426583 29458767872 381678 33554432000 4194304 4196468 140728709199904 140364930712376 140366199054373 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
[pid=13666/tid=13837] ppid=13664 vsize=28768328 memory=1287096 CPUtime=13.31 cores=0-7
/proc/13666/task/13837/stat : 13837 (java) R 13664 13664 11928 0 -1 4202560 645 0 0 0 1331 0 0 0 20 0 28 0 419426583 29458767872 381678 33554432000 4194304 4196468 140728709199904 140364924395848 140366205263306 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0
Current children cumulated CPU time: 194.66 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 1528168 KiB

Child status: 0
Real time (s): 25.2007
CPU time (s): 195.212
CPU user time (s): 194.086
CPU system time (s): 1.12543
CPU usage (%): 774.63
Max. virtual memory (cumulated for all children) (KiB): 28883772
Max. memory (cumulated for all children) (KiB): 1528168

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 194.086
system time used= 1.12543
maximum resident set size= 1536784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 92441
page faults= 0
swaps= 0
block input operations= 0
block output operations= 120
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7283
involuntary context switches= 3579


# summary of solver processes directly reported to runsolver:
#   pid: 13664
#   total CPU time (s): 195.212
#   total CPU user time (s): 194.086
#   total CPU system time (s): 1.12543

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.213198 second user time and 0.35302 second system time

The end

Launcher Data

Begin job on node148 at 2019-09-14 05:43:21
IDJOB=4394475
IDBENCH=133277
IDSOLVER=2843
FILE ID=node148/4394475-1568432638
RUNJOBID= node148-1568432499-11955
PBS_JOBID= 21702314
Free space on /tmp= 61308 MiB

SOLVER NAME= choco-solver parallel 2019-06-14
BENCH NAME= XCSP17/Mario/Mario-zinc-s1/Mario-n-medium-3.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-4394475-1568432638/watcher-4394475-1568432638 -o /tmp/evaluation-result-4394475-1568432638/solver-4394475-1568432638 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1568432499-11955 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1844979199 HOME/instance-4394475-1568432638.xml

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

MD5SUM BENCH= 5e375f515acf7f26619053bdd8bbc393
RANDOM SEED=1844979199

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:        31541668 kB
MemAvailable:   31909300 kB
Buffers:           91912 kB
Cached:           573012 kB
SwapCached:         3812 kB
Active:           413080 kB
Inactive:         258720 kB
Active(anon):       4424 kB
Inactive(anon):    43744 kB
Active(file):     408656 kB
Inactive(file):   214976 kB
Unevictable:      108944 kB
Mlocked:          108944 kB
SwapTotal:      67108860 kB
SwapFree:       67004232 kB
Dirty:             26388 kB
Writeback:             0 kB
AnonPages:        168928 kB
Mapped:            44492 kB
Shmem:             32352 kB
Slab:             148428 kB
SReclaimable:     119672 kB
SUnreclaim:        28756 kB
KernelStack:        3840 kB
PageTables:         6172 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     497736 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    122880 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 05:43:47