Trace number 4280622

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 4.0.5 par (2017-08-18)SAT (TO)457 19978.199 2520.1101

General information on the benchmark

NameTravellingSalesman/TravellingSalesman-m1-n100/
TravellingSalesman-100-50-05.xml
MD5SUM8c67453fb3d985d7ef69f755cd1f1510
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark406
Best CPU time to get the best result obtained on this benchmark2400.03
Satisfiable
(Un)Satisfiability was proved
Number of variables200
Number of constraints101
Number of domains2
Minimum domain size63
Maximum domain size100
Distribution of domain sizes[{"size":63,"count":100},{"size":100,"count":100}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":100},{"degree":3,"count":100}]
Minimum constraint arity3
Maximum constraint arity100
Distribution of constraint arities[{"arity":3,"count":100},{"arity":100,"count":1}]
Number of extensional constraints100
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":100},{"type":"allDifferent","count":1}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4280622-1503162187.xml"  -tl '20160s' -p 8 -x 0
0.12/0.14	c [HOME/instance-4280622-1503162187.xml, -tl, 20160s, -p, 8, -x, 0]
0.12/0.20	c 8 solvers in parallel
0.33/0.27	c parse instance...
14.53/10.19	c solve instance...
22.82/11.35	o 1706 
23.36/11.47	o 1686 
23.94/11.57	o 1674 
24.46/11.64	o 1661 
24.99/11.75	o 1659 
24.99/11.76	o 514 
24.99/11.76	o 506 
24.99/11.78	o 505 
25.53/11.86	o 501 
25.53/11.87	o 499 
25.53/11.88	o 476 
26.13/11.91	o 469 
26.13/11.95	o 468 
26.13/11.96	o 467 
26.13/11.98	o 466 
26.60/12.03	o 464 
26.60/12.04	o 462 
26.60/12.09	o 461 
26.86/12.13	o 459 
26.86/12.17	o 457 
19977.45/2520.08	s SATISFIABLE
19977.45/2520.08	v <instantiation>
19977.45/2520.08	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] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[40] c[41] c[42] c[43] c[44] c[45] c[46] c[47] c[48] c[49] c[50] c[51] c[52] c[53] c[54] c[55] c[56] c[57] c[58] c[59] c[60] c[61] c[62] c[63] c[64] c[65] c[66] c[67] c[68] c[69] c[70] c[71] c[72] c[73] c[74] c[75] c[76] c[77] c[78] c[79] c[80] c[81] c[82] c[83] c[84] c[85] c[86] c[87] c[88] c[89] c[90] c[91] c[92] c[93] c[94] c[95] c[96] c[97] c[98] c[99] 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] d[15] d[16] d[17] d[18] d[19] d[20] d[21] d[22] d[23] d[24] d[25] d[26] d[27] d[28] d[29] d[30] d[31] d[32] d[33] d[34] d[35] d[36] d[37] d[38] d[39] d[40] d[41] d[42] d[43] d[44] d[45] d[46] d[47] d[48] d[49] d[50] d[51] d[52] d[53] d[54] d[55] d[56] d[57] d[58] d[59] d[60] d[61] d[62] d[63] d[64] d[65] d[66] d[67] d[68] d[69] d[70] d[71] d[72] d[73] d[74] d[75] d[76] d[77] d[78] d[79] d[80] d[81] d[82] d[83] d[84] d[85] d[86] d[87] d[88] d[89] d[90] d[91] d[92] d[93] d[94] d[95] d[96] d[97] d[98] d[99] </list>
19977.45/2520.08	v 	<values>27 19 34 35 13 17 18 8 7 12 16 15 20 25 0 3 31 33 39 43 52 51 64 67 76 73 70 68 61 75 66 80 79 90 98 92 89 86 82 57 58 69 72 60 59 49 50 48 37 46 38 30 24 23 5 14 11 10 2 1 6 4 9 21 22 26 28 32 36 42 45 41 44 40 53 55 56 54 63 65 62 71 74 78 77 81 85 91 94 99 83 87 95 96 84 88 97 93 47 29 5 9 1 25 1 1 4 1 2 1 2 3 6 14 4 13 3 6 1 6 1 8 1 4 1 2 1 4 15 9 7 8 13 3 5 3 1 2 12 1 4 2 6 5 6 4 1 4 4 2 5 4 1 9 4 1 4 6 4 4 1 4 5 3 4 1 3 4 2 3 3 1 4 5 2 1 2 5 4 2 4 4 1 1 4 2 4 1 6 8 4 5 6 6 3 5 7 28 8 2 </values>
19977.45/2520.08	v </instantiation>
19977.45/2520.08	c Unexpected resolution interruption!

Verifier Data 

OK	457

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280622-1503162187/watcher-4280622-1503162187 -o /tmp/evaluation-result-4280622-1503162187/solver-4280622-1503162187 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node113-1503158805-22353 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 544279625 HOME/instance-4280622-1503162187.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=22649, runsolver pid=22646

[startup+0.100136 s]*
/proc/loadavg: 8.53 8.28 8.25 2/199 22670
/proc/meminfo: memFree=27184120/32770624 swapFree=67108860/67108860
[pid=22649] ppid=22646 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/22649/stat : 22649 (xcsp3-exec) S 22646 22649 22326 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 149306146 9740288 346 33554432000 4194304 5098028 140723732054464 140723732052568 140678691332732 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7843840 140723732059237 140723732059447 140723732059447 140723732062187 0
/proc/22649/statm: 2378 346 289 221 0 87 0
[pid=22651] ppid=22649 vsize=25999808 memory=26836 CPUtime=0.12 cores=0-7
/proc/22651/stat : 22651 (java) S 22649 22649 22326 0 -1 1077944320 5656 0 0 0 11 1 0 0 20 0 20 0 149306146 26623803392 6709 33554432000 4194304 4196468 140724645716944 140724645699488 140211762982647 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
/proc/22651/statm: 6499952 6709 2842 1 0 6488269 0
[pid=22651/tid=22652] ppid=22649 vsize=25999808 memory=8112842686382119580 CPUtime=0.08 cores=0-7
/proc/22651/task/22652/stat : 22652 (java) R 22649 22649 22326 0 -1 4202560 3655 0 0 0 8 0 0 0 20 0 20 0 149306146 26623803392 6709 33554432000 4194304 4196468 140724645716944 140211767214560 140211747063134 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22653] ppid=22649 vsize=25999808 memory=732370355523206117 CPUtime=0 cores=0-7
/proc/22651/task/22653/stat : 22653 (java) S 22649 22649 22326 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149306147 26623803392 6709 33554432000 4194304 4196468 140724645716944 140211715603216 140211762992853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22654] ppid=22649 vsize=25999808 memory=140217185752704 CPUtime=0 cores=0-7
/proc/22651/task/22654/stat : 22654 (java) S 22649 22649 22326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149306147 26623803392 6709 33554432000 4194304 4196468 140724645716944 140211714550672 140211762992853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22655] ppid=22649 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22651/task/22655/stat : 22655 (java) S 22649 22649 22326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149306147 26623803392 6709 33554432000 4194304 4196468 140724645716944 140211713498128 140211762992853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22656] ppid=22649 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22651/task/22656/stat : 22656 (java) S 22649 22649 22326 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 149306147 26623803392 6709 33554432000 4194304 4196468 140724645716944 140211712445584 140211762992853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22657] ppid=22649 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22651/task/22657/stat : 22657 (java) S 22649 22649 22326 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149306147 26623803392 6709 33554432000 4194304 4196468 140724645716944 140211711392016 140211762992853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22658] ppid=22649 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/22651/task/22658/stat : 22658 (java) S 22649 22649 22326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149306147 26623803392 6709 33554432000 4194304 4196468 140724645716944 140211710339472 140211762992853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22659] ppid=22649 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22651/task/22659/stat : 22659 (java) S 22649 22649 22326 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149306147 26623803392 6709 33554432000 4194304 4196468 140724645716944 140211709286928 140211762992853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22660] ppid=22649 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22651/task/22660/stat : 22660 (java) S 22649 22649 22326 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149306147 26623803392 6709 33554432000 4194304 4196468 140724645716944 140211708234384 140211762992853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22661] ppid=22649 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22651/task/22661/stat : 22661 (java) S 22649 22649 22326 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149306149 26623803392 6709 33554432000 4194304 4196468 140724645716944 140210168949232 140211762993794 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22662] ppid=22649 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22651/task/22662/stat : 22662 (java) S 22649 22649 22326 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 149306149 26623803392 6709 33554432000 4194304 4196468 140724645716944 140210167895456 140211762992853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22663] ppid=22649 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22651/task/22663/stat : 22663 (java) S 22649 22649 22326 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 149306149 26623803392 6709 33554432000 4194304 4196468 140724645716944 140210166842864 140211762992853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22664] ppid=22649 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22651/task/22664/stat : 22664 (java) S 22649 22649 22326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149306152 26623803392 6709 33554432000 4194304 4196468 140724645716944 140210165791440 140211763001243 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22665] ppid=22649 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22651/task/22665/stat : 22665 (java) S 22649 22649 22326 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 149306152 26623803392 6709 33554432000 4194304 4196468 140724645716944 140210164738032 140211762993794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22666] ppid=22649 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22651/task/22666/stat : 22666 (java) S 22649 22649 22326 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 149306152 26623803392 6709 33554432000 4194304 4196468 140724645716944 140210163685488 140211762993794 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22667] ppid=22649 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22651/task/22667/stat : 22667 (java) S 22649 22649 22326 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 149306152 26623803392 6709 33554432000 4194304 4196468 140724645716944 140210162632944 140211762993794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22668] ppid=22649 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/22651/task/22668/stat : 22668 (java) R 22649 22649 22326 0 -1 4202560 264 0 0 0 1 0 0 0 20 0 20 0 149306152 26623803392 6709 33554432000 4194304 4196468 140724645716944 140210161580400 140211763003994 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22669] ppid=22649 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22651/task/22669/stat : 22669 (java) S 22649 22649 22326 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 149306152 26623803392 6709 33554432000 4194304 4196468 140724645716944 140210160528096 140211762992853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22670] ppid=22649 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/22651/task/22670/stat : 22670 (java) S 22649 22649 22326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149306152 26623803392 6709 33554432000 4194304 4196468 140724645716944 140210159475632 140211762993794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28220 KiB

[startup+0.210271 s]*
/proc/loadavg: 8.53 8.28 8.25 2/199 22670
/proc/meminfo: memFree=27173180/32770624 swapFree=67108860/67108860
[pid=22649] ppid=22646 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/22649/stat : 22649 (xcsp3-exec) S 22646 22649 22326 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 149306146 9740288 346 33554432000 4194304 5098028 140723732054464 140723732052568 140678691332732 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7843840 140723732059237 140723732059447 140723732059447 140723732062187 0
/proc/22649/statm: 2378 346 289 221 0 87 0
[pid=22651] ppid=22649 vsize=26004064 memory=38996 CPUtime=0.33 cores=0-7
/proc/22651/stat : 22651 (java) S 22649 22649 22326 0 -1 1077944320 8311 0 0 0 31 2 0 0 20 0 20 0 149306146 26628161536 9749 33554432000 4194304 4196468 140724645716944 140724645699488 140211762982647 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
/proc/22651/statm: 6501016 9749 3041 1 0 6488269 0
[pid=22651/tid=22652] ppid=22649 vsize=26004064 memory=0 CPUtime=0.19 cores=0-7
/proc/22651/task/22652/stat : 22652 (java) R 22649 22649 22326 0 -1 4202560 5436 0 0 0 18 1 0 0 20 0 20 0 149306146 26628161536 9749 33554432000 4194304 4196468 140724645716944 140211767202688 140211747063134 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22653] ppid=22649 vsize=26004064 memory=280434244867832 CPUtime=0 cores=0-7
/proc/22651/task/22653/stat : 22653 (java) S 22649 22649 22326 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149306147 26628161536 9749 33554432000 4194304 4196468 140724645716944 140211715603216 140211762992853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22654] ppid=22649 vsize=26004064 memory=140217185752704 CPUtime=0 cores=0-7
/proc/22651/task/22654/stat : 22654 (java) S 22649 22649 22326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149306147 26628161536 9749 33554432000 4194304 4196468 140724645716944 140211714550672 140211762992853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22655] ppid=22649 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22651/task/22655/stat : 22655 (java) S 22649 22649 22326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149306147 26628161536 9749 33554432000 4194304 4196468 140724645716944 140211713498128 140211762992853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22656] ppid=22649 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22651/task/22656/stat : 22656 (java) S 22649 22649 22326 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 149306147 26628161536 9749 33554432000 4194304 4196468 140724645716944 140211712445584 140211762992853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22657] ppid=22649 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22651/task/22657/stat : 22657 (java) S 22649 22649 22326 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149306147 26628161536 9749 33554432000 4194304 4196468 140724645716944 140211711392016 140211762992853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22658] ppid=22649 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/22651/task/22658/stat : 22658 (java) S 22649 22649 22326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149306147 26628161536 9749 33554432000 4194304 4196468 140724645716944 140211710339472 140211762992853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22659] ppid=22649 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22651/task/22659/stat : 22659 (java) S 22649 22649 22326 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149306147 26628161536 9749 33554432000 4194304 4196468 140724645716944 140211709286928 140211762992853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22660] ppid=22649 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22651/task/22660/stat : 22660 (java) S 22649 22649 22326 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149306147 26628161536 9749 33554432000 4194304 4196468 140724645716944 140211708234384 140211762992853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22661] ppid=22649 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22651/task/22661/stat : 22661 (java) S 22649 22649 22326 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149306149 26628161536 9749 33554432000 4194304 4196468 140724645716944 140210168949232 140211762993794 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22662] ppid=22649 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22651/task/22662/stat : 22662 (java) S 22649 22649 22326 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 149306149 26628161536 9749 33554432000 4194304 4196468 140724645716944 140210167895456 140211762992853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22663] ppid=22649 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22651/task/22663/stat : 22663 (java) S 22649 22649 22326 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 149306149 26628161536 9749 33554432000 4194304 4196468 140724645716944 140210166842864 140211762992853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22664] ppid=22649 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22651/task/22664/stat : 22664 (java) S 22649 22649 22326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149306152 26628161536 9749 33554432000 4194304 4196468 140724645716944 140210165791440 140211763001243 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22665] ppid=22649 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/22651/task/22665/stat : 22665 (java) S 22649 22649 22326 0 -1 1077944384 438 0 0 0 1 0 0 0 20 0 20 0 149306152 26628161536 9749 33554432000 4194304 4196468 140724645716944 140210164738032 140211762993794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22666] ppid=22649 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22651/task/22666/stat : 22666 (java) S 22649 22649 22326 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 20 0 149306152 26628161536 9749 33554432000 4194304 4196468 140724645716944 140210163685488 140211762993794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22667] ppid=22649 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/22651/task/22667/stat : 22667 (java) S 22649 22649 22326 0 -1 1077944384 321 0 0 0 1 0 0 0 20 0 20 0 149306152 26628161536 9749 33554432000 4194304 4196468 140724645716944 140210162632944 140211762993794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22668] ppid=22649 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7
/proc/22651/task/22668/stat : 22668 (java) R 22649 22649 22326 0 -1 4202560 730 0 0 0 7 0 0 0 20 0 20 0 149306152 26628161536 9749 33554432000 4194304 4196468 140724645716944 140210161580400 140211755219774 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22669] ppid=22649 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22651/task/22669/stat : 22669 (java) S 22649 22649 22326 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 149306152 26628161536 9749 33554432000 4194304 4196468 140724645716944 140210160528096 140211762992853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22670] ppid=22649 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/22651/task/22670/stat : 22670 (java) S 22649 22649 22326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149306152 26628161536 9749 33554432000 4194304 4196468 140724645716944 140210159475632 140211762993794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40380 KiB

[startup+0.31039 s]*
/proc/loadavg: 8.53 8.28 8.25 3/199 22670
/proc/meminfo: memFree=27167244/32770624 swapFree=67108860/67108860
[pid=22649] ppid=22646 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/22649/stat : 22649 (xcsp3-exec) S 22646 22649 22326 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 149306146 9740288 346 33554432000 4194304 5098028 140723732054464 140723732052568 140678691332732 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7843840 140723732059237 140723732059447 140723732059447 140723732062187 0
/proc/22649/statm: 2378 346 289 221 0 87 0
[pid=22651] ppid=22649 vsize=26004064 memory=45696 CPUtime=0.49 cores=0-7
/proc/22651/stat : 22651 (java) S 22649 22649 22326 0 -1 1077944320 9211 0 0 0 46 3 0 0 20 0 20 0 149306146 26628161536 11424 33554432000 4194304 4196468 140724645716944 140724645699488 140211762982647 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
/proc/22651/statm: 6501016 11424 3080 1 0 6488269 0
[pid=22651/tid=22652] ppid=22649 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/22651/task/22652/stat : 22652 (java) R 22649 22649 22326 0 -1 4202560 6119 0 0 0 27 2 0 0 20 0 20 0 149306146 26628161536 11424 33554432000 4194304 4196468 140724645716944 140211767213712 140211762994582 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22653] ppid=22649 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22651/task/22653/stat : 22653 (java) S 22649 22649 22326 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149306147 26628161536 11424 33554432000 4194304 4196468 140724645716944 140211715603216 140211762992853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22654] ppid=22649 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22651/task/22654/stat : 22654 (java) S 22649 22649 22326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149306147 26628161536 11424 33554432000 4194304 4196468 140724645716944 140211714550672 140211762992853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22655] ppid=22649 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22651/task/22655/stat : 22655 (java) S 22649 22649 22326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149306147 26628161536 11424 33554432000 4194304 4196468 140724645716944 140211713498128 140211762992853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22656] ppid=22649 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22651/task/22656/stat : 22656 (java) S 22649 22649 22326 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 149306147 26628161536 11424 33554432000 4194304 4196468 140724645716944 140211712445584 140211762992853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22657] ppid=22649 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/22651/task/22657/stat : 22657 (java) S 22649 22649 22326 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149306147 26628161536 11424 33554432000 4194304 4196468 140724645716944 140211711392016 140211762992853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22658] ppid=22649 vsize=26004064 memory=140217059210159 CPUtime=0 cores=0-7
/proc/22651/task/22658/stat : 22658 (java) S 22649 22649 22326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149306147 26628161536 11424 33554432000 4194304 4196468 140724645716944 140211710339472 140211762992853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22659] ppid=22649 vsize=26004064 memory=140217059212464 CPUtime=0 cores=0-7
/proc/22651/task/22659/stat : 22659 (java) S 22649 22649 22326 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149306147 26628161536 11424 33554432000 4194304 4196468 140724645716944 140211709286928 140211762992853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22660] ppid=22649 vsize=26004064 memory=140217059214768 CPUtime=0 cores=0-7
/proc/22651/task/22660/stat : 22660 (java) S 22649 22649 22326 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149306147 26628161536 11424 33554432000 4194304 4196468 140724645716944 140211708234384 140211762992853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22661] ppid=22649 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22651/task/22661/stat : 22661 (java) S 22649 22649 22326 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149306149 26628161536 11424 33554432000 4194304 4196468 140724645716944 140210168949232 140211762993794 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22662] ppid=22649 vsize=26004064 memory=280434118436496 CPUtime=0 cores=0-7
/proc/22651/task/22662/stat : 22662 (java) S 22649 22649 22326 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 149306149 26628161536 11424 33554432000 4194304 4196468 140724645716944 140210167895456 140211762992853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22663] ppid=22649 vsize=26004064 memory=280434118443408 CPUtime=0 cores=0-7
/proc/22651/task/22663/stat : 22663 (java) S 22649 22649 22326 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 149306149 26628161536 11424 33554432000 4194304 4196468 140724645716944 140210166842864 140211762992853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22664] ppid=22649 vsize=26004064 memory=280434118384688 CPUtime=0 cores=0-7
/proc/22651/task/22664/stat : 22664 (java) S 22649 22649 22326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149306152 26628161536 11424 33554432000 4194304 4196468 140724645716944 140210165791440 140211763001243 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22665] ppid=22649 vsize=26004064 memory=280434118457232 CPUtime=0.02 cores=0-7
/proc/22651/task/22665/stat : 22665 (java) S 22649 22649 22326 0 -1 1077944384 439 0 0 0 2 0 0 0 20 0 20 0 149306152 26628161536 11424 33554432000 4194304 4196468 140724645716944 140210164738032 140211762993794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22666] ppid=22649 vsize=26004064 memory=280434118464144 CPUtime=0.01 cores=0-7
/proc/22651/task/22666/stat : 22666 (java) R 22649 22649 22326 0 -1 1077944384 117 0 0 0 1 0 0 0 20 0 20 0 149306152 26628161536 11424 33554432000 4194304 4196468 140724645716944 140210163685488 140211762993794 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22667] ppid=22649 vsize=26004064 memory=280434118461840 CPUtime=0.03 cores=0-7
/proc/22651/task/22667/stat : 22667 (java) R 22649 22649 22326 0 -1 4202560 390 0 0 0 3 0 0 0 20 0 20 0 149306152 26628161536 11424 33554432000 4194304 4196468 140724645716944 140210162632944 140211746264576 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22668] ppid=22649 vsize=26004064 memory=280434118478000 CPUtime=0.12 cores=0-7
/proc/22651/task/22668/stat : 22668 (java) R 22649 22649 22326 0 -1 4202560 836 0 0 0 12 0 0 0 20 0 20 0 149306152 26628161536 11424 33554432000 4194304 4196468 140724645716944 140210161580400 140211762994582 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22669] ppid=22649 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22651/task/22669/stat : 22669 (java) S 22649 22649 22326 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 149306152 26628161536 11424 33554432000 4194304 4196468 140724645716944 140210160528096 140211762992853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22670] ppid=22649 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/22651/task/22670/stat : 22670 (java) S 22649 22649 22326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149306152 26628161536 11424 33554432000 4194304 4196468 140724645716944 140210159475632 140211762993794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47080 KiB

[startup+0.701022 s]
/proc/loadavg: 8.53 8.28 8.25 2/199 22670
/proc/meminfo: memFree=27143068/32770624 swapFree=67108860/67108860
[pid=22649] ppid=22646 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/22649/stat : 22649 (xcsp3-exec) S 22646 22649 22326 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 149306146 9740288 346 33554432000 4194304 5098028 140723732054464 140723732052568 140678691332732 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7843840 140723732059237 140723732059447 140723732059447 140723732062187 0
/proc/22649/statm: 2378 346 289 221 0 87 0
[pid=22651] ppid=22649 vsize=26006188 memory=81792 CPUtime=1.58 cores=0-7
/proc/22651/stat : 22651 (java) S 22649 22649 22326 0 -1 1077944320 12486 0 0 0 153 5 0 0 20 0 20 0 149306146 26630336512 20448 33554432000 4194304 4196468 140724645716944 140724645699488 140211762982647 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
/proc/22651/statm: 6501547 20448 3197 1 0 6488781 0
[pid=22651/tid=22652] ppid=22649 vsize=26006188 memory=280434118772864 CPUtime=0.67 cores=0-7
/proc/22651/task/22652/stat : 22652 (java) R 22649 22649 22326 0 -1 4202560 6492 0 0 0 64 3 0 0 20 0 20 0 149306146 26630336512 20448 33554432000 4194304 4196468 140724645716944 140211767217232 140211375292874 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22653] ppid=22649 vsize=26006188 memory=5016521802893 CPUtime=0 cores=0-7
/proc/22651/task/22653/stat : 22653 (java) S 22649 22649 22326 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149306147 26630336512 20448 33554432000 4194304 4196468 140724645716944 140211715603216 140211762992853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22654] ppid=22649 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/22651/task/22654/stat : 22654 (java) S 22649 22649 22326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149306147 26630336512 20448 33554432000 4194304 4196468 140724645716944 140211714550672 140211762992853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22655] ppid=22649 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/22651/task/22655/stat : 22655 (java) S 22649 22649 22326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149306147 26630336512 20448 33554432000 4194304 4196468 140724645716944 140211713498128 140211762992853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0

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

[pid=22651/tid=22838] ppid=22649 vsize=26605264 memory=1384 CPUtime=2406.11 cores=0-7
/proc/22651/task/22838/stat : 22838 (java) R 22649 22649 22326 0 -1 4202560 55163 0 0 0 240565 46 0 0 20 0 28 0 149307364 27243790336 429762 33554432000 4194304 4196468 140724645716944 140210149855272 140211374212051 0 4 0 16800975 0 0 0 -1 3 0 0 8 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
Current children cumulated CPU time: 19357.8 s
Current children cumulated vsize: 26614776 KiB
Current children cumulated memory: 1720432 KiB

[startup+2502.3 s]
/proc/loadavg: 8.08 8.15 8.24 9/208 22904
/proc/meminfo: memFree=25432816/32770624 swapFree=67108860/67108860
[pid=22649] ppid=22646 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/22649/stat : 22649 (xcsp3-exec) S 22646 22649 22326 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 149306146 9740288 346 33554432000 4194304 5098028 140723732054464 140723732052568 140678691332732 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7843840 140723732059237 140723732059447 140723732059447 140723732062187 0
/proc/22649/statm: 2378 346 289 221 0 87 0
[pid=22651] ppid=22649 vsize=26605264 memory=1778152 CPUtime=19836.2 cores=0-7
/proc/22651/stat : 22651 (java) S 22649 22649 22326 0 -1 1077944320 620519 0 0 0 1983040 581 0 0 20 0 28 0 149306146 27243790336 444538 33554432000 4194304 4196468 140724645716944 140724645699488 140211762982647 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
/proc/22651/statm: 6651316 444538 3301 1 0 6638550 0
[pid=22651/tid=22652] ppid=22649 vsize=26605264 memory=1778152 CPUtime=9.7 cores=0-7
/proc/22651/task/22652/stat : 22652 (java) S 22649 22649 22326 0 -1 1077944384 8802 0 0 0 963 7 0 0 20 0 28 0 149306146 27243790336 444538 33554432000 4194304 4196468 140724645716944 140211767223424 140211762992853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22653] ppid=22649 vsize=26605264 memory=1765824 CPUtime=8.64 cores=0-7
/proc/22651/task/22653/stat : 22653 (java) S 22649 22649 22326 0 -1 1077944384 25540 0 0 0 831 33 0 0 20 0 28 0 149306147 27243790336 444538 33554432000 4194304 4196468 140724645716944 140211715603216 140211762992853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22654] ppid=22649 vsize=26605264 memory=1774036 CPUtime=8.63 cores=0-7
/proc/22651/task/22654/stat : 22654 (java) S 22649 22649 22326 0 -1 1077944384 28938 0 0 0 832 31 0 0 20 0 28 0 149306147 27243790336 444538 33554432000 4194304 4196468 140724645716944 140211714550672 140211762992853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22655] ppid=22649 vsize=26605264 memory=1774036 CPUtime=8.69 cores=0-7
/proc/22651/task/22655/stat : 22655 (java) S 22649 22649 22326 0 -1 1077944384 29710 0 0 0 835 34 0 0 20 0 28 0 149306147 27243790336 444538 33554432000 4194304 4196468 140724645716944 140211713498128 140211762992853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22656] ppid=22649 vsize=26605264 memory=1774036 CPUtime=8.64 cores=0-7
/proc/22651/task/22656/stat : 22656 (java) S 22649 22649 22326 0 -1 1077944384 27681 0 0 0 828 36 0 0 20 0 28 0 149306147 27243790336 444538 33554432000 4194304 4196468 140724645716944 140211712445584 140211762992853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22657] ppid=22649 vsize=26605264 memory=1774036 CPUtime=8.68 cores=0-7
/proc/22651/task/22657/stat : 22657 (java) S 22649 22649 22326 0 -1 1077944384 28188 0 0 0 836 32 0 0 20 0 28 0 149306147 27243790336 444538 33554432000 4194304 4196468 140724645716944 140211711392016 140211762992853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22658] ppid=22649 vsize=26605264 memory=1384 CPUtime=8.67 cores=0-7
/proc/22651/task/22658/stat : 22658 (java) S 22649 22649 22326 0 -1 1077944384 30056 0 0 0 836 31 0 0 20 0 28 0 149306147 27243790336 444538 33554432000 4194304 4196468 140724645716944 140211710339472 140211762992853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22659] ppid=22649 vsize=26605264 memory=0 CPUtime=8.65 cores=0-7
/proc/22651/task/22659/stat : 22659 (java) S 22649 22649 22326 0 -1 1077944384 29371 0 0 0 831 34 0 0 20 0 28 0 149306147 27243790336 444538 33554432000 4194304 4196468 140724645716944 140211709286928 140211762992853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22660] ppid=22649 vsize=26605264 memory=1384 CPUtime=8.67 cores=0-7
/proc/22651/task/22660/stat : 22660 (java) S 22649 22649 22326 0 -1 1077944384 29989 0 0 0 834 33 0 0 20 0 28 0 149306147 27243790336 444538 33554432000 4194304 4196468 140724645716944 140211708234384 140211762992853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22661] ppid=22649 vsize=26605264 memory=1765824 CPUtime=2.9 cores=0-7
/proc/22651/task/22661/stat : 22661 (java) S 22649 22649 22326 0 -1 1077944384 36906 0 0 0 238 52 0 0 20 0 28 0 149306149 27243790336 444538 33554432000 4194304 4196468 140724645716944 140210168949232 140211762993794 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22662] ppid=22649 vsize=26605264 memory=1384 CPUtime=0 cores=0-7
/proc/22651/task/22662/stat : 22662 (java) S 22649 22649 22326 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 28 0 149306149 27243790336 444538 33554432000 4194304 4196468 140724645716944 140210167895520 140211762992853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22663] ppid=22649 vsize=26605264 memory=1752580 CPUtime=0 cores=0-7
/proc/22651/task/22663/stat : 22663 (java) S 22649 22649 22326 0 -1 1077944384 106 0 0 0 0 0 0 0 20 0 28 0 149306149 27243790336 444538 33554432000 4194304 4196468 140724645716944 140210166842880 140211762992853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22664] ppid=22649 vsize=26605264 memory=1368344 CPUtime=0 cores=0-7
/proc/22651/task/22664/stat : 22664 (java) S 22649 22649 22326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 149306152 27243790336 444538 33554432000 4194304 4196468 140724645716944 140210165791440 140211763001243 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22665] ppid=22649 vsize=26605264 memory=2196 CPUtime=2.58 cores=0-7
/proc/22651/task/22665/stat : 22665 (java) S 22649 22649 22326 0 -1 1077944384 23098 0 0 0 254 4 0 0 20 0 28 0 149306152 27243790336 444538 33554432000 4194304 4196468 140724645716944 140210164738032 140211762993794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22666] ppid=22649 vsize=26605264 memory=1384 CPUtime=2.36 cores=0-7
/proc/22651/task/22666/stat : 22666 (java) S 22649 22649 22326 0 -1 1077944384 18902 0 0 0 233 3 0 0 20 0 28 0 149306152 27243790336 444538 33554432000 4194304 4196468 140724645716944 140210163685488 140211762993794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22667] ppid=22649 vsize=26605264 memory=1384 CPUtime=2.47 cores=0-7
/proc/22651/task/22667/stat : 22667 (java) S 22649 22649 22326 0 -1 1077944384 17579 0 0 0 243 4 0 0 20 0 28 0 149306152 27243790336 444538 33554432000 4194304 4196468 140724645716944 140210162632944 140211762993794 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22668] ppid=22649 vsize=26605264 memory=1384 CPUtime=0.87 cores=0-7
/proc/22651/task/22668/stat : 22668 (java) S 22649 22649 22326 0 -1 1077944384 15347 0 0 0 84 3 0 0 20 0 28 0 149306152 27243790336 444538 33554432000 4194304 4196468 140724645716944 140210161580400 140211762993794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22669] ppid=22649 vsize=26605264 memory=4100 CPUtime=0 cores=0-7
/proc/22651/task/22669/stat : 22669 (java) S 22649 22649 22326 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 149306152 27243790336 444538 33554432000 4194304 4196468 140724645716944 140210160528096 140211762992853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22670] ppid=22649 vsize=26605264 memory=1384 CPUtime=1.04 cores=0-7
/proc/22651/task/22670/stat : 22670 (java) S 22649 22649 22326 0 -1 1077944384 4265 0 0 0 38 66 0 0 20 0 28 0 149306152 27243790336 444538 33554432000 4194304 4196468 140724645716944 140210159475632 140211762993794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22831] ppid=22649 vsize=26605264 memory=1774036 CPUtime=2467.15 cores=0-7
/proc/22651/task/22831/stat : 22831 (java) R 22649 22649 22326 0 -1 4202560 31911 0 0 0 246688 27 0 0 20 0 28 0 149307364 27243790336 444538 33554432000 4194304 4196468 140724645716944 140209068936872 140211378615528 0 4 0 16800975 0 0 0 -1 2 0 0 12 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22832] ppid=22649 vsize=26605264 memory=1384 CPUtime=2462.51 cores=0-7
/proc/22651/task/22832/stat : 22832 (java) R 22649 22649 22326 0 -1 4202560 25124 0 0 0 246231 20 0 0 20 0 28 0 149307364 27243790336 444538 33554432000 4194304 4196468 140724645716944 140210148805232 140211378342282 0 4 0 16800975 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22833] ppid=22649 vsize=26605264 memory=1763528 CPUtime=2472.08 cores=0-7
/proc/22651/task/22833/stat : 22833 (java) R 22649 22649 22326 0 -1 4202560 29871 0 0 0 247181 27 0 0 20 0 28 0 149307364 27243790336 444538 33554432000 4194304 4196468 140724645716944 140210151960088 140211378233783 0 4 0 16800975 0 0 0 -1 6 0 0 10 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22834] ppid=22649 vsize=26605264 memory=1384 CPUtime=2463.21 cores=0-7
/proc/22651/task/22834/stat : 22834 (java) R 22649 22649 22326 0 -1 4202560 38069 0 0 0 246284 37 0 0 20 0 28 0 149307364 27243790336 444538 33554432000 4194304 4196468 140724645716944 140210150907744 140211374212001 0 4 0 16800975 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22835] ppid=22649 vsize=26605264 memory=1384 CPUtime=2472.23 cores=0-7
/proc/22651/task/22835/stat : 22835 (java) R 22649 22649 22326 0 -1 4202560 15217 0 0 0 247205 18 0 0 20 0 28 0 149307364 27243790336 444538 33554432000 4194304 4196468 140724645716944 140209071042552 140211378233593 0 4 0 16800975 0 0 0 -1 4 0 0 9 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22836] ppid=22649 vsize=26605264 memory=1398720917958146503 CPUtime=2469.58 cores=0-7
/proc/22651/task/22836/stat : 22836 (java) R 22649 22649 22326 0 -1 4202560 20844 0 0 0 246933 25 0 0 20 0 28 0 149307364 27243790336 444538 33554432000 4194304 4196468 140724645716944 140209069989768 140211378233566 0 4 0 16800975 0 0 0 -1 0 0 0 12 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22837] ppid=22649 vsize=26605264 memory=-7003737579269690708 CPUtime=2463.69 cores=0-7
/proc/22651/task/22837/stat : 22837 (java) R 22649 22649 22326 0 -1 4202560 44198 0 0 0 246329 40 0 0 20 0 28 0 149307364 27243790336 444538 33554432000 4194304 4196468 140724645716944 140209073147928 140211378233566 0 4 0 16800975 0 0 0 -1 3 0 0 10 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22838] ppid=22649 vsize=26605264 memory=-7003737579269690708 CPUtime=2465.87 cores=0-7
/proc/22651/task/22838/stat : 22838 (java) R 22649 22649 22326 0 -1 4202560 56267 0 0 0 246540 47 0 0 20 0 28 0 149307364 27243790336 444538 33554432000 4194304 4196468 140724645716944 140210149854840 140211377739071 0 4 0 16800975 0 0 0 -1 7 0 0 9 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
Current children cumulated CPU time: 19836.2 s
Current children cumulated vsize: 26614776 KiB
Current children cumulated memory: 1779536 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.06 8.14 8.23 9/208 22904
/proc/meminfo: memFree=25417068/32770624 swapFree=67108860/67108860
[pid=22649] ppid=22646 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/22649/stat : 22649 (xcsp3-exec) S 22646 22649 22326 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 149306146 9740288 346 33554432000 4194304 5098028 140723732054464 140723732052568 140678691332732 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7843840 140723732059237 140723732059447 140723732059447 140723732062187 0
/proc/22649/statm: 2378 346 289 221 0 87 0
[pid=22651] ppid=22649 vsize=26605264 memory=1794660 CPUtime=19977.4 cores=0-7
/proc/22651/stat : 22651 (java) S 22649 22649 22326 0 -1 1077944320 621859 0 0 0 1997160 585 0 0 20 0 28 0 149306146 27243790336 448665 33554432000 4194304 4196468 140724645716944 140724645699488 140211762982647 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
/proc/22651/statm: 6651316 448665 3301 1 0 6638550 0
[pid=22651/tid=22652] ppid=22649 vsize=26605264 memory=15876 CPUtime=9.7 cores=0-7
/proc/22651/task/22652/stat : 22652 (java) S 22649 22649 22326 0 -1 1077944384 8802 0 0 0 963 7 0 0 20 0 28 0 149306146 27243790336 448665 33554432000 4194304 4196468 140724645716944 140211767223424 140211762992853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22653] ppid=22649 vsize=26605264 memory=22888 CPUtime=8.65 cores=0-7
/proc/22651/task/22653/stat : 22653 (java) S 22649 22649 22326 0 -1 1077944384 25550 0 0 0 832 33 0 0 20 0 28 0 149306147 27243790336 448665 33554432000 4194304 4196468 140724645716944 140211715603216 140211762992853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22654] ppid=22649 vsize=26605264 memory=4052 CPUtime=8.64 cores=0-7
/proc/22651/task/22654/stat : 22654 (java) S 22649 22649 22326 0 -1 1077944384 28959 0 0 0 833 31 0 0 20 0 28 0 149306147 27243790336 448665 33554432000 4194304 4196468 140724645716944 140211714550672 140211762992853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22655] ppid=22649 vsize=26605264 memory=-7003737579269690708 CPUtime=8.7 cores=0-7
/proc/22651/task/22655/stat : 22655 (java) S 22649 22649 22326 0 -1 1077944384 29712 0 0 0 836 34 0 0 20 0 28 0 149306147 27243790336 448665 33554432000 4194304 4196468 140724645716944 140211713498128 140211762992853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22656] ppid=22649 vsize=26605264 memory=1712 CPUtime=8.65 cores=0-7
/proc/22651/task/22656/stat : 22656 (java) S 22649 22649 22326 0 -1 1077944384 27689 0 0 0 829 36 0 0 20 0 28 0 149306147 27243790336 448665 33554432000 4194304 4196468 140724645716944 140211712445584 140211762992853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22657] ppid=22649 vsize=26605264 memory=4612 CPUtime=8.69 cores=0-7
/proc/22651/task/22657/stat : 22657 (java) S 22649 22649 22326 0 -1 1077944384 28218 0 0 0 837 32 0 0 20 0 28 0 149306147 27243790336 448665 33554432000 4194304 4196468 140724645716944 140211711392016 140211762992853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22658] ppid=22649 vsize=26605264 memory=1004 CPUtime=8.68 cores=0-7
/proc/22651/task/22658/stat : 22658 (java) S 22649 22649 22326 0 -1 1077944384 30081 0 0 0 837 31 0 0 20 0 28 0 149306147 27243790336 448665 33554432000 4194304 4196468 140724645716944 140211710339472 140211762992853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22659] ppid=22649 vsize=26605264 memory=1200 CPUtime=8.67 cores=0-7
/proc/22651/task/22659/stat : 22659 (java) S 22649 22649 22326 0 -1 1077944384 29376 0 0 0 832 35 0 0 20 0 28 0 149306147 27243790336 448665 33554432000 4194304 4196468 140724645716944 140211709286928 140211762992853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22660] ppid=22649 vsize=26605264 memory=15876 CPUtime=8.68 cores=0-7
/proc/22651/task/22660/stat : 22660 (java) S 22649 22649 22326 0 -1 1077944384 30222 0 0 0 835 33 0 0 20 0 28 0 149306147 27243790336 448665 33554432000 4194304 4196468 140724645716944 140211708234384 140211762992853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22661] ppid=22649 vsize=26605264 memory=22888 CPUtime=2.91 cores=0-7
/proc/22651/task/22661/stat : 22661 (java) S 22649 22649 22326 0 -1 1077944384 36954 0 0 0 238 53 0 0 20 0 28 0 149306149 27243790336 448665 33554432000 4194304 4196468 140724645716944 140210168949232 140211762993794 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22662] ppid=22649 vsize=26605264 memory=4052 CPUtime=0 cores=0-7
/proc/22651/task/22662/stat : 22662 (java) S 22649 22649 22326 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 28 0 149306149 27243790336 448665 33554432000 4194304 4196468 140724645716944 140210167895520 140211762992853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22663] ppid=22649 vsize=26605264 memory=16236 CPUtime=0 cores=0-7
/proc/22651/task/22663/stat : 22663 (java) S 22649 22649 22326 0 -1 1077944384 106 0 0 0 0 0 0 0 20 0 28 0 149306149 27243790336 448665 33554432000 4194304 4196468 140724645716944 140210166842880 140211762992853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22664] ppid=22649 vsize=26605264 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/22651/task/22664/stat : 22664 (java) S 22649 22649 22326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 149306152 27243790336 448665 33554432000 4194304 4196468 140724645716944 140210165791440 140211763001243 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22665] ppid=22649 vsize=26605264 memory=288230621803970871 CPUtime=2.58 cores=0-7
/proc/22651/task/22665/stat : 22665 (java) S 22649 22649 22326 0 -1 1077944384 23100 0 0 0 254 4 0 0 20 0 28 0 149306152 27243790336 448665 33554432000 4194304 4196468 140724645716944 140210164738032 140211762993794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22666] ppid=22649 vsize=26605264 memory=14691894252800580 CPUtime=2.36 cores=0-7
/proc/22651/task/22666/stat : 22666 (java) S 22649 22649 22326 0 -1 1077944384 18904 0 0 0 233 3 0 0 20 0 28 0 149306152 27243790336 448665 33554432000 4194304 4196468 140724645716944 140210163685488 140211762993794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22667] ppid=22649 vsize=26605264 memory=1712 CPUtime=2.47 cores=0-7
/proc/22651/task/22667/stat : 22667 (java) S 22649 22649 22326 0 -1 1077944384 17581 0 0 0 243 4 0 0 20 0 28 0 149306152 27243790336 448665 33554432000 4194304 4196468 140724645716944 140210162632944 140211762993794 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22668] ppid=22649 vsize=26605264 memory=4612 CPUtime=0.87 cores=0-7
/proc/22651/task/22668/stat : 22668 (java) S 22649 22649 22326 0 -1 1077944384 15349 0 0 0 84 3 0 0 20 0 28 0 149306152 27243790336 448665 33554432000 4194304 4196468 140724645716944 140210161580400 140211762993794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22669] ppid=22649 vsize=26605264 memory=1004 CPUtime=0 cores=0-7
/proc/22651/task/22669/stat : 22669 (java) S 22649 22649 22326 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 149306152 27243790336 448665 33554432000 4194304 4196468 140724645716944 140210160528096 140211762992853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22670] ppid=22649 vsize=26605264 memory=5796 CPUtime=1.05 cores=0-7
/proc/22651/task/22670/stat : 22670 (java) S 22649 22649 22326 0 -1 1077944384 4269 0 0 0 38 67 0 0 20 0 28 0 149306152 27243790336 448665 33554432000 4194304 4196468 140724645716944 140210159475632 140211762993794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22831] ppid=22649 vsize=26605264 memory=1224 CPUtime=2484.83 cores=0-7
/proc/22651/task/22831/stat : 22831 (java) R 22649 22649 22326 0 -1 4202560 31953 0 0 0 248456 27 0 0 20 0 28 0 149307364 27243790336 448665 33554432000 4194304 4196468 140724645716944 140209068936360 140211374210859 0 4 0 16800975 0 0 0 -1 6 0 0 12 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22832] ppid=22649 vsize=26605264 memory=41296 CPUtime=2480.21 cores=0-7
/proc/22651/task/22832/stat : 22832 (java) R 22649 22649 22326 0 -1 4202560 25164 0 0 0 248000 21 0 0 20 0 28 0 149307364 27243790336 448665 33554432000 4194304 4196468 140724645716944 140210148802968 140211378233566 0 4 0 16800975 0 0 0 -1 1 0 0 6 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22833] ppid=22649 vsize=26605264 memory=1292 CPUtime=2489.77 cores=0-7
/proc/22651/task/22833/stat : 22833 (java) R 22649 22649 22326 0 -1 4202560 29914 0 0 0 248949 28 0 0 20 0 28 0 149307364 27243790336 448665 33554432000 4194304 4196468 140724645716944 140210151959952 140211378233115 0 4 0 16800975 0 0 0 -1 2 0 0 10 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22834] ppid=22649 vsize=26605264 memory=6791534058613427641 CPUtime=2480.65 cores=0-7
/proc/22651/task/22834/stat : 22834 (java) R 22649 22649 22326 0 -1 4202560 38124 0 0 0 248028 37 0 0 20 0 28 0 149307364 27243790336 448665 33554432000 4194304 4196468 140724645716944 140210150907280 140211378233593 0 4 0 16800975 0 0 0 -1 7 0 0 8 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22835] ppid=22649 vsize=26605264 memory=1778152 CPUtime=2489.92 cores=0-7
/proc/22651/task/22835/stat : 22835 (java) R 22649 22649 22326 0 -1 4202560 15262 0 0 0 248974 18 0 0 20 0 28 0 149307364 27243790336 448665 33554432000 4194304 4196468 140724645716944 140209071044592 140211378233593 0 4 0 16800975 0 0 0 -1 0 0 0 9 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22836] ppid=22649 vsize=26605264 memory=1004 CPUtime=2487.27 cores=0-7
/proc/22651/task/22836/stat : 22836 (java) R 22649 22649 22326 0 -1 4202560 20872 0 0 0 248702 25 0 0 20 0 28 0 149307364 27243790336 448665 33554432000 4194304 4196468 140724645716944 140209069989856 140211379657106 0 4 0 16800975 0 0 0 -1 4 0 0 12 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22837] ppid=22649 vsize=26605264 memory=1786448 CPUtime=2481.38 cores=0-7
/proc/22651/task/22837/stat : 22837 (java) R 22649 22649 22326 0 -1 4202560 44793 0 0 0 248098 40 0 0 20 0 28 0 149307364 27243790336 448665 33554432000 4194304 4196468 140724645716944 140209073147928 140211378233566 0 4 0 16800975 0 0 0 -1 3 0 0 10 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
[pid=22651/tid=22838] ppid=22649 vsize=26605264 memory=1384 CPUtime=2483.43 cores=0-7
/proc/22651/task/22838/stat : 22838 (java) R 22649 22649 22326 0 -1 4202560 56365 0 0 0 248296 47 0 0 20 0 28 0 149307364 27243790336 448665 33554432000 4194304 4196468 140724645716944 140210149855152 140211374047776 0 4 0 16800975 0 0 0 -1 5 0 0 9 0 0 6293624 6294260 23748608 140724645721234 140724645721411 140724645721411 140724645724111 0
Current children cumulated CPU time: 19977.4 s
Current children cumulated vsize: 26614776 KiB
Current children cumulated memory: 1796044 KiB

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

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

[startup+2520.11 s]
# the end of solver process 22651 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19972.3 s, system=5.86468 s
# this solver process was not waited by its parent and was adopted by runsolver

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

Child status: 143
Real time (s): 2520.11
CPU time (s): 19978.2
CPU user time (s): 19972.3
CPU system time (s): 5.86468
CPU usage (%): 792.75
Max. virtual memory (cumulated for all children) (KiB): 26614776
Max. memory (cumulated for all children) (KiB): 1796044

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19972.3
system time used= 5.86468
maximum resident set size= 1794944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 622712
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3344
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 236466
involuntary context switches= 213251


# summary of solver processes directly reported to runsolver:
#   pid: 22649,22651
#   total CPU time (s): 19978.2
#   total CPU user time (s): 19972.3
#   total CPU system time (s): 5.86468

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.148 second user time and 31.2659 second system time

The end

Launcher Data 

Begin job on node113 at 2017-08-19 18:48:47
IDJOB=4280622
IDBENCH=135904
IDSOLVER=2675
FILE ID=node113/4280622-1503162187
RUNJOBID= node113-1503158805-22353
PBS_JOBID= 20630821
Free space on /tmp= 61692 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/TravellingSalesman/TravellingSalesman-m1-n100/TravellingSalesman-100-50-05.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4280622-1503162187/watcher-4280622-1503162187 -o /tmp/evaluation-result-4280622-1503162187/solver-4280622-1503162187 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node113-1503158805-22353 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 544279625 HOME/instance-4280622-1503162187.xml

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

MD5SUM BENCH= 8c67453fb3d985d7ef69f755cd1f1510
RANDOM SEED=544279625

node113.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.89
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.89
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.89
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.89
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:        27200948 kB
MemAvailable:   31972348 kB
Buffers:          252364 kB
Cached:          4808888 kB
SwapCached:            0 kB
Active:          1251412 kB
Inactive:        3864140 kB
Active(anon):       4228 kB
Inactive(anon):    85924 kB
Active(file):    1247184 kB
Inactive(file):  3778216 kB
Unevictable:        7480 kB
Mlocked:            7480 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7832 kB
Writeback:            24 kB
AnonPages:         61356 kB
Mapped:            50872 kB
Shmem:             33416 kB
Slab:             150140 kB
SReclaimable:     123668 kB
SUnreclaim:        26472 kB
KernelStack:        3168 kB
PageTables:         4792 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     332768 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 61684 MiB
End job on node113 at 2017-08-19 19:30:47