Trace number 4281349

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 4.0.5 par (2017-08-18)SAT (TO)237 1995.01 252.106

General information on the benchmark

NameGolombRuler/GolombRuler-a3-s1/
GolombRuler-17-a3.xml
MD5SUM1a474c72a1f7224eb7c0241d7ff915ce
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark236
Best CPU time to get the best result obtained on this benchmark251.94
Satisfiable
(Un)Satisfiability was proved
Number of variables306
Number of constraints139
Number of domains2
Minimum domain size500
Maximum domain size501
Distribution of domain sizes[{"size":500,"count":136},{"size":501,"count":17}]
Minimum variable degree0
Maximum variable degree18
Distribution of variable degrees[{"degree":0,"count":153},{"degree":2,"count":136},{"degree":17,"count":15},{"degree":18,"count":2}]
Minimum constraint arity1
Maximum constraint arity136
Distribution of constraint arities[{"arity":1,"count":1},{"arity":3,"count":136},{"arity":17,"count":1},{"arity":136,"count":1}]
Number of extensional constraints0
Number of intensional constraints137
Distribution of constraint types[{"type":"intension","count":137},{"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 -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4281349-1503185978.xml"  -tl '2016s' -p 8 -x 0
0.11/0.14	c [HOME/instance-4281349-1503185978.xml, -tl, 2016s, -p, 8, -x, 0]
0.11/0.20	c 8 solvers in parallel
0.33/0.26	c parse instance...
1.74/0.72	c solve instance...
6.27/1.34	o 289 
6.27/1.37	o 280 
6.94/1.41	o 276 
7.77/1.53	o 272 
8.44/1.60	o 268 
11.69/2.06	o 267 
11.69/2.08	o 266 
13.16/2.22	o 264 
13.95/2.35	o 255 
33.72/4.86	o 253 
79.10/10.55	o 248 
94.94/12.56	o 241 
102.06/13.47	o 240 
725.90/91.80	o 239 
1734.28/218.81	o 238 
1812.66/229.10	o 237 
1994.29/252.08	s SATISFIABLE
1994.29/252.08	v <instantiation>
1994.29/252.08	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] x[14] x[15] x[16] 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[0][14] y[0][15] y[0][16] 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[1][14] y[1][15] y[1][16] 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[2][14] y[2][15] y[2][16] 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[3][14] y[3][15] y[3][16] 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[4][14] y[4][15] y[4][16] 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[5][14] y[5][15] y[5][16] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[7][8] y[7][9] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[8][9] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[12][13] y[12][14] y[12][15] y[12][16] y[13][14] y[13][15] y[13][16] y[14][15] y[14][16] y[15][16] </list>
1994.29/252.08	v 	<values>0 1 4 11 13 27 42 47 64 92 113 131 161 185 193 218 237 1 4 11 13 27 42 47 64 92 113 131 161 185 193 218 237 3 10 12 26 41 46 63 91 112 130 160 184 192 217 236 7 9 23 38 43 60 88 109 127 157 181 189 214 233 2 16 31 36 53 81 102 120 150 174 182 207 226 14 29 34 51 79 100 118 148 172 180 205 224 15 20 37 65 86 104 134 158 166 191 210 5 22 50 71 89 119 143 151 176 195 17 45 66 84 114 138 146 171 190 28 49 67 97 121 129 154 173 21 39 69 93 101 126 145 18 48 72 80 105 124 30 54 62 87 106 24 32 57 76 8 33 52 25 44 19 </values>
1994.29/252.08	v </instantiation>
1994.29/252.08	c Unexpected resolution interruption!

Verifier Data

OK	237

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281349-1503185978/watcher-4281349-1503185978 -o /tmp/evaluation-result-4281349-1503185978/solver-4281349-1503185978 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node105-1503176515-16689 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 2138318704 HOME/instance-4281349-1503185978.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=19662, runsolver pid=19659

[startup+0.100138 s]*
/proc/loadavg: 8.02 8.08 7.78 2/199 19683
/proc/meminfo: memFree=23406708/32770624 swapFree=67108860/67108860
[pid=19662] ppid=19659 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/19662/stat : 19662 (xcsp3-exec) S 19659 19662 16662 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151669261 9740288 345 33554432000 4194304 5098028 140726675742736 140726675740840 140041174491772 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11120640 140726675743850 140726675744060 140726675744060 140726675746795 0
/proc/19662/statm: 2378 345 289 221 0 87 0
[pid=19664] ppid=19662 vsize=25999808 memory=26104 CPUtime=0.11 cores=0-7
/proc/19664/stat : 19664 (java) S 19662 19662 16662 0 -1 1077944320 5476 0 0 0 10 1 0 0 20 0 20 0 151669261 26623803392 6526 33554432000 4194304 4196468 140725005012496 140725004995040 140377004277495 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
/proc/19664/statm: 6499952 6526 2845 1 0 6488269 0
[pid=19664/tid=19665] ppid=19662 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/19664/task/19665/stat : 19665 (java) R 19662 19662 16662 0 -1 4202560 3476 0 0 0 8 1 0 0 20 0 20 0 151669261 26623803392 6526 33554432000 4194304 4196468 140725005012496 140377008508368 140377004289430 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19666] ppid=19662 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/19664/task/19666/stat : 19666 (java) S 19662 19662 16662 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151669262 26623803392 6526 33554432000 4194304 4196468 140725005012496 140376926858384 140377004287701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19667] ppid=19662 vsize=25999808 memory=140707986704000 CPUtime=0 cores=0-7
/proc/19664/task/19667/stat : 19667 (java) S 19662 19662 16662 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151669262 26623803392 6526 33554432000 4194304 4196468 140725005012496 140376925805584 140377004287701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19668] ppid=19662 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19664/task/19668/stat : 19668 (java) S 19662 19662 16662 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151669262 26623803392 6526 33554432000 4194304 4196468 140725005012496 140376924752784 140377004287701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19669] ppid=19662 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19664/task/19669/stat : 19669 (java) S 19662 19662 16662 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151669262 26623803392 6526 33554432000 4194304 4196468 140725005012496 140376923699984 140377004287701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19670] ppid=19662 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19664/task/19670/stat : 19670 (java) S 19662 19662 16662 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151669262 26623803392 6526 33554432000 4194304 4196468 140725005012496 140376922647184 140377004287701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19671] ppid=19662 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/19664/task/19671/stat : 19671 (java) S 19662 19662 16662 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151669262 26623803392 6526 33554432000 4194304 4196468 140725005012496 140376921594384 140377004287701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19672] ppid=19662 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19664/task/19672/stat : 19672 (java) S 19662 19662 16662 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151669262 26623803392 6526 33554432000 4194304 4196468 140725005012496 140376920541584 140377004287701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19673] ppid=19662 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19664/task/19673/stat : 19673 (java) S 19662 19662 16662 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151669262 26623803392 6526 33554432000 4194304 4196468 140725005012496 140376919488784 140377004287701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19674] ppid=19662 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19664/task/19674/stat : 19674 (java) S 19662 19662 16662 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151669263 26623803392 6526 33554432000 4194304 4196468 140725005012496 140376512297840 140377004288642 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19675] ppid=19662 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19664/task/19675/stat : 19675 (java) S 19662 19662 16662 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151669264 26623803392 6526 33554432000 4194304 4196468 140725005012496 140376511243808 140377004287701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19676] ppid=19662 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19664/task/19676/stat : 19676 (java) S 19662 19662 16662 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151669264 26623803392 6526 33554432000 4194304 4196468 140725005012496 140376263386480 140377004287701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19677] ppid=19662 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19664/task/19677/stat : 19677 (java) S 19662 19662 16662 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151669267 26623803392 6526 33554432000 4194304 4196468 140725005012496 140376262334800 140377004296091 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19678] ppid=19662 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19664/task/19678/stat : 19678 (java) S 19662 19662 16662 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 20 0 151669267 26623803392 6526 33554432000 4194304 4196468 140725005012496 140376261282160 140377004288642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19679] ppid=19662 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19664/task/19679/stat : 19679 (java) S 19662 19662 16662 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 151669267 26623803392 6526 33554432000 4194304 4196468 140725005012496 140376260229360 140377004288642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19680] ppid=19662 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19664/task/19680/stat : 19680 (java) S 19662 19662 16662 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151669267 26623803392 6526 33554432000 4194304 4196468 140725005012496 140376259176560 140377004288642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19681] ppid=19662 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/19664/task/19681/stat : 19681 (java) R 19662 19662 16662 0 -1 4202560 258 0 0 0 1 0 0 0 20 0 20 0 151669267 26623803392 6526 33554432000 4194304 4196468 140725005012496 140376258123760 140376988357982 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19682] ppid=19662 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19664/task/19682/stat : 19682 (java) S 19662 19662 16662 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151669267 26623803392 6526 33554432000 4194304 4196468 140725005012496 140376257072224 140377004287701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19683] ppid=19662 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/19664/task/19683/stat : 19683 (java) S 19662 19662 16662 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151669267 26623803392 6526 33554432000 4194304 4196468 140725005012496 140376256019504 140377004288642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27484 KiB

[startup+0.209726 s]*
/proc/loadavg: 8.02 8.08 7.78 2/199 19683
/proc/meminfo: memFree=23395736/32770624 swapFree=67108860/67108860
[pid=19662] ppid=19659 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/19662/stat : 19662 (xcsp3-exec) S 19659 19662 16662 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151669261 9740288 345 33554432000 4194304 5098028 140726675742736 140726675740840 140041174491772 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11120640 140726675743850 140726675744060 140726675744060 140726675746795 0
/proc/19662/statm: 2378 345 289 221 0 87 0
[pid=19664] ppid=19662 vsize=26004064 memory=38816 CPUtime=0.33 cores=0-7
/proc/19664/stat : 19664 (java) S 19662 19662 16662 0 -1 1077944320 8294 0 0 0 30 3 0 0 20 0 20 0 151669261 26628161536 9704 33554432000 4194304 4196468 140725005012496 140725004995040 140377004277495 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
/proc/19664/statm: 6501016 9704 3044 1 0 6488269 0
[pid=19664/tid=19665] ppid=19662 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/19664/task/19665/stat : 19665 (java) R 19662 19662 16662 0 -1 4202560 5384 0 0 0 18 1 0 0 20 0 20 0 151669261 26628161536 9704 33554432000 4194304 4196468 140725005012496 140377008480256 140377004299421 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19666] ppid=19662 vsize=26004064 memory=339 CPUtime=0 cores=0-7
/proc/19664/task/19666/stat : 19666 (java) S 19662 19662 16662 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151669262 26628161536 9704 33554432000 4194304 4196468 140725005012496 140376926858384 140377004287701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19667] ppid=19662 vsize=26004064 memory=140707987431458 CPUtime=0 cores=0-7
/proc/19664/task/19667/stat : 19667 (java) S 19662 19662 16662 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151669262 26628161536 9704 33554432000 4194304 4196468 140725005012496 140376925805584 140377004287701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19668] ppid=19662 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/19664/task/19668/stat : 19668 (java) S 19662 19662 16662 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151669262 26628161536 9704 33554432000 4194304 4196468 140725005012496 140376924752784 140377004287701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19669] ppid=19662 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19664/task/19669/stat : 19669 (java) S 19662 19662 16662 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151669262 26628161536 9704 33554432000 4194304 4196468 140725005012496 140376923699984 140377004287701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19670] ppid=19662 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19664/task/19670/stat : 19670 (java) S 19662 19662 16662 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151669262 26628161536 9704 33554432000 4194304 4196468 140725005012496 140376922647184 140377004287701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19671] ppid=19662 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/19664/task/19671/stat : 19671 (java) S 19662 19662 16662 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151669262 26628161536 9704 33554432000 4194304 4196468 140725005012496 140376921594384 140377004287701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19672] ppid=19662 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19664/task/19672/stat : 19672 (java) S 19662 19662 16662 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151669262 26628161536 9704 33554432000 4194304 4196468 140725005012496 140376920541584 140377004287701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19673] ppid=19662 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19664/task/19673/stat : 19673 (java) S 19662 19662 16662 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151669262 26628161536 9704 33554432000 4194304 4196468 140725005012496 140376919488784 140377004287701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19674] ppid=19662 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19664/task/19674/stat : 19674 (java) S 19662 19662 16662 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151669263 26628161536 9704 33554432000 4194304 4196468 140725005012496 140376512297840 140377004288642 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19675] ppid=19662 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19664/task/19675/stat : 19675 (java) S 19662 19662 16662 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151669264 26628161536 9704 33554432000 4194304 4196468 140725005012496 140376511243808 140377004287701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19676] ppid=19662 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19664/task/19676/stat : 19676 (java) S 19662 19662 16662 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151669264 26628161536 9704 33554432000 4194304 4196468 140725005012496 140376263386480 140377004287701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19677] ppid=19662 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19664/task/19677/stat : 19677 (java) S 19662 19662 16662 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151669267 26628161536 9704 33554432000 4194304 4196468 140725005012496 140376262334800 140377004296091 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19678] ppid=19662 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19664/task/19678/stat : 19678 (java) R 19662 19662 16662 0 -1 1077944384 384 0 0 0 0 0 0 0 20 0 20 0 151669267 26628161536 9704 33554432000 4194304 4196468 140725005012496 140376261282160 140377004288642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19679] ppid=19662 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/19664/task/19679/stat : 19679 (java) S 19662 19662 16662 0 -1 1077944384 294 0 0 0 1 0 0 0 20 0 20 0 151669267 26628161536 9704 33554432000 4194304 4196468 140725005012496 140376260229360 140377004288642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19680] ppid=19662 vsize=26004064 memory=-1 CPUtime=0.02 cores=0-7
/proc/19664/task/19680/stat : 19680 (java) S 19662 19662 16662 0 -1 1077944384 152 0 0 0 2 0 0 0 20 0 20 0 151669267 26628161536 9704 33554432000 4194304 4196468 140725005012496 140376259176560 140377004288642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19681] ppid=19662 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/19664/task/19681/stat : 19681 (java) S 19662 19662 16662 0 -1 1077944384 769 0 0 0 7 0 0 0 20 0 20 0 151669267 26628161536 9704 33554432000 4194304 4196468 140725005012496 140376258123760 140377004288642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19682] ppid=19662 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19664/task/19682/stat : 19682 (java) S 19662 19662 16662 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151669267 26628161536 9704 33554432000 4194304 4196468 140725005012496 140376257072224 140377004287701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19683] ppid=19662 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/19664/task/19683/stat : 19683 (java) S 19662 19662 16662 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151669267 26628161536 9704 33554432000 4194304 4196468 140725005012496 140376256019504 140377004288642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40196 KiB

[startup+0.309422 s]*
/proc/loadavg: 8.02 8.08 7.78 4/199 19683
/proc/meminfo: memFree=23391364/32770624 swapFree=67108860/67108860
[pid=19662] ppid=19659 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/19662/stat : 19662 (xcsp3-exec) S 19659 19662 16662 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151669261 9740288 345 33554432000 4194304 5098028 140726675742736 140726675740840 140041174491772 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11120640 140726675743850 140726675744060 140726675744060 140726675746795 0
/proc/19662/statm: 2378 345 289 221 0 87 0
[pid=19664] ppid=19662 vsize=26004064 memory=45508 CPUtime=0.49 cores=0-7
/proc/19664/stat : 19664 (java) S 19662 19662 16662 0 -1 1077944320 9176 0 0 0 46 3 0 0 20 0 20 0 151669261 26628161536 11377 33554432000 4194304 4196468 140725005012496 140725004995040 140377004277495 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
/proc/19664/statm: 6501016 11377 3060 1 0 6488269 0
[pid=19664/tid=19665] ppid=19662 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/19664/task/19665/stat : 19665 (java) R 19662 19662 16662 0 -1 4202560 6092 0 0 0 27 2 0 0 20 0 20 0 151669261 26628161536 11377 33554432000 4194304 4196468 140725005012496 140377008500336 140376996955509 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19666] ppid=19662 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19664/task/19666/stat : 19666 (java) S 19662 19662 16662 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151669262 26628161536 11377 33554432000 4194304 4196468 140725005012496 140376926858384 140377004287701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19667] ppid=19662 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19664/task/19667/stat : 19667 (java) S 19662 19662 16662 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151669262 26628161536 11377 33554432000 4194304 4196468 140725005012496 140376925805584 140377004287701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19668] ppid=19662 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19664/task/19668/stat : 19668 (java) S 19662 19662 16662 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151669262 26628161536 11377 33554432000 4194304 4196468 140725005012496 140376924752784 140377004287701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19669] ppid=19662 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19664/task/19669/stat : 19669 (java) S 19662 19662 16662 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151669262 26628161536 11377 33554432000 4194304 4196468 140725005012496 140376923699984 140377004287701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19670] ppid=19662 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/19664/task/19670/stat : 19670 (java) S 19662 19662 16662 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151669262 26628161536 11377 33554432000 4194304 4196468 140725005012496 140376922647184 140377004287701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19671] ppid=19662 vsize=26004064 memory=140707826332591 CPUtime=0 cores=0-7
/proc/19664/task/19671/stat : 19671 (java) S 19662 19662 16662 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151669262 26628161536 11377 33554432000 4194304 4196468 140725005012496 140376921594384 140377004287701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19672] ppid=19662 vsize=26004064 memory=140707826334896 CPUtime=0 cores=0-7
/proc/19664/task/19672/stat : 19672 (java) S 19662 19662 16662 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151669262 26628161536 11377 33554432000 4194304 4196468 140725005012496 140376920541584 140377004287701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19673] ppid=19662 vsize=26004064 memory=140707826337200 CPUtime=0 cores=0-7
/proc/19664/task/19673/stat : 19673 (java) S 19662 19662 16662 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151669262 26628161536 11377 33554432000 4194304 4196468 140725005012496 140376919488784 140377004287701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19674] ppid=19662 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19664/task/19674/stat : 19674 (java) S 19662 19662 16662 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151669263 26628161536 11377 33554432000 4194304 4196468 140725005012496 140376512297840 140377004288642 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19675] ppid=19662 vsize=26004064 memory=281415652681360 CPUtime=0 cores=0-7
/proc/19664/task/19675/stat : 19675 (java) S 19662 19662 16662 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151669264 26628161536 11377 33554432000 4194304 4196468 140725005012496 140376511243808 140377004287701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19676] ppid=19662 vsize=26004064 memory=281415652688272 CPUtime=0 cores=0-7
/proc/19664/task/19676/stat : 19676 (java) S 19662 19662 16662 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151669264 26628161536 11377 33554432000 4194304 4196468 140725005012496 140376263386480 140377004287701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19677] ppid=19662 vsize=26004064 memory=281415652629552 CPUtime=0 cores=0-7
/proc/19664/task/19677/stat : 19677 (java) S 19662 19662 16662 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151669267 26628161536 11377 33554432000 4194304 4196468 140725005012496 140376262334800 140377004296091 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19678] ppid=19662 vsize=26004064 memory=281415652702096 CPUtime=0 cores=0-7
/proc/19664/task/19678/stat : 19678 (java) S 19662 19662 16662 0 -1 1077944384 384 0 0 0 0 0 0 0 20 0 20 0 151669267 26628161536 11377 33554432000 4194304 4196468 140725005012496 140376261282160 140377004288642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19679] ppid=19662 vsize=26004064 memory=281415652709008 CPUtime=0.02 cores=0-7
/proc/19664/task/19679/stat : 19679 (java) R 19662 19662 16662 0 -1 4202560 316 0 0 0 2 0 0 0 20 0 20 0 151669267 26628161536 11377 33554432000 4194304 4196468 140725005012496 140376260218624 140376989379850 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19680] ppid=19662 vsize=26004064 memory=281415652706704 CPUtime=0.03 cores=0-7
/proc/19664/task/19680/stat : 19680 (java) S 19662 19662 16662 0 -1 1077944384 197 0 0 0 3 0 0 0 20 0 20 0 151669267 26628161536 11377 33554432000 4194304 4196468 140725005012496 140376259176560 140377004288642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19681] ppid=19662 vsize=26004064 memory=281415652722864 CPUtime=0.12 cores=0-7
/proc/19664/task/19681/stat : 19681 (java) R 19662 19662 16662 0 -1 4202560 885 0 0 0 12 0 0 0 20 0 20 0 151669267 26628161536 11377 33554432000 4194304 4196468 140725005012496 140376258120128 140376982946593 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19682] ppid=19662 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19664/task/19682/stat : 19682 (java) S 19662 19662 16662 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151669267 26628161536 11377 33554432000 4194304 4196468 140725005012496 140376257072224 140377004287701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19683] ppid=19662 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/19664/task/19683/stat : 19683 (java) S 19662 19662 16662 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151669267 26628161536 11377 33554432000 4194304 4196468 140725005012496 140376256019504 140377004288642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 46888 KiB

[startup+0.700855 s]
/proc/loadavg: 8.02 8.08 7.78 5/199 19683
/proc/meminfo: memFree=23375236/32770624 swapFree=67108860/67108860
[pid=19662] ppid=19659 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/19662/stat : 19662 (xcsp3-exec) S 19659 19662 16662 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151669261 9740288 345 33554432000 4194304 5098028 140726675742736 140726675740840 140041174491772 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11120640 140726675743850 140726675744060 140726675744060 140726675746795 0
/proc/19662/statm: 2378 345 289 221 0 87 0
[pid=19664] ppid=19662 vsize=26006188 memory=83660 CPUtime=1.74 cores=0-7
/proc/19664/stat : 19664 (java) S 19662 19662 16662 0 -1 1077944320 13092 0 0 0 169 5 0 0 20 0 20 0 151669261 26630336512 20915 33554432000 4194304 4196468 140725005012496 140725004995040 140377004277495 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
/proc/19664/statm: 6501547 20915 3207 1 0 6488781 0
[pid=19664/tid=19665] ppid=19662 vsize=26006188 memory=281415653080752 CPUtime=0.66 cores=0-7
/proc/19664/task/19665/stat : 19665 (java) R 19662 19662 16662 0 -1 4202560 6867 0 0 0 64 2 0 0 20 0 20 0 151669261 26630336512 20915 33554432000 4194304 4196468 140725005012496 140377008511424 140376596374471 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19666] ppid=19662 vsize=26006188 memory=140707826541424 CPUtime=0 cores=0-7
/proc/19664/task/19666/stat : 19666 (java) S 19662 19662 16662 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151669262 26630336512 20915 33554432000 4194304 4196468 140725005012496 140376926858384 140377004287701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19667] ppid=19662 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/19664/task/19667/stat : 19667 (java) S 19662 19662 16662 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151669262 26630336512 20915 33554432000 4194304 4196468 140725005012496 140376925805584 140377004287701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19668] ppid=19662 vsize=26006188 memory=1428 CPUtime=0 cores=0-7
/proc/19664/task/19668/stat : 19668 (java) S 19662 19662 16662 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151669262 26630336512 20915 33554432000 4194304 4196468 140725005012496 140376924752784 140377004287701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0

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

[pid=19664/tid=19803] ppid=19662 vsize=26539728 memory=232568 CPUtime=70.02 cores=0-7
/proc/19664/task/19803/stat : 19803 (java) R 19662 19662 16662 0 -1 4202560 978 0 0 0 7002 0 0 0 20 0 28 0 151678441 27176681472 59166 33554432000 4194304 4196468 140725005012496 140376037896408 140376599454201 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
Current children cumulated CPU time: 1285.94 s
Current children cumulated vsize: 26549240 KiB
Current children cumulated memory: 238044 KiB

[startup+222.304 s]
/proc/loadavg: 8.41 8.14 7.85 9/207 19812
/proc/meminfo: memFree=23046148/32770624 swapFree=67108860/67108860
[pid=19662] ppid=19659 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/19662/stat : 19662 (xcsp3-exec) S 19659 19662 16662 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151669261 9740288 345 33554432000 4194304 5098028 140726675742736 140726675740840 140041174491772 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11120640 140726675743850 140726675744060 140726675744060 140726675746795 0
/proc/19662/statm: 2378 345 289 221 0 87 0
[pid=19664] ppid=19662 vsize=26605264 memory=392176 CPUtime=1762.13 cores=0-7
/proc/19664/stat : 19664 (java) S 19662 19662 16662 0 -1 1077944320 111660 0 0 0 176123 90 0 0 20 0 28 0 151669261 27243790336 98044 33554432000 4194304 4196468 140725005012496 140725004995040 140377004277495 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
/proc/19664/statm: 6651316 98044 3279 1 0 6638550 0
[pid=19664/tid=19665] ppid=19662 vsize=26605264 memory=386532 CPUtime=0.72 cores=0-7
/proc/19664/task/19665/stat : 19665 (java) S 19662 19662 16662 0 -1 1077944384 7469 0 0 0 69 3 0 0 20 0 28 0 151669261 27243790336 98044 33554432000 4194304 4196468 140725005012496 140377008518272 140377004287701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19666] ppid=19662 vsize=26605264 memory=392176 CPUtime=0.39 cores=0-7
/proc/19664/task/19666/stat : 19666 (java) S 19662 19662 16662 0 -1 1077944384 2690 0 0 0 34 5 0 0 20 0 28 0 151669262 27243790336 98044 33554432000 4194304 4196468 140725005012496 140376926858384 140377004287701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19667] ppid=19662 vsize=26605264 memory=392176 CPUtime=0.38 cores=0-7
/proc/19664/task/19667/stat : 19667 (java) S 19662 19662 16662 0 -1 1077944384 2695 0 0 0 33 5 0 0 20 0 28 0 151669262 27243790336 98044 33554432000 4194304 4196468 140725005012496 140376925805584 140377004287701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19668] ppid=19662 vsize=26605264 memory=1380 CPUtime=0.38 cores=0-7
/proc/19664/task/19668/stat : 19668 (java) S 19662 19662 16662 0 -1 1077944384 3530 0 0 0 33 5 0 0 20 0 28 0 151669262 27243790336 98044 33554432000 4194304 4196468 140725005012496 140376924752784 140377004287701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19669] ppid=19662 vsize=26605264 memory=1380 CPUtime=0.38 cores=0-7
/proc/19664/task/19669/stat : 19669 (java) S 19662 19662 16662 0 -1 1077944384 1659 0 0 0 33 5 0 0 20 0 28 0 151669262 27243790336 98044 33554432000 4194304 4196468 140725005012496 140376923699984 140377004287701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19670] ppid=19662 vsize=26605264 memory=1380 CPUtime=0.4 cores=0-7
/proc/19664/task/19670/stat : 19670 (java) S 19662 19662 16662 0 -1 1077944384 2181 0 0 0 35 5 0 0 20 0 28 0 151669262 27243790336 98044 33554432000 4194304 4196468 140725005012496 140376922647184 140377004287701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19671] ppid=19662 vsize=26605264 memory=1928 CPUtime=0.39 cores=0-7
/proc/19664/task/19671/stat : 19671 (java) S 19662 19662 16662 0 -1 1077944384 2777 0 0 0 33 6 0 0 20 0 28 0 151669262 27243790336 98044 33554432000 4194304 4196468 140725005012496 140376921594384 140377004287701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19672] ppid=19662 vsize=26605264 memory=1428 CPUtime=0.39 cores=0-7
/proc/19664/task/19672/stat : 19672 (java) S 19662 19662 16662 0 -1 1077944384 3204 0 0 0 34 5 0 0 20 0 28 0 151669262 27243790336 98044 33554432000 4194304 4196468 140725005012496 140376920541584 140377004287701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19673] ppid=19662 vsize=26605264 memory=10688 CPUtime=0.39 cores=0-7
/proc/19664/task/19673/stat : 19673 (java) S 19662 19662 16662 0 -1 1077944384 2891 0 0 0 34 5 0 0 20 0 28 0 151669262 27243790336 98044 33554432000 4194304 4196468 140725005012496 140376919488784 140377004287701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19674] ppid=19662 vsize=26605264 memory=15880 CPUtime=0.42 cores=0-7
/proc/19664/task/19674/stat : 19674 (java) S 19662 19662 16662 0 -1 1077944384 7935 0 0 0 27 15 0 0 20 0 28 0 151669263 27243790336 98044 33554432000 4194304 4196468 140725005012496 140376512297840 140377004288642 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19675] ppid=19662 vsize=26605264 memory=1380 CPUtime=0 cores=0-7
/proc/19664/task/19675/stat : 19675 (java) S 19662 19662 16662 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 151669264 27243790336 98044 33554432000 4194304 4196468 140725005012496 140376511243872 140377004287701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19676] ppid=19662 vsize=26605264 memory=1380 CPUtime=0 cores=0-7
/proc/19664/task/19676/stat : 19676 (java) S 19662 19662 16662 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 151669264 27243790336 98044 33554432000 4194304 4196468 140725005012496 140376263386496 140377004287701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19677] ppid=19662 vsize=26605264 memory=0 CPUtime=0 cores=0-7
/proc/19664/task/19677/stat : 19677 (java) S 19662 19662 16662 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151669267 27243790336 98044 33554432000 4194304 4196468 140725005012496 140376262334800 140377004296091 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19678] ppid=19662 vsize=26605264 memory=7234558252286372193 CPUtime=2.03 cores=0-7
/proc/19664/task/19678/stat : 19678 (java) S 19662 19662 16662 0 -1 1077944384 9598 0 0 0 202 1 0 0 20 0 28 0 151669267 27243790336 98044 33554432000 4194304 4196468 140725005012496 140376261282160 140377004288642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19679] ppid=19662 vsize=26605264 memory=4012 CPUtime=1.78 cores=0-7
/proc/19664/task/19679/stat : 19679 (java) S 19662 19662 16662 0 -1 1077944384 8066 0 0 0 177 1 0 0 20 0 28 0 151669267 27243790336 98044 33554432000 4194304 4196468 140725005012496 140376260229360 140377004288642 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19680] ppid=19662 vsize=26605264 memory=41992 CPUtime=2.06 cores=0-7
/proc/19664/task/19680/stat : 19680 (java) S 19662 19662 16662 0 -1 1077944384 11226 0 0 0 204 2 0 0 20 0 28 0 151669267 27243790336 98044 33554432000 4194304 4196468 140725005012496 140376259176560 140377004288642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19681] ppid=19662 vsize=26605264 memory=1296 CPUtime=0.78 cores=0-7
/proc/19664/task/19681/stat : 19681 (java) S 19662 19662 16662 0 -1 1077944384 8441 0 0 0 76 2 0 0 20 0 28 0 151669267 27243790336 98044 33554432000 4194304 4196468 140725005012496 140376258123760 140377004288642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19682] ppid=19662 vsize=26605264 memory=1696 CPUtime=0 cores=0-7
/proc/19664/task/19682/stat : 19682 (java) S 19662 19662 16662 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151669267 27243790336 98044 33554432000 4194304 4196468 140725005012496 140376257072224 140377004287701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19683] ppid=19662 vsize=26605264 memory=920 CPUtime=0.02 cores=0-7
/proc/19664/task/19683/stat : 19683 (java) S 19662 19662 16662 0 -1 1077944384 1127 0 0 0 0 2 0 0 20 0 28 0 151669267 27243790336 98044 33554432000 4194304 4196468 140725005012496 140376256019504 140377004288642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19805] ppid=19662 vsize=26605264 memory=5188 CPUtime=3.46 cores=0-7
/proc/19664/task/19805/stat : 19805 (java) R 19662 19662 16662 0 -1 4202560 40 0 0 0 346 0 0 0 20 0 28 0 151691142 27243790336 98044 33554432000 4194304 4196468 140725005012496 140376248007616 140376599454210 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19806] ppid=19662 vsize=26605264 memory=41992 CPUtime=3.47 cores=0-7
/proc/19664/task/19806/stat : 19806 (java) R 19662 19662 16662 0 -1 4202560 21 0 0 0 347 0 0 0 20 0 28 0 151691142 27243790336 98044 33554432000 4194304 4196468 140725005012496 140376037896112 140376599454024 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19807] ppid=19662 vsize=26605264 memory=1296 CPUtime=3.46 cores=0-7
/proc/19664/task/19807/stat : 19807 (java) R 19662 19662 16662 0 -1 4202560 21 0 0 0 346 0 0 0 20 0 28 0 151691142 27243790336 98044 33554432000 4194304 4196468 140725005012496 140376038951456 140376600890801 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19808] ppid=19662 vsize=26605264 memory=2400 CPUtime=3.47 cores=0-7
/proc/19664/task/19808/stat : 19808 (java) R 19662 19662 16662 0 -1 4202560 22 0 0 0 347 0 0 0 20 0 28 0 151691142 27243790336 98044 33554432000 4194304 4196468 140725005012496 140376242745728 140376599453306 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19809] ppid=19662 vsize=26605264 memory=1728 CPUtime=3.39 cores=0-7
/proc/19664/task/19809/stat : 19809 (java) R 19662 19662 16662 0 -1 4202560 20 0 0 0 339 0 0 0 20 0 28 0 151691142 27243790336 98044 33554432000 4194304 4196468 140725005012496 140376244850632 140376599454524 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19810] ppid=19662 vsize=26605264 memory=6791534058613427641 CPUtime=3.47 cores=0-7
/proc/19664/task/19810/stat : 19810 (java) R 19662 19662 16662 0 -1 4202560 17 0 0 0 347 0 0 0 20 0 28 0 151691142 27243790336 98044 33554432000 4194304 4196468 140725005012496 140376243797696 140376599453973 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19811] ppid=19662 vsize=26605264 memory=4128 CPUtime=3.46 cores=0-7
/proc/19664/task/19811/stat : 19811 (java) R 19662 19662 16662 0 -1 4202560 19 0 0 0 346 0 0 0 20 0 28 0 151691142 27243790336 98044 33554432000 4194304 4196468 140725005012496 140376246956256 140376600507633 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19812] ppid=19662 vsize=26605264 memory=1380 CPUtime=3.47 cores=0-7
/proc/19664/task/19812/stat : 19812 (java) R 19662 19662 16662 0 -1 4202560 17 0 0 0 347 0 0 0 20 0 28 0 151691142 27243790336 98044 33554432000 4194304 4196468 140725005012496 140376245903328 140376599547342 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
Current children cumulated CPU time: 1762.13 s
Current children cumulated vsize: 26614776 KiB
Current children cumulated memory: 393556 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.001 s]*
/proc/loadavg: 8.44 8.17 7.87 9/207 19820
/proc/meminfo: memFree=23120156/32770624 swapFree=67108860/67108860
[pid=19662] ppid=19659 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/19662/stat : 19662 (xcsp3-exec) S 19659 19662 16662 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151669261 9740288 345 33554432000 4194304 5098028 140726675742736 140726675740840 140041174491772 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11120640 140726675743850 140726675744060 140726675744060 140726675746795 0
/proc/19662/statm: 2378 345 289 221 0 87 0
[pid=19664] ppid=19662 vsize=26605264 memory=316580 CPUtime=1994.29 cores=0-7
/proc/19664/stat : 19664 (java) S 19662 19662 16662 0 -1 1077944320 124727 0 0 0 199312 117 0 0 20 0 28 0 151669261 27243790336 79145 33554432000 4194304 4196468 140725005012496 140725004995040 140377004277495 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
/proc/19664/statm: 6651316 79145 3293 1 0 6638550 0
[pid=19664/tid=19665] ppid=19662 vsize=26605264 memory=6791534058613427641 CPUtime=0.72 cores=0-7
/proc/19664/task/19665/stat : 19665 (java) S 19662 19662 16662 0 -1 1077944384 7471 0 0 0 69 3 0 0 20 0 28 0 151669261 27243790336 79145 33554432000 4194304 4196468 140725005012496 140377008518272 140377004287701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19666] ppid=19662 vsize=26605264 memory=1380 CPUtime=0.51 cores=0-7
/proc/19664/task/19666/stat : 19666 (java) S 19662 19662 16662 0 -1 1077944384 3228 0 0 0 44 7 0 0 20 0 28 0 151669262 27243790336 79145 33554432000 4194304 4196468 140725005012496 140376926858384 140377004287701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19667] ppid=19662 vsize=26605264 memory=1380 CPUtime=0.49 cores=0-7
/proc/19664/task/19667/stat : 19667 (java) S 19662 19662 16662 0 -1 1077944384 3746 0 0 0 42 7 0 0 20 0 28 0 151669262 27243790336 79145 33554432000 4194304 4196468 140725005012496 140376925805584 140377004287701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19668] ppid=19662 vsize=26605264 memory=435232 CPUtime=0.48 cores=0-7
/proc/19664/task/19668/stat : 19668 (java) S 19662 19662 16662 0 -1 1077944384 3868 0 0 0 42 6 0 0 20 0 28 0 151669262 27243790336 79145 33554432000 4194304 4196468 140725005012496 140376924752784 140377004287701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19669] ppid=19662 vsize=26605264 memory=4872558044660077418 CPUtime=0.48 cores=0-7
/proc/19664/task/19669/stat : 19669 (java) S 19662 19662 16662 0 -1 1077944384 2367 0 0 0 42 6 0 0 20 0 28 0 151669262 27243790336 79145 33554432000 4194304 4196468 140725005012496 140376923699984 140377004287701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19670] ppid=19662 vsize=26605264 memory=470168 CPUtime=0.49 cores=0-7
/proc/19664/task/19670/stat : 19670 (java) S 19662 19662 16662 0 -1 1077944384 3079 0 0 0 43 6 0 0 20 0 28 0 151669262 27243790336 79145 33554432000 4194304 4196468 140725005012496 140376922647184 140377004287701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19671] ppid=19662 vsize=26605264 memory=468120 CPUtime=0.49 cores=0-7
/proc/19664/task/19671/stat : 19671 (java) S 19662 19662 16662 0 -1 1077944384 3000 0 0 0 42 7 0 0 20 0 28 0 151669262 27243790336 79145 33554432000 4194304 4196468 140725005012496 140376921594384 140377004287701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19672] ppid=19662 vsize=26605264 memory=0 CPUtime=0.49 cores=0-7
/proc/19664/task/19672/stat : 19672 (java) S 19662 19662 16662 0 -1 1077944384 3930 0 0 0 43 6 0 0 20 0 28 0 151669262 27243790336 79145 33554432000 4194304 4196468 140725005012496 140376920541584 140377004287701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19673] ppid=19662 vsize=26605264 memory=288230583132487972 CPUtime=0.5 cores=0-7
/proc/19664/task/19673/stat : 19673 (java) S 19662 19662 16662 0 -1 1077944384 3460 0 0 0 43 7 0 0 20 0 28 0 151669262 27243790336 79145 33554432000 4194304 4196468 140725005012496 140376919488784 140377004287701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19674] ppid=19662 vsize=26605264 memory=288291090765972730 CPUtime=0.54 cores=0-7
/proc/19664/task/19674/stat : 19674 (java) S 19662 19662 16662 0 -1 1077944384 10735 0 0 0 33 21 0 0 20 0 28 0 151669263 27243790336 79145 33554432000 4194304 4196468 140725005012496 140376512297840 140377004288642 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19675] ppid=19662 vsize=26605264 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/19664/task/19675/stat : 19675 (java) S 19662 19662 16662 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 151669264 27243790336 79145 33554432000 4194304 4196468 140725005012496 140376511243872 140377004287701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19676] ppid=19662 vsize=26605264 memory=3833745396274976766 CPUtime=0 cores=0-7
/proc/19664/task/19676/stat : 19676 (java) S 19662 19662 16662 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 151669264 27243790336 79145 33554432000 4194304 4196468 140725005012496 140376263386496 140377004287701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19677] ppid=19662 vsize=26605264 memory=2319973078831150592 CPUtime=0 cores=0-7
/proc/19664/task/19677/stat : 19677 (java) S 19662 19662 16662 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151669267 27243790336 79145 33554432000 4194304 4196468 140725005012496 140376262334800 140377004296091 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19678] ppid=19662 vsize=26605264 memory=4137562591717124979 CPUtime=2.03 cores=0-7
/proc/19664/task/19678/stat : 19678 (java) S 19662 19662 16662 0 -1 1077944384 9602 0 0 0 202 1 0 0 20 0 28 0 151669267 27243790336 79145 33554432000 4194304 4196468 140725005012496 140376261282160 140377004288642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19679] ppid=19662 vsize=26605264 memory=-7590639507848386194 CPUtime=1.78 cores=0-7
/proc/19664/task/19679/stat : 19679 (java) S 19662 19662 16662 0 -1 1077944384 8070 0 0 0 177 1 0 0 20 0 28 0 151669267 27243790336 79145 33554432000 4194304 4196468 140725005012496 140376260229360 140377004288642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19680] ppid=19662 vsize=26605264 memory=-7520844713102366113 CPUtime=2.06 cores=0-7
/proc/19664/task/19680/stat : 19680 (java) S 19662 19662 16662 0 -1 1077944384 11232 0 0 0 204 2 0 0 20 0 28 0 151669267 27243790336 79145 33554432000 4194304 4196468 140725005012496 140376259176560 140377004288642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19681] ppid=19662 vsize=26605264 memory=-6299809446586116743 CPUtime=0.78 cores=0-7
/proc/19664/task/19681/stat : 19681 (java) S 19662 19662 16662 0 -1 1077944384 8714 0 0 0 76 2 0 0 20 0 28 0 151669267 27243790336 79145 33554432000 4194304 4196468 140725005012496 140376258123760 140377004288642 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19682] ppid=19662 vsize=26605264 memory=-7091014878472007052 CPUtime=0 cores=0-7
/proc/19664/task/19682/stat : 19682 (java) S 19662 19662 16662 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151669267 27243790336 79145 33554432000 4194304 4196468 140725005012496 140376257072224 140377004287701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19683] ppid=19662 vsize=26605264 memory=4629771062077588875 CPUtime=0.03 cores=0-7
/proc/19664/task/19683/stat : 19683 (java) S 19662 19662 16662 0 -1 1077944384 1220 0 0 0 1 2 0 0 20 0 28 0 151669267 27243790336 79145 33554432000 4194304 4196468 140725005012496 140376256019504 140377004288642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19813] ppid=19662 vsize=26605264 memory=-8961168018402230209 CPUtime=22.66 cores=0-7
/proc/19664/task/19813/stat : 19813 (java) R 19662 19662 16662 0 -1 4202560 287 0 0 0 2266 0 0 0 20 0 28 0 151692171 27243790336 79145 33554432000 4194304 4196468 140725005012496 140376038947760 140376599454201 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19814] ppid=19662 vsize=26605264 memory=-8253362762722141311 CPUtime=22.67 cores=0-7
/proc/19664/task/19814/stat : 19814 (java) R 19662 19662 16662 0 -1 4202560 322 0 0 0 2267 0 0 0 20 0 28 0 151692171 27243790336 79145 33554432000 4194304 4196468 140725005012496 140376244850528 140376600507591 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19815] ppid=19662 vsize=26605264 memory=1380 CPUtime=22.54 cores=0-7
/proc/19664/task/19815/stat : 19815 (java) R 19662 19662 16662 0 -1 4202560 545 0 0 0 2254 0 0 0 20 0 28 0 151692171 27243790336 79145 33554432000 4194304 4196468 140725005012496 140376243800496 140376600038014 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19816] ppid=19662 vsize=26605264 memory=468120 CPUtime=22.62 cores=0-7
/proc/19664/task/19816/stat : 19816 (java) R 19662 19662 16662 0 -1 4202560 1189 0 0 0 2257 5 0 0 20 0 28 0 151692171 27243790336 79145 33554432000 4194304 4196468 140725005012496 140376246955744 140376602452971 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19817] ppid=19662 vsize=26605264 memory=3054156605268465310 CPUtime=22.53 cores=0-7
/proc/19664/task/19817/stat : 19817 (java) R 19662 19662 16662 0 -1 4202560 871 0 0 0 2253 0 0 0 20 0 28 0 151692171 27243790336 79145 33554432000 4194304 4196468 140725005012496 140376248009048 140376599644962 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19818] ppid=19662 vsize=26605264 memory=4616 CPUtime=22.61 cores=0-7
/proc/19664/task/19818/stat : 19818 (java) R 19662 19662 16662 0 -1 4202560 207 0 0 0 2261 0 0 0 20 0 28 0 151692171 27243790336 79145 33554432000 4194304 4196468 140725005012496 140376242744768 140376600038996 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19819] ppid=19662 vsize=26605264 memory=1928 CPUtime=22.52 cores=0-7
/proc/19664/task/19819/stat : 19819 (java) R 19662 19662 16662 0 -1 4202560 790 0 0 0 2252 0 0 0 20 0 28 0 151692171 27243790336 79145 33554432000 4194304 4196468 140725005012496 140376245904072 140376599547272 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
[pid=19664/tid=19820] ppid=19662 vsize=26605264 memory=1428 CPUtime=22.5 cores=0-7
/proc/19664/task/19820/stat : 19820 (java) R 19662 19662 16662 0 -1 4202560 605 0 0 0 2250 0 0 0 20 0 28 0 151692171 27243790336 79145 33554432000 4194304 4196468 140725005012496 140376037896416 140376599547912 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19886080 140725005018264 140725005018440 140725005018440 140725005021135 0
Current children cumulated CPU time: 1994.29 s
Current children cumulated vsize: 26614776 KiB
Current children cumulated memory: 317960 KiB

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

[startup+252.041 s]
# the end of solver process 19662 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001945 s, system=0 s

[startup+252.106 s]
# the end of solver process 19664 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1993.83 s, system=1.18099 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): 252.106
CPU time (s): 1995.01
CPU user time (s): 1993.83
CPU system time (s): 1.18099
CPU usage (%): 791.337
Max. virtual memory (cumulated for all children) (KiB): 26614776
Max. memory (cumulated for all children) (KiB): 471548

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1993.83
system time used= 1.18099
maximum resident set size= 492280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 125477
page faults= 0
swaps= 0
block input operations= 0
block output operations= 616
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 33022
involuntary context switches= 22792


# summary of solver processes directly reported to runsolver:
#   pid: 19662,19664
#   total CPU time (s): 1995.01
#   total CPU user time (s): 1993.83
#   total CPU system time (s): 1.18099

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.37833 second user time and 2.67345 second system time

The end

Launcher Data

Begin job on node105 at 2017-08-20 01:25:18
IDJOB=4281349
IDBENCH=126223
IDSOLVER=2676
FILE ID=node105/4281349-1503185978
RUNJOBID= node105-1503176515-16689
PBS_JOBID= 20630848
Free space on /tmp= 61848 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/GolombRuler/GolombRuler-a3-s1/GolombRuler-17-a3.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4281349-1503185978/watcher-4281349-1503185978 -o /tmp/evaluation-result-4281349-1503185978/solver-4281349-1503185978 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node105-1503176515-16689 --watchdog 312  ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 2138318704 HOME/instance-4281349-1503185978.xml

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

MD5SUM BENCH= 1a474c72a1f7224eb7c0241d7ff915ce
RANDOM SEED=2138318704

node105.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.17
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.17
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.17
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.17
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:        23422156 kB
MemAvailable:   31970992 kB
Buffers:          237584 kB
Cached:          8601704 kB
SwapCached:            0 kB
Active:          1045764 kB
Inactive:        7848796 kB
Active(anon):       5484 kB
Inactive(anon):    85900 kB
Active(file):    1040280 kB
Inactive(file):  7762896 kB
Unevictable:        7324 kB
Mlocked:            7324 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7568 kB
Writeback:             0 kB
AnonPages:         62100 kB
Mapped:            50892 kB
Shmem:             33420 kB
Slab:             149532 kB
SReclaimable:     122988 kB
SUnreclaim:        26544 kB
KernelStack:        3232 kB
PageTables:         4900 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     333964 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 61840 MiB
End job on node105 at 2017-08-20 01:29:30