Trace number 4406752

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 NameAnswerCPU timeWall clock time
choco-solver 2019-09-24 parallelSAT 4.61519 1.10628

General information on the benchmark

NameKnightTour/KnightTour-ext-s1/
KnightTour-08-ext03.xml
MD5SUM8a5157f08f2f2e597251b23721b8eb7d
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark2.53772
Satisfiable
(Un)Satisfiability was proved
Number of variables64
Number of constraints34
Number of domains1
Minimum domain size64
Maximum domain size64
Distribution of domain sizes[{"size":64,"count":64}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":62},{"degree":3,"count":2}]
Minimum constraint arity2
Maximum constraint arity64
Distribution of constraint arities[{"arity":2,"count":1},{"arity":3,"count":32},{"arity":64,"count":1}]
Number of extensional constraints32
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":32},{"type":"allDifferent","count":1},{"type":"instantiation","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4406752-1569354341.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4406752-1569354341.xml, -tl, 20160s, -p, 8]
0.34/0.22	c 8 solvers in parallel
0.34/0.29	c parse instance...
1.89/0.73	c solve instance...
4.09/1.07	s SATISFIABLE
4.09/1.07	v <instantiation>
4.09/1.07	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] </list>
4.09/1.07	v 	<values>0 10 4 19 2 12 6 21 11 26 9 3 13 7 22 5 15 30 20 35 25 8 18 1 16 33 27 37 31 14 29 23 38 28 34 24 41 56 50 40 57 51 36 46 63 53 47 62 52 42 48 58 43 60 54 39 45 55 61 44 59 49 32 17 </values>
4.09/1.07	v </instantiation>

Verifier Data 

OK

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4406752-1569354341/watcher-4406752-1569354341 -o /tmp/evaluation-result-4406752-1569354341/solver-4406752-1569354341 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1569348342-32335 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1830352877 HOME/instance-4406752-1569354341.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=1544, runsolver pid=1541

[startup+0.100159 s]*
/proc/loadavg: 5.54 7.31 7.91 2/212 1565
/proc/meminfo: memFree=28845256/32770624 swapFree=66999256/67108860
[pid=1544] ppid=1541 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/1544/stat : 1544 (xcsp3-exec) S 1541 1544 32308 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511687169 115843072 364 33554432000 4194304 5098028 140721561954112 140721561952216 139834207097468 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9220096 140721561961333 140721561961577 140721561961577 140721561964490 0
/proc/1544/statm: 28282 364 305 221 0 87 0
[pid=1546] ppid=1544 vsize=28227396 memory=27464 CPUtime=0.12 cores=0-7
/proc/1546/stat : 1546 (java) S 1544 1544 32308 0 -1 1077944320 5914 0 0 0 11 1 0 0 20 0 20 0 511687169 28904853504 6866 33554432000 4194304 4196468 140733206870160 140733206852704 139993749761783 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
/proc/1546/statm: 7056849 6866 3102 1 0 7019032 0
[pid=1546/tid=1547] ppid=1544 vsize=28227396 memory=6935054825532540783 CPUtime=0.08 cores=0-7
/proc/1546/task/1547/stat : 1547 (java) R 1544 1544 32308 0 -1 4202560 3757 0 0 0 8 0 0 0 20 0 20 0 511687169 28904853504 6932 33554432000 4194304 4196468 140733206870160 139993753993472 139993749773718 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1548] ppid=1544 vsize=28227396 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/1546/task/1548/stat : 1548 (java) S 1544 1544 32308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511687170 28904853504 6932 33554432000 4194304 4196468 140733206870160 139993300896656 139993749771989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1549] ppid=1544 vsize=28227396 memory=140557660022400 CPUtime=0 cores=0-7
/proc/1546/task/1549/stat : 1549 (java) S 1544 1544 32308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511687170 28904853504 6932 33554432000 4194304 4196468 140733206870160 139993299843856 139993749771989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1550] ppid=1544 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1546/task/1550/stat : 1550 (java) S 1544 1544 32308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511687170 28904853504 6932 33554432000 4194304 4196468 140733206870160 139993298791568 139993749771989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1551] ppid=1544 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1546/task/1551/stat : 1551 (java) S 1544 1544 32308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511687170 28904853504 6932 33554432000 4194304 4196468 140733206870160 139993297738768 139993749771989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1552] ppid=1544 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1546/task/1552/stat : 1552 (java) S 1544 1544 32308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511687170 28904853504 6932 33554432000 4194304 4196468 140733206870160 139993296685456 139993749771989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1553] ppid=1544 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/1546/task/1553/stat : 1553 (java) S 1544 1544 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511687170 28904853504 6932 33554432000 4194304 4196468 140733206870160 139993295632656 139993749771989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1554] ppid=1544 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1546/task/1554/stat : 1554 (java) S 1544 1544 32308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511687170 28904853504 6932 33554432000 4194304 4196468 140733206870160 139993294580368 139993749771989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1555] ppid=1544 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1546/task/1555/stat : 1555 (java) S 1544 1544 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511687170 28904853504 6932 33554432000 4194304 4196468 140733206870160 139993293527568 139993749771989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1556] ppid=1544 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1546/task/1556/stat : 1556 (java) S 1544 1544 32308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511687171 28904853504 6932 33554432000 4194304 4196468 140733206870160 139992348138096 139993749772930 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1557] ppid=1544 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1546/task/1557/stat : 1557 (java) S 1544 1544 32308 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511687172 28904853504 6932 33554432000 4194304 4196468 140733206870160 139992347084064 139993749771989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1558] ppid=1544 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1546/task/1558/stat : 1558 (java) S 1544 1544 32308 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511687172 28904853504 6932 33554432000 4194304 4196468 140733206870160 139992346031728 139993749771989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1559] ppid=1544 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1546/task/1559/stat : 1559 (java) S 1544 1544 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511687175 28904853504 6932 33554432000 4194304 4196468 140733206870160 139992344980048 139993749780379 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1560] ppid=1544 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1546/task/1560/stat : 1560 (java) S 1544 1544 32308 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 20 0 511687175 28904853504 6932 33554432000 4194304 4196468 140733206870160 139992343926896 139993749772930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1561] ppid=1544 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1546/task/1561/stat : 1561 (java) S 1544 1544 32308 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 20 0 511687175 28904853504 6932 33554432000 4194304 4196468 140733206870160 139992342874096 139993749772930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1562] ppid=1544 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1546/task/1562/stat : 1562 (java) S 1544 1544 32308 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 20 0 511687175 28904853504 6932 33554432000 4194304 4196468 140733206870160 139992341821808 139993749772930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1563] ppid=1544 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/1546/task/1563/stat : 1563 (java) R 1544 1544 32308 0 -1 4202560 402 0 0 0 2 0 0 0 20 0 20 0 511687175 28904853504 6932 33554432000 4194304 4196468 140733206870160 139992340769008 139993749773718 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1564] ppid=1544 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1546/task/1564/stat : 1564 (java) S 1544 1544 32308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511687175 28904853504 6932 33554432000 4194304 4196468 140733206870160 139992339716960 139993749771989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1565] ppid=1544 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/1546/task/1565/stat : 1565 (java) S 1544 1544 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511687175 28904853504 6932 33554432000 4194304 4196468 140733206870160 139992338664240 139993749772930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 28920 KiB

[startup+0.210538 s]*
/proc/loadavg: 5.54 7.31 7.91 2/212 1565
/proc/meminfo: memFree=28831508/32770624 swapFree=66999256/67108860
[pid=1544] ppid=1541 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/1544/stat : 1544 (xcsp3-exec) S 1541 1544 32308 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511687169 115843072 364 33554432000 4194304 5098028 140721561954112 140721561952216 139834207097468 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9220096 140721561961333 140721561961577 140721561961577 140721561964490 0
/proc/1544/statm: 28282 364 305 221 0 87 0
[pid=1546] ppid=1544 vsize=28227396 memory=39740 CPUtime=0.34 cores=0-7
/proc/1546/stat : 1546 (java) S 1544 1544 32308 0 -1 1077944320 9751 0 0 0 30 4 0 0 20 0 20 0 511687169 28904853504 9935 33554432000 4194304 4196468 140733206870160 140733206852704 139993749761783 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
/proc/1546/statm: 7056849 9935 3261 1 0 7019032 0
[pid=1546/tid=1547] ppid=1544 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/1546/task/1547/stat : 1547 (java) S 1544 1544 32308 0 -1 1077944384 6727 0 0 0 18 2 0 0 20 0 20 0 511687169 28904853504 9935 33554432000 4194304 4196468 140733206870160 139993753995520 139993749771989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1548] ppid=1544 vsize=28227396 memory=342 CPUtime=0 cores=0-7
/proc/1546/task/1548/stat : 1548 (java) S 1544 1544 32308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511687170 28904853504 9935 33554432000 4194304 4196468 140733206870160 139993300896656 139993749771989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1549] ppid=1544 vsize=28227396 memory=288370933811734144 CPUtime=0 cores=0-7
/proc/1546/task/1549/stat : 1549 (java) S 1544 1544 32308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511687170 28904853504 9935 33554432000 4194304 4196468 140733206870160 139993299843856 139993749771989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1550] ppid=1544 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/1546/task/1550/stat : 1550 (java) S 1544 1544 32308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511687170 28904853504 9935 33554432000 4194304 4196468 140733206870160 139993298791568 139993749771989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1551] ppid=1544 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1546/task/1551/stat : 1551 (java) S 1544 1544 32308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511687170 28904853504 9935 33554432000 4194304 4196468 140733206870160 139993297738768 139993749771989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1552] ppid=1544 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1546/task/1552/stat : 1552 (java) S 1544 1544 32308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511687170 28904853504 9935 33554432000 4194304 4196468 140733206870160 139993296685456 139993749771989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1553] ppid=1544 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/1546/task/1553/stat : 1553 (java) S 1544 1544 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511687170 28904853504 9935 33554432000 4194304 4196468 140733206870160 139993295632656 139993749771989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1554] ppid=1544 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1546/task/1554/stat : 1554 (java) S 1544 1544 32308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511687170 28904853504 9935 33554432000 4194304 4196468 140733206870160 139993294580368 139993749771989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1555] ppid=1544 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1546/task/1555/stat : 1555 (java) S 1544 1544 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511687170 28904853504 9935 33554432000 4194304 4196468 140733206870160 139993293527568 139993749771989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1556] ppid=1544 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1546/task/1556/stat : 1556 (java) S 1544 1544 32308 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511687171 28904853504 9935 33554432000 4194304 4196468 140733206870160 139992348138096 139993749772930 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1557] ppid=1544 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1546/task/1557/stat : 1557 (java) S 1544 1544 32308 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511687172 28904853504 9935 33554432000 4194304 4196468 140733206870160 139992347084064 139993749771989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1558] ppid=1544 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1546/task/1558/stat : 1558 (java) S 1544 1544 32308 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511687172 28904853504 9935 33554432000 4194304 4196468 140733206870160 139992346031728 139993749771989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1559] ppid=1544 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1546/task/1559/stat : 1559 (java) S 1544 1544 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511687175 28904853504 9935 33554432000 4194304 4196468 140733206870160 139992344980048 139993749780379 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1560] ppid=1544 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/1546/task/1560/stat : 1560 (java) S 1544 1544 32308 0 -1 1077944384 319 0 0 0 1 0 0 0 20 0 20 0 511687175 28904853504 9935 33554432000 4194304 4196468 140733206870160 139992343926992 139993749771989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1561] ppid=1544 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/1546/task/1561/stat : 1561 (java) R 1544 1544 32308 0 -1 1077944384 436 0 0 0 2 0 0 0 20 0 20 0 511687175 28904853504 9935 33554432000 4194304 4196468 140733206870160 139992342874096 139993749772930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1562] ppid=1544 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/1546/task/1562/stat : 1562 (java) S 1544 1544 32308 0 -1 1077944384 129 0 0 0 0 0 0 0 20 0 20 0 511687175 28904853504 9935 33554432000 4194304 4196468 140733206870160 139992341821808 139993749772930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1563] ppid=1544 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/1546/task/1563/stat : 1563 (java) R 1544 1544 32308 0 -1 4202560 838 0 0 0 7 0 0 0 20 0 20 0 511687175 28904853504 9935 33554432000 4194304 4196468 140733206870160 139992340769008 139993742858619 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1564] ppid=1544 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1546/task/1564/stat : 1564 (java) S 1544 1544 32308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511687175 28904853504 9935 33554432000 4194304 4196468 140733206870160 139992339716960 139993749771989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1565] ppid=1544 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/1546/task/1565/stat : 1565 (java) S 1544 1544 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511687175 28904853504 9935 33554432000 4194304 4196468 140733206870160 139992338664240 139993749772930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 41196 KiB

[startup+0.310384 s]*
/proc/loadavg: 5.54 7.31 7.91 3/212 1565
/proc/meminfo: memFree=28826172/32770624 swapFree=66999256/67108860
[pid=1544] ppid=1541 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/1544/stat : 1544 (xcsp3-exec) S 1541 1544 32308 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511687169 115843072 364 33554432000 4194304 5098028 140721561954112 140721561952216 139834207097468 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9220096 140721561961333 140721561961577 140721561961577 140721561964490 0
/proc/1544/statm: 28282 364 305 221 0 87 0
[pid=1546] ppid=1544 vsize=28231652 memory=48824 CPUtime=0.52 cores=0-7
/proc/1546/stat : 1546 (java) S 1544 1544 32308 0 -1 1077944320 11056 0 0 0 47 5 0 0 20 0 20 0 511687169 28909211648 12206 33554432000 4194304 4196468 140733206870160 140733206852704 139993749761783 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
/proc/1546/statm: 7057913 12206 3365 1 0 7019032 0
[pid=1546/tid=1547] ppid=1544 vsize=28231652 memory=6935054825532540783 CPUtime=0.29 cores=0-7
/proc/1546/task/1547/stat : 1547 (java) R 1544 1544 32308 0 -1 4202560 7819 0 0 0 26 3 0 0 20 0 20 0 511687169 28909211648 12295 33554432000 4194304 4196468 140733206870160 139993753995736 139993733842270 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1548] ppid=1544 vsize=28231652 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/1546/task/1548/stat : 1548 (java) S 1544 1544 32308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511687170 28909211648 12295 33554432000 4194304 4196468 140733206870160 139993300896656 139993749771989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1549] ppid=1544 vsize=28231652 memory=1548 CPUtime=0 cores=0-7
/proc/1546/task/1549/stat : 1549 (java) S 1544 1544 32308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511687170 28909211648 12295 33554432000 4194304 4196468 140733206870160 139993299843856 139993749771989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1550] ppid=1544 vsize=28231652 memory=8560 CPUtime=0 cores=0-7
/proc/1546/task/1550/stat : 1550 (java) S 1544 1544 32308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511687170 28909211648 12295 33554432000 4194304 4196468 140733206870160 139993298791568 139993749771989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1551] ppid=1544 vsize=28231652 memory=1712 CPUtime=0 cores=0-7
/proc/1546/task/1551/stat : 1551 (java) S 1544 1544 32308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511687170 28909211648 12295 33554432000 4194304 4196468 140733206870160 139993297738768 139993749771989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1552] ppid=1544 vsize=28231652 memory=1112 CPUtime=0 cores=0-7
/proc/1546/task/1552/stat : 1552 (java) S 1544 1544 32308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511687170 28909211648 12295 33554432000 4194304 4196468 140733206870160 139993296685456 139993749771989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1553] ppid=1544 vsize=28231652 memory=1004 CPUtime=0 cores=0-7
/proc/1546/task/1553/stat : 1553 (java) S 1544 1544 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511687170 28909211648 12295 33554432000 4194304 4196468 140733206870160 139993295632656 139993749771989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1554] ppid=1544 vsize=28231652 memory=6084 CPUtime=0 cores=0-7
/proc/1546/task/1554/stat : 1554 (java) S 1544 1544 32308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511687170 28909211648 12295 33554432000 4194304 4196468 140733206870160 139993294580368 139993749771989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1555] ppid=1544 vsize=28231652 memory=14008 CPUtime=0 cores=0-7
/proc/1546/task/1555/stat : 1555 (java) S 1544 1544 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511687170 28909211648 12295 33554432000 4194304 4196468 140733206870160 139993293527568 139993749771989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1556] ppid=1544 vsize=28231652 memory=2124 CPUtime=0 cores=0-7
/proc/1546/task/1556/stat : 1556 (java) S 1544 1544 32308 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511687171 28909211648 12295 33554432000 4194304 4196468 140733206870160 139992348138096 139993749772930 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1557] ppid=1544 vsize=28231652 memory=35748 CPUtime=0 cores=0-7
/proc/1546/task/1557/stat : 1557 (java) S 1544 1544 32308 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511687172 28909211648 12295 33554432000 4194304 4196468 140733206870160 139992347084064 139993749771989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1558] ppid=1544 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/1546/task/1558/stat : 1558 (java) S 1544 1544 32308 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511687172 28909211648 12295 33554432000 4194304 4196468 140733206870160 139992346031728 139993749771989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1559] ppid=1544 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/1546/task/1559/stat : 1559 (java) S 1544 1544 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511687175 28909211648 12295 33554432000 4194304 4196468 140733206870160 139992344980048 139993749780379 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1560] ppid=1544 vsize=28231652 memory=0 CPUtime=0.03 cores=0-7
/proc/1546/task/1560/stat : 1560 (java) R 1544 1544 32308 0 -1 4202560 414 0 0 0 3 0 0 0 20 0 20 0 511687175 28909211648 12295 33554432000 4194304 4196468 140733206870160 139992343907912 139993749783130 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1561] ppid=1544 vsize=28231652 memory=0 CPUtime=0.03 cores=0-7
/proc/1546/task/1561/stat : 1561 (java) S 1544 1544 32308 0 -1 1077944384 446 0 0 0 3 0 0 0 20 0 20 0 511687175 28909211648 12295 33554432000 4194304 4196468 140733206870160 139992342874096 139993749772930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1562] ppid=1544 vsize=28231652 memory=0 CPUtime=0.01 cores=0-7
/proc/1546/task/1562/stat : 1562 (java) S 1544 1544 32308 0 -1 1077944384 167 0 0 0 1 0 0 0 20 0 20 0 511687175 28909211648 12295 33554432000 4194304 4196468 140733206870160 139992341821808 139993749772930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1563] ppid=1544 vsize=28231652 memory=140557502481903 CPUtime=0.12 cores=0-7
/proc/1546/task/1563/stat : 1563 (java) S 1544 1544 32308 0 -1 1077944384 1005 0 0 0 12 0 0 0 20 0 20 0 511687175 28909211648 12295 33554432000 4194304 4196468 140733206870160 139992340769008 139993749772930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1564] ppid=1544 vsize=28231652 memory=140557502509940 CPUtime=0 cores=0-7
/proc/1546/task/1564/stat : 1564 (java) S 1544 1544 32308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511687175 28909211648 12295 33554432000 4194304 4196468 140733206870160 139992339716960 139993749771989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1565] ppid=1544 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/1546/task/1565/stat : 1565 (java) S 1544 1544 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511687175 28909211648 12295 33554432000 4194304 4196468 140733206870160 139992338664240 139993749772930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 50280 KiB

[startup+0.700975 s]
/proc/loadavg: 5.54 7.31 7.91 4/212 1565
/proc/meminfo: memFree=28808968/32770624 swapFree=66999256/67108860
[pid=1544] ppid=1541 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/1544/stat : 1544 (xcsp3-exec) S 1541 1544 32308 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511687169 115843072 364 33554432000 4194304 5098028 140721561954112 140721561952216 139834207097468 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9220096 140721561961333 140721561961577 140721561961577 140721561964490 0
/proc/1544/statm: 28282 364 305 221 0 87 0
[pid=1546] ppid=1544 vsize=28233776 memory=128892 CPUtime=1.89 cores=0-7
/proc/1546/stat : 1546 (java) S 1544 1544 32308 0 -1 1077944320 16297 0 0 0 181 8 0 0 20 0 20 0 511687169 28911386624 32223 33554432000 4194304 4196468 140733206870160 140733206852704 139993749761783 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
/proc/1546/statm: 7058444 32223 3463 1 0 7019544 0
[pid=1546/tid=1547] ppid=1544 vsize=28233776 memory=281115005018432 CPUtime=0.67 cores=0-7
/proc/1546/task/1547/stat : 1547 (java) R 1544 1544 32308 0 -1 4202560 8673 0 0 0 63 4 0 0 20 0 20 0 511687169 28911386624 32223 33554432000 4194304 4196468 140733206870160 139993753999392 139993731325343 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1548] ppid=1544 vsize=28233776 memory=140557502686064 CPUtime=0 cores=0-7
/proc/1546/task/1548/stat : 1548 (java) S 1544 1544 32308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511687170 28911386624 32223 33554432000 4194304 4196468 140733206870160 139993300896656 139993749771989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1549] ppid=1544 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/1546/task/1549/stat : 1549 (java) S 1544 1544 32308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511687170 28911386624 32223 33554432000 4194304 4196468 140733206870160 139993299843856 139993749771989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1550] ppid=1544 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/1546/task/1550/stat : 1550 (java) S 1544 1544 32308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511687170 28911386624 32223 33554432000 4194304 4196468 140733206870160 139993298791568 139993749771989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1551] ppid=1544 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/1546/task/1551/stat : 1551 (java) S 1544 1544 32308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511687170 28911386624 32223 33554432000 4194304 4196468 140733206870160 139993297738768 139993749771989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1552] ppid=1544 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/1546/task/1552/stat : 1552 (java) S 1544 1544 32308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511687170 28911386624 32223 33554432000 4194304 4196468 140733206870160 139993296685456 139993749771989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1553] ppid=1544 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/1546/task/1553/stat : 1553 (java) S 1544 1544 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511687170 28911386624 32223 33554432000 4194304 4196468 140733206870160 139993295632656 139993749771989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1554] ppid=1544 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/1546/task/1554/stat : 1554 (java) S 1544 1544 32308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511687170 28911386624 32223 33554432000 4194304 4196468 140733206870160 139993294580368 139993749771989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1555] ppid=1544 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/1546/task/1555/stat : 1555 (java) S 1544 1544 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511687170 28911386624 32223 33554432000 4194304 4196468 140733206870160 139993293527568 139993749771989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1556] ppid=1544 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/1546/task/1556/stat : 1556 (java) S 1544 1544 32308 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511687171 28911386624 32223 33554432000 4194304 4196468 140733206870160 139992348138096 139993749772930 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1557] ppid=1544 vsize=28233776 memory=1459 CPUtime=0 cores=0-7
/proc/1546/task/1557/stat : 1557 (java) S 1544 1544 32308 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511687172 28911386624 32223 33554432000 4194304 4196468 140733206870160 139992347084064 139993749771989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1558] ppid=1544 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/1546/task/1558/stat : 1558 (java) S 1544 1544 32308 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511687172 28911386624 32223 33554432000 4194304 4196468 140733206870160 139992346031728 139993749771989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1559] ppid=1544 vsize=28233776 memory=16652 CPUtime=0 cores=0-7
/proc/1546/task/1559/stat : 1559 (java) S 1544 1544 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511687175 28911386624 32223 33554432000 4194304 4196468 140733206870160 139992344980048 139993749780379 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1560] ppid=1544 vsize=28233776 memory=0 CPUtime=0.29 cores=0-7
/proc/1546/task/1560/stat : 1560 (java) R 1544 1544 32308 0 -1 4202560 1355 0 0 0 29 0 0 0 20 0 20 0 511687175 28911386624 32223 33554432000 4194304 4196468 140733206870160 139992343907912 139993734688475 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1561] ppid=1544 vsize=28233776 memory=0 CPUtime=0.27 cores=0-7
/proc/1546/task/1561/stat : 1561 (java) R 1544 1544 32308 0 -1 4202560 1533 0 0 0 27 0 0 0 20 0 20 0 511687175 28911386624 32223 33554432000 4194304 4196468 140733206870160 139992342861264 139993733256231 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1562] ppid=1544 vsize=28233776 memory=191132921 CPUtime=0.25 cores=0-7
/proc/1546/task/1562/stat : 1562 (java) R 1544 1544 32308 0 -1 4202560 1150 0 0 0 25 0 0 0 20 0 20 0 511687175 28911386624 32223 33554432000 4194304 4196468 140733206870160 139992341802824 139993731305506 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1563] ppid=1544 vsize=28233776 memory=0 CPUtime=0.35 cores=0-7
/proc/1546/task/1563/stat : 1563 (java) S 1544 1544 32308 0 -1 1077944384 2270 0 0 0 34 1 0 0 20 0 20 0 511687175 28911386624 32223 33554432000 4194304 4196468 140733206870160 139992340769008 139993749772930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1564] ppid=1544 vsize=28233776 memory=3604 CPUtime=0 cores=0-7
/proc/1546/task/1564/stat : 1564 (java) S 1544 1544 32308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511687175 28911386624 32223 33554432000 4194304 4196468 140733206870160 139992339716960 139993749771989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1565] ppid=1544 vsize=28233776 memory=2828 CPUtime=0 cores=0-7
/proc/1546/task/1565/stat : 1565 (java) S 1544 1544 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511687175 28911386624 32223 33554432000 4194304 4196468 140733206870160 139992338664240 139993749772930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
Current children cumulated CPU time: 1.89 s
Current children cumulated vsize: 28346904 KiB
Current children cumulated memory: 130348 KiB

[startup+1.10622 s]
# the end of solver process 1544 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=4.50793 s, system=0.107255 s

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

[startup+0.80196 s]
/proc/loadavg: 5.54 7.31 7.91 4/212 1565
/proc/meminfo: memFree=28808968/32770624 swapFree=66999256/67108860
[pid=1544] ppid=1541 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/1544/stat : 1544 (xcsp3-exec) S 1541 1544 32308 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511687169 115843072 364 33554432000 4194304 5098028 140721561954112 140721561952216 139834207097468 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9220096 140721561961333 140721561961577 140721561961577 140721561964490 0
/proc/1544/statm: 28282 364 305 221 0 87 0
[pid=1546] ppid=1544 vsize=28766288 memory=165756 CPUtime=2.48 cores=0-7
/proc/1546/stat : 1546 (java) S 1544 1544 32308 0 -1 1077944320 17028 0 0 0 239 9 0 0 20 0 28 0 511687169 29456678912 41439 33554432000 4194304 4196468 140733206870160 140733206852704 139993749761783 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
/proc/1546/statm: 7191572 41439 3463 1 0 7152672 0
[pid=1546/tid=1547] ppid=1544 vsize=28766288 memory=4638778450158244176 CPUtime=0.71 cores=0-7
/proc/1546/task/1547/stat : 1547 (java) S 1544 1544 32308 0 -1 1077944384 8764 0 0 0 67 4 0 0 20 0 28 0 511687169 29456678912 41439 33554432000 4194304 4196468 140733206870160 139993754002560 139993749771989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1548] ppid=1544 vsize=28766288 memory=6935657050857820240 CPUtime=0 cores=0-7
/proc/1546/task/1548/stat : 1548 (java) S 1544 1544 32308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 511687170 29456678912 41439 33554432000 4194304 4196468 140733206870160 139993300896656 139993749771989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1549] ppid=1544 vsize=28766288 memory=7007706849797499736 CPUtime=0 cores=0-7
/proc/1546/task/1549/stat : 1549 (java) S 1544 1544 32308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 511687170 29456678912 41439 33554432000 4194304 4196468 140733206870160 139993299843856 139993749771989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1550] ppid=1544 vsize=28766288 memory=4638795994813710432 CPUtime=0 cores=0-7
/proc/1546/task/1550/stat : 1550 (java) S 1544 1544 32308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511687170 29456678912 41439 33554432000 4194304 4196468 140733206870160 139993298791568 139993749771989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1551] ppid=1544 vsize=28766288 memory=-8820188211957838939 CPUtime=0 cores=0-7
/proc/1546/task/1551/stat : 1551 (java) S 1544 1544 32308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 511687170 29456678912 41439 33554432000 4194304 4196468 140733206870160 139993297738768 139993749771989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1552] ppid=1544 vsize=28766288 memory=-5345911727066418134 CPUtime=0 cores=0-7
/proc/1546/task/1552/stat : 1552 (java) S 1544 1544 32308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 511687170 29456678912 41439 33554432000 4194304 4196468 140733206870160 139993296685456 139993749771989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1553] ppid=1544 vsize=28766288 memory=-9181546051567709026 CPUtime=0 cores=0-7
/proc/1546/task/1553/stat : 1553 (java) S 1544 1544 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511687170 29456678912 41439 33554432000 4194304 4196468 140733206870160 139993295632656 139993749771989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1554] ppid=1544 vsize=28766288 memory=7684433386921362234 CPUtime=0 cores=0-7
/proc/1546/task/1554/stat : 1554 (java) S 1544 1544 32308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 511687170 29456678912 41439 33554432000 4194304 4196468 140733206870160 139993294580368 139993749771989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1555] ppid=1544 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/1546/task/1555/stat : 1555 (java) S 1544 1544 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511687170 29456678912 41439 33554432000 4194304 4196468 140733206870160 139993293527568 139993749771989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1556] ppid=1544 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/1546/task/1556/stat : 1556 (java) S 1544 1544 32308 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 511687171 29456678912 41439 33554432000 4194304 4196468 140733206870160 139992348138096 139993749772930 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1557] ppid=1544 vsize=28766288 memory=281115004832688 CPUtime=0 cores=0-7
/proc/1546/task/1557/stat : 1557 (java) S 1544 1544 32308 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 511687172 29456678912 41439 33554432000 4194304 4196468 140733206870160 139992347084064 139993749771989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1558] ppid=1544 vsize=28766288 memory=9130442918606699395 CPUtime=0 cores=0-7
/proc/1546/task/1558/stat : 1558 (java) S 1544 1544 32308 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 511687172 29456678912 41439 33554432000 4194304 4196468 140733206870160 139992346031728 139993749771989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1559] ppid=1544 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/1546/task/1559/stat : 1559 (java) S 1544 1544 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511687175 29456678912 41439 33554432000 4194304 4196468 140733206870160 139992344980048 139993749780379 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1560] ppid=1544 vsize=28766288 memory=0 CPUtime=0.38 cores=0-7
/proc/1546/task/1560/stat : 1560 (java) R 1544 1544 32308 0 -1 4202560 1389 0 0 0 38 0 0 0 20 0 28 0 511687175 29456678912 41439 33554432000 4194304 4196468 140733206870160 139992343914656 139993733667506 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1561] ppid=1544 vsize=28766288 memory=45529 CPUtime=0.36 cores=0-7
/proc/1546/task/1561/stat : 1561 (java) R 1544 1544 32308 0 -1 4202560 1564 0 0 0 36 0 0 0 20 0 28 0 511687175 29456678912 41439 33554432000 4194304 4196468 140733206870160 139992342874096 139993749773718 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1562] ppid=1544 vsize=28766288 memory=0 CPUtime=0.34 cores=0-7
/proc/1546/task/1562/stat : 1562 (java) R 1544 1544 32308 0 -1 1077944384 1342 0 0 0 34 0 0 0 20 0 28 0 511687175 29456678912 41439 33554432000 4194304 4196468 140733206870160 139992341821808 139993749772930 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1563] ppid=1544 vsize=28766288 memory=281115004849124 CPUtime=0.4 cores=0-7
/proc/1546/task/1563/stat : 1563 (java) R 1544 1544 32308 0 -1 4202560 2367 0 0 0 39 1 0 0 20 0 28 0 511687175 29456678912 41439 33554432000 4194304 4196468 140733206870160 139992340766800 139993728583847 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1564] ppid=1544 vsize=28766288 memory=5866060922969680743 CPUtime=0 cores=0-7
/proc/1546/task/1564/stat : 1564 (java) S 1544 1544 32308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511687175 29456678912 41439 33554432000 4194304 4196468 140733206870160 139992339716960 139993749771989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1565] ppid=1544 vsize=28766288 memory=7232890293113415765 CPUtime=0 cores=0-7
/proc/1546/task/1565/stat : 1565 (java) S 1544 1544 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511687175 29456678912 41439 33554432000 4194304 4196468 140733206870160 139992338664240 139993749772930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
Current children cumulated CPU time: 2.48 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 167212 KiB

[startup+1.00455 s]*
/proc/loadavg: 5.54 7.31 7.91 12/220 1573
/proc/meminfo: memFree=28699620/32770624 swapFree=66999256/67108860
[pid=1544] ppid=1541 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/1544/stat : 1544 (xcsp3-exec) S 1541 1544 32308 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511687169 115843072 364 33554432000 4194304 5098028 140721561954112 140721561952216 139834207097468 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9220096 140721561961333 140721561961577 140721561961577 140721561964490 0
/proc/1544/statm: 28282 364 305 221 0 87 0
[pid=1546] ppid=1544 vsize=28766288 memory=173756 CPUtime=4.09 cores=0-7
/proc/1546/stat : 1546 (java) S 1544 1544 32308 0 -1 1077944320 18675 0 0 0 400 9 0 0 20 0 28 0 511687169 29456678912 43439 33554432000 4194304 4196468 140733206870160 140733206852704 139993749761783 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
/proc/1546/statm: 7191572 43439 3466 1 0 7152672 0
[pid=1546/tid=1547] ppid=1544 vsize=28766288 memory=0 CPUtime=0.71 cores=0-7
/proc/1546/task/1547/stat : 1547 (java) S 1544 1544 32308 0 -1 1077944384 8764 0 0 0 67 4 0 0 20 0 28 0 511687169 29456678912 43504 33554432000 4194304 4196468 140733206870160 139993754002560 139993749771989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1548] ppid=1544 vsize=28766288 memory=-1 CPUtime=0 cores=0-7
/proc/1546/task/1548/stat : 1548 (java) S 1544 1544 32308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 511687170 29456678912 43504 33554432000 4194304 4196468 140733206870160 139993300896656 139993749771989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1549] ppid=1544 vsize=28766288 memory=140559361689473 CPUtime=0 cores=0-7
/proc/1546/task/1549/stat : 1549 (java) S 1544 1544 32308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 511687170 29456678912 43504 33554432000 4194304 4196468 140733206870160 139993299843856 139993749771989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1550] ppid=1544 vsize=28766288 memory=112676863 CPUtime=0 cores=0-7
/proc/1546/task/1550/stat : 1550 (java) S 1544 1544 32308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511687170 29456678912 43504 33554432000 4194304 4196468 140733206870160 139993298791568 139993749771989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1551] ppid=1544 vsize=28766288 memory=6442233675853616740 CPUtime=0 cores=0-7
/proc/1546/task/1551/stat : 1551 (java) S 1544 1544 32308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 511687170 29456678912 43504 33554432000 4194304 4196468 140733206870160 139993297738768 139993749771989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1552] ppid=1544 vsize=28766288 memory=5940074608339675242 CPUtime=0 cores=0-7
/proc/1546/task/1552/stat : 1552 (java) S 1544 1544 32308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 511687170 29456678912 43504 33554432000 4194304 4196468 140733206870160 139993296685456 139993749771989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1553] ppid=1544 vsize=28766288 memory=3467824627897807670 CPUtime=0 cores=0-7
/proc/1546/task/1553/stat : 1553 (java) S 1544 1544 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511687170 29456678912 43504 33554432000 4194304 4196468 140733206870160 139993295632656 139993749771989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1554] ppid=1544 vsize=28766288 memory=8318255677412212789 CPUtime=0 cores=0-7
/proc/1546/task/1554/stat : 1554 (java) S 1544 1544 32308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 511687170 29456678912 43504 33554432000 4194304 4196468 140733206870160 139993294580368 139993749771989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1555] ppid=1544 vsize=28766288 memory=290763870908449123 CPUtime=0 cores=0-7
/proc/1546/task/1555/stat : 1555 (java) S 1544 1544 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511687170 29456678912 43504 33554432000 4194304 4196468 140733206870160 139993293527568 139993749771989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1556] ppid=1544 vsize=28766288 memory=288230376155502289 CPUtime=0 cores=0-7
/proc/1546/task/1556/stat : 1556 (java) S 1544 1544 32308 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 511687171 29456678912 43504 33554432000 4194304 4196468 140733206870160 139992348138096 139993749772930 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1557] ppid=1544 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/1546/task/1557/stat : 1557 (java) S 1544 1544 32308 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 511687172 29456678912 43504 33554432000 4194304 4196468 140733206870160 139992347084064 139993749771989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1558] ppid=1544 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/1546/task/1558/stat : 1558 (java) S 1544 1544 32308 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 511687172 29456678912 43504 33554432000 4194304 4196468 140733206870160 139992346031728 139993749771989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1559] ppid=1544 vsize=28766288 memory=20516 CPUtime=0 cores=0-7
/proc/1546/task/1559/stat : 1559 (java) S 1544 1544 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511687175 29456678912 43504 33554432000 4194304 4196468 140733206870160 139992344980048 139993749780379 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1560] ppid=1544 vsize=28766288 memory=0 CPUtime=0.48 cores=0-7
/proc/1546/task/1560/stat : 1560 (java) R 1544 1544 32308 0 -1 4202560 1830 0 0 0 48 0 0 0 20 0 28 0 511687175 29456678912 43504 33554432000 4194304 4196468 140733206870160 139992343912952 139993729024187 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1561] ppid=1544 vsize=28766288 memory=0 CPUtime=0.45 cores=0-7
/proc/1546/task/1561/stat : 1561 (java) R 1544 1544 32308 0 -1 4202560 1636 0 0 0 45 0 0 0 20 0 28 0 511687175 29456678912 43504 33554432000 4194304 4196468 140733206870160 139992342859976 139993734887894 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1562] ppid=1544 vsize=28766288 memory=0 CPUtime=0.48 cores=0-7
/proc/1546/task/1562/stat : 1562 (java) R 1544 1544 32308 0 -1 4202560 2127 0 0 0 48 0 0 0 20 0 28 0 511687175 29456678912 43504 33554432000 4194304 4196468 140733206870160 139992341807544 139993731306280 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1563] ppid=1544 vsize=28766288 memory=0 CPUtime=0.47 cores=0-7
/proc/1546/task/1563/stat : 1563 (java) D 1544 1544 32308 0 -1 4202560 2654 0 0 0 46 1 0 0 20 0 28 0 511687175 29456678912 43504 33554432000 4194304 4196468 140733206870160 139992340765944 139993742478935 0 4 0 16800975 18446744071582151463 0 0 -1 4 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1564] ppid=1544 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/1546/task/1564/stat : 1564 (java) S 1544 1544 32308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511687175 29456678912 43504 33554432000 4194304 4196468 140733206870160 139992339716960 139993749771989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1565] ppid=1544 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/1546/task/1565/stat : 1565 (java) S 1544 1544 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511687175 29456678912 43504 33554432000 4194304 4196468 140733206870160 139992338664240 139993749772930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1566] ppid=1544 vsize=28766288 memory=0 CPUtime=0.17 cores=0-7
/proc/1546/task/1566/stat : 1566 (java) R 1544 1544 32308 0 -1 4202560 61 0 0 0 17 0 0 0 20 0 28 0 511687243 29456678912 43504 33554432000 4194304 4196468 140733206870160 139992329447064 139993391659840 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1567] ppid=1544 vsize=28766288 memory=0 CPUtime=0.19 cores=0-7
/proc/1546/task/1567/stat : 1567 (java) S 1544 1544 32308 0 -1 1077944384 52 0 0 0 19 0 0 0 20 0 28 0 511687243 29456678912 43504 33554432000 4194304 4196468 140733206870160 139992328391968 139993749771989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1568] ppid=1544 vsize=28766288 memory=140561954989695 CPUtime=0.16 cores=0-7
/proc/1546/task/1568/stat : 1568 (java) S 1544 1544 32308 0 -1 1077944384 44 0 0 0 16 0 0 0 20 0 28 0 511687243 29456678912 43504 33554432000 4194304 4196468 140733206870160 139992327342464 139993749771989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1569] ppid=1544 vsize=28766288 memory=0 CPUtime=0.22 cores=0-7
/proc/1546/task/1569/stat : 1569 (java) R 1544 1544 32308 0 -1 1077944384 77 0 0 0 22 0 0 0 20 0 28 0 511687244 29456678912 43504 33554432000 4194304 4196468 140733206870160 139992326285856 139993749771989 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1570] ppid=1544 vsize=28766288 memory=0 CPUtime=0.17 cores=0-7
/proc/1546/task/1570/stat : 1570 (java) R 1544 1544 32308 0 -1 4202560 39 0 0 0 17 0 0 0 20 0 28 0 511687244 29456678912 43504 33554432000 4194304 4196468 140733206870160 139992325233560 139993392066016 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1571] ppid=1544 vsize=28766288 memory=0 CPUtime=0.17 cores=0-7
/proc/1546/task/1571/stat : 1571 (java) R 1544 1544 32308 0 -1 4202560 31 0 0 0 17 0 0 0 20 0 28 0 511687244 29456678912 43504 33554432000 4194304 4196468 140733206870160 139992324180904 139993391660023 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1572] ppid=1544 vsize=28766288 memory=0 CPUtime=0.18 cores=0-7
/proc/1546/task/1572/stat : 1572 (java) R 1544 1544 32308 0 -1 4202560 28 0 0 0 18 0 0 0 20 0 28 0 511687244 29456678912 43504 33554432000 4194304 4196468 140733206870160 139992323130056 139993391658890 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
[pid=1546/tid=1573] ppid=1544 vsize=28766288 memory=0 CPUtime=0.17 cores=0-7
/proc/1546/task/1573/stat : 1573 (java) R 1544 1544 32308 0 -1 4202560 46 0 0 0 17 0 0 0 20 0 28 0 511687244 29456678912 43504 33554432000 4194304 4196468 140733206870160 139992322076256 139993391657723 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24252416 140733206877162 140733206877334 140733206877334 140733206880207 0
Current children cumulated CPU time: 4.09 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 175212 KiB

Child status: 0
Real time (s): 1.10628
CPU time (s): 4.61519
CPU user time (s): 4.50793
CPU system time (s): 0.107255
CPU usage (%): 417.182
Max. virtual memory (cumulated for all children) (KiB): 28879416
Max. memory (cumulated for all children) (KiB): 175212

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.50793
system time used= 0.107255
maximum resident set size= 180020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19874
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2561
involuntary context switches= 58


# summary of solver processes directly reported to runsolver:
#   pid: 1544
#   total CPU time (s): 4.61519
#   total CPU user time (s): 4.50793
#   total CPU system time (s): 0.107255

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.024166 second user time and 0.062985 second system time

The end

Launcher Data 

Begin job on node103 at 2019-09-24 21:44:42
IDJOB=4406752
IDBENCH=134620
IDSOLVER=2871
FILE ID=node103/4406752-1569354341
RUNJOBID= node103-1569348342-32335
PBS_JOBID= 21705080
Free space on /tmp= 20860 MiB

SOLVER NAME= choco-solver 2019-09-24 parallel
BENCH NAME= XCSP17/KnightTour/KnightTour-ext-s1/KnightTour-08-ext03.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4406752-1569354341/watcher-4406752-1569354341 -o /tmp/evaluation-result-4406752-1569354341/solver-4406752-1569354341 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1569348342-32335 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1830352877 HOME/instance-4406752-1569354341.xml

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

MD5SUM BENCH= 8a5157f08f2f2e597251b23721b8eb7d
RANDOM SEED=1830352877

node103.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.74
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.74
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.74
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.74
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:        28859236 kB
MemAvailable:   31854156 kB
Buffers:           57488 kB
Cached:          3215216 kB
SwapCached:         7000 kB
Active:          3168336 kB
Inactive:         118972 kB
Active(anon):       4772 kB
Inactive(anon):    67432 kB
Active(file):    3163564 kB
Inactive(file):    51540 kB
Unevictable:      107728 kB
Mlocked:          107728 kB
SwapTotal:      67108860 kB
SwapFree:       66999256 kB
Dirty:             26016 kB
Writeback:             0 kB
AnonPages:        423648 kB
Mapped:            57316 kB
Shmem:             49080 kB
Slab:             219656 kB
SReclaimable:     191300 kB
SUnreclaim:        28356 kB
KernelStack:        3760 kB
PageTables:         5680 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514336 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    378880 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 20836 MiB
End job on node103 at 2019-09-24 21:44:43