Trace number 4394528

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 parallelWrong Opt.156 18.3576 2.97578

General information on the benchmark

NameRcpsp/Rcpsp-m1-j60/
Rcpsp-j60-37-03.xml
MD5SUM7e8aca8f1f1855a8a689daa123caec8a
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark139
Best CPU time to get the best result obtained on this benchmark248.551
Satisfiable
(Un)Satisfiability was proved
Number of variables62
Number of constraints135
Number of domains2
Minimum domain size1
Maximum domain size391
Distribution of domain sizes[{"size":1,"count":1},{"size":391,"count":61}]
Minimum variable degree3
Maximum variable degree9
Distribution of variable degrees[{"degree":3,"count":1},{"degree":4,"count":2},{"degree":5,"count":13},{"degree":6,"count":23},{"degree":7,"count":16},{"degree":8,"count":5},{"degree":9,"count":2}]
Minimum constraint arity2
Maximum constraint arity34
Distribution of constraint arities[{"arity":2,"count":131},{"arity":28,"count":2},{"arity":31,"count":1},{"arity":34,"count":1}]
Number of extensional constraints0
Number of intensional constraints131
Distribution of constraint types[{"type":"intension","count":131},{"type":"cumulative","count":4}]
Optimization problemYES
Type of objectivemin VAR

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-4394528-1568431257.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4394528-1568431257.xml, -tl, 20160s, -p, 8]
0.34/0.22	c 8 solvers in parallel
0.34/0.28	c parse instance...
2.08/0.82	c solve instance...
3.32/1.03	o 171 
3.92/1.11	o 168 
6.95/1.51	o 167 
6.95/1.58	o 166 
7.71/1.68	o 162 
13.99/2.46	o 158 
17.10/2.83	o 157 
17.89/2.95	java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a weak clause (187/203)
17.89/2.95		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
17.89/2.95		at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
17.89/2.95		at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
17.89/2.95		at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
17.89/2.95		at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
17.89/2.95	Caused by: org.chocosolver.solver.exception.SolverException: Learn a weak clause (187/203)
17.89/2.95		at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:201)
17.89/2.95		at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219)
17.89/2.95		at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90)
17.89/2.95		at org.chocosolver.solver.Solver.repair(Solver.java:443)
17.89/2.95		at org.chocosolver.solver.Solver.searchLoop(Solver.java:301)
17.89/2.95		at org.chocosolver.solver.Solver.solve(Solver.java:262)
17.89/2.95		at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
17.89/2.95		at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
17.89/2.95		at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
17.89/2.95		at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
17.89/2.95		at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
17.89/2.95		at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
17.89/2.95		at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
17.89/2.95		at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
17.89/2.95		at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
17.89/2.95		at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
17.89/2.95	o 156 
17.89/2.95	s OPTIMUM FOUND
17.89/2.95	v <instantiation>
17.89/2.95	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] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[40] s[41] s[42] s[43] s[44] s[45] s[46] s[47] s[48] s[49] s[50] s[51] s[52] s[53] s[54] s[55] s[56] s[57] s[58] s[59] s[60] s[61] </list>
17.89/2.95	v 	<values>0 0 0 0 6 1 14 1 24 8 14 27 37 27 42 36 18 23 36 37 49 49 58 49 58 32 66 67 42 59 76 49 38 77 76 86 77 80 66 86 86 96 116 91 116 95 108 106 86 120 124 127 106 122 104 132 132 138 146 146 134 156 </values>
17.89/2.95	v </instantiation>

Verifier Data

OK	156

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394528-1568431257/watcher-4394528-1568431257 -o /tmp/evaluation-result-4394528-1568431257/solver-4394528-1568431257 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node133-1568426604-21617 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1218594840 HOME/instance-4394528-1568431257.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
Starting watchdog thread
solver pid=22667, runsolver pid=22664
Current StackSize limit: 8192 KiB


[startup+0.100136 s]*
/proc/loadavg: 6.19 6.48 6.06 3/216 22688
/proc/meminfo: memFree=31445528/32770624 swapFree=67004140/67108860
[pid=22667] ppid=22664 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/22667/stat : 22667 (xcsp3-exec) S 22664 22667 21590 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 419365292 115843072 364 33554432000 4194304 5098028 140732231558832 140732231556936 139739253207676 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33648640 140732231562101 140732231562345 140732231562345 140732231565258 0
/proc/22667/statm: 28282 364 305 221 0 87 0
[pid=22669] ppid=22667 vsize=28227388 memory=30200 CPUtime=0.12 cores=0-7
/proc/22669/stat : 22669 (java) S 22667 22667 21590 0 -1 1077944320 5521 0 0 0 12 0 0 0 20 0 20 0 419365292 28904845312 7550 33554432000 4194304 4196468 140720405229488 140720405212032 139983089438455 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
/proc/22669/statm: 7056847 7550 3113 1 0 7019032 0
[pid=22669/tid=22670] ppid=22667 vsize=28227388 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/22669/task/22670/stat : 22670 (java) R 22667 22667 21590 0 -1 4202560 3434 0 0 0 8 0 0 0 20 0 20 0 419365293 28904845312 7550 33554432000 4194304 4196468 140720405229488 139983093664592 139983071306837 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22671] ppid=22667 vsize=28227388 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/22669/task/22671/stat : 22671 (java) S 22667 22667 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419365294 28904845312 7550 33554432000 4194304 4196468 140720405229488 139983052544528 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22672] ppid=22667 vsize=28227388 memory=139716409251456 CPUtime=0 cores=0-7
/proc/22669/task/22672/stat : 22672 (java) S 22667 22667 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419365294 28904845312 7550 33554432000 4194304 4196468 140720405229488 139982639323792 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22673] ppid=22667 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/22669/task/22673/stat : 22673 (java) S 22667 22667 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419365294 28904845312 7550 33554432000 4194304 4196468 140720405229488 139982638270736 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22674] ppid=22667 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/22669/task/22674/stat : 22674 (java) S 22667 22667 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419365294 28904845312 7550 33554432000 4194304 4196468 140720405229488 139982637218192 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22675] ppid=22667 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/22669/task/22675/stat : 22675 (java) S 22667 22667 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419365294 28904845312 7550 33554432000 4194304 4196468 140720405229488 139982636166160 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22676] ppid=22667 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/22669/task/22676/stat : 22676 (java) S 22667 22667 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419365294 28904845312 7550 33554432000 4194304 4196468 140720405229488 139982635113616 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22677] ppid=22667 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/22669/task/22677/stat : 22677 (java) S 22667 22667 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419365294 28904845312 7550 33554432000 4194304 4196468 140720405229488 139982634060560 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22678] ppid=22667 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/22669/task/22678/stat : 22678 (java) S 22667 22667 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419365294 28904845312 7550 33554432000 4194304 4196468 140720405229488 139982633008016 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22679] ppid=22667 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/22669/task/22679/stat : 22679 (java) S 22667 22667 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419365295 28904845312 7550 33554432000 4194304 4196468 140720405229488 139981736925424 139983089449602 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22680] ppid=22667 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/22669/task/22680/stat : 22680 (java) S 22667 22667 21590 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419365296 28904845312 7550 33554432000 4194304 4196468 140720405229488 139981735871648 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22681] ppid=22667 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/22669/task/22681/stat : 22681 (java) S 22667 22667 21590 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419365296 28904845312 7550 33554432000 4194304 4196468 140720405229488 139981734818544 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22682] ppid=22667 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/22669/task/22682/stat : 22682 (java) S 22667 22667 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419365298 28904845312 7550 33554432000 4194304 4196468 140720405229488 139981733767120 139983089457051 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22683] ppid=22667 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/22669/task/22683/stat : 22683 (java) S 22667 22667 21590 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 20 0 419365298 28904845312 7550 33554432000 4194304 4196468 140720405229488 139981732715248 139983089449602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22684] ppid=22667 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/22669/task/22684/stat : 22684 (java) S 22667 22667 21590 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 419365298 28904845312 7550 33554432000 4194304 4196468 140720405229488 139981731662704 139983089449602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22685] ppid=22667 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/22669/task/22685/stat : 22685 (java) S 22667 22667 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419365298 28904845312 7550 33554432000 4194304 4196468 140720405229488 139981730609648 139983089449602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22686] ppid=22667 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/22669/task/22686/stat : 22686 (java) R 22667 22667 21590 0 -1 4202560 340 0 0 0 2 0 0 0 20 0 20 0 419365298 28904845312 7550 33554432000 4194304 4196468 140720405229488 139981729557104 139983069631409 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22687] ppid=22667 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/22669/task/22687/stat : 22687 (java) S 22667 22667 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419365298 28904845312 7550 33554432000 4194304 4196468 140720405229488 139981728504288 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22688] ppid=22667 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/22669/task/22688/stat : 22688 (java) S 22667 22667 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419365299 28904845312 7550 33554432000 4194304 4196468 140720405229488 139981727451824 139983089449602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 31656 KiB

[startup+0.210965 s]*
/proc/loadavg: 6.19 6.48 6.06 3/216 22688
/proc/meminfo: memFree=31432812/32770624 swapFree=67004140/67108860
[pid=22667] ppid=22664 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/22667/stat : 22667 (xcsp3-exec) S 22664 22667 21590 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 419365292 115843072 364 33554432000 4194304 5098028 140732231558832 140732231556936 139739253207676 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33648640 140732231562101 140732231562345 140732231562345 140732231565258 0
/proc/22667/statm: 28282 364 305 221 0 87 0
[pid=22669] ppid=22667 vsize=28227388 memory=41356 CPUtime=0.34 cores=0-7
/proc/22669/stat : 22669 (java) S 22667 22667 21590 0 -1 1077944320 9072 0 0 0 32 2 0 0 20 0 20 0 419365292 28904845312 10339 33554432000 4194304 4196468 140720405229488 140720405212032 139983089438455 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
/proc/22669/statm: 7056847 10339 3305 1 0 7019032 0
[pid=22669/tid=22670] ppid=22667 vsize=28227388 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/22669/task/22670/stat : 22670 (java) R 22667 22667 21590 0 -1 4202560 6244 0 0 0 18 1 0 0 20 0 20 0 419365293 28904845312 10339 33554432000 4194304 4196468 140720405229488 139983093672576 139983089450390 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22671] ppid=22667 vsize=28227388 memory=331 CPUtime=0 cores=0-7
/proc/22669/task/22671/stat : 22671 (java) S 22667 22667 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419365294 28904845312 10339 33554432000 4194304 4196468 140720405229488 139983052544528 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22672] ppid=22667 vsize=28227388 memory=4051468636831176352 CPUtime=0 cores=0-7
/proc/22669/task/22672/stat : 22672 (java) S 22667 22667 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419365294 28904845312 10339 33554432000 4194304 4196468 140720405229488 139982639323792 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22673] ppid=22667 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/22669/task/22673/stat : 22673 (java) S 22667 22667 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419365294 28904845312 10339 33554432000 4194304 4196468 140720405229488 139982638270736 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22674] ppid=22667 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/22669/task/22674/stat : 22674 (java) S 22667 22667 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419365294 28904845312 10339 33554432000 4194304 4196468 140720405229488 139982637218192 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22675] ppid=22667 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/22669/task/22675/stat : 22675 (java) S 22667 22667 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419365294 28904845312 10339 33554432000 4194304 4196468 140720405229488 139982636166160 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22676] ppid=22667 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/22669/task/22676/stat : 22676 (java) S 22667 22667 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419365294 28904845312 10339 33554432000 4194304 4196468 140720405229488 139982635113616 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22677] ppid=22667 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/22669/task/22677/stat : 22677 (java) S 22667 22667 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419365294 28904845312 10339 33554432000 4194304 4196468 140720405229488 139982634060560 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22678] ppid=22667 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/22669/task/22678/stat : 22678 (java) S 22667 22667 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419365294 28904845312 10339 33554432000 4194304 4196468 140720405229488 139982633008016 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22679] ppid=22667 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/22669/task/22679/stat : 22679 (java) S 22667 22667 21590 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419365295 28904845312 10339 33554432000 4194304 4196468 140720405229488 139981736925424 139983089449602 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22680] ppid=22667 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/22669/task/22680/stat : 22680 (java) S 22667 22667 21590 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419365296 28904845312 10339 33554432000 4194304 4196468 140720405229488 139981735871648 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22681] ppid=22667 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/22669/task/22681/stat : 22681 (java) S 22667 22667 21590 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419365296 28904845312 10339 33554432000 4194304 4196468 140720405229488 139981734818544 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22682] ppid=22667 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/22669/task/22682/stat : 22682 (java) S 22667 22667 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419365298 28904845312 10339 33554432000 4194304 4196468 140720405229488 139981733767120 139983089457051 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22683] ppid=22667 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/22669/task/22683/stat : 22683 (java) S 22667 22667 21590 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 20 0 419365298 28904845312 10339 33554432000 4194304 4196468 140720405229488 139981732715248 139983089449602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22684] ppid=22667 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/22669/task/22684/stat : 22684 (java) S 22667 22667 21590 0 -1 1077944384 171 0 0 0 1 0 0 0 20 0 20 0 419365298 28904845312 10339 33554432000 4194304 4196468 140720405229488 139981731662704 139983089449602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22685] ppid=22667 vsize=28227388 memory=-1 CPUtime=0.02 cores=0-7
/proc/22669/task/22685/stat : 22685 (java) S 22667 22667 21590 0 -1 1077944384 291 0 0 0 2 0 0 0 20 0 20 0 419365298 28904845312 10339 33554432000 4194304 4196468 140720405229488 139981730609648 139983089449602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22686] ppid=22667 vsize=28227388 memory=-1 CPUtime=0.08 cores=0-7
/proc/22669/task/22686/stat : 22686 (java) R 22667 22667 21590 0 -1 4202560 742 0 0 0 8 0 0 0 20 0 20 0 419365298 28904845312 10339 33554432000 4194304 4196468 140720405229488 139981729557104 139983081675582 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22687] ppid=22667 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/22669/task/22687/stat : 22687 (java) S 22667 22667 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419365298 28904845312 10339 33554432000 4194304 4196468 140720405229488 139981728504288 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22688] ppid=22667 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/22669/task/22688/stat : 22688 (java) S 22667 22667 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419365299 28904845312 10339 33554432000 4194304 4196468 140720405229488 139981727451824 139983089449602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 42812 KiB

[startup+0.312657 s]*
/proc/loadavg: 6.19 6.48 6.06 4/216 22688
/proc/meminfo: memFree=31425912/32770624 swapFree=67004140/67108860
[pid=22667] ppid=22664 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/22667/stat : 22667 (xcsp3-exec) S 22664 22667 21590 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 419365292 115843072 364 33554432000 4194304 5098028 140732231558832 140732231556936 139739253207676 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33648640 140732231562101 140732231562345 140732231562345 140732231565258 0
/proc/22667/statm: 28282 364 305 221 0 87 0
[pid=22669] ppid=22667 vsize=28231644 memory=50132 CPUtime=0.53 cores=0-7
/proc/22669/stat : 22669 (java) S 22667 22667 21590 0 -1 1077944320 10431 0 0 0 50 3 0 0 20 0 20 0 419365292 28909203456 12533 33554432000 4194304 4196468 140720405229488 140720405212032 139983089438455 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
/proc/22669/statm: 7057911 12533 3351 1 0 7019032 0
[pid=22669/tid=22670] ppid=22667 vsize=28231644 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/22669/task/22670/stat : 22670 (java) R 22667 22667 21590 0 -1 4202560 7377 0 0 0 28 2 0 0 20 0 20 0 419365293 28909203456 12533 33554432000 4194304 4196468 140720405229488 139983093669568 139983073518942 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22671] ppid=22667 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/22669/task/22671/stat : 22671 (java) S 22667 22667 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419365294 28909203456 12533 33554432000 4194304 4196468 140720405229488 139983052544528 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22672] ppid=22667 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/22669/task/22672/stat : 22672 (java) S 22667 22667 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419365294 28909203456 12533 33554432000 4194304 4196468 140720405229488 139982639323792 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22673] ppid=22667 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/22669/task/22673/stat : 22673 (java) S 22667 22667 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419365294 28909203456 12533 33554432000 4194304 4196468 140720405229488 139982638270736 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22674] ppid=22667 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/22669/task/22674/stat : 22674 (java) S 22667 22667 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419365294 28909203456 12533 33554432000 4194304 4196468 140720405229488 139982637218192 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22675] ppid=22667 vsize=28231644 memory=2244 CPUtime=0 cores=0-7
/proc/22669/task/22675/stat : 22675 (java) S 22667 22667 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419365294 28909203456 12533 33554432000 4194304 4196468 140720405229488 139982636166160 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22676] ppid=22667 vsize=28231644 memory=139716292866991 CPUtime=0 cores=0-7
/proc/22669/task/22676/stat : 22676 (java) S 22667 22667 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419365294 28909203456 12533 33554432000 4194304 4196468 140720405229488 139982635113616 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22677] ppid=22667 vsize=28231644 memory=139716292869296 CPUtime=0 cores=0-7
/proc/22669/task/22677/stat : 22677 (java) S 22667 22667 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419365294 28909203456 12533 33554432000 4194304 4196468 140720405229488 139982634060560 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22678] ppid=22667 vsize=28231644 memory=139716292871600 CPUtime=0 cores=0-7
/proc/22669/task/22678/stat : 22678 (java) S 22667 22667 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419365294 28909203456 12533 33554432000 4194304 4196468 140720405229488 139982633008016 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22679] ppid=22667 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/22669/task/22679/stat : 22679 (java) S 22667 22667 21590 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419365295 28909203456 12533 33554432000 4194304 4196468 140720405229488 139981736925424 139983089449602 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22680] ppid=22667 vsize=28231644 memory=279432585750160 CPUtime=0 cores=0-7
/proc/22669/task/22680/stat : 22680 (java) S 22667 22667 21590 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419365296 28909203456 12598 33554432000 4194304 4196468 140720405229488 139981735871648 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22681] ppid=22667 vsize=28231644 memory=279432585757072 CPUtime=0 cores=0-7
/proc/22669/task/22681/stat : 22681 (java) S 22667 22667 21590 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419365296 28909203456 12598 33554432000 4194304 4196468 140720405229488 139981734818544 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22682] ppid=22667 vsize=28231644 memory=279432585698352 CPUtime=0 cores=0-7
/proc/22669/task/22682/stat : 22682 (java) S 22667 22667 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419365298 28909203456 12598 33554432000 4194304 4196468 140720405229488 139981733767120 139983089457051 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22683] ppid=22667 vsize=28231644 memory=279432585770896 CPUtime=0.03 cores=0-7
/proc/22669/task/22683/stat : 22683 (java) R 22667 22667 21590 0 -1 4202560 440 0 0 0 3 0 0 0 20 0 20 0 419365298 28909203456 12598 33554432000 4194304 4196468 140720405229488 139981732696264 139983066699712 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22684] ppid=22667 vsize=28231644 memory=279432585777808 CPUtime=0.02 cores=0-7
/proc/22669/task/22684/stat : 22684 (java) S 22667 22667 21590 0 -1 1077944384 192 0 0 0 2 0 0 0 20 0 20 0 419365298 28909203456 12598 33554432000 4194304 4196468 140720405229488 139981731662704 139983089449602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22685] ppid=22667 vsize=28231644 memory=279432585775504 CPUtime=0.02 cores=0-7
/proc/22669/task/22685/stat : 22685 (java) S 22667 22667 21590 0 -1 1077944384 293 0 0 0 2 0 0 0 20 0 20 0 419365298 28909203456 12598 33554432000 4194304 4196468 140720405229488 139981730609648 139983089449602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22686] ppid=22667 vsize=28231644 memory=279432585791664 CPUtime=0.12 cores=0-7
/proc/22669/task/22686/stat : 22686 (java) S 22667 22667 21590 0 -1 1077944384 820 0 0 0 12 0 0 0 20 0 20 0 419365298 28909203456 12598 33554432000 4194304 4196468 140720405229488 139981729557104 139983089449602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22687] ppid=22667 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/22669/task/22687/stat : 22687 (java) S 22667 22667 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419365298 28909203456 12598 33554432000 4194304 4196468 140720405229488 139981728504288 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22688] ppid=22667 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/22669/task/22688/stat : 22688 (java) S 22667 22667 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419365299 28909203456 12598 33554432000 4194304 4196468 140720405229488 139981727451824 139983089449602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 51588 KiB

[startup+0.701037 s]
/proc/loadavg: 6.19 6.48 6.06 6/216 22688
/proc/meminfo: memFree=31408996/32770624 swapFree=67004140/67108860
[pid=22667] ppid=22664 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/22667/stat : 22667 (xcsp3-exec) S 22664 22667 21590 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 419365292 115843072 364 33554432000 4194304 5098028 140732231558832 140732231556936 139739253207676 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33648640 140732231562101 140732231562345 140732231562345 140732231565258 0
/proc/22667/statm: 28282 364 305 221 0 87 0
[pid=22669] ppid=22667 vsize=28233768 memory=88148 CPUtime=1.63 cores=0-7
/proc/22669/stat : 22669 (java) S 22667 22667 21590 0 -1 1077944320 14726 0 0 0 157 6 0 0 20 0 20 0 419365292 28911378432 22037 33554432000 4194304 4196468 140720405229488 140720405212032 139983089438455 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
/proc/22669/statm: 7058442 22037 3450 1 0 7019544 0
[pid=22669/tid=22670] ppid=22667 vsize=28233768 memory=279432586149552 CPUtime=0.68 cores=0-7
/proc/22669/task/22670/stat : 22670 (java) R 22667 22667 21590 0 -1 4202560 8901 0 0 0 64 4 0 0 20 0 20 0 419365293 28911378432 22037 33554432000 4194304 4196468 140720405229488 139983093675888 139982725262605 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22671] ppid=22667 vsize=28233768 memory=139716293075824 CPUtime=0 cores=0-7
/proc/22669/task/22671/stat : 22671 (java) S 22667 22667 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419365294 28911378432 22037 33554432000 4194304 4196468 140720405229488 139983052544528 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22672] ppid=22667 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/22669/task/22672/stat : 22672 (java) S 22667 22667 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419365294 28911378432 22037 33554432000 4194304 4196468 140720405229488 139982639323792 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22673] ppid=22667 vsize=28233768 memory=2832 CPUtime=0 cores=0-7

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

[pid=22669/tid=22670] ppid=22667 vsize=28768328 memory=0 CPUtime=0.82 cores=0-7
/proc/22669/task/22670/stat : 22670 (java) S 22667 22667 21590 0 -1 1077944384 9099 0 0 0 78 4 0 0 20 0 28 0 419365293 29458767872 57521 33554432000 4194304 4196468 140720405229488 139983093679232 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22671] ppid=22667 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/22669/task/22671/stat : 22671 (java) S 22667 22667 21590 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 419365294 29458767872 57521 33554432000 4194304 4196468 140720405229488 139983052544528 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22672] ppid=22667 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/22669/task/22672/stat : 22672 (java) S 22667 22667 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419365294 29458767872 57521 33554432000 4194304 4196468 140720405229488 139982639323792 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22673] ppid=22667 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/22669/task/22673/stat : 22673 (java) S 22667 22667 21590 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 419365294 29458767872 57521 33554432000 4194304 4196468 140720405229488 139982638270736 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22674] ppid=22667 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/22669/task/22674/stat : 22674 (java) S 22667 22667 21590 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 419365294 29458767872 57521 33554432000 4194304 4196468 140720405229488 139982637218192 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22675] ppid=22667 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/22669/task/22675/stat : 22675 (java) S 22667 22667 21590 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 28 0 419365294 29458767872 57521 33554432000 4194304 4196468 140720405229488 139982636166160 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22676] ppid=22667 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/22669/task/22676/stat : 22676 (java) S 22667 22667 21590 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 28 0 419365294 29458767872 57521 33554432000 4194304 4196468 140720405229488 139982635113616 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22677] ppid=22667 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/22669/task/22677/stat : 22677 (java) S 22667 22667 21590 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 28 0 419365294 29458767872 57521 33554432000 4194304 4196468 140720405229488 139982634060560 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22678] ppid=22667 vsize=28768328 memory=301741373374332954 CPUtime=0 cores=0-7
/proc/22669/task/22678/stat : 22678 (java) S 22667 22667 21590 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 419365294 29458767872 57521 33554432000 4194304 4196468 140720405229488 139982633008016 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22679] ppid=22667 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/22669/task/22679/stat : 22679 (java) S 22667 22667 21590 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 419365295 29458767872 57521 33554432000 4194304 4196468 140720405229488 139981736925424 139983089449602 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22680] ppid=22667 vsize=28768328 memory=7811607251748154217 CPUtime=0 cores=0-7
/proc/22669/task/22680/stat : 22680 (java) S 22667 22667 21590 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 419365296 29458767872 57521 33554432000 4194304 4196468 140720405229488 139981735871648 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22681] ppid=22667 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/22669/task/22681/stat : 22681 (java) S 22667 22667 21590 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 419365296 29458767872 57521 33554432000 4194304 4196468 140720405229488 139981734818544 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22682] ppid=22667 vsize=28768328 memory=1 CPUtime=0 cores=0-7
/proc/22669/task/22682/stat : 22682 (java) S 22667 22667 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419365298 29458767872 57521 33554432000 4194304 4196468 140720405229488 139981733767120 139983089457051 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22683] ppid=22667 vsize=28768328 memory=6656426216303648864 CPUtime=1.3 cores=0-7
/proc/22669/task/22683/stat : 22683 (java) R 22667 22667 21590 0 -1 4202560 3731 0 0 0 130 0 0 0 20 0 28 0 419365298 29458767872 57521 33554432000 4194304 4196468 140720405229488 139981732701216 139983075462290 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22684] ppid=22667 vsize=28768328 memory=2455 CPUtime=1.25 cores=0-7
/proc/22669/task/22684/stat : 22684 (java) R 22667 22667 21590 0 -1 4202560 4217 0 0 0 124 1 0 0 20 0 28 0 419365298 29458767872 57521 33554432000 4194304 4196468 140720405229488 139981731648672 139983069813052 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22685] ppid=22667 vsize=28768328 memory=3 CPUtime=1.61 cores=0-7
/proc/22669/task/22685/stat : 22685 (java) R 22667 22667 21590 0 -1 4202560 3934 0 0 0 160 1 0 0 20 0 28 0 419365298 29458767872 57521 33554432000 4194304 4196468 140720405229488 139981730602840 139983070959855 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22686] ppid=22667 vsize=28768328 memory=6791534058613427641 CPUtime=0.83 cores=0-7
/proc/22669/task/22686/stat : 22686 (java) R 22667 22667 21590 0 -1 1077944384 4937 0 0 0 82 1 0 0 20 0 28 0 419365298 29458767872 57521 33554432000 4194304 4196468 140720405229488 139981729557104 139983089449602 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22687] ppid=22667 vsize=28768328 memory=1155 CPUtime=0 cores=0-7
/proc/22669/task/22687/stat : 22687 (java) S 22667 22667 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419365298 29458767872 57521 33554432000 4194304 4196468 140720405229488 139981728504288 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22688] ppid=22667 vsize=28768328 memory=250 CPUtime=0 cores=0-7
/proc/22669/task/22688/stat : 22688 (java) S 22667 22667 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419365299 29458767872 57521 33554432000 4194304 4196468 140720405229488 139981727451824 139983089449602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22729] ppid=22667 vsize=28768328 memory=255 CPUtime=0.51 cores=0-7
/proc/22669/task/22729/stat : 22729 (java) R 22667 22667 21590 0 -1 4202560 19 0 0 0 51 0 0 0 20 0 28 0 419365460 29458767872 57521 33554432000 4194304 4196468 140720405229488 139981715089320 139983069163564 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22730] ppid=22667 vsize=28768328 memory=248944 CPUtime=0.65 cores=0-7
/proc/22669/task/22730/stat : 22730 (java) R 22667 22667 21590 0 -1 4202560 19 0 0 0 65 0 0 0 20 0 28 0 419365460 29458767872 57521 33554432000 4194304 4196468 140720405229488 139981457836512 139982732315884 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22731] ppid=22667 vsize=28768328 memory=1 CPUtime=0.57 cores=0-7
/proc/22669/task/22731/stat : 22731 (java) R 22667 22667 21590 0 -1 4202560 18 0 0 0 57 0 0 0 20 0 28 0 419365460 29458767872 57521 33554432000 4194304 4196468 140720405229488 139981711932992 139982731660541 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22732] ppid=22667 vsize=28768328 memory=1456 CPUtime=0.39 cores=0-7
/proc/22669/task/22732/stat : 22732 (java) R 22667 22667 21590 0 -1 4202560 19 0 0 0 39 0 0 0 20 0 28 0 419365460 29458767872 57521 33554432000 4194304 4196468 140720405229488 139981709827432 139982732116521 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22733] ppid=22667 vsize=28768328 memory=228840 CPUtime=0.53 cores=0-7
/proc/22669/task/22733/stat : 22733 (java) R 22667 22667 21590 0 -1 4202560 18 0 0 0 53 0 0 0 20 0 28 0 419365460 29458767872 57521 33554432000 4194304 4196468 140720405229488 139981714038496 139982733123034 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22734] ppid=22667 vsize=28768328 memory=4206468019014099040 CPUtime=0.57 cores=0-7
/proc/22669/task/22734/stat : 22734 (java) R 22667 22667 21590 0 -1 4202560 18 0 0 0 57 0 0 0 20 0 28 0 419365460 29458767872 57521 33554432000 4194304 4196468 140720405229488 139981712985352 139982733160312 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22735] ppid=22667 vsize=28768328 memory=7681905605394137914 CPUtime=0.47 cores=0-7
/proc/22669/task/22735/stat : 22735 (java) R 22667 22667 21590 0 -1 4202560 17 0 0 0 47 0 0 0 20 0 28 0 419365461 29458767872 57521 33554432000 4194304 4196468 140720405229488 139981716143520 139982734039263 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22736] ppid=22667 vsize=28768328 memory=-7522837583129502606 CPUtime=0.53 cores=0-7
/proc/22669/task/22736/stat : 22736 (java) R 22667 22667 21590 0 -1 4202560 17 0 0 0 53 0 0 0 20 0 28 0 419365461 29458767872 57521 33554432000 4194304 4196468 140720405229488 139981710877040 139982732913747 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
Current children cumulated CPU time: 13.99 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 231540 KiB

[startup+2.80096 s]
/proc/loadavg: 5.86 6.40 6.04 13/224 22736
/proc/meminfo: memFree=31247172/32770624 swapFree=67004140/67108860
[pid=22667] ppid=22664 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/22667/stat : 22667 (xcsp3-exec) S 22664 22667 21590 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 419365292 115843072 364 33554432000 4194304 5098028 140732231558832 140732231556936 139739253207676 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33648640 140732231562101 140732231562345 140732231562345 140732231565258 0
/proc/22667/statm: 28282 364 305 221 0 87 0
[pid=22669] ppid=22667 vsize=28768328 memory=231436 CPUtime=17.1 cores=0-7
/proc/22669/stat : 22669 (java) S 22667 22667 21590 0 -1 1077944320 29593 0 0 0 1696 14 0 0 20 0 28 0 419365292 29458767872 57859 33554432000 4194304 4196468 140720405229488 140720405212032 139983089438455 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
/proc/22669/statm: 7192082 57859 3496 1 0 7153184 0
[pid=22669/tid=22670] ppid=22667 vsize=28768328 memory=6082203026216022103 CPUtime=0.82 cores=0-7
/proc/22669/task/22670/stat : 22670 (java) S 22667 22667 21590 0 -1 1077944384 9099 0 0 0 78 4 0 0 20 0 28 0 419365293 29458767872 57859 33554432000 4194304 4196468 140720405229488 139983093679232 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22671] ppid=22667 vsize=28768328 memory=6082202987142015063 CPUtime=0 cores=0-7
/proc/22669/task/22671/stat : 22671 (java) S 22667 22667 21590 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 419365294 29458767872 57859 33554432000 4194304 4196468 140720405229488 139983052544528 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22672] ppid=22667 vsize=28768328 memory=7230638415855315543 CPUtime=0 cores=0-7
/proc/22669/task/22672/stat : 22672 (java) S 22667 22667 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419365294 29458767872 57859 33554432000 4194304 4196468 140720405229488 139982639323792 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22673] ppid=22667 vsize=28768328 memory=7380385388137112419 CPUtime=0 cores=0-7
/proc/22669/task/22673/stat : 22673 (java) S 22667 22667 21590 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 419365294 29458767872 57859 33554432000 4194304 4196468 140720405229488 139982638270736 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22674] ppid=22667 vsize=28768328 memory=7380385388137112419 CPUtime=0 cores=0-7
/proc/22669/task/22674/stat : 22674 (java) S 22667 22667 21590 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 419365294 29458767872 57859 33554432000 4194304 4196468 140720405229488 139982637218192 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22675] ppid=22667 vsize=28768328 memory=7162531440177276259 CPUtime=0 cores=0-7
/proc/22669/task/22675/stat : 22675 (java) S 22667 22667 21590 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 28 0 419365294 29458767872 57859 33554432000 4194304 4196468 140720405229488 139982636166160 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22676] ppid=22667 vsize=28768328 memory=7162531440177276259 CPUtime=0 cores=0-7
/proc/22669/task/22676/stat : 22676 (java) S 22667 22667 21590 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 28 0 419365294 29458767872 57859 33554432000 4194304 4196468 140720405229488 139982635113616 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22677] ppid=22667 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/22669/task/22677/stat : 22677 (java) S 22667 22667 21590 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 28 0 419365294 29458767872 57859 33554432000 4194304 4196468 140720405229488 139982634060560 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22678] ppid=22667 vsize=28768328 memory=237069309882657 CPUtime=0 cores=0-7
/proc/22669/task/22678/stat : 22678 (java) S 22667 22667 21590 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 419365294 29458767872 57859 33554432000 4194304 4196468 140720405229488 139982633008016 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22679] ppid=22667 vsize=28768328 memory=237069309882658 CPUtime=0 cores=0-7
/proc/22669/task/22679/stat : 22679 (java) S 22667 22667 21590 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 419365295 29458767872 57859 33554432000 4194304 4196468 140720405229488 139981736925424 139983089449602 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22680] ppid=22667 vsize=28768328 memory=237069309882659 CPUtime=0 cores=0-7
/proc/22669/task/22680/stat : 22680 (java) S 22667 22667 21590 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 419365296 29458767872 57859 33554432000 4194304 4196468 140720405229488 139981735871648 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22681] ppid=22667 vsize=28768328 memory=237069309882660 CPUtime=0 cores=0-7
/proc/22669/task/22681/stat : 22681 (java) S 22667 22667 21590 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 419365296 29458767872 57859 33554432000 4194304 4196468 140720405229488 139981734818544 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22682] ppid=22667 vsize=28768328 memory=237069309882661 CPUtime=0 cores=0-7
/proc/22669/task/22682/stat : 22682 (java) S 22667 22667 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419365298 29458767872 57859 33554432000 4194304 4196468 140720405229488 139981733767120 139983089457051 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22683] ppid=22667 vsize=28768328 memory=97354023743782 CPUtime=1.56 cores=0-7
/proc/22669/task/22683/stat : 22683 (java) R 22667 22667 21590 0 -1 4202560 3791 0 0 0 156 0 0 0 20 0 28 0 419365298 29458767872 57859 33554432000 4194304 4196468 140720405229488 139981732715248 139983070190887 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22684] ppid=22667 vsize=28768328 memory=97354023743783 CPUtime=1.53 cores=0-7
/proc/22669/task/22684/stat : 22684 (java) R 22667 22667 21590 0 -1 4202560 4259 0 0 0 152 1 0 0 20 0 28 0 419365298 29458767872 57859 33554432000 4194304 4196468 140720405229488 139981731654656 139983074338689 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22685] ppid=22667 vsize=28768328 memory=97354023743784 CPUtime=1.86 cores=0-7
/proc/22669/task/22685/stat : 22685 (java) R 22667 22667 21590 0 -1 4202560 3984 0 0 0 185 1 0 0 20 0 28 0 419365298 29458767872 57859 33554432000 4194304 4196468 140720405229488 139981730589456 139983072849327 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22686] ppid=22667 vsize=28768328 memory=97354023743785 CPUtime=0.93 cores=0-7
/proc/22669/task/22686/stat : 22686 (java) R 22667 22667 21590 0 -1 1077944384 5132 0 0 0 92 1 0 0 20 0 28 0 419365298 29458767872 57859 33554432000 4194304 4196468 140720405229488 139981729557104 139983089449602 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22687] ppid=22667 vsize=28768328 memory=97354023743786 CPUtime=0 cores=0-7
/proc/22669/task/22687/stat : 22687 (java) S 22667 22667 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419365298 29458767872 57859 33554432000 4194304 4196468 140720405229488 139981728504288 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22688] ppid=22667 vsize=28768328 memory=97354023743787 CPUtime=0 cores=0-7
/proc/22669/task/22688/stat : 22688 (java) R 22667 22667 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419365299 29458767872 57859 33554432000 4194304 4196468 140720405229488 139981727451824 139983089449602 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
Current children cumulated CPU time: 17.1 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 232892 KiB

[startup+2.90097 s]
/proc/loadavg: 5.86 6.40 6.04 13/224 22736
/proc/meminfo: memFree=31247172/32770624 swapFree=67004140/67108860
[pid=22667] ppid=22664 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/22667/stat : 22667 (xcsp3-exec) S 22664 22667 21590 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 419365292 115843072 364 33554432000 4194304 5098028 140732231558832 140732231556936 139739253207676 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33648640 140732231562101 140732231562345 140732231562345 140732231565258 0
/proc/22667/statm: 28282 364 305 221 0 87 0
[pid=22669] ppid=22667 vsize=28768328 memory=233640 CPUtime=17.89 cores=0-7
/proc/22669/stat : 22669 (java) S 22667 22667 21590 0 -1 1077944320 29770 0 0 0 1775 14 0 0 20 0 28 0 419365292 29458767872 58410 33554432000 4194304 4196468 140720405229488 140720405212032 139983089438455 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
/proc/22669/statm: 7192082 58410 3498 1 0 7153184 0
[pid=22669/tid=22670] ppid=22667 vsize=28768328 memory=0 CPUtime=0.82 cores=0-7
/proc/22669/task/22670/stat : 22670 (java) S 22667 22667 21590 0 -1 1077944384 9099 0 0 0 78 4 0 0 20 0 28 0 419365293 29458767872 58410 33554432000 4194304 4196468 140720405229488 139983093679232 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22671] ppid=22667 vsize=28768328 memory=2241 CPUtime=0 cores=0-7
/proc/22669/task/22671/stat : 22671 (java) S 22667 22667 21590 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 419365294 29458767872 58410 33554432000 4194304 4196468 140720405229488 139983052544528 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22672] ppid=22667 vsize=28768328 memory=1456 CPUtime=0 cores=0-7
/proc/22669/task/22672/stat : 22672 (java) S 22667 22667 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419365294 29458767872 58410 33554432000 4194304 4196468 140720405229488 139982639323792 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22673] ppid=22667 vsize=28768328 memory=194648 CPUtime=0 cores=0-7
/proc/22669/task/22673/stat : 22673 (java) S 22667 22667 21590 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 419365294 29458767872 58410 33554432000 4194304 4196468 140720405229488 139982638270736 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22674] ppid=22667 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/22669/task/22674/stat : 22674 (java) S 22667 22667 21590 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 419365294 29458767872 58410 33554432000 4194304 4196468 140720405229488 139982637218192 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22675] ppid=22667 vsize=28768328 memory=229536 CPUtime=0 cores=0-7
/proc/22669/task/22675/stat : 22675 (java) S 22667 22667 21590 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 28 0 419365294 29458767872 58410 33554432000 4194304 4196468 140720405229488 139982636166160 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22676] ppid=22667 vsize=28768328 memory=210804 CPUtime=0 cores=0-7
/proc/22669/task/22676/stat : 22676 (java) S 22667 22667 21590 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 28 0 419365294 29458767872 58410 33554432000 4194304 4196468 140720405229488 139982635113616 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22677] ppid=22667 vsize=28768328 memory=6944656592455097440 CPUtime=0 cores=0-7
/proc/22669/task/22677/stat : 22677 (java) S 22667 22667 21590 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 28 0 419365294 29458767872 58410 33554432000 4194304 4196468 140720405229488 139982634060560 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22678] ppid=22667 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/22669/task/22678/stat : 22678 (java) S 22667 22667 21590 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 419365294 29458767872 58410 33554432000 4194304 4196468 140720405229488 139982633008016 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22679] ppid=22667 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/22669/task/22679/stat : 22679 (java) S 22667 22667 21590 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 419365295 29458767872 58410 33554432000 4194304 4196468 140720405229488 139981736925424 139983089449602 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22680] ppid=22667 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/22669/task/22680/stat : 22680 (java) S 22667 22667 21590 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 419365296 29458767872 58410 33554432000 4194304 4196468 140720405229488 139981735871648 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22681] ppid=22667 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/22669/task/22681/stat : 22681 (java) S 22667 22667 21590 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 419365296 29458767872 58410 33554432000 4194304 4196468 140720405229488 139981734818544 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22682] ppid=22667 vsize=28768328 memory=7594597771697979466 CPUtime=0 cores=0-7
/proc/22669/task/22682/stat : 22682 (java) S 22667 22667 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419365298 29458767872 58410 33554432000 4194304 4196468 140720405229488 139981733767120 139983089457051 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22683] ppid=22667 vsize=28768328 memory=288293272508695230 CPUtime=1.62 cores=0-7
/proc/22669/task/22683/stat : 22683 (java) R 22667 22667 21590 0 -1 4202560 3802 0 0 0 162 0 0 0 20 0 28 0 419365298 29458767872 58410 33554432000 4194304 4196468 140720405229488 139981732701816 139983082535291 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22684] ppid=22667 vsize=28768328 memory=56 CPUtime=1.6 cores=0-7
/proc/22669/task/22684/stat : 22684 (java) R 22667 22667 21590 0 -1 4202560 4271 0 0 0 159 1 0 0 20 0 28 0 419365298 29458767872 58410 33554432000 4194304 4196468 140720405229488 139981731653920 139983072955785 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22685] ppid=22667 vsize=28768328 memory=13807 CPUtime=1.93 cores=0-7
/proc/22669/task/22685/stat : 22685 (java) R 22667 22667 21590 0 -1 4202560 3991 0 0 0 192 1 0 0 20 0 28 0 419365298 29458767872 58410 33554432000 4194304 4196468 140720405229488 139981730598320 139983070190761 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22686] ppid=22667 vsize=28768328 memory=20612 CPUtime=0.94 cores=0-7
/proc/22669/task/22686/stat : 22686 (java) R 22667 22667 21590 0 -1 1077944384 5143 0 0 0 93 1 0 0 20 0 28 0 419365298 29458767872 58410 33554432000 4194304 4196468 140720405229488 139981729557104 139983089449602 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22687] ppid=22667 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/22669/task/22687/stat : 22687 (java) S 22667 22667 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419365298 29458767872 58410 33554432000 4194304 4196468 140720405229488 139981728504288 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
[pid=22669/tid=22688] ppid=22667 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/22669/task/22688/stat : 22688 (java) S 22667 22667 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419365299 29458767872 58410 33554432000 4194304 4196468 140720405229488 139981727451824 139983089449602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0
Current children cumulated CPU time: 17.89 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 235096 KiB

Child status: 0
Real time (s): 2.97578
CPU time (s): 18.3576
CPU user time (s): 18.1995
CPU system time (s): 0.158108
CPU usage (%): 616.899
Max. virtual memory (cumulated for all children) (KiB): 28881456
Max. memory (cumulated for all children) (KiB): 235096

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.1995
system time used= 0.158108
maximum resident set size= 236896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30534
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= 4341
involuntary context switches= 541


# summary of solver processes directly reported to runsolver:
#   pid: 22667
#   total CPU time (s): 18.3576
#   total CPU user time (s): 18.1995
#   total CPU system time (s): 0.158108

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.047602 second user time and 0.069136 second system time

The end

Launcher Data

Begin job on node133 at 2019-09-14 05:20:17
IDJOB=4394528
IDBENCH=128242
IDSOLVER=2843
FILE ID=node133/4394528-1568431257
RUNJOBID= node133-1568426604-21617
PBS_JOBID= 21702289
Free space on /tmp= 59416 MiB

SOLVER NAME= choco-solver parallel 2019-06-14
BENCH NAME= XCSP17/Rcpsp/Rcpsp-m1-j60/Rcpsp-j60-37-03.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-4394528-1568431257/watcher-4394528-1568431257 -o /tmp/evaluation-result-4394528-1568431257/solver-4394528-1568431257 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node133-1568426604-21617 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1218594840 HOME/instance-4394528-1568431257.xml

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

MD5SUM BENCH= 7e8aca8f1f1855a8a689daa123caec8a
RANDOM SEED=1218594840

node133.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.18
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.18
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.18
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.18
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:        31463572 kB
MemAvailable:   31899200 kB
Buffers:          198180 kB
Cached:           521564 kB
SwapCached:         3364 kB
Active:           404404 kB
Inactive:         318788 kB
Active(anon):      27880 kB
Inactive(anon):    16056 kB
Active(file):     376524 kB
Inactive(file):   302732 kB
Unevictable:      111224 kB
Mlocked:          111224 kB
SwapTotal:      67108860 kB
SwapFree:       67004140 kB
Dirty:             26284 kB
Writeback:            16 kB
AnonPages:        113592 kB
Mapped:            44428 kB
Shmem:             31516 kB
Slab:             173456 kB
SReclaimable:     144412 kB
SUnreclaim:        29044 kB
KernelStack:        3456 kB
PageTables:         5236 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     497840 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 59392 MiB
End job on node133 at 2019-09-14 05:20:20