Trace number 4394567

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 parallelOPT1053 372.598 47.5223

General information on the benchmark

NameMario/Mario-zinc-s1/
Mario-n-medium-2.xml
MD5SUMd930a285b222420c6879960cff9efc87
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1053
Best CPU time to get the best result obtained on this benchmark198.816
Satisfiable
(Un)Satisfiability was proved
Number of variables90
Number of constraints61
Number of domains54
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":5},{"size":30,"count":54}]
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-4394567-1568432664.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4394567-1568432664.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.29	c parse instance...
2.26/0.85	c solve instance...
2.74/0.97	o 0 
2.74/1.00	o 40 
3.49/1.06	o 243 
3.49/1.07	o 398 
4.19/1.13	o 430 
4.19/1.16	o 497 
4.19/1.17	o 514 
5.58/1.30	o 531 
6.36/1.41	o 540 
6.36/1.42	o 558 
8.64/1.73	o 597 
8.64/1.73	o 611 
9.44/1.82	o 750 
11.02/2.01	o 763 
11.82/2.12	o 765 
12.52/2.22	java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a weak clause (136/140)
12.52/2.22		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
12.52/2.22		at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
12.52/2.22		at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
12.52/2.22		at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
12.52/2.22		at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
12.52/2.22	Caused by: org.chocosolver.solver.exception.SolverException: Learn a weak clause (136/140)
12.52/2.22		at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:201)
12.52/2.22		at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219)
12.52/2.22		at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90)
12.52/2.22		at org.chocosolver.solver.Solver.repair(Solver.java:443)
12.52/2.22		at org.chocosolver.solver.Solver.searchLoop(Solver.java:301)
12.52/2.22		at org.chocosolver.solver.Solver.solve(Solver.java:262)
12.52/2.22		at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
12.52/2.22		at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
12.52/2.22		at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
12.52/2.22		at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
12.52/2.22		at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
12.52/2.22		at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
12.52/2.22		at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
12.52/2.22		at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
12.52/2.22		at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
12.52/2.22		at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
12.52/2.22	o 891 
15.62/2.67	o 934 
53.89/7.56	o 977 
248.18/31.93	o 1053 
371.79/47.50	s OPTIMUM FOUND
371.79/47.50	v <instantiation>
371.79/47.50	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>
371.79/47.50	v 	<values>10 0 29 19 1 5 6 2 9 25 22 4 20 13 24 15 12 17 18 16 28 21 14 23 7 3 26 11 27 8 34 0 296 83 13 0 0 31 54 54 207 228 122 0 16 0 23 0 0 85 127 0 270 0 68 152 0 45 34 55 0 0 40 67 89 0 0 19 47 68 94 86 34 0 14 0 67 0 0 31 78 0 99 0 56 14 0 35 53 62 </values>
371.79/47.50	v </instantiation>

Verifier Data 

OK	1053

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 (15704 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394567-1568432664/watcher-4394567-1568432664 -o /tmp/evaluation-result-4394567-1568432664/solver-4394567-1568432664 -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 1658834860 HOME/instance-4394567-1568432664.xml 

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

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

solver pid=13910, runsolver pid=13907

[startup+0.100108 s]*
/proc/loadavg: 7.57 7.81 8.06 3/212 13931
/proc/meminfo: memFree=31524664/32770624 swapFree=67004232/67108860
[pid=13910] ppid=13907 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/13910/stat : 13910 (xcsp3-exec) S 13907 13910 11928 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 419428020 115843072 363 33554432000 4194304 5098028 140728839437184 140728839435288 140317524230780 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11653120 140728839443317 140728839443561 140728839443561 140728839446474 0
/proc/13910/statm: 28282 363 305 221 0 87 0
[pid=13912] ppid=13910 vsize=28227388 memory=29348 CPUtime=0.12 cores=0-7
/proc/13912/stat : 13912 (java) S 13910 13910 11928 0 -1 1077944320 5799 0 0 0 10 2 0 0 20 0 20 0 419428020 28904845312 7337 33554432000 4194304 4196468 140727398680352 140727398662896 139984697085687 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
/proc/13912/statm: 7056847 7337 3118 1 0 7019032 0
[pid=13912/tid=13913] ppid=13910 vsize=28227388 memory=576460756329955445 CPUtime=0.08 cores=0-7
/proc/13912/task/13913/stat : 13913 (java) R 13910 13910 11928 0 -1 4202560 3721 0 0 0 7 1 0 0 20 0 20 0 419428021 28904845312 7337 33554432000 4194304 4196468 140727398680352 139984701318960 139984675530478 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13914] ppid=13910 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13912/task/13914/stat : 13914 (java) S 13910 13910 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419428021 28904845312 7337 33554432000 4194304 4196468 140727398680352 139984662367376 139984697095893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13915] ppid=13910 vsize=28227388 memory=288370415570073216 CPUtime=0 cores=0-7
/proc/13912/task/13915/stat : 13915 (java) S 13910 13910 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419428021 28904845312 7337 33554432000 4194304 4196468 140727398680352 139984247761936 139984697095893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13916] ppid=13910 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13912/task/13916/stat : 13916 (java) S 13910 13910 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419428021 28904845312 7337 33554432000 4194304 4196468 140727398680352 139984246709136 139984697095893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13917] ppid=13910 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13912/task/13917/stat : 13917 (java) S 13910 13910 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419428021 28904845312 7337 33554432000 4194304 4196468 140727398680352 139984245656336 139984697095893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13918] ppid=13910 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13912/task/13918/stat : 13918 (java) S 13910 13910 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419428021 28904845312 7337 33554432000 4194304 4196468 140727398680352 139984244603536 139984697095893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13919] ppid=13910 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/13912/task/13919/stat : 13919 (java) S 13910 13910 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419428021 28904845312 7337 33554432000 4194304 4196468 140727398680352 139984243550736 139984697095893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13920] ppid=13910 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13912/task/13920/stat : 13920 (java) S 13910 13910 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419428021 28904845312 7337 33554432000 4194304 4196468 140727398680352 139984242497936 139984697095893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13921] ppid=13910 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13912/task/13921/stat : 13921 (java) S 13910 13910 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419428021 28904845312 7337 33554432000 4194304 4196468 140727398680352 139984241445136 139984697095893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13922] ppid=13910 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13912/task/13922/stat : 13922 (java) S 13910 13910 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419428023 28904845312 7337 33554432000 4194304 4196468 140727398680352 139984198159216 139984697096834 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13923] ppid=13910 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13912/task/13923/stat : 13923 (java) S 13910 13910 11928 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419428023 28904845312 7337 33554432000 4194304 4196468 140727398680352 139984197105184 139984697095893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13924] ppid=13910 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13912/task/13924/stat : 13924 (java) S 13910 13910 11928 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419428024 28904845312 7337 33554432000 4194304 4196468 140727398680352 139984196052336 139984697095893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13925] ppid=13910 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13912/task/13925/stat : 13925 (java) S 13910 13910 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419428026 28904845312 7337 33554432000 4194304 4196468 140727398680352 139984195000656 139984697104283 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13926] ppid=13910 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13912/task/13926/stat : 13926 (java) S 13910 13910 11928 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 419428026 28904845312 7337 33554432000 4194304 4196468 140727398680352 139984193948016 139984697096834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13927] ppid=13910 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13912/task/13927/stat : 13927 (java) S 13910 13910 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419428026 28904845312 7337 33554432000 4194304 4196468 140727398680352 139984192895216 139984697096834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13928] ppid=13910 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13912/task/13928/stat : 13928 (java) S 13910 13910 11928 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 419428026 28904845312 7337 33554432000 4194304 4196468 140727398680352 139984075090032 139984697096834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13929] ppid=13910 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/13912/task/13929/stat : 13929 (java) R 13910 13910 11928 0 -1 4202560 339 0 0 0 1 0 0 0 20 0 20 0 419428026 28904845312 7337 33554432000 4194304 4196468 140727398680352 139984074037232 139984697097622 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13930] ppid=13910 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13912/task/13930/stat : 13930 (java) S 13910 13910 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419428026 28904845312 7337 33554432000 4194304 4196468 140727398680352 139984072985696 139984697095893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13931] ppid=13910 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/13912/task/13931/stat : 13931 (java) S 13910 13910 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419428027 28904845312 7337 33554432000 4194304 4196468 140727398680352 139984071932976 139984697096834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 30800 KiB

[startup+0.20984 s]*
/proc/loadavg: 7.57 7.81 8.06 3/212 13931
/proc/meminfo: memFree=31510920/32770624 swapFree=67004232/67108860
[pid=13910] ppid=13907 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/13910/stat : 13910 (xcsp3-exec) S 13907 13910 11928 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 419428020 115843072 363 33554432000 4194304 5098028 140728839437184 140728839435288 140317524230780 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11653120 140728839443317 140728839443561 140728839443561 140728839446474 0
/proc/13910/statm: 28282 363 305 221 0 87 0
[pid=13912] ppid=13910 vsize=28227388 memory=41296 CPUtime=0.33 cores=0-7
/proc/13912/stat : 13912 (java) S 13910 13910 11928 0 -1 1077944320 9551 0 0 0 30 3 0 0 20 0 20 0 419428020 28904845312 10324 33554432000 4194304 4196468 140727398680352 140727398662896 139984697085687 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
/proc/13912/statm: 7056847 10324 3307 1 0 7019032 0
[pid=13912/tid=13913] ppid=13910 vsize=28227388 memory=8316850467074736180 CPUtime=0.2 cores=0-7
/proc/13912/task/13913/stat : 13913 (java) R 13910 13910 11928 0 -1 4202560 6696 0 0 0 17 3 0 0 20 0 20 0 419428021 28904845312 10324 33554432000 4194304 4196468 140727398680352 139984701318416 139984681166174 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13914] ppid=13910 vsize=28227388 memory=14965 CPUtime=0 cores=0-7
/proc/13912/task/13914/stat : 13914 (java) S 13910 13910 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419428021 28904845312 10324 33554432000 4194304 4196468 140727398680352 139984662367376 139984697095893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13915] ppid=13910 vsize=28227388 memory=140039418373421 CPUtime=0 cores=0-7
/proc/13912/task/13915/stat : 13915 (java) S 13910 13910 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419428021 28904845312 10324 33554432000 4194304 4196468 140727398680352 139984247761936 139984697095893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13916] ppid=13910 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/13912/task/13916/stat : 13916 (java) S 13910 13910 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419428021 28904845312 10324 33554432000 4194304 4196468 140727398680352 139984246709136 139984697095893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13917] ppid=13910 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13912/task/13917/stat : 13917 (java) S 13910 13910 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419428021 28904845312 10324 33554432000 4194304 4196468 140727398680352 139984245656336 139984697095893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13918] ppid=13910 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13912/task/13918/stat : 13918 (java) S 13910 13910 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419428021 28904845312 10324 33554432000 4194304 4196468 140727398680352 139984244603536 139984697095893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13919] ppid=13910 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/13912/task/13919/stat : 13919 (java) S 13910 13910 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419428021 28904845312 10324 33554432000 4194304 4196468 140727398680352 139984243550736 139984697095893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13920] ppid=13910 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13912/task/13920/stat : 13920 (java) S 13910 13910 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419428021 28904845312 10324 33554432000 4194304 4196468 140727398680352 139984242497936 139984697095893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13921] ppid=13910 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13912/task/13921/stat : 13921 (java) S 13910 13910 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419428021 28904845312 10324 33554432000 4194304 4196468 140727398680352 139984241445136 139984697095893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13922] ppid=13910 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13912/task/13922/stat : 13922 (java) S 13910 13910 11928 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419428023 28904845312 10324 33554432000 4194304 4196468 140727398680352 139984198159216 139984697096834 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13923] ppid=13910 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13912/task/13923/stat : 13923 (java) S 13910 13910 11928 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419428023 28904845312 10324 33554432000 4194304 4196468 140727398680352 139984197105184 139984697095893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13924] ppid=13910 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13912/task/13924/stat : 13924 (java) S 13910 13910 11928 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419428024 28904845312 10324 33554432000 4194304 4196468 140727398680352 139984196052336 139984697095893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13925] ppid=13910 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13912/task/13925/stat : 13925 (java) S 13910 13910 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419428026 28904845312 10324 33554432000 4194304 4196468 140727398680352 139984195000656 139984697104283 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13926] ppid=13910 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/13912/task/13926/stat : 13926 (java) S 13910 13910 11928 0 -1 1077944384 565 0 0 0 1 0 0 0 20 0 20 0 419428026 28904845312 10324 33554432000 4194304 4196468 140727398680352 139984193948016 139984697096834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13927] ppid=13910 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13912/task/13927/stat : 13927 (java) S 13910 13910 11928 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 419428026 28904845312 10324 33554432000 4194304 4196468 140727398680352 139984192895216 139984697096834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13928] ppid=13910 vsize=28227388 memory=-1 CPUtime=0.02 cores=0-7
/proc/13912/task/13928/stat : 13928 (java) S 13910 13910 11928 0 -1 1077944384 274 0 0 0 2 0 0 0 20 0 20 0 419428026 28904845312 10324 33554432000 4194304 4196468 140727398680352 139984075090032 139984697096834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13929] ppid=13910 vsize=28227388 memory=-1 CPUtime=0.07 cores=0-7
/proc/13912/task/13929/stat : 13929 (java) S 13910 13910 11928 0 -1 1077944384 688 0 0 0 7 0 0 0 20 0 20 0 419428026 28904845312 10324 33554432000 4194304 4196468 140727398680352 139984074037232 139984697096834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13930] ppid=13910 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13912/task/13930/stat : 13930 (java) S 13910 13910 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419428026 28904845312 10324 33554432000 4194304 4196468 140727398680352 139984072985696 139984697095893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13931] ppid=13910 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/13912/task/13931/stat : 13931 (java) S 13910 13910 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419428027 28904845312 10324 33554432000 4194304 4196468 140727398680352 139984071932976 139984697096834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 42748 KiB

[startup+0.309515 s]*
/proc/loadavg: 7.57 7.81 8.06 4/212 13931
/proc/meminfo: memFree=31505820/32770624 swapFree=67004232/67108860
[pid=13910] ppid=13907 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/13910/stat : 13910 (xcsp3-exec) S 13907 13910 11928 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 419428020 115843072 363 33554432000 4194304 5098028 140728839437184 140728839435288 140317524230780 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11653120 140728839443317 140728839443561 140728839443561 140728839446474 0
/proc/13910/statm: 28282 363 305 221 0 87 0
[pid=13912] ppid=13910 vsize=28231644 memory=50008 CPUtime=0.51 cores=0-7
/proc/13912/stat : 13912 (java) S 13910 13910 11928 0 -1 1077944320 10879 0 0 0 47 4 0 0 20 0 20 0 419428020 28909203456 12502 33554432000 4194304 4196468 140727398680352 140727398662896 139984697085687 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
/proc/13912/statm: 7057911 12502 3347 1 0 7019032 0
[pid=13912/tid=13913] ppid=13910 vsize=28231644 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/13912/task/13913/stat : 13913 (java) R 13910 13910 11928 0 -1 4202560 7802 0 0 0 26 3 0 0 20 0 20 0 419428021 28909203456 12502 33554432000 4194304 4196468 140727398680352 139984701316800 139984681166174 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13914] ppid=13910 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/13912/task/13914/stat : 13914 (java) S 13910 13910 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419428021 28909203456 12502 33554432000 4194304 4196468 140727398680352 139984662367376 139984697095893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13915] ppid=13910 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/13912/task/13915/stat : 13915 (java) S 13910 13910 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419428021 28909203456 12502 33554432000 4194304 4196468 140727398680352 139984247761936 139984697095893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13916] ppid=13910 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/13912/task/13916/stat : 13916 (java) S 13910 13910 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419428021 28909203456 12502 33554432000 4194304 4196468 140727398680352 139984246709136 139984697095893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13917] ppid=13910 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/13912/task/13917/stat : 13917 (java) S 13910 13910 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419428021 28909203456 12502 33554432000 4194304 4196468 140727398680352 139984245656336 139984697095893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13918] ppid=13910 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/13912/task/13918/stat : 13918 (java) S 13910 13910 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419428021 28909203456 12542 33554432000 4194304 4196468 140727398680352 139984244603536 139984697095893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13919] ppid=13910 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/13912/task/13919/stat : 13919 (java) S 13910 13910 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419428021 28909203456 12542 33554432000 4194304 4196468 140727398680352 139984243550736 139984697095893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13920] ppid=13910 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/13912/task/13920/stat : 13920 (java) S 13910 13910 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419428021 28909203456 12542 33554432000 4194304 4196468 140727398680352 139984242497936 139984697095893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13921] ppid=13910 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/13912/task/13921/stat : 13921 (java) S 13910 13910 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419428021 28909203456 12542 33554432000 4194304 4196468 140727398680352 139984241445136 139984697095893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13922] ppid=13910 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/13912/task/13922/stat : 13922 (java) S 13910 13910 11928 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419428023 28909203456 12542 33554432000 4194304 4196468 140727398680352 139984198159216 139984697096834 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13923] ppid=13910 vsize=28231644 memory=280078575672704 CPUtime=0 cores=0-7
/proc/13912/task/13923/stat : 13923 (java) S 13910 13910 11928 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419428023 28909203456 12542 33554432000 4194304 4196468 140727398680352 139984197105184 139984697095893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13924] ppid=13910 vsize=28231644 memory=280078575677312 CPUtime=0 cores=0-7
/proc/13912/task/13924/stat : 13924 (java) S 13910 13910 11928 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419428024 28909203456 12542 33554432000 4194304 4196468 140727398680352 139984196052336 139984697095893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13925] ppid=13910 vsize=28231644 memory=280078575681920 CPUtime=0 cores=0-7
/proc/13912/task/13925/stat : 13925 (java) S 13910 13910 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419428026 28909203456 12542 33554432000 4194304 4196468 140727398680352 139984195000656 139984697104283 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13926] ppid=13910 vsize=28231644 memory=280078575686528 CPUtime=0.02 cores=0-7
/proc/13912/task/13926/stat : 13926 (java) S 13910 13910 11928 0 -1 1077944384 572 0 0 0 2 0 0 0 20 0 20 0 419428026 28909203456 12542 33554432000 4194304 4196468 140727398680352 139984193948016 139984697096834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13927] ppid=13910 vsize=28231644 memory=280078575691136 CPUtime=0.01 cores=0-7
/proc/13912/task/13927/stat : 13927 (java) R 13910 13910 11928 0 -1 4202560 136 0 0 0 1 0 0 0 20 0 20 0 419428026 28909203456 12542 33554432000 4194304 4196468 140727398680352 139984192895216 139984680571741 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13928] ppid=13910 vsize=28231644 memory=280078575695744 CPUtime=0.03 cores=0-7
/proc/13912/task/13928/stat : 13928 (java) S 13910 13910 11928 0 -1 1077944384 283 0 0 0 3 0 0 0 20 0 20 0 419428026 28909203456 12542 33554432000 4194304 4196468 140727398680352 139984075090032 139984697096834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13929] ppid=13910 vsize=28231644 memory=280078575700352 CPUtime=0.12 cores=0-7
/proc/13912/task/13929/stat : 13929 (java) S 13910 13910 11928 0 -1 1077944384 775 0 0 0 12 0 0 0 20 0 20 0 419428026 28909203456 12542 33554432000 4194304 4196468 140727398680352 139984074037232 139984697096834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13930] ppid=13910 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/13912/task/13930/stat : 13930 (java) S 13910 13910 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419428026 28909203456 12542 33554432000 4194304 4196468 140727398680352 139984072985696 139984697095893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13931] ppid=13910 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/13912/task/13931/stat : 13931 (java) S 13910 13910 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419428027 28909203456 12542 33554432000 4194304 4196468 140727398680352 139984071932976 139984697096834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 51460 KiB

[startup+0.700931 s]
/proc/loadavg: 7.57 7.81 8.06 3/212 13931
/proc/meminfo: memFree=31481360/32770624 swapFree=67004232/67108860
[pid=13910] ppid=13907 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/13910/stat : 13910 (xcsp3-exec) S 13907 13910 11928 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 419428020 115843072 363 33554432000 4194304 5098028 140728839437184 140728839435288 140317524230780 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11653120 140728839443317 140728839443561 140728839443561 140728839446474 0
/proc/13910/statm: 28282 363 305 221 0 87 0
[pid=13912] ppid=13910 vsize=28233768 memory=98440 CPUtime=1.77 cores=0-7
/proc/13912/stat : 13912 (java) S 13910 13910 11928 0 -1 1077944320 15782 0 0 0 169 8 0 0 20 0 20 0 419428020 28911378432 24610 33554432000 4194304 4196468 140727398680352 140727398662896 139984697085687 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
/proc/13912/statm: 7058442 24610 3455 1 0 7019544 0
[pid=13912/tid=13913] ppid=13910 vsize=28233768 memory=0 CPUtime=0.67 cores=0-7
/proc/13912/task/13913/stat : 13913 (java) R 13910 13910 11928 0 -1 4202560 9534 0 0 0 62 5 0 0 20 0 20 0 419428021 28911378432 24610 33554432000 4194304 4196468 140727398680352 139984701322496 139984697097622 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13914] ppid=13910 vsize=28233768 memory=140039288038272 CPUtime=0 cores=0-7
/proc/13912/task/13914/stat : 13914 (java) S 13910 13910 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419428021 28911378432 24610 33554432000 4194304 4196468 140727398680352 139984662367376 139984697095893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13915] ppid=13910 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/13912/task/13915/stat : 13915 (java) S 13910 13910 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419428021 28911378432 24610 33554432000 4194304 4196468 140727398680352 139984247761936 139984697095893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13916] ppid=13910 vsize=28233768 memory=1052 CPUtime=0 cores=0-7
/proc/13912/task/13916/stat : 13916 (java) S 13910 13910 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419428021 28911378432 24610 33554432000 4194304 4196468 140727398680352 139984246709136 139984697095893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0

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

/proc/13912/task/14093/stat : 14093 (java) R 13910 13910 11928 0 -1 4202560 482 0 0 0 1438 0 0 0 20 0 28 0 419431213 29459820544 597991 33554432000 4194304 4196468 140727398680352 139983855800920 139984340274681 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
Current children cumulated CPU time: 363.81 s
Current children cumulated vsize: 28882484 KiB
Current children cumulated memory: 2393416 KiB

[startup+47.2017 s]
/proc/loadavg: 8.49 8.04 8.12 9/220 14093
/proc/meminfo: memFree=29159488/32770624 swapFree=67004232/67108860
[pid=13910] ppid=13907 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/13910/stat : 13910 (xcsp3-exec) S 13907 13910 11928 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 419428020 115843072 363 33554432000 4194304 5098028 140728839437184 140728839435288 140317524230780 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11653120 140728839443317 140728839443561 140728839443561 140728839446474 0
/proc/13910/statm: 28282 363 305 221 0 87 0
[pid=13912] ppid=13910 vsize=28769356 memory=2391964 CPUtime=370.19 cores=0-7
/proc/13912/stat : 13912 (java) S 13910 13910 11928 0 -1 1077944320 120367 0 0 0 36830 189 0 0 20 0 28 0 419428020 29459820544 597991 33554432000 4194304 4196468 140727398680352 140727398662896 139984697085687 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
/proc/13912/statm: 7192339 597991 3535 1 0 7153441 0
[pid=13912/tid=13913] ppid=13910 vsize=28769356 memory=1416 CPUtime=0.87 cores=0-7
/proc/13912/task/13913/stat : 13913 (java) S 13910 13910 11928 0 -1 1077944384 10024 0 0 0 81 6 0 0 20 0 28 0 419428021 29459820544 597991 33554432000 4194304 4196468 140727398680352 139984701326464 139984697095893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13914] ppid=13910 vsize=28769356 memory=1556 CPUtime=0.24 cores=0-7
/proc/13912/task/13914/stat : 13914 (java) S 13910 13910 11928 0 -1 1077944384 2587 0 0 0 14 10 0 0 20 0 28 0 419428021 29459820544 597991 33554432000 4194304 4196468 140727398680352 139984662367376 139984697095893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13915] ppid=13910 vsize=28769356 memory=1452 CPUtime=0.22 cores=0-7
/proc/13912/task/13915/stat : 13915 (java) S 13910 13910 11928 0 -1 1077944384 466 0 0 0 13 9 0 0 20 0 28 0 419428021 29459820544 597991 33554432000 4194304 4196468 140727398680352 139984247761936 139984697095893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13916] ppid=13910 vsize=28769356 memory=2391964 CPUtime=0.26 cores=0-7
/proc/13912/task/13916/stat : 13916 (java) S 13910 13910 11928 0 -1 1077944384 423 0 0 0 16 10 0 0 20 0 28 0 419428021 29459820544 597991 33554432000 4194304 4196468 140727398680352 139984246709136 139984697095893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13917] ppid=13910 vsize=28769356 memory=61926717524714 CPUtime=0.23 cores=0-7
/proc/13912/task/13917/stat : 13917 (java) S 13910 13910 11928 0 -1 1077944384 416 0 0 0 14 9 0 0 20 0 28 0 419428021 29459820544 597991 33554432000 4194304 4196468 140727398680352 139984245656336 139984697095893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13918] ppid=13910 vsize=28769356 memory=61926717524714 CPUtime=0.25 cores=0-7
/proc/13912/task/13918/stat : 13918 (java) S 13910 13910 11928 0 -1 1077944384 426 0 0 0 15 10 0 0 20 0 28 0 419428021 29459820544 597991 33554432000 4194304 4196468 140727398680352 139984244603536 139984697095893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13919] ppid=13910 vsize=28769356 memory=61926717524714 CPUtime=0.2 cores=0-7
/proc/13912/task/13919/stat : 13919 (java) S 13910 13910 11928 0 -1 1077944384 753 0 0 0 11 9 0 0 20 0 28 0 419428021 29459820544 597991 33554432000 4194304 4196468 140727398680352 139984243550736 139984697095893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13920] ppid=13910 vsize=28769356 memory=61926717524714 CPUtime=0.26 cores=0-7
/proc/13912/task/13920/stat : 13920 (java) S 13910 13910 11928 0 -1 1077944384 520 0 0 0 16 10 0 0 20 0 28 0 419428021 29459820544 597991 33554432000 4194304 4196468 140727398680352 139984242497936 139984697095893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13921] ppid=13910 vsize=28769356 memory=1452 CPUtime=0.22 cores=0-7
/proc/13912/task/13921/stat : 13921 (java) S 13910 13910 11928 0 -1 1077944384 790 0 0 0 12 10 0 0 20 0 28 0 419428021 29459820544 597991 33554432000 4194304 4196468 140727398680352 139984241445136 139984697095893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13922] ppid=13910 vsize=28769356 memory=2391964 CPUtime=0.03 cores=0-7
/proc/13912/task/13922/stat : 13922 (java) S 13910 13910 11928 0 -1 1077944384 3138 0 0 0 3 0 0 0 20 0 28 0 419428023 29459820544 597991 33554432000 4194304 4196468 140727398680352 139984198159216 139984697096834 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13923] ppid=13910 vsize=28769356 memory=5935837133509651826 CPUtime=0 cores=0-7
/proc/13912/task/13923/stat : 13923 (java) S 13910 13910 11928 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 419428023 29459820544 597991 33554432000 4194304 4196468 140727398680352 139984197105248 139984697095893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13924] ppid=13910 vsize=28769356 memory=5935837103344545136 CPUtime=0 cores=0-7
/proc/13912/task/13924/stat : 13924 (java) S 13910 13910 11928 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 419428024 29459820544 597991 33554432000 4194304 4196468 140727398680352 139984196052336 139984697095893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13925] ppid=13910 vsize=28769356 memory=0 CPUtime=0 cores=0-7
/proc/13912/task/13925/stat : 13925 (java) S 13910 13910 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419428026 29459820544 597991 33554432000 4194304 4196468 140727398680352 139984195000656 139984697104283 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13926] ppid=13910 vsize=28769356 memory=6079952308633432174 CPUtime=4.24 cores=0-7
/proc/13912/task/13926/stat : 13926 (java) S 13910 13910 11928 0 -1 1077944384 17546 0 0 0 420 4 0 0 20 0 28 0 419428026 29459820544 597991 33554432000 4194304 4196468 140727398680352 139984193948016 139984697096834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13927] ppid=13910 vsize=28769356 memory=740 CPUtime=4.51 cores=0-7
/proc/13912/task/13927/stat : 13927 (java) S 13910 13910 11928 0 -1 1077944384 22853 0 0 0 445 6 0 0 20 0 28 0 419428026 29459820544 597991 33554432000 4194304 4196468 140727398680352 139984192895216 139984697096834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13928] ppid=13910 vsize=28769356 memory=1052 CPUtime=3.95 cores=0-7
/proc/13912/task/13928/stat : 13928 (java) S 13910 13910 11928 0 -1 1077944384 14369 0 0 0 392 3 0 0 20 0 28 0 419428026 29459820544 597991 33554432000 4194304 4196468 140727398680352 139984075090032 139984697096834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13929] ppid=13910 vsize=28769356 memory=7548 CPUtime=1.31 cores=0-7
/proc/13912/task/13929/stat : 13929 (java) S 13910 13910 11928 0 -1 1077944384 7239 0 0 0 129 2 0 0 20 0 28 0 419428026 29459820544 597991 33554432000 4194304 4196468 140727398680352 139984074037232 139984697096834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 27 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13930] ppid=13910 vsize=28769356 memory=4004 CPUtime=0 cores=0-7
/proc/13912/task/13930/stat : 13930 (java) S 13910 13910 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419428026 29459820544 597991 33554432000 4194304 4196468 140727398680352 139984072985696 139984697095893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13931] ppid=13910 vsize=28769356 memory=2832 CPUtime=0.01 cores=0-7
/proc/13912/task/13931/stat : 13931 (java) S 13910 13910 11928 0 -1 1077944384 1455 0 0 0 1 0 0 0 20 0 28 0 419428027 29459820544 597991 33554432000 4194304 4196468 140727398680352 139984071932976 139984697096834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=14086] ppid=13910 vsize=28769356 memory=776 CPUtime=15.2 cores=0-7
/proc/13912/task/14086/stat : 14086 (java) R 13910 13910 11928 0 -1 4202560 783 0 0 0 1520 0 0 0 20 0 28 0 419431213 29459820544 597991 33554432000 4194304 4196468 140727398680352 139983853694664 139984340274695 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=14087] ppid=13910 vsize=28769356 memory=1160 CPUtime=15.21 cores=0-7
/proc/13912/task/14087/stat : 14087 (java) R 13910 13910 11928 0 -1 4202560 342 0 0 0 1521 0 0 0 20 0 28 0 419431213 29459820544 597991 33554432000 4194304 4196468 140727398680352 139984059810504 139984340275289 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=14088] ppid=13910 vsize=28769356 memory=1720 CPUtime=15.19 cores=0-7
/proc/13912/task/14088/stat : 14088 (java) R 13910 13910 11928 0 -1 4202560 6896 0 0 0 1514 5 0 0 20 0 28 0 419431213 29459820544 597991 33554432000 4194304 4196468 140727398680352 139983854748312 139984336708233 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=14089] ppid=13910 vsize=28769356 memory=1096 CPUtime=15.05 cores=0-7
/proc/13912/task/14089/stat : 14089 (java) R 13910 13910 11928 0 -1 4202560 1049 0 0 0 1501 4 0 0 20 0 28 0 419431213 29459820544 597991 33554432000 4194304 4196468 140727398680352 139983852642680 139984344327712 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=14090] ppid=13910 vsize=28769356 memory=5964 CPUtime=15.06 cores=0-7
/proc/13912/task/14090/stat : 14090 (java) R 13910 13910 11928 0 -1 4202560 708 0 0 0 1505 1 0 0 20 0 28 0 419431213 29459820544 597991 33554432000 4194304 4196468 140727398680352 139983850537064 139984342655979 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=14091] ppid=13910 vsize=28769356 memory=2391964 CPUtime=15.17 cores=0-7
/proc/13912/task/14091/stat : 14091 (java) R 13910 13910 11928 0 -1 4202560 465 0 0 0 1517 0 0 0 20 0 28 0 419431213 29459820544 597991 33554432000 4194304 4196468 140727398680352 139984060862440 139984345454464 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=14092] ppid=13910 vsize=28769356 memory=0 CPUtime=15.22 cores=0-7
/proc/13912/task/14092/stat : 14092 (java) R 13910 13910 11928 0 -1 4202560 510 0 0 0 1522 0 0 0 20 0 28 0 419431213 29459820544 597991 33554432000 4194304 4196468 140727398680352 139983851590744 139984341821701 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=14093] ppid=13910 vsize=28769356 memory=1 CPUtime=15.18 cores=0-7
/proc/13912/task/14093/stat : 14093 (java) R 13910 13910 11928 0 -1 4202560 485 0 0 0 1518 0 0 0 20 0 28 0 419431213 29459820544 597991 33554432000 4194304 4196468 140727398680352 139983855800920 139984342428586 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
Current children cumulated CPU time: 370.19 s
Current children cumulated vsize: 28882484 KiB
Current children cumulated memory: 2393416 KiB

[startup+47.4017 s]
/proc/loadavg: 8.49 8.04 8.12 9/220 14093
/proc/meminfo: memFree=29159488/32770624 swapFree=67004232/67108860
[pid=13910] ppid=13907 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/13910/stat : 13910 (xcsp3-exec) S 13907 13910 11928 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 419428020 115843072 363 33554432000 4194304 5098028 140728839437184 140728839435288 140317524230780 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11653120 140728839443317 140728839443561 140728839443561 140728839446474 0
/proc/13910/statm: 28282 363 305 221 0 87 0
[pid=13912] ppid=13910 vsize=28769356 memory=2391964 CPUtime=371.79 cores=0-7
/proc/13912/stat : 13912 (java) S 13910 13910 11928 0 -1 1077944320 120380 0 0 0 36990 189 0 0 20 0 28 0 419428020 29459820544 597991 33554432000 4194304 4196468 140727398680352 140727398662896 139984697085687 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
/proc/13912/statm: 7192339 597991 3535 1 0 7153441 0
[pid=13912/tid=13913] ppid=13910 vsize=28769356 memory=1379 CPUtime=0.87 cores=0-7
/proc/13912/task/13913/stat : 13913 (java) S 13910 13910 11928 0 -1 1077944384 10024 0 0 0 81 6 0 0 20 0 28 0 419428021 29459820544 597991 33554432000 4194304 4196468 140727398680352 139984701326464 139984697095893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13914] ppid=13910 vsize=28769356 memory=1365 CPUtime=0.24 cores=0-7
/proc/13912/task/13914/stat : 13914 (java) S 13910 13910 11928 0 -1 1077944384 2587 0 0 0 14 10 0 0 20 0 28 0 419428021 29459820544 597991 33554432000 4194304 4196468 140727398680352 139984662367376 139984697095893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13915] ppid=13910 vsize=28769356 memory=1370 CPUtime=0.22 cores=0-7
/proc/13912/task/13915/stat : 13915 (java) S 13910 13910 11928 0 -1 1077944384 466 0 0 0 13 9 0 0 20 0 28 0 419428021 29459820544 597991 33554432000 4194304 4196468 140727398680352 139984247761936 139984697095893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13916] ppid=13910 vsize=28769356 memory=1377 CPUtime=0.26 cores=0-7
/proc/13912/task/13916/stat : 13916 (java) S 13910 13910 11928 0 -1 1077944384 423 0 0 0 16 10 0 0 20 0 28 0 419428021 29459820544 597991 33554432000 4194304 4196468 140727398680352 139984246709136 139984697095893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13917] ppid=13910 vsize=28769356 memory=1382 CPUtime=0.23 cores=0-7
/proc/13912/task/13917/stat : 13917 (java) S 13910 13910 11928 0 -1 1077944384 416 0 0 0 14 9 0 0 20 0 28 0 419428021 29459820544 597991 33554432000 4194304 4196468 140727398680352 139984245656336 139984697095893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13918] ppid=13910 vsize=28769356 memory=6791534058613427641 CPUtime=0.25 cores=0-7
/proc/13912/task/13918/stat : 13918 (java) S 13910 13910 11928 0 -1 1077944384 426 0 0 0 15 10 0 0 20 0 28 0 419428021 29459820544 597991 33554432000 4194304 4196468 140727398680352 139984244603536 139984697095893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13919] ppid=13910 vsize=28769356 memory=0 CPUtime=0.2 cores=0-7
/proc/13912/task/13919/stat : 13919 (java) S 13910 13910 11928 0 -1 1077944384 753 0 0 0 11 9 0 0 20 0 28 0 419428021 29459820544 597991 33554432000 4194304 4196468 140727398680352 139984243550736 139984697095893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13920] ppid=13910 vsize=28769356 memory=1756 CPUtime=0.26 cores=0-7
/proc/13912/task/13920/stat : 13920 (java) S 13910 13910 11928 0 -1 1077944384 520 0 0 0 16 10 0 0 20 0 28 0 419428021 29459820544 597991 33554432000 4194304 4196468 140727398680352 139984242497936 139984697095893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13921] ppid=13910 vsize=28769356 memory=1398722017469774279 CPUtime=0.22 cores=0-7
/proc/13912/task/13921/stat : 13921 (java) S 13910 13910 11928 0 -1 1077944384 790 0 0 0 12 10 0 0 20 0 28 0 419428021 29459820544 597991 33554432000 4194304 4196468 140727398680352 139984241445136 139984697095893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13922] ppid=13910 vsize=28769356 memory=0 CPUtime=0.03 cores=0-7
/proc/13912/task/13922/stat : 13922 (java) S 13910 13910 11928 0 -1 1077944384 3138 0 0 0 3 0 0 0 20 0 28 0 419428023 29459820544 597991 33554432000 4194304 4196468 140727398680352 139984198159216 139984697096834 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13923] ppid=13910 vsize=28769356 memory=0 CPUtime=0 cores=0-7
/proc/13912/task/13923/stat : 13923 (java) S 13910 13910 11928 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 419428023 29459820544 597991 33554432000 4194304 4196468 140727398680352 139984197105248 139984697095893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13924] ppid=13910 vsize=28769356 memory=111632 CPUtime=0 cores=0-7
/proc/13912/task/13924/stat : 13924 (java) S 13910 13910 11928 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 419428024 29459820544 597991 33554432000 4194304 4196468 140727398680352 139984196052336 139984697095893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13925] ppid=13910 vsize=28769356 memory=804 CPUtime=0 cores=0-7
/proc/13912/task/13925/stat : 13925 (java) S 13910 13910 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419428026 29459820544 597991 33554432000 4194304 4196468 140727398680352 139984195000656 139984697104283 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13926] ppid=13910 vsize=28769356 memory=4104 CPUtime=4.24 cores=0-7
/proc/13912/task/13926/stat : 13926 (java) S 13910 13910 11928 0 -1 1077944384 17546 0 0 0 420 4 0 0 20 0 28 0 419428026 29459820544 597991 33554432000 4194304 4196468 140727398680352 139984193948016 139984697096834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13927] ppid=13910 vsize=28769356 memory=1804 CPUtime=4.51 cores=0-7
/proc/13912/task/13927/stat : 13927 (java) S 13910 13910 11928 0 -1 1077944384 22853 0 0 0 445 6 0 0 20 0 28 0 419428026 29459820544 597991 33554432000 4194304 4196468 140727398680352 139984192895216 139984697096834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13928] ppid=13910 vsize=28769356 memory=916 CPUtime=3.95 cores=0-7
/proc/13912/task/13928/stat : 13928 (java) S 13910 13910 11928 0 -1 1077944384 14369 0 0 0 392 3 0 0 20 0 28 0 419428026 29459820544 597991 33554432000 4194304 4196468 140727398680352 139984075090032 139984697096834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13929] ppid=13910 vsize=28769356 memory=4136 CPUtime=1.31 cores=0-7
/proc/13912/task/13929/stat : 13929 (java) S 13910 13910 11928 0 -1 1077944384 7239 0 0 0 129 2 0 0 20 0 28 0 419428026 29459820544 597991 33554432000 4194304 4196468 140727398680352 139984074037232 139984697096834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 27 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13930] ppid=13910 vsize=28769356 memory=1412 CPUtime=0 cores=0-7
/proc/13912/task/13930/stat : 13930 (java) S 13910 13910 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419428026 29459820544 597991 33554432000 4194304 4196468 140727398680352 139984072985696 139984697095893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13931] ppid=13910 vsize=28769356 memory=3192 CPUtime=0.01 cores=0-7
/proc/13912/task/13931/stat : 13931 (java) S 13910 13910 11928 0 -1 1077944384 1455 0 0 0 1 0 0 0 20 0 28 0 419428027 29459820544 597991 33554432000 4194304 4196468 140727398680352 139984071932976 139984697096834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=14086] ppid=13910 vsize=28769356 memory=1452 CPUtime=15.4 cores=0-7
/proc/13912/task/14086/stat : 14086 (java) R 13910 13910 11928 0 -1 4202560 784 0 0 0 1540 0 0 0 20 0 28 0 419431213 29459820544 597991 33554432000 4194304 4196468 140727398680352 139983853694664 139984340275108 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=14087] ppid=13910 vsize=28769356 memory=14012 CPUtime=15.41 cores=0-7
/proc/13912/task/14087/stat : 14087 (java) R 13910 13910 11928 0 -1 4202560 342 0 0 0 1541 0 0 0 20 0 28 0 419431213 29459820544 597991 33554432000 4194304 4196468 140727398680352 139984059810504 139984340457656 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=14088] ppid=13910 vsize=28769356 memory=19696 CPUtime=15.39 cores=0-7
/proc/13912/task/14088/stat : 14088 (java) R 13910 13910 11928 0 -1 4202560 6906 0 0 0 1534 5 0 0 20 0 28 0 419431213 29459820544 597991 33554432000 4194304 4196468 140727398680352 139983854748312 139984343913548 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=14089] ppid=13910 vsize=28769356 memory=14068 CPUtime=15.25 cores=0-7
/proc/13912/task/14089/stat : 14089 (java) R 13910 13910 11928 0 -1 4202560 1049 0 0 0 1521 4 0 0 20 0 28 0 419431213 29459820544 597991 33554432000 4194304 4196468 140727398680352 139983852642680 139984338970454 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=14090] ppid=13910 vsize=28769356 memory=2120 CPUtime=15.26 cores=0-7
/proc/13912/task/14090/stat : 14090 (java) R 13910 13910 11928 0 -1 4202560 709 0 0 0 1525 1 0 0 20 0 28 0 419431213 29459820544 597991 33554432000 4194304 4196468 140727398680352 139983850537064 139984342224523 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=14091] ppid=13910 vsize=28769356 memory=504 CPUtime=15.37 cores=0-7
/proc/13912/task/14091/stat : 14091 (java) R 13910 13910 11928 0 -1 4202560 465 0 0 0 1537 0 0 0 20 0 28 0 419431213 29459820544 597991 33554432000 4194304 4196468 140727398680352 139984060862440 139984342267348 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=14092] ppid=13910 vsize=28769356 memory=1560 CPUtime=15.42 cores=0-7
/proc/13912/task/14092/stat : 14092 (java) R 13910 13910 11928 0 -1 4202560 510 0 0 0 1542 0 0 0 20 0 28 0 419431213 29459820544 597991 33554432000 4194304 4196468 140727398680352 139983851590744 139984340275242 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=14093] ppid=13910 vsize=28769356 memory=924 CPUtime=15.38 cores=0-7
/proc/13912/task/14093/stat : 14093 (java) R 13910 13910 11928 0 -1 4202560 486 0 0 0 1538 0 0 0 20 0 28 0 419431213 29459820544 597991 33554432000 4194304 4196468 140727398680352 139983855800920 139984337309950 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
Current children cumulated CPU time: 371.79 s
Current children cumulated vsize: 28882484 KiB
Current children cumulated memory: 2393416 KiB

[startup+47.5016 s]
/proc/loadavg: 8.49 8.04 8.12 9/220 14093
/proc/meminfo: memFree=29159488/32770624 swapFree=67004232/67108860
[pid=13910] ppid=13907 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/13910/stat : 13910 (xcsp3-exec) S 13907 13910 11928 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 419428020 115843072 363 33554432000 4194304 5098028 140728839437184 140728839435288 140317524230780 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11653120 140728839443317 140728839443561 140728839443561 140728839446474 0
/proc/13910/statm: 28282 363 305 221 0 87 0
[pid=13912] ppid=13910 vsize=28769356 memory=2391324 CPUtime=372.57 cores=0-7
/proc/13912/stat : 13912 (java) R 13910 13910 11928 0 -1 12591104 121023 0 0 0 37067 190 0 0 20 0 17 0 419428020 29459820544 597831 33554432000 4194304 4196468 140727398680352 140727398662896 139984682102160 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
/proc/13912/statm: 7192339 597831 3535 1 0 7153441 0
[pid=13912/tid=13914] ppid=13910 vsize=28769356 memory=1452 CPUtime=0.24 cores=0-7
/proc/13912/task/13914/stat : 13914 (java) S 13910 13910 11928 0 -1 1077944384 2587 0 0 0 14 10 0 0 20 0 17 0 419428021 29459820544 597831 33554432000 4194304 4196468 140727398680352 139984662367376 139984697095893 256 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13915] ppid=13910 vsize=28769356 memory=2391964 CPUtime=0.22 cores=0-7
/proc/13912/task/13915/stat : 13915 (java) R 13910 13910 11928 0 -1 1077944384 466 0 0 0 13 9 0 0 20 0 17 0 419428021 29459820544 597862 33554432000 4194304 4196468 140727398680352 139984247761936 139984697095893 256 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
[pid=13912/tid=13916] ppid=13910 vsize=0 memory=2324232 CPUtime=0.26 cores=0-7
/proc/13912/task/13916/stat : 13916 (java) X 13910 13910 11928 0 -1 4195396 423 0 0 0 16 10 0 0 20 0 15 0 419428021 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0
[pid=13912/tid=13925] ppid=13910 vsize=28769356 memory=1096 CPUtime=0 cores=0-7
/proc/13912/task/13925/stat : 13925 (java) R 13910 13910 11928 0 -1 4203588 3 0 0 0 0 0 0 0 20 0 2 0 419428026 29459820544 597927 33554432000 4194304 4196468 140727398680352 139984195000304 139984697095893 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19955712 140727398683626 140727398683798 140727398683798 140727398686671 0
Current children cumulated CPU time: 372.57 s
Current children cumulated vsize: 28882484 KiB
Current children cumulated memory: 2392776 KiB

Child status: 0
Real time (s): 47.5223
CPU time (s): 372.598
CPU user time (s): 370.674
CPU system time (s): 1.92343
CPU usage (%): 784.048
Max. virtual memory (cumulated for all children) (KiB): 28884840
Max. memory (cumulated for all children) (KiB): 2393416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 370.674
system time used= 1.92343
maximum resident set size= 2391964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 121593
page faults= 0
swaps= 0
block input operations= 0
block output operations= 200
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8141
involuntary context switches= 6136


# summary of solver processes directly reported to runsolver:
#   pid: 13910
#   total CPU time (s): 372.598
#   total CPU user time (s): 370.674
#   total CPU system time (s): 1.92343

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.452291 second user time and 0.526134 second system time

The end

Launcher Data 

Begin job on node148 at 2019-09-14 05:43:47
IDJOB=4394567
IDBENCH=133278
IDSOLVER=2843
FILE ID=node148/4394567-1568432664
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-2.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-4394567-1568432664/watcher-4394567-1568432664 -o /tmp/evaluation-result-4394567-1568432664/solver-4394567-1568432664 -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 1658834860 HOME/instance-4394567-1568432664.xml

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

MD5SUM BENCH= d930a285b222420c6879960cff9efc87
RANDOM SEED=1658834860

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:        31541104 kB
MemAvailable:   31908564 kB
Buffers:           91972 kB
Cached:           572320 kB
SwapCached:         3812 kB
Active:           412632 kB
Inactive:         258772 kB
Active(anon):       4240 kB
Inactive(anon):    43744 kB
Active(file):     408392 kB
Inactive(file):   215028 kB
Unevictable:      108944 kB
Mlocked:          108944 kB
SwapTotal:      67108860 kB
SwapFree:       67004232 kB
Dirty:             25972 kB
Writeback:             0 kB
AnonPages:        129592 kB
Mapped:            44268 kB
Shmem:             32352 kB
Slab:             148484 kB
SReclaimable:     119752 kB
SUnreclaim:        28732 kB
KernelStack:        3728 kB
PageTables:         5996 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     497484 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     83968 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:44:35