Trace number 4270637

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 4.0.5 par (2017-08-09)OPT1 3.4115701 0.93804002

General information on the benchmark

NameOpd/Opd-sum-small/
Opd-10-026-004.xml
MD5SUM44c4c29eefa1a4780ca7308d927ffa00
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.137885
Satisfiable
(Un)Satisfiability was proved
Number of variables261
Number of constraints56
Number of domains2
Minimum domain size2
Maximum domain size26
Distribution of domain sizes[{"size":2,"count":260},{"size":26,"count":1}]
Minimum variable degree11
Maximum variable degree46
Distribution of variable degrees[{"degree":11,"count":260},{"degree":46,"count":1}]
Minimum constraint arity26
Maximum constraint arity260
Distribution of constraint arities[{"arity":26,"count":10},{"arity":53,"count":45},{"arity":260,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"lex","count":1},{"type":"sum","count":55}]
Optimization problemYES
Type of objectivemin VAR

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4270637-1502690817.xml"  -tl '20160s' -p 8 -x 0
0.12/0.14	c [HOME/instance-4270637-1502690817.xml, -tl, 20160s, -p, 8, -x, 0]
0.12/0.20	c 8 solvers in parallel
0.32/0.27	c parse instance...
1.47/0.67	c solve instance...
2.70/0.82	o 26 
2.70/0.83	o 25 
2.70/0.84	o 24 
2.70/0.84	o 23 
2.70/0.87	o 22 
2.70/0.87	o 21 
2.70/0.88	o 20 
2.70/0.88	o 19 
2.70/0.89	o 18 
2.70/0.89	o 17 
2.70/0.89	o 16 
2.70/0.89	o 15 
2.70/0.90	o 14 
3.26/0.91	o 1 
3.26/0.91	s OPTIMUM FOUND
3.26/0.91	v <instantiation>
3.26/0.91	v 	<list>z x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] </list>
3.26/0.91	v 	<values>1 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 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 1 0 0 </values>
3.26/0.91	v </instantiation>

Verifier Data 

OK	1

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270637-1502690817/watcher-4270637-1502690817 -o /tmp/evaluation-result-4270637-1502690817/solver-4270637-1502690817 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1502678505-22813 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 460446967 HOME/instance-4270637-1502690817.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=24841, runsolver pid=24838

[startup+0.100157 s]*
/proc/loadavg: 8.16 8.20 7.79 2/200 24862
/proc/meminfo: memFree=29108996/32770624 swapFree=67108860/67108860
[pid=24841] ppid=24838 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/24841/stat : 24841 (xcsp3-exec) S 24838 24841 22786 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 102169725 9740288 346 33554432000 4194304 5098028 140736305823168 140736305821272 140542214386300 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38772736 140736305828965 140736305829175 140736305829175 140736305831915 0
/proc/24841/statm: 2378 346 289 221 0 87 0
[pid=24843] ppid=24841 vsize=25999808 memory=26108 CPUtime=0.12 cores=0-7
/proc/24843/stat : 24843 (java) S 24841 24841 22786 0 -1 1077944320 5482 0 0 0 11 1 0 0 20 0 20 0 102169725 26623803392 6527 33554432000 4194304 4196468 140724625841200 140724625823744 139883987877623 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
/proc/24843/statm: 6499952 6527 2844 1 0 6488269 0
[pid=24843/tid=24844] ppid=24841 vsize=25999808 memory=8257520824411397275 CPUtime=0.08 cores=0-7
/proc/24843/task/24844/stat : 24844 (java) R 24841 24841 22786 0 -1 4202560 3478 0 0 0 8 0 0 0 20 0 20 0 102169725 26623803392 6527 33554432000 4194304 4196468 140724625841200 139883992110896 139883987889558 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24845] ppid=24841 vsize=25999808 memory=732370328172473317 CPUtime=0 cores=0-7
/proc/24843/task/24845/stat : 24845 (java) S 24841 24841 22786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102169726 26623803392 6527 33554432000 4194304 4196468 140724625841200 139883940498192 139883987887829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24846] ppid=24841 vsize=25999808 memory=140189835019904 CPUtime=0 cores=0-7
/proc/24843/task/24846/stat : 24846 (java) S 24841 24841 22786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102169726 26623803392 6527 33554432000 4194304 4196468 140724625841200 139883939445648 139883987887829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24847] ppid=24841 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24843/task/24847/stat : 24847 (java) S 24841 24841 22786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102169726 26623803392 6527 33554432000 4194304 4196468 140724625841200 139883938393104 139883987887829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24848] ppid=24841 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24843/task/24848/stat : 24848 (java) S 24841 24841 22786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102169726 26623803392 6527 33554432000 4194304 4196468 140724625841200 139883937340560 139883987887829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24849] ppid=24841 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24843/task/24849/stat : 24849 (java) S 24841 24841 22786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102169726 26623803392 6527 33554432000 4194304 4196468 140724625841200 139883936286992 139883987887829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24850] ppid=24841 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/24843/task/24850/stat : 24850 (java) S 24841 24841 22786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102169726 26623803392 6527 33554432000 4194304 4196468 140724625841200 139883935234448 139883987887829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24851] ppid=24841 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24843/task/24851/stat : 24851 (java) S 24841 24841 22786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102169726 26623803392 6527 33554432000 4194304 4196468 140724625841200 139883934181904 139883987887829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24852] ppid=24841 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24843/task/24852/stat : 24852 (java) S 24841 24841 22786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102169726 26623803392 6527 33554432000 4194304 4196468 140724625841200 139883933129360 139883987887829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24853] ppid=24841 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24843/task/24853/stat : 24853 (java) S 24841 24841 22786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102169728 26623803392 6527 33554432000 4194304 4196468 140724625841200 139883180931568 139883987888770 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24854] ppid=24841 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24843/task/24854/stat : 24854 (java) S 24841 24841 22786 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 102169728 26623803392 6527 33554432000 4194304 4196468 140724625841200 139883179877792 139883987887829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24855] ppid=24841 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24843/task/24855/stat : 24855 (java) S 24841 24841 22786 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 102169728 26623803392 6527 33554432000 4194304 4196468 140724625841200 139883178825200 139883987887829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24856] ppid=24841 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24843/task/24856/stat : 24856 (java) S 24841 24841 22786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102169731 26623803392 6527 33554432000 4194304 4196468 140724625841200 139883177773776 139883987896219 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24857] ppid=24841 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24843/task/24857/stat : 24857 (java) S 24841 24841 22786 0 -1 1077944384 318 0 0 0 0 0 0 0 20 0 20 0 102169731 26623803392 6527 33554432000 4194304 4196468 140724625841200 139883176720368 139883987888770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24858] ppid=24841 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24843/task/24858/stat : 24858 (java) S 24841 24841 22786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102169731 26623803392 6527 33554432000 4194304 4196468 140724625841200 139883175667824 139883987888770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24859] ppid=24841 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24843/task/24859/stat : 24859 (java) S 24841 24841 22786 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 102169731 26623803392 6527 33554432000 4194304 4196468 140724625841200 139883174615280 139883987888770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24860] ppid=24841 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/24843/task/24860/stat : 24860 (java) R 24841 24841 22786 0 -1 4202560 254 0 0 0 1 0 0 0 20 0 20 0 102169731 26623803392 6527 33554432000 4194304 4196468 140724625841200 139883173562736 139883971958110 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24861] ppid=24841 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24843/task/24861/stat : 24861 (java) S 24841 24841 22786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102169731 26623803392 6527 33554432000 4194304 4196468 140724625841200 139883172510432 139883987887829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24862] ppid=24841 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/24843/task/24862/stat : 24862 (java) S 24841 24841 22786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102169731 26623803392 6527 33554432000 4194304 4196468 140724625841200 139883171457968 139883987888770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27492 KiB

[startup+0.210117 s]*
/proc/loadavg: 8.16 8.20 7.79 2/200 24862
/proc/meminfo: memFree=29097128/32770624 swapFree=67108860/67108860
[pid=24841] ppid=24838 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/24841/stat : 24841 (xcsp3-exec) S 24838 24841 22786 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 102169725 9740288 346 33554432000 4194304 5098028 140736305823168 140736305821272 140542214386300 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38772736 140736305828965 140736305829175 140736305829175 140736305831915 0
/proc/24841/statm: 2378 346 289 221 0 87 0
[pid=24843] ppid=24841 vsize=26004064 memory=39052 CPUtime=0.32 cores=0-7
/proc/24843/stat : 24843 (java) S 24841 24841 22786 0 -1 1077944320 8316 0 0 0 31 1 0 0 20 0 20 0 102169725 26628161536 9763 33554432000 4194304 4196468 140724625841200 140724625823744 139883987877623 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
/proc/24843/statm: 6501016 9763 3047 1 0 6488269 0
[pid=24843/tid=24844] ppid=24841 vsize=26004064 memory=0 CPUtime=0.19 cores=0-7
/proc/24843/task/24844/stat : 24844 (java) R 24841 24841 22786 0 -1 4202560 5380 0 0 0 18 1 0 0 20 0 20 0 102169725 26628161536 9763 33554432000 4194304 4196468 140724625841200 139883992098616 139883987899549 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24845] ppid=24841 vsize=26004064 memory=732370328172473317 CPUtime=0 cores=0-7
/proc/24843/task/24845/stat : 24845 (java) S 24841 24841 22786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102169726 26628161536 9763 33554432000 4194304 4196468 140724625841200 139883940498192 139883987887829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24846] ppid=24841 vsize=26004064 memory=140189835019904 CPUtime=0 cores=0-7
/proc/24843/task/24846/stat : 24846 (java) S 24841 24841 22786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102169726 26628161536 9763 33554432000 4194304 4196468 140724625841200 139883939445648 139883987887829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24847] ppid=24841 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24843/task/24847/stat : 24847 (java) S 24841 24841 22786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102169726 26628161536 9763 33554432000 4194304 4196468 140724625841200 139883938393104 139883987887829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24848] ppid=24841 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24843/task/24848/stat : 24848 (java) S 24841 24841 22786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102169726 26628161536 9763 33554432000 4194304 4196468 140724625841200 139883937340560 139883987887829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24849] ppid=24841 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24843/task/24849/stat : 24849 (java) S 24841 24841 22786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102169726 26628161536 9763 33554432000 4194304 4196468 140724625841200 139883936286992 139883987887829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24850] ppid=24841 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/24843/task/24850/stat : 24850 (java) S 24841 24841 22786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102169726 26628161536 9763 33554432000 4194304 4196468 140724625841200 139883935234448 139883987887829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24851] ppid=24841 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24843/task/24851/stat : 24851 (java) S 24841 24841 22786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102169726 26628161536 9763 33554432000 4194304 4196468 140724625841200 139883934181904 139883987887829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24852] ppid=24841 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24843/task/24852/stat : 24852 (java) S 24841 24841 22786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102169726 26628161536 9763 33554432000 4194304 4196468 140724625841200 139883933129360 139883987887829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24853] ppid=24841 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24843/task/24853/stat : 24853 (java) S 24841 24841 22786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102169728 26628161536 9763 33554432000 4194304 4196468 140724625841200 139883180931568 139883987888770 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24854] ppid=24841 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24843/task/24854/stat : 24854 (java) S 24841 24841 22786 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 102169728 26628161536 9763 33554432000 4194304 4196468 140724625841200 139883179877792 139883987887829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24855] ppid=24841 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24843/task/24855/stat : 24855 (java) S 24841 24841 22786 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 102169728 26628161536 9763 33554432000 4194304 4196468 140724625841200 139883178825200 139883987887829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24856] ppid=24841 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24843/task/24856/stat : 24856 (java) S 24841 24841 22786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102169731 26628161536 9763 33554432000 4194304 4196468 140724625841200 139883177773776 139883987896219 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24857] ppid=24841 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/24843/task/24857/stat : 24857 (java) S 24841 24841 22786 0 -1 1077944384 353 0 0 0 1 0 0 0 20 0 20 0 102169731 26628161536 9763 33554432000 4194304 4196468 140724625841200 139883176720368 139883987888770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24858] ppid=24841 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/24843/task/24858/stat : 24858 (java) R 24841 24841 22786 0 -1 1077944384 310 0 0 0 2 0 0 0 20 0 20 0 102169731 26628161536 9763 33554432000 4194304 4196468 140724625841200 139883175667824 139883987888770 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24859] ppid=24841 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/24843/task/24859/stat : 24859 (java) S 24841 24841 22786 0 -1 1077944384 213 0 0 0 1 0 0 0 20 0 20 0 102169731 26628161536 9763 33554432000 4194304 4196468 140724625841200 139883174615280 139883987888770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24860] ppid=24841 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7
/proc/24843/task/24860/stat : 24860 (java) S 24841 24841 22786 0 -1 1077944384 749 0 0 0 7 0 0 0 20 0 20 0 102169731 26628161536 9763 33554432000 4194304 4196468 140724625841200 139883173562736 139883987888770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24861] ppid=24841 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24843/task/24861/stat : 24861 (java) S 24841 24841 22786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102169731 26628161536 9763 33554432000 4194304 4196468 140724625841200 139883172510432 139883987887829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24862] ppid=24841 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/24843/task/24862/stat : 24862 (java) S 24841 24841 22786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102169731 26628161536 9763 33554432000 4194304 4196468 140724625841200 139883171457968 139883987888770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40436 KiB

[startup+0.309497 s]*
/proc/loadavg: 8.16 8.20 7.79 3/200 24862
/proc/meminfo: memFree=29091008/32770624 swapFree=67108860/67108860
[pid=24841] ppid=24838 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/24841/stat : 24841 (xcsp3-exec) S 24838 24841 22786 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 102169725 9740288 346 33554432000 4194304 5098028 140736305823168 140736305821272 140542214386300 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38772736 140736305828965 140736305829175 140736305829175 140736305831915 0
/proc/24841/statm: 2378 346 289 221 0 87 0
[pid=24843] ppid=24841 vsize=26004064 memory=46292 CPUtime=0.5 cores=0-7
/proc/24843/stat : 24843 (java) S 24841 24841 22786 0 -1 1077944320 9309 0 0 0 48 2 0 0 20 0 20 0 102169725 26628161536 11573 33554432000 4194304 4196468 140724625841200 140724625823744 139883987877623 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
/proc/24843/statm: 6501016 11573 3104 1 0 6488269 0
[pid=24843/tid=24844] ppid=24841 vsize=26004064 memory=6791534058613427641 CPUtime=0.28 cores=0-7
/proc/24843/task/24844/stat : 24844 (java) R 24841 24841 22786 0 -1 4202560 6116 0 0 0 27 1 0 0 20 0 20 0 102169725 26628161536 11573 33554432000 4194304 4196468 140724625841200 139883992110048 139883971958110 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24845] ppid=24841 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24843/task/24845/stat : 24845 (java) S 24841 24841 22786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102169726 26628161536 11573 33554432000 4194304 4196468 140724625841200 139883940498192 139883987887829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24846] ppid=24841 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24843/task/24846/stat : 24846 (java) S 24841 24841 22786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102169726 26628161536 11573 33554432000 4194304 4196468 140724625841200 139883939445648 139883987887829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24847] ppid=24841 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24843/task/24847/stat : 24847 (java) S 24841 24841 22786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102169726 26628161536 11573 33554432000 4194304 4196468 140724625841200 139883938393104 139883987887829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24848] ppid=24841 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24843/task/24848/stat : 24848 (java) S 24841 24841 22786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102169726 26628161536 11573 33554432000 4194304 4196468 140724625841200 139883937340560 139883987887829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24849] ppid=24841 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/24843/task/24849/stat : 24849 (java) S 24841 24841 22786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102169726 26628161536 11573 33554432000 4194304 4196468 140724625841200 139883936286992 139883987887829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24850] ppid=24841 vsize=26004064 memory=140189678793647 CPUtime=0 cores=0-7
/proc/24843/task/24850/stat : 24850 (java) S 24841 24841 22786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102169726 26628161536 11573 33554432000 4194304 4196468 140724625841200 139883935234448 139883987887829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24851] ppid=24841 vsize=26004064 memory=140189678795952 CPUtime=0 cores=0-7
/proc/24843/task/24851/stat : 24851 (java) S 24841 24841 22786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102169726 26628161536 11573 33554432000 4194304 4196468 140724625841200 139883934181904 139883987887829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24852] ppid=24841 vsize=26004064 memory=140189678798256 CPUtime=0 cores=0-7
/proc/24843/task/24852/stat : 24852 (java) S 24841 24841 22786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102169726 26628161536 11573 33554432000 4194304 4196468 140724625841200 139883933129360 139883987887829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24853] ppid=24841 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24843/task/24853/stat : 24853 (java) S 24841 24841 22786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102169728 26628161536 11573 33554432000 4194304 4196468 140724625841200 139883180931568 139883987888770 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24854] ppid=24841 vsize=26004064 memory=280379357603472 CPUtime=0 cores=0-7
/proc/24843/task/24854/stat : 24854 (java) S 24841 24841 22786 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 102169728 26628161536 11573 33554432000 4194304 4196468 140724625841200 139883179877792 139883987887829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24855] ppid=24841 vsize=26004064 memory=280379357610384 CPUtime=0 cores=0-7
/proc/24843/task/24855/stat : 24855 (java) S 24841 24841 22786 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 102169728 26628161536 11573 33554432000 4194304 4196468 140724625841200 139883178825200 139883987887829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24856] ppid=24841 vsize=26004064 memory=280379357551664 CPUtime=0 cores=0-7
/proc/24843/task/24856/stat : 24856 (java) S 24841 24841 22786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102169731 26628161536 11573 33554432000 4194304 4196468 140724625841200 139883177773776 139883987896219 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24857] ppid=24841 vsize=26004064 memory=280379357624208 CPUtime=0.01 cores=0-7
/proc/24843/task/24857/stat : 24857 (java) S 24841 24841 22786 0 -1 1077944384 382 0 0 0 1 0 0 0 20 0 20 0 102169731 26628161536 11573 33554432000 4194304 4196468 140724625841200 139883176720368 139883987888770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24858] ppid=24841 vsize=26004064 memory=280379357631120 CPUtime=0.03 cores=0-7
/proc/24843/task/24858/stat : 24858 (java) S 24841 24841 22786 0 -1 1077944384 348 0 0 0 3 0 0 0 20 0 20 0 102169731 26628161536 11573 33554432000 4194304 4196468 140724625841200 139883175667824 139883987888770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24859] ppid=24841 vsize=26004064 memory=280379357628816 CPUtime=0.02 cores=0-7
/proc/24843/task/24859/stat : 24859 (java) S 24841 24841 22786 0 -1 1077944384 277 0 0 0 2 0 0 0 20 0 20 0 102169731 26628161536 11573 33554432000 4194304 4196468 140724625841200 139883174615280 139883987888770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24860] ppid=24841 vsize=26004064 memory=280379357644976 CPUtime=0.12 cores=0-7
/proc/24843/task/24860/stat : 24860 (java) S 24841 24841 22786 0 -1 1077944384 876 0 0 0 12 0 0 0 20 0 20 0 102169731 26628161536 11573 33554432000 4194304 4196468 140724625841200 139883173562736 139883987888770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24861] ppid=24841 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24843/task/24861/stat : 24861 (java) S 24841 24841 22786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102169731 26628161536 11573 33554432000 4194304 4196468 140724625841200 139883172510432 139883987887829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24862] ppid=24841 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/24843/task/24862/stat : 24862 (java) S 24841 24841 22786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102169731 26628161536 11573 33554432000 4194304 4196468 140724625841200 139883171457968 139883987888770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47676 KiB

[startup+0.70587 s]
/proc/loadavg: 8.16 8.20 7.79 6/200 24862
/proc/meminfo: memFree=29072648/32770624 swapFree=67108860/67108860
[pid=24841] ppid=24838 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/24841/stat : 24841 (xcsp3-exec) S 24838 24841 22786 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 102169725 9740288 346 33554432000 4194304 5098028 140736305823168 140736305821272 140542214386300 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38772736 140736305828965 140736305829175 140736305829175 140736305831915 0
/proc/24841/statm: 2378 346 289 221 0 87 0
[pid=24843] ppid=24841 vsize=26538700 memory=117356 CPUtime=1.94 cores=0-7
/proc/24843/stat : 24843 (java) S 24841 24841 22786 0 -1 1077944320 13043 0 0 0 189 5 0 0 20 0 28 0 102169725 27175628800 29339 33554432000 4194304 4196468 140724625841200 140724625823744 139883987877623 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
/proc/24843/statm: 6634675 29339 3211 1 0 6621909 0
[pid=24843/tid=24844] ppid=24841 vsize=26538700 memory=280379357939904 CPUtime=0.65 cores=0-7
/proc/24843/task/24844/stat : 24844 (java) S 24841 24841 22786 0 -1 1077944384 6874 0 0 0 63 2 0 0 20 0 28 0 102169725 27175628800 29339 33554432000 4194304 4196468 140724625841200 139883992118400 139883987887829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24845] ppid=24841 vsize=26538700 memory=1420 CPUtime=0 cores=0-7
/proc/24843/task/24845/stat : 24845 (java) S 24841 24841 22786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 102169726 27175628800 29339 33554432000 4194304 4196468 140724625841200 139883940498192 139883987887829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24846] ppid=24841 vsize=26538700 memory=11032 CPUtime=0 cores=0-7
/proc/24843/task/24846/stat : 24846 (java) S 24841 24841 22786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 102169726 27175628800 29339 33554432000 4194304 4196468 140724625841200 139883939445648 139883987887829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24847] ppid=24841 vsize=26538700 memory=1712 CPUtime=0 cores=0-7
/proc/24843/task/24847/stat : 24847 (java) S 24841 24841 22786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 102169726 27175628800 29339 33554432000 4194304 4196468 140724625841200 139883938393104 139883987887829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24848] ppid=24841 vsize=26538700 memory=1952 CPUtime=0 cores=0-7
/proc/24843/task/24848/stat : 24848 (java) S 24841 24841 22786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 102169726 27175628800 29339 33554432000 4194304 4196468 140724625841200 139883937340560 139883987887829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24849] ppid=24841 vsize=26538700 memory=8552 CPUtime=0 cores=0-7
/proc/24843/task/24849/stat : 24849 (java) S 24841 24841 22786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 102169726 27175628800 29339 33554432000 4194304 4196468 140724625841200 139883936286992 139883987887829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24850] ppid=24841 vsize=26538700 memory=1224 CPUtime=0 cores=0-7
/proc/24843/task/24850/stat : 24850 (java) S 24841 24841 22786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 102169726 27175628800 29339 33554432000 4194304 4196468 140724625841200 139883935234448 139883987887829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24851] ppid=24841 vsize=26538700 memory=792 CPUtime=0 cores=0-7
/proc/24843/task/24851/stat : 24851 (java) S 24841 24841 22786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 102169726 27175628800 29339 33554432000 4194304 4196468 140724625841200 139883934181904 139883987887829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24852] ppid=24841 vsize=26538700 memory=1004 CPUtime=0 cores=0-7
/proc/24843/task/24852/stat : 24852 (java) S 24841 24841 22786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 102169726 27175628800 29339 33554432000 4194304 4196468 140724625841200 139883933129360 139883987887829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24853] ppid=24841 vsize=26538700 memory=5296 CPUtime=0 cores=0-7
/proc/24843/task/24853/stat : 24853 (java) S 24841 24841 22786 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 102169728 27175628800 29339 33554432000 4194304 4196468 140724625841200 139883180931568 139883987888770 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24854] ppid=24841 vsize=26538700 memory=1196 CPUtime=0 cores=0-7
/proc/24843/task/24854/stat : 24854 (java) S 24841 24841 22786 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 102169728 27175628800 29339 33554432000 4194304 4196468 140724625841200 139883179877792 139883987887829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24855] ppid=24841 vsize=26538700 memory=4612 CPUtime=0 cores=0-7
/proc/24843/task/24855/stat : 24855 (java) S 24841 24841 22786 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 102169728 27175628800 29339 33554432000 4194304 4196468 140724625841200 139883178825200 139883987887829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24856] ppid=24841 vsize=26538700 memory=15872 CPUtime=0 cores=0-7
/proc/24843/task/24856/stat : 24856 (java) S 24841 24841 22786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 102169731 27175628800 29339 33554432000 4194304 4196468 140724625841200 139883177773776 139883987896219 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24857] ppid=24841 vsize=26538700 memory=18448 CPUtime=0.25 cores=0-7
/proc/24843/task/24857/stat : 24857 (java) S 24841 24841 22786 0 -1 1077944384 989 0 0 0 25 0 0 0 20 0 28 0 102169731 27175628800 29339 33554432000 4194304 4196468 140724625841200 139883176720464 139883987887829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24858] ppid=24841 vsize=26538700 memory=16516 CPUtime=0.27 cores=0-7
/proc/24843/task/24858/stat : 24858 (java) S 24841 24841 22786 0 -1 1077944384 970 0 0 0 27 0 0 0 20 0 28 0 102169731 27175628800 29339 33554432000 4194304 4196468 140724625841200 139883175667824 139883987888770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24859] ppid=24841 vsize=26538700 memory=4044 CPUtime=0.25 cores=0-7
/proc/24843/task/24859/stat : 24859 (java) S 24841 24841 22786 0 -1 1077944384 977 0 0 0 25 0 0 0 20 0 28 0 102169731 27175628800 29339 33554432000 4194304 4196468 140724625841200 139883174615280 139883987888770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24860] ppid=24841 vsize=26538700 memory=1792 CPUtime=0.39 cores=0-7
/proc/24843/task/24860/stat : 24860 (java) R 24841 24841 22786 0 -1 1077944384 1654 0 0 0 39 0 0 0 20 0 28 0 102169731 27175628800 29339 33554432000 4194304 4196468 140724625841200 139883173562736 139883987888770 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24861] ppid=24841 vsize=26538700 memory=636 CPUtime=0 cores=0-7
/proc/24843/task/24861/stat : 24861 (java) S 24841 24841 22786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 102169731 27175628800 29339 33554432000 4194304 4196468 140724625841200 139883172510432 139883987887829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24862] ppid=24841 vsize=26538700 memory=956 CPUtime=0 cores=0-7
/proc/24843/task/24862/stat : 24862 (java) S 24841 24841 22786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 102169731 27175628800 29339 33554432000 4194304 4196468 140724625841200 139883171457968 139883987888770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
Current children cumulated CPU time: 1.94 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 118740 KiB

[startup+0.937985 s]
# the end of solver process 24841 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=3.28219 s, system=0.129377 s

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

[startup+0.80822 s]
/proc/loadavg: 8.16 8.20 7.79 6/200 24862
/proc/meminfo: memFree=29072648/32770624 swapFree=67108860/67108860
[pid=24841] ppid=24838 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/24841/stat : 24841 (xcsp3-exec) S 24838 24841 22786 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 102169725 9740288 346 33554432000 4194304 5098028 140736305823168 140736305821272 140542214386300 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38772736 140736305828965 140736305829175 140736305829175 140736305831915 0
/proc/24841/statm: 2378 346 289 221 0 87 0
[pid=24843] ppid=24841 vsize=26538700 memory=123840 CPUtime=2.7 cores=0-7
/proc/24843/stat : 24843 (java) S 24841 24841 22786 0 -1 1077944320 13755 0 0 0 265 5 0 0 20 0 28 0 102169725 27175628800 30960 33554432000 4194304 4196468 140724625841200 140724625823744 139883987877623 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
/proc/24843/statm: 6634675 30960 3219 1 0 6621909 0
[pid=24843/tid=24844] ppid=24841 vsize=26538700 memory=6791534058613427641 CPUtime=0.65 cores=0-7
/proc/24843/task/24844/stat : 24844 (java) S 24841 24841 22786 0 -1 1077944384 6874 0 0 0 63 2 0 0 20 0 28 0 102169725 27175628800 30960 33554432000 4194304 4196468 140724625841200 139883992118400 139883987887829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24845] ppid=24841 vsize=26538700 memory=1236 CPUtime=0 cores=0-7
/proc/24843/task/24845/stat : 24845 (java) S 24841 24841 22786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 102169726 27175628800 30960 33554432000 4194304 4196468 140724625841200 139883940498192 139883987887829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24846] ppid=24841 vsize=26538700 memory=2240 CPUtime=0 cores=0-7
/proc/24843/task/24846/stat : 24846 (java) S 24841 24841 22786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 102169726 27175628800 30960 33554432000 4194304 4196468 140724625841200 139883939445648 139883987887829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24847] ppid=24841 vsize=26538700 memory=4128 CPUtime=0 cores=0-7
/proc/24843/task/24847/stat : 24847 (java) S 24841 24841 22786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 102169726 27175628800 30960 33554432000 4194304 4196468 140724625841200 139883938393104 139883987887829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24848] ppid=24841 vsize=26538700 memory=1572 CPUtime=0 cores=0-7
/proc/24843/task/24848/stat : 24848 (java) S 24841 24841 22786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 102169726 27175628800 30960 33554432000 4194304 4196468 140724625841200 139883937340560 139883987887829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24849] ppid=24841 vsize=26538700 memory=932 CPUtime=0 cores=0-7
/proc/24843/task/24849/stat : 24849 (java) S 24841 24841 22786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 102169726 27175628800 30960 33554432000 4194304 4196468 140724625841200 139883936286992 139883987887829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24850] ppid=24841 vsize=26538700 memory=2200 CPUtime=0 cores=0-7
/proc/24843/task/24850/stat : 24850 (java) S 24841 24841 22786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 102169726 27175628800 30960 33554432000 4194304 4196468 140724625841200 139883935234448 139883987887829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24851] ppid=24841 vsize=26538700 memory=6504 CPUtime=0 cores=0-7
/proc/24843/task/24851/stat : 24851 (java) S 24841 24841 22786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 102169726 27175628800 30960 33554432000 4194304 4196468 140724625841200 139883934181904 139883987887829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24852] ppid=24841 vsize=26538700 memory=840 CPUtime=0 cores=0-7
/proc/24843/task/24852/stat : 24852 (java) S 24841 24841 22786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 102169726 27175628800 30960 33554432000 4194304 4196468 140724625841200 139883933129360 139883987887829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24853] ppid=24841 vsize=26538700 memory=1692 CPUtime=0 cores=0-7
/proc/24843/task/24853/stat : 24853 (java) S 24841 24841 22786 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 102169728 27175628800 30960 33554432000 4194304 4196468 140724625841200 139883180931568 139883987888770 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24854] ppid=24841 vsize=26538700 memory=22244 CPUtime=0 cores=0-7
/proc/24843/task/24854/stat : 24854 (java) S 24841 24841 22786 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 102169728 27175628800 30960 33554432000 4194304 4196468 140724625841200 139883179877792 139883987887829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24855] ppid=24841 vsize=26538700 memory=-7749696028082845524 CPUtime=0 cores=0-7
/proc/24843/task/24855/stat : 24855 (java) S 24841 24841 22786 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 102169728 27175628800 30960 33554432000 4194304 4196468 140724625841200 139883178825200 139883987887829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24856] ppid=24841 vsize=26538700 memory=6933690279252828305 CPUtime=0 cores=0-7
/proc/24843/task/24856/stat : 24856 (java) S 24841 24841 22786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 102169731 27175628800 30960 33554432000 4194304 4196468 140724625841200 139883177773776 139883987896219 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24857] ppid=24841 vsize=26538700 memory=-7384994778349280928 CPUtime=0.32 cores=0-7
/proc/24843/task/24857/stat : 24857 (java) R 24841 24841 22786 0 -1 4202560 1120 0 0 0 32 0 0 0 20 0 28 0 102169731 27175628800 30960 33554432000 4194304 4196468 140724625841200 139883176701384 139883980114750 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24858] ppid=24841 vsize=26538700 memory=0 CPUtime=0.33 cores=0-7
/proc/24843/task/24858/stat : 24858 (java) D 24841 24841 22786 0 -1 4202560 1362 0 0 0 33 0 0 0 20 0 28 0 102169731 27175628800 30960 33554432000 4194304 4196468 140724625841200 139883175648840 139883980594775 0 4 0 16800975 18446744071582151463 0 0 -1 7 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24859] ppid=24841 vsize=26538700 memory=0 CPUtime=0.32 cores=0-7
/proc/24843/task/24859/stat : 24859 (java) D 24841 24841 22786 0 -1 4202560 1030 0 0 0 32 0 0 0 20 0 28 0 102169731 27175628800 30960 33554432000 4194304 4196468 140724625841200 139883174601160 139883969421346 0 4 0 16800975 18446744071582151416 0 0 -1 7 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24860] ppid=24841 vsize=26538700 memory=0 CPUtime=0.42 cores=0-7
/proc/24843/task/24860/stat : 24860 (java) D 24841 24841 22786 0 -1 4202560 1745 0 0 0 42 0 0 0 20 0 28 0 102169731 27175628800 30960 33554432000 4194304 4196468 140724625841200 139883173559416 139883967276139 0 4 0 16800975 18446744071582151416 0 0 -1 7 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24861] ppid=24841 vsize=26538700 memory=56 CPUtime=0 cores=0-7
/proc/24843/task/24861/stat : 24861 (java) S 24841 24841 22786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 102169731 27175628800 30960 33554432000 4194304 4196468 140724625841200 139883172510432 139883987887829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24862] ppid=24841 vsize=26538700 memory=12695 CPUtime=0 cores=0-7
/proc/24843/task/24862/stat : 24862 (java) S 24841 24841 22786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 102169731 27175628800 30960 33554432000 4194304 4196468 140724625841200 139883171457968 139883987888770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
Current children cumulated CPU time: 2.7 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 125224 KiB

[startup+0.900947 s]
/proc/loadavg: 8.16 8.20 7.79 6/200 24862
/proc/meminfo: memFree=29072648/32770624 swapFree=67108860/67108860
[pid=24841] ppid=24838 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/24841/stat : 24841 (xcsp3-exec) S 24838 24841 22786 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 102169725 9740288 346 33554432000 4194304 5098028 140736305823168 140736305821272 140542214386300 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38772736 140736305828965 140736305829175 140736305829175 140736305831915 0
/proc/24841/statm: 2378 346 289 221 0 87 0
[pid=24843] ppid=24841 vsize=26804956 memory=198732 CPUtime=3.26 cores=0-7
/proc/24843/stat : 24843 (java) S 24841 24841 22786 0 -1 1077944320 16801 0 0 0 314 12 0 0 20 0 27 0 102169725 27448274944 49683 33554432000 4194304 4196468 140724625841200 140724625823744 139883987877623 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
/proc/24843/statm: 6701239 49683 3243 1 0 6688473 0
[pid=24843/tid=24844] ppid=24841 vsize=26804956 memory=1712 CPUtime=0.66 cores=0-7
/proc/24843/task/24844/stat : 24844 (java) S 24841 24841 22786 0 -1 1077944384 6875 0 0 0 64 2 0 0 20 0 27 0 102169725 27448274944 49683 33554432000 4194304 4196468 140724625841200 139883992118400 139883987887829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24845] ppid=24841 vsize=26804956 memory=1952 CPUtime=0 cores=0-7
/proc/24843/task/24845/stat : 24845 (java) S 24841 24841 22786 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 27 0 102169726 27448274944 49683 33554432000 4194304 4196468 140724625841200 139883940498192 139883987887829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24846] ppid=24841 vsize=26804956 memory=8552 CPUtime=0 cores=0-7
/proc/24843/task/24846/stat : 24846 (java) S 24841 24841 22786 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 27 0 102169726 27448274944 49683 33554432000 4194304 4196468 140724625841200 139883939445648 139883987887829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24847] ppid=24841 vsize=26804956 memory=1224 CPUtime=0 cores=0-7
/proc/24843/task/24847/stat : 24847 (java) S 24841 24841 22786 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 102169726 27448274944 49683 33554432000 4194304 4196468 140724625841200 139883938393104 139883987887829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24848] ppid=24841 vsize=26804956 memory=792 CPUtime=0.01 cores=0-7
/proc/24843/task/24848/stat : 24848 (java) S 24841 24841 22786 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 28 0 102169726 27448274944 49683 33554432000 4194304 4196468 140724625841200 139883937340560 139883987887829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24849] ppid=24841 vsize=26804956 memory=1004 CPUtime=0 cores=0-7
/proc/24843/task/24849/stat : 24849 (java) S 24841 24841 22786 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 28 0 102169726 27448274944 49683 33554432000 4194304 4196468 140724625841200 139883936286992 139883987887829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24850] ppid=24841 vsize=26804956 memory=5296 CPUtime=0 cores=0-7
/proc/24843/task/24850/stat : 24850 (java) S 24841 24841 22786 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 28 0 102169726 27448274944 49683 33554432000 4194304 4196468 140724625841200 139883935234448 139883987887829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24851] ppid=24841 vsize=26804956 memory=1196 CPUtime=0.01 cores=0-7
/proc/24843/task/24851/stat : 24851 (java) S 24841 24841 22786 0 -1 1077944384 23 0 0 0 1 0 0 0 20 0 28 0 102169726 27448274944 49683 33554432000 4194304 4196468 140724625841200 139883934181904 139883987887829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24852] ppid=24841 vsize=26804956 memory=4612 CPUtime=0 cores=0-7
/proc/24843/task/24852/stat : 24852 (java) S 24841 24841 22786 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 102169726 27448274944 49683 33554432000 4194304 4196468 140724625841200 139883933129360 139883987887829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24853] ppid=24841 vsize=26804956 memory=15872 CPUtime=0 cores=0-7
/proc/24843/task/24853/stat : 24853 (java) S 24841 24841 22786 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 28 0 102169728 27448274944 49683 33554432000 4194304 4196468 140724625841200 139883180931568 139883987888770 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24854] ppid=24841 vsize=26804956 memory=18448 CPUtime=0 cores=0-7
/proc/24843/task/24854/stat : 24854 (java) S 24841 24841 22786 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 102169728 27448274944 49683 33554432000 4194304 4196468 140724625841200 139883179877792 139883987887829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24855] ppid=24841 vsize=26804956 memory=16516 CPUtime=0 cores=0-7
/proc/24843/task/24855/stat : 24855 (java) S 24841 24841 22786 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 102169728 27448274944 49683 33554432000 4194304 4196468 140724625841200 139883178825200 139883987887829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24856] ppid=24841 vsize=26804956 memory=4044 CPUtime=0 cores=0-7
/proc/24843/task/24856/stat : 24856 (java) S 24841 24841 22786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 102169731 27448274944 49683 33554432000 4194304 4196468 140724625841200 139883177773776 139883987896219 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24857] ppid=24841 vsize=26804956 memory=1792 CPUtime=0.38 cores=0-7
/proc/24843/task/24857/stat : 24857 (java) R 24841 24841 22786 0 -1 4202560 1575 0 0 0 38 0 0 0 20 0 28 0 102169731 27448274944 49683 33554432000 4194304 4196468 140724625841200 139883176706392 139883969398794 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24858] ppid=24841 vsize=26804956 memory=636 CPUtime=0.41 cores=0-7
/proc/24843/task/24858/stat : 24858 (java) R 24841 24841 22786 0 -1 4202560 1616 0 0 0 41 0 0 0 20 0 28 0 102169731 27448274944 49683 33554432000 4194304 4196468 140724625841200 139883175660312 139883980977323 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24859] ppid=24841 vsize=26804956 memory=956 CPUtime=0.37 cores=0-7
/proc/24843/task/24859/stat : 24859 (java) S 24841 24841 22786 0 -1 1077944384 1196 0 0 0 37 0 0 0 20 0 28 0 102169731 27448274944 49683 33554432000 4194304 4196468 140724625841200 139883174602064 139883987887829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24860] ppid=24841 vsize=26804956 memory=0 CPUtime=0.47 cores=0-7
/proc/24843/task/24860/stat : 24860 (java) S 24841 24841 22786 0 -1 1077944384 1917 0 0 0 47 0 0 0 20 0 28 0 102169731 27448274944 49683 33554432000 4194304 4196468 140724625841200 139883173560528 139883987887829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24861] ppid=24841 vsize=26804956 memory=0 CPUtime=0 cores=0-7
/proc/24843/task/24861/stat : 24861 (java) S 24841 24841 22786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 102169731 27448274944 49683 33554432000 4194304 4196468 140724625841200 139883172510432 139883987887829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
[pid=24843/tid=24862] ppid=24841 vsize=26804956 memory=0 CPUtime=0 cores=0-7
/proc/24843/task/24862/stat : 24862 (java) S 24841 24841 22786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 102169731 27448274944 49683 33554432000 4194304 4196468 140724625841200 139883171457968 139883987888770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39391232 140724625843346 140724625843523 140724625843523 140724625846223 0
Current children cumulated CPU time: 3.26 s
Current children cumulated vsize: 26814468 KiB
Current children cumulated memory: 200116 KiB

Child status: 0
Real time (s): 0.93804
CPU time (s): 3.41157
CPU user time (s): 3.28219
CPU system time (s): 0.129377
CPU usage (%): 363.691
Max. virtual memory (cumulated for all children) (KiB): 26814468
Max. memory (cumulated for all children) (KiB): 200116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.28219
system time used= 0.129377
maximum resident set size= 202212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17553
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3515
involuntary context switches= 23


# summary of solver processes directly reported to runsolver:
#   pid: 24841
#   total CPU time (s): 3.41157
#   total CPU user time (s): 3.28219
#   total CPU system time (s): 0.129377

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.023427 second user time and 0.050767 second system time

The end

Launcher Data 

Begin job on node107 at 2017-08-14 07:52:38
IDJOB=4270637
IDBENCH=122981
IDSOLVER=2662
FILE ID=node107/4270637-1502690817
RUNJOBID= node107-1502678505-22813
PBS_JOBID= 20628982
Free space on /tmp= 61660 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Opd/Opd-sum-small/Opd-10-026-004.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4270637-1502690817/watcher-4270637-1502690817 -o /tmp/evaluation-result-4270637-1502690817/solver-4270637-1502690817 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1502678505-22813 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 460446967 HOME/instance-4270637-1502690817.xml

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

MD5SUM BENCH= 44c4c29eefa1a4780ca7308d927ffa00
RANDOM SEED=460446967

node107.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.84
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.84
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.84
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.84
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:        29125348 kB
MemAvailable:   31988696 kB
Buffers:          187280 kB
Cached:          2964128 kB
SwapCached:            0 kB
Active:           543460 kB
Inactive:        2661616 kB
Active(anon):      56796 kB
Inactive(anon):    24972 kB
Active(file):     486664 kB
Inactive(file):  2636644 kB
Unevictable:        6328 kB
Mlocked:            6328 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7916 kB
Writeback:             0 kB
AnonPages:         70648 kB
Mapped:            44460 kB
Shmem:             25228 kB
Slab:             137140 kB
SReclaimable:     111752 kB
SUnreclaim:        25388 kB
KernelStack:        3216 kB
PageTables:         5088 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     324976 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       91520 kB
DirectMap2M:    33454080 kB

Free space on /tmp at the end= 61652 MiB
End job on node107 at 2017-08-14 07:52:39