Trace number 4280359

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)223 20031.1 2520.1001

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 benchmark223
Best CPU time to get the best result obtained on this benchmark20031.1
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-4280359-1503137064.xml"  -tl '20160s' -p 8 -x 0
0.11/0.14	c [HOME/instance-4280359-1503137064.xml, -tl, 20160s, -p, 8, -x, 0]
0.11/0.19	c 8 solvers in parallel
0.33/0.26	c parse instance...
1.77/0.72	c solve instance...
6.33/1.32	o 289 
6.33/1.33	o 280 
6.33/1.37	o 276 
7.79/1.54	o 272 
8.53/1.68	o 268 
11.69/2.08	o 267 
12.47/2.17	o 266 
13.19/2.26	o 264 
14.70/2.44	o 255 
17.07/2.73	o 253 
82.14/10.90	o 248 
85.29/11.30	o 247 
96.45/12.78	o 241 
203.12/26.18	o 240 
720.50/91.11	o 239 
780.90/98.70	o 238 
1150.69/145.24	o 237 
3141.27/395.73	o 236 
3396.53/427.80	o 234 
5156.20/649.10	o 233 
6709.53/844.32	o 229 
7408.67/932.34	o 226 
11560.08/1454.39	o 225 
13520.66/1700.96	o 223 
20030.35/2520.09	s SATISFIABLE
20030.35/2520.09	v <instantiation>
20030.35/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] 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>
20030.35/2520.09	v 	<values>0 1 3 7 12 26 41 59 80 90 122 135 152 172 188 196 223 1 3 7 12 26 41 59 80 90 122 135 152 172 188 196 223 2 6 11 25 40 58 79 89 121 134 151 171 187 195 222 4 9 23 38 56 77 87 119 132 149 169 185 193 220 5 19 34 52 73 83 115 128 145 165 181 189 216 14 29 47 68 78 110 123 140 160 176 184 211 15 33 54 64 96 109 126 146 162 170 197 18 39 49 81 94 111 131 147 155 182 21 31 63 76 93 113 129 137 164 10 42 55 72 92 108 116 143 32 45 62 82 98 106 133 13 30 50 66 74 101 17 37 53 61 88 20 36 44 71 16 24 51 8 35 27 </values>
20030.35/2520.09	v </instantiation>
20030.35/2520.09	c Unexpected resolution interruption!

Verifier Data 

OK	223

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280359-1503137064/watcher-4280359-1503137064 -o /tmp/evaluation-result-4280359-1503137064/solver-4280359-1503137064 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1503136204-9383 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1967378777 HOME/instance-4280359-1503137064.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=9400, runsolver pid=9397
Current StackSize limit: 8192 KiB


[startup+0.100138 s]*
/proc/loadavg: 7.59 8.37 8.37 3/199 9421
/proc/meminfo: memFree=22995772/32770624 swapFree=67108860/67108860
[pid=9400] ppid=9397 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/9400/stat : 9400 (xcsp3-exec) S 9397 9400 9356 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 146777860 9740288 346 33554432000 4194304 5098028 140724755276864 140724755274968 139922135835260 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40718336 140724755285092 140724755285303 140724755285303 140724755288043 0
/proc/9400/statm: 2378 346 289 221 0 87 0
[pid=9402] ppid=9400 vsize=25999808 memory=26136 CPUtime=0.11 cores=0-7
/proc/9402/stat : 9402 (java) S 9400 9400 9356 0 -1 1077944320 5493 0 0 0 10 1 0 0 20 0 20 0 146777860 26623803392 6534 33554432000 4194304 4196468 140729909963072 140729909945616 139669905817335 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
/proc/9402/statm: 6499952 6534 2847 1 0 6488269 0
[pid=9402/tid=9403] ppid=9400 vsize=25999808 memory=4134692831991783777 CPUtime=0.09 cores=0-7
/proc/9402/task/9403/stat : 9403 (java) R 9400 9400 9356 0 -1 4202560 3491 0 0 0 8 1 0 0 20 0 20 0 146777860 26623803392 6534 33554432000 4194304 4196468 140729909963072 139669910049248 139669905829270 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9404] ppid=9400 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/9402/task/9404/stat : 9404 (java) S 9400 9400 9356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146777861 26623803392 6534 33554432000 4194304 4196468 140729909963072 139669858438032 139669905827541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9405] ppid=9400 vsize=25999808 memory=140366051956352 CPUtime=0 cores=0-7
/proc/9402/task/9405/stat : 9405 (java) S 9400 9400 9356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146777861 26623803392 6534 33554432000 4194304 4196468 140729909963072 139669857385232 139669905827541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9406] ppid=9400 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9402/task/9406/stat : 9406 (java) S 9400 9400 9356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146777861 26623803392 6534 33554432000 4194304 4196468 140729909963072 139669856332944 139669905827541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9407] ppid=9400 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9402/task/9407/stat : 9407 (java) S 9400 9400 9356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146777861 26623803392 6534 33554432000 4194304 4196468 140729909963072 139669855280144 139669905827541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9408] ppid=9400 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9402/task/9408/stat : 9408 (java) S 9400 9400 9356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146777861 26623803392 6534 33554432000 4194304 4196468 140729909963072 139669459564944 139669905827541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9409] ppid=9400 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/9402/task/9409/stat : 9409 (java) S 9400 9400 9356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146777861 26623803392 6534 33554432000 4194304 4196468 140729909963072 139669458512144 139669905827541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9410] ppid=9400 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9402/task/9410/stat : 9410 (java) S 9400 9400 9356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146777861 26623803392 6534 33554432000 4194304 4196468 140729909963072 139669457459856 139669905827541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9411] ppid=9400 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9402/task/9411/stat : 9411 (java) S 9400 9400 9356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146777861 26623803392 6534 33554432000 4194304 4196468 140729909963072 139669456407056 139669905827541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9412] ppid=9400 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9402/task/9412/stat : 9412 (java) S 9400 9400 9356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146777862 26623803392 6534 33554432000 4194304 4196468 140729909963072 139669233662576 139669905828482 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9413] ppid=9400 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9402/task/9413/stat : 9413 (java) S 9400 9400 9356 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 146777863 26623803392 6534 33554432000 4194304 4196468 140729909963072 139669232608544 139669905827541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9414] ppid=9400 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9402/task/9414/stat : 9414 (java) S 9400 9400 9356 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 146777863 26623803392 6534 33554432000 4194304 4196468 140729909963072 139669231556208 139669905827541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9415] ppid=9400 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9402/task/9415/stat : 9415 (java) S 9400 9400 9356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146777866 26623803392 6534 33554432000 4194304 4196468 140729909963072 139669230504528 139669905835931 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9416] ppid=9400 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9402/task/9416/stat : 9416 (java) S 9400 9400 9356 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 146777866 26623803392 6534 33554432000 4194304 4196468 140729909963072 139669229451376 139669905828482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9417] ppid=9400 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9402/task/9417/stat : 9417 (java) S 9400 9400 9356 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 146777866 26623803392 6534 33554432000 4194304 4196468 140729909963072 139669228398576 139669905828482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9418] ppid=9400 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9402/task/9418/stat : 9418 (java) R 9400 9400 9356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146777866 26623803392 6534 33554432000 4194304 4196468 140729909963072 139669227346288 139669905828482 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9419] ppid=9400 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/9402/task/9419/stat : 9419 (java) S 9400 9400 9356 0 -1 1077944384 262 0 0 0 1 0 0 0 20 0 20 0 146777866 26623803392 6534 33554432000 4194304 4196468 140729909963072 139669226293488 139669905828482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9420] ppid=9400 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9402/task/9420/stat : 9420 (java) S 9400 9400 9356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146777866 26623803392 6534 33554432000 4194304 4196468 140729909963072 139669225241440 139669905827541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9421] ppid=9400 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/9402/task/9421/stat : 9421 (java) S 9400 9400 9356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146777866 26623803392 6534 33554432000 4194304 4196468 140729909963072 139669224188720 139669905828482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27520 KiB

[startup+0.209829 s]*
/proc/loadavg: 7.59 8.37 8.37 2/199 9421
/proc/meminfo: memFree=22984344/32770624 swapFree=67108860/67108860
[pid=9400] ppid=9397 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/9400/stat : 9400 (xcsp3-exec) S 9397 9400 9356 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 146777860 9740288 346 33554432000 4194304 5098028 140724755276864 140724755274968 139922135835260 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40718336 140724755285092 140724755285303 140724755285303 140724755288043 0
/proc/9400/statm: 2378 346 289 221 0 87 0
[pid=9402] ppid=9400 vsize=26004064 memory=39188 CPUtime=0.33 cores=0-7
/proc/9402/stat : 9402 (java) S 9400 9400 9356 0 -1 1077944320 8374 0 0 0 30 3 0 0 20 0 20 0 146777860 26628161536 9797 33554432000 4194304 4196468 140729909963072 140729909945616 139669905817335 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
/proc/9402/statm: 6501016 9797 3024 1 0 6488269 0
[pid=9402/tid=9403] ppid=9400 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/9402/task/9403/stat : 9403 (java) D 9400 9400 9356 0 -1 1077944384 5425 0 0 0 17 2 0 0 20 0 20 0 146777860 26628161536 9797 33554432000 4194304 4196468 140729909963072 139669910028144 139669898496557 0 4 0 16800975 18446744072101613092 0 0 -1 6 0 0 0 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9404] ppid=9400 vsize=26004064 memory=331 CPUtime=0 cores=0-7
/proc/9402/task/9404/stat : 9404 (java) S 9400 9400 9356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146777861 26628161536 9797 33554432000 4194304 4196468 140729909963072 139669858438032 139669905827541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9405] ppid=9400 vsize=26004064 memory=140366051965736 CPUtime=0 cores=0-7
/proc/9402/task/9405/stat : 9405 (java) S 9400 9400 9356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146777861 26628161536 9797 33554432000 4194304 4196468 140729909963072 139669857385232 139669905827541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9406] ppid=9400 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/9402/task/9406/stat : 9406 (java) S 9400 9400 9356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146777861 26628161536 9797 33554432000 4194304 4196468 140729909963072 139669856332944 139669905827541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9407] ppid=9400 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9402/task/9407/stat : 9407 (java) S 9400 9400 9356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146777861 26628161536 9797 33554432000 4194304 4196468 140729909963072 139669855280144 139669905827541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9408] ppid=9400 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/9402/task/9408/stat : 9408 (java) S 9400 9400 9356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146777861 26628194304 9797 33554432000 4194304 4196468 140729909963072 139669459564944 139669905827541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9409] ppid=9400 vsize=26004096 memory=-1 CPUtime=0 cores=0-7
/proc/9402/task/9409/stat : 9409 (java) S 9400 9400 9356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146777861 26628194304 9797 33554432000 4194304 4196468 140729909963072 139669458512144 139669905827541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9410] ppid=9400 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/9402/task/9410/stat : 9410 (java) S 9400 9400 9356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146777861 26628194304 9797 33554432000 4194304 4196468 140729909963072 139669457459856 139669905827541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9411] ppid=9400 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9402/task/9411/stat : 9411 (java) S 9400 9400 9356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146777861 26628161536 9797 33554432000 4194304 4196468 140729909963072 139669456407056 139669905827541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9412] ppid=9400 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9402/task/9412/stat : 9412 (java) S 9400 9400 9356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146777862 26628161536 9797 33554432000 4194304 4196468 140729909963072 139669233662576 139669905828482 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9413] ppid=9400 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9402/task/9413/stat : 9413 (java) S 9400 9400 9356 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 146777863 26628161536 9797 33554432000 4194304 4196468 140729909963072 139669232608544 139669905827541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9414] ppid=9400 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9402/task/9414/stat : 9414 (java) S 9400 9400 9356 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 146777863 26628161536 9797 33554432000 4194304 4196468 140729909963072 139669231556208 139669905827541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9415] ppid=9400 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9402/task/9415/stat : 9415 (java) S 9400 9400 9356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146777866 26628161536 9797 33554432000 4194304 4196468 140729909963072 139669230504528 139669905835931 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9416] ppid=9400 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/9402/task/9416/stat : 9416 (java) S 9400 9400 9356 0 -1 1077944384 611 0 0 0 2 0 0 0 20 0 20 0 146777866 26628161536 9797 33554432000 4194304 4196468 140729909963072 139669229451376 139669905828482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9417] ppid=9400 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9402/task/9417/stat : 9417 (java) S 9400 9400 9356 0 -1 1077944384 129 0 0 0 0 0 0 0 20 0 20 0 146777866 26628161536 9797 33554432000 4194304 4196468 140729909963072 139669228398576 139669905828482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9418] ppid=9400 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/9402/task/9418/stat : 9418 (java) S 9400 9400 9356 0 -1 1077944384 143 0 0 0 1 0 0 0 20 0 20 0 146777866 26628161536 9797 33554432000 4194304 4196468 140729909963072 139669227346288 139669905828482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9419] ppid=9400 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/9402/task/9419/stat : 9419 (java) S 9400 9400 9356 0 -1 1077944384 762 0 0 0 7 0 0 0 20 0 20 0 146777866 26628161536 9797 33554432000 4194304 4196468 140729909963072 139669226293488 139669905828482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9420] ppid=9400 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/9402/task/9420/stat : 9420 (java) S 9400 9400 9356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146777866 26628194304 9797 33554432000 4194304 4196468 140729909963072 139669225241440 139669905827541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9421] ppid=9400 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/9402/task/9421/stat : 9421 (java) S 9400 9400 9356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146777866 26628161536 9797 33554432000 4194304 4196468 140729909963072 139669224188720 139669905828482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40572 KiB

[startup+0.309653 s]*
/proc/loadavg: 7.59 8.37 8.37 3/199 9421
/proc/meminfo: memFree=22977768/32770624 swapFree=67108860/67108860
[pid=9400] ppid=9397 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/9400/stat : 9400 (xcsp3-exec) S 9397 9400 9356 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 146777860 9740288 346 33554432000 4194304 5098028 140724755276864 140724755274968 139922135835260 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40718336 140724755285092 140724755285303 140724755285303 140724755288043 0
/proc/9400/statm: 2378 346 289 221 0 87 0
[pid=9402] ppid=9400 vsize=26004064 memory=46292 CPUtime=0.49 cores=0-7
/proc/9402/stat : 9402 (java) S 9400 9400 9356 0 -1 1077944320 9224 0 0 0 46 3 0 0 20 0 20 0 146777860 26628161536 11573 33554432000 4194304 4196468 140729909963072 140729909945616 139669905817335 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
/proc/9402/statm: 6501016 11573 3098 1 0 6488269 0
[pid=9402/tid=9403] ppid=9400 vsize=26004064 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/9402/task/9403/stat : 9403 (java) R 9400 9400 9356 0 -1 4202560 6126 0 0 0 27 2 0 0 20 0 20 0 146777860 26628161536 11573 33554432000 4194304 4196468 140729909963072 139669910049904 139669905839261 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9404] ppid=9400 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9402/task/9404/stat : 9404 (java) S 9400 9400 9356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146777861 26628161536 11573 33554432000 4194304 4196468 140729909963072 139669858438032 139669905827541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9405] ppid=9400 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9402/task/9405/stat : 9405 (java) S 9400 9400 9356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146777861 26628161536 11573 33554432000 4194304 4196468 140729909963072 139669857385232 139669905827541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9406] ppid=9400 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9402/task/9406/stat : 9406 (java) S 9400 9400 9356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146777861 26628161536 11573 33554432000 4194304 4196468 140729909963072 139669856332944 139669905827541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9407] ppid=9400 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9402/task/9407/stat : 9407 (java) S 9400 9400 9356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146777861 26628161536 11573 33554432000 4194304 4196468 140729909963072 139669855280144 139669905827541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9408] ppid=9400 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/9402/task/9408/stat : 9408 (java) S 9400 9400 9356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146777861 26628161536 11573 33554432000 4194304 4196468 140729909963072 139669459564944 139669905827541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9409] ppid=9400 vsize=26004064 memory=140365906670511 CPUtime=0 cores=0-7
/proc/9402/task/9409/stat : 9409 (java) S 9400 9400 9356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146777861 26628161536 11573 33554432000 4194304 4196468 140729909963072 139669458512144 139669905827541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9410] ppid=9400 vsize=26004064 memory=140365906672816 CPUtime=0 cores=0-7
/proc/9402/task/9410/stat : 9410 (java) S 9400 9400 9356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146777861 26628161536 11573 33554432000 4194304 4196468 140729909963072 139669457459856 139669905827541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9411] ppid=9400 vsize=26004064 memory=140365906675120 CPUtime=0 cores=0-7
/proc/9402/task/9411/stat : 9411 (java) S 9400 9400 9356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146777861 26628161536 11573 33554432000 4194304 4196468 140729909963072 139669456407056 139669905827541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9412] ppid=9400 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9402/task/9412/stat : 9412 (java) S 9400 9400 9356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146777862 26628161536 11573 33554432000 4194304 4196468 140729909963072 139669233662576 139669905828482 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9413] ppid=9400 vsize=26004064 memory=280731813357200 CPUtime=0 cores=0-7
/proc/9402/task/9413/stat : 9413 (java) S 9400 9400 9356 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 146777863 26628161536 11573 33554432000 4194304 4196468 140729909963072 139669232608544 139669905827541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9414] ppid=9400 vsize=26004064 memory=280731813364112 CPUtime=0 cores=0-7
/proc/9402/task/9414/stat : 9414 (java) S 9400 9400 9356 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 146777863 26628161536 11573 33554432000 4194304 4196468 140729909963072 139669231556208 139669905827541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9415] ppid=9400 vsize=26004064 memory=280731813305392 CPUtime=0 cores=0-7
/proc/9402/task/9415/stat : 9415 (java) S 9400 9400 9356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146777866 26628161536 11573 33554432000 4194304 4196468 140729909963072 139669230504528 139669905835931 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9416] ppid=9400 vsize=26004064 memory=280731813377936 CPUtime=0.02 cores=0-7
/proc/9402/task/9416/stat : 9416 (java) S 9400 9400 9356 0 -1 1077944384 613 0 0 0 2 0 0 0 20 0 20 0 146777866 26628161536 11587 33554432000 4194304 4196468 140729909963072 139669229451376 139669905828482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9417] ppid=9400 vsize=26004064 memory=280731813384848 CPUtime=0.02 cores=0-7
/proc/9402/task/9417/stat : 9417 (java) S 9400 9400 9356 0 -1 1077944384 153 0 0 0 2 0 0 0 20 0 20 0 146777866 26628161536 11587 33554432000 4194304 4196468 140729909963072 139669228398576 139669905828482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9418] ppid=9400 vsize=26004064 memory=280731813382544 CPUtime=0.02 cores=0-7
/proc/9402/task/9418/stat : 9418 (java) S 9400 9400 9356 0 -1 1077944384 155 0 0 0 2 0 0 0 20 0 20 0 146777866 26628161536 11587 33554432000 4194304 4196468 140729909963072 139669227346288 139669905828482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9419] ppid=9400 vsize=26004064 memory=280731813398704 CPUtime=0.11 cores=0-7
/proc/9402/task/9419/stat : 9419 (java) R 9400 9400 9356 0 -1 4202560 868 0 0 0 11 0 0 0 20 0 20 0 146777866 26628161536 11587 33554432000 4194304 4196468 140729909963072 139669226293488 139669890069727 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9420] ppid=9400 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9402/task/9420/stat : 9420 (java) S 9400 9400 9356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146777866 26628161536 11587 33554432000 4194304 4196468 140729909963072 139669225241440 139669905827541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9421] ppid=9400 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/9402/task/9421/stat : 9421 (java) S 9400 9400 9356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146777866 26628161536 11587 33554432000 4194304 4196468 140729909963072 139669224188720 139669905828482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47676 KiB

[startup+0.700893 s]
/proc/loadavg: 7.59 8.37 8.37 6/199 9421
/proc/meminfo: memFree=22961888/32770624 swapFree=67108860/67108860
[pid=9400] ppid=9397 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/9400/stat : 9400 (xcsp3-exec) S 9397 9400 9356 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 146777860 9740288 346 33554432000 4194304 5098028 140724755276864 140724755274968 139922135835260 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40718336 140724755285092 140724755285303 140724755285303 140724755288043 0
/proc/9400/statm: 2378 346 289 221 0 87 0
[pid=9402] ppid=9400 vsize=26006188 memory=86640 CPUtime=1.77 cores=0-7
/proc/9402/stat : 9402 (java) S 9400 9400 9356 0 -1 1077944320 13854 0 0 0 171 6 0 0 20 0 20 0 146777860 26630336512 21660 33554432000 4194304 4196468 140729909963072 140729909945616 139669905817335 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
/proc/9402/statm: 6501547 21660 3205 1 0 6488781 0
[pid=9402/tid=9403] ppid=9400 vsize=26006188 memory=280731813756592 CPUtime=0.67 cores=0-7
/proc/9402/task/9403/stat : 9403 (java) R 9400 9400 9356 0 -1 4202560 6865 0 0 0 64 3 0 0 20 0 20 0 146777860 26630336512 21660 33554432000 4194304 4196468 140729909963072 139669910050976 139669538077585 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9404] ppid=9400 vsize=26006188 memory=140365906879344 CPUtime=0 cores=0-7
/proc/9402/task/9404/stat : 9404 (java) S 9400 9400 9356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146777861 26630336512 21660 33554432000 4194304 4196468 140729909963072 139669858438032 139669905827541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9405] ppid=9400 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/9402/task/9405/stat : 9405 (java) S 9400 9400 9356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146777861 26630336512 21660 33554432000 4194304 4196468 140729909963072 139669857385232 139669905827541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9406] ppid=9400 vsize=26006124 memory=1428 CPUtime=0 cores=0-7
/proc/9402/task/9406/stat : 9406 (java) S 9400 9400 9356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146777861 26630270976 21679 33554432000 4194304 4196468 140729909963072 139669856332944 139669905827541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0

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

[pid=9402/tid=9663] ppid=9400 vsize=26538700 memory=1384 CPUtime=735.95 cores=0-7
/proc/9402/task/9663/stat : 9663 (java) R 9400 9400 9356 0 -1 4202560 18151 0 0 0 73584 11 0 0 20 0 28 0 146947957 27175628800 78053 33554432000 4194304 4196468 140729909963072 139669211410352 139669544620939 0 4 0 16800975 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
Current children cumulated CPU time: 19413.3 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 313596 KiB

[startup+2502.3 s]
/proc/loadavg: 8.03 8.15 8.26 10/208 9679
/proc/meminfo: memFree=22714396/32770624 swapFree=67108860/67108860
[pid=9400] ppid=9397 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/9400/stat : 9400 (xcsp3-exec) S 9397 9400 9356 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 146777860 9740288 346 33554432000 4194304 5098028 140724755276864 140724755274968 139922135835260 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40718336 140724755285092 140724755285303 140724755285303 140724755288043 0
/proc/9400/statm: 2378 346 289 221 0 87 0
[pid=9402] ppid=9400 vsize=26538700 memory=312212 CPUtime=19889.8 cores=0-7
/proc/9402/stat : 9402 (java) S 9400 9400 9356 0 -1 1077944320 556882 0 0 0 1988584 393 0 0 20 0 28 0 146777860 27175628800 78053 33554432000 4194304 4196468 140729909963072 140729909945616 139669905817335 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
/proc/9402/statm: 6634675 78053 3297 1 0 6621909 0
[pid=9402/tid=9403] ppid=9400 vsize=26538700 memory=312212 CPUtime=0.72 cores=0-7
/proc/9402/task/9403/stat : 9403 (java) S 9400 9400 9356 0 -1 1077944384 7876 0 0 0 69 3 0 0 20 0 28 0 146777860 27175628800 78053 33554432000 4194304 4196468 140729909963072 139669910058112 139669905827541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9404] ppid=9400 vsize=26538700 memory=312212 CPUtime=3.19 cores=0-7
/proc/9402/task/9404/stat : 9404 (java) S 9400 9400 9356 0 -1 1077944384 17745 0 0 0 302 17 0 0 20 0 28 0 146777861 27175628800 78053 33554432000 4194304 4196468 140729909963072 139669858438032 139669905827541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9405] ppid=9400 vsize=26538700 memory=312212 CPUtime=3.22 cores=0-7
/proc/9402/task/9405/stat : 9405 (java) S 9400 9400 9356 0 -1 1077944384 19910 0 0 0 307 15 0 0 20 0 28 0 146777861 27175628800 78053 33554432000 4194304 4196468 140729909963072 139669857385232 139669905827541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9406] ppid=9400 vsize=26538700 memory=312212 CPUtime=3.22 cores=0-7
/proc/9402/task/9406/stat : 9406 (java) S 9400 9400 9356 0 -1 1077944384 18606 0 0 0 306 16 0 0 20 0 28 0 146777861 27175628800 78053 33554432000 4194304 4196468 140729909963072 139669856332944 139669905827541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9407] ppid=9400 vsize=26538700 memory=1384 CPUtime=3.2 cores=0-7
/proc/9402/task/9407/stat : 9407 (java) S 9400 9400 9356 0 -1 1077944384 18728 0 0 0 304 16 0 0 20 0 28 0 146777861 27175628800 78053 33554432000 4194304 4196468 140729909963072 139669855280144 139669905827541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9408] ppid=9400 vsize=26538700 memory=1384 CPUtime=3.21 cores=0-7
/proc/9402/task/9408/stat : 9408 (java) S 9400 9400 9356 0 -1 1077944384 21346 0 0 0 305 16 0 0 20 0 28 0 146777861 27175628800 78053 33554432000 4194304 4196468 140729909963072 139669459564944 139669905827541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9409] ppid=9400 vsize=26538700 memory=1384 CPUtime=3.23 cores=0-7
/proc/9402/task/9409/stat : 9409 (java) S 9400 9400 9356 0 -1 1077944384 21695 0 0 0 305 18 0 0 20 0 28 0 146777861 27175628800 78053 33554432000 4194304 4196468 140729909963072 139669458512144 139669905827541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9410] ppid=9400 vsize=26538700 memory=1152 CPUtime=3.2 cores=0-7
/proc/9402/task/9410/stat : 9410 (java) S 9400 9400 9356 0 -1 1077944384 23253 0 0 0 303 17 0 0 20 0 28 0 146777861 27175628800 78053 33554432000 4194304 4196468 140729909963072 139669457459856 139669905827541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9411] ppid=9400 vsize=26538700 memory=3964 CPUtime=3.22 cores=0-7
/proc/9402/task/9411/stat : 9411 (java) S 9400 9400 9356 0 -1 1077944384 22265 0 0 0 306 16 0 0 20 0 28 0 146777861 27175628800 78053 33554432000 4194304 4196468 140729909963072 139669456407056 139669905827541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9412] ppid=9400 vsize=26538700 memory=0 CPUtime=3.93 cores=0-7
/proc/9402/task/9412/stat : 9412 (java) S 9400 9400 9356 0 -1 1077944384 71797 0 0 0 294 99 0 0 20 0 28 0 146777862 27175628800 78053 33554432000 4194304 4196468 140729909963072 139669233662576 139669905828482 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9413] ppid=9400 vsize=26538700 memory=6943526294502006880 CPUtime=0 cores=0-7
/proc/9402/task/9413/stat : 9413 (java) S 9400 9400 9356 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 146777863 27175628800 78053 33554432000 4194304 4196468 140729909963072 139669232608608 139669905827541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9414] ppid=9400 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/9402/task/9414/stat : 9414 (java) S 9400 9400 9356 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 146777863 27175628800 78053 33554432000 4194304 4196468 140729909963072 139669231556224 139669905827541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9415] ppid=9400 vsize=26538700 memory=312212 CPUtime=0 cores=0-7
/proc/9402/task/9415/stat : 9415 (java) S 9400 9400 9356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 146777866 27175628800 78053 33554432000 4194304 4196468 140729909963072 139669230504528 139669905835931 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9416] ppid=9400 vsize=26538700 memory=1384 CPUtime=2.58 cores=0-7
/proc/9402/task/9416/stat : 9416 (java) S 9400 9400 9356 0 -1 1077944384 13912 0 0 0 255 3 0 0 20 0 28 0 146777866 27175628800 78053 33554432000 4194304 4196468 140729909963072 139669229451376 139669905828482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9417] ppid=9400 vsize=26538700 memory=1384 CPUtime=2.52 cores=0-7
/proc/9402/task/9417/stat : 9417 (java) S 9400 9400 9356 0 -1 1077944384 15026 0 0 0 250 2 0 0 20 0 28 0 146777866 27175628800 78053 33554432000 4194304 4196468 140729909963072 139669228398576 139669905828482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9418] ppid=9400 vsize=26538700 memory=280731815679872 CPUtime=2.49 cores=0-7
/proc/9402/task/9418/stat : 9418 (java) S 9400 9400 9356 0 -1 1077944384 15407 0 0 0 246 3 0 0 20 0 28 0 146777866 27175628800 78053 33554432000 4194304 4196468 140729909963072 139669227346288 139669905828482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9419] ppid=9400 vsize=26538700 memory=7955444168945330535 CPUtime=0.86 cores=0-7
/proc/9402/task/9419/stat : 9419 (java) S 9400 9400 9356 0 -1 1077944384 12175 0 0 0 84 2 0 0 20 0 28 0 146777866 27175628800 78053 33554432000 4194304 4196468 140729909963072 139669226293488 139669905828482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9420] ppid=9400 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/9402/task/9420/stat : 9420 (java) S 9400 9400 9356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 146777866 27175628800 78053 33554432000 4194304 4196468 140729909963072 139669225241440 139669905827541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9421] ppid=9400 vsize=26538700 memory=4012 CPUtime=0.37 cores=0-7
/proc/9402/task/9421/stat : 9421 (java) S 9400 9400 9356 0 -1 1077944384 4580 0 0 0 21 16 0 0 20 0 28 0 146777866 27175628800 78053 33554432000 4194304 4196468 140729909963072 139669224188720 139669905828482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9656] ppid=9400 vsize=26538700 memory=312212 CPUtime=794.28 cores=0-7
/proc/9402/task/9656/stat : 9656 (java) R 9400 9400 9356 0 -1 4202560 5666 0 0 0 79423 5 0 0 20 0 28 0 146947957 27175628800 78053 33554432000 4194304 4196468 140729909963072 139669216675600 139669540670646 0 4 0 16800975 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9657] ppid=9400 vsize=26538700 memory=1384 CPUtime=794.66 cores=0-7
/proc/9402/task/9657/stat : 9657 (java) R 9400 9400 9356 0 -1 4202560 4270 0 0 0 79462 4 0 0 20 0 28 0 146947957 27175628800 78053 33554432000 4194304 4196468 140729909963072 139669215622056 139669541043279 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9658] ppid=9400 vsize=26538700 memory=2240 CPUtime=794.66 cores=0-7
/proc/9402/task/9658/stat : 9658 (java) R 9400 9400 9356 0 -1 4202560 7506 0 0 0 79463 3 0 0 20 0 28 0 146947957 27175628800 78053 33554432000 4194304 4196468 140729909963072 139669212462840 139669541607118 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9659] ppid=9400 vsize=26538700 memory=8328453600958622283 CPUtime=793.41 cores=0-7
/proc/9402/task/9659/stat : 9659 (java) R 9400 9400 9356 0 -1 4202560 13913 0 0 0 79329 12 0 0 20 0 28 0 146947957 27175628800 78053 33554432000 4194304 4196468 140729909963072 139669209304904 139669540670030 0 4 0 16800975 0 0 0 -1 7 0 0 5 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9660] ppid=9400 vsize=26538700 memory=-8412652160765825907 CPUtime=796.62 cores=0-7
/proc/9402/task/9660/stat : 9660 (java) R 9400 9400 9356 0 -1 4202560 13217 0 0 0 79657 5 0 0 20 0 28 0 146947957 27175628800 78053 33554432000 4194304 4196468 140729909963072 139669210357800 139669541899151 0 4 0 16800975 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9661] ppid=9400 vsize=26538700 memory=8112282956445269571 CPUtime=793.97 cores=0-7
/proc/9402/task/9661/stat : 9661 (java) R 9400 9400 9356 0 -1 4202560 4205 0 0 0 79393 4 0 0 20 0 28 0 146947957 27175628800 78053 33554432000 4194304 4196468 140729909963072 139669214568112 139669544606784 0 4 0 16800975 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9662] ppid=9400 vsize=26538700 memory=312212 CPUtime=794.41 cores=0-7
/proc/9402/task/9662/stat : 9662 (java) R 9400 9400 9356 0 -1 4202560 11773 0 0 0 79437 4 0 0 20 0 28 0 146947957 27175628800 78053 33554432000 4194304 4196468 140729909963072 139669213515792 139669540503244 0 4 0 16800975 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9663] ppid=9400 vsize=26538700 memory=1296 CPUtime=795.33 cores=0-7
/proc/9402/task/9663/stat : 9663 (java) R 9400 9400 9356 0 -1 4202560 18336 0 0 0 79522 11 0 0 20 0 28 0 146947957 27175628800 78053 33554432000 4194304 4196468 140729909963072 139669211410464 139669543403795 0 4 0 16800975 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
Current children cumulated CPU time: 19889.8 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 313596 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.02 8.14 8.25 9/208 9679
/proc/meminfo: memFree=22714652/32770624 swapFree=67108860/67108860
[pid=9400] ppid=9397 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/9400/stat : 9400 (xcsp3-exec) S 9397 9400 9356 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 146777860 9740288 346 33554432000 4194304 5098028 140724755276864 140724755274968 139922135835260 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40718336 140724755285092 140724755285303 140724755285303 140724755288043 0
/proc/9400/statm: 2378 346 289 221 0 87 0
[pid=9402] ppid=9400 vsize=26538700 memory=312212 CPUtime=20030.3 cores=0-7
/proc/9402/stat : 9402 (java) S 9400 9400 9356 0 -1 1077944320 556959 0 0 0 2002639 396 0 0 20 0 28 0 146777860 27175628800 78053 33554432000 4194304 4196468 140729909963072 140729909945616 139669905817335 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
/proc/9402/statm: 6634675 78053 3297 1 0 6621909 0
[pid=9402/tid=9403] ppid=9400 vsize=26538700 memory=8112282956445269571 CPUtime=0.72 cores=0-7
/proc/9402/task/9403/stat : 9403 (java) S 9400 9400 9356 0 -1 1077944384 7876 0 0 0 69 3 0 0 20 0 28 0 146777860 27175628800 78053 33554432000 4194304 4196468 140729909963072 139669910058112 139669905827541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9404] ppid=9400 vsize=26538700 memory=4872558044660077418 CPUtime=3.21 cores=0-7
/proc/9402/task/9404/stat : 9404 (java) S 9400 9400 9356 0 -1 1077944384 17746 0 0 0 304 17 0 0 20 0 28 0 146777861 27175628800 78053 33554432000 4194304 4196468 140729909963072 139669858438032 139669905827541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9405] ppid=9400 vsize=26538700 memory=312212 CPUtime=3.25 cores=0-7
/proc/9402/task/9405/stat : 9405 (java) S 9400 9400 9356 0 -1 1077944384 19910 0 0 0 310 15 0 0 20 0 28 0 146777861 27175628800 78053 33554432000 4194304 4196468 140729909963072 139669857385232 139669905827541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9406] ppid=9400 vsize=26538700 memory=4040 CPUtime=3.26 cores=0-7
/proc/9402/task/9406/stat : 9406 (java) S 9400 9400 9356 0 -1 1077944384 18606 0 0 0 309 17 0 0 20 0 28 0 146777861 27175628800 78053 33554432000 4194304 4196468 140729909963072 139669856332944 139669905827541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9407] ppid=9400 vsize=26538700 memory=1792 CPUtime=3.23 cores=0-7
/proc/9402/task/9407/stat : 9407 (java) S 9400 9400 9356 0 -1 1077944384 18730 0 0 0 307 16 0 0 20 0 28 0 146777861 27175628800 78053 33554432000 4194304 4196468 140729909963072 139669855280144 139669905827541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9408] ppid=9400 vsize=26538700 memory=640 CPUtime=3.23 cores=0-7
/proc/9402/task/9408/stat : 9408 (java) S 9400 9400 9356 0 -1 1077944384 21347 0 0 0 307 16 0 0 20 0 28 0 146777861 27175628800 78053 33554432000 4194304 4196468 140729909963072 139669459564944 139669905827541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9409] ppid=9400 vsize=26538700 memory=960 CPUtime=3.26 cores=0-7
/proc/9402/task/9409/stat : 9409 (java) S 9400 9400 9356 0 -1 1077944384 21695 0 0 0 308 18 0 0 20 0 28 0 146777861 27175628800 78053 33554432000 4194304 4196468 140729909963072 139669458512144 139669905827541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9410] ppid=9400 vsize=26538700 memory=1236 CPUtime=3.24 cores=0-7
/proc/9402/task/9410/stat : 9410 (java) S 9400 9400 9356 0 -1 1077944384 23253 0 0 0 306 18 0 0 20 0 28 0 146777861 27175628800 78053 33554432000 4194304 4196468 140729909963072 139669457459856 139669905827541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9411] ppid=9400 vsize=26538700 memory=2428 CPUtime=3.25 cores=0-7
/proc/9402/task/9411/stat : 9411 (java) S 9400 9400 9356 0 -1 1077944384 22266 0 0 0 309 16 0 0 20 0 28 0 146777861 27175628800 78053 33554432000 4194304 4196468 140729909963072 139669456407056 139669905827541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9412] ppid=9400 vsize=26538700 memory=1576 CPUtime=3.96 cores=0-7
/proc/9402/task/9412/stat : 9412 (java) S 9400 9400 9356 0 -1 1077944384 71802 0 0 0 297 99 0 0 20 0 28 0 146777862 27175628800 78053 33554432000 4194304 4196468 140729909963072 139669233662576 139669905828482 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9413] ppid=9400 vsize=26538700 memory=928 CPUtime=0 cores=0-7
/proc/9402/task/9413/stat : 9413 (java) S 9400 9400 9356 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 146777863 27175628800 78053 33554432000 4194304 4196468 140729909963072 139669232608608 139669905827541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9414] ppid=9400 vsize=26538700 memory=2240 CPUtime=0 cores=0-7
/proc/9402/task/9414/stat : 9414 (java) S 9400 9400 9356 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 146777863 27175628800 78053 33554432000 4194304 4196468 140729909963072 139669231556224 139669905827541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9415] ppid=9400 vsize=26538700 memory=4128 CPUtime=0 cores=0-7
/proc/9402/task/9415/stat : 9415 (java) S 9400 9400 9356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 146777866 27175628800 78053 33554432000 4194304 4196468 140729909963072 139669230504528 139669905835931 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9416] ppid=9400 vsize=26538700 memory=640 CPUtime=2.58 cores=0-7
/proc/9402/task/9416/stat : 9416 (java) S 9400 9400 9356 0 -1 1077944384 13912 0 0 0 255 3 0 0 20 0 28 0 146777866 27175628800 78053 33554432000 4194304 4196468 140729909963072 139669229451376 139669905828482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9417] ppid=9400 vsize=26538700 memory=960 CPUtime=2.52 cores=0-7
/proc/9402/task/9417/stat : 9417 (java) S 9400 9400 9356 0 -1 1077944384 15026 0 0 0 250 2 0 0 20 0 28 0 146777866 27175628800 78053 33554432000 4194304 4196468 140729909963072 139669228398576 139669905828482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9418] ppid=9400 vsize=26538700 memory=1236 CPUtime=2.49 cores=0-7
/proc/9402/task/9418/stat : 9418 (java) S 9400 9400 9356 0 -1 1077944384 15407 0 0 0 246 3 0 0 20 0 28 0 146777866 27175628800 78053 33554432000 4194304 4196468 140729909963072 139669227346288 139669905828482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9419] ppid=9400 vsize=26538700 memory=2428 CPUtime=0.86 cores=0-7
/proc/9402/task/9419/stat : 9419 (java) S 9400 9400 9356 0 -1 1077944384 12175 0 0 0 84 2 0 0 20 0 28 0 146777866 27175628800 78053 33554432000 4194304 4196468 140729909963072 139669226293488 139669905828482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9420] ppid=9400 vsize=26538700 memory=1576 CPUtime=0 cores=0-7
/proc/9402/task/9420/stat : 9420 (java) S 9400 9400 9356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 146777866 27175628800 78053 33554432000 4194304 4196468 140729909963072 139669225241440 139669905827541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9421] ppid=9400 vsize=26538700 memory=928 CPUtime=0.37 cores=0-7
/proc/9402/task/9421/stat : 9421 (java) S 9400 9400 9356 0 -1 1077944384 4582 0 0 0 21 16 0 0 20 0 28 0 146777866 27175628800 78053 33554432000 4194304 4196468 140729909963072 139669224188720 139669905828482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9656] ppid=9400 vsize=26538700 memory=2240 CPUtime=811.84 cores=0-7
/proc/9402/task/9656/stat : 9656 (java) R 9400 9400 9356 0 -1 4202560 5673 0 0 0 81179 5 0 0 20 0 28 0 146947957 27175628800 78053 33554432000 4194304 4196468 140729909963072 139669216673064 139669540503717 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9657] ppid=9400 vsize=26538700 memory=4128 CPUtime=812.16 cores=0-7
/proc/9402/task/9657/stat : 9657 (java) R 9400 9400 9356 0 -1 4202560 4272 0 0 0 81212 4 0 0 20 0 28 0 146947957 27175628800 78053 33554432000 4194304 4196468 140729909963072 139669215621568 139669540503180 0 4 0 16800975 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9658] ppid=9400 vsize=26538700 memory=301741373374332954 CPUtime=812.28 cores=0-7
/proc/9402/task/9658/stat : 9658 (java) R 9400 9400 9356 0 -1 4202560 7519 0 0 0 81224 4 0 0 20 0 28 0 146947957 27175628800 78053 33554432000 4194304 4196468 140729909963072 139669212463400 139669541043656 0 4 0 16800975 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9659] ppid=9400 vsize=26538700 memory=288230583166042426 CPUtime=810.87 cores=0-7
/proc/9402/task/9659/stat : 9659 (java) R 9400 9400 9356 0 -1 4202560 13921 0 0 0 81075 12 0 0 20 0 28 0 146947957 27175628800 78053 33554432000 4194304 4196468 140729909963072 139669209304984 139669542265294 0 4 0 16800975 0 0 0 -1 7 0 0 5 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9660] ppid=9400 vsize=26538700 memory=13846386974132477 CPUtime=814.19 cores=0-7
/proc/9402/task/9660/stat : 9660 (java) R 9400 9400 9356 0 -1 4202560 13223 0 0 0 81414 5 0 0 20 0 28 0 146947957 27175628800 78053 33554432000 4194304 4196468 140729909963072 139669210357960 139669540503850 0 4 0 16800975 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9661] ppid=9400 vsize=26538700 memory=2240 CPUtime=811.55 cores=0-7
/proc/9402/task/9661/stat : 9661 (java) R 9400 9400 9356 0 -1 4202560 4205 0 0 0 81151 4 0 0 20 0 28 0 146947957 27175628800 78053 33554432000 4194304 4196468 140729909963072 139669214571328 139669540503209 0 4 0 16800975 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9662] ppid=9400 vsize=26538700 memory=4128 CPUtime=811.94 cores=0-7
/proc/9402/task/9662/stat : 9662 (java) R 9400 9400 9356 0 -1 4202560 11780 0 0 0 81189 5 0 0 20 0 28 0 146947957 27175628800 78053 33554432000 4194304 4196468 140729909963072 139669213516072 139669541043212 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
[pid=9402/tid=9663] ppid=9400 vsize=26538700 memory=1196 CPUtime=812.85 cores=0-7
/proc/9402/task/9663/stat : 9663 (java) R 9400 9400 9356 0 -1 4202560 18358 0 0 0 81274 11 0 0 20 0 28 0 146947957 27175628800 78053 33554432000 4194304 4196468 140729909963072 139669211410048 139669541899181 0 4 0 16800975 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 39456768 140729909965970 140729909966147 140729909966147 140729909968847 0
Current children cumulated CPU time: 20030.4 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 313596 KiB

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

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

[startup+2520.1 s]
# the end of solver process 9402 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20027.1 s, system=3.96732 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.1
CPU time (s): 20031.1
CPU user time (s): 20027.1
CPU system time (s): 3.96732
CPU usage (%): 794.851
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 481468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20027.1
system time used= 3.96732
maximum resident set size= 499928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 557705
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3832
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 297955
involuntary context switches= 215720


# summary of solver processes directly reported to runsolver:
#   pid: 9400,9402
#   total CPU time (s): 20031.1
#   total CPU user time (s): 20027.1
#   total CPU system time (s): 3.96732

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 24.2375 second user time and 25.2459 second system time

The end

Launcher Data 

Begin job on node105 at 2017-08-19 11:50:04
IDJOB=4280359
IDBENCH=126223
IDSOLVER=2675
FILE ID=node105/4280359-1503137064
RUNJOBID= node105-1503136204-9383
PBS_JOBID= 20630791
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-4280359-1503137064/watcher-4280359-1503137064 -o /tmp/evaluation-result-4280359-1503137064/solver-4280359-1503137064 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1503136204-9383 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1967378777 HOME/instance-4280359-1503137064.xml

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

MD5SUM BENCH= 1a474c72a1f7224eb7c0241d7ff915ce
RANDOM SEED=1967378777

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:        23012756 kB
MemAvailable:   31971528 kB
Buffers:          279368 kB
Cached:          8970356 kB
SwapCached:            0 kB
Active:          1057304 kB
Inactive:        8245840 kB
Active(anon):      56516 kB
Inactive(anon):    33200 kB
Active(file):    1000788 kB
Inactive(file):  8212640 kB
Unevictable:        7324 kB
Mlocked:            7324 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7732 kB
Writeback:             0 kB
AnonPages:         60952 kB
Mapped:            50876 kB
Shmem:             33420 kB
Slab:             148456 kB
SReclaimable:     122356 kB
SUnreclaim:        26100 kB
KernelStack:        3104 kB
PageTables:         5168 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     332284 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-19 12:32:04