Trace number 4393494

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-06-14 parallelSAT 8.19626 1.764

General information on the benchmark

NameSubisomorphism/Subisomorphism-m1-si6-bvg/
Subisomorphism-si6-b06-m200-07.xml
MD5SUMd7eafb215ab3d3f066855d3513f44111
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 benchmark0.030068
Satisfiable
(Un)Satisfiability was proved
Number of variables120
Number of constraints355
Number of domains1
Minimum domain size200
Maximum domain size200
Distribution of domain sizes[{"size":200,"count":120}]
Minimum variable degree4
Maximum variable degree7
Distribution of variable degrees[{"degree":4,"count":2},{"degree":5,"count":2},{"degree":6,"count":2},{"degree":7,"count":114}]
Minimum constraint arity2
Maximum constraint arity120
Distribution of constraint arities[{"arity":2,"count":354},{"arity":120,"count":1}]
Number of extensional constraints354
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":354},{"type":"allDifferent","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-4393494-1568432140.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4393494-1568432140.xml, -tl, 20160s, -p, 8]
0.34/0.22	c 8 solvers in parallel
0.34/0.28	c parse instance...
3.46/1.13	c solve instance...
7.86/1.74	s SATISFIABLE
7.86/1.74	v <instantiation>
7.86/1.74	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] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] </list>
7.86/1.74	v 	<values>0 127 138 135 1 44 29 40 137 70 139 192 31 100 18 50 47 35 53 112 94 148 95 23 196 27 73 7 180 45 85 144 5 140 90 38 149 179 119 93 28 126 34 152 78 32 162 42 107 156 56 103 87 123 15 147 169 67 83 82 191 25 176 159 71 106 3 128 170 167 165 24 74 11 16 160 80 51 52 86 115 96 136 194 37 99 72 8 69 131 125 17 12 153 185 98 92 39 154 81 33 30 89 101 6 174 68 193 22 2 97 172 168 189 175 14 108 62 190 122 </values>
7.86/1.74	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 (13850 MiB free)
  memory of node 1: 16384 MiB (14244 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393494-1568432140/watcher-4393494-1568432140 -o /tmp/evaluation-result-4393494-1568432140/solver-4393494-1568432140 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node124-1568427058-21341 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1955579179 HOME/instance-4393494-1568432140.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
solver pid=22003, runsolver pid=22000
Current StackSize limit: 8192 KiB


[startup+0.100147 s]*
/proc/loadavg: 8.23 8.35 8.33 3/213 22024
/proc/meminfo: memFree=28753828/32770624 swapFree=66959224/67108860
[pid=22003] ppid=22000 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/22003/stat : 22003 (xcsp3-exec) S 22000 22003 21314 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 419154223 115843072 363 33554432000 4194304 5098028 140723113447120 140723113445224 139930019361404 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38555648 140723113448309 140723113448553 140723113448553 140723113451466 0
/proc/22003/statm: 28282 363 305 221 0 87 0
[pid=22005] ppid=22003 vsize=28227388 memory=28460 CPUtime=0.12 cores=0-7
/proc/22005/stat : 22005 (java) S 22003 22003 21314 0 -1 1077944320 5653 0 0 0 11 1 0 0 20 0 20 0 419154224 28904845312 7115 33554432000 4194304 4196468 140731342361296 140731342343840 140401944710903 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
/proc/22005/statm: 7056847 7115 3122 1 0 7019032 0
[pid=22005/tid=22006] ppid=22003 vsize=28227388 memory=7680497122154552983 CPUtime=0.09 cores=0-7
/proc/22005/task/22006/stat : 22006 (java) R 22003 22003 21314 0 -1 4202560 3584 0 0 0 8 1 0 0 20 0 20 0 419154224 28904845312 7115 33554432000 4194304 4196468 140731342361296 140401948950144 140401944734493 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22007] ppid=22003 vsize=28227388 memory=732370512714783717 CPUtime=0 cores=0-7
/proc/22005/task/22007/stat : 22007 (java) S 22003 22003 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419154225 28904845312 7115 33554432000 4194304 4196468 140731342361296 140401897331216 140401944721109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22008] ppid=22003 vsize=28227388 memory=140374377330304 CPUtime=0 cores=0-7
/proc/22005/task/22008/stat : 22008 (java) S 22003 22003 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419154225 28904845312 7115 33554432000 4194304 4196468 140731342361296 140401896278672 140401944721109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22009] ppid=22003 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/22005/task/22009/stat : 22009 (java) S 22003 22003 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419154225 28904845312 7115 33554432000 4194304 4196468 140731342361296 140401895225616 140401944721109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22010] ppid=22003 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/22005/task/22010/stat : 22010 (java) S 22003 22003 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419154225 28904845312 7115 33554432000 4194304 4196468 140731342361296 140401894173072 140401944721109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22011] ppid=22003 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/22005/task/22011/stat : 22011 (java) S 22003 22003 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419154225 28904845312 7115 33554432000 4194304 4196468 140731342361296 140401893121040 140401944721109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22012] ppid=22003 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/22005/task/22012/stat : 22012 (java) S 22003 22003 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419154225 28904845312 7115 33554432000 4194304 4196468 140731342361296 140401892068496 140401944721109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22013] ppid=22003 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/22005/task/22013/stat : 22013 (java) S 22003 22003 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419154225 28904845312 7181 33554432000 4194304 4196468 140731342361296 140401891015440 140401944721109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22014] ppid=22003 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/22005/task/22014/stat : 22014 (java) S 22003 22003 21314 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419154225 28904845312 7181 33554432000 4194304 4196468 140731342361296 140401889962896 140401944721109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22015] ppid=22003 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/22005/task/22015/stat : 22015 (java) S 22003 22003 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419154226 28904845312 7181 33554432000 4194304 4196468 140731342361296 140400993978608 140401944722050 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22016] ppid=22003 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/22005/task/22016/stat : 22016 (java) S 22003 22003 21314 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419154227 28904845312 7181 33554432000 4194304 4196468 140731342361296 140400992924832 140401944721109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22017] ppid=22003 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/22005/task/22017/stat : 22017 (java) S 22003 22003 21314 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419154227 28904845312 7181 33554432000 4194304 4196468 140731342361296 140400991871728 140401944721109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22018] ppid=22003 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/22005/task/22018/stat : 22018 (java) S 22003 22003 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419154229 28904845312 7181 33554432000 4194304 4196468 140731342361296 140400990820304 140401944729499 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22019] ppid=22003 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/22005/task/22019/stat : 22019 (java) S 22003 22003 21314 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 419154229 28904845312 7181 33554432000 4194304 4196468 140731342361296 140400989768432 140401944722050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22020] ppid=22003 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/22005/task/22020/stat : 22020 (java) S 22003 22003 21314 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 419154229 28904845312 7181 33554432000 4194304 4196468 140731342361296 140400988715888 140401944722050 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22021] ppid=22003 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/22005/task/22021/stat : 22021 (java) R 22003 22003 21314 0 -1 4202560 39 0 0 0 0 0 0 0 20 0 20 0 419154229 28904845312 7181 33554432000 4194304 4196468 140731342361296 140400987662016 140401930377056 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22022] ppid=22003 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/22005/task/22022/stat : 22022 (java) R 22003 22003 21314 0 -1 4202560 332 0 0 0 1 0 0 0 20 0 20 0 419154229 28904845312 7181 33554432000 4194304 4196468 140731342361296 140400986610288 140401944722838 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22023] ppid=22003 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/22005/task/22023/stat : 22023 (java) S 22003 22003 21314 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419154229 28904845312 7181 33554432000 4194304 4196468 140731342361296 140400985557472 140401944721109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22024] ppid=22003 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/22005/task/22024/stat : 22024 (java) S 22003 22003 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419154230 28904845312 7181 33554432000 4194304 4196468 140731342361296 140400984505008 140401944722050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 29912 KiB

[startup+0.210626 s]*
/proc/loadavg: 8.23 8.35 8.33 3/213 22024
/proc/meminfo: memFree=28739928/32770624 swapFree=66959224/67108860
[pid=22003] ppid=22000 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/22003/stat : 22003 (xcsp3-exec) S 22000 22003 21314 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 419154223 115843072 363 33554432000 4194304 5098028 140723113447120 140723113445224 139930019361404 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38555648 140723113448309 140723113448553 140723113448553 140723113451466 0
/proc/22003/statm: 28282 363 305 221 0 87 0
[pid=22005] ppid=22003 vsize=28227388 memory=40428 CPUtime=0.34 cores=0-7
/proc/22005/stat : 22005 (java) S 22003 22003 21314 0 -1 1077944320 9390 0 0 0 31 3 0 0 20 0 20 0 419154224 28904845312 10107 33554432000 4194304 4196468 140731342361296 140731342343840 140401944710903 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
/proc/22005/statm: 7056847 10107 3248 1 0 7019032 0
[pid=22005/tid=22006] ppid=22003 vsize=28227388 memory=0 CPUtime=0.2 cores=0-7
/proc/22005/task/22006/stat : 22006 (java) R 22003 22003 21314 0 -1 4202560 6601 0 0 0 18 2 0 0 20 0 20 0 419154224 28904845312 10107 33554432000 4194304 4196468 140731342361296 140401948944368 140401944732829 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22007] ppid=22003 vsize=28227388 memory=280748605404920 CPUtime=0 cores=0-7
/proc/22005/task/22007/stat : 22007 (java) S 22003 22003 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419154225 28904845312 10107 33554432000 4194304 4196468 140731342361296 140401897331216 140401944721109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22008] ppid=22003 vsize=28227388 memory=140374377330304 CPUtime=0 cores=0-7
/proc/22005/task/22008/stat : 22008 (java) S 22003 22003 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419154225 28904845312 10107 33554432000 4194304 4196468 140731342361296 140401896278672 140401944721109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22009] ppid=22003 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/22005/task/22009/stat : 22009 (java) S 22003 22003 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419154225 28904845312 10107 33554432000 4194304 4196468 140731342361296 140401895225616 140401944721109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22010] ppid=22003 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/22005/task/22010/stat : 22010 (java) S 22003 22003 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419154225 28904845312 10107 33554432000 4194304 4196468 140731342361296 140401894173072 140401944721109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22011] ppid=22003 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/22005/task/22011/stat : 22011 (java) S 22003 22003 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419154225 28904845312 10107 33554432000 4194304 4196468 140731342361296 140401893121040 140401944721109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22012] ppid=22003 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/22005/task/22012/stat : 22012 (java) S 22003 22003 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419154225 28904845312 10107 33554432000 4194304 4196468 140731342361296 140401892068496 140401944721109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22013] ppid=22003 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/22005/task/22013/stat : 22013 (java) S 22003 22003 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419154225 28904845312 10107 33554432000 4194304 4196468 140731342361296 140401891015440 140401944721109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22014] ppid=22003 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/22005/task/22014/stat : 22014 (java) S 22003 22003 21314 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419154225 28904845312 10107 33554432000 4194304 4196468 140731342361296 140401889962896 140401944721109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22015] ppid=22003 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/22005/task/22015/stat : 22015 (java) S 22003 22003 21314 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419154226 28904845312 10107 33554432000 4194304 4196468 140731342361296 140400993978608 140401944722050 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22016] ppid=22003 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/22005/task/22016/stat : 22016 (java) S 22003 22003 21314 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419154227 28904845312 10107 33554432000 4194304 4196468 140731342361296 140400992924832 140401944721109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22017] ppid=22003 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/22005/task/22017/stat : 22017 (java) S 22003 22003 21314 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419154227 28904845312 10107 33554432000 4194304 4196468 140731342361296 140400991871728 140401944721109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22018] ppid=22003 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/22005/task/22018/stat : 22018 (java) S 22003 22003 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419154229 28904845312 10107 33554432000 4194304 4196468 140731342361296 140400990820304 140401944729499 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22019] ppid=22003 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/22005/task/22019/stat : 22019 (java) S 22003 22003 21314 0 -1 1077944384 381 0 0 0 2 0 0 0 20 0 20 0 419154229 28904845312 10107 33554432000 4194304 4196468 140731342361296 140400989768432 140401944722050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22020] ppid=22003 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/22005/task/22020/stat : 22020 (java) S 22003 22003 21314 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 419154229 28904845312 10107 33554432000 4194304 4196468 140731342361296 140400988715888 140401944722050 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22021] ppid=22003 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/22005/task/22021/stat : 22021 (java) S 22003 22003 21314 0 -1 1077944384 159 0 0 0 1 0 0 0 20 0 20 0 419154229 28904845312 10107 33554432000 4194304 4196468 140731342361296 140400987662832 140401944722050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22022] ppid=22003 vsize=28227388 memory=0 CPUtime=0.08 cores=0-7
/proc/22005/task/22022/stat : 22022 (java) S 22003 22003 21314 0 -1 1077944384 815 0 0 0 8 0 0 0 20 0 20 0 419154229 28904845312 10107 33554432000 4194304 4196468 140731342361296 140400986610288 140401944722050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22023] ppid=22003 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/22005/task/22023/stat : 22023 (java) S 22003 22003 21314 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419154229 28904845312 10107 33554432000 4194304 4196468 140731342361296 140400985557472 140401944721109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22024] ppid=22003 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/22005/task/22024/stat : 22024 (java) S 22003 22003 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419154230 28904845312 10107 33554432000 4194304 4196468 140731342361296 140400984505008 140401944722050 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 41880 KiB

[startup+0.311528 s]*
/proc/loadavg: 8.23 8.35 8.33 4/213 22024
/proc/meminfo: memFree=28732136/32770624 swapFree=66959224/67108860
[pid=22003] ppid=22000 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/22003/stat : 22003 (xcsp3-exec) S 22000 22003 21314 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 419154223 115843072 363 33554432000 4194304 5098028 140723113447120 140723113445224 139930019361404 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38555648 140723113448309 140723113448553 140723113448553 140723113451466 0
/proc/22003/statm: 28282 363 305 221 0 87 0
[pid=22005] ppid=22003 vsize=28231644 memory=50312 CPUtime=0.53 cores=0-7
/proc/22005/stat : 22005 (java) S 22003 22003 21314 0 -1 1077944320 10937 0 0 0 49 4 0 0 20 0 20 0 419154224 28909203456 12578 33554432000 4194304 4196468 140731342361296 140731342343840 140401944710903 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
/proc/22005/statm: 7057911 12578 3365 1 0 7019032 0
[pid=22005/tid=22006] ppid=22003 vsize=28231644 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/22005/task/22006/stat : 22006 (java) R 22003 22003 21314 0 -1 4202560 7794 0 0 0 27 3 0 0 20 0 20 0 419154224 28909203456 12578 33554432000 4194304 4196468 140731342361296 140401948945640 140401928791390 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22007] ppid=22003 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/22005/task/22007/stat : 22007 (java) S 22003 22003 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419154225 28909203456 12578 33554432000 4194304 4196468 140731342361296 140401897331216 140401944721109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22008] ppid=22003 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/22005/task/22008/stat : 22008 (java) S 22003 22003 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419154225 28909203456 12578 33554432000 4194304 4196468 140731342361296 140401896278672 140401944721109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22009] ppid=22003 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/22005/task/22009/stat : 22009 (java) S 22003 22003 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419154225 28909203456 12578 33554432000 4194304 4196468 140731342361296 140401895225616 140401944721109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22010] ppid=22003 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/22005/task/22010/stat : 22010 (java) S 22003 22003 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419154225 28909203456 12578 33554432000 4194304 4196468 140731342361296 140401894173072 140401944721109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22011] ppid=22003 vsize=28231644 memory=2244 CPUtime=0 cores=0-7
/proc/22005/task/22011/stat : 22011 (java) S 22003 22003 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419154225 28909203456 12578 33554432000 4194304 4196468 140731342361296 140401893121040 140401944721109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22012] ppid=22003 vsize=28231644 memory=140374228169647 CPUtime=0 cores=0-7
/proc/22005/task/22012/stat : 22012 (java) S 22003 22003 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419154225 28909203456 12578 33554432000 4194304 4196468 140731342361296 140401892068496 140401944721109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22013] ppid=22003 vsize=28231644 memory=140374228171952 CPUtime=0 cores=0-7
/proc/22005/task/22013/stat : 22013 (java) S 22003 22003 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419154225 28909203456 12578 33554432000 4194304 4196468 140731342361296 140401891015440 140401944721109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22014] ppid=22003 vsize=28231644 memory=140374228174256 CPUtime=0 cores=0-7
/proc/22005/task/22014/stat : 22014 (java) S 22003 22003 21314 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419154225 28909203456 12578 33554432000 4194304 4196468 140731342361296 140401889962896 140401944721109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22015] ppid=22003 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/22005/task/22015/stat : 22015 (java) S 22003 22003 21314 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419154226 28909203456 12578 33554432000 4194304 4196468 140731342361296 140400993978608 140401944722050 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22016] ppid=22003 vsize=28231644 memory=280748456355472 CPUtime=0 cores=0-7
/proc/22005/task/22016/stat : 22016 (java) S 22003 22003 21314 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419154227 28909203456 12578 33554432000 4194304 4196468 140731342361296 140400992924832 140401944721109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22017] ppid=22003 vsize=28231644 memory=280748456362384 CPUtime=0 cores=0-7
/proc/22005/task/22017/stat : 22017 (java) S 22003 22003 21314 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419154227 28909203456 12578 33554432000 4194304 4196468 140731342361296 140400991871728 140401944721109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22018] ppid=22003 vsize=28231644 memory=280748456303664 CPUtime=0 cores=0-7
/proc/22005/task/22018/stat : 22018 (java) S 22003 22003 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419154229 28909203456 12578 33554432000 4194304 4196468 140731342361296 140400990820304 140401944729499 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22019] ppid=22003 vsize=28231644 memory=280748456376208 CPUtime=0.04 cores=0-7
/proc/22005/task/22019/stat : 22019 (java) R 22003 22003 21314 0 -1 4202560 505 0 0 0 4 0 0 0 20 0 20 0 419154229 28909203456 12578 33554432000 4194304 4196468 140731342361296 140400989749448 140401929633891 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22020] ppid=22003 vsize=28231644 memory=280748456383120 CPUtime=0.01 cores=0-7
/proc/22005/task/22020/stat : 22020 (java) S 22003 22003 21314 0 -1 1077944384 162 0 0 0 1 0 0 0 20 0 20 0 419154229 28909203456 12578 33554432000 4194304 4196468 140731342361296 140400988715888 140401944722050 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22021] ppid=22003 vsize=28231644 memory=280748456380816 CPUtime=0.02 cores=0-7
/proc/22005/task/22021/stat : 22021 (java) S 22003 22003 21314 0 -1 1077944384 212 0 0 0 2 0 0 0 20 0 20 0 419154229 28909203456 12578 33554432000 4194304 4196468 140731342361296 140400987662832 140401944722050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22022] ppid=22003 vsize=28231644 memory=280748456396976 CPUtime=0.12 cores=0-7
/proc/22005/task/22022/stat : 22022 (java) S 22003 22003 21314 0 -1 1077944384 956 0 0 0 12 0 0 0 20 0 20 0 419154229 28909203456 12578 33554432000 4194304 4196468 140731342361296 140400986610288 140401944722050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22023] ppid=22003 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/22005/task/22023/stat : 22023 (java) S 22003 22003 21314 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419154229 28909203456 12578 33554432000 4194304 4196468 140731342361296 140400985557472 140401944721109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22024] ppid=22003 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/22005/task/22024/stat : 22024 (java) S 22003 22003 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419154230 28909203456 12578 33554432000 4194304 4196468 140731342361296 140400984505008 140401944722050 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 51764 KiB

[startup+0.700988 s]
/proc/loadavg: 8.23 8.35 8.33 3/213 22024
/proc/meminfo: memFree=28713436/32770624 swapFree=66959224/67108860
[pid=22003] ppid=22000 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/22003/stat : 22003 (xcsp3-exec) S 22000 22003 21314 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 419154223 115843072 363 33554432000 4194304 5098028 140723113447120 140723113445224 139930019361404 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38555648 140723113448309 140723113448553 140723113448553 140723113451466 0
/proc/22003/statm: 28282 363 305 221 0 87 0
[pid=22005] ppid=22003 vsize=28233768 memory=112704 CPUtime=1.66 cores=0-7
/proc/22005/stat : 22005 (java) S 22003 22003 21314 0 -1 1077944320 15327 0 0 0 160 6 0 0 20 0 20 0 419154224 28911378432 28176 33554432000 4194304 4196468 140731342361296 140731342343840 140401944710903 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
/proc/22005/statm: 7058442 28176 3438 1 0 7019544 0
[pid=22005/tid=22006] ppid=22003 vsize=28233768 memory=280748456691840 CPUtime=0.67 cores=0-7
/proc/22005/task/22006/stat : 22006 (java) R 22003 22003 21314 0 -1 4202560 9071 0 0 0 63 4 0 0 20 0 20 0 419154224 28911378432 28176 33554432000 4194304 4196468 140731342361296 140401948946640 140401562010514 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22007] ppid=22003 vsize=28233768 memory=1436 CPUtime=0 cores=0-7
/proc/22005/task/22007/stat : 22007 (java) S 22003 22003 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419154225 28911378432 28176 33554432000 4194304 4196468 140731342361296 140401897331216 140401944721109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22008] ppid=22003 vsize=28233768 memory=580 CPUtime=0 cores=0-7
/proc/22005/task/22008/stat : 22008 (java) S 22003 22003 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419154225 28911378432 28176 33554432000 4194304 4196468 140731342361296 140401896278672 140401944721109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22009] ppid=22003 vsize=28233768 memory=1720 CPUtime=0 cores=0-7
/proc/22005/task/22009/stat : 22009 (java) S 22003 22003 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419154225 28911378432 28176 33554432000 4194304 4196468 140731342361296 140401895225616 140401944721109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0

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

/proc/loadavg: 7.97 8.29 8.31 5/213 22024
/proc/meminfo: memFree=28552496/32770624 swapFree=66959224/67108860
[pid=22003] ppid=22000 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/22003/stat : 22003 (xcsp3-exec) S 22000 22003 21314 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 419154223 115843072 363 33554432000 4194304 5098028 140723113447120 140723113445224 139930019361404 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38555648 140723113448309 140723113448553 140723113448553 140723113451466 0
/proc/22003/statm: 28282 363 305 221 0 87 0
[pid=22005] ppid=22003 vsize=28766280 memory=300492 CPUtime=6.32 cores=0-7
/proc/22005/stat : 22005 (java) S 22003 22003 21314 0 -1 1077944320 18425 0 0 0 600 32 0 0 20 0 28 0 419154224 29456670720 75123 33554432000 4194304 4196468 140731342361296 140731342343840 140401944710903 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
/proc/22005/statm: 7191570 75123 3492 1 0 7152672 0
[pid=22005/tid=22006] ppid=22003 vsize=28766280 memory=6942668606812808039 CPUtime=1.03 cores=0-7
/proc/22005/task/22006/stat : 22006 (java) S 22003 22003 21314 0 -1 1077944384 9273 0 0 0 98 5 0 0 20 0 28 0 419154224 29456670720 75123 33554432000 4194304 4196468 140731342361296 140401948951680 140401944721109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22007] ppid=22003 vsize=28766280 memory=3620 CPUtime=0.07 cores=0-7
/proc/22005/task/22007/stat : 22007 (java) S 22003 22003 21314 0 -1 1077944384 83 0 0 0 5 2 0 0 20 0 28 0 419154225 29456670720 75123 33554432000 4194304 4196468 140731342361296 140401897331216 140401944721109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22008] ppid=22003 vsize=28766280 memory=0 CPUtime=0.07 cores=0-7
/proc/22005/task/22008/stat : 22008 (java) S 22003 22003 21314 0 -1 1077944384 79 0 0 0 5 2 0 0 20 0 28 0 419154225 29456670720 75123 33554432000 4194304 4196468 140731342361296 140401896278672 140401944721109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22009] ppid=22003 vsize=28766280 memory=140374228387840 CPUtime=0.09 cores=0-7
/proc/22005/task/22009/stat : 22009 (java) S 22003 22003 21314 0 -1 1077944384 93 0 0 0 6 3 0 0 20 0 28 0 419154225 29456670720 75123 33554432000 4194304 4196468 140731342361296 140401895225616 140401944721109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22010] ppid=22003 vsize=28766280 memory=0 CPUtime=0.07 cores=0-7
/proc/22005/task/22010/stat : 22010 (java) S 22003 22003 21314 0 -1 1077944384 88 0 0 0 5 2 0 0 20 0 28 0 419154225 29456670720 75123 33554432000 4194304 4196468 140731342361296 140401894173072 140401944721109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22011] ppid=22003 vsize=28766280 memory=0 CPUtime=0.08 cores=0-7
/proc/22005/task/22011/stat : 22011 (java) S 22003 22003 21314 0 -1 1077944384 98 0 0 0 5 3 0 0 20 0 28 0 419154225 29456670720 75123 33554432000 4194304 4196468 140731342361296 140401893121040 140401944721109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22012] ppid=22003 vsize=28766280 memory=0 CPUtime=0.08 cores=0-7
/proc/22005/task/22012/stat : 22012 (java) S 22003 22003 21314 0 -1 1077944384 87 0 0 0 5 3 0 0 20 0 28 0 419154225 29456670720 75123 33554432000 4194304 4196468 140731342361296 140401892068496 140401944721109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22013] ppid=22003 vsize=28766280 memory=280748456149232 CPUtime=0.09 cores=0-7
/proc/22005/task/22013/stat : 22013 (java) S 22003 22003 21314 0 -1 1077944384 92 0 0 0 6 3 0 0 20 0 28 0 419154225 29456670720 75123 33554432000 4194304 4196468 140731342361296 140401891015440 140401944721109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22014] ppid=22003 vsize=28766280 memory=0 CPUtime=0.07 cores=0-7
/proc/22005/task/22014/stat : 22014 (java) S 22003 22003 21314 0 -1 1077944384 88 0 0 0 5 2 0 0 20 0 28 0 419154225 29456670720 75123 33554432000 4194304 4196468 140731342361296 140401889962896 140401944721109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22015] ppid=22003 vsize=28766280 memory=0 CPUtime=0 cores=0-7
/proc/22005/task/22015/stat : 22015 (java) S 22003 22003 21314 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 419154226 29456670720 75123 33554432000 4194304 4196468 140731342361296 140400993978608 140401944722050 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22016] ppid=22003 vsize=28766280 memory=0 CPUtime=0 cores=0-7
/proc/22005/task/22016/stat : 22016 (java) S 22003 22003 21314 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 419154227 29456670720 75123 33554432000 4194304 4196468 140731342361296 140400992924896 140401944721109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22017] ppid=22003 vsize=28766280 memory=0 CPUtime=0 cores=0-7
/proc/22005/task/22017/stat : 22017 (java) S 22003 22003 21314 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 419154227 29456670720 75123 33554432000 4194304 4196468 140731342361296 140400991871744 140401944721109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22018] ppid=22003 vsize=28766280 memory=0 CPUtime=0 cores=0-7
/proc/22005/task/22018/stat : 22018 (java) S 22003 22003 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419154229 29456670720 75123 33554432000 4194304 4196468 140731342361296 140400990820304 140401944729499 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22019] ppid=22003 vsize=28766280 memory=0 CPUtime=0.62 cores=0-7
/proc/22005/task/22019/stat : 22019 (java) S 22003 22003 21314 0 -1 1077944384 1702 0 0 0 62 0 0 0 20 0 28 0 419154229 29456670720 75123 33554432000 4194304 4196468 140731342361296 140400989768432 140401944722050 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22020] ppid=22003 vsize=28766280 memory=0 CPUtime=0.57 cores=0-7
/proc/22005/task/22020/stat : 22020 (java) R 22003 22003 21314 0 -1 4202560 1276 0 0 0 57 0 0 0 20 0 28 0 419154229 29456670720 75123 33554432000 4194304 4196468 140731342361296 140400988705488 140401928211017 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22021] ppid=22003 vsize=28766280 memory=1060 CPUtime=0.45 cores=0-7
/proc/22005/task/22021/stat : 22021 (java) S 22003 22003 21314 0 -1 1077944384 1429 0 0 0 45 0 0 0 20 0 28 0 419154229 29456670720 75123 33554432000 4194304 4196468 140731342361296 140400987662832 140401944722050 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22022] ppid=22003 vsize=28766280 memory=2828 CPUtime=0.49 cores=0-7
/proc/22005/task/22022/stat : 22022 (java) R 22003 22003 21314 0 -1 1077944384 2364 0 0 0 49 0 0 0 20 0 28 0 419154229 29456670720 75123 33554432000 4194304 4196468 140731342361296 140400986610288 140401944722050 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22023] ppid=22003 vsize=28766280 memory=1216 CPUtime=0 cores=0-7
/proc/22005/task/22023/stat : 22023 (java) S 22003 22003 21314 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419154229 29456670720 75123 33554432000 4194304 4196468 140731342361296 140400985557472 140401944721109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22024] ppid=22003 vsize=28766280 memory=984 CPUtime=0 cores=0-7
/proc/22005/task/22024/stat : 22024 (java) S 22003 22003 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419154230 29456670720 75123 33554432000 4194304 4196468 140731342361296 140400984505008 140401944722050 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
Current children cumulated CPU time: 6.32 s
Current children cumulated vsize: 28879408 KiB
Current children cumulated memory: 301944 KiB

[startup+1.76395 s]
# the end of solver process 22003 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=7.85077 s, system=0.34549 s

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

[startup+1.60909 s]
/proc/loadavg: 7.97 8.29 8.31 5/213 22024
/proc/meminfo: memFree=28552496/32770624 swapFree=66959224/67108860
[pid=22003] ppid=22000 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/22003/stat : 22003 (xcsp3-exec) S 22000 22003 21314 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 419154223 115843072 363 33554432000 4194304 5098028 140723113447120 140723113445224 139930019361404 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38555648 140723113448309 140723113448553 140723113448553 140723113451466 0
/proc/22003/statm: 28282 363 305 221 0 87 0
[pid=22005] ppid=22003 vsize=28766280 memory=301212 CPUtime=7.13 cores=0-7
/proc/22005/stat : 22005 (java) S 22003 22003 21314 0 -1 1077944320 18627 0 0 0 680 33 0 0 20 0 28 0 419154224 29456670720 75303 33554432000 4194304 4196468 140731342361296 140731342343840 140401944710903 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
/proc/22005/statm: 7191570 75303 3495 1 0 7152672 0
[pid=22005/tid=22006] ppid=22003 vsize=28766280 memory=14048 CPUtime=1.03 cores=0-7
/proc/22005/task/22006/stat : 22006 (java) S 22003 22003 21314 0 -1 1077944384 9273 0 0 0 98 5 0 0 20 0 28 0 419154224 29456670720 75303 33554432000 4194304 4196468 140731342361296 140401948951680 140401944721109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22007] ppid=22003 vsize=28766280 memory=2124 CPUtime=0.07 cores=0-7
/proc/22005/task/22007/stat : 22007 (java) S 22003 22003 21314 0 -1 1077944384 83 0 0 0 5 2 0 0 20 0 28 0 419154225 29456670720 75303 33554432000 4194304 4196468 140731342361296 140401897331216 140401944721109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22008] ppid=22003 vsize=28766280 memory=41084 CPUtime=0.07 cores=0-7
/proc/22005/task/22008/stat : 22008 (java) S 22003 22003 21314 0 -1 1077944384 79 0 0 0 5 2 0 0 20 0 28 0 419154225 29456670720 75303 33554432000 4194304 4196468 140731342361296 140401896278672 140401944721109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22009] ppid=22003 vsize=28766280 memory=988 CPUtime=0.09 cores=0-7
/proc/22005/task/22009/stat : 22009 (java) S 22003 22003 21314 0 -1 1077944384 93 0 0 0 6 3 0 0 20 0 28 0 419154225 29456670720 75303 33554432000 4194304 4196468 140731342361296 140401895225616 140401944721109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22010] ppid=22003 vsize=28766280 memory=2008 CPUtime=0.07 cores=0-7
/proc/22005/task/22010/stat : 22010 (java) S 22003 22003 21314 0 -1 1077944384 88 0 0 0 5 2 0 0 20 0 28 0 419154225 29456670720 75303 33554432000 4194304 4196468 140731342361296 140401894173072 140401944721109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22011] ppid=22003 vsize=28766280 memory=1436 CPUtime=0.08 cores=0-7
/proc/22005/task/22011/stat : 22011 (java) S 22003 22003 21314 0 -1 1077944384 98 0 0 0 5 3 0 0 20 0 28 0 419154225 29456670720 75303 33554432000 4194304 4196468 140731342361296 140401893121040 140401944721109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22012] ppid=22003 vsize=28766280 memory=580 CPUtime=0.08 cores=0-7
/proc/22005/task/22012/stat : 22012 (java) S 22003 22003 21314 0 -1 1077944384 87 0 0 0 5 3 0 0 20 0 28 0 419154225 29456670720 75303 33554432000 4194304 4196468 140731342361296 140401892068496 140401944721109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22013] ppid=22003 vsize=28766280 memory=1720 CPUtime=0.09 cores=0-7
/proc/22005/task/22013/stat : 22013 (java) S 22003 22003 21314 0 -1 1077944384 92 0 0 0 6 3 0 0 20 0 28 0 419154225 29456670720 75303 33554432000 4194304 4196468 140731342361296 140401891015440 140401944721109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22014] ppid=22003 vsize=28766280 memory=10604 CPUtime=0.07 cores=0-7
/proc/22005/task/22014/stat : 22014 (java) S 22003 22003 21314 0 -1 1077944384 88 0 0 0 5 2 0 0 20 0 28 0 419154225 29456670720 75303 33554432000 4194304 4196468 140731342361296 140401889962896 140401944721109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22015] ppid=22003 vsize=28766280 memory=3360 CPUtime=0 cores=0-7
/proc/22005/task/22015/stat : 22015 (java) S 22003 22003 21314 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 419154226 29456670720 75303 33554432000 4194304 4196468 140731342361296 140400993978608 140401944722050 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22016] ppid=22003 vsize=28766280 memory=776 CPUtime=0 cores=0-7
/proc/22005/task/22016/stat : 22016 (java) S 22003 22003 21314 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 419154227 29456670720 75303 33554432000 4194304 4196468 140731342361296 140400992924896 140401944721109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22017] ppid=22003 vsize=28766280 memory=0 CPUtime=0 cores=0-7
/proc/22005/task/22017/stat : 22017 (java) S 22003 22003 21314 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 419154227 29456670720 75303 33554432000 4194304 4196468 140731342361296 140400991871744 140401944721109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22018] ppid=22003 vsize=28766280 memory=2241 CPUtime=0 cores=0-7
/proc/22005/task/22018/stat : 22018 (java) S 22003 22003 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419154229 29456670720 75303 33554432000 4194304 4196468 140731342361296 140400990820304 140401944729499 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22019] ppid=22003 vsize=28766280 memory=0 CPUtime=0.71 cores=0-7
/proc/22005/task/22019/stat : 22019 (java) R 22003 22003 21314 0 -1 4202560 1726 0 0 0 71 0 0 0 20 0 28 0 419154229 29456670720 75303 33554432000 4194304 4196468 140731342361296 140400989754976 140401930846760 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22020] ppid=22003 vsize=28766280 memory=6916 CPUtime=0.67 cores=0-7
/proc/22005/task/22020/stat : 22020 (java) R 22003 22003 21314 0 -1 4202560 1353 0 0 0 67 0 0 0 20 0 28 0 419154229 29456670720 75303 33554432000 4194304 4196468 140731342361296 140400988707344 140401922305680 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22021] ppid=22003 vsize=28766280 memory=2244 CPUtime=0.54 cores=0-7
/proc/22005/task/22021/stat : 22021 (java) R 22003 22003 21314 0 -1 4202560 1463 0 0 0 54 0 0 0 20 0 28 0 419154229 29456670720 75303 33554432000 4194304 4196468 140731342361296 140400987654160 140401930725224 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22022] ppid=22003 vsize=28766280 memory=140374228508384 CPUtime=0.53 cores=0-7
/proc/22005/task/22022/stat : 22022 (java) S 22003 22003 21314 0 -1 1077944384 2416 0 0 0 52 1 0 0 20 0 28 0 419154229 29456670720 75303 33554432000 4194304 4196468 140731342361296 140400986610288 140401944722050 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22023] ppid=22003 vsize=28766280 memory=0 CPUtime=0 cores=0-7
/proc/22005/task/22023/stat : 22023 (java) S 22003 22003 21314 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419154229 29456670720 75303 33554432000 4194304 4196468 140731342361296 140400985557472 140401944721109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22024] ppid=22003 vsize=28766280 memory=0 CPUtime=0 cores=0-7
/proc/22005/task/22024/stat : 22024 (java) S 22003 22003 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419154230 29456670720 75303 33554432000 4194304 4196468 140731342361296 140400984505008 140401944722050 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
Current children cumulated CPU time: 7.13 s
Current children cumulated vsize: 28879408 KiB
Current children cumulated memory: 302664 KiB

[startup+1.70109 s]
/proc/loadavg: 7.97 8.29 8.31 5/213 22024
/proc/meminfo: memFree=28552496/32770624 swapFree=66959224/67108860
[pid=22003] ppid=22000 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/22003/stat : 22003 (xcsp3-exec) S 22000 22003 21314 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 419154223 115843072 363 33554432000 4194304 5098028 140723113447120 140723113445224 139930019361404 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38555648 140723113448309 140723113448553 140723113448553 140723113451466 0
/proc/22003/statm: 28282 363 305 221 0 87 0
[pid=22005] ppid=22003 vsize=28766280 memory=308616 CPUtime=7.86 cores=0-7
/proc/22005/stat : 22005 (java) S 22003 22003 21314 0 -1 1077944320 20491 0 0 0 753 33 0 0 20 0 28 0 419154224 29456670720 77154 33554432000 4194304 4196468 140731342361296 140731342343840 140401944710903 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
/proc/22005/statm: 7191570 77154 3496 1 0 7152672 0
[pid=22005/tid=22006] ppid=22003 vsize=28766280 memory=300492 CPUtime=1.03 cores=0-7
/proc/22005/task/22006/stat : 22006 (java) S 22003 22003 21314 0 -1 1077944384 9273 0 0 0 98 5 0 0 20 0 28 0 419154224 29456670720 77154 33554432000 4194304 4196468 140731342361296 140401948951680 140401944721109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22007] ppid=22003 vsize=28766280 memory=6942668606812808039 CPUtime=0.07 cores=0-7
/proc/22005/task/22007/stat : 22007 (java) S 22003 22003 21314 0 -1 1077944384 83 0 0 0 5 2 0 0 20 0 28 0 419154225 29456670720 77154 33554432000 4194304 4196468 140731342361296 140401897331216 140401944721109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22008] ppid=22003 vsize=28766280 memory=1060 CPUtime=0.07 cores=0-7
/proc/22005/task/22008/stat : 22008 (java) S 22003 22003 21314 0 -1 1077944384 79 0 0 0 5 2 0 0 20 0 28 0 419154225 29456670720 77154 33554432000 4194304 4196468 140731342361296 140401896278672 140401944721109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22009] ppid=22003 vsize=28766280 memory=2828 CPUtime=0.09 cores=0-7
/proc/22005/task/22009/stat : 22009 (java) S 22003 22003 21314 0 -1 1077944384 93 0 0 0 6 3 0 0 20 0 28 0 419154225 29456670720 77154 33554432000 4194304 4196468 140731342361296 140401895225616 140401944721109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22010] ppid=22003 vsize=28766280 memory=1216 CPUtime=0.07 cores=0-7
/proc/22005/task/22010/stat : 22010 (java) S 22003 22003 21314 0 -1 1077944384 88 0 0 0 5 2 0 0 20 0 28 0 419154225 29456670720 77154 33554432000 4194304 4196468 140731342361296 140401894173072 140401944721109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22011] ppid=22003 vsize=28766280 memory=984 CPUtime=0.08 cores=0-7
/proc/22005/task/22011/stat : 22011 (java) S 22003 22003 21314 0 -1 1077944384 98 0 0 0 5 3 0 0 20 0 28 0 419154225 29456670720 77154 33554432000 4194304 4196468 140731342361296 140401893121040 140401944721109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22012] ppid=22003 vsize=28766280 memory=3620 CPUtime=0.08 cores=0-7
/proc/22005/task/22012/stat : 22012 (java) S 22003 22003 21314 0 -1 1077944384 87 0 0 0 5 3 0 0 20 0 28 0 419154225 29456670720 77154 33554432000 4194304 4196468 140731342361296 140401892068496 140401944721109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22013] ppid=22003 vsize=28766280 memory=0 CPUtime=0.09 cores=0-7
/proc/22005/task/22013/stat : 22013 (java) S 22003 22003 21314 0 -1 1077944384 92 0 0 0 6 3 0 0 20 0 28 0 419154225 29456670720 77154 33554432000 4194304 4196468 140731342361296 140401891015440 140401944721109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22014] ppid=22003 vsize=28766280 memory=140374228387840 CPUtime=0.07 cores=0-7
/proc/22005/task/22014/stat : 22014 (java) S 22003 22003 21314 0 -1 1077944384 88 0 0 0 5 2 0 0 20 0 28 0 419154225 29456670720 77154 33554432000 4194304 4196468 140731342361296 140401889962896 140401944721109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22015] ppid=22003 vsize=28766280 memory=0 CPUtime=0 cores=0-7
/proc/22005/task/22015/stat : 22015 (java) S 22003 22003 21314 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 419154226 29456670720 77154 33554432000 4194304 4196468 140731342361296 140400993978608 140401944722050 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22016] ppid=22003 vsize=28766280 memory=0 CPUtime=0 cores=0-7
/proc/22005/task/22016/stat : 22016 (java) S 22003 22003 21314 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 419154227 29456670720 77154 33554432000 4194304 4196468 140731342361296 140400992924896 140401944721109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22017] ppid=22003 vsize=28766280 memory=0 CPUtime=0 cores=0-7
/proc/22005/task/22017/stat : 22017 (java) S 22003 22003 21314 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 419154227 29456670720 77154 33554432000 4194304 4196468 140731342361296 140400991871744 140401944721109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22018] ppid=22003 vsize=28766280 memory=280748456149232 CPUtime=0 cores=0-7
/proc/22005/task/22018/stat : 22018 (java) S 22003 22003 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419154229 29456670720 77154 33554432000 4194304 4196468 140731342361296 140400990820304 140401944729499 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22019] ppid=22003 vsize=28766280 memory=0 CPUtime=0.8 cores=0-7
/proc/22005/task/22019/stat : 22019 (java) R 22003 22003 21314 0 -1 4202560 2242 0 0 0 80 0 0 0 20 0 28 0 419154229 29456670720 77154 33554432000 4194304 4196468 140731342361296 140400989754456 140401929822162 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22020] ppid=22003 vsize=28766280 memory=0 CPUtime=0.74 cores=0-7
/proc/22005/task/22020/stat : 22020 (java) R 22003 22003 21314 0 -1 4202560 1937 0 0 0 74 0 0 0 20 0 28 0 419154229 29456670720 77154 33554432000 4194304 4196468 140731342361296 140400988701912 140401923956751 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22021] ppid=22003 vsize=28766280 memory=0 CPUtime=0.63 cores=0-7
/proc/22005/task/22021/stat : 22021 (java) R 22003 22003 21314 0 -1 4202560 2183 0 0 0 63 0 0 0 20 0 28 0 419154229 29456670720 77220 33554432000 4194304 4196468 140731342361296 140400987649616 140401924428039 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22022] ppid=22003 vsize=28766280 memory=0 CPUtime=0.54 cores=0-7
/proc/22005/task/22022/stat : 22022 (java) R 22003 22003 21314 0 -1 4202560 2424 0 0 0 53 1 0 0 20 0 28 0 419154229 29456670720 77220 33554432000 4194304 4196468 140731342361296 140400986610288 140401944722838 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22023] ppid=22003 vsize=28766280 memory=0 CPUtime=0 cores=0-7
/proc/22005/task/22023/stat : 22023 (java) S 22003 22003 21314 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419154229 29456670720 77220 33554432000 4194304 4196468 140731342361296 140400985557472 140401944721109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
[pid=22005/tid=22024] ppid=22003 vsize=28766280 memory=0 CPUtime=0 cores=0-7
/proc/22005/task/22024/stat : 22024 (java) S 22003 22003 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419154230 29456670720 77220 33554432000 4194304 4196468 140731342361296 140400984505008 140401944722050 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9531392 140731342365674 140731342365846 140731342365846 140731342368719 0
Current children cumulated CPU time: 7.86 s
Current children cumulated vsize: 28879408 KiB
Current children cumulated memory: 310068 KiB

Child status: 0
Real time (s): 1.764
CPU time (s): 8.19626
CPU user time (s): 7.85077
CPU system time (s): 0.34549
CPU usage (%): 464.64
Max. virtual memory (cumulated for all children) (KiB): 28879408
Max. memory (cumulated for all children) (KiB): 310068

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.85077
system time used= 0.34549
maximum resident set size= 311856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21492
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= 3266
involuntary context switches= 118


# summary of solver processes directly reported to runsolver:
#   pid: 22003
#   total CPU time (s): 8.19626
#   total CPU user time (s): 7.85077
#   total CPU system time (s): 0.34549

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.033609 second user time and 0.059477 second system time

The end

Launcher Data 

Begin job on node124 at 2019-09-14 05:35:00
IDJOB=4393494
IDBENCH=131540
IDSOLVER=2841
FILE ID=node124/4393494-1568432140
RUNJOBID= node124-1568427058-21341
PBS_JOBID= 21702294
Free space on /tmp= 61812 MiB

SOLVER NAME= choco-solver parallel 2019-06-14
BENCH NAME= XCSP17/Subisomorphism/Subisomorphism-m1-si6-bvg/Subisomorphism-si6-b06-m200-07.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-4393494-1568432140/watcher-4393494-1568432140 -o /tmp/evaluation-result-4393494-1568432140/solver-4393494-1568432140 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node124-1568427058-21341 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1955579179 HOME/instance-4393494-1568432140.xml

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

MD5SUM BENCH= d7eafb215ab3d3f066855d3513f44111
RANDOM SEED=1955579179

node124.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.47
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.47
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.47
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.47
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:        28769404 kB
MemAvailable:   31849620 kB
Buffers:          193528 kB
Cached:          3167124 kB
SwapCached:        45888 kB
Active:           990376 kB
Inactive:        2422728 kB
Active(anon):       4136 kB
Inactive(anon):    89420 kB
Active(file):     986240 kB
Inactive(file):  2333308 kB
Unevictable:      107204 kB
Mlocked:          107204 kB
SwapTotal:      67108860 kB
SwapFree:       66959224 kB
Dirty:             26080 kB
Writeback:             0 kB
AnonPages:        124972 kB
Mapped:            44412 kB
Shmem:             32744 kB
Slab:             182408 kB
SReclaimable:     153004 kB
SUnreclaim:        29404 kB
KernelStack:        3744 kB
PageTables:         5636 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498024 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     79872 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 61788 MiB
End job on node124 at 2019-09-14 05:35:02