Trace number 4297508

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.7b par (e747e1e)SAT (TO)3572 20067.1 2520.12

General information on the benchmark

NameQuadraticAssignment/
QuadraticAssignment-had20_c18.xml
MD5SUM1a91d8580332af2f3782d1e605995059
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark3572
Best CPU time to get the best result obtained on this benchmark20067.1
Satisfiable
(Un)Satisfiability was proved
Number of variables420
Number of constraints191
Number of domains2
Minimum domain size11
Maximum domain size20
Distribution of domain sizes[{"size":11,"count":190},{"size":20,"count":20}]
Minimum variable degree0
Maximum variable degree20
Distribution of variable degrees[{"degree":0,"count":210},{"degree":2,"count":190},{"degree":20,"count":20}]
Minimum constraint arity3
Maximum constraint arity20
Distribution of constraint arities[{"arity":3,"count":190},{"arity":20,"count":1}]
Number of extensional constraints190
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":190},{"type":"allDifferent","count":1}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297508-1532710278.xml"  -tl '20160s' -p 8
0.11/0.18	c Choco e747e1e
0.11/0.18	c [HOME/instance-4297508-1532710278.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.28	c parse instance...
1.81/0.76	c solve instance...
3.90/1.08	o 3856 
3.90/1.08	o 3856 
4.64/1.12	o 3841 
4.64/1.13	o 3791 
4.64/1.17	o 3772 
4.64/1.17	o 3770 
5.49/1.31	o 3761 
5.49/1.32	o 3757 
5.49/1.33	o 3716 
5.49/1.34	o 3713 
5.49/1.34	o 3712 
5.49/1.34	o 3705 
5.49/1.35	o 3701 
5.49/1.37	o 3699 
5.49/1.37	o 3695 
5.49/1.39	o 3694 
6.17/1.47	o 3693 
6.17/1.47	o 3685 
6.17/1.48	o 3684 
6.86/1.51	o 3680 
6.86/1.57	o 3678 
7.52/1.67	o 3677 
9.11/1.84	o 3674 
10.51/2.02	o 3665 
10.51/2.06	o 3663 
10.51/2.06	o 3653 
11.95/2.24	o 3644 
11.95/2.27	o 3636 
19.81/3.21	o 3631 
27.03/4.18	o 3629 
53.86/7.54	o 3623 
113.55/15.10	o 3617 
150.14/19.67	o 3608 
150.14/19.68	o 3601 
150.14/19.68	o 3600 
150.58/19.71	o 3599 
160.99/21.08	o 3598 
161.28/21.16	o 3597 
161.28/21.16	o 3596 
518.34/65.94	o 3594 
2064.43/259.74	o 3575 
16728.43/2100.84	o 3573 
16728.92/2100.93	o 3572 
20066.31/2520.09	s SATISFIABLE
20066.31/2520.09	v <instantiation>
20066.31/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] x[17] x[18] x[19] d[0][1] d[0][2] d[0][3] d[0][4] d[0][5] d[0][6] d[0][7] d[0][8] d[0][9] d[0][10] d[0][11] d[0][12] d[0][13] d[0][14] d[0][15] d[0][16] d[0][17] d[0][18] d[0][19] d[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[1][7] d[1][8] d[1][9] d[1][10] d[1][11] d[1][12] d[1][13] d[1][14] d[1][15] d[1][16] d[1][17] d[1][18] d[1][19] d[2][3] d[2][4] d[2][5] d[2][6] d[2][7] d[2][8] d[2][9] d[2][10] d[2][11] d[2][12] d[2][13] d[2][14] d[2][15] d[2][16] d[2][17] d[2][18] d[2][19] d[3][4] d[3][5] d[3][6] d[3][7] d[3][8] d[3][9] d[3][10] d[3][11] d[3][12] d[3][13] d[3][14] d[3][15] d[3][16] d[3][17] d[3][18] d[3][19] d[4][5] d[4][6] d[4][7] d[4][8] d[4][9] d[4][10] d[4][11] d[4][12] d[4][13] d[4][14] d[4][15] d[4][16] d[4][17] d[4][18] d[4][19] d[5][6] d[5][7] d[5][8] d[5][9] d[5][10] d[5][11] d[5][12] d[5][13] d[5][14] d[5][15] d[5][16] d[5][17] d[5][18] d[5][19] d[6][7] d[6][8] d[6][9] d[6][10] d[6][11] d[6][12] d[6][13] d[6][14] d[6][15] d[6][16] d[6][17] d[6][18] d[6][19] d[7][8] d[7][9] d[7][10] d[7][11] d[7][12] d[7][13] d[7][14] d[7][15] d[7][16] d[7][17] d[7][18] d[7][19] d[8][9] d[8][10] d[8][11] d[8][12] d[8][13] d[8][14] d[8][15] d[8][16] d[8][17] d[8][18] d[8][19] d[9][10] d[9][11] d[9][12] d[9][13] d[9][14] d[9][15] d[9][16] d[9][17] d[9][18] d[9][19] d[10][11] d[10][12] d[10][13] d[10][14] d[10][15] d[10][16] d[10][17] d[10][18] d[10][19] d[11][12] d[11][13] d[11][14] d[11][15] d[11][16] d[11][17] d[11][18] d[11][19] d[12][13] d[12][14] d[12][15] d[12][16] d[12][17] d[12][18] d[12][19] d[13][14] d[13][15] d[13][16] d[13][17] d[13][18] d[13][19] d[14][15] d[14][16] d[14][17] d[14][18] d[14][19] d[15][16] d[15][17] d[15][18] d[15][19] d[16][17] d[16][18] d[16][19] d[17][18] d[17][19] d[18][19] </list>
20066.31/2520.09	v 	<values>17 9 19 11 10 4 1 16 2 13 18 5 14 3 0 15 12 7 6 8 10 6 6 3 4 6 3 7 4 5 3 6 2 8 8 2 4 6 7 7 7 7 7 7 6 6 6 6 5 5 4 1 5 5 5 4 4 2 6 5 6 7 5 3 4 4 1 5 4 3 7 2 9 3 9 7 7 4 6 5 8 5 4 6 6 5 6 3 7 2 6 4 5 3 5 4 7 1 3 4 8 6 5 6 5 7 4 6 3 5 4 3 5 8 3 7 4 3 5 6 6 6 5 9 3 3 3 2 9 2 9 2 5 2 7 3 5 3 6 6 5 4 7 4 6 6 4 2 2 4 6 5 4 4 2 8 8 5 4 5 3 5 5 8 5 6 7 5 9 7 3 5 3 5 5 5 5 4 1 5 8 5 7 4 8 7 9 5 4 6 8 3 3 3 9 5 1 6 6 5 4 4 6 5 7 1 4 6 1 8 </values>
20066.31/2520.09	v </instantiation>
20066.31/2520.09	c Unexpected resolution interruption!

Verifier Data

OK	3572

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297508-1532710278/watcher-4297508-1532710278 -o /tmp/evaluation-result-4297508-1532710278/solver-4297508-1532710278 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node139-1532705227-17517 --watchdog 2580 HOME/xcsp3-exec -seed 1795117101 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297508-1532710278.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 thread7.x86_64
, 18143, runsolver pid=18140
Starting watchdog thread7.x86_64
, 18143, runsolver pid=18140

Current StackSize limit: 8192 KiB


[startup+0.100138 s]*
/proc/loadavg: 8.47 8.24 8.21 2/200 18164
/proc/meminfo: memFree=21822128/32770624 swapFree=67108860/67108860
[pid=18143] ppid=18140 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/18143/stat : 18143 (xcsp3-exec) S 18140 18143 17490 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 88590957 115843072 363 33554432000 4194304 5098028 140733230584064 140733230582168 139666439807612 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7487488 140733230593077 140733230593280 140733230593280 140733230596042 0
/proc/18143/statm: 28282 363 305 221 0 87 0
[pid=18145] ppid=18143 vsize=26104152 memory=28992 CPUtime=0.11 cores=0-7
/proc/18145/stat : 18145 (java) S 18143 18143 17490 0 -1 1077944320 5656 0 0 0 9 2 0 0 20 0 20 0 88590958 26730651648 7248 33554432000 4194304 4196468 140733498552656 140733498535200 140595629068023 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
/proc/18145/statm: 6526038 7248 2993 1 0 6488315 0
[pid=18145/tid=18146] ppid=18143 vsize=26104152 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/18145/task/18146/stat : 18146 (java) R 18143 18143 17490 0 -1 4202560 3664 0 0 0 8 1 0 0 20 0 20 0 88590958 26730651648 7248 33554432000 4194304 4196468 140733498552656 140595633293328 140595613111653 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18147] ppid=18143 vsize=26104152 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/18145/task/18147/stat : 18147 (java) S 18143 18143 17490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88590959 26730651648 7248 33554432000 4194304 4196468 140733498552656 140595581688848 140595629078229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18148] ppid=18143 vsize=26104152 memory=139627121866368 CPUtime=0 cores=0-7
/proc/18145/task/18148/stat : 18148 (java) S 18143 18143 17490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88590959 26730651648 7248 33554432000 4194304 4196468 140733498552656 140595580636304 140595629078229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18149] ppid=18143 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18145/task/18149/stat : 18149 (java) S 18143 18143 17490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88590959 26730651648 7248 33554432000 4194304 4196468 140733498552656 140595579583248 140595629078229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18150] ppid=18143 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18145/task/18150/stat : 18150 (java) S 18143 18143 17490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88590959 26730651648 7248 33554432000 4194304 4196468 140733498552656 140595578530704 140595629078229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18151] ppid=18143 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18145/task/18151/stat : 18151 (java) S 18143 18143 17490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88590959 26730651648 7248 33554432000 4194304 4196468 140733498552656 140595577477648 140595629078229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18152] ppid=18143 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/18145/task/18152/stat : 18152 (java) S 18143 18143 17490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88590959 26730651648 7248 33554432000 4194304 4196468 140733498552656 140595576425104 140595629078229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18153] ppid=18143 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18145/task/18153/stat : 18153 (java) S 18143 18143 17490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88590959 26730651648 7248 33554432000 4194304 4196468 140733498552656 140595575372048 140595629078229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18154] ppid=18143 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18145/task/18154/stat : 18154 (java) S 18143 18143 17490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88590959 26730651648 7248 33554432000 4194304 4196468 140733498552656 140595574319504 140595629078229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18155] ppid=18143 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18145/task/18155/stat : 18155 (java) S 18143 18143 17490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88590960 26730651648 7248 33554432000 4194304 4196468 140733498552656 140594621946608 140595629079170 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18156] ppid=18143 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18145/task/18156/stat : 18156 (java) S 18143 18143 17490 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88590961 26730651648 7248 33554432000 4194304 4196468 140733498552656 140594620892832 140595629078229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18157] ppid=18143 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18145/task/18157/stat : 18157 (java) S 18143 18143 17490 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88590961 26730651648 7248 33554432000 4194304 4196468 140733498552656 140594619839728 140595629078229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18158] ppid=18143 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18145/task/18158/stat : 18158 (java) S 18143 18143 17490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88590963 26730651648 7248 33554432000 4194304 4196468 140733498552656 140594618788304 140595629086619 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18159] ppid=18143 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18145/task/18159/stat : 18159 (java) S 18143 18143 17490 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 88590963 26730651648 7248 33554432000 4194304 4196468 140733498552656 140594617735408 140595629079170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18160] ppid=18143 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18145/task/18160/stat : 18160 (java) S 18143 18143 17490 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 88590963 26730651648 7248 33554432000 4194304 4196468 140733498552656 140594616682864 140595629079170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18161] ppid=18143 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18145/task/18161/stat : 18161 (java) S 18143 18143 17490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88590963 26730651648 7248 33554432000 4194304 4196468 140733498552656 140594615629808 140595629079170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18162] ppid=18143 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18145/task/18162/stat : 18162 (java) S 18143 18143 17490 0 -1 1077944384 255 0 0 0 0 0 0 0 20 0 20 0 88590964 26730651648 7248 33554432000 4194304 4196468 140733498552656 140593825572976 140595629079170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18163] ppid=18143 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18145/task/18163/stat : 18163 (java) S 18143 18143 17490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88590964 26730651648 7248 33554432000 4194304 4196468 140733498552656 140593824521184 140595629078229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18164] ppid=18143 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/18145/task/18164/stat : 18164 (java) S 18143 18143 17490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88590964 26730651648 7248 33554432000 4194304 4196468 140733498552656 140593823468720 140595629079170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 30444 KiB

[startup+0.210472 s]*
/proc/loadavg: 8.47 8.24 8.21 3/200 18164
/proc/meminfo: memFree=21811464/32770624 swapFree=67108860/67108860
[pid=18143] ppid=18140 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/18143/stat : 18143 (xcsp3-exec) S 18140 18143 17490 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 88590957 115843072 363 33554432000 4194304 5098028 140733230584064 140733230582168 139666439807612 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7487488 140733230593077 140733230593280 140733230593280 140733230596042 0
/proc/18143/statm: 28282 363 305 221 0 87 0
[pid=18145] ppid=18143 vsize=26104152 memory=41784 CPUtime=0.33 cores=0-7
/proc/18145/stat : 18145 (java) S 18143 18143 17490 0 -1 1077944320 8483 0 0 0 30 3 0 0 20 0 20 0 88590958 26730651648 10446 33554432000 4194304 4196468 140733498552656 140733498535200 140595629068023 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
/proc/18145/statm: 6526038 10446 3185 1 0 6488315 0
[pid=18145/tid=18146] ppid=18143 vsize=26104152 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/18145/task/18146/stat : 18146 (java) R 18143 18143 17490 0 -1 4202560 5562 0 0 0 18 1 0 0 20 0 20 0 88590958 26730651648 10446 33554432000 4194304 4196468 140733498552656 140595633306208 140595613148510 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18147] ppid=18143 vsize=26104152 memory=329 CPUtime=0 cores=0-7
/proc/18145/task/18147/stat : 18147 (java) S 18143 18143 17490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88590959 26730651648 10446 33554432000 4194304 4196468 140733498552656 140595581688848 140595629078229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18148] ppid=18143 vsize=26104152 memory=288370003273578112 CPUtime=0 cores=0-7
/proc/18145/task/18148/stat : 18148 (java) S 18143 18143 17490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88590959 26730651648 10446 33554432000 4194304 4196468 140733498552656 140595580636304 140595629078229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18149] ppid=18143 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/18145/task/18149/stat : 18149 (java) S 18143 18143 17490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88590959 26730651648 10446 33554432000 4194304 4196468 140733498552656 140595579583248 140595629078229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18150] ppid=18143 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18145/task/18150/stat : 18150 (java) S 18143 18143 17490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88590959 26730651648 10446 33554432000 4194304 4196468 140733498552656 140595578530704 140595629078229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18151] ppid=18143 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18145/task/18151/stat : 18151 (java) S 18143 18143 17490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88590959 26730651648 10446 33554432000 4194304 4196468 140733498552656 140595577477648 140595629078229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18152] ppid=18143 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/18145/task/18152/stat : 18152 (java) S 18143 18143 17490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88590959 26730651648 10446 33554432000 4194304 4196468 140733498552656 140595576425104 140595629078229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18153] ppid=18143 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18145/task/18153/stat : 18153 (java) S 18143 18143 17490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88590959 26730651648 10446 33554432000 4194304 4196468 140733498552656 140595575372048 140595629078229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18154] ppid=18143 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18145/task/18154/stat : 18154 (java) S 18143 18143 17490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88590959 26730651648 10446 33554432000 4194304 4196468 140733498552656 140595574319504 140595629078229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18155] ppid=18143 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18145/task/18155/stat : 18155 (java) S 18143 18143 17490 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 88590960 26730651648 10446 33554432000 4194304 4196468 140733498552656 140594621946608 140595629079170 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18156] ppid=18143 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18145/task/18156/stat : 18156 (java) S 18143 18143 17490 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88590961 26730651648 10446 33554432000 4194304 4196468 140733498552656 140594620892832 140595629078229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18157] ppid=18143 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18145/task/18157/stat : 18157 (java) S 18143 18143 17490 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88590961 26730651648 10446 33554432000 4194304 4196468 140733498552656 140594619839728 140595629078229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18158] ppid=18143 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18145/task/18158/stat : 18158 (java) S 18143 18143 17490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88590963 26730651648 10446 33554432000 4194304 4196468 140733498552656 140594618788304 140595629086619 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18159] ppid=18143 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/18145/task/18159/stat : 18159 (java) S 18143 18143 17490 0 -1 1077944384 489 0 0 0 1 0 0 0 20 0 20 0 88590963 26730651648 10446 33554432000 4194304 4196468 140733498552656 140594617735408 140595629079170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18160] ppid=18143 vsize=26104152 memory=0 CPUtime=0.02 cores=0-7
/proc/18145/task/18160/stat : 18160 (java) S 18143 18143 17490 0 -1 1077944384 213 0 0 0 2 0 0 0 20 0 20 0 88590963 26730651648 10446 33554432000 4194304 4196468 140733498552656 140594616682864 140595629079170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18161] ppid=18143 vsize=26104152 memory=-1 CPUtime=0.01 cores=0-7
/proc/18145/task/18161/stat : 18161 (java) S 18143 18143 17490 0 -1 1077944384 108 0 0 0 1 0 0 0 20 0 20 0 88590963 26730651648 10446 33554432000 4194304 4196468 140733498552656 140594615629808 140595629079170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18162] ppid=18143 vsize=26104152 memory=-1 CPUtime=0.07 cores=0-7
/proc/18145/task/18162/stat : 18162 (java) S 18143 18143 17490 0 -1 1077944384 801 0 0 0 7 0 0 0 20 0 20 0 88590964 26730651648 10446 33554432000 4194304 4196468 140733498552656 140593825572976 140595629079170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18163] ppid=18143 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18145/task/18163/stat : 18163 (java) S 18143 18143 17490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88590964 26730651648 10446 33554432000 4194304 4196468 140733498552656 140593824521184 140595629078229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18164] ppid=18143 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/18145/task/18164/stat : 18164 (java) S 18143 18143 17490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88590964 26730651648 10446 33554432000 4194304 4196468 140733498552656 140593823468720 140595629079170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 43236 KiB

[startup+0.310378 s]*
/proc/loadavg: 8.47 8.24 8.21 5/200 18164
/proc/meminfo: memFree=21805332/32770624 swapFree=67108860/67108860
[pid=18143] ppid=18140 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/18143/stat : 18143 (xcsp3-exec) S 18140 18143 17490 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 88590957 115843072 363 33554432000 4194304 5098028 140733230584064 140733230582168 139666439807612 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7487488 140733230593077 140733230593280 140733230593280 140733230596042 0
/proc/18143/statm: 28282 363 305 221 0 87 0
[pid=18145] ppid=18143 vsize=26108408 memory=48440 CPUtime=0.52 cores=0-7
/proc/18145/stat : 18145 (java) S 18143 18143 17490 0 -1 1077944320 9347 0 0 0 48 4 0 0 20 0 20 0 88590958 26735009792 12110 33554432000 4194304 4196468 140733498552656 140733498535200 140595629068023 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
/proc/18145/statm: 6527102 12110 3236 1 0 6488315 0
[pid=18145/tid=18146] ppid=18143 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/18145/task/18146/stat : 18146 (java) R 18143 18143 17490 0 -1 4202560 6264 0 0 0 27 2 0 0 20 0 20 0 88590958 26735009792 12110 33554432000 4194304 4196468 140733498552656 140595633301808 140595613148510 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18147] ppid=18143 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/18145/task/18147/stat : 18147 (java) S 18143 18143 17490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88590959 26735009792 12110 33554432000 4194304 4196468 140733498552656 140595581688848 140595629078229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18148] ppid=18143 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/18145/task/18148/stat : 18148 (java) S 18143 18143 17490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88590959 26735009792 12110 33554432000 4194304 4196468 140733498552656 140595580636304 140595629078229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18149] ppid=18143 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/18145/task/18149/stat : 18149 (java) S 18143 18143 17490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88590959 26735009792 12110 33554432000 4194304 4196468 140733498552656 140595579583248 140595629078229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18150] ppid=18143 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/18145/task/18150/stat : 18150 (java) S 18143 18143 17490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88590959 26735009792 12110 33554432000 4194304 4196468 140733498552656 140595578530704 140595629078229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18151] ppid=18143 vsize=26108408 memory=2244 CPUtime=0 cores=0-7
/proc/18145/task/18151/stat : 18151 (java) S 18143 18143 17490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88590959 26735009792 12110 33554432000 4194304 4196468 140733498552656 140595577477648 140595629078229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18152] ppid=18143 vsize=26108408 memory=139626970969007 CPUtime=0 cores=0-7
/proc/18145/task/18152/stat : 18152 (java) S 18143 18143 17490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88590959 26735009792 12110 33554432000 4194304 4196468 140733498552656 140595576425104 140595629078229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18153] ppid=18143 vsize=26108408 memory=139626970971312 CPUtime=0 cores=0-7
/proc/18145/task/18153/stat : 18153 (java) S 18143 18143 17490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88590959 26735009792 12110 33554432000 4194304 4196468 140733498552656 140595575372048 140595629078229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18154] ppid=18143 vsize=26108408 memory=139626970973616 CPUtime=0 cores=0-7
/proc/18145/task/18154/stat : 18154 (java) S 18143 18143 17490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88590959 26735009792 12110 33554432000 4194304 4196468 140733498552656 140595574319504 140595629078229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18155] ppid=18143 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/18145/task/18155/stat : 18155 (java) S 18143 18143 17490 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 88590960 26735009792 12110 33554432000 4194304 4196468 140733498552656 140594621946608 140595629079170 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18156] ppid=18143 vsize=26108408 memory=279253941954192 CPUtime=0 cores=0-7
/proc/18145/task/18156/stat : 18156 (java) S 18143 18143 17490 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88590961 26735009792 12110 33554432000 4194304 4196468 140733498552656 140594620892832 140595629078229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18157] ppid=18143 vsize=26108408 memory=279253941961104 CPUtime=0 cores=0-7
/proc/18145/task/18157/stat : 18157 (java) S 18143 18143 17490 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88590961 26735009792 12110 33554432000 4194304 4196468 140733498552656 140594619839728 140595629078229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18158] ppid=18143 vsize=26108408 memory=279253941902384 CPUtime=0 cores=0-7
/proc/18145/task/18158/stat : 18158 (java) S 18143 18143 17490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88590963 26735009792 12110 33554432000 4194304 4196468 140733498552656 140594618788304 140595629086619 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18159] ppid=18143 vsize=26108408 memory=279253941974928 CPUtime=0.04 cores=0-7
/proc/18145/task/18159/stat : 18159 (java) R 18143 18143 17490 0 -1 4202560 584 0 0 0 4 0 0 0 20 0 20 0 88590963 26735009792 12110 33554432000 4194304 4196468 140733498552656 140594617735408 140595610612270 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18160] ppid=18143 vsize=26108408 memory=279253941981840 CPUtime=0.03 cores=0-7
/proc/18145/task/18160/stat : 18160 (java) S 18143 18143 17490 0 -1 1077944384 222 0 0 0 3 0 0 0 20 0 20 0 88590963 26735009792 12110 33554432000 4194304 4196468 140733498552656 140594616682864 140595629079170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18161] ppid=18143 vsize=26108408 memory=279253941979536 CPUtime=0.01 cores=0-7
/proc/18145/task/18161/stat : 18161 (java) S 18143 18143 17490 0 -1 1077944384 111 0 0 0 1 0 0 0 20 0 20 0 88590963 26735009792 12110 33554432000 4194304 4196468 140733498552656 140594615629808 140595629079170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18162] ppid=18143 vsize=26108408 memory=279253941995696 CPUtime=0.11 cores=0-7
/proc/18145/task/18162/stat : 18162 (java) S 18143 18143 17490 0 -1 1077944384 858 0 0 0 11 0 0 0 20 0 20 0 88590964 26735009792 12110 33554432000 4194304 4196468 140733498552656 140593825572976 140595629079170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18163] ppid=18143 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/18145/task/18163/stat : 18163 (java) S 18143 18143 17490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88590964 26735009792 12110 33554432000 4194304 4196468 140733498552656 140593824521184 140595629078229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18164] ppid=18143 vsize=26108408 memory=-1 CPUtime=0 cores=0-7
/proc/18145/task/18164/stat : 18164 (java) S 18143 18143 17490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88590964 26735009792 12110 33554432000 4194304 4196468 140733498552656 140593823468720 140595629079170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 26221536 KiB
Current children cumulated memory: 49892 KiB

[startup+0.700969 s]
/proc/loadavg: 8.47 8.24 8.21 3/200 18164
/proc/meminfo: memFree=21787220/32770624 swapFree=67108860/67108860
[pid=18143] ppid=18140 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/18143/stat : 18143 (xcsp3-exec) S 18140 18143 17490 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 88590957 115843072 363 33554432000 4194304 5098028 140733230584064 140733230582168 139666439807612 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7487488 140733230593077 140733230593280 140733230593280 140733230596042 0
/proc/18143/statm: 28282 363 305 221 0 87 0
[pid=18145] ppid=18143 vsize=26110532 memory=106124 CPUtime=1.81 cores=0-7
/proc/18145/stat : 18145 (java) S 18143 18143 17490 0 -1 1077944320 13640 0 0 0 175 6 0 0 20 0 20 0 88590958 26737184768 26531 33554432000 4194304 4196468 140733498552656 140733498535200 140595629068023 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
/proc/18145/statm: 6527633 26531 3359 1 0 6488827 0
[pid=18145/tid=18146] ppid=18143 vsize=26110532 memory=279253942353584 CPUtime=0.67 cores=0-7
/proc/18145/task/18146/stat : 18146 (java) R 18143 18143 17490 0 -1 4202560 7147 0 0 0 64 3 0 0 20 0 20 0 88590958 26737184768 26531 33554432000 4194304 4196468 140733498552656 140595633305888 140595237757322 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18147] ppid=18143 vsize=26110532 memory=139626971177840 CPUtime=0 cores=0-7
/proc/18145/task/18147/stat : 18147 (java) S 18143 18143 17490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88590959 26737184768 26531 33554432000 4194304 4196468 140733498552656 140595581688848 140595629078229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18148] ppid=18143 vsize=26110532 memory=0 CPUtime=0 cores=0-7

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

[pid=18145/tid=18565] ppid=18143 vsize=26646120 memory=1452 CPUtime=340.08 cores=0-7
/proc/18145/task/18565/stat : 18565 (java) R 18143 18143 17490 0 -1 4202560 4996 0 0 0 34007 1 0 0 20 0 28 0 88801051 27285626880 258863 33554432000 4194304 4196468 140733498552656 140593499815216 140595240011492 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
Current children cumulated CPU time: 19447.4 s
Current children cumulated vsize: 26759248 KiB
Current children cumulated memory: 1036904 KiB

[startup+2502.3 s]
/proc/loadavg: 8.30 8.48 8.39 9/207 18573
/proc/meminfo: memFree=20815132/32770624 swapFree=67108860/67108860
[pid=18143] ppid=18140 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/18143/stat : 18143 (xcsp3-exec) S 18140 18143 17490 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 88590957 115843072 363 33554432000 4194304 5098028 140733230584064 140733230582168 139666439807612 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7487488 140733230593077 140733230593280 140733230593280 140733230596042 0
/proc/18143/statm: 28282 363 305 221 0 87 0
[pid=18145] ppid=18143 vsize=26646120 memory=1037508 CPUtime=19925.3 cores=0-7
/proc/18145/stat : 18145 (java) S 18143 18143 17490 0 -1 1077944320 516876 0 0 0 1992156 377 0 0 20 0 28 0 88590958 27285626880 259377 33554432000 4194304 4196468 140733498552656 140733498535200 140595629068023 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
/proc/18145/statm: 6661530 259377 3437 1 0 6622724 0
[pid=18145/tid=18146] ppid=18143 vsize=26646120 memory=1037508 CPUtime=0.78 cores=0-7
/proc/18145/task/18146/stat : 18146 (java) S 18143 18143 17490 0 -1 1077944384 8183 0 0 0 74 4 0 0 20 0 28 0 88590958 27285626880 259377 33554432000 4194304 4196468 140733498552656 140595633308800 140595629078229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18147] ppid=18143 vsize=26646120 memory=1452 CPUtime=1.85 cores=0-7
/proc/18145/task/18147/stat : 18147 (java) S 18143 18143 17490 0 -1 1077944384 15240 0 0 0 172 13 0 0 20 0 28 0 88590959 27285626880 259377 33554432000 4194304 4196468 140733498552656 140595581688848 140595629078229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18148] ppid=18143 vsize=26646120 memory=1452 CPUtime=1.86 cores=0-7
/proc/18145/task/18148/stat : 18148 (java) S 18143 18143 17490 0 -1 1077944384 19779 0 0 0 172 14 0 0 20 0 28 0 88590959 27285626880 259377 33554432000 4194304 4196468 140733498552656 140595580636304 140595629078229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18149] ppid=18143 vsize=26646120 memory=1037508 CPUtime=1.84 cores=0-7
/proc/18145/task/18149/stat : 18149 (java) S 18143 18143 17490 0 -1 1077944384 17098 0 0 0 172 12 0 0 20 0 28 0 88590959 27285626880 259377 33554432000 4194304 4196468 140733498552656 140595579583248 140595629078229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18150] ppid=18143 vsize=26646120 memory=1452 CPUtime=1.84 cores=0-7
/proc/18145/task/18150/stat : 18150 (java) S 18143 18143 17490 0 -1 1077944384 20416 0 0 0 169 15 0 0 20 0 28 0 88590959 27285626880 259377 33554432000 4194304 4196468 140733498552656 140595578530704 140595629078229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18151] ppid=18143 vsize=26646120 memory=129 CPUtime=1.86 cores=0-7
/proc/18145/task/18151/stat : 18151 (java) S 18143 18143 17490 0 -1 1077944384 17876 0 0 0 171 15 0 0 20 0 28 0 88590959 27285626880 259377 33554432000 4194304 4196468 140733498552656 140595577477648 140595629078229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18152] ppid=18143 vsize=26646120 memory=1037508 CPUtime=1.83 cores=0-7
/proc/18145/task/18152/stat : 18152 (java) S 18143 18143 17490 0 -1 1077944384 18233 0 0 0 170 13 0 0 20 0 28 0 88590959 27285626880 259377 33554432000 4194304 4196468 140733498552656 140595576425104 140595629078229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18153] ppid=18143 vsize=26646120 memory=1452 CPUtime=1.86 cores=0-7
/proc/18145/task/18153/stat : 18153 (java) S 18143 18143 17490 0 -1 1077944384 16503 0 0 0 172 14 0 0 20 0 28 0 88590959 27285626880 259377 33554432000 4194304 4196468 140733498552656 140595575372048 140595629078229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18154] ppid=18143 vsize=26646120 memory=1452 CPUtime=1.86 cores=0-7
/proc/18145/task/18154/stat : 18154 (java) S 18143 18143 17490 0 -1 1077944384 21947 0 0 0 172 14 0 0 20 0 28 0 88590959 27285626880 259377 33554432000 4194304 4196468 140733498552656 140595574319504 140595629078229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18155] ppid=18143 vsize=26646120 memory=1452 CPUtime=1.73 cores=0-7
/proc/18145/task/18155/stat : 18155 (java) S 18143 18143 17490 0 -1 1077944384 55448 0 0 0 125 48 0 0 20 0 28 0 88590960 27285626880 259377 33554432000 4194304 4196468 140733498552656 140594621946608 140595629079170 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18156] ppid=18143 vsize=26646120 memory=1452 CPUtime=0 cores=0-7
/proc/18145/task/18156/stat : 18156 (java) S 18143 18143 17490 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 28 0 88590961 27285626880 259377 33554432000 4194304 4196468 140733498552656 140594620892896 140595629078229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18157] ppid=18143 vsize=26646120 memory=1452 CPUtime=0 cores=0-7
/proc/18145/task/18157/stat : 18157 (java) S 18143 18143 17490 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 28 0 88590961 27285626880 259377 33554432000 4194304 4196468 140733498552656 140594619839744 140595629078229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18158] ppid=18143 vsize=26646120 memory=1452 CPUtime=0 cores=0-7
/proc/18145/task/18158/stat : 18158 (java) S 18143 18143 17490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 88590963 27285626880 259377 33554432000 4194304 4196468 140733498552656 140594618788304 140595629086619 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18159] ppid=18143 vsize=26646120 memory=1033344 CPUtime=2.18 cores=0-7
/proc/18145/task/18159/stat : 18159 (java) S 18143 18143 17490 0 -1 1077944384 13413 0 0 0 216 2 0 0 20 0 28 0 88590963 27285626880 259377 33554432000 4194304 4196468 140733498552656 140594617735408 140595629079170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18160] ppid=18143 vsize=26646120 memory=1037508 CPUtime=2.1 cores=0-7
/proc/18145/task/18160/stat : 18160 (java) S 18143 18143 17490 0 -1 1077944384 12144 0 0 0 208 2 0 0 20 0 28 0 88590963 27285626880 259377 33554432000 4194304 4196468 140733498552656 140594616682864 140595629079170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18161] ppid=18143 vsize=26646120 memory=1452 CPUtime=2.17 cores=0-7
/proc/18145/task/18161/stat : 18161 (java) S 18143 18143 17490 0 -1 1077944384 13296 0 0 0 215 2 0 0 20 0 28 0 88590963 27285626880 259377 33554432000 4194304 4196468 140733498552656 140594615629808 140595629079170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18162] ppid=18143 vsize=26646120 memory=2416 CPUtime=0.81 cores=0-7
/proc/18145/task/18162/stat : 18162 (java) S 18143 18143 17490 0 -1 1077944384 10175 0 0 0 78 3 0 0 20 0 28 0 88590964 27285626880 259377 33554432000 4194304 4196468 140733498552656 140593825572976 140595629079170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18163] ppid=18143 vsize=26646120 memory=1728 CPUtime=0 cores=0-7
/proc/18145/task/18163/stat : 18163 (java) S 18143 18143 17490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 88590964 27285626880 259377 33554432000 4194304 4196468 140733498552656 140593824521184 140595629078229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18164] ppid=18143 vsize=26646120 memory=1452 CPUtime=0.61 cores=0-7
/proc/18145/task/18164/stat : 18164 (java) S 18143 18143 17490 0 -1 1077944384 5066 0 0 0 31 30 0 0 20 0 28 0 88590964 27285626880 259377 33554432000 4194304 4196468 140733498552656 140593823468720 140595629079170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18558] ppid=18143 vsize=26646120 memory=1452 CPUtime=398.8 cores=0-7
/proc/18145/task/18558/stat : 18558 (java) R 18143 18143 17490 0 -1 4202560 2063 0 0 0 39877 3 0 0 20 0 28 0 88801051 27285626880 259377 33554432000 4194304 4196468 140733498552656 140593809607616 140595240525439 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18559] ppid=18143 vsize=26646120 memory=1037508 CPUtime=398.07 cores=0-7
/proc/18145/task/18559/stat : 18559 (java) R 18143 18143 17490 0 -1 4202560 1797 0 0 0 39803 4 0 0 20 0 28 0 88801051 27285626880 259377 33554432000 4194304 4196468 140733498552656 140593813819600 140595241641951 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18560] ppid=18143 vsize=26646120 memory=1452 CPUtime=399.16 cores=0-7
/proc/18145/task/18560/stat : 18560 (java) R 18143 18143 17490 0 -1 4202560 2037 0 0 0 39915 1 0 0 20 0 28 0 88801051 27285626880 259377 33554432000 4194304 4196468 140733498552656 140593811713792 140595241389782 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18561] ppid=18143 vsize=26646120 memory=1037508 CPUtime=399.49 cores=0-7
/proc/18145/task/18561/stat : 18561 (java) R 18143 18143 17490 0 -1 4202560 6661 0 0 0 39945 4 0 0 20 0 28 0 88801051 27285626880 259377 33554432000 4194304 4196468 140733498552656 140593810661440 140595243201100 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18562] ppid=18143 vsize=26646120 memory=1452 CPUtime=399.29 cores=0-7
/proc/18145/task/18562/stat : 18562 (java) R 18143 18143 17490 0 -1 4202560 2527 0 0 0 39927 2 0 0 20 0 28 0 88801051 27285626880 259377 33554432000 4194304 4196468 140733498552656 140593496661584 140595240524359 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18563] ppid=18143 vsize=26646120 memory=1452 CPUtime=399.43 cores=0-7
/proc/18145/task/18563/stat : 18563 (java) R 18143 18143 17490 0 -1 4202560 1347 0 0 0 39942 1 0 0 20 0 28 0 88801051 27285626880 259377 33554432000 4194304 4196468 140733498552656 140593814874816 140595240011116 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18564] ppid=18143 vsize=26646120 memory=1037508 CPUtime=397.85 cores=0-7
/proc/18145/task/18564/stat : 18564 (java) R 18143 18143 17490 0 -1 4202560 4556 0 0 0 39782 3 0 0 20 0 28 0 88801051 27285626880 259377 33554432000 4194304 4196468 140733498552656 140593812767056 140595240012147 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18565] ppid=18143 vsize=26646120 memory=1452 CPUtime=399.95 cores=0-7
/proc/18145/task/18565/stat : 18565 (java) R 18143 18143 17490 0 -1 4202560 5426 0 0 0 39993 2 0 0 20 0 28 0 88801051 27285626880 259377 33554432000 4194304 4196468 140733498552656 140593499812112 140595240011797 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
Current children cumulated CPU time: 19925.3 s
Current children cumulated vsize: 26759248 KiB
Current children cumulated memory: 1038960 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.36 8.49 8.39 9/207 18573
/proc/meminfo: memFree=20801072/32770624 swapFree=67108860/67108860
[pid=18143] ppid=18140 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/18143/stat : 18143 (xcsp3-exec) S 18140 18143 17490 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 88590957 115843072 363 33554432000 4194304 5098028 140733230584064 140733230582168 139666439807612 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7487488 140733230593077 140733230593280 140733230593280 140733230596042 0
/proc/18143/statm: 28282 363 305 221 0 87 0
[pid=18145] ppid=18143 vsize=26646120 memory=1051868 CPUtime=20066.3 cores=0-7
/proc/18145/stat : 18145 (java) S 18143 18143 17490 0 -1 1077944320 518055 0 0 0 2006252 379 0 0 20 0 28 0 88590958 27285626880 262967 33554432000 4194304 4196468 140733498552656 140733498535200 140595629068023 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
/proc/18145/statm: 6661530 262967 3437 1 0 6622724 0
[pid=18145/tid=18146] ppid=18143 vsize=26646120 memory=6791534058613427641 CPUtime=0.78 cores=0-7
/proc/18145/task/18146/stat : 18146 (java) S 18143 18143 17490 0 -1 1077944384 8183 0 0 0 74 4 0 0 20 0 28 0 88590958 27285626880 262967 33554432000 4194304 4196468 140733498552656 140595633308800 140595629078229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18147] ppid=18143 vsize=26646120 memory=1452 CPUtime=1.89 cores=0-7
/proc/18145/task/18147/stat : 18147 (java) S 18143 18143 17490 0 -1 1077944384 15281 0 0 0 175 14 0 0 20 0 28 0 88590959 27285626880 262967 33554432000 4194304 4196468 140733498552656 140595581688848 140595629078229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18148] ppid=18143 vsize=26646120 memory=1037516 CPUtime=1.89 cores=0-7
/proc/18145/task/18148/stat : 18148 (java) S 18143 18143 17490 0 -1 1077944384 19833 0 0 0 175 14 0 0 20 0 28 0 88590959 27285626880 262967 33554432000 4194304 4196468 140733498552656 140595580636304 140595629078229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18149] ppid=18143 vsize=26646120 memory=1452 CPUtime=1.86 cores=0-7
/proc/18145/task/18149/stat : 18149 (java) S 18143 18143 17490 0 -1 1077944384 17134 0 0 0 174 12 0 0 20 0 28 0 88590959 27285626880 262967 33554432000 4194304 4196468 140733498552656 140595579583248 140595629078229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18150] ppid=18143 vsize=26646120 memory=4872558044660077418 CPUtime=1.87 cores=0-7
/proc/18145/task/18150/stat : 18150 (java) S 18143 18143 17490 0 -1 1077944384 20533 0 0 0 172 15 0 0 20 0 28 0 88590959 27285626880 262967 33554432000 4194304 4196468 140733498552656 140595578530704 140595629078229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18151] ppid=18143 vsize=26646120 memory=16412 CPUtime=1.89 cores=0-7
/proc/18145/task/18151/stat : 18151 (java) S 18143 18143 17490 0 -1 1077944384 17960 0 0 0 174 15 0 0 20 0 28 0 88590959 27285626880 262967 33554432000 4194304 4196468 140733498552656 140595577477648 140595629078229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18152] ppid=18143 vsize=26646120 memory=14956 CPUtime=1.86 cores=0-7
/proc/18145/task/18152/stat : 18152 (java) S 18143 18143 17490 0 -1 1077944384 18283 0 0 0 173 13 0 0 20 0 28 0 88590959 27285626880 262967 33554432000 4194304 4196468 140733498552656 140595576425104 140595629078229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18153] ppid=18143 vsize=26646120 memory=4048 CPUtime=1.88 cores=0-7
/proc/18145/task/18153/stat : 18153 (java) S 18143 18143 17490 0 -1 1077944384 16593 0 0 0 174 14 0 0 20 0 28 0 88590959 27285626880 262967 33554432000 4194304 4196468 140733498552656 140595575372048 140595629078229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18154] ppid=18143 vsize=26646120 memory=1796 CPUtime=1.89 cores=0-7
/proc/18145/task/18154/stat : 18154 (java) S 18143 18143 17490 0 -1 1077944384 22012 0 0 0 175 14 0 0 20 0 28 0 88590959 27285626880 262967 33554432000 4194304 4196468 140733498552656 140595574319504 140595629078229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18155] ppid=18143 vsize=26646120 memory=636 CPUtime=1.74 cores=0-7
/proc/18145/task/18155/stat : 18155 (java) S 18143 18143 17490 0 -1 1077944384 55629 0 0 0 126 48 0 0 20 0 28 0 88590960 27285626880 262967 33554432000 4194304 4196468 140733498552656 140594621946608 140595629079170 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18156] ppid=18143 vsize=26646120 memory=960 CPUtime=0 cores=0-7
/proc/18145/task/18156/stat : 18156 (java) S 18143 18143 17490 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 28 0 88590961 27285626880 262967 33554432000 4194304 4196468 140733498552656 140594620892896 140595629078229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18157] ppid=18143 vsize=26646120 memory=1232 CPUtime=0 cores=0-7
/proc/18145/task/18157/stat : 18157 (java) S 18143 18143 17490 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 28 0 88590961 27285626880 262967 33554432000 4194304 4196468 140733498552656 140594619839744 140595629078229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18158] ppid=18143 vsize=26646120 memory=2344 CPUtime=0 cores=0-7
/proc/18145/task/18158/stat : 18158 (java) S 18143 18143 17490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 88590963 27285626880 262967 33554432000 4194304 4196468 140733498552656 140594618788304 140595629086619 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18159] ppid=18143 vsize=26646120 memory=1232 CPUtime=2.18 cores=0-7
/proc/18145/task/18159/stat : 18159 (java) S 18143 18143 17490 0 -1 1077944384 13415 0 0 0 216 2 0 0 20 0 28 0 88590963 27285626880 262967 33554432000 4194304 4196468 140733498552656 140594617735408 140595629079170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18160] ppid=18143 vsize=26646120 memory=2344 CPUtime=2.1 cores=0-7
/proc/18145/task/18160/stat : 18160 (java) S 18143 18143 17490 0 -1 1077944384 12146 0 0 0 208 2 0 0 20 0 28 0 88590963 27285626880 262967 33554432000 4194304 4196468 140733498552656 140594616682864 140595629079170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18161] ppid=18143 vsize=26646120 memory=932 CPUtime=2.17 cores=0-7
/proc/18145/task/18161/stat : 18161 (java) S 18143 18143 17490 0 -1 1077944384 13298 0 0 0 215 2 0 0 20 0 28 0 88590963 27285626880 262967 33554432000 4194304 4196468 140733498552656 140594615629808 140595629079170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18162] ppid=18143 vsize=26646120 memory=1580 CPUtime=0.81 cores=0-7
/proc/18145/task/18162/stat : 18162 (java) S 18143 18143 17490 0 -1 1077944384 10175 0 0 0 78 3 0 0 20 0 28 0 88590964 27285626880 262967 33554432000 4194304 4196468 140733498552656 140593825572976 140595629079170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18163] ppid=18143 vsize=26646120 memory=2240 CPUtime=0 cores=0-7
/proc/18145/task/18163/stat : 18163 (java) S 18143 18143 17490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 88590964 27285626880 262967 33554432000 4194304 4196468 140733498552656 140593824521184 140595629078229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18164] ppid=18143 vsize=26646120 memory=4124 CPUtime=0.61 cores=0-7
/proc/18145/task/18164/stat : 18164 (java) S 18143 18143 17490 0 -1 1077944384 5077 0 0 0 31 30 0 0 20 0 28 0 88590964 27285626880 262967 33554432000 4194304 4196468 140733498552656 140593823468720 140595629079170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18558] ppid=18143 vsize=26646120 memory=2200 CPUtime=416.46 cores=0-7
/proc/18145/task/18558/stat : 18558 (java) R 18143 18143 17490 0 -1 4202560 2103 0 0 0 41643 3 0 0 20 0 28 0 88801051 27285626880 262967 33554432000 4194304 4196468 140733498552656 140593809607632 140595240545487 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18559] ppid=18143 vsize=26646120 memory=1037508 CPUtime=415.57 cores=0-7
/proc/18145/task/18559/stat : 18559 (java) R 18143 18143 17490 0 -1 4202560 1823 0 0 0 41553 4 0 0 20 0 28 0 88801051 27285626880 262967 33554432000 4194304 4196468 140733498552656 140593813820256 140595240548256 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18560] ppid=18143 vsize=26646120 memory=1452 CPUtime=416.73 cores=0-7
/proc/18145/task/18560/stat : 18560 (java) R 18143 18143 17490 0 -1 4202560 2075 0 0 0 41672 1 0 0 20 0 28 0 88801051 27285626880 262967 33554432000 4194304 4196468 140733498552656 140593811717760 140595241313445 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18561] ppid=18143 vsize=26646120 memory=1200 CPUtime=417.14 cores=0-7
/proc/18145/task/18561/stat : 18561 (java) R 18143 18143 17490 0 -1 4202560 6722 0 0 0 41710 4 0 0 20 0 28 0 88801051 27285626880 262967 33554432000 4194304 4196468 140733498552656 140593810661448 140595243200258 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18562] ppid=18143 vsize=26646120 memory=10612 CPUtime=416.92 cores=0-7
/proc/18145/task/18562/stat : 18562 (java) R 18143 18143 17490 0 -1 4202560 2584 0 0 0 41690 2 0 0 20 0 28 0 88801051 27285626880 262967 33554432000 4194304 4196468 140733498552656 140593496664608 140595241731865 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18563] ppid=18143 vsize=26646120 memory=4616 CPUtime=416.89 cores=0-7
/proc/18145/task/18563/stat : 18563 (java) R 18143 18143 17490 0 -1 4202560 1376 0 0 0 41687 2 0 0 20 0 28 0 88801051 27285626880 262967 33554432000 4194304 4196468 140733498552656 140593814871648 140595240012583 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18564] ppid=18143 vsize=26646120 memory=1428 CPUtime=415.48 cores=0-7
/proc/18145/task/18564/stat : 18564 (java) R 18143 18143 17490 0 -1 4202560 4630 0 0 0 41545 3 0 0 20 0 28 0 88801051 27285626880 262967 33554432000 4194304 4196468 140733498552656 140593812770488 140595240011902 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
[pid=18145/tid=18565] ppid=18143 vsize=26646120 memory=15876 CPUtime=417.6 cores=0-7
/proc/18145/task/18565/stat : 18565 (java) R 18143 18143 17490 0 -1 4202560 5545 0 0 0 41758 2 0 0 20 0 28 0 88801051 27285626880 262967 33554432000 4194304 4196468 140733498552656 140593499812200 140595240011993 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 13864960 140733498557569 140733498557741 140733498557741 140733498560463 0
Current children cumulated CPU time: 20066.3 s
Current children cumulated vsize: 26759248 KiB
Current children cumulated memory: 1053320 KiB

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

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

[startup+2520.12 s]
# the end of solver process 18145 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20063.3 s, system=3.80958 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.12
CPU time (s): 20067.1
CPU user time (s): 20063.3
CPU system time (s): 3.80958
CPU usage (%): 796.277
Max. virtual memory (cumulated for all children) (KiB): 26759248
Max. memory (cumulated for all children) (KiB): 1150500

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20063.3
system time used= 3.80958
maximum resident set size= 1168572
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 519238
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3480
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 178548
involuntary context switches= 206791


# summary of solver processes directly reported to runsolver:
#   pid: 18143,18145
#   total CPU time (s): 20067.1
#   total CPU user time (s): 20063.3
#   total CPU system time (s): 3.80958

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 25.852 second user time and 22.9375 second system time

The end

Launcher Data

Begin job on node139 at 2018-07-27 18:51:18
IDJOB=4297508
IDBENCH=141241
IDSOLVER=2760
FILE ID=node139/4297508-1532710278
RUNJOBID= node139-1532705227-17517
PBS_JOBID= 21022311
Free space on /tmp= 38720 MiB

SOLVER NAME= Choco-solver 4.0.7b par (e747e1e)
BENCH NAME= XCSP18/QuadraticAssignment/QuadraticAssignment-had20_c18.xml
COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 22000 -p NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297508-1532710278/watcher-4297508-1532710278 -o /tmp/evaluation-result-4297508-1532710278/solver-4297508-1532710278 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node139-1532705227-17517 --watchdog 2580  HOME/xcsp3-exec -seed 1795117101 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297508-1532710278.xml

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

MD5SUM BENCH= 1a91d8580332af2f3782d1e605995059
RANDOM SEED=1795117101

node139.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.80
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.80
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.80
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.80
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:        21840264 kB
MemAvailable:   31932116 kB
Buffers:          218940 kB
Cached:          9990372 kB
SwapCached:            0 kB
Active:          3075816 kB
Inactive:        7184680 kB
Active(anon):       5552 kB
Inactive(anon):    73516 kB
Active(file):    3070264 kB
Inactive(file):  7111164 kB
Unevictable:        7312 kB
Mlocked:            7312 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             21920 kB
Writeback:             0 kB
AnonPages:         83180 kB
Mapped:            42588 kB
Shmem:             25228 kB
Slab:             365804 kB
SReclaimable:     338884 kB
SUnreclaim:        26920 kB
KernelStack:        3536 kB
PageTables:         4800 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     324188 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     30720 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 38696 MiB
End job on node139 at 2018-07-27 19:33:18