Trace number 4392960

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-14SAT 29.3958 8.59861

General information on the benchmark

NameHanoi/Hanoi-m1-s1/
Hanoi-07.xml
MD5SUM7f68b5f256bf6bd8019eb0158af88fa3
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.776956
Satisfiable
(Un)Satisfiability was proved
Number of variables126
Number of constraints126
Number of domains1
Minimum domain size2187
Maximum domain size2187
Distribution of domain sizes[{"size":2187,"count":126}]
Minimum variable degree1
Maximum variable degree2
Distribution of variable degrees[{"degree":1,"count":125},{"degree":2,"count":1}]
Minimum constraint arity1
Maximum constraint arity2
Distribution of constraint arities[{"arity":1,"count":1},{"arity":2,"count":125}]
Number of extensional constraints125
Number of intensional constraints1
Distribution of constraint types[{"type":"extension","count":125},{"type":"intension","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4392960-1568350637.xml"  -tl '2520s' -p 4
0.11/0.19	c Choco e747e1e
0.11/0.19	c [HOME/instance-4392960-1568350637.xml, -tl, 2520s, -p, 4]
0.33/0.23	c 4 solvers in parallel
0.33/0.29	c parse instance...
5.79/2.19	c solve instance...
29.30/8.57	s SATISFIABLE
29.30/8.57	v <instantiation>
29.30/8.57	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] x[120] x[121] x[122] x[123] x[124] x[125] </list>
29.30/8.57	v 	<values>2 5 4 22 21 24 26 53 52 46 45 36 38 41 40 202 203 200 198 207 208 214 215 188 187 181 180 171 173 172 178 179 170 179 170 169 168 165 168 169 168 169 163 162 163 162 81 82 81 83 81 83 82 83 81 83 81 83 81 83 86 83 81 162 81 83 86 84 86 83 82 81 82 88 87 89 88 89 98 97 98 97 98 97 96 98 89 98 89 98 96 97 98 89 98 89 88 89 98 96 98 97 96 98 89 98 89 87 89 98 96 97 96 93 95 93 95 92 95 94 148 147 149 148 149 147 </values>
29.30/8.57	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 (2477 MiB free)
  memory of node 1: 16384 MiB (12165 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392960-1568350637/watcher-4392960-1568350637 -o /tmp/evaluation-result-4392960-1568350637/solver-4392960-1568350637 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568343408-4479 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 939524743 HOME/instance-4392960-1568350637.xml 

running on 4 cores: 1,3,5,7

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


[startup+0.104662 s]*
/proc/loadavg: 4.89 5.73 5.99 6/230 11857
/proc/meminfo: memFree=14897820/32770624 swapFree=66959216/67108860
[pid=11841] ppid=11838 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11841/stat : 11841 (xcsp3-exec) S 11838 11841 3331 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 411003851 115843072 363 33554432000 4194304 5098028 140723336616064 140723336614168 140469926511228 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 28790784 140723336618875 140723336619117 140723336619117 140723336622026 0
/proc/11841/statm: 28282 363 304 221 0 87 0
[pid=11843] ppid=11841 vsize=15144768 memory=28676 CPUtime=0.11 cores=1,3,5,7
/proc/11843/stat : 11843 (java) S 11841 11841 3331 0 -1 1077944320 5646 0 0 0 11 0 0 0 20 0 15 0 411003851 15508242432 7169 33554432000 4194304 4196468 140729866688688 140729866671232 140190946721527 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
/proc/11843/statm: 3786192 7169 3120 1 0 3748377 0
[pid=11843/tid=11844] ppid=11841 vsize=15144768 memory=8514701219881255588 CPUtime=0.08 cores=1,3,5,7
/proc/11843/task/11844/stat : 11844 (java) R 11841 11841 3331 0 -1 4202560 3558 0 0 0 8 0 0 0 20 0 15 0 411003851 15508242432 7169 33554432000 4194304 4196468 140729866688688 140190950946224 140190946733462 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11845] ppid=11841 vsize=15144768 memory=3472467846097761488 CPUtime=0 cores=1,3,5,7
/proc/11843/task/11845/stat : 11845 (java) S 11841 11841 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411003852 15508242432 7169 33554432000 4194304 4196468 140729866688688 140190899342096 140190946731733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11846] ppid=11841 vsize=15144768 memory=139717202609792 CPUtime=0 cores=1,3,5,7
/proc/11843/task/11846/stat : 11846 (java) S 11841 11841 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411003852 15508242432 7169 33554432000 4194304 4196468 140729866688688 140190898289552 140190946731733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11847] ppid=11841 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11843/task/11847/stat : 11847 (java) S 11841 11841 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411003852 15508242432 7169 33554432000 4194304 4196468 140729866688688 140190897237008 140190946731733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11848] ppid=11841 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11843/task/11848/stat : 11848 (java) S 11841 11841 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411003852 15508242432 7169 33554432000 4194304 4196468 140729866688688 140190896184464 140190946731733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11849] ppid=11841 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11843/task/11849/stat : 11849 (java) S 11841 11841 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411003853 15508242432 7169 33554432000 4194304 4196468 140729866688688 140189820241904 140190946732674 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11850] ppid=11841 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11843/task/11850/stat : 11850 (java) S 11841 11841 3331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411003854 15508242432 7169 33554432000 4194304 4196468 140729866688688 140189819188128 140190946731733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11851] ppid=11841 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11843/task/11851/stat : 11851 (java) S 11841 11841 3331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411003854 15508242432 7169 33554432000 4194304 4196468 140729866688688 140189818135536 140190946731733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11852] ppid=11841 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11843/task/11852/stat : 11852 (java) S 11841 11841 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411003857 15508242432 7169 33554432000 4194304 4196468 140729866688688 140189817084112 140190946740123 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11853] ppid=11841 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11843/task/11853/stat : 11853 (java) S 11841 11841 3331 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 411003857 15508242432 7169 33554432000 4194304 4196468 140729866688688 140189816031728 140190946732674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11854] ppid=11841 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11843/task/11854/stat : 11854 (java) S 11841 11841 3331 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 15 0 411003857 15508242432 7169 33554432000 4194304 4196468 140729866688688 140189814979184 140190946732674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11855] ppid=11841 vsize=15144768 memory=139717202609792 CPUtime=0.02 cores=1,3,5,7
/proc/11843/task/11855/stat : 11855 (java) R 11841 11841 3331 0 -1 4202560 359 0 0 0 2 0 0 0 20 0 15 0 411003857 15508242432 7169 33554432000 4194304 4196468 140729866688688 140189505510128 140190925659621 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11856] ppid=11841 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11843/task/11856/stat : 11856 (java) S 11841 11841 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411003857 15508242432 7169 33554432000 4194304 4196468 140729866688688 140189504457824 140190946731733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11857] ppid=11841 vsize=15144768 memory=139717202609792 CPUtime=0 cores=1,3,5,7
/proc/11843/task/11857/stat : 11857 (java) S 11841 11841 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411003858 15508242432 7169 33554432000 4194304 4196468 140729866688688 140189503404336 140190946732674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30128 KiB

[startup+0.210588 s]*
/proc/loadavg: 4.89 5.73 5.99 8/230 11857
/proc/meminfo: memFree=14872096/32770624 swapFree=66959216/67108860
[pid=11841] ppid=11838 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11841/stat : 11841 (xcsp3-exec) S 11838 11841 3331 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 411003851 115843072 363 33554432000 4194304 5098028 140723336616064 140723336614168 140469926511228 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 28790784 140723336618875 140723336619117 140723336619117 140723336622026 0
/proc/11841/statm: 28282 363 304 221 0 87 0
[pid=11843] ppid=11841 vsize=15144768 memory=40884 CPUtime=0.33 cores=1,3,5,7
/proc/11843/stat : 11843 (java) S 11841 11841 3331 0 -1 1077944320 9460 0 0 0 30 3 0 0 20 0 15 0 411003851 15508242432 10221 33554432000 4194304 4196468 140729866688688 140729866671232 140190946721527 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
/proc/11843/statm: 3786192 10221 3270 1 0 3748377 0
[pid=11843/tid=11844] ppid=11841 vsize=15144768 memory=5855082630903857826 CPUtime=0.19 cores=1,3,5,7
/proc/11843/task/11844/stat : 11844 (java) R 11841 11841 3331 0 -1 4202560 6581 0 0 0 17 2 0 0 20 0 15 0 411003851 15508242432 10221 33554432000 4194304 4196468 140729866688688 140190950952176 140190946743453 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11845] ppid=11841 vsize=15144768 memory=3472467846097761488 CPUtime=0 cores=1,3,5,7
/proc/11843/task/11845/stat : 11845 (java) S 11841 11841 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411003852 15508242432 10221 33554432000 4194304 4196468 140729866688688 140190899342096 140190946731733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11846] ppid=11841 vsize=15144768 memory=139717202609792 CPUtime=0 cores=1,3,5,7
/proc/11843/task/11846/stat : 11846 (java) S 11841 11841 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411003852 15508242432 10221 33554432000 4194304 4196468 140729866688688 140190898289552 140190946731733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11847] ppid=11841 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11843/task/11847/stat : 11847 (java) S 11841 11841 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411003852 15508242432 10221 33554432000 4194304 4196468 140729866688688 140190897237008 140190946731733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11848] ppid=11841 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11843/task/11848/stat : 11848 (java) S 11841 11841 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411003852 15508242432 10221 33554432000 4194304 4196468 140729866688688 140190896184464 140190946731733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11849] ppid=11841 vsize=15144768 memory=139717202609792 CPUtime=0 cores=1,3,5,7
/proc/11843/task/11849/stat : 11849 (java) S 11841 11841 3331 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 411003853 15508242432 10221 33554432000 4194304 4196468 140729866688688 140189820241904 140190946732674 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11850] ppid=11841 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11843/task/11850/stat : 11850 (java) S 11841 11841 3331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411003854 15508242432 10221 33554432000 4194304 4196468 140729866688688 140189819188128 140190946731733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11851] ppid=11841 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11843/task/11851/stat : 11851 (java) S 11841 11841 3331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411003854 15508242432 10221 33554432000 4194304 4196468 140729866688688 140189818135536 140190946731733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11852] ppid=11841 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11843/task/11852/stat : 11852 (java) S 11841 11841 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411003857 15508242432 10221 33554432000 4194304 4196468 140729866688688 140189817084112 140190946740123 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11853] ppid=11841 vsize=15144768 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/11843/task/11853/stat : 11853 (java) R 11841 11841 3331 0 -1 1077944384 651 0 0 0 3 0 0 0 20 0 15 0 411003857 15508242432 10221 33554432000 4194304 4196468 140729866688688 140189816031728 140190946732674 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11854] ppid=11841 vsize=15144768 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/11843/task/11854/stat : 11854 (java) R 11841 11841 3331 0 -1 4202560 174 0 0 0 2 0 0 0 20 0 15 0 411003857 15508242432 10221 33554432000 4194304 4196468 140729866688688 140189814979184 140190926225563 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11855] ppid=11841 vsize=15144768 memory=139717202609792 CPUtime=0.07 cores=1,3,5,7
/proc/11843/task/11855/stat : 11855 (java) R 11841 11841 3331 0 -1 4202560 747 0 0 0 7 0 0 0 20 0 15 0 411003857 15508242432 10221 33554432000 4194304 4196468 140729866688688 140189505505984 140190925398449 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11856] ppid=11841 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11843/task/11856/stat : 11856 (java) S 11841 11841 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411003857 15508242432 10221 33554432000 4194304 4196468 140729866688688 140189504457824 140190946731733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11857] ppid=11841 vsize=15144768 memory=139717202609792 CPUtime=0 cores=1,3,5,7
/proc/11843/task/11857/stat : 11857 (java) R 11841 11841 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411003858 15508242432 10221 33554432000 4194304 4196468 140729866688688 140189503404336 140190946732674 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42336 KiB

[startup+0.659538 s]*
/proc/loadavg: 4.89 5.73 5.99 9/230 11857
/proc/meminfo: memFree=14869916/32770624 swapFree=66959216/67108860
[pid=11841] ppid=11838 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11841/stat : 11841 (xcsp3-exec) S 11838 11841 3331 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 411003851 115843072 363 33554432000 4194304 5098028 140723336616064 140723336614168 140469926511228 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 28790784 140723336618875 140723336619117 140723336619117 140723336622026 0
/proc/11841/statm: 28282 363 304 221 0 87 0
[pid=11843] ppid=11841 vsize=15149100 memory=57600 CPUtime=0.8 cores=1,3,5,7
/proc/11843/stat : 11843 (java) S 11841 11841 3331 0 -1 1077944320 11707 0 0 0 76 4 0 0 20 0 15 0 411003851 15512678400 14400 33554432000 4194304 4196468 140729866688688 140729866671232 140190946721527 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
/proc/11843/statm: 3787275 14400 3395 1 0 3748377 0
[pid=11843/tid=11844] ppid=11841 vsize=15149100 memory=8514701219880729758 CPUtime=0.41 cores=1,3,5,7
/proc/11843/task/11844/stat : 11844 (java) R 11841 11841 3331 0 -1 4202560 8202 0 0 0 38 3 0 0 20 0 15 0 411003851 15512678400 14400 33554432000 4194304 4196468 140729866688688 140190950957280 140190568040752 0 4 0 16800975 0 0 0 -1 3 0 0 23 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11845] ppid=11841 vsize=15149100 memory=3472467846097761488 CPUtime=0 cores=1,3,5,7
/proc/11843/task/11845/stat : 11845 (java) S 11841 11841 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411003852 15512678400 14400 33554432000 4194304 4196468 140729866688688 140190899342096 140190946731733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11846] ppid=11841 vsize=15149100 memory=139717202609792 CPUtime=0 cores=1,3,5,7
/proc/11843/task/11846/stat : 11846 (java) S 11841 11841 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411003852 15512678400 14400 33554432000 4194304 4196468 140729866688688 140190898289552 140190946731733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11847] ppid=11841 vsize=15149100 memory=8 CPUtime=0 cores=1,3,5,7
/proc/11843/task/11847/stat : 11847 (java) S 11841 11841 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411003852 15512678400 14400 33554432000 4194304 4196468 140729866688688 140190897237008 140190946731733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11848] ppid=11841 vsize=15149100 memory=139717098219551 CPUtime=0 cores=1,3,5,7
/proc/11843/task/11848/stat : 11848 (java) S 11841 11841 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411003852 15512678400 14400 33554432000 4194304 4196468 140729866688688 140190896184464 140190946731733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11849] ppid=11841 vsize=15149100 memory=279434196399872 CPUtime=0 cores=1,3,5,7
/proc/11843/task/11849/stat : 11849 (java) S 11841 11841 3331 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 411003853 15512678400 14400 33554432000 4194304 4196468 140729866688688 140189820241904 140190946732674 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11850] ppid=11841 vsize=15149100 memory=139717098196495 CPUtime=0 cores=1,3,5,7
/proc/11843/task/11850/stat : 11850 (java) S 11841 11841 3331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411003854 15512678400 14400 33554432000 4194304 4196468 140729866688688 140189819188128 140190946731733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11851] ppid=11841 vsize=15149100 memory=279434300815456 CPUtime=0 cores=1,3,5,7
/proc/11843/task/11851/stat : 11851 (java) S 11841 11841 3331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411003854 15512678400 14400 33554432000 4194304 4196468 140729866688688 140189818135536 140190946731733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11852] ppid=11841 vsize=15149100 memory=139717098201103 CPUtime=0 cores=1,3,5,7
/proc/11843/task/11852/stat : 11852 (java) S 11841 11841 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411003857 15512678400 14400 33554432000 4194304 4196468 140729866688688 140189817084112 140190946740123 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11853] ppid=11841 vsize=15149100 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/11843/task/11853/stat : 11853 (java) R 11841 11841 3331 0 -1 4202560 789 0 0 0 11 0 0 0 20 0 15 0 411003857 15512678400 14400 33554432000 4194304 4196468 140729866688688 140189816023056 140190925012181 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11854] ppid=11841 vsize=15149100 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/11843/task/11854/stat : 11854 (java) R 11841 11841 3331 0 -1 1077944384 339 0 0 0 9 0 0 0 20 0 15 0 411003857 15512678400 14466 33554432000 4194304 4196468 140729866688688 140189814979184 140190946732674 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11855] ppid=11841 vsize=15149100 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/11843/task/11855/stat : 11855 (java) R 11841 11841 3331 0 -1 4202560 1073 0 0 0 18 0 0 0 20 0 15 0 411003857 15512678400 14466 33554432000 4194304 4196468 140729866688688 140189505505856 140190925211200 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11856] ppid=11841 vsize=15149100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11843/task/11856/stat : 11856 (java) S 11841 11841 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411003857 15512678400 14466 33554432000 4194304 4196468 140729866688688 140189504457824 140190946731733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11857] ppid=11841 vsize=15149100 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11843/task/11857/stat : 11857 (java) S 11841 11841 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411003858 15512678400 14466 33554432000 4194304 4196468 140729866688688 140189503404336 140190946732674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
Current children cumulated CPU time: 0.8 s
Current children cumulated vsize: 15262228 KiB
Current children cumulated memory: 59052 KiB

[startup+0.718837 s]*
/proc/loadavg: 4.89 5.73 5.99 9/230 11857
/proc/meminfo: memFree=14861796/32770624 swapFree=66959216/67108860
[pid=11841] ppid=11838 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11841/stat : 11841 (xcsp3-exec) S 11838 11841 3331 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 411003851 115843072 363 33554432000 4194304 5098028 140723336616064 140723336614168 140469926511228 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 28790784 140723336618875 140723336619117 140723336619117 140723336622026 0
/proc/11841/statm: 28282 363 304 221 0 87 0
[pid=11843] ppid=11841 vsize=15149100 memory=68028 CPUtime=1.01 cores=1,3,5,7
/proc/11843/stat : 11843 (java) S 11841 11841 3331 0 -1 1077944320 12260 0 0 0 97 4 0 0 20 0 15 0 411003851 15512678400 17007 33554432000 4194304 4196468 140729866688688 140729866671232 140190946721527 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
/proc/11843/statm: 3787275 17007 3429 1 0 3748377 0
[pid=11843/tid=11844] ppid=11841 vsize=15149100 memory=5855082630903857826 CPUtime=0.47 cores=1,3,5,7
/proc/11843/task/11844/stat : 11844 (java) R 11841 11841 3331 0 -1 4202560 8266 0 0 0 44 3 0 0 20 0 15 0 411003851 15512678400 17007 33554432000 4194304 4196468 140729866688688 140190950958576 140190932789171 0 4 0 16800975 0 0 0 -1 3 0 0 23 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11845] ppid=11841 vsize=15149100 memory=3472467846097761488 CPUtime=0 cores=1,3,5,7
/proc/11843/task/11845/stat : 11845 (java) S 11841 11841 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411003852 15512678400 17007 33554432000 4194304 4196468 140729866688688 140190899342096 140190946731733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11846] ppid=11841 vsize=15149100 memory=139717202609792 CPUtime=0 cores=1,3,5,7
/proc/11843/task/11846/stat : 11846 (java) S 11841 11841 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411003852 15512678400 17007 33554432000 4194304 4196468 140729866688688 140190898289552 140190946731733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11847] ppid=11841 vsize=15149100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11843/task/11847/stat : 11847 (java) S 11841 11841 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411003852 15512678400 17007 33554432000 4194304 4196468 140729866688688 140190897237008 140190946731733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11848] ppid=11841 vsize=15149100 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11843/task/11848/stat : 11848 (java) S 11841 11841 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411003852 15512678400 17007 33554432000 4194304 4196468 140729866688688 140190896184464 140190946731733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11849] ppid=11841 vsize=15149100 memory=139717202609792 CPUtime=0 cores=1,3,5,7
/proc/11843/task/11849/stat : 11849 (java) S 11841 11841 3331 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 411003853 15512678400 17007 33554432000 4194304 4196468 140729866688688 140189820241904 140190946732674 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11850] ppid=11841 vsize=15149100 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11843/task/11850/stat : 11850 (java) S 11841 11841 3331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411003854 15512678400 17007 33554432000 4194304 4196468 140729866688688 140189819188128 140190946731733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11851] ppid=11841 vsize=15149100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11843/task/11851/stat : 11851 (java) S 11841 11841 3331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411003854 15512678400 17007 33554432000 4194304 4196468 140729866688688 140189818135536 140190946731733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11852] ppid=11841 vsize=15149100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11843/task/11852/stat : 11852 (java) S 11841 11841 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411003857 15512678400 17007 33554432000 4194304 4196468 140729866688688 140189817084112 140190946740123 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11853] ppid=11841 vsize=15149100 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/11843/task/11853/stat : 11853 (java) R 11841 11841 3331 0 -1 4202560 1019 0 0 0 16 0 0 0 20 0 15 0 411003857 15512678400 17007 33554432000 4194304 4196468 140729866688688 140189816015568 140190928246816 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11854] ppid=11841 vsize=15149100 memory=-1 CPUtime=0.14 cores=1,3,5,7
/proc/11843/task/11854/stat : 11854 (java) R 11841 11841 3331 0 -1 4202560 468 0 0 0 14 0 0 0 20 0 15 0 411003857 15512678400 17007 33554432000 4194304 4196468 140729866688688 140189814979312 140190924468943 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11855] ppid=11841 vsize=15149100 memory=139717202609792 CPUtime=0.22 cores=1,3,5,7
/proc/11843/task/11855/stat : 11855 (java) R 11841 11841 3331 0 -1 1077944384 1199 0 0 0 22 0 0 0 20 0 15 0 411003857 15512678400 17007 33554432000 4194304 4196468 140729866688688 140189505510128 140190946732674 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11856] ppid=11841 vsize=15149100 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11843/task/11856/stat : 11856 (java) S 11841 11841 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411003857 15512678400 17007 33554432000 4194304 4196468 140729866688688 140189504457824 140190946731733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11857] ppid=11841 vsize=15149100 memory=139717202609792 CPUtime=0 cores=1,3,5,7
/proc/11843/task/11857/stat : 11857 (java) S 11841 11841 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411003858 15512678400 17007 33554432000 4194304 4196468 140729866688688 140189503404336 140190946732674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15262228 KiB
Current children cumulated memory: 69480 KiB

[startup+1.50082 s]
/proc/loadavg: 4.89 5.73 5.99 8/230 11858
/proc/meminfo: memFree=14462560/32770624 swapFree=66959216/67108860
[pid=11841] ppid=11838 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11841/stat : 11841 (xcsp3-exec) S 11838 11841 3331 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 411003851 115843072 363 33554432000 4194304 5098028 140723336616064 140723336614168 140469926511228 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 28790784 140723336618875 140723336619117 140723336619117 140723336622026 0
/proc/11841/statm: 28282 363 304 221 0 87 0

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

/proc/11843/task/11857/stat : 11857 (java) S 11841 11841 3331 0 -1 1077944384 383 0 0 0 0 0 0 0 20 0 19 0 411003858 15787421696 247014 33554432000 4194304 4196468 140729866688688 140189503404336 140190946732674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11859] ppid=11841 vsize=15417404 memory=4715435516538746410 CPUtime=4.41 cores=1,3,5,7
/proc/11843/task/11859/stat : 11859 (java) R 11841 11841 3331 0 -1 4202560 363 0 0 0 441 0 0 0 20 0 19 0 411004071 15787421696 247014 33554432000 4194304 4196468 140729866688688 140189494430184 140190573126130 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11860] ppid=11841 vsize=15417404 memory=5859271421084456296 CPUtime=4.37 cores=1,3,5,7
/proc/11843/task/11860/stat : 11860 (java) R 11841 11841 3331 0 -1 4202560 602 0 0 0 437 0 0 0 20 0 19 0 411004071 15787421696 247014 33554432000 4194304 4196468 140729866688688 140189493381512 140190573126064 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11861] ppid=11841 vsize=15417404 memory=5787495302022849344 CPUtime=4.4 cores=1,3,5,7
/proc/11843/task/11861/stat : 11861 (java) R 11841 11841 3331 0 -1 4202560 222 0 0 0 440 0 0 0 20 0 19 0 411004071 15787421696 247014 33554432000 4194304 4196468 140729866688688 140189492326216 140190573146480 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11862] ppid=11841 vsize=15417404 memory=928 CPUtime=4.42 cores=1,3,5,7
/proc/11843/task/11862/stat : 11862 (java) R 11841 11841 3331 0 -1 4202560 431 0 0 0 442 0 0 0 20 0 19 0 411004071 15787421696 247014 33554432000 4194304 4196468 140729866688688 140189491273784 140190573126109 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
Current children cumulated CPU time: 23.91 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 989508 KiB

[startup+7.50163 s]
/proc/loadavg: 5.14 5.77 6.00 9/233 11862
/proc/meminfo: memFree=13676056/32770624 swapFree=66959216/67108860
[pid=11841] ppid=11838 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11841/stat : 11841 (xcsp3-exec) S 11838 11841 3331 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 411003851 115843072 363 33554432000 4194304 5098028 140723336616064 140723336614168 140469926511228 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 28790784 140723336618875 140723336619117 140723336619117 140723336622026 0
/proc/11841/statm: 28282 363 304 221 0 87 0
[pid=11843] ppid=11841 vsize=15417404 memory=990400 CPUtime=27.08 cores=1,3,5,7
/proc/11843/stat : 11843 (java) S 11841 11841 3331 0 -1 1077944320 30724 0 0 0 2617 91 0 0 20 0 19 0 411003851 15787421696 247600 33554432000 4194304 4196468 140729866688688 140729866671232 140190946721527 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
/proc/11843/statm: 3854351 247600 3507 1 0 3815453 0
[pid=11843/tid=11844] ppid=11841 vsize=15417404 memory=7739276948477931367 CPUtime=1.13 cores=1,3,5,7
/proc/11843/task/11844/stat : 11844 (java) S 11841 11841 3331 0 -1 1077944384 9233 0 0 0 106 7 0 0 20 0 19 0 411003851 15787421696 247600 33554432000 4194304 4196468 140729866688688 140190950962304 140190946731733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 23 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11845] ppid=11841 vsize=15417404 memory=8102582798372909361 CPUtime=0.77 cores=1,3,5,7
/proc/11843/task/11845/stat : 11845 (java) S 11841 11841 3331 0 -1 1077944384 1863 0 0 0 57 20 0 0 20 0 19 0 411003852 15787421696 247600 33554432000 4194304 4196468 140729866688688 140190899342096 140190946731733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11846] ppid=11841 vsize=15417404 memory=0 CPUtime=0.77 cores=1,3,5,7
/proc/11843/task/11846/stat : 11846 (java) S 11841 11841 3331 0 -1 1077944384 1919 0 0 0 57 20 0 0 20 0 19 0 411003852 15787421696 247600 33554432000 4194304 4196468 140729866688688 140190898289552 140190946731733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11847] ppid=11841 vsize=15417404 memory=38308 CPUtime=0.74 cores=1,3,5,7
/proc/11843/task/11847/stat : 11847 (java) S 11841 11841 3331 0 -1 1077944384 1897 0 0 0 56 18 0 0 20 0 19 0 411003852 15787421696 247600 33554432000 4194304 4196468 140729866688688 140190897237008 140190946731733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11848] ppid=11841 vsize=15417404 memory=279432384769250 CPUtime=0.76 cores=1,3,5,7
/proc/11843/task/11848/stat : 11848 (java) S 11841 11841 3331 0 -1 1077944384 1793 0 0 0 56 20 0 0 20 0 19 0 411003852 15787421696 247600 33554432000 4194304 4196468 140729866688688 140190896184464 140190946731733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11849] ppid=11841 vsize=15417404 memory=1452 CPUtime=0.02 cores=1,3,5,7
/proc/11843/task/11849/stat : 11849 (java) S 11841 11841 3331 0 -1 1077944384 991 0 0 0 2 0 0 0 20 0 19 0 411003853 15787421696 247600 33554432000 4194304 4196468 140729866688688 140189820241904 140190946732674 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11850] ppid=11841 vsize=15417404 memory=988288 CPUtime=0 cores=1,3,5,7
/proc/11843/task/11850/stat : 11850 (java) S 11841 11841 3331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 411003854 15787421696 247600 33554432000 4194304 4196468 140729866688688 140189819188192 140190946731733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11851] ppid=11841 vsize=15417404 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11843/task/11851/stat : 11851 (java) S 11841 11841 3331 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 411003854 15787421696 247600 33554432000 4194304 4196468 140729866688688 140189818135552 140190946731733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11852] ppid=11841 vsize=15417404 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11843/task/11852/stat : 11852 (java) S 11841 11841 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411003857 15787421696 247600 33554432000 4194304 4196468 140729866688688 140189817084112 140190946740123 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11853] ppid=11841 vsize=15417404 memory=279434197173888 CPUtime=0.96 cores=1,3,5,7
/proc/11843/task/11853/stat : 11853 (java) S 11841 11841 3331 0 -1 1077944384 2881 0 0 0 96 0 0 0 20 0 19 0 411003857 15787421696 247600 33554432000 4194304 4196468 140729866688688 140189816031728 140190946732674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11854] ppid=11841 vsize=15417404 memory=279434197078896 CPUtime=0.83 cores=1,3,5,7
/proc/11843/task/11854/stat : 11854 (java) S 11841 11841 3331 0 -1 1077944384 2627 0 0 0 83 0 0 0 20 0 19 0 411003857 15787421696 247600 33554432000 4194304 4196468 140729866688688 140189814979184 140190946732674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11855] ppid=11841 vsize=15417404 memory=0 CPUtime=0.46 cores=1,3,5,7
/proc/11843/task/11855/stat : 11855 (java) S 11841 11841 3331 0 -1 1077944384 2232 0 0 0 45 1 0 0 20 0 19 0 411003857 15787421696 247600 33554432000 4194304 4196468 140729866688688 140189505510128 140190946732674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11856] ppid=11841 vsize=15417404 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11843/task/11856/stat : 11856 (java) S 11841 11841 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411003857 15787421696 247600 33554432000 4194304 4196468 140729866688688 140189504457824 140190946731733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11857] ppid=11841 vsize=15417404 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11843/task/11857/stat : 11857 (java) S 11841 11841 3331 0 -1 1077944384 383 0 0 0 0 0 0 0 20 0 19 0 411003858 15787421696 247600 33554432000 4194304 4196468 140729866688688 140189503404336 140190946732674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11859] ppid=11841 vsize=15417404 memory=4580 CPUtime=5.15 cores=1,3,5,7
/proc/11843/task/11859/stat : 11859 (java) R 11841 11841 3331 0 -1 4202560 767 0 0 0 515 0 0 0 20 0 19 0 411004071 15787421696 247600 33554432000 4194304 4196468 140729866688688 140189494430616 140190573290179 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11860] ppid=11841 vsize=15417404 memory=0 CPUtime=5.07 cores=1,3,5,7
/proc/11843/task/11860/stat : 11860 (java) R 11841 11841 3331 0 -1 4202560 1101 0 0 0 507 0 0 0 20 0 19 0 411004071 15787421696 247600 33554432000 4194304 4196468 140729866688688 140189493379112 140190573290163 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11861] ppid=11841 vsize=15417404 memory=0 CPUtime=5.2 cores=1,3,5,7
/proc/11843/task/11861/stat : 11861 (java) R 11841 11841 3331 0 -1 4202560 233 0 0 0 520 0 0 0 20 0 19 0 411004071 15787421696 247600 33554432000 4194304 4196468 140729866688688 140189492326648 140190573290235 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11862] ppid=11841 vsize=15417404 memory=0 CPUtime=5.13 cores=1,3,5,7
/proc/11843/task/11862/stat : 11862 (java) R 11841 11841 3331 0 -1 4202560 1506 0 0 0 513 0 0 0 20 0 19 0 411004071 15787421696 247600 33554432000 4194304 4196468 140729866688688 140189491275768 140190573266352 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
Current children cumulated CPU time: 27.08 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 991852 KiB

[startup+8.30081 s]*
/proc/loadavg: 5.14 5.77 6.00 6/233 11862
/proc/meminfo: memFree=13668368/32770624 swapFree=66959216/67108860
[pid=11841] ppid=11838 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11841/stat : 11841 (xcsp3-exec) S 11838 11841 3331 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 411003851 115843072 363 33554432000 4194304 5098028 140723336616064 140723336614168 140469926511228 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 28790784 140723336618875 140723336619117 140723336619117 140723336622026 0
/proc/11841/statm: 28282 363 304 221 0 87 0
[pid=11843] ppid=11841 vsize=15417404 memory=998240 CPUtime=29.1 cores=1,3,5,7
/proc/11843/stat : 11843 (java) S 11841 11841 3331 0 -1 1077944320 33382 0 0 0 2819 91 0 0 20 0 19 0 411003851 15787421696 249560 33554432000 4194304 4196468 140729866688688 140729866671232 140190946721527 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
/proc/11843/statm: 3854351 249560 3507 1 0 3815453 0
[pid=11843/tid=11844] ppid=11841 vsize=15417404 memory=7523944227607630952 CPUtime=1.13 cores=1,3,5,7
/proc/11843/task/11844/stat : 11844 (java) S 11841 11841 3331 0 -1 1077944384 9233 0 0 0 106 7 0 0 20 0 19 0 411003851 15787421696 249560 33554432000 4194304 4196468 140729866688688 140190950962304 140190946731733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 23 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11845] ppid=11841 vsize=15417404 memory=2319831295269222324 CPUtime=0.77 cores=1,3,5,7
/proc/11843/task/11845/stat : 11845 (java) S 11841 11841 3331 0 -1 1077944384 1863 0 0 0 57 20 0 0 20 0 19 0 411003852 15787421696 249560 33554432000 4194304 4196468 140729866688688 140190899342096 140190946731733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11846] ppid=11841 vsize=15417404 memory=2320114977894186420 CPUtime=0.77 cores=1,3,5,7
/proc/11843/task/11846/stat : 11846 (java) S 11841 11841 3331 0 -1 1077944384 1919 0 0 0 57 20 0 0 20 0 19 0 411003852 15787421696 249560 33554432000 4194304 4196468 140729866688688 140190898289552 140190946731733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11847] ppid=11841 vsize=15417404 memory=7295950583417696817 CPUtime=0.74 cores=1,3,5,7
/proc/11843/task/11847/stat : 11847 (java) S 11841 11841 3331 0 -1 1077944384 1897 0 0 0 56 18 0 0 20 0 19 0 411003852 15787421696 249560 33554432000 4194304 4196468 140729866688688 140190897237008 140190946731733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11848] ppid=11841 vsize=15417404 memory=0 CPUtime=0.76 cores=1,3,5,7
/proc/11843/task/11848/stat : 11848 (java) S 11841 11841 3331 0 -1 1077944384 1793 0 0 0 56 20 0 0 20 0 19 0 411003852 15787421696 249560 33554432000 4194304 4196468 140729866688688 140190896184464 140190946731733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11849] ppid=11841 vsize=15417404 memory=288230583151230832 CPUtime=0.02 cores=1,3,5,7
/proc/11843/task/11849/stat : 11849 (java) S 11841 11841 3331 0 -1 1077944384 991 0 0 0 2 0 0 0 20 0 19 0 411003853 15787421696 249560 33554432000 4194304 4196468 140729866688688 140189820241904 140190946732674 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11850] ppid=11841 vsize=15417404 memory=14127844772937675 CPUtime=0 cores=1,3,5,7
/proc/11843/task/11850/stat : 11850 (java) S 11841 11841 3331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 411003854 15787421696 249560 33554432000 4194304 4196468 140729866688688 140189819188192 140190946731733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11851] ppid=11841 vsize=15417404 memory=-7452431979323206951 CPUtime=0 cores=1,3,5,7
/proc/11843/task/11851/stat : 11851 (java) S 11841 11841 3331 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 411003854 15787421696 249560 33554432000 4194304 4196468 140729866688688 140189818135552 140190946731733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11852] ppid=11841 vsize=15417404 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11843/task/11852/stat : 11852 (java) S 11841 11841 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411003857 15787421696 249560 33554432000 4194304 4196468 140729866688688 140189817084112 140190946740123 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11853] ppid=11841 vsize=15417404 memory=0 CPUtime=1.12 cores=1,3,5,7
/proc/11843/task/11853/stat : 11853 (java) S 11841 11841 3331 0 -1 1077944384 4263 0 0 0 112 0 0 0 20 0 19 0 411003857 15787421696 249560 33554432000 4194304 4196468 140729866688688 140189816031728 140190946732674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11854] ppid=11841 vsize=15417404 memory=0 CPUtime=0.98 cores=1,3,5,7
/proc/11843/task/11854/stat : 11854 (java) S 11841 11841 3331 0 -1 1077944384 3685 0 0 0 98 0 0 0 20 0 19 0 411003857 15787421696 249560 33554432000 4194304 4196468 140729866688688 140189814979184 140190946732674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11855] ppid=11841 vsize=15417404 memory=6944656592455097440 CPUtime=0.46 cores=1,3,5,7
/proc/11843/task/11855/stat : 11855 (java) S 11841 11841 3331 0 -1 1077944384 2267 0 0 0 45 1 0 0 20 0 19 0 411003857 15787421696 249560 33554432000 4194304 4196468 140729866688688 140189505510128 140190946732674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11856] ppid=11841 vsize=15417404 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/11843/task/11856/stat : 11856 (java) S 11841 11841 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411003857 15787421696 249560 33554432000 4194304 4196468 140729866688688 140189504457824 140190946731733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11857] ppid=11841 vsize=15417404 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/11843/task/11857/stat : 11857 (java) S 11841 11841 3331 0 -1 1077944384 383 0 0 0 0 0 0 0 20 0 19 0 411003858 15787421696 249560 33554432000 4194304 4196468 140729866688688 140189503404336 140190946732674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11859] ppid=11841 vsize=15417404 memory=-7665536046109432865 CPUtime=5.45 cores=1,3,5,7
/proc/11843/task/11859/stat : 11859 (java) S 11841 11841 3331 0 -1 1077944384 771 0 0 0 545 0 0 0 20 0 19 0 411004071 15787421696 249560 33554432000 4194304 4196468 140729866688688 140189494435264 140190946731733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11860] ppid=11841 vsize=15417404 memory=6221003148942661735 CPUtime=5.33 cores=1,3,5,7
/proc/11843/task/11860/stat : 11860 (java) S 11841 11841 3331 0 -1 1077944384 1276 0 0 0 533 0 0 0 20 0 19 0 411004071 15787421696 249560 33554432000 4194304 4196468 140729866688688 140189493384144 140190946731733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11861] ppid=11841 vsize=15417404 memory=0 CPUtime=5.99 cores=1,3,5,7
/proc/11843/task/11861/stat : 11861 (java) R 11841 11841 3331 0 -1 4202560 236 0 0 0 599 0 0 0 20 0 19 0 411004071 15787421696 249560 33554432000 4194304 4196468 140729866688688 140189492326152 140190573469616 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11862] ppid=11841 vsize=15417404 memory=0 CPUtime=5.47 cores=1,3,5,7
/proc/11843/task/11862/stat : 11862 (java) S 11841 11841 3331 0 -1 1077944384 1507 0 0 0 547 0 0 0 20 0 19 0 411004071 15787421696 249560 33554432000 4194304 4196468 140729866688688 140189491279056 140190946731733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
Current children cumulated CPU time: 29.1 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 999692 KiB

[startup+8.50079 s]
/proc/loadavg: 5.14 5.77 6.00 6/233 11862
/proc/meminfo: memFree=13668368/32770624 swapFree=66959216/67108860
[pid=11841] ppid=11838 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11841/stat : 11841 (xcsp3-exec) S 11838 11841 3331 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 411003851 115843072 363 33554432000 4194304 5098028 140723336616064 140723336614168 140469926511228 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 28790784 140723336618875 140723336619117 140723336619117 140723336622026 0
/proc/11841/statm: 28282 363 304 221 0 87 0
[pid=11843] ppid=11841 vsize=15417404 memory=998240 CPUtime=29.3 cores=1,3,5,7
/proc/11843/stat : 11843 (java) S 11841 11841 3331 0 -1 1077944320 33382 0 0 0 2839 91 0 0 20 0 19 0 411003851 15787421696 249560 33554432000 4194304 4196468 140729866688688 140729866671232 140190946721527 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
/proc/11843/statm: 3854351 249560 3507 1 0 3815453 0
[pid=11843/tid=11844] ppid=11841 vsize=15417404 memory=15818902244427989 CPUtime=1.13 cores=1,3,5,7
/proc/11843/task/11844/stat : 11844 (java) S 11841 11841 3331 0 -1 1077944384 9233 0 0 0 106 7 0 0 20 0 19 0 411003851 15787421696 249560 33554432000 4194304 4196468 140729866688688 140190950962304 140190946731733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 23 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11845] ppid=11841 vsize=15417404 memory=5794834658506073705 CPUtime=0.77 cores=1,3,5,7
/proc/11843/task/11845/stat : 11845 (java) S 11841 11841 3331 0 -1 1077944384 1863 0 0 0 57 20 0 0 20 0 19 0 411003852 15787421696 249560 33554432000 4194304 4196468 140729866688688 140190899342096 140190946731733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11846] ppid=11841 vsize=15417404 memory=7227522464042210154 CPUtime=0.77 cores=1,3,5,7
/proc/11843/task/11846/stat : 11846 (java) S 11841 11841 3331 0 -1 1077944384 1919 0 0 0 57 20 0 0 20 0 19 0 411003852 15787421696 249560 33554432000 4194304 4196468 140729866688688 140190898289552 140190946731733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11847] ppid=11841 vsize=15417404 memory=0 CPUtime=0.74 cores=1,3,5,7
/proc/11843/task/11847/stat : 11847 (java) S 11841 11841 3331 0 -1 1077944384 1897 0 0 0 56 18 0 0 20 0 19 0 411003852 15787421696 249560 33554432000 4194304 4196468 140729866688688 140190897237008 140190946731733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11848] ppid=11841 vsize=15417404 memory=279434196782000 CPUtime=0.76 cores=1,3,5,7
/proc/11843/task/11848/stat : 11848 (java) S 11841 11841 3331 0 -1 1077944384 1793 0 0 0 56 20 0 0 20 0 19 0 411003852 15787421696 249560 33554432000 4194304 4196468 140729866688688 140190896184464 140190946731733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11849] ppid=11841 vsize=15417404 memory=279434196786400 CPUtime=0.02 cores=1,3,5,7
/proc/11843/task/11849/stat : 11849 (java) S 11841 11841 3331 0 -1 1077944384 991 0 0 0 2 0 0 0 20 0 19 0 411003853 15787421696 249560 33554432000 4194304 4196468 140729866688688 140189820241904 140190946732674 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11850] ppid=11841 vsize=15417404 memory=-7361174377247368086 CPUtime=0 cores=1,3,5,7
/proc/11843/task/11850/stat : 11850 (java) S 11841 11841 3331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 411003854 15787421696 249560 33554432000 4194304 4196468 140729866688688 140189819188192 140190946731733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11851] ppid=11841 vsize=15417404 memory=-2098775911743863648 CPUtime=0 cores=1,3,5,7
/proc/11843/task/11851/stat : 11851 (java) S 11841 11841 3331 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 411003854 15787421696 249560 33554432000 4194304 4196468 140729866688688 140189818135552 140190946731733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11852] ppid=11841 vsize=15417404 memory=-4051592751533505334 CPUtime=0 cores=1,3,5,7
/proc/11843/task/11852/stat : 11852 (java) S 11841 11841 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411003857 15787421696 249560 33554432000 4194304 4196468 140729866688688 140189817084112 140190946740123 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11853] ppid=11841 vsize=15417404 memory=-4051592751533505334 CPUtime=1.12 cores=1,3,5,7
/proc/11843/task/11853/stat : 11853 (java) S 11841 11841 3331 0 -1 1077944384 4263 0 0 0 112 0 0 0 20 0 19 0 411003857 15787421696 249560 33554432000 4194304 4196468 140729866688688 140189816031728 140190946732674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11854] ppid=11841 vsize=15417404 memory=-2461829820114675750 CPUtime=0.98 cores=1,3,5,7
/proc/11843/task/11854/stat : 11854 (java) S 11841 11841 3331 0 -1 1077944384 3685 0 0 0 98 0 0 0 20 0 19 0 411003857 15787421696 249560 33554432000 4194304 4196468 140729866688688 140189814979184 140190946732674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11855] ppid=11841 vsize=15417404 memory=-8602000368621371329 CPUtime=0.46 cores=1,3,5,7
/proc/11843/task/11855/stat : 11855 (java) S 11841 11841 3331 0 -1 1077944384 2267 0 0 0 45 1 0 0 20 0 19 0 411003857 15787421696 249560 33554432000 4194304 4196468 140729866688688 140189505510128 140190946732674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11856] ppid=11841 vsize=15417404 memory=17745 CPUtime=0 cores=1,3,5,7
/proc/11843/task/11856/stat : 11856 (java) S 11841 11841 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411003857 15787421696 249560 33554432000 4194304 4196468 140729866688688 140189504457824 140190946731733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11857] ppid=11841 vsize=15417404 memory=4420 CPUtime=0 cores=1,3,5,7
/proc/11843/task/11857/stat : 11857 (java) S 11841 11841 3331 0 -1 1077944384 383 0 0 0 0 0 0 0 20 0 19 0 411003858 15787421696 249560 33554432000 4194304 4196468 140729866688688 140189503404336 140190946732674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11859] ppid=11841 vsize=15417404 memory=6628 CPUtime=5.45 cores=1,3,5,7
/proc/11843/task/11859/stat : 11859 (java) S 11841 11841 3331 0 -1 1077944384 771 0 0 0 545 0 0 0 20 0 19 0 411004071 15787421696 249560 33554432000 4194304 4196468 140729866688688 140189494435264 140190946731733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11860] ppid=11841 vsize=15417404 memory=8836 CPUtime=5.33 cores=1,3,5,7
/proc/11843/task/11860/stat : 11860 (java) S 11841 11841 3331 0 -1 1077944384 1276 0 0 0 533 0 0 0 20 0 19 0 411004071 15787421696 249560 33554432000 4194304 4196468 140729866688688 140189493384144 140190946731733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11861] ppid=11841 vsize=15417404 memory=11044 CPUtime=6.18 cores=1,3,5,7
/proc/11843/task/11861/stat : 11861 (java) R 11841 11841 3331 0 -1 4202560 236 0 0 0 618 0 0 0 20 0 19 0 411004071 15787421696 249560 33554432000 4194304 4196468 140729866688688 140189492326152 140190573466369 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
[pid=11843/tid=11862] ppid=11841 vsize=15417404 memory=13252 CPUtime=5.47 cores=1,3,5,7
/proc/11843/task/11862/stat : 11862 (java) S 11841 11841 3331 0 -1 1077944384 1507 0 0 0 547 0 0 0 20 0 19 0 411004071 15787421696 249560 33554432000 4194304 4196468 140729866688688 140189491279056 140190946731733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34762752 140729866691567 140729866691738 140729866691738 140729866694607 0
Current children cumulated CPU time: 29.3 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 999692 KiB

Child status: 0
Real time (s): 8.59861
CPU time (s): 29.3958
CPU user time (s): 28.473
CPU system time (s): 0.922857
CPU usage (%): 341.867
Max. virtual memory (cumulated for all children) (KiB): 15530532
Max. memory (cumulated for all children) (KiB): 999692

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 28.473
system time used= 0.922857
maximum resident set size= 998792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34674
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2493
involuntary context switches= 477


# summary of solver processes directly reported to runsolver:
#   pid: 11841
#   total CPU time (s): 29.3958
#   total CPU user time (s): 28.473
#   total CPU system time (s): 0.922857

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.090403 second user time and 0.120538 second system time

The end

Launcher Data 

Begin job on node124 at 2019-09-13 06:56:37
IDJOB=4392960
IDBENCH=138763
IDSOLVER=2840
FILE ID=node124/4392960-1568350637
RUNJOBID= node124-1568343408-4479
PBS_JOBID= 21701165
Free space on /tmp= 55340 MiB

SOLVER NAME= choco-solver 2019-06-14
BENCH NAME= XCSP17/Hanoi/Hanoi-m1-s1/Hanoi-07.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392960-1568350637/watcher-4392960-1568350637 -o /tmp/evaluation-result-4392960-1568350637/solver-4392960-1568350637 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568343408-4479 --watchdog 2580  xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 939524743 HOME/instance-4392960-1568350637.xml

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

MD5SUM BENCH= 7f68b5f256bf6bd8019eb0158af88fa3
RANDOM SEED=939524743

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:        15008652 kB
MemAvailable:   20959696 kB
Buffers:          149596 kB
Cached:          6046652 kB
SwapCached:        45864 kB
Active:         11872296 kB
Inactive:        5210456 kB
Active(anon):   10836404 kB
Inactive(anon):    91592 kB
Active(file):    1035892 kB
Inactive(file):  5118864 kB
Unevictable:      107912 kB
Mlocked:          107912 kB
SwapTotal:      67108860 kB
SwapFree:       66959216 kB
Dirty:             26064 kB
Writeback:             0 kB
AnonPages:      10843368 kB
Mapped:            56120 kB
Shmem:             32744 kB
Slab:             253652 kB
SReclaimable:     224244 kB
SUnreclaim:        29408 kB
KernelStack:        3984 kB
PageTables:        26616 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:   12074816 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:  10629120 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= 55312 MiB
End job on node124 at 2019-09-13 06:56:45