Trace number 4394660

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 parallelSAT (TO)133 19921.3 2520.13

General information on the benchmark

NameGolombRuler/GolombRuler-a3-s1/
GolombRuler-14-a3.xml
MD5SUMa5381fa3d98671549d41a8d043d26ba4
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark134
Best CPU time to get the best result obtained on this benchmark2400.42
Satisfiable
(Un)Satisfiability was proved
Number of variables210
Number of constraints94
Number of domains2
Minimum domain size500
Maximum domain size501
Distribution of domain sizes[{"size":500,"count":91},{"size":501,"count":14}]
Minimum variable degree0
Maximum variable degree15
Distribution of variable degrees[{"degree":0,"count":105},{"degree":2,"count":91},{"degree":14,"count":12},{"degree":15,"count":2}]
Minimum constraint arity1
Maximum constraint arity91
Distribution of constraint arities[{"arity":1,"count":1},{"arity":3,"count":91},{"arity":14,"count":1},{"arity":91,"count":1}]
Number of extensional constraints0
Number of intensional constraints92
Distribution of constraint types[{"type":"intension","count":92},{"type":"allDifferent","count":1},{"type":"ordered","count":1}]
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-4394660-1568426237.xml"  -tl '20160s' -p 8
0.13/0.18	c Choco e747e1e
0.13/0.18	c [HOME/instance-4394660-1568426237.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.28	c parse instance...
1.68/0.76	c solve instance...
4.45/1.12	o 181 
4.45/1.13	java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a weak clause (25/96)
4.45/1.13		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
4.45/1.13		at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
4.45/1.13		at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
4.45/1.13		at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
4.45/1.13		at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
4.45/1.13	Caused by: org.chocosolver.solver.exception.SolverException: Learn a weak clause (25/96)
4.45/1.13		at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:201)
4.45/1.13		at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219)
4.45/1.13		at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90)
4.45/1.13		at org.chocosolver.solver.Solver.repair(Solver.java:443)
4.45/1.13		at org.chocosolver.solver.Solver.searchLoop(Solver.java:301)
4.45/1.13		at org.chocosolver.solver.Solver.solve(Solver.java:262)
4.45/1.13		at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
4.45/1.13		at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
4.45/1.13		at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
4.45/1.13		at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
4.45/1.13		at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
4.45/1.13		at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
4.45/1.13		at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
4.45/1.13		at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
4.45/1.13		at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
4.45/1.13		at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
4.45/1.13	o 177 
4.45/1.14	o 174 
5.02/1.25	o 169 
5.75/1.38	o 168 
8.90/1.72	o 161 
12.20/2.12	o 160 
23.06/3.57	o 159 
23.06/3.59	o 154 
25.41/3.84	o 151 
37.98/5.46	o 148 
37.98/5.49	o 144 
123.71/16.27	o 143 
131.62/17.28	o 142 
254.14/32.69	o 141 
514.76/65.49	o 135 
2636.55/344.12	o 134 
11587.36/1470.85	o 133 
19920.50/2520.09	s SATISFIABLE
19920.50/2520.09	v <instantiation>
19920.50/2520.09	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[0][12] y[0][13] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[1][11] y[1][12] y[1][13] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[2][12] y[2][13] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[3][11] y[3][12] y[3][13] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[4][11] y[4][12] y[4][13] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[5][12] y[5][13] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[6][12] y[6][13] y[7][8] y[7][9] y[7][10] y[7][11] y[7][12] y[7][13] y[8][9] y[8][10] y[8][11] y[8][12] y[8][13] y[9][10] y[9][11] y[9][12] y[9][13] y[10][11] y[10][12] y[10][13] y[11][12] y[11][13] y[12][13] </list>
19920.50/2520.09	v 	<values>0 1 3 23 28 39 57 71 83 92 116 123 129 133 1 3 23 28 39 57 71 83 92 116 123 129 133 2 22 27 38 56 70 82 91 115 122 128 132 20 25 36 54 68 80 89 113 120 126 130 5 16 34 48 60 69 93 100 106 110 11 29 43 55 64 88 95 101 105 18 32 44 53 77 84 90 94 14 26 35 59 66 72 76 12 21 45 52 58 62 9 33 40 46 50 24 31 37 41 7 13 17 6 10 4 </values>
19920.50/2520.09	v </instantiation>
19920.50/2520.09	c Unexpected resolution interruption!

Verifier Data

OK	133

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394660-1568426237/watcher-4394660-1568426237 -o /tmp/evaluation-result-4394660-1568426237/solver-4394660-1568426237 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node127-1568426152-22892 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 73060045 HOME/instance-4394660-1568426237.xml 

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

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


[startup+0.100152 s]*
/proc/loadavg: 7.79 8.06 8.18 4/211 23054
/proc/meminfo: memFree=28831308/32770624 swapFree=66998528/67108860
[pid=23033] ppid=23030 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/23033/stat : 23033 (xcsp3-exec) S 23030 23033 22865 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418892556 115843072 364 33554432000 4194304 5098028 140728875103632 140728875101736 140090430423676 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13533184 140728875111287 140728875111529 140728875111529 140728875114442 0
/proc/23033/statm: 28282 364 305 221 0 87 0
[pid=23035] ppid=23033 vsize=28227388 memory=30096 CPUtime=0.13 cores=0-7
/proc/23035/stat : 23035 (java) S 23033 23033 22865 0 -1 1077944320 5485 0 0 0 11 2 0 0 20 0 20 0 418892556 28904845312 7524 33554432000 4194304 4196468 140734896927872 140734896910416 139952850271991 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
/proc/23035/statm: 7056847 7524 3121 1 0 7019032 0
[pid=23035/tid=23036] ppid=23033 vsize=28227388 memory=576460756329955445 CPUtime=0.09 cores=0-7
/proc/23035/task/23036/stat : 23036 (java) R 23033 23033 22865 0 -1 4202560 3395 0 0 0 8 1 0 0 20 0 20 0 418892556 28904845312 7524 33554432000 4194304 4196468 140734896927872 139952854503648 139952850283926 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23037] ppid=23033 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23035/task/23037/stat : 23037 (java) S 23033 23033 22865 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418892557 28904845312 7524 33554432000 4194304 4196468 140734896927872 139952802892560 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23038] ppid=23033 vsize=28227388 memory=3619119853219755680 CPUtime=0 cores=0-7
/proc/23035/task/23038/stat : 23038 (java) S 23033 23033 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418892557 28904845312 7524 33554432000 4194304 4196468 140734896927872 139952801840016 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23039] ppid=23033 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23035/task/23039/stat : 23039 (java) S 23033 23033 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418892557 28904845312 7524 33554432000 4194304 4196468 140734896927872 139952800787472 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23040] ppid=23033 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23035/task/23040/stat : 23040 (java) S 23033 23033 22865 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418892557 28904845312 7524 33554432000 4194304 4196468 140734896927872 139952799734928 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23041] ppid=23033 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23035/task/23041/stat : 23041 (java) S 23033 23033 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418892557 28904845312 7524 33554432000 4194304 4196468 140734896927872 139952798681360 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23042] ppid=23033 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/23035/task/23042/stat : 23042 (java) S 23033 23033 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418892557 28904845312 7524 33554432000 4194304 4196468 140734896927872 139952797628816 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23043] ppid=23033 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23035/task/23043/stat : 23043 (java) S 23033 23033 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418892557 28904845312 7524 33554432000 4194304 4196468 140734896927872 139952796576272 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23044] ppid=23033 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23035/task/23044/stat : 23044 (java) S 23033 23033 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418892557 28904845312 7524 33554432000 4194304 4196468 140734896927872 139952795523728 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23045] ppid=23033 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23035/task/23045/stat : 23045 (java) S 23033 23033 22865 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418892559 28904845312 7524 33554432000 4194304 4196468 140734896927872 139951380441584 139952850283138 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23046] ppid=23033 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23035/task/23046/stat : 23046 (java) S 23033 23033 22865 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418892559 28904845312 7524 33554432000 4194304 4196468 140734896927872 139951379387808 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23047] ppid=23033 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23035/task/23047/stat : 23047 (java) S 23033 23033 22865 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418892559 28904845312 7524 33554432000 4194304 4196468 140734896927872 139951378335216 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23048] ppid=23033 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23035/task/23048/stat : 23048 (java) S 23033 23033 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418892562 28904845312 7524 33554432000 4194304 4196468 140734896927872 139951377283792 139952850290587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23049] ppid=23033 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23035/task/23049/stat : 23049 (java) S 23033 23033 22865 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 418892562 28904845312 7524 33554432000 4194304 4196468 140734896927872 139951376230384 139952850283138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23050] ppid=23033 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23035/task/23050/stat : 23050 (java) R 23033 23033 22865 0 -1 4202560 122 0 0 0 0 0 0 0 20 0 20 0 418892562 28904845312 7524 33554432000 4194304 4196468 140734896927872 139951308007536 139952850283138 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23051] ppid=23033 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23035/task/23051/stat : 23051 (java) S 23033 23033 22865 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418892562 28904845312 7524 33554432000 4194304 4196468 140734896927872 139951306954992 139952850283138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23052] ppid=23033 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/23035/task/23052/stat : 23052 (java) R 23033 23033 22865 0 -1 4202560 357 0 0 0 2 0 0 0 20 0 20 0 418892562 28904845312 7524 33554432000 4194304 4196468 140734896927872 139951305902448 139952842509118 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23053] ppid=23033 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23035/task/23053/stat : 23053 (java) S 23033 23033 22865 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418892562 28904845312 7524 33554432000 4194304 4196468 140734896927872 139951304850144 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23054] ppid=23033 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/23035/task/23054/stat : 23054 (java) S 23033 23033 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418892562 28904845312 7524 33554432000 4194304 4196468 140734896927872 139951303797680 139952850283138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 31552 KiB

[startup+0.210792 s]*
/proc/loadavg: 7.79 8.06 8.18 3/211 23054
/proc/meminfo: memFree=28818416/32770624 swapFree=66998528/67108860
[pid=23033] ppid=23030 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/23033/stat : 23033 (xcsp3-exec) S 23030 23033 22865 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418892556 115843072 364 33554432000 4194304 5098028 140728875103632 140728875101736 140090430423676 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13533184 140728875111287 140728875111529 140728875111529 140728875114442 0
/proc/23033/statm: 28282 364 305 221 0 87 0
[pid=23035] ppid=23033 vsize=28227388 memory=41584 CPUtime=0.33 cores=0-7
/proc/23035/stat : 23035 (java) S 23033 23033 22865 0 -1 1077944320 9090 0 0 0 30 3 0 0 20 0 20 0 418892556 28904845312 10396 33554432000 4194304 4196468 140734896927872 140734896910416 139952850271991 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
/proc/23035/statm: 7056847 10396 3297 1 0 7019032 0
[pid=23035/tid=23036] ppid=23033 vsize=28227388 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/23035/task/23036/stat : 23036 (java) R 23033 23033 22865 0 -1 4202560 6208 0 0 0 17 2 0 0 20 0 20 0 418892556 28904845312 10396 33554432000 4194304 4196468 140734896927872 139952854506688 139952850283926 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23037] ppid=23033 vsize=28227388 memory=288230596134830447 CPUtime=0 cores=0-7
/proc/23035/task/23037/stat : 23037 (java) S 23033 23033 22865 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418892557 28904845312 10396 33554432000 4194304 4196468 140734896927872 139952802892560 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23038] ppid=23033 vsize=28227388 memory=139791268422955 CPUtime=0 cores=0-7
/proc/23035/task/23038/stat : 23038 (java) S 23033 23033 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418892557 28904845312 10396 33554432000 4194304 4196468 140734896927872 139952801840016 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23039] ppid=23033 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/23035/task/23039/stat : 23039 (java) S 23033 23033 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418892557 28904845312 10396 33554432000 4194304 4196468 140734896927872 139952800787472 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23040] ppid=23033 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23035/task/23040/stat : 23040 (java) S 23033 23033 22865 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418892557 28904845312 10396 33554432000 4194304 4196468 140734896927872 139952799734928 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23041] ppid=23033 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23035/task/23041/stat : 23041 (java) S 23033 23033 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418892557 28904845312 10396 33554432000 4194304 4196468 140734896927872 139952798681360 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23042] ppid=23033 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/23035/task/23042/stat : 23042 (java) S 23033 23033 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418892557 28904845312 10396 33554432000 4194304 4196468 140734896927872 139952797628816 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23043] ppid=23033 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23035/task/23043/stat : 23043 (java) S 23033 23033 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418892557 28904845312 10396 33554432000 4194304 4196468 140734896927872 139952796576272 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23044] ppid=23033 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23035/task/23044/stat : 23044 (java) S 23033 23033 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418892557 28904845312 10396 33554432000 4194304 4196468 140734896927872 139952795523728 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23045] ppid=23033 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23035/task/23045/stat : 23045 (java) S 23033 23033 22865 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418892559 28904845312 10396 33554432000 4194304 4196468 140734896927872 139951380441584 139952850283138 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23046] ppid=23033 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23035/task/23046/stat : 23046 (java) S 23033 23033 22865 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418892559 28904845312 10396 33554432000 4194304 4196468 140734896927872 139951379387808 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23047] ppid=23033 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23035/task/23047/stat : 23047 (java) S 23033 23033 22865 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418892559 28904845312 10396 33554432000 4194304 4196468 140734896927872 139951378335216 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23048] ppid=23033 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23035/task/23048/stat : 23048 (java) S 23033 23033 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418892562 28904845312 10396 33554432000 4194304 4196468 140734896927872 139951377283792 139952850290587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23049] ppid=23033 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/23035/task/23049/stat : 23049 (java) S 23033 23033 22865 0 -1 1077944384 541 0 0 0 1 0 0 0 20 0 20 0 418892562 28904845312 10396 33554432000 4194304 4196468 140734896927872 139951376230384 139952850283138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23050] ppid=23033 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/23035/task/23050/stat : 23050 (java) S 23033 23033 22865 0 -1 1077944384 251 0 0 0 2 0 0 0 20 0 20 0 418892562 28904845312 10396 33554432000 4194304 4196468 140734896927872 139951308007536 139952850283138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23051] ppid=23033 vsize=28227388 memory=-1 CPUtime=0.01 cores=0-7
/proc/23035/task/23051/stat : 23051 (java) S 23033 23033 22865 0 -1 1077944384 45 0 0 0 1 0 0 0 20 0 20 0 418892562 28904845312 10396 33554432000 4194304 4196468 140734896927872 139951306954992 139952850283138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23052] ppid=23033 vsize=28227388 memory=0 CPUtime=0.08 cores=0-7
/proc/23035/task/23052/stat : 23052 (java) R 23033 23033 22865 0 -1 4202560 734 0 0 0 8 0 0 0 20 0 20 0 418892562 28904845312 10396 33554432000 4194304 4196468 140734896927872 139951305902256 139952850283926 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23053] ppid=23033 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23035/task/23053/stat : 23053 (java) S 23033 23033 22865 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418892562 28904845312 10396 33554432000 4194304 4196468 140734896927872 139951304850144 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23054] ppid=23033 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/23035/task/23054/stat : 23054 (java) S 23033 23033 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418892562 28904845312 10396 33554432000 4194304 4196468 140734896927872 139951303797680 139952850283138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 43040 KiB

[startup+0.311282 s]*
/proc/loadavg: 7.79 8.06 8.18 3/211 23054
/proc/meminfo: memFree=28812520/32770624 swapFree=66998528/67108860
[pid=23033] ppid=23030 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/23033/stat : 23033 (xcsp3-exec) S 23030 23033 22865 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418892556 115843072 364 33554432000 4194304 5098028 140728875103632 140728875101736 140090430423676 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13533184 140728875111287 140728875111529 140728875111529 140728875114442 0
/proc/23033/statm: 28282 364 305 221 0 87 0
[pid=23035] ppid=23033 vsize=28231644 memory=50336 CPUtime=0.52 cores=0-7
/proc/23035/stat : 23035 (java) S 23033 23033 22865 0 -1 1077944320 10442 0 0 0 48 4 0 0 20 0 20 0 418892556 28909203456 12584 33554432000 4194304 4196468 140734896927872 140734896910416 139952850271991 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
/proc/23035/statm: 7057911 12584 3339 1 0 7019032 0
[pid=23035/tid=23036] ppid=23033 vsize=28231644 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/23035/task/23036/stat : 23036 (java) R 23033 23033 22865 0 -1 4202560 7353 0 0 0 26 3 0 0 20 0 20 0 418892556 28909203456 12584 33554432000 4194304 4196468 140734896927872 139952854507320 139952834352478 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23037] ppid=23033 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/23035/task/23037/stat : 23037 (java) S 23033 23033 22865 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418892557 28909203456 12584 33554432000 4194304 4196468 140734896927872 139952802892560 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23038] ppid=23033 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/23035/task/23038/stat : 23038 (java) S 23033 23033 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418892557 28909203456 12584 33554432000 4194304 4196468 140734896927872 139952801840016 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23039] ppid=23033 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/23035/task/23039/stat : 23039 (java) S 23033 23033 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418892557 28909203456 12584 33554432000 4194304 4196468 140734896927872 139952800787472 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23040] ppid=23033 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/23035/task/23040/stat : 23040 (java) S 23033 23033 22865 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418892557 28909203456 12584 33554432000 4194304 4196468 140734896927872 139952799734928 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23041] ppid=23033 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/23035/task/23041/stat : 23041 (java) S 23033 23033 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418892557 28909203456 12590 33554432000 4194304 4196468 140734896927872 139952798681360 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23042] ppid=23033 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/23035/task/23042/stat : 23042 (java) S 23033 23033 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418892557 28909203456 12590 33554432000 4194304 4196468 140734896927872 139952797628816 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23043] ppid=23033 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/23035/task/23043/stat : 23043 (java) S 23033 23033 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418892557 28909203456 12590 33554432000 4194304 4196468 140734896927872 139952796576272 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23044] ppid=23033 vsize=28231644 memory=6872598998417432672 CPUtime=0 cores=0-7
/proc/23035/task/23044/stat : 23044 (java) S 23033 23033 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418892557 28909203456 12590 33554432000 4194304 4196468 140734896927872 139952795523728 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23045] ppid=23033 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/23035/task/23045/stat : 23045 (java) S 23033 23033 22865 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418892559 28909203456 12590 33554432000 4194304 4196468 140734896927872 139951380441584 139952850283138 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23046] ppid=23033 vsize=28231644 memory=279582238514560 CPUtime=0 cores=0-7
/proc/23035/task/23046/stat : 23046 (java) S 23033 23033 22865 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418892559 28909203456 12590 33554432000 4194304 4196468 140734896927872 139951379387808 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23047] ppid=23033 vsize=28231644 memory=279582238519168 CPUtime=0 cores=0-7
/proc/23035/task/23047/stat : 23047 (java) S 23033 23033 22865 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418892559 28909203456 12590 33554432000 4194304 4196468 140734896927872 139951378335216 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23048] ppid=23033 vsize=28231644 memory=279582238523776 CPUtime=0 cores=0-7
/proc/23035/task/23048/stat : 23048 (java) S 23033 23033 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418892562 28909203456 12590 33554432000 4194304 4196468 140734896927872 139951377283792 139952850290587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23049] ppid=23033 vsize=28231644 memory=279582238528384 CPUtime=0.01 cores=0-7
/proc/23035/task/23049/stat : 23049 (java) S 23033 23033 22865 0 -1 1077944384 549 0 0 0 1 0 0 0 20 0 20 0 418892562 28909203456 12590 33554432000 4194304 4196468 140734896927872 139951376230384 139952850283138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23050] ppid=23033 vsize=28231644 memory=279582238532992 CPUtime=0.04 cores=0-7
/proc/23035/task/23050/stat : 23050 (java) R 23033 23033 22865 0 -1 4202560 343 0 0 0 4 0 0 0 20 0 20 0 418892562 28909203456 12590 33554432000 4194304 4196468 140734896927872 139951307988552 139952835201367 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23051] ppid=23033 vsize=28231644 memory=279582238537600 CPUtime=0.02 cores=0-7
/proc/23035/task/23051/stat : 23051 (java) S 23033 23033 22865 0 -1 1077944384 61 0 0 0 2 0 0 0 20 0 20 0 418892562 28909203456 12590 33554432000 4194304 4196468 140734896927872 139951306954992 139952850283138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23052] ppid=23033 vsize=28231644 memory=279582238542208 CPUtime=0.12 cores=0-7
/proc/23035/task/23052/stat : 23052 (java) S 23033 23033 22865 0 -1 1077944384 828 0 0 0 12 0 0 0 20 0 20 0 418892562 28909203456 12590 33554432000 4194304 4196468 140734896927872 139951305902448 139952850283138 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23053] ppid=23033 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/23035/task/23053/stat : 23053 (java) S 23033 23033 22865 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418892562 28909203456 12590 33554432000 4194304 4196468 140734896927872 139951304850144 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23054] ppid=23033 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/23035/task/23054/stat : 23054 (java) S 23033 23033 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418892562 28909203456 12590 33554432000 4194304 4196468 140734896927872 139951303797680 139952850283138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 51792 KiB

[startup+0.700953 s]
/proc/loadavg: 7.79 8.06 8.18 4/211 23054
/proc/meminfo: memFree=28793796/32770624 swapFree=66998528/67108860
[pid=23033] ppid=23030 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/23033/stat : 23033 (xcsp3-exec) S 23030 23033 22865 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418892556 115843072 364 33554432000 4194304 5098028 140728875103632 140728875101736 140090430423676 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13533184 140728875111287 140728875111529 140728875111529 140728875114442 0
/proc/23033/statm: 28282 364 305 221 0 87 0
[pid=23035] ppid=23033 vsize=28233768 memory=89568 CPUtime=1.68 cores=0-7
/proc/23035/stat : 23035 (java) S 23033 23033 22865 0 -1 1077944320 15103 0 0 0 160 8 0 0 20 0 20 0 418892556 28911378432 22392 33554432000 4194304 4196468 140734896927872 140734896910416 139952850271991 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
/proc/23035/statm: 7058442 22392 3450 1 0 7019544 0
[pid=23035/tid=23036] ppid=23033 vsize=28233768 memory=4580 CPUtime=0.68 cores=0-7
/proc/23035/task/23036/stat : 23036 (java) R 23033 23033 22865 0 -1 4202560 8796 0 0 0 63 5 0 0 20 0 20 0 418892556 28911378432 22392 33554432000 4194304 4196468 140734896927872 139952854509632 139952470100532 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23037] ppid=23033 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/23035/task/23037/stat : 23037 (java) S 23033 23033 22865 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418892557 28911378432 22392 33554432000 4194304 4196468 140734896927872 139952802892560 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23038] ppid=23033 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/23035/task/23038/stat : 23038 (java) S 23033 23033 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418892557 28911378432 22392 33554432000 4194304 4196468 140734896927872 139952801840016 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23039] ppid=23033 vsize=28233768 memory=1204 CPUtime=0 cores=0-7
/proc/23035/task/23039/stat : 23039 (java) S 23033 23033 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418892557 28911378432 22392 33554432000 4194304 4196468 140734896927872 139952800787472 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0

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

[pid=23035/tid=23342] ppid=23033 vsize=28769356 memory=1395180 CPUtime=957.24 cores=0-7
/proc/23035/task/23342/stat : 23342 (java) R 23033 23033 22865 0 -1 4202560 23732 0 0 0 95709 15 0 0 20 0 28 0 419039641 29459820544 348795 33554432000 4194304 4196468 140734896927872 139951287464360 139952478016187 0 4 0 16800975 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
Current children cumulated CPU time: 19302.2 s
Current children cumulated vsize: 28882484 KiB
Current children cumulated memory: 1396636 KiB

[startup+2502.3 s]
/proc/loadavg: 8.18 8.29 8.27 9/219 23416
/proc/meminfo: memFree=27451368/32770624 swapFree=66998528/67108860
[pid=23033] ppid=23030 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/23033/stat : 23033 (xcsp3-exec) S 23030 23033 22865 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418892556 115843072 364 33554432000 4194304 5098028 140728875103632 140728875101736 140090430423676 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13533184 140728875111287 140728875111529 140728875111529 140728875114442 0
/proc/23033/statm: 28282 364 305 221 0 87 0
[pid=23035] ppid=23033 vsize=28769356 memory=1406596 CPUtime=19779.7 cores=0-7
/proc/23035/stat : 23035 (java) S 23033 23033 22865 0 -1 1077944320 1520341 0 0 0 1976478 1494 0 0 20 0 28 0 418892556 29459820544 351649 33554432000 4194304 4196468 140734896927872 140734896910416 139952850271991 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
/proc/23035/statm: 7192339 351649 3556 1 0 7153441 0
[pid=23035/tid=23036] ppid=23033 vsize=28769356 memory=1406596 CPUtime=0.77 cores=0-7
/proc/23035/task/23036/stat : 23036 (java) S 23033 23033 22865 0 -1 1077944384 9549 0 0 0 72 5 0 0 20 0 28 0 418892556 29459820544 351649 33554432000 4194304 4196468 140734896927872 139952854512768 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23037] ppid=23033 vsize=28769356 memory=1408980 CPUtime=15.63 cores=0-7
/proc/23035/task/23037/stat : 23037 (java) S 23033 23033 22865 0 -1 1077944384 40922 0 0 0 1491 72 0 0 20 0 28 0 418892557 29459820544 351649 33554432000 4194304 4196468 140734896927872 139952802892560 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23038] ppid=23033 vsize=28769356 memory=1404364 CPUtime=15.65 cores=0-7
/proc/23035/task/23038/stat : 23038 (java) S 23033 23033 22865 0 -1 1077944384 37276 0 0 0 1493 72 0 0 20 0 28 0 418892557 29459820544 351649 33554432000 4194304 4196468 140734896927872 139952801840016 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23039] ppid=23033 vsize=28769356 memory=1406596 CPUtime=15.46 cores=0-7
/proc/23035/task/23039/stat : 23039 (java) S 23033 23033 22865 0 -1 1077944384 37601 0 0 0 1475 71 0 0 20 0 28 0 418892557 29459820544 351649 33554432000 4194304 4196468 140734896927872 139952800787472 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23040] ppid=23033 vsize=28769356 memory=1456 CPUtime=15.61 cores=0-7
/proc/23035/task/23040/stat : 23040 (java) S 23033 23033 22865 0 -1 1077944384 42963 0 0 0 1492 69 0 0 20 0 28 0 418892557 29459820544 351649 33554432000 4194304 4196468 140734896927872 139952799734928 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23041] ppid=23033 vsize=28769356 memory=0 CPUtime=15.65 cores=0-7
/proc/23035/task/23041/stat : 23041 (java) S 23033 23033 22865 0 -1 1077944384 39811 0 0 0 1500 65 0 0 20 0 28 0 418892557 29459820544 351649 33554432000 4194304 4196468 140734896927872 139952798681360 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23042] ppid=23033 vsize=28769356 memory=7738148875401719097 CPUtime=15.6 cores=0-7
/proc/23035/task/23042/stat : 23042 (java) S 23033 23033 22865 0 -1 1077944384 41893 0 0 0 1489 71 0 0 20 0 28 0 418892557 29459820544 351649 33554432000 4194304 4196468 140734896927872 139952797628816 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23043] ppid=23033 vsize=28769356 memory=3624 CPUtime=15.56 cores=0-7
/proc/23035/task/23043/stat : 23043 (java) S 23033 23033 22865 0 -1 1077944384 40154 0 0 0 1489 67 0 0 20 0 28 0 418892557 29459820544 351649 33554432000 4194304 4196468 140734896927872 139952796576272 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23044] ppid=23033 vsize=28769356 memory=41168 CPUtime=15.67 cores=0-7
/proc/23035/task/23044/stat : 23044 (java) S 23033 23033 22865 0 -1 1077944384 46547 0 0 0 1495 72 0 0 20 0 28 0 418892557 29459820544 351649 33554432000 4194304 4196468 140734896927872 139952795523728 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23045] ppid=23033 vsize=28769356 memory=1456 CPUtime=8.76 cores=0-7
/proc/23035/task/23045/stat : 23045 (java) S 23033 23033 22865 0 -1 1077944384 185019 0 0 0 449 427 0 0 20 0 28 0 418892559 29459820544 351649 33554432000 4194304 4196468 140734896927872 139951380441584 139952850283138 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23046] ppid=23033 vsize=28769356 memory=1395180 CPUtime=0 cores=0-7
/proc/23035/task/23046/stat : 23046 (java) S 23033 23033 22865 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 418892559 29459820544 351649 33554432000 4194304 4196468 140734896927872 139951379387872 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23047] ppid=23033 vsize=28769356 memory=1416168 CPUtime=0 cores=0-7
/proc/23035/task/23047/stat : 23047 (java) S 23033 23033 22865 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 418892559 29459820544 351649 33554432000 4194304 4196468 140734896927872 139951378335216 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23048] ppid=23033 vsize=28769356 memory=988 CPUtime=0 cores=0-7
/proc/23035/task/23048/stat : 23048 (java) S 23033 23033 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418892562 29459820544 351649 33554432000 4194304 4196468 140734896927872 139951377283792 139952850290587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23049] ppid=23033 vsize=28769356 memory=1456 CPUtime=3.72 cores=0-7
/proc/23035/task/23049/stat : 23049 (java) S 23033 23033 22865 0 -1 1077944384 21347 0 0 0 368 4 0 0 20 0 28 0 418892562 29459820544 351649 33554432000 4194304 4196468 140734896927872 139951376230384 139952850283138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23050] ppid=23033 vsize=28769356 memory=1456 CPUtime=3.89 cores=0-7
/proc/23035/task/23050/stat : 23050 (java) S 23033 23033 22865 0 -1 1077944384 25951 0 0 0 384 5 0 0 20 0 28 0 418892562 29459820544 351649 33554432000 4194304 4196468 140734896927872 139951308007536 139952850283138 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23051] ppid=23033 vsize=28769356 memory=1456 CPUtime=3.91 cores=0-7
/proc/23035/task/23051/stat : 23051 (java) S 23033 23033 22865 0 -1 1077944384 22614 0 0 0 387 4 0 0 20 0 28 0 418892562 29459820544 351649 33554432000 4194304 4196468 140734896927872 139951306954992 139952850283138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23052] ppid=23033 vsize=28769356 memory=1410600 CPUtime=1.31 cores=0-7
/proc/23035/task/23052/stat : 23052 (java) S 23033 23033 22865 0 -1 1077944384 18856 0 0 0 127 4 0 0 20 0 28 0 418892562 29459820544 351649 33554432000 4194304 4196468 140734896927872 139951305902448 139952850283138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23053] ppid=23033 vsize=28769356 memory=14068 CPUtime=0 cores=0-7
/proc/23035/task/23053/stat : 23053 (java) S 23033 23033 22865 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418892562 29459820544 351649 33554432000 4194304 4196468 140734896927872 139951304850144 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23054] ppid=23033 vsize=28769356 memory=1456 CPUtime=0.73 cores=0-7
/proc/23035/task/23054/stat : 23054 (java) S 23033 23033 22865 0 -1 1077944384 6554 0 0 0 40 33 0 0 20 0 28 0 418892562 29459820544 351649 33554432000 4194304 4196468 140734896927872 139951303797680 139952850283138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23335] ppid=23033 vsize=28769356 memory=1413600 CPUtime=1018.52 cores=0-7
/proc/23035/task/23335/stat : 23335 (java) R 23033 23033 22865 0 -1 4202560 13937 0 0 0 101840 12 0 0 20 0 28 0 419039641 29459820544 351649 33554432000 4194304 4196468 140734896927872 139951286411160 139952473412420 0 4 0 16800975 0 0 0 -1 6 0 0 7 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23336] ppid=23033 vsize=28769356 memory=16100368647981698 CPUtime=1017.97 cores=0-7
/proc/23035/task/23336/stat : 23336 (java) R 23033 23033 22865 0 -1 4202560 11545 0 0 0 101785 12 0 0 20 0 28 0 419039641 29459820544 351649 33554432000 4194304 4196468 140734896927872 139951285359832 139952471869825 0 4 0 16800975 0 0 0 -1 5 0 0 8 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23337] ppid=23033 vsize=28769356 memory=1456 CPUtime=1016.34 cores=0-7
/proc/23035/task/23337/stat : 23337 (java) R 23033 23033 22865 0 -1 4202560 78064 0 0 0 101559 75 0 0 20 0 28 0 419039641 29459820544 351649 33554432000 4194304 4196468 140734896927872 139951289569112 139952471811451 0 4 0 16800975 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23338] ppid=23033 vsize=28769356 memory=1413600 CPUtime=1015.49 cores=0-7
/proc/23035/task/23338/stat : 23338 (java) R 23033 23033 22865 0 -1 4202560 91298 0 0 0 101501 48 0 0 20 0 28 0 419039641 29459820544 351649 33554432000 4194304 4196468 140734896927872 139951288519248 139952474222494 0 4 0 16800975 0 0 0 -1 3 0 0 9 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23339] ppid=23033 vsize=28769356 memory=1416168 CPUtime=1015.03 cores=0-7
/proc/23035/task/23339/stat : 23339 (java) R 23033 23033 22865 0 -1 4202560 30472 0 0 0 101486 17 0 0 20 0 28 0 419039641 29459820544 351649 33554432000 4194304 4196468 140734896927872 139951291674376 139952471869976 0 4 0 16800975 0 0 0 -1 7 0 0 9 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23340] ppid=23033 vsize=28769356 memory=1456 CPUtime=1017.89 cores=0-7
/proc/23035/task/23340/stat : 23340 (java) R 23033 23033 22865 0 -1 4202560 50252 0 0 0 101753 36 0 0 20 0 28 0 419039641 29459820544 351649 33554432000 4194304 4196468 140734896927872 139951290621696 139952477515965 0 4 0 16800975 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23341] ppid=23033 vsize=28769356 memory=22504 CPUtime=1016.58 cores=0-7
/proc/23035/task/23341/stat : 23341 (java) R 23033 23033 22865 0 -1 4202560 33229 0 0 0 101638 20 0 0 20 0 28 0 419039641 29459820544 351649 33554432000 4194304 4196468 140734896927872 139951292727320 139952471869780 0 4 0 16800975 0 0 0 -1 2 0 0 9 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23342] ppid=23033 vsize=28769356 memory=14068 CPUtime=1016.66 cores=0-7
/proc/23035/task/23342/stat : 23342 (java) R 23033 23033 22865 0 -1 4202560 23789 0 0 0 101651 15 0 0 20 0 28 0 419039641 29459820544 351649 33554432000 4194304 4196468 140734896927872 139951287464056 139952472215049 0 4 0 16800975 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
Current children cumulated CPU time: 19779.7 s
Current children cumulated vsize: 28882484 KiB
Current children cumulated memory: 1408052 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.20 8.29 8.27 9/219 23417
/proc/meminfo: memFree=27468648/32770624 swapFree=66998528/67108860
[pid=23033] ppid=23030 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/23033/stat : 23033 (xcsp3-exec) S 23030 23033 22865 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418892556 115843072 364 33554432000 4194304 5098028 140728875103632 140728875101736 140090430423676 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13533184 140728875111287 140728875111529 140728875111529 140728875114442 0
/proc/23033/statm: 28282 364 305 221 0 87 0
[pid=23035] ppid=23033 vsize=28769356 memory=1390200 CPUtime=19920.5 cores=0-7
/proc/23035/stat : 23035 (java) S 23033 23033 22865 0 -1 1077944320 1522751 0 0 0 1990552 1498 0 0 20 0 28 0 418892556 29459820544 347550 33554432000 4194304 4196468 140734896927872 140734896910416 139952850271991 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
/proc/23035/statm: 7192339 347550 3556 1 0 7153441 0
[pid=23035/tid=23036] ppid=23033 vsize=28769356 memory=8317482817917895235 CPUtime=0.77 cores=0-7
/proc/23035/task/23036/stat : 23036 (java) S 23033 23033 22865 0 -1 1077944384 9549 0 0 0 72 5 0 0 20 0 28 0 418892556 29459820544 347550 33554432000 4194304 4196468 140734896927872 139952854512768 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23037] ppid=23033 vsize=28769356 memory=1412 CPUtime=15.69 cores=0-7
/proc/23035/task/23037/stat : 23037 (java) S 23033 23033 22865 0 -1 1077944384 40952 0 0 0 1497 72 0 0 20 0 28 0 418892557 29459820544 347550 33554432000 4194304 4196468 140734896927872 139952802892560 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23038] ppid=23033 vsize=28769356 memory=1456 CPUtime=15.71 cores=0-7
/proc/23035/task/23038/stat : 23038 (java) S 23033 23033 22865 0 -1 1077944384 37361 0 0 0 1499 72 0 0 20 0 28 0 418892557 29459820544 347550 33554432000 4194304 4196468 140734896927872 139952801840016 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23039] ppid=23033 vsize=28769356 memory=1394292 CPUtime=15.52 cores=0-7
/proc/23035/task/23039/stat : 23039 (java) S 23033 23033 22865 0 -1 1077944384 37910 0 0 0 1481 71 0 0 20 0 28 0 418892557 29459820544 347550 33554432000 4194304 4196468 140734896927872 139952800787472 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23040] ppid=23033 vsize=28769356 memory=920 CPUtime=15.68 cores=0-7
/proc/23035/task/23040/stat : 23040 (java) S 23033 23033 22865 0 -1 1077944384 43086 0 0 0 1499 69 0 0 20 0 28 0 418892557 29459820544 347550 33554432000 4194304 4196468 140734896927872 139952799734928 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23041] ppid=23033 vsize=28769356 memory=279582240240752 CPUtime=15.71 cores=0-7
/proc/23035/task/23041/stat : 23041 (java) S 23033 23033 22865 0 -1 1077944384 39819 0 0 0 1506 65 0 0 20 0 28 0 418892557 29459820544 347550 33554432000 4194304 4196468 140734896927872 139952798681360 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23042] ppid=23033 vsize=28769356 memory=101110643690218 CPUtime=15.67 cores=0-7
/proc/23035/task/23042/stat : 23042 (java) S 23033 23033 22865 0 -1 1077944384 42148 0 0 0 1495 72 0 0 20 0 28 0 418892557 29459820544 347550 33554432000 4194304 4196468 140734896927872 139952797628816 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23043] ppid=23033 vsize=28769356 memory=101110643690218 CPUtime=15.61 cores=0-7
/proc/23035/task/23043/stat : 23043 (java) S 23033 23033 22865 0 -1 1077944384 40421 0 0 0 1494 67 0 0 20 0 28 0 418892557 29459820544 347550 33554432000 4194304 4196468 140734896927872 139952796576272 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23044] ppid=23033 vsize=28769356 memory=101110643690218 CPUtime=15.72 cores=0-7
/proc/23035/task/23044/stat : 23044 (java) S 23033 23033 22865 0 -1 1077944384 46609 0 0 0 1500 72 0 0 20 0 28 0 418892557 29459820544 347550 33554432000 4194304 4196468 140734896927872 139952795523728 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23045] ppid=23033 vsize=28769356 memory=101110643690218 CPUtime=8.81 cores=0-7
/proc/23035/task/23045/stat : 23045 (java) S 23033 23033 22865 0 -1 1077944384 185221 0 0 0 451 430 0 0 20 0 28 0 418892559 29459820544 347550 33554432000 4194304 4196468 140734896927872 139951380441584 139952850283138 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23046] ppid=23033 vsize=28769356 memory=101110643690218 CPUtime=0 cores=0-7
/proc/23035/task/23046/stat : 23046 (java) S 23033 23033 22865 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 418892559 29459820544 347550 33554432000 4194304 4196468 140734896927872 139951379387872 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23047] ppid=23033 vsize=28769356 memory=101110643690218 CPUtime=0 cores=0-7
/proc/23035/task/23047/stat : 23047 (java) S 23033 23033 22865 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 418892559 29459820544 347550 33554432000 4194304 4196468 140734896927872 139951378335216 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23048] ppid=23033 vsize=28769356 memory=101110643689962 CPUtime=0 cores=0-7
/proc/23035/task/23048/stat : 23048 (java) S 23033 23033 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418892562 29459820544 347550 33554432000 4194304 4196468 140734896927872 139951377283792 139952850290587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23049] ppid=23033 vsize=28769356 memory=279582239580384 CPUtime=3.72 cores=0-7
/proc/23035/task/23049/stat : 23049 (java) S 23033 23033 22865 0 -1 1077944384 21349 0 0 0 368 4 0 0 20 0 28 0 418892562 29459820544 347550 33554432000 4194304 4196468 140734896927872 139951376230384 139952850283138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23050] ppid=23033 vsize=28769356 memory=3624 CPUtime=3.89 cores=0-7
/proc/23035/task/23050/stat : 23050 (java) S 23033 23033 22865 0 -1 1077944384 25953 0 0 0 384 5 0 0 20 0 28 0 418892562 29459820544 347550 33554432000 4194304 4196468 140734896927872 139951308007536 139952850283138 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23051] ppid=23033 vsize=28769356 memory=2828 CPUtime=3.91 cores=0-7
/proc/23035/task/23051/stat : 23051 (java) S 23033 23033 22865 0 -1 1077944384 22616 0 0 0 387 4 0 0 20 0 28 0 418892562 29459820544 347550 33554432000 4194304 4196468 140734896927872 139951306954992 139952850283138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23052] ppid=23033 vsize=28769356 memory=780 CPUtime=1.31 cores=0-7
/proc/23035/task/23052/stat : 23052 (java) S 23033 23033 22865 0 -1 1077944384 18858 0 0 0 127 4 0 0 20 0 28 0 418892562 29459820544 347550 33554432000 4194304 4196468 140734896927872 139951305902448 139952850283138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23053] ppid=23033 vsize=28769356 memory=620 CPUtime=0 cores=0-7
/proc/23035/task/23053/stat : 23053 (java) S 23033 23033 22865 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418892562 29459820544 347550 33554432000 4194304 4196468 140734896927872 139951304850144 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23054] ppid=23033 vsize=28769356 memory=1712 CPUtime=0.74 cores=0-7
/proc/23035/task/23054/stat : 23054 (java) S 23033 23033 22865 0 -1 1077944384 6565 0 0 0 40 34 0 0 20 0 28 0 418892562 29459820544 347550 33554432000 4194304 4196468 140734896927872 139951303797680 139952850283138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23335] ppid=23033 vsize=28769356 memory=1052 CPUtime=1036.09 cores=0-7
/proc/23035/task/23335/stat : 23335 (java) R 23033 23033 22865 0 -1 4202560 13995 0 0 0 103597 12 0 0 20 0 28 0 419039641 29459820544 347550 33554432000 4194304 4196468 140734896927872 139951286410600 139952473572681 0 4 0 16800975 0 0 0 -1 0 0 0 7 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23336] ppid=23033 vsize=28769356 memory=5908 CPUtime=1035.49 cores=0-7
/proc/23035/task/23336/stat : 23336 (java) R 23033 23033 22865 0 -1 4202560 11606 0 0 0 103537 12 0 0 20 0 28 0 419039641 29459820544 347550 33554432000 4194304 4196468 140734896927872 139951285359208 139952473412636 0 4 0 16800975 0 0 0 -1 7 0 0 8 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23337] ppid=23033 vsize=28769356 memory=3624 CPUtime=1033.92 cores=0-7
/proc/23035/task/23337/stat : 23337 (java) R 23033 23033 22865 0 -1 4202560 78078 0 0 0 103317 75 0 0 20 0 28 0 419039641 29459820544 347550 33554432000 4194304 4196468 140734896927872 139951289569112 139952471812015 0 4 0 16800975 0 0 0 -1 2 0 0 8 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23338] ppid=23033 vsize=28769356 memory=41168 CPUtime=1032.93 cores=0-7
/proc/23035/task/23338/stat : 23338 (java) R 23033 23033 22865 0 -1 4202560 91909 0 0 0 103244 49 0 0 20 0 28 0 419039641 29459820544 347550 33554432000 4194304 4196468 140734896927872 139951288516568 139952474222579 0 4 0 16800975 0 0 0 -1 1 0 0 9 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23339] ppid=23033 vsize=28769356 memory=988 CPUtime=1032.45 cores=0-7
/proc/23035/task/23339/stat : 23339 (java) R 23033 23033 22865 0 -1 4202560 30542 0 0 0 103228 17 0 0 20 0 28 0 419039641 29459820544 347550 33554432000 4194304 4196468 140734896927872 139951291674344 139952477276574 0 4 0 16800975 0 0 0 -1 5 0 0 9 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23340] ppid=23033 vsize=28769356 memory=2024 CPUtime=1035.49 cores=0-7
/proc/23035/task/23340/stat : 23340 (java) R 23033 23033 22865 0 -1 4202560 50329 0 0 0 103513 36 0 0 20 0 28 0 419039641 29459820544 347550 33554432000 4194304 4196468 140734896927872 139951290621696 139952477515916 0 4 0 16800975 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23341] ppid=23033 vsize=28769356 memory=1428 CPUtime=1034.11 cores=0-7
/proc/23035/task/23341/stat : 23341 (java) R 23033 23033 22865 0 -1 4202560 33301 0 0 0 103391 20 0 0 20 0 28 0 419039641 29459820544 347550 33554432000 4194304 4196468 140734896927872 139951292727928 139952474222464 0 4 0 16800975 0 0 0 -1 3 0 0 9 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
[pid=23035/tid=23342] ppid=23033 vsize=28769356 memory=3704 CPUtime=1034.23 cores=0-7
/proc/23035/task/23342/stat : 23342 (java) R 23033 23033 22865 0 -1 4202560 23876 0 0 0 103408 15 0 0 20 0 28 0 419039641 29459820544 347550 33554432000 4194304 4196468 140734896927872 139951287466416 139952473574365 0 4 0 16800975 0 0 0 -1 6 0 0 6 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0
Current children cumulated CPU time: 19920.5 s
Current children cumulated vsize: 28882484 KiB
Current children cumulated memory: 1391656 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2520.05 s]
# the end of solver process 23033 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.000793 s, system=0.001587 s

[startup+2520.13 s]
# the end of solver process 23035 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19906.3 s, system=15.0078 s
# this solver process was not waited by its parent and was adopted by runsolver

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 2520.13
CPU time (s): 19921.3
CPU user time (s): 19906.3
CPU system time (s): 15.0078
CPU usage (%): 790.489
Max. virtual memory (cumulated for all children) (KiB): 28884136
Max. memory (cumulated for all children) (KiB): 1426352

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19906.3
system time used= 15.0078
maximum resident set size= 1427468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1523587
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3600
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 197381
involuntary context switches= 244834


# summary of solver processes directly reported to runsolver:
#   pid: 23033,23035
#   total CPU time (s): 19921.3
#   total CPU user time (s): 19906.3
#   total CPU system time (s): 15.0078

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 23.4891 second user time and 28.1502 second system time

The end

Launcher Data

Begin job on node127 at 2019-09-14 03:56:37
IDJOB=4394660
IDBENCH=126210
IDSOLVER=2843
FILE ID=node127/4394660-1568426237
RUNJOBID= node127-1568426152-22892
PBS_JOBID= 21702286
Free space on /tmp= 61308 MiB

SOLVER NAME= choco-solver parallel 2019-06-14
BENCH NAME= XCSP17/GolombRuler/GolombRuler-a3-s1/GolombRuler-14-a3.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-4394660-1568426237/watcher-4394660-1568426237 -o /tmp/evaluation-result-4394660-1568426237/solver-4394660-1568426237 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node127-1568426152-22892 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 73060045 HOME/instance-4394660-1568426237.xml

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

MD5SUM BENCH= a5381fa3d98671549d41a8d043d26ba4
RANDOM SEED=73060045

node127.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.55
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.55
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.55
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.55
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:        28848712 kB
MemAvailable:   31872088 kB
Buffers:          182460 kB
Cached:          3107428 kB
SwapCached:         6772 kB
Active:          1903344 kB
Inactive:        1398160 kB
Active(anon):       4784 kB
Inactive(anon):    48308 kB
Active(file):    1898560 kB
Inactive(file):  1349852 kB
Unevictable:      109300 kB
Mlocked:          109300 kB
SwapTotal:      67108860 kB
SwapFree:       66998528 kB
Dirty:             26176 kB
Writeback:             4 kB
AnonPages:        115108 kB
Mapped:            44324 kB
Shmem:             32700 kB
Slab:             211544 kB
SReclaimable:     181600 kB
SUnreclaim:        29944 kB
KernelStack:        3360 kB
PageTables:         5976 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498088 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:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 61284 MiB
End job on node127 at 2019-09-14 04:38:37