Trace number 4399278

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 2019-09-16OPT93 1221.39 307.558

General information on the benchmark

NameTravellingSalesman/TravellingSalesman-m1-n15/
TravellingSalesman-15-30-00.xml
MD5SUM0f9f8d62bc132272af22ef8ddad99d7d
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark93
Best CPU time to get the best result obtained on this benchmark106.813
Satisfiable
(Un)Satisfiability was proved
Number of variables30
Number of constraints16
Number of domains2
Minimum domain size15
Maximum domain size31
Distribution of domain sizes[{"size":15,"count":15},{"size":31,"count":15}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":15},{"degree":3,"count":15}]
Minimum constraint arity3
Maximum constraint arity15
Distribution of constraint arities[{"arity":3,"count":15},{"arity":15,"count":1}]
Number of extensional constraints15
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":15},{"type":"allDifferent","count":1}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4399278-1568698985.xml"  -tl '2520s' -p 4
0.14/0.18	c Choco e747e1e
0.14/0.18	c [HOME/instance-4399278-1568698985.xml, -tl, 2520s, -p, 4]
0.34/0.22	c 4 solvers in parallel
0.34/0.28	c parse instance...
1.03/0.52	c solve instance...
1.03/0.59	o 257 
1.03/0.59	o 158 
1.03/0.60	o 141 
1.03/0.60	o 131 
1.03/0.61	o 130 
1.33/0.64	o 124 
1.33/0.64	o 123 
1.33/0.66	o 120 
1.33/0.66	o 119 
1.64/0.74	o 118 
2.02/0.80	o 117 
2.02/0.81	o 115 
2.02/0.81	o 111 
2.02/0.89	o 110 
2.02/0.89	o 109 
3.19/1.12	o 105 
3.56/1.27	o 104 
4.39/1.44	o 103 
4.39/1.45	o 100 
5.55/1.79	o 96 
19.44/5.26	o 93 
1221.19/307.54	s OPTIMUM FOUND
1221.19/307.54	v <instantiation>
1221.19/307.54	v 	<list>c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] </list>
1221.19/307.54	v 	<values>0 1 4 6 11 12 13 14 10 8 9 7 5 3 2 7 4 8 8 1 8 15 7 5 9 4 8 5 2 2 </values>
1221.19/307.54	v </instantiation>

Verifier Data 

OK	93

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399278-1568698985/watcher-4399278-1568698985 -o /tmp/evaluation-result-4399278-1568698985/solver-4399278-1568698985 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568698283-25924 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1725978719 HOME/instance-4399278-1568698985.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=26351, runsolver pid=26348
Current StackSize limit: 8192 KiB


[startup+0.102512 s]*
/proc/loadavg: 8.73 7.90 4.97 8/234 26367
/proc/meminfo: memFree=30114760/32770624 swapFree=66917056/67108860
[pid=26351] ppid=26348 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/26351/stat : 26351 (xcsp3-exec) S 26348 26351 25893 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445812298 115843072 363 33554432000 4194304 5098028 140723320580240 140723320578344 140230111470204 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32899072 140723320583034 140723320583277 140723320583277 140723320586186 0
/proc/26351/statm: 28282 363 304 221 0 87 0
[pid=26353] ppid=26351 vsize=15144776 memory=29564 CPUtime=0.14 cores=0,2,4,6
/proc/26353/stat : 26353 (java) S 26351 26351 25893 0 -1 1077944320 5838 0 0 0 13 1 0 0 20 0 15 0 445812298 15508250624 7391 33554432000 4194304 4196468 140727994742432 140727994724976 140196767874807 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
/proc/26353/statm: 3786194 7391 3157 1 0 3748377 0
[pid=26353/tid=26354] ppid=26351 vsize=15144776 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/26353/task/26354/stat : 26354 (java) R 26351 26351 25893 0 -1 4202560 3720 0 0 0 9 0 0 0 20 0 15 0 445812298 15508250624 7391 33554432000 4194304 4196468 140727994742432 140196772101824 140196747480064 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26355] ppid=26351 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26353/task/26355/stat : 26355 (java) S 26351 26351 25893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445812299 15508250624 7391 33554432000 4194304 4196468 140727994742432 140196726635536 140196767885013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26356] ppid=26351 vsize=15144776 memory=140692711339648 CPUtime=0 cores=0,2,4,6
/proc/26353/task/26356/stat : 26356 (java) S 26351 26351 25893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445812299 15508250624 7391 33554432000 4194304 4196468 140727994742432 140196359253136 140196767885013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26357] ppid=26351 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26353/task/26357/stat : 26357 (java) S 26351 26351 25893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445812299 15508250624 7391 33554432000 4194304 4196468 140727994742432 140196358200080 140196767885013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26358] ppid=26351 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26353/task/26358/stat : 26358 (java) S 26351 26351 25893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445812299 15508250624 7391 33554432000 4194304 4196468 140727994742432 140196357147536 140196767885013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26359] ppid=26351 vsize=15144776 memory=140692711339648 CPUtime=0 cores=0,2,4,6
/proc/26353/task/26359/stat : 26359 (java) S 26351 26351 25893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445812300 15508250624 7391 33554432000 4194304 4196468 140727994742432 140195641907440 140196767885954 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26360] ppid=26351 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26353/task/26360/stat : 26360 (java) S 26351 26351 25893 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445812301 15508250624 7391 33554432000 4194304 4196468 140727994742432 140195640853664 140196767885013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26361] ppid=26351 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26353/task/26361/stat : 26361 (java) S 26351 26351 25893 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445812301 15508250624 7391 33554432000 4194304 4196468 140727994742432 140195639800560 140196767885013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26362] ppid=26351 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26353/task/26362/stat : 26362 (java) S 26351 26351 25893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445812303 15508250624 7391 33554432000 4194304 4196468 140727994742432 140195638749136 140196767893403 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26363] ppid=26351 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26353/task/26363/stat : 26363 (java) R 26351 26351 25893 0 -1 1077944384 449 0 0 0 0 0 0 0 20 0 15 0 445812303 15508250624 7391 33554432000 4194304 4196468 140727994742432 140195637697264 140196767885954 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26364] ppid=26351 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26353/task/26364/stat : 26364 (java) R 26351 26351 25893 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 15 0 445812303 15508250624 7391 33554432000 4194304 4196468 140727994742432 140195636644720 140196752772391 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26365] ppid=26351 vsize=15144776 memory=140692711339648 CPUtime=0.02 cores=0,2,4,6
/proc/26353/task/26365/stat : 26365 (java) R 26351 26351 25893 0 -1 4202560 363 0 0 0 2 0 0 0 20 0 15 0 445812303 15508250624 7391 33554432000 4194304 4196468 140727994742432 140195635591664 140196745877699 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26366] ppid=26351 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26353/task/26366/stat : 26366 (java) S 26351 26351 25893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445812304 15508250624 7391 33554432000 4194304 4196468 140727994742432 140195634539360 140196767885013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26367] ppid=26351 vsize=15144776 memory=140692711339648 CPUtime=0 cores=0,2,4,6
/proc/26353/task/26367/stat : 26367 (java) R 26351 26351 25893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445812304 15508250624 7391 33554432000 4194304 4196468 140727994742432 140195633486384 140196767885954 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31016 KiB

[startup+0.210865 s]*
/proc/loadavg: 8.73 7.90 4.97 7/234 26367
/proc/meminfo: memFree=30101908/32770624 swapFree=66917056/67108860
[pid=26351] ppid=26348 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/26351/stat : 26351 (xcsp3-exec) S 26348 26351 25893 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445812298 115843072 363 33554432000 4194304 5098028 140723320580240 140723320578344 140230111470204 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32899072 140723320583034 140723320583277 140723320583277 140723320586186 0
/proc/26351/statm: 28282 363 304 221 0 87 0
[pid=26353] ppid=26351 vsize=15144776 memory=40936 CPUtime=0.34 cores=0,2,4,6
/proc/26353/stat : 26353 (java) S 26351 26351 25893 0 -1 1077944320 9489 0 0 0 32 2 0 0 20 0 15 0 445812298 15508250624 10234 33554432000 4194304 4196468 140727994742432 140727994724976 140196767874807 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
/proc/26353/statm: 3786194 10234 3299 1 0 3748377 0
[pid=26353/tid=26354] ppid=26351 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/26353/task/26354/stat : 26354 (java) R 26351 26351 25893 0 -1 4202560 6659 0 0 0 18 2 0 0 20 0 15 0 445812298 15508250624 10234 33554432000 4194304 4196468 140727994742432 140196772108736 140196751955294 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26355] ppid=26351 vsize=15144776 memory=8955 CPUtime=0 cores=0,2,4,6
/proc/26353/task/26355/stat : 26355 (java) S 26351 26351 25893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445812299 15508250624 10234 33554432000 4194304 4196468 140727994742432 140196726635536 140196767885013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26356] ppid=26351 vsize=15144776 memory=3690340533728245408 CPUtime=0 cores=0,2,4,6
/proc/26353/task/26356/stat : 26356 (java) S 26351 26351 25893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445812299 15508250624 10234 33554432000 4194304 4196468 140727994742432 140196359253136 140196767885013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26357] ppid=26351 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26353/task/26357/stat : 26357 (java) S 26351 26351 25893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445812299 15508250624 10234 33554432000 4194304 4196468 140727994742432 140196358200080 140196767885013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26358] ppid=26351 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26353/task/26358/stat : 26358 (java) S 26351 26351 25893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445812299 15508250624 10234 33554432000 4194304 4196468 140727994742432 140196357147536 140196767885013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26359] ppid=26351 vsize=15144776 memory=140692711339648 CPUtime=0 cores=0,2,4,6
/proc/26353/task/26359/stat : 26359 (java) S 26351 26351 25893 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445812300 15508250624 10234 33554432000 4194304 4196468 140727994742432 140195641907440 140196767885954 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26360] ppid=26351 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26353/task/26360/stat : 26360 (java) S 26351 26351 25893 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445812301 15508250624 10234 33554432000 4194304 4196468 140727994742432 140195640853664 140196767885013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26361] ppid=26351 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26353/task/26361/stat : 26361 (java) S 26351 26351 25893 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445812301 15508250624 10234 33554432000 4194304 4196468 140727994742432 140195639800560 140196767885013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26362] ppid=26351 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26353/task/26362/stat : 26362 (java) S 26351 26351 25893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445812303 15508250624 10234 33554432000 4194304 4196468 140727994742432 140195638749136 140196767893403 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26363] ppid=26351 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/26353/task/26363/stat : 26363 (java) S 26351 26351 25893 0 -1 1077944384 691 0 0 0 2 0 0 0 20 0 15 0 445812303 15508250624 10234 33554432000 4194304 4196468 140727994742432 140195637697264 140196767885954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26364] ppid=26351 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/26353/task/26364/stat : 26364 (java) S 26351 26351 25893 0 -1 1077944384 62 0 0 0 2 0 0 0 20 0 15 0 445812303 15508250624 10234 33554432000 4194304 4196468 140727994742432 140195636644720 140196767885954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26365] ppid=26351 vsize=15144776 memory=140692711339648 CPUtime=0.08 cores=0,2,4,6
/proc/26353/task/26365/stat : 26365 (java) S 26351 26351 25893 0 -1 1077944384 771 0 0 0 8 0 0 0 20 0 15 0 445812303 15508250624 10234 33554432000 4194304 4196468 140727994742432 140195635591664 140196767885954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26366] ppid=26351 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26353/task/26366/stat : 26366 (java) S 26351 26351 25893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445812304 15508250624 10234 33554432000 4194304 4196468 140727994742432 140195634539360 140196767885013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26367] ppid=26351 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26353/task/26367/stat : 26367 (java) S 26351 26351 25893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445812304 15508250624 10234 33554432000 4194304 4196468 140727994742432 140195633486384 140196767885954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42388 KiB

[startup+0.318588 s]*
/proc/loadavg: 8.73 7.90 4.97 7/234 26367
/proc/meminfo: memFree=30094252/32770624 swapFree=66917056/67108860
[pid=26351] ppid=26348 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/26351/stat : 26351 (xcsp3-exec) S 26348 26351 25893 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445812298 115843072 363 33554432000 4194304 5098028 140723320580240 140723320578344 140230111470204 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32899072 140723320583034 140723320583277 140723320583277 140723320586186 0
/proc/26351/statm: 28282 363 304 221 0 87 0
[pid=26353] ppid=26351 vsize=15149032 memory=50924 CPUtime=0.54 cores=0,2,4,6
/proc/26353/stat : 26353 (java) S 26351 26351 25893 0 -1 1077944320 10976 0 0 0 51 3 0 0 20 0 15 0 445812298 15512608768 12731 33554432000 4194304 4196468 140727994742432 140727994724976 140196767874807 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
/proc/26353/statm: 3787258 12731 3370 1 0 3748377 0
[pid=26353/tid=26354] ppid=26351 vsize=15149032 memory=6791534058613427641 CPUtime=0.31 cores=0,2,4,6
/proc/26353/task/26354/stat : 26354 (java) R 26351 26351 25893 0 -1 4202560 7913 0 0 0 28 3 0 0 20 0 15 0 445812298 15512608768 12731 33554432000 4194304 4196468 140727994742432 140196772105920 140196751955294 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26355] ppid=26351 vsize=15149032 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/26353/task/26355/stat : 26355 (java) S 26351 26351 25893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445812299 15512608768 12731 33554432000 4194304 4196468 140727994742432 140196726635536 140196767885013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26356] ppid=26351 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/26353/task/26356/stat : 26356 (java) S 26351 26351 25893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445812299 15512608768 12731 33554432000 4194304 4196468 140727994742432 140196359253136 140196767885013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26357] ppid=26351 vsize=15149032 memory=-3040564339105353098 CPUtime=0 cores=0,2,4,6
/proc/26353/task/26357/stat : 26357 (java) S 26351 26351 25893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445812299 15512608768 12731 33554432000 4194304 4196468 140727994742432 140196358200080 140196767885013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26358] ppid=26351 vsize=15149032 memory=7089274314207166114 CPUtime=0 cores=0,2,4,6
/proc/26353/task/26358/stat : 26358 (java) S 26351 26351 25893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445812299 15512608768 12731 33554432000 4194304 4196468 140727994742432 140196357147536 140196767885013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26359] ppid=26351 vsize=15149032 memory=6944656591801720471 CPUtime=0 cores=0,2,4,6
/proc/26353/task/26359/stat : 26359 (java) S 26351 26351 25893 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445812300 15512608768 12731 33554432000 4194304 4196468 140727994742432 140195641907440 140196767885954 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26360] ppid=26351 vsize=15149032 memory=-8458152057954561420 CPUtime=0 cores=0,2,4,6
/proc/26353/task/26360/stat : 26360 (java) S 26351 26351 25893 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445812301 15512608768 12731 33554432000 4194304 4196468 140727994742432 140195640853664 140196767885013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26361] ppid=26351 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/26353/task/26361/stat : 26361 (java) S 26351 26351 25893 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445812301 15512608768 12731 33554432000 4194304 4196468 140727994742432 140195639800560 140196767885013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26362] ppid=26351 vsize=15149032 memory=7031125463459224206 CPUtime=0 cores=0,2,4,6
/proc/26353/task/26362/stat : 26362 (java) S 26351 26351 25893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445812303 15512608768 12731 33554432000 4194304 4196468 140727994742432 140195638749136 140196767893403 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26363] ppid=26351 vsize=15149032 memory=4426078206164241782 CPUtime=0.05 cores=0,2,4,6
/proc/26353/task/26363/stat : 26363 (java) S 26351 26351 25893 0 -1 1077944384 827 0 0 0 5 0 0 0 20 0 15 0 445812303 15512608768 12731 33554432000 4194304 4196468 140727994742432 140195637697264 140196767885954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26364] ppid=26351 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/26353/task/26364/stat : 26364 (java) S 26351 26351 25893 0 -1 1077944384 71 0 0 0 3 0 0 0 20 0 15 0 445812303 15512608768 12739 33554432000 4194304 4196468 140727994742432 140195636644720 140196767885954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26365] ppid=26351 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/26353/task/26365/stat : 26365 (java) S 26351 26351 25893 0 -1 1077944384 858 0 0 0 12 0 0 0 20 0 15 0 445812303 15512608768 12739 33554432000 4194304 4196468 140727994742432 140195635591664 140196767885954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26366] ppid=26351 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26353/task/26366/stat : 26366 (java) S 26351 26351 25893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445812304 15512608768 12739 33554432000 4194304 4196468 140727994742432 140195634539360 140196767885013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26367] ppid=26351 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26353/task/26367/stat : 26367 (java) S 26351 26351 25893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445812304 15512608768 12739 33554432000 4194304 4196468 140727994742432 140195633486384 140196767885954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 52376 KiB

[startup+0.701583 s]
/proc/loadavg: 8.73 7.90 4.97 9/234 26367
/proc/meminfo: memFree=30079160/32770624 swapFree=66917056/67108860
[pid=26351] ppid=26348 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/26351/stat : 26351 (xcsp3-exec) S 26348 26351 25893 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445812298 115843072 363 33554432000 4194304 5098028 140723320580240 140723320578344 140230111470204 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32899072 140723320583034 140723320583277 140723320583277 140723320586186 0
/proc/26351/statm: 28282 363 304 221 0 87 0
[pid=26353] ppid=26351 vsize=15550540 memory=155172 CPUtime=1.64 cores=0,2,4,6
/proc/26353/stat : 26353 (java) S 26351 26351 25893 0 -1 1077944320 15167 0 0 0 158 6 0 0 20 0 19 0 445812298 15923752960 38793 33554432000 4194304 4196468 140727994742432 140727994724976 140196767874807 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
/proc/26353/statm: 3887635 38793 3459 1 0 3848735 0
[pid=26353/tid=26354] ppid=26351 vsize=15550540 memory=48336 CPUtime=0.51 cores=0,2,4,6
/proc/26353/task/26354/stat : 26354 (java) S 26351 26351 25893 0 -1 1077944384 9173 0 0 0 48 3 0 0 20 0 19 0 445812298 15923752960 38793 33554432000 4194304 4196468 140727994742432 140196772115584 140196767885013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26355] ppid=26351 vsize=15550540 memory=2020 CPUtime=0 cores=0,2,4,6
/proc/26353/task/26355/stat : 26355 (java) S 26351 26351 25893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 445812299 15923752960 38793 33554432000 4194304 4196468 140727994742432 140196726635536 140196767885013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26356] ppid=26351 vsize=15550540 memory=988 CPUtime=0 cores=0,2,4,6
/proc/26353/task/26356/stat : 26356 (java) S 26351 26351 25893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445812299 15923752960 38793 33554432000 4194304 4196468 140727994742432 140196359253136 140196767885013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26357] ppid=26351 vsize=15550540 memory=1368 CPUtime=0 cores=0,2,4,6
/proc/26353/task/26357/stat : 26357 (java) S 26351 26351 25893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445812299 15923752960 38793 33554432000 4194304 4196468 140727994742432 140196358200080 140196767885013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26358] ppid=26351 vsize=15550540 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/26353/task/26358/stat : 26358 (java) S 26351 26351 25893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 445812299 15923752960 38793 33554432000 4194304 4196468 140727994742432 140196357147536 140196767885013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26359] ppid=26351 vsize=15550540 memory=1716 CPUtime=0 cores=0,2,4,6
/proc/26353/task/26359/stat : 26359 (java) S 26351 26351 25893 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 445812300 15923752960 38793 33554432000 4194304 4196468 140727994742432 140195641907440 140196767885954 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26360] ppid=26351 vsize=15550540 memory=6032 CPUtime=0 cores=0,2,4,6
/proc/26353/task/26360/stat : 26360 (java) S 26351 26351 25893 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 445812301 15923752960 38793 33554432000 4194304 4196468 140727994742432 140195640853664 140196767885013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26361] ppid=26351 vsize=15550540 memory=11416 CPUtime=0 cores=0,2,4,6
/proc/26353/task/26361/stat : 26361 (java) S 26351 26351 25893 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 445812301 15923752960 38793 33554432000 4194304 4196468 140727994742432 140195639800560 140196767885013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26362] ppid=26351 vsize=15550540 memory=768 CPUtime=0 cores=0,2,4,6
/proc/26353/task/26362/stat : 26362 (java) S 26351 26351 25893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445812303 15923752960 38793 33554432000 4194304 4196468 140727994742432 140195638749136 140196767893403 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26363] ppid=26351 vsize=15550540 memory=776 CPUtime=0.24 cores=0,2,4,6
/proc/26353/task/26363/stat : 26363 (java) R 26351 26351 25893 0 -1 4202560 1531 0 0 0 24 0 0 0 20 0 19 0 445812303 15923752960 38793 33554432000 4194304 4196468 140727994742432 140195637678280 140196751406339 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26364] ppid=26351 vsize=15550540 memory=1560 CPUtime=0.23 cores=0,2,4,6
/proc/26353/task/26364/stat : 26364 (java) R 26351 26351 25893 0 -1 4202560 557 0 0 0 23 0 0 0 20 0 19 0 445812303 15923752960 38793 33554432000 4194304 4196468 140727994742432 140195636637912 140196745469552 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26365] ppid=26351 vsize=15550540 memory=4040 CPUtime=0.32 cores=0,2,4,6
/proc/26353/task/26365/stat : 26365 (java) R 26351 26351 25893 0 -1 4202560 1671 0 0 0 32 0 0 0 20 0 19 0 445812303 15923752960 38793 33554432000 4194304 4196468 140727994742432 140195635587392 140196751955265 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26366] ppid=26351 vsize=15550540 memory=1112 CPUtime=0 cores=0,2,4,6
/proc/26353/task/26366/stat : 26366 (java) S 26351 26351 25893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445812304 15923752960 38793 33554432000 4194304 4196468 140727994742432 140195634539360 140196767885013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26367] ppid=26351 vsize=15550540 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/26353/task/26367/stat : 26367 (java) S 26351 26351 25893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445812304 15923752960 38793 33554432000 4194304 4196468 140727994742432 140195633486384 140196767885954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
Current children cumulated CPU time: 1.64 s
Current children cumulated vsize: 15663668 KiB
Current children cumulated memory: 156624 KiB

[startup+1.50859 s]
/proc/loadavg: 8.73 7.90 4.97 13/238 26431
/proc/meminfo: memFree=29953976/32770624 swapFree=66917056/67108860
[pid=26351] ppid=26348 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/26351/stat : 26351 (xcsp3-exec) S 26348 26351 25893 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445812298 115843072 363 33554432000 4194304 5098028 140723320580240 140723320578344 140230111470204 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32899072 140723320583034 140723320583277 140723320583277 140723320586186 0
/proc/26351/statm: 28282 363 304 221 0 87 0

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

/proc/26353/task/26367/stat : 26367 (java) S 26351 26351 25893 0 -1 1077944384 947 0 0 0 0 4 0 0 20 0 19 0 445812304 15923752960 96469 33554432000 4194304 4196468 140727994742432 140195633486384 140196767885954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 18 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26453] ppid=26351 vsize=15550540 memory=988 CPUtime=298.04 cores=0,2,4,6
/proc/26353/task/26453/stat : 26453 (java) R 26351 26351 25893 0 -1 4202560 885 0 0 0 29804 0 0 0 20 0 19 0 445812824 15923752960 96469 33554432000 4194304 4196468 140727994742432 140195624267520 140196408122238 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26454] ppid=26351 vsize=15550540 memory=1368 CPUtime=298.22 cores=0,2,4,6
/proc/26353/task/26454/stat : 26454 (java) R 26351 26351 25893 0 -1 4202560 2315 0 0 0 29821 1 0 0 20 0 19 0 445812824 15923752960 96469 33554432000 4194304 4196468 140727994742432 140195622166080 140196408121509 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26455] ppid=26351 vsize=15550540 memory=226430675897838 CPUtime=298.13 cores=0,2,4,6
/proc/26353/task/26455/stat : 26455 (java) R 26351 26351 25893 0 -1 4202560 2661 0 0 0 29813 0 0 0 20 0 19 0 445812824 15923752960 96469 33554432000 4194304 4196468 140727994742432 140195619007880 140196409963293 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26456] ppid=26351 vsize=15550540 memory=281385187152944 CPUtime=297.53 cores=0,2,4,6
/proc/26353/task/26456/stat : 26456 (java) R 26351 26351 25893 0 -1 4202560 1702 0 0 0 29753 0 0 0 20 0 19 0 445812824 15923752960 96469 33554432000 4194304 4196468 140727994742432 140195623215232 140196408121882 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
Current children cumulated CPU time: 1214.02 s
Current children cumulated vsize: 15663668 KiB
Current children cumulated memory: 387328 KiB

[startup+306.502 s]
/proc/loadavg: 8.84 8.37 5.98 9/237 26480
/proc/meminfo: memFree=28501768/32770624 swapFree=66917056/67108860
[pid=26351] ppid=26348 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/26351/stat : 26351 (xcsp3-exec) S 26348 26351 25893 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445812298 115843072 363 33554432000 4194304 5098028 140723320580240 140723320578344 140230111470204 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32899072 140723320583034 140723320583277 140723320583277 140723320586186 0
/proc/26351/statm: 28282 363 304 221 0 87 0
[pid=26353] ppid=26351 vsize=15550540 memory=385876 CPUtime=1217.2 cores=0,2,4,6
/proc/26353/stat : 26353 (java) S 26351 26351 25893 0 -1 1077944320 64187 0 0 0 121691 29 0 0 20 0 19 0 445812298 15923752960 96469 33554432000 4194304 4196468 140727994742432 140727994724976 140196767874807 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
/proc/26353/statm: 3887635 96469 3518 1 0 3848735 0
[pid=26353/tid=26354] ppid=26351 vsize=15550540 memory=281385187153136 CPUtime=0.52 cores=0,2,4,6
/proc/26353/task/26354/stat : 26354 (java) S 26351 26351 25893 0 -1 1077944384 9338 0 0 0 49 3 0 0 20 0 19 0 445812298 15923752960 96469 33554432000 4194304 4196468 140727994742432 140196772115584 140196767885013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26355] ppid=26351 vsize=15550540 memory=281385187769456 CPUtime=0.32 cores=0,2,4,6
/proc/26353/task/26355/stat : 26355 (java) S 26351 26351 25893 0 -1 1077944384 2514 0 0 0 29 3 0 0 20 0 19 0 445812299 15923752960 96469 33554432000 4194304 4196468 140727994742432 140196726635536 140196767885013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26356] ppid=26351 vsize=15550540 memory=281385187769520 CPUtime=0.33 cores=0,2,4,6
/proc/26353/task/26356/stat : 26356 (java) S 26351 26351 25893 0 -1 1077944384 926 0 0 0 30 3 0 0 20 0 19 0 445812299 15923752960 96469 33554432000 4194304 4196468 140727994742432 140196359253136 140196767885013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26357] ppid=26351 vsize=15550540 memory=1452 CPUtime=0.33 cores=0,2,4,6
/proc/26353/task/26357/stat : 26357 (java) S 26351 26351 25893 0 -1 1077944384 1556 0 0 0 29 4 0 0 20 0 19 0 445812299 15923752960 96469 33554432000 4194304 4196468 140727994742432 140196358200080 140196767885013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26358] ppid=26351 vsize=15550540 memory=385876 CPUtime=0.33 cores=0,2,4,6
/proc/26353/task/26358/stat : 26358 (java) S 26351 26351 25893 0 -1 1077944384 960 0 0 0 29 4 0 0 20 0 19 0 445812299 15923752960 96469 33554432000 4194304 4196468 140727994742432 140196357147536 140196767885013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26359] ppid=26351 vsize=15550540 memory=6944652027076318631 CPUtime=0.23 cores=0,2,4,6
/proc/26353/task/26359/stat : 26359 (java) S 26351 26351 25893 0 -1 1077944384 2231 0 0 0 21 2 0 0 20 0 19 0 445812300 15923752960 96469 33554432000 4194304 4196468 140727994742432 140195641907440 140196767885954 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26360] ppid=26351 vsize=15550540 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/26353/task/26360/stat : 26360 (java) S 26351 26351 25893 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 19 0 445812301 15923752960 96469 33554432000 4194304 4196468 140727994742432 140195640853728 140196767885013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26361] ppid=26351 vsize=15550540 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26353/task/26361/stat : 26361 (java) S 26351 26351 25893 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 445812301 15923752960 96469 33554432000 4194304 4196468 140727994742432 140195639800576 140196767885013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26362] ppid=26351 vsize=15550540 memory=381664 CPUtime=0 cores=0,2,4,6
/proc/26353/task/26362/stat : 26362 (java) S 26351 26351 25893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445812303 15923752960 96469 33554432000 4194304 4196468 140727994742432 140195638749136 140196767893403 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26363] ppid=26351 vsize=15550540 memory=383828 CPUtime=1.88 cores=0,2,4,6
/proc/26353/task/26363/stat : 26363 (java) S 26351 26351 25893 0 -1 1077944384 12413 0 0 0 187 1 0 0 20 0 19 0 445812303 15923752960 96469 33554432000 4194304 4196468 140727994742432 140195637697264 140196767885954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 15 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26364] ppid=26351 vsize=15550540 memory=1452 CPUtime=2.03 cores=0,2,4,6
/proc/26353/task/26364/stat : 26364 (java) S 26351 26351 25893 0 -1 1077944384 15116 0 0 0 202 1 0 0 20 0 19 0 445812303 15923752960 96469 33554432000 4194304 4196468 140727994742432 140195636644720 140196767885954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26365] ppid=26351 vsize=15550540 memory=369376 CPUtime=0.59 cores=0,2,4,6
/proc/26353/task/26365/stat : 26365 (java) S 26351 26351 25893 0 -1 1077944384 6322 0 0 0 59 0 0 0 20 0 19 0 445812303 15923752960 96469 33554432000 4194304 4196468 140727994742432 140195635591664 140196767885954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 20 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26366] ppid=26351 vsize=15550540 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/26353/task/26366/stat : 26366 (java) S 26351 26351 25893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445812304 15923752960 96469 33554432000 4194304 4196468 140727994742432 140195634539360 140196767885013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26367] ppid=26351 vsize=15550540 memory=1660 CPUtime=0.04 cores=0,2,4,6
/proc/26353/task/26367/stat : 26367 (java) S 26351 26351 25893 0 -1 1077944384 947 0 0 0 0 4 0 0 20 0 19 0 445812304 15923752960 96469 33554432000 4194304 4196468 140727994742432 140195633486384 140196767885954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 18 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26453] ppid=26351 vsize=15550540 memory=111632 CPUtime=298.84 cores=0,2,4,6
/proc/26353/task/26453/stat : 26453 (java) R 26351 26351 25893 0 -1 4202560 888 0 0 0 29884 0 0 0 20 0 19 0 445812824 15923752960 96469 33554432000 4194304 4196468 140727994742432 140195624267240 140196408947010 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26454] ppid=26351 vsize=15550540 memory=796 CPUtime=299.01 cores=0,2,4,6
/proc/26353/task/26454/stat : 26454 (java) R 26351 26351 25893 0 -1 4202560 2319 0 0 0 29900 1 0 0 20 0 19 0 445812824 15923752960 96469 33554432000 4194304 4196468 140727994742432 140195622164944 140196405305752 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26455] ppid=26351 vsize=15550540 memory=776 CPUtime=298.91 cores=0,2,4,6
/proc/26353/task/26455/stat : 26455 (java) R 26351 26351 25893 0 -1 4202560 2670 0 0 0 29891 0 0 0 20 0 19 0 445812824 15923752960 96469 33554432000 4194304 4196468 140727994742432 140195619004776 140196408940713 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26456] ppid=26351 vsize=15550540 memory=1560 CPUtime=298.33 cores=0,2,4,6
/proc/26353/task/26456/stat : 26456 (java) R 26351 26351 25893 0 -1 4202560 1711 0 0 0 29833 0 0 0 20 0 19 0 445812824 15923752960 96469 33554432000 4194304 4196468 140727994742432 140195623214752 140196408121923 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
Current children cumulated CPU time: 1217.2 s
Current children cumulated vsize: 15663668 KiB
Current children cumulated memory: 387328 KiB

[startup+307.302 s]
/proc/loadavg: 8.84 8.37 5.98 5/216 26480
/proc/meminfo: memFree=29960280/32770624 swapFree=66917056/67108860
[pid=26351] ppid=26348 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/26351/stat : 26351 (xcsp3-exec) S 26348 26351 25893 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445812298 115843072 363 33554432000 4194304 5098028 140723320580240 140723320578344 140230111470204 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32899072 140723320583034 140723320583277 140723320583277 140723320586186 0
/proc/26351/statm: 28282 363 304 221 0 87 0
[pid=26353] ppid=26351 vsize=15550540 memory=385876 CPUtime=1220.39 cores=0,2,4,6
/proc/26353/stat : 26353 (java) S 26351 26351 25893 0 -1 1077944320 64188 0 0 0 122010 29 0 0 20 0 19 0 445812298 15923752960 96469 33554432000 4194304 4196468 140727994742432 140727994724976 140196767874807 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
/proc/26353/statm: 3887635 96469 3518 1 0 3848735 0
[pid=26353/tid=26354] ppid=26351 vsize=15550540 memory=1560 CPUtime=0.52 cores=0,2,4,6
/proc/26353/task/26354/stat : 26354 (java) S 26351 26351 25893 0 -1 1077944384 9338 0 0 0 49 3 0 0 20 0 19 0 445812298 15923752960 96469 33554432000 4194304 4196468 140727994742432 140196772115584 140196767885013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26355] ppid=26351 vsize=15550540 memory=4040 CPUtime=0.32 cores=0,2,4,6
/proc/26353/task/26355/stat : 26355 (java) S 26351 26351 25893 0 -1 1077944384 2514 0 0 0 29 3 0 0 20 0 19 0 445812299 15923752960 96469 33554432000 4194304 4196468 140727994742432 140196726635536 140196767885013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26356] ppid=26351 vsize=15550540 memory=56 CPUtime=0.33 cores=0,2,4,6
/proc/26353/task/26356/stat : 26356 (java) S 26351 26351 25893 0 -1 1077944384 926 0 0 0 30 3 0 0 20 0 19 0 445812299 15923752960 96469 33554432000 4194304 4196468 140727994742432 140196359253136 140196767885013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26357] ppid=26351 vsize=15550540 memory=5041 CPUtime=0.33 cores=0,2,4,6
/proc/26353/task/26357/stat : 26357 (java) S 26351 26351 25893 0 -1 1077944384 1556 0 0 0 29 4 0 0 20 0 19 0 445812299 15923752960 96469 33554432000 4194304 4196468 140727994742432 140196358200080 140196767885013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26358] ppid=26351 vsize=15550540 memory=2833 CPUtime=0.33 cores=0,2,4,6
/proc/26353/task/26358/stat : 26358 (java) S 26351 26351 25893 0 -1 1077944384 960 0 0 0 29 4 0 0 20 0 19 0 445812299 15923752960 96469 33554432000 4194304 4196468 140727994742432 140196357147536 140196767885013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26359] ppid=26351 vsize=15550540 memory=6791534058613427641 CPUtime=0.23 cores=0,2,4,6
/proc/26353/task/26359/stat : 26359 (java) S 26351 26351 25893 0 -1 1077944384 2231 0 0 0 21 2 0 0 20 0 19 0 445812300 15923752960 96469 33554432000 4194304 4196468 140727994742432 140195641907440 140196767885954 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26360] ppid=26351 vsize=15550540 memory=11416 CPUtime=0 cores=0,2,4,6
/proc/26353/task/26360/stat : 26360 (java) S 26351 26351 25893 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 19 0 445812301 15923752960 96469 33554432000 4194304 4196468 140727994742432 140195640853728 140196767885013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26361] ppid=26351 vsize=15550540 memory=768 CPUtime=0 cores=0,2,4,6
/proc/26353/task/26361/stat : 26361 (java) S 26351 26351 25893 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 445812301 15923752960 96469 33554432000 4194304 4196468 140727994742432 140195639800576 140196767885013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26362] ppid=26351 vsize=15550540 memory=776 CPUtime=0 cores=0,2,4,6
/proc/26353/task/26362/stat : 26362 (java) S 26351 26351 25893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445812303 15923752960 96469 33554432000 4194304 4196468 140727994742432 140195638749136 140196767893403 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26363] ppid=26351 vsize=15550540 memory=-3622645143214314312 CPUtime=1.88 cores=0,2,4,6
/proc/26353/task/26363/stat : 26363 (java) S 26351 26351 25893 0 -1 1077944384 12413 0 0 0 187 1 0 0 20 0 19 0 445812303 15923752960 96469 33554432000 4194304 4196468 140727994742432 140195637697264 140196767885954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 15 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26364] ppid=26351 vsize=15550540 memory=492 CPUtime=2.03 cores=0,2,4,6
/proc/26353/task/26364/stat : 26364 (java) S 26351 26351 25893 0 -1 1077944384 15116 0 0 0 202 1 0 0 20 0 19 0 445812303 15923752960 96469 33554432000 4194304 4196468 140727994742432 140195636644720 140196767885954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26365] ppid=26351 vsize=15550540 memory=1560 CPUtime=0.59 cores=0,2,4,6
/proc/26353/task/26365/stat : 26365 (java) S 26351 26351 25893 0 -1 1077944384 6322 0 0 0 59 0 0 0 20 0 19 0 445812303 15923752960 96469 33554432000 4194304 4196468 140727994742432 140195635591664 140196767885954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 20 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26366] ppid=26351 vsize=15550540 memory=932 CPUtime=0 cores=0,2,4,6
/proc/26353/task/26366/stat : 26366 (java) S 26351 26351 25893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445812304 15923752960 96469 33554432000 4194304 4196468 140727994742432 140195634539360 140196767885013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26367] ppid=26351 vsize=15550540 memory=6791534058613427641 CPUtime=0.04 cores=0,2,4,6
/proc/26353/task/26367/stat : 26367 (java) S 26351 26351 25893 0 -1 1077944384 947 0 0 0 0 4 0 0 20 0 19 0 445812304 15923752960 96469 33554432000 4194304 4196468 140727994742432 140195633486384 140196767885954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 18 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26453] ppid=26351 vsize=15550540 memory=896 CPUtime=299.63 cores=0,2,4,6
/proc/26353/task/26453/stat : 26453 (java) R 26351 26351 25893 0 -1 4202560 888 0 0 0 29963 0 0 0 20 0 19 0 445812824 15923752960 96469 33554432000 4194304 4196468 140727994742432 140195624267240 140196408121701 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26454] ppid=26351 vsize=15550540 memory=1980 CPUtime=299.81 cores=0,2,4,6
/proc/26353/task/26454/stat : 26454 (java) R 26351 26351 25893 0 -1 4202560 2319 0 0 0 29980 1 0 0 20 0 19 0 445812824 15923752960 96469 33554432000 4194304 4196468 140727994742432 140195622164944 140196408122145 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26455] ppid=26351 vsize=15550540 memory=2520 CPUtime=299.71 cores=0,2,4,6
/proc/26353/task/26455/stat : 26455 (java) R 26351 26351 25893 0 -1 4202560 2671 0 0 0 29971 0 0 0 20 0 19 0 445812824 15923752960 96469 33554432000 4194304 4196468 140727994742432 140195619004776 140196408122219 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26456] ppid=26351 vsize=15550540 memory=6791534058613427641 CPUtime=299.13 cores=0,2,4,6
/proc/26353/task/26456/stat : 26456 (java) R 26351 26351 25893 0 -1 4202560 1711 0 0 0 29913 0 0 0 20 0 19 0 445812824 15923752960 96469 33554432000 4194304 4196468 140727994742432 140195623214640 140196409100966 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
Current children cumulated CPU time: 1220.39 s
Current children cumulated vsize: 15663668 KiB
Current children cumulated memory: 387328 KiB

[startup+307.502 s]
/proc/loadavg: 8.84 8.37 5.98 5/216 26480
/proc/meminfo: memFree=29960280/32770624 swapFree=66917056/67108860
[pid=26351] ppid=26348 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/26351/stat : 26351 (xcsp3-exec) S 26348 26351 25893 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445812298 115843072 363 33554432000 4194304 5098028 140723320580240 140723320578344 140230111470204 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32899072 140723320583034 140723320583277 140723320583277 140723320586186 0
/proc/26351/statm: 28282 363 304 221 0 87 0
[pid=26353] ppid=26351 vsize=15550540 memory=385876 CPUtime=1221.19 cores=0,2,4,6
/proc/26353/stat : 26353 (java) S 26351 26351 25893 0 -1 1077944320 64350 0 0 0 122090 29 0 0 20 0 19 0 445812298 15923752960 96469 33554432000 4194304 4196468 140727994742432 140727994724976 140196767874807 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
/proc/26353/statm: 3887635 96469 3518 1 0 3848735 0
[pid=26353/tid=26354] ppid=26351 vsize=15550540 memory=369376 CPUtime=0.52 cores=0,2,4,6
/proc/26353/task/26354/stat : 26354 (java) S 26351 26351 25893 0 -1 1077944384 9338 0 0 0 49 3 0 0 20 0 19 0 445812298 15923752960 96469 33554432000 4194304 4196468 140727994742432 140196772115584 140196767885013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26355] ppid=26351 vsize=15550540 memory=6791534058613427641 CPUtime=0.32 cores=0,2,4,6
/proc/26353/task/26355/stat : 26355 (java) S 26351 26351 25893 0 -1 1077944384 2522 0 0 0 29 3 0 0 20 0 19 0 445812299 15923752960 96469 33554432000 4194304 4196468 140727994742432 140196726635536 140196767885013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26356] ppid=26351 vsize=15550540 memory=1452 CPUtime=0.33 cores=0,2,4,6
/proc/26353/task/26356/stat : 26356 (java) S 26351 26351 25893 0 -1 1077944384 926 0 0 0 30 3 0 0 20 0 19 0 445812299 15923752960 96469 33554432000 4194304 4196468 140727994742432 140196359253136 140196767885013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26357] ppid=26351 vsize=15550540 memory=0 CPUtime=0.33 cores=0,2,4,6
/proc/26353/task/26357/stat : 26357 (java) S 26351 26351 25893 0 -1 1077944384 1580 0 0 0 29 4 0 0 20 0 19 0 445812299 15923752960 96469 33554432000 4194304 4196468 140727994742432 140196358200080 140196767885013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26358] ppid=26351 vsize=15550540 memory=3316 CPUtime=0.33 cores=0,2,4,6
/proc/26353/task/26358/stat : 26358 (java) S 26351 26351 25893 0 -1 1077944384 969 0 0 0 29 4 0 0 20 0 19 0 445812299 15923752960 96469 33554432000 4194304 4196468 140727994742432 140196357147536 140196767885013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26359] ppid=26351 vsize=15550540 memory=6791534058613427641 CPUtime=0.23 cores=0,2,4,6
/proc/26353/task/26359/stat : 26359 (java) S 26351 26351 25893 0 -1 1077944384 2349 0 0 0 21 2 0 0 20 0 19 0 445812300 15923752960 96469 33554432000 4194304 4196468 140727994742432 140195641907440 140196767885954 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26360] ppid=26351 vsize=15550540 memory=1716 CPUtime=0 cores=0,2,4,6
/proc/26353/task/26360/stat : 26360 (java) S 26351 26351 25893 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 19 0 445812301 15923752960 96469 33554432000 4194304 4196468 140727994742432 140195640853728 140196767885013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26361] ppid=26351 vsize=15550540 memory=6032 CPUtime=0 cores=0,2,4,6
/proc/26353/task/26361/stat : 26361 (java) S 26351 26351 25893 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 445812301 15923752960 96469 33554432000 4194304 4196468 140727994742432 140195639800576 140196767885013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26362] ppid=26351 vsize=15550540 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26353/task/26362/stat : 26362 (java) S 26351 26351 25893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445812303 15923752960 96469 33554432000 4194304 4196468 140727994742432 140195638749136 140196767893403 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26363] ppid=26351 vsize=15550540 memory=281385186607808 CPUtime=1.88 cores=0,2,4,6
/proc/26353/task/26363/stat : 26363 (java) S 26351 26351 25893 0 -1 1077944384 12413 0 0 0 187 1 0 0 20 0 19 0 445812303 15923752960 96469 33554432000 4194304 4196468 140727994742432 140195637697264 140196767885954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 15 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26364] ppid=26351 vsize=15550540 memory=-6454338467431146081 CPUtime=2.03 cores=0,2,4,6
/proc/26353/task/26364/stat : 26364 (java) S 26351 26351 25893 0 -1 1077944384 15116 0 0 0 202 1 0 0 20 0 19 0 445812303 15923752960 96469 33554432000 4194304 4196468 140727994742432 140195636644720 140196767885954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26365] ppid=26351 vsize=15550540 memory=-2098775911743863648 CPUtime=0.59 cores=0,2,4,6
/proc/26353/task/26365/stat : 26365 (java) S 26351 26351 25893 0 -1 1077944384 6322 0 0 0 59 0 0 0 20 0 19 0 445812303 15923752960 96469 33554432000 4194304 4196468 140727994742432 140195635591664 140196767885954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 20 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26366] ppid=26351 vsize=15550540 memory=7594289882393305953 CPUtime=0 cores=0,2,4,6
/proc/26353/task/26366/stat : 26366 (java) S 26351 26351 25893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445812304 15923752960 96469 33554432000 4194304 4196468 140727994742432 140195634539360 140196767885013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26367] ppid=26351 vsize=15550540 memory=4040 CPUtime=0.04 cores=0,2,4,6
/proc/26353/task/26367/stat : 26367 (java) S 26351 26351 25893 0 -1 1077944384 947 0 0 0 0 4 0 0 20 0 19 0 445812304 15923752960 96469 33554432000 4194304 4196468 140727994742432 140195633486384 140196767885954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 18 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26453] ppid=26351 vsize=15550540 memory=1112 CPUtime=299.82 cores=0,2,4,6
/proc/26353/task/26453/stat : 26453 (java) R 26351 26351 25893 0 -1 4202560 889 0 0 0 29982 0 0 0 20 0 19 0 445812824 15923752960 96469 33554432000 4194304 4196468 140727994742432 140195624267752 140196408121418 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26454] ppid=26351 vsize=15550540 memory=2828 CPUtime=300.01 cores=0,2,4,6
/proc/26353/task/26454/stat : 26454 (java) R 26351 26351 25893 0 -1 4202560 2319 0 0 0 30000 1 0 0 20 0 19 0 445812824 15923752960 96469 33554432000 4194304 4196468 140727994742432 140195622165328 140196409184068 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26455] ppid=26351 vsize=15550540 memory=1212 CPUtime=299.91 cores=0,2,4,6
/proc/26353/task/26455/stat : 26455 (java) R 26351 26351 25893 0 -1 4202560 2673 0 0 0 29991 0 0 0 20 0 19 0 445812824 15923752960 96469 33554432000 4194304 4196468 140727994742432 140195619004400 140196408823960 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
[pid=26353/tid=26456] ppid=26351 vsize=15550540 memory=14008 CPUtime=299.33 cores=0,2,4,6
/proc/26353/task/26456/stat : 26456 (java) R 26351 26351 25893 0 -1 4202560 1711 0 0 0 29933 0 0 0 20 0 19 0 445812824 15923752960 96469 33554432000 4194304 4196468 140727994742432 140195623214752 140196410870366 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34635776 140727994745839 140727994746010 140727994746010 140727994748879 0
Current children cumulated CPU time: 1221.19 s
Current children cumulated vsize: 15663668 KiB
Current children cumulated memory: 387328 KiB

Child status: 0
Real time (s): 307.558
CPU time (s): 1221.39
CPU user time (s): 1221.08
CPU system time (s): 0.308717
CPU usage (%): 397.124
Max. virtual memory (cumulated for all children) (KiB): 15663668
Max. memory (cumulated for all children) (KiB): 387328

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1221.08
system time used= 0.308717
maximum resident set size= 385964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65896
page faults= 0
swaps= 0
block input operations= 16
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18537
involuntary context switches= 22421


# summary of solver processes directly reported to runsolver:
#   pid: 26351
#   total CPU time (s): 1221.39
#   total CPU user time (s): 1221.08
#   total CPU system time (s): 0.308717

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.8091 second user time and 3.44528 second system time

The end

Launcher Data 

Begin job on node147 at 2019-09-17 07:42:21
IDJOB=4399278
IDBENCH=135739
IDSOLVER=2853
FILE ID=node147/4399278-1568698985
RUNJOBID= node147-1568698283-25924
PBS_JOBID= 21703812
Free space on /tmp= 58856 MiB

SOLVER NAME= choco-solver 2019-09-16
BENCH NAME= XCSP17/TravellingSalesman/TravellingSalesman-m1-n15/TravellingSalesman-15-30-00.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4399278-1568698985/watcher-4399278-1568698985 -o /tmp/evaluation-result-4399278-1568698985/solver-4399278-1568698985 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568698283-25924 --watchdog 2580  xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1725978719 HOME/instance-4399278-1568698985.xml

TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 0f9f8d62bc132272af22ef8ddad99d7d
RANDOM SEED=1725978719

node147.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.52
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.52
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.52
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.52
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:        30131436 kB
MemAvailable:   31600612 kB
Buffers:          107464 kB
Cached:          1653512 kB
SwapCached:        87660 kB
Active:          1169044 kB
Inactive:         888712 kB
Active(anon):     212268 kB
Inactive(anon):   133760 kB
Active(file):     956776 kB
Inactive(file):   754952 kB
Unevictable:      108656 kB
Mlocked:          108656 kB
SwapTotal:      67108860 kB
SwapFree:       66917056 kB
Dirty:             26356 kB
Writeback:             0 kB
AnonPages:        319276 kB
Mapped:            61788 kB
Shmem:             40920 kB
Slab:             175556 kB
SReclaimable:     146564 kB
SUnreclaim:        28992 kB
KernelStack:        3824 kB
PageTables:         6292 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1467544 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    225280 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 58828 MiB
End job on node147 at 2019-09-17 07:47:29