Trace number 4297408

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)14 19748.2 2520.04

General information on the benchmark

NamePeacableArmies/
PeacableArmies-m1-10_c18.xml
MD5SUM5381df091e182e76100bed0c682c3bbe
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark14
Best CPU time to get the best result obtained on this benchmark19748.2
Satisfiable
(Un)Satisfiability was proved
Number of variables200
Number of constraints3041
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":200}]
Minimum variable degree29
Maximum variable degree38
Distribution of variable degrees[{"degree":29,"count":36},{"degree":30,"count":36},{"degree":31,"count":28},{"degree":32,"count":28},{"degree":33,"count":20},{"degree":34,"count":20},{"degree":35,"count":12},{"degree":36,"count":12},{"degree":37,"count":4},{"degree":38,"count":4}]
Minimum constraint arity2
Maximum constraint arity200
Distribution of constraint arities[{"arity":2,"count":3040},{"arity":200,"count":1}]
Number of extensional constraints0
Number of intensional constraints3040
Distribution of constraint types[{"type":"intension","count":3040},{"type":"sum","count":1}]
Optimization problemYES
Type of objectivemax SUM

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297408-1532723322.xml"  -tl '20160s' -p 8
0.11/0.18	c Choco e747e1e
0.11/0.18	c [HOME/instance-4297408-1532723322.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.28	c parse instance...
7.04/2.04	c solve instance...
7.04/2.10	o 0 
7.04/2.11	o 7 
7.54/2.15	o 8 
7.54/2.15	o 9 
7.54/2.16	o 10 
8.15/2.29	o 11 
9.67/2.50	o 12 
12.81/2.80	o 13 
75.32/10.84	o 14 
19748.05/2520.03	s SATISFIABLE
19748.05/2520.03	v <instantiation>
19748.05/2520.03	v 	<list>b[0][0] b[0][1] b[0][2] b[0][3] b[0][4] b[0][5] b[0][6] b[0][7] b[0][8] b[0][9] b[1][0] b[1][1] b[1][2] b[1][3] b[1][4] b[1][5] b[1][6] b[1][7] b[1][8] b[1][9] b[2][0] b[2][1] b[2][2] b[2][3] b[2][4] b[2][5] b[2][6] b[2][7] b[2][8] b[2][9] b[3][0] b[3][1] b[3][2] b[3][3] b[3][4] b[3][5] b[3][6] b[3][7] b[3][8] b[3][9] b[4][0] b[4][1] b[4][2] b[4][3] b[4][4] b[4][5] b[4][6] b[4][7] b[4][8] b[4][9] b[5][0] b[5][1] b[5][2] b[5][3] b[5][4] b[5][5] b[5][6] b[5][7] b[5][8] b[5][9] b[6][0] b[6][1] b[6][2] b[6][3] b[6][4] b[6][5] b[6][6] b[6][7] b[6][8] b[6][9] b[7][0] b[7][1] b[7][2] b[7][3] b[7][4] b[7][5] b[7][6] b[7][7] b[7][8] b[7][9] b[8][0] b[8][1] b[8][2] b[8][3] b[8][4] b[8][5] b[8][6] b[8][7] b[8][8] b[8][9] b[9][0] b[9][1] b[9][2] b[9][3] b[9][4] b[9][5] b[9][6] b[9][7] b[9][8] b[9][9] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] </list>
19748.05/2520.03	v 	<values>1 1 1 1 1 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 1 1 0 </values>
19748.05/2520.03	v </instantiation>
19748.05/2520.03	c Unexpected resolution interruption!

Verifier Data 

OK	14

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297408-1532723322/watcher-4297408-1532723322 -o /tmp/evaluation-result-4297408-1532723322/solver-4297408-1532723322 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1532718615-4627 --watchdog 2580 HOME/xcsp3-exec -seed 1185588535 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297408-1532723322.xml 

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

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

solver pid=5115, runsolver pid=5112

[startup+0.100137 s]*
/proc/loadavg: 8.43 8.31 8.19 2/199 5136
/proc/meminfo: memFree=20473252/32770624 swapFree=67108860/67108860
[pid=5115] ppid=5112 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/5115/stat : 5115 (xcsp3-exec) S 5112 5115 4600 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89895421 115843072 363 33554432000 4194304 5098028 140723108549200 140723108547304 140214264955516 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20754432 140723108557877 140723108558080 140723108558080 140723108560842 0
/proc/5115/statm: 28282 363 305 221 0 87 0
[pid=5117] ppid=5115 vsize=26104152 memory=27260 CPUtime=0.11 cores=0-7
/proc/5117/stat : 5117 (java) S 5115 5115 4600 0 -1 1077944320 5747 0 0 0 10 1 0 0 20 0 20 0 89895422 26730651648 6815 33554432000 4194304 4196468 140722521751392 140722521733936 139967038172919 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
/proc/5117/statm: 6526038 6815 3002 1 0 6488315 0
[pid=5117/tid=5118] ppid=5115 vsize=26104152 memory=4134692831991783777 CPUtime=0.09 cores=0-7
/proc/5117/task/5118/stat : 5118 (java) R 5115 5115 4600 0 -1 4202560 3757 0 0 0 8 1 0 0 20 0 20 0 89895422 26730651648 6815 33554432000 4194304 4196468 140722521751392 139967042406192 139967038194266 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5119] ppid=5115 vsize=26104152 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/5117/task/5119/stat : 5119 (java) S 5115 5115 4600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89895423 26730651648 6815 33554432000 4194304 4196468 140722521751392 139966945733136 139967038183125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5120] ppid=5115 vsize=26104152 memory=140463176992384 CPUtime=0 cores=0-7
/proc/5117/task/5120/stat : 5120 (java) S 5115 5115 4600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89895423 26730651648 6815 33554432000 4194304 4196468 140722521751392 139966595566224 139967038183125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5121] ppid=5115 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/5117/task/5121/stat : 5121 (java) S 5115 5115 4600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89895423 26730651648 6815 33554432000 4194304 4196468 140722521751392 139966594513168 139967038183125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5122] ppid=5115 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/5117/task/5122/stat : 5122 (java) S 5115 5115 4600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89895423 26730651648 6815 33554432000 4194304 4196468 140722521751392 139966593460624 139967038183125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5123] ppid=5115 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/5117/task/5123/stat : 5123 (java) S 5115 5115 4600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89895423 26730651648 6815 33554432000 4194304 4196468 140722521751392 139966592408592 139967038183125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5124] ppid=5115 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/5117/task/5124/stat : 5124 (java) S 5115 5115 4600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89895423 26730651648 6815 33554432000 4194304 4196468 140722521751392 139966591356048 139967038183125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5125] ppid=5115 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/5117/task/5125/stat : 5125 (java) S 5115 5115 4600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89895423 26730651648 6815 33554432000 4194304 4196468 140722521751392 139966590302992 139967038183125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5126] ppid=5115 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/5117/task/5126/stat : 5126 (java) S 5115 5115 4600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89895423 26730651648 6815 33554432000 4194304 4196468 140722521751392 139966589250448 139967038183125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5127] ppid=5115 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/5117/task/5127/stat : 5127 (java) S 5115 5115 4600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89895424 26730651648 6815 33554432000 4194304 4196468 140722521751392 139966546258160 139967038184066 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5128] ppid=5115 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/5117/task/5128/stat : 5128 (java) S 5115 5115 4600 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89895425 26730651648 6815 33554432000 4194304 4196468 140722521751392 139966545204384 139967038183125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5129] ppid=5115 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/5117/task/5129/stat : 5129 (java) S 5115 5115 4600 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89895425 26730651648 6815 33554432000 4194304 4196468 140722521751392 139966544151280 139967038183125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5130] ppid=5115 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/5117/task/5130/stat : 5130 (java) S 5115 5115 4600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89895427 26730651648 6815 33554432000 4194304 4196468 140722521751392 139966543099856 139967038191515 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5131] ppid=5115 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/5117/task/5131/stat : 5131 (java) S 5115 5115 4600 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 89895427 26730651648 6815 33554432000 4194304 4196468 140722521751392 139966429555440 139967038184066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5132] ppid=5115 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/5117/task/5132/stat : 5132 (java) S 5115 5115 4600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89895427 26730651648 6815 33554432000 4194304 4196468 140722521751392 139966428502896 139967038184066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5133] ppid=5115 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/5117/task/5133/stat : 5133 (java) S 5115 5115 4600 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 89895427 26730651648 6815 33554432000 4194304 4196468 140722521751392 139966427449840 139967038184066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5134] ppid=5115 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/5117/task/5134/stat : 5134 (java) R 5115 5115 4600 0 -1 4202560 254 0 0 0 1 0 0 0 20 0 20 0 89895428 26730651648 6815 33554432000 4194304 4196468 140722521751392 139966426397296 139967038194266 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5135] ppid=5115 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/5117/task/5135/stat : 5135 (java) S 5115 5115 4600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89895428 26730651648 6815 33554432000 4194304 4196468 140722521751392 139966425344480 139967038183125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5136] ppid=5115 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/5117/task/5136/stat : 5136 (java) S 5115 5115 4600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89895428 26730651648 6815 33554432000 4194304 4196468 140722521751392 139966424292016 139967038184066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 28712 KiB

[startup+0.21045 s]*
/proc/loadavg: 8.43 8.31 8.19 4/199 5136
/proc/meminfo: memFree=20462088/32770624 swapFree=67108860/67108860
[pid=5115] ppid=5112 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/5115/stat : 5115 (xcsp3-exec) S 5112 5115 4600 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89895421 115843072 363 33554432000 4194304 5098028 140723108549200 140723108547304 140214264955516 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20754432 140723108557877 140723108558080 140723108558080 140723108560842 0
/proc/5115/statm: 28282 363 305 221 0 87 0
[pid=5117] ppid=5115 vsize=26104152 memory=39604 CPUtime=0.33 cores=0-7
/proc/5117/stat : 5117 (java) S 5115 5115 4600 0 -1 1077944320 8493 0 0 0 31 2 0 0 20 0 20 0 89895422 26730651648 9901 33554432000 4194304 4196468 140722521751392 140722521733936 139967038172919 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
/proc/5117/statm: 6526038 9901 3184 1 0 6488315 0
[pid=5117/tid=5118] ppid=5115 vsize=26104152 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/5117/task/5118/stat : 5118 (java) R 5115 5115 4600 0 -1 4202560 5598 0 0 0 18 1 0 0 20 0 20 0 89895422 26730651648 9901 33554432000 4194304 4196468 140722521751392 139967042406352 139967022253406 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5119] ppid=5115 vsize=26104152 memory=330 CPUtime=0 cores=0-7
/proc/5117/task/5119/stat : 5119 (java) S 5115 5115 4600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89895423 26730651648 9901 33554432000 4194304 4196468 140722521751392 139966945733136 139967038183125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5120] ppid=5115 vsize=26104152 memory=140463177000767 CPUtime=0 cores=0-7
/proc/5117/task/5120/stat : 5120 (java) S 5115 5115 4600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89895423 26730651648 9901 33554432000 4194304 4196468 140722521751392 139966595566224 139967038183125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5121] ppid=5115 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/5117/task/5121/stat : 5121 (java) S 5115 5115 4600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89895423 26730651648 9901 33554432000 4194304 4196468 140722521751392 139966594513168 139967038183125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5122] ppid=5115 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/5117/task/5122/stat : 5122 (java) S 5115 5115 4600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89895423 26730651648 9901 33554432000 4194304 4196468 140722521751392 139966593460624 139967038183125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5123] ppid=5115 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/5117/task/5123/stat : 5123 (java) S 5115 5115 4600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89895423 26730651648 9901 33554432000 4194304 4196468 140722521751392 139966592408592 139967038183125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5124] ppid=5115 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/5117/task/5124/stat : 5124 (java) S 5115 5115 4600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89895423 26730651648 9901 33554432000 4194304 4196468 140722521751392 139966591356048 139967038183125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5125] ppid=5115 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/5117/task/5125/stat : 5125 (java) S 5115 5115 4600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89895423 26730651648 9901 33554432000 4194304 4196468 140722521751392 139966590302992 139967038183125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5126] ppid=5115 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/5117/task/5126/stat : 5126 (java) S 5115 5115 4600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89895423 26730651648 9901 33554432000 4194304 4196468 140722521751392 139966589250448 139967038183125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5127] ppid=5115 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/5117/task/5127/stat : 5127 (java) S 5115 5115 4600 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 89895424 26730651648 9901 33554432000 4194304 4196468 140722521751392 139966546258160 139967038184066 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5128] ppid=5115 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/5117/task/5128/stat : 5128 (java) S 5115 5115 4600 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89895425 26730651648 9901 33554432000 4194304 4196468 140722521751392 139966545204384 139967038183125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5129] ppid=5115 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/5117/task/5129/stat : 5129 (java) S 5115 5115 4600 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89895425 26730651648 9901 33554432000 4194304 4196468 140722521751392 139966544151280 139967038183125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5130] ppid=5115 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/5117/task/5130/stat : 5130 (java) S 5115 5115 4600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89895427 26730651648 9901 33554432000 4194304 4196468 140722521751392 139966543099856 139967038191515 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5131] ppid=5115 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/5117/task/5131/stat : 5131 (java) S 5115 5115 4600 0 -1 1077944384 373 0 0 0 0 0 0 0 20 0 20 0 89895427 26730651648 9901 33554432000 4194304 4196468 140722521751392 139966429555440 139967038184066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5132] ppid=5115 vsize=26104152 memory=0 CPUtime=0.02 cores=0-7
/proc/5117/task/5132/stat : 5132 (java) S 5115 5115 4600 0 -1 1077944384 282 0 0 0 2 0 0 0 20 0 20 0 89895427 26730651648 9901 33554432000 4194304 4196468 140722521751392 139966428502896 139967038184066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5133] ppid=5115 vsize=26104152 memory=-1 CPUtime=0.02 cores=0-7
/proc/5117/task/5133/stat : 5133 (java) S 5115 5115 4600 0 -1 1077944384 217 0 0 0 2 0 0 0 20 0 20 0 89895427 26730651648 9901 33554432000 4194304 4196468 140722521751392 139966427449840 139967038184066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5134] ppid=5115 vsize=26104152 memory=-1 CPUtime=0.07 cores=0-7
/proc/5117/task/5134/stat : 5134 (java) S 5115 5115 4600 0 -1 1077944384 720 0 0 0 7 0 0 0 20 0 20 0 89895428 26730651648 9901 33554432000 4194304 4196468 140722521751392 139966426397296 139967038184066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5135] ppid=5115 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/5117/task/5135/stat : 5135 (java) S 5115 5115 4600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89895428 26730651648 9901 33554432000 4194304 4196468 140722521751392 139966425344480 139967038183125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5136] ppid=5115 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/5117/task/5136/stat : 5136 (java) S 5115 5115 4600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89895428 26730651648 9901 33554432000 4194304 4196468 140722521751392 139966424292016 139967038184066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 41056 KiB

[startup+0.319004 s]*
/proc/loadavg: 8.43 8.31 8.19 3/199 5136
/proc/meminfo: memFree=20455264/32770624 swapFree=67108860/67108860
[pid=5115] ppid=5112 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/5115/stat : 5115 (xcsp3-exec) S 5112 5115 4600 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89895421 115843072 363 33554432000 4194304 5098028 140723108549200 140723108547304 140214264955516 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20754432 140723108557877 140723108558080 140723108558080 140723108560842 0
/proc/5115/statm: 28282 363 305 221 0 87 0
[pid=5117] ppid=5115 vsize=26108408 memory=46884 CPUtime=0.52 cores=0-7
/proc/5117/stat : 5117 (java) S 5115 5115 4600 0 -1 1077944320 9478 0 0 0 49 3 0 0 20 0 20 0 89895422 26735009792 11721 33554432000 4194304 4196468 140722521751392 140722521733936 139967038172919 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
/proc/5117/statm: 6527102 11721 3224 1 0 6488315 0
[pid=5117/tid=5118] ppid=5115 vsize=26108408 memory=8112282956445269571 CPUtime=0.3 cores=0-7
/proc/5117/task/5118/stat : 5118 (java) R 5115 5115 4600 0 -1 4202560 6403 0 0 0 28 2 0 0 20 0 20 0 89895422 26735009792 11721 33554432000 4194304 4196468 140722521751392 139967042404832 139967038194845 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5119] ppid=5115 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/5117/task/5119/stat : 5119 (java) S 5115 5115 4600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89895423 26735009792 11721 33554432000 4194304 4196468 140722521751392 139966945733136 139967038183125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5120] ppid=5115 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/5117/task/5120/stat : 5120 (java) S 5115 5115 4600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89895423 26735009792 11721 33554432000 4194304 4196468 140722521751392 139966595566224 139967038183125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5121] ppid=5115 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/5117/task/5121/stat : 5121 (java) S 5115 5115 4600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89895423 26735009792 11721 33554432000 4194304 4196468 140722521751392 139966594513168 139967038183125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5122] ppid=5115 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/5117/task/5122/stat : 5122 (java) S 5115 5115 4600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89895423 26735009792 11721 33554432000 4194304 4196468 140722521751392 139966593460624 139967038183125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5123] ppid=5115 vsize=26108408 memory=2244 CPUtime=0 cores=0-7
/proc/5117/task/5123/stat : 5123 (java) S 5115 5115 4600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89895423 26735009792 11721 33554432000 4194304 4196468 140722521751392 139966592408592 139967038183125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5124] ppid=5115 vsize=26108408 memory=140463080305583 CPUtime=0 cores=0-7
/proc/5117/task/5124/stat : 5124 (java) S 5115 5115 4600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89895423 26735009792 11721 33554432000 4194304 4196468 140722521751392 139966591356048 139967038183125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5125] ppid=5115 vsize=26108408 memory=140463080307888 CPUtime=0 cores=0-7
/proc/5117/task/5125/stat : 5125 (java) S 5115 5115 4600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89895423 26735009792 11721 33554432000 4194304 4196468 140722521751392 139966590302992 139967038183125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5126] ppid=5115 vsize=26108408 memory=140463080310192 CPUtime=0 cores=0-7
/proc/5117/task/5126/stat : 5126 (java) S 5115 5115 4600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89895423 26735009792 11721 33554432000 4194304 4196468 140722521751392 139966589250448 139967038183125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5127] ppid=5115 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/5117/task/5127/stat : 5127 (java) S 5115 5115 4600 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 89895424 26735009792 11721 33554432000 4194304 4196468 140722521751392 139966546258160 139967038184066 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5128] ppid=5115 vsize=26108408 memory=280926160627344 CPUtime=0 cores=0-7
/proc/5117/task/5128/stat : 5128 (java) S 5115 5115 4600 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89895425 26735009792 11721 33554432000 4194304 4196468 140722521751392 139966545204384 139967038183125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5129] ppid=5115 vsize=26108408 memory=280926160634256 CPUtime=0 cores=0-7
/proc/5117/task/5129/stat : 5129 (java) S 5115 5115 4600 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89895425 26735009792 11721 33554432000 4194304 4196468 140722521751392 139966544151280 139967038183125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5130] ppid=5115 vsize=26108408 memory=280926160575536 CPUtime=0 cores=0-7
/proc/5117/task/5130/stat : 5130 (java) S 5115 5115 4600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89895427 26735009792 11721 33554432000 4194304 4196468 140722521751392 139966543099856 139967038191515 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5131] ppid=5115 vsize=26108408 memory=280926160648080 CPUtime=0.01 cores=0-7
/proc/5117/task/5131/stat : 5131 (java) S 5115 5115 4600 0 -1 1077944384 385 0 0 0 1 0 0 0 20 0 20 0 89895427 26735009792 11721 33554432000 4194304 4196468 140722521751392 139966429555440 139967038184066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5132] ppid=5115 vsize=26108408 memory=280926160654992 CPUtime=0.04 cores=0-7
/proc/5117/task/5132/stat : 5132 (java) S 5115 5115 4600 0 -1 1077944384 375 0 0 0 4 0 0 0 20 0 20 0 89895427 26735009792 11721 33554432000 4194304 4196468 140722521751392 139966428502896 139967038184066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5133] ppid=5115 vsize=26108408 memory=280926160652688 CPUtime=0.03 cores=0-7
/proc/5117/task/5133/stat : 5133 (java) S 5115 5115 4600 0 -1 1077944384 223 0 0 0 3 0 0 0 20 0 20 0 89895427 26735009792 11721 33554432000 4194304 4196468 140722521751392 139966427449840 139967038184066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5134] ppid=5115 vsize=26108408 memory=280926160668848 CPUtime=0.12 cores=0-7
/proc/5117/task/5134/stat : 5134 (java) S 5115 5115 4600 0 -1 1077944384 804 0 0 0 12 0 0 0 20 0 20 0 89895428 26735009792 11721 33554432000 4194304 4196468 140722521751392 139966426397296 139967038184066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5135] ppid=5115 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/5117/task/5135/stat : 5135 (java) S 5115 5115 4600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89895428 26735009792 11721 33554432000 4194304 4196468 140722521751392 139966425344480 139967038183125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5136] ppid=5115 vsize=26108408 memory=-1 CPUtime=0 cores=0-7
/proc/5117/task/5136/stat : 5136 (java) S 5115 5115 4600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89895428 26735009792 11721 33554432000 4194304 4196468 140722521751392 139966424292016 139967038184066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 26221536 KiB
Current children cumulated memory: 48336 KiB

[startup+0.700996 s]
/proc/loadavg: 8.43 8.31 8.19 5/199 5136
/proc/meminfo: memFree=20430040/32770624 swapFree=67108860/67108860
[pid=5115] ppid=5112 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/5115/stat : 5115 (xcsp3-exec) S 5112 5115 4600 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89895421 115843072 363 33554432000 4194304 5098028 140723108549200 140723108547304 140214264955516 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20754432 140723108557877 140723108558080 140723108558080 140723108560842 0
/proc/5115/statm: 28282 363 305 221 0 87 0
[pid=5117] ppid=5115 vsize=26110532 memory=102232 CPUtime=2.03 cores=0-7
/proc/5117/stat : 5117 (java) S 5115 5115 4600 0 -1 1077944320 14652 0 0 0 197 6 0 0 20 0 20 0 89895422 26737184768 25558 33554432000 4194304 4196468 140722521751392 140722521733936 139967038172919 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
/proc/5117/statm: 6527633 25558 3364 1 0 6488827 0
[pid=5117/tid=5118] ppid=5115 vsize=26110532 memory=280926161026736 CPUtime=0.67 cores=0-7
/proc/5117/task/5118/stat : 5118 (java) R 5115 5115 4600 0 -1 4202560 7151 0 0 0 64 3 0 0 20 0 20 0 89895422 26737184768 25558 33554432000 4194304 4196468 140722521751392 139967042410448 139966625688704 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5119] ppid=5115 vsize=26110532 memory=140463080514416 CPUtime=0 cores=0-7
/proc/5117/task/5119/stat : 5119 (java) S 5115 5115 4600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89895423 26737184768 25558 33554432000 4194304 4196468 140722521751392 139966945733136 139967038183125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5120] ppid=5115 vsize=26110532 memory=0 CPUtime=0 cores=0-7
/proc/5117/task/5120/stat : 5120 (java) S 5115 5115 4600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89895423 26737184768 25558 33554432000 4194304 4196468 140722521751392 139966595566224 139967038183125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5121] ppid=5115 vsize=26110532 memory=8540 CPUtime=0 cores=0-7
/proc/5117/task/5121/stat : 5121 (java) S 5115 5115 4600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89895423 26737184768 25558 33554432000 4194304 4196468 140722521751392 139966594513168 139967038183125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0

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

[pid=5117/tid=5216] ppid=5115 vsize=26646120 memory=642504 CPUtime=2398.59 cores=0-7
/proc/5117/task/5216/stat : 5216 (java) R 5115 5115 4600 0 -1 4202560 198301 0 0 0 239179 680 0 0 20 0 28 0 89896506 27285626880 160370 33554432000 4194304 4196468 140722521751392 139966415699888 139967019015182 0 4 0 16800975 0 0 0 -1 4 0 0 27 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
Current children cumulated CPU time: 19138.9 s
Current children cumulated vsize: 26759248 KiB
Current children cumulated memory: 642932 KiB

[startup+2502.3 s]
/proc/loadavg: 8.27 8.00 7.91 9/208 5278
/proc/meminfo: memFree=19884208/32770624 swapFree=67108860/67108860
[pid=5115] ppid=5112 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/5115/stat : 5115 (xcsp3-exec) S 5112 5115 4600 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89895421 115843072 363 33554432000 4194304 5098028 140723108549200 140723108547304 140214264955516 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20754432 140723108557877 140723108558080 140723108558080 140723108560842 0
/proc/5115/statm: 28282 363 305 221 0 87 0
[pid=5117] ppid=5115 vsize=26646120 memory=613264 CPUtime=19609.6 cores=0-7
/proc/5117/stat : 5117 (java) S 5115 5115 4600 0 -1 1077944320 1083023 0 0 0 1953048 7913 0 0 20 0 28 0 89895422 27285626880 153316 33554432000 4194304 4196468 140722521751392 140722521733936 139967038172919 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
/proc/5117/statm: 6661530 153316 3464 1 0 6622724 0
[pid=5117/tid=5118] ppid=5115 vsize=26646120 memory=617368 CPUtime=1.98 cores=0-7
/proc/5117/task/5118/stat : 5118 (java) S 5115 5115 4600 0 -1 1077944384 8054 0 0 0 192 6 0 0 20 0 28 0 89895422 27285626880 153316 33554432000 4194304 4196468 140722521751392 139967042413696 139967038183125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5119] ppid=5115 vsize=26646120 memory=623012 CPUtime=6.26 cores=0-7
/proc/5117/task/5119/stat : 5119 (java) S 5115 5115 4600 0 -1 1077944384 42330 0 0 0 592 34 0 0 20 0 28 0 89895423 27285626880 153316 33554432000 4194304 4196468 140722521751392 139966945733136 139967038183125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5120] ppid=5115 vsize=26646120 memory=616340 CPUtime=6.32 cores=0-7
/proc/5117/task/5120/stat : 5120 (java) S 5115 5115 4600 0 -1 1077944384 39972 0 0 0 598 34 0 0 20 0 28 0 89895423 27285626880 153316 33554432000 4194304 4196468 140722521751392 139966595566224 139967038183125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5121] ppid=5115 vsize=26646120 memory=614288 CPUtime=6.17 cores=0-7
/proc/5117/task/5121/stat : 5121 (java) S 5115 5115 4600 0 -1 1077944384 44859 0 0 0 578 39 0 0 20 0 28 0 89895423 27285626880 153316 33554432000 4194304 4196468 140722521751392 139966594513168 139967038183125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5122] ppid=5115 vsize=26646120 memory=613776 CPUtime=6.24 cores=0-7
/proc/5117/task/5122/stat : 5122 (java) S 5115 5115 4600 0 -1 1077944384 50163 0 0 0 593 31 0 0 20 0 28 0 89895423 27285626880 153316 33554432000 4194304 4196468 140722521751392 139966593460624 139967038183125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5123] ppid=5115 vsize=26646120 memory=0 CPUtime=6.21 cores=0-7
/proc/5117/task/5123/stat : 5123 (java) S 5115 5115 4600 0 -1 1077944384 49200 0 0 0 588 33 0 0 20 0 28 0 89895423 27285626880 153316 33554432000 4194304 4196468 140722521751392 139966592408592 139967038183125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5124] ppid=5115 vsize=26646120 memory=613776 CPUtime=6.26 cores=0-7
/proc/5117/task/5124/stat : 5124 (java) S 5115 5115 4600 0 -1 1077944384 43252 0 0 0 592 34 0 0 20 0 28 0 89895423 27285626880 153316 33554432000 4194304 4196468 140722521751392 139966591356048 139967038183125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5125] ppid=5115 vsize=26646120 memory=1452 CPUtime=6.26 cores=0-7
/proc/5117/task/5125/stat : 5125 (java) S 5115 5115 4600 0 -1 1077944384 44148 0 0 0 593 33 0 0 20 0 28 0 89895423 27285626880 153316 33554432000 4194304 4196468 140722521751392 139966590302992 139967038183125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5126] ppid=5115 vsize=26646120 memory=1452 CPUtime=6.28 cores=0-7
/proc/5117/task/5126/stat : 5126 (java) S 5115 5115 4600 0 -1 1077944384 50944 0 0 0 597 31 0 0 20 0 28 0 89895423 27285626880 153316 33554432000 4194304 4196468 140722521751392 139966589250448 139967038183125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5127] ppid=5115 vsize=26646120 memory=625064 CPUtime=2.25 cores=0-7
/proc/5117/task/5127/stat : 5127 (java) S 5115 5115 4600 0 -1 1077944384 148553 0 0 0 144 81 0 0 20 0 28 0 89895424 27285626880 153316 33554432000 4194304 4196468 140722521751392 139966546258160 139967038184066 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5128] ppid=5115 vsize=26646120 memory=1452 CPUtime=0 cores=0-7
/proc/5117/task/5128/stat : 5128 (java) S 5115 5115 4600 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 89895425 27285626880 153316 33554432000 4194304 4196468 140722521751392 139966545204448 139967038183125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5129] ppid=5115 vsize=26646120 memory=648660 CPUtime=0 cores=0-7
/proc/5117/task/5129/stat : 5129 (java) S 5115 5115 4600 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 89895425 27285626880 153316 33554432000 4194304 4196468 140722521751392 139966544151296 139967038183125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5130] ppid=5115 vsize=26646120 memory=44770739103926 CPUtime=0 cores=0-7
/proc/5117/task/5130/stat : 5130 (java) S 5115 5115 4600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 89895427 27285626880 153316 33554432000 4194304 4196468 140722521751392 139966543099856 139967038191515 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5131] ppid=5115 vsize=26646120 memory=0 CPUtime=2.7 cores=0-7
/proc/5117/task/5131/stat : 5131 (java) S 5115 5115 4600 0 -1 1077944384 14885 0 0 0 267 3 0 0 20 0 28 0 89895427 27285626880 153316 33554432000 4194304 4196468 140722521751392 139966429555440 139967038184066 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5132] ppid=5115 vsize=26646120 memory=7739276948478126694 CPUtime=2.82 cores=0-7
/proc/5117/task/5132/stat : 5132 (java) S 5115 5115 4600 0 -1 1077944384 13446 0 0 0 279 3 0 0 20 0 28 0 89895427 27285626880 153316 33554432000 4194304 4196468 140722521751392 139966428502896 139967038184066 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5133] ppid=5115 vsize=26646120 memory=3474442411936296546 CPUtime=2.64 cores=0-7
/proc/5117/task/5133/stat : 5133 (java) S 5115 5115 4600 0 -1 1077944384 12879 0 0 0 261 3 0 0 20 0 28 0 89895427 27285626880 153316 33554432000 4194304 4196468 140722521751392 139966427449840 139967038184066 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5134] ppid=5115 vsize=26646120 memory=4465 CPUtime=0.84 cores=0-7
/proc/5117/task/5134/stat : 5134 (java) S 5115 5115 4600 0 -1 1077944384 7546 0 0 0 82 2 0 0 20 0 28 0 89895428 27285626880 153316 33554432000 4194304 4196468 140722521751392 139966426397296 139967038184066 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5135] ppid=5115 vsize=26646120 memory=4420 CPUtime=0 cores=0-7
/proc/5117/task/5135/stat : 5135 (java) S 5115 5115 4600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 89895428 27285626880 153316 33554432000 4194304 4196468 140722521751392 139966425344480 139967038183125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5136] ppid=5115 vsize=26646120 memory=1452 CPUtime=0.36 cores=0-7
/proc/5117/task/5136/stat : 5136 (java) S 5115 5115 4600 0 -1 1077944384 7371 0 0 0 20 16 0 0 20 0 28 0 89895428 27285626880 153316 33554432000 4194304 4196468 140722521751392 139966424292016 139967038184066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5209] ppid=5115 vsize=26646120 memory=620444 CPUtime=2428.56 cores=0-7
/proc/5117/task/5209/stat : 5209 (java) R 5115 5115 4600 0 -1 1077944384 21018 0 0 0 241842 1014 0 0 20 0 28 0 89896506 27285626880 153316 33554432000 4194304 4196468 140722521751392 139966409382368 139967038183125 0 4 0 16800975 0 0 0 -1 7 0 0 20 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5210] ppid=5115 vsize=26646120 memory=4136 CPUtime=2426.43 cores=0-7
/proc/5117/task/5210/stat : 5210 (java) R 5115 5115 4600 0 -1 4202560 21755 0 0 0 241677 966 0 0 20 0 28 0 89896506 27285626880 153316 33554432000 4194304 4196468 140722521751392 139966337240848 139966635410085 0 4 0 16800975 0 0 0 -1 4 0 0 25 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5211] ppid=5115 vsize=26646120 memory=1452 CPUtime=2433.66 cores=0-7
/proc/5117/task/5211/stat : 5211 (java) R 5115 5115 4600 0 -1 4202560 56632 0 0 0 242408 958 0 0 20 0 28 0 89896506 27285626880 153316 33554432000 4194304 4196468 140722521751392 139966414647600 139966635615074 0 4 0 16800975 0 0 0 -1 6 0 0 20 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5212] ppid=5115 vsize=26646120 memory=617368 CPUtime=2437.9 cores=0-7
/proc/5117/task/5212/stat : 5212 (java) R 5115 5115 4600 0 -1 4202560 95854 0 0 0 242869 921 0 0 20 0 28 0 89896506 27285626880 153316 33554432000 4194304 4196468 140722521751392 139966411489808 139966633781999 0 4 0 16800975 0 0 0 -1 1 0 0 25 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5213] ppid=5115 vsize=26646120 memory=1452 CPUtime=2433.13 cores=0-7
/proc/5117/task/5213/stat : 5213 (java) R 5115 5115 4600 0 -1 4202560 48331 0 0 0 242293 1020 0 0 20 0 28 0 89896506 27285626880 153316 33554432000 4194304 4196468 140722521751392 139966410436656 139966635368804 0 4 0 16800975 0 0 0 -1 0 0 0 30 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5214] ppid=5115 vsize=26646120 memory=26128 CPUtime=2427.27 cores=0-7
/proc/5117/task/5214/stat : 5214 (java) R 5115 5115 4600 0 -1 4202560 18742 0 0 0 241622 1105 0 0 20 0 28 0 89896506 27285626880 153316 33554432000 4194304 4196468 140722521751392 139966340391184 139966635614577 0 4 0 16800975 0 0 0 -1 5 0 0 17 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5215] ppid=5115 vsize=26646120 memory=2420 CPUtime=2436.57 cores=0-7
/proc/5117/task/5215/stat : 5215 (java) R 5115 5115 4600 0 -1 4202560 38831 0 0 0 242819 838 0 0 20 0 28 0 89896506 27285626880 153316 33554432000 4194304 4196468 140722521751392 139966412541840 139966635615090 0 4 0 16800975 0 0 0 -1 2 0 0 23 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5216] ppid=5115 vsize=26646120 memory=1292 CPUtime=2457.78 cores=0-7
/proc/5117/task/5216/stat : 5216 (java) R 5115 5115 4600 0 -1 4202560 198808 0 0 0 245086 692 0 0 20 0 28 0 89896506 27285626880 153316 33554432000 4194304 4196468 140722521751392 139966415699984 139966633554682 0 4 0 16800975 0 0 0 -1 3 0 0 27 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
Current children cumulated CPU time: 19609.6 s
Current children cumulated vsize: 26759248 KiB
Current children cumulated memory: 614716 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.21 8.00 7.91 8/208 5278
/proc/meminfo: memFree=19893760/32770624 swapFree=67108860/67108860
[pid=5115] ppid=5112 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/5115/stat : 5115 (xcsp3-exec) S 5112 5115 4600 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89895421 115843072 363 33554432000 4194304 5098028 140723108549200 140723108547304 140214264955516 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20754432 140723108557877 140723108558080 140723108558080 140723108560842 0
/proc/5115/statm: 28282 363 305 221 0 87 0
[pid=5117] ppid=5115 vsize=26646120 memory=604028 CPUtime=19748.1 cores=0-7
/proc/5117/stat : 5117 (java) S 5115 5115 4600 0 -1 1077944320 1083431 0 0 0 1966829 7976 0 0 20 0 28 0 89895422 27285626880 151007 33554432000 4194304 4196468 140722521751392 140722521733936 139967038172919 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
/proc/5117/statm: 6661530 151007 3464 1 0 6622724 0
[pid=5117/tid=5118] ppid=5115 vsize=26646120 memory=-6733704525061579059 CPUtime=1.98 cores=0-7
/proc/5117/task/5118/stat : 5118 (java) S 5115 5115 4600 0 -1 1077944384 8054 0 0 0 192 6 0 0 20 0 28 0 89895422 27285626880 151007 33554432000 4194304 4196468 140722521751392 139967042413696 139967038183125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5119] ppid=5115 vsize=26646120 memory=4872558044660077418 CPUtime=6.27 cores=0-7
/proc/5117/task/5119/stat : 5119 (java) S 5115 5115 4600 0 -1 1077944384 42333 0 0 0 593 34 0 0 20 0 28 0 89895423 27285626880 151007 33554432000 4194304 4196468 140722521751392 139966945733136 139967038183125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5120] ppid=5115 vsize=26646120 memory=960 CPUtime=6.35 cores=0-7
/proc/5117/task/5120/stat : 5120 (java) S 5115 5115 4600 0 -1 1077944384 39976 0 0 0 601 34 0 0 20 0 28 0 89895423 27285626880 151007 33554432000 4194304 4196468 140722521751392 139966595566224 139967038183125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5121] ppid=5115 vsize=26646120 memory=1232 CPUtime=6.19 cores=0-7
/proc/5117/task/5121/stat : 5121 (java) S 5115 5115 4600 0 -1 1077944384 44865 0 0 0 580 39 0 0 20 0 28 0 89895423 27285626880 151007 33554432000 4194304 4196468 140722521751392 139966594513168 139967038183125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5122] ppid=5115 vsize=26646120 memory=2344 CPUtime=6.26 cores=0-7
/proc/5117/task/5122/stat : 5122 (java) S 5115 5115 4600 0 -1 1077944384 50169 0 0 0 595 31 0 0 20 0 28 0 89895423 27285626880 151007 33554432000 4194304 4196468 140722521751392 139966593460624 139967038183125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5123] ppid=5115 vsize=26646120 memory=928 CPUtime=6.24 cores=0-7
/proc/5117/task/5123/stat : 5123 (java) S 5115 5115 4600 0 -1 1077944384 49204 0 0 0 590 34 0 0 20 0 28 0 89895423 27285626880 151007 33554432000 4194304 4196468 140722521751392 139966592408592 139967038183125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5124] ppid=5115 vsize=26646120 memory=1580 CPUtime=6.28 cores=0-7
/proc/5117/task/5124/stat : 5124 (java) S 5115 5115 4600 0 -1 1077944384 43257 0 0 0 594 34 0 0 20 0 28 0 89895423 27285626880 151007 33554432000 4194304 4196468 140722521751392 139966591356048 139967038183125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5125] ppid=5115 vsize=26646120 memory=2240 CPUtime=6.28 cores=0-7
/proc/5117/task/5125/stat : 5125 (java) S 5115 5115 4600 0 -1 1077944384 44150 0 0 0 595 33 0 0 20 0 28 0 89895423 27285626880 151007 33554432000 4194304 4196468 140722521751392 139966590302992 139967038183125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5126] ppid=5115 vsize=26646120 memory=4128 CPUtime=6.3 cores=0-7
/proc/5117/task/5126/stat : 5126 (java) S 5115 5115 4600 0 -1 1077944384 50953 0 0 0 599 31 0 0 20 0 28 0 89895423 27285626880 151007 33554432000 4194304 4196468 140722521751392 139966589250448 139967038183125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5127] ppid=5115 vsize=26646120 memory=8112282956445269571 CPUtime=2.28 cores=0-7
/proc/5117/task/5127/stat : 5127 (java) S 5115 5115 4600 0 -1 1077944384 148556 0 0 0 146 82 0 0 20 0 28 0 89895424 27285626880 151007 33554432000 4194304 4196468 140722521751392 139966546258160 139967038184066 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5128] ppid=5115 vsize=26646120 memory=26128 CPUtime=0 cores=0-7
/proc/5117/task/5128/stat : 5128 (java) S 5115 5115 4600 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 89895425 27285626880 151007 33554432000 4194304 4196468 140722521751392 139966545204448 139967038183125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5129] ppid=5115 vsize=26646120 memory=2420 CPUtime=0 cores=0-7
/proc/5117/task/5129/stat : 5129 (java) S 5115 5115 4600 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 89895425 27285626880 151007 33554432000 4194304 4196468 140722521751392 139966544151296 139967038183125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5130] ppid=5115 vsize=26646120 memory=1292 CPUtime=0 cores=0-7
/proc/5117/task/5130/stat : 5130 (java) S 5115 5115 4600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 89895427 27285626880 151007 33554432000 4194304 4196468 140722521751392 139966543099856 139967038191515 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5131] ppid=5115 vsize=26646120 memory=1728 CPUtime=2.7 cores=0-7
/proc/5117/task/5131/stat : 5131 (java) S 5115 5115 4600 0 -1 1077944384 14885 0 0 0 267 3 0 0 20 0 28 0 89895427 27285626880 151007 33554432000 4194304 4196468 140722521751392 139966429555440 139967038184066 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5132] ppid=5115 vsize=26646120 memory=796 CPUtime=2.82 cores=0-7
/proc/5117/task/5132/stat : 5132 (java) S 5115 5115 4600 0 -1 1077944384 13446 0 0 0 279 3 0 0 20 0 28 0 89895427 27285626880 151007 33554432000 4194304 4196468 140722521751392 139966428502896 139967038184066 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5133] ppid=5115 vsize=26646120 memory=1012 CPUtime=2.64 cores=0-7
/proc/5117/task/5133/stat : 5133 (java) S 5115 5115 4600 0 -1 1077944384 12879 0 0 0 261 3 0 0 20 0 28 0 89895427 27285626880 151007 33554432000 4194304 4196468 140722521751392 139966427449840 139967038184066 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5134] ppid=5115 vsize=26646120 memory=1228 CPUtime=0.84 cores=0-7
/proc/5117/task/5134/stat : 5134 (java) S 5115 5115 4600 0 -1 1077944384 7546 0 0 0 82 2 0 0 20 0 28 0 89895428 27285626880 151007 33554432000 4194304 4196468 140722521751392 139966426397296 139967038184066 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5135] ppid=5115 vsize=26646120 memory=1712 CPUtime=0 cores=0-7
/proc/5117/task/5135/stat : 5135 (java) S 5115 5115 4600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 89895428 27285626880 151007 33554432000 4194304 4196468 140722521751392 139966425344480 139967038183125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5136] ppid=5115 vsize=26646120 memory=9996 CPUtime=0.36 cores=0-7
/proc/5117/task/5136/stat : 5136 (java) S 5115 5115 4600 0 -1 1077944384 7373 0 0 0 20 16 0 0 20 0 28 0 89895428 27285626880 151007 33554432000 4194304 4196468 140722521751392 139966424292016 139967038184066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5209] ppid=5115 vsize=26646120 memory=1452 CPUtime=2445.73 cores=0-7
/proc/5117/task/5209/stat : 5209 (java) S 5115 5115 4600 0 -1 1077944384 21022 0 0 0 243552 1021 0 0 20 0 28 0 89896506 27285626880 151007 33554432000 4194304 4196468 140722521751392 139966409382368 139967038183125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 20 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5210] ppid=5115 vsize=26646120 memory=623012 CPUtime=2443.65 cores=0-7
/proc/5117/task/5210/stat : 5210 (java) R 5115 5115 4600 0 -1 4202560 21762 0 0 0 243391 974 0 0 20 0 28 0 89896506 27285626880 151007 33554432000 4194304 4196468 140722521751392 139966337240752 139966635342536 0 4 0 16800975 0 0 0 -1 1 0 0 25 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5211] ppid=5115 vsize=26646120 memory=1452 CPUtime=2450.91 cores=0-7
/proc/5117/task/5211/stat : 5211 (java) S 5115 5115 4600 0 -1 1077944384 56644 0 0 0 244125 966 0 0 20 0 28 0 89896506 27285626880 151007 33554432000 4194304 4196468 140722521751392 139966414647696 139967038183125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 20 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5212] ppid=5115 vsize=26646120 memory=629680 CPUtime=2455.22 cores=0-7
/proc/5117/task/5212/stat : 5212 (java) R 5115 5115 4600 0 -1 4202560 96026 0 0 0 244591 931 0 0 20 0 28 0 89896506 27285626880 151007 33554432000 4194304 4196468 140722521751392 139966411489808 139966635342669 0 4 0 16800975 0 0 0 -1 3 0 0 25 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5213] ppid=5115 vsize=26646120 memory=-8707038579349950309 CPUtime=2450.44 cores=0-7
/proc/5117/task/5213/stat : 5213 (java) R 5115 5115 4600 0 -1 4202560 48372 0 0 0 244016 1028 0 0 20 0 28 0 89896506 27285626880 151007 33554432000 4194304 4196468 140722521751392 139966410436656 139966635342536 0 4 0 16800975 0 0 0 -1 6 0 0 30 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5214] ppid=5115 vsize=26646120 memory=4715433313220523562 CPUtime=2444.53 cores=0-7
/proc/5117/task/5214/stat : 5214 (java) R 5115 5115 4600 0 -1 4202560 18751 0 0 0 243338 1115 0 0 20 0 28 0 89896506 27285626880 151007 33554432000 4194304 4196468 140722521751392 139966340391088 139966633414381 0 4 0 16800975 0 0 0 -1 0 0 0 17 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5215] ppid=5115 vsize=26646120 memory=8112282956445269571 CPUtime=2453.87 cores=0-7
/proc/5117/task/5215/stat : 5215 (java) R 5115 5115 4600 0 -1 1077944384 38849 0 0 0 244542 845 0 0 20 0 28 0 89896506 27285626880 151007 33554432000 4194304 4196468 140722521751392 139966412541744 139967038184066 0 4 0 16800975 0 0 0 -1 7 0 0 23 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
[pid=5117/tid=5216] ppid=5115 vsize=26646120 memory=288230583166042425 CPUtime=2475.2 cores=0-7
/proc/5117/task/5216/stat : 5216 (java) S 5115 5115 4600 0 -1 1077944384 198909 0 0 0 246823 697 0 0 20 0 28 0 89896506 27285626880 151007 33554432000 4194304 4196468 140722521751392 139966415699984 139967038183125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 27 0 0 6293624 6294260 31875072 140722521756801 140722521756973 140722521756973 140722521759695 0
Current children cumulated CPU time: 19748 s
Current children cumulated vsize: 26759248 KiB
Current children cumulated memory: 605480 KiB

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

[startup+2520.02 s]
# the end of solver process 5115 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001573 s, system=0.000786 s

[startup+2520.04 s]
# the end of solver process 5117 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19668.4 s, system=79.7761 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.04
CPU time (s): 19748.2
CPU user time (s): 19668.4
CPU system time (s): 79.7761
CPU usage (%): 783.648
Max. virtual memory (cumulated for all children) (KiB): 26759248
Max. memory (cumulated for all children) (KiB): 2877924

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19668.4
system time used= 79.7761
maximum resident set size= 2980660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1084309
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4608
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18397011
involuntary context switches= 27993


# summary of solver processes directly reported to runsolver:
#   pid: 5115,5117
#   total CPU time (s): 19748.2
#   total CPU user time (s): 19668.4
#   total CPU system time (s): 79.7761

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.485 second user time and 26.7799 second system time

The end

Launcher Data 

Begin job on node105 at 2018-07-27 22:28:42
IDJOB=4297408
IDBENCH=141487
IDSOLVER=2760
FILE ID=node105/4297408-1532723322
RUNJOBID= node105-1532718615-4627
PBS_JOBID= 21022330
Free space on /tmp= 44624 MiB

SOLVER NAME= Choco-solver 4.0.7b par (e747e1e)
BENCH NAME= XCSP18/PeacableArmies/PeacableArmies-m1-10_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-4297408-1532723322/watcher-4297408-1532723322 -o /tmp/evaluation-result-4297408-1532723322/solver-4297408-1532723322 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1532718615-4627 --watchdog 2580  HOME/xcsp3-exec -seed 1185588535 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297408-1532723322.xml

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

MD5SUM BENCH= 5381df091e182e76100bed0c682c3bbe
RANDOM SEED=1185588535

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.32
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.32
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.32
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.32
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:        20490228 kB
MemAvailable:   31930936 kB
Buffers:          262092 kB
Cached:         11319384 kB
SwapCached:            0 kB
Active:          2387444 kB
Inactive:        9245584 kB
Active(anon):       6512 kB
Inactive(anon):    73364 kB
Active(file):    2380932 kB
Inactive(file):  9172220 kB
Unevictable:        7296 kB
Mlocked:            7296 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             21996 kB
Writeback:             0 kB
AnonPages:         63468 kB
Mapped:            42220 kB
Shmem:             25228 kB
Slab:             343328 kB
SReclaimable:     316016 kB
SUnreclaim:        27312 kB
KernelStack:        3456 kB
PageTables:         4744 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     324332 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

Free space on /tmp at the end= 44604 MiB
End job on node105 at 2018-07-27 23:10:43