Trace number 4306714

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Choco-solver 4.0.7b seq (e747e1e)SAT (TO)12513 2520.05 2508.41

General information on the benchmark

NameSumColoring/
SumColoring-dsjc-250-9_c18.xml
MD5SUM15c7aefb85365a32de6dc875f5012851
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark9554
Best CPU time to get the best result obtained on this benchmark2520.08
Satisfiable
(Un)Satisfiability was proved
Number of variables250
Number of constraints27897
Number of domains1
Minimum domain size250
Maximum domain size250
Distribution of domain sizes[{"size":250,"count":250}]
Minimum variable degree208
Maximum variable degree235
Distribution of variable degrees[{"degree":208,"count":1},{"degree":213,"count":1},{"degree":214,"count":3},{"degree":215,"count":5},{"degree":216,"count":4},{"degree":217,"count":8},{"degree":218,"count":9},{"degree":219,"count":11},{"degree":220,"count":9},{"degree":221,"count":15},{"degree":222,"count":19},{"degree":223,"count":19},{"degree":224,"count":26},{"degree":225,"count":23},{"degree":226,"count":10},{"degree":227,"count":22},{"degree":228,"count":17},{"degree":229,"count":21},{"degree":230,"count":10},{"degree":231,"count":6},{"degree":232,"count":7},{"degree":233,"count":1},{"degree":234,"count":1},{"degree":235,"count":2}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":27897}]
Number of extensional constraints0
Number of intensional constraints27897
Distribution of constraint types[{"type":"intension","count":27897}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4306714-1534061506.xml"  -tl '2520s' -p 1
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4306714-1534061506.xml, -tl, 2520s, -p, 1]
0.33/0.22	c simple solver
0.33/0.28	c parse instance...
6.14/2.26	c solve instance...
8.02/2.88	o 19789 
8.02/2.89	o 19750 
8.35/2.90	o 19727 
8.35/2.92	o 19720 
8.35/2.93	o 19566 
8.98/3.11	o 19563 
8.98/3.12	o 19562 
8.98/3.13	o 19560 
9.25/3.23	o 19559 
9.25/3.27	o 19558 
15.19/8.47	o 19551 
15.50/8.77	o 19446 
15.50/8.77	o 19438 
20.55/13.53	o 19077 
20.55/13.53	o 19071 
20.55/13.53	o 19069 
20.55/13.53	o 19063 
20.55/13.53	o 19062 
20.55/13.53	o 19061 
20.55/13.54	o 19060 
20.55/13.54	o 19059 
20.55/13.56	o 19058 
20.55/13.59	o 19057 
20.55/13.59	o 19056 
20.55/13.59	o 19055 
20.55/13.59	o 19054 
20.55/13.59	o 19053 
20.65/13.61	o 19052 
20.65/13.63	o 19051 
20.65/13.65	o 19050 
20.65/13.67	o 19049 
20.65/13.69	o 19048 
20.75/13.72	o 19047 
20.75/13.74	o 19046 
21.99/14.91	o 15764 
21.99/14.91	o 15751 
21.99/14.91	o 15743 
72.57/65.07	o 15071 
72.57/65.08	o 15067 
72.57/65.08	o 15062 
72.68/65.14	o 15061 
72.68/65.18	o 15043 
72.77/65.23	o 15040 
72.77/65.28	o 15038 
72.77/65.28	o 15028 
72.77/65.29	o 15027 
72.77/65.29	o 15026 
72.77/65.29	o 15025 
72.87/65.30	o 15024 
72.87/65.30	o 15023 
72.87/65.30	o 15022 
72.87/65.31	o 15021 
72.87/65.31	o 15020 
72.87/65.31	o 15019 
72.87/65.32	o 15018 
247.40/239.63	o 13449 
247.40/239.65	o 13441 
247.40/239.68	o 13434 
879.81/871.52	o 12562 
879.81/871.55	o 12559 
879.81/871.56	o 12533 
880.01/871.77	o 12513 
2520.03/2508.40	s SATISFIABLE
2520.03/2508.40	v <instantiation>
2520.03/2508.40	v 	<list>c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[40] c[41] c[42] c[43] c[44] c[45] c[46] c[47] c[48] c[49] c[50] c[51] c[52] c[53] c[54] c[55] c[56] c[57] c[58] c[59] c[60] c[61] c[62] c[63] c[64] c[65] c[66] c[67] c[68] c[69] c[70] c[71] c[72] c[73] c[74] c[75] c[76] c[77] c[78] c[79] c[80] c[81] c[82] c[83] c[84] c[85] c[86] c[87] c[88] c[89] c[90] c[91] c[92] c[93] c[94] c[95] c[96] c[97] c[98] c[99] c[100] c[101] c[102] c[103] c[104] c[105] c[106] c[107] c[108] c[109] c[110] c[111] c[112] c[113] c[114] c[115] c[116] c[117] c[118] c[119] c[120] c[121] c[122] c[123] c[124] c[125] c[126] c[127] c[128] c[129] c[130] c[131] c[132] c[133] c[134] c[135] c[136] c[137] c[138] c[139] c[140] c[141] c[142] c[143] c[144] c[145] c[146] c[147] c[148] c[149] c[150] c[151] c[152] c[153] c[154] c[155] c[156] c[157] c[158] c[159] c[160] c[161] c[162] c[163] c[164] c[165] c[166] c[167] c[168] c[169] c[170] c[171] c[172] c[173] c[174] c[175] c[176] c[177] c[178] c[179] c[180] c[181] c[182] c[183] c[184] c[185] c[186] c[187] c[188] c[189] c[190] c[191] c[192] c[193] c[194] c[195] c[196] c[197] c[198] c[199] c[200] c[201] c[202] c[203] c[204] c[205] c[206] c[207] c[208] c[209] c[210] c[211] c[212] c[213] c[214] c[215] c[216] c[217] c[218] c[219] c[220] c[221] c[222] c[223] c[224] c[225] c[226] c[227] c[228] c[229] c[230] c[231] c[232] c[233] c[234] c[235] c[236] c[237] c[238] c[239] c[240] c[241] c[242] c[243] c[244] c[245] c[246] c[247] c[248] c[249] </list>
2520.03/2508.40	v 	<values>27 53 0 78 5 1 0 25 5 15 50 70 12 32 15 29 18 17 30 4 10 2 27 34 247 39 9 31 7 11 36 56 16 52 59 54 244 29 1 24 249 17 27 44 18 15 30 43 71 18 23 20 46 5 54 57 7 55 74 45 46 73 58 19 68 55 82 12 239 20 62 52 77 80 56 44 59 56 57 64 39 52 59 41 64 21 85 33 84 51 37 47 44 80 61 6 245 58 49 37 21 64 65 66 49 63 22 34 83 48 40 81 38 67 41 39 26 49 35 82 50 78 63 0 74 40 35 42 70 15 58 47 2 36 32 20 60 25 241 28 53 72 28 77 53 45 13 22 7 68 40 69 79 84 75 66 31 71 61 19 42 41 79 242 10 76 51 67 75 81 66 45 43 14 49 23 11 62 31 47 33 67 240 42 17 14 50 32 35 72 76 3 246 30 37 73 36 21 29 36 69 22 48 54 243 25 9 13 16 38 24 26 241 249 10 19 244 16 3 9 23 11 13 8 63 33 2 65 43 7 248 1 18 8 48 12 24 60 3 46 4 14 57 4 26 0 6 6 3 9 </values>
2520.03/2508.40	v </instantiation>
2520.03/2508.40	c Unexpected resolution interruption!

Verifier Data 

OK	12513

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306714-1534061506/watcher-4306714-1534061506 -o /tmp/evaluation-result-4306714-1534061506/solver-4306714-1534061506 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1534061498-20178 --watchdog 2580 HOME/xcsp3-exec -seed 511029869 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306714-1534061506.xml 

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

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

solver pid=20301, runsolver pid=20298

[startup+0.100169 s]*
/proc/loadavg: 1.10 0.76 0.88 3/220 20317
/proc/meminfo: memFree=16992756/32770624 swapFree=67058736/67108860
[pid=20301] ppid=20298 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/20301/stat : 20301 (xcsp3-exec) S 20298 20301 15060 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 223713784 115843072 363 33554432000 4194304 5098028 140732114129840 140732114127944 139680879809148 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18141184 140732114138171 140732114138372 140732114138372 140732114141130 0
/proc/20301/statm: 28282 363 305 221 0 87 0
[pid=20303] ppid=20301 vsize=14082940 memory=28936 CPUtime=0.12 cores=0,2,4,6
/proc/20303/stat : 20303 (java) S 20301 20301 15060 0 -1 1077944320 5521 0 0 0 11 1 0 0 20 0 15 0 223713785 14420930560 7234 33554432000 4194304 4196468 140733462891760 140733462874304 140408563699447 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
/proc/20303/statm: 3520735 7234 3057 1 0 3483012 0
[pid=20303/tid=20304] ppid=20301 vsize=14082940 memory=-6962121287837372198 CPUtime=0.08 cores=0,2,4,6
/proc/20303/task/20304/stat : 20304 (java) R 20301 20301 15060 0 -1 4202560 3534 0 0 0 8 0 0 0 20 0 15 0 223713785 14420930560 7234 33554432000 4194304 4196468 140733462891760 140408567931136 140408563711382 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20305] ppid=20301 vsize=14082940 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/20303/task/20305/stat : 20305 (java) S 20301 20301 15060 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223713786 14420930560 7234 33554432000 4194304 4196468 140733462891760 140408522459408 140408563709653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20306] ppid=20301 vsize=14082940 memory=140491123836544 CPUtime=0 cores=0,2,4,6
/proc/20303/task/20306/stat : 20306 (java) S 20301 20301 15060 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223713786 14420930560 7234 33554432000 4194304 4196468 140733462891760 140408158239120 140408563709653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20307] ppid=20301 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20303/task/20307/stat : 20307 (java) S 20301 20301 15060 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223713786 14420930560 7234 33554432000 4194304 4196468 140733462891760 140408157186576 140408563709653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20308] ppid=20301 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20303/task/20308/stat : 20308 (java) S 20301 20301 15060 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223713786 14420930560 7234 33554432000 4194304 4196468 140733462891760 140408156134032 140408563709653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20309] ppid=20301 vsize=14082940 memory=140491123836544 CPUtime=0 cores=0,2,4,6
/proc/20303/task/20309/stat : 20309 (java) S 20301 20301 15060 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223713787 14420930560 7234 33554432000 4194304 4196468 140733462891760 140408037898736 140408563710594 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20310] ppid=20301 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20303/task/20310/stat : 20310 (java) S 20301 20301 15060 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 223713788 14420930560 7234 33554432000 4194304 4196468 140733462891760 140408036844960 140408563709653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20311] ppid=20301 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20303/task/20311/stat : 20311 (java) S 20301 20301 15060 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 223713788 14420930560 7234 33554432000 4194304 4196468 140733462891760 140408035792368 140408563709653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20312] ppid=20301 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20303/task/20312/stat : 20312 (java) S 20301 20301 15060 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223713790 14420930560 7234 33554432000 4194304 4196468 140733462891760 140408034740944 140408563718043 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20313] ppid=20301 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20303/task/20313/stat : 20313 (java) S 20301 20301 15060 0 -1 1077944384 413 0 0 0 0 0 0 0 20 0 15 0 223713790 14420930560 7234 33554432000 4194304 4196468 140733462891760 140408033687536 140408563710594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20314] ppid=20301 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20303/task/20314/stat : 20314 (java) S 20301 20301 15060 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223713790 14420930560 7234 33554432000 4194304 4196468 140733462891760 140408032634992 140408563710594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20315] ppid=20301 vsize=14082940 memory=140491123836544 CPUtime=0.01 cores=0,2,4,6
/proc/20303/task/20315/stat : 20315 (java) R 20301 20301 15060 0 -1 4202560 273 0 0 0 1 0 0 0 20 0 15 0 223713790 14420930560 7234 33554432000 4194304 4196468 140733462891760 140408031582448 140408544937008 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20316] ppid=20301 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20303/task/20316/stat : 20316 (java) S 20301 20301 15060 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223713790 14420930560 7234 33554432000 4194304 4196468 140733462891760 140408030530144 140408563709653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20317] ppid=20301 vsize=14082940 memory=140491123836544 CPUtime=0 cores=0,2,4,6
/proc/20303/task/20317/stat : 20317 (java) S 20301 20301 15060 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223713791 14420930560 7234 33554432000 4194304 4196468 140733462891760 140408029477680 140408563710594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30388 KiB

[startup+0.210863 s]*
/proc/loadavg: 1.10 0.76 0.88 4/220 20317
/proc/meminfo: memFree=16981024/32770624 swapFree=67058736/67108860
[pid=20301] ppid=20298 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/20301/stat : 20301 (xcsp3-exec) S 20298 20301 15060 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 223713784 115843072 363 33554432000 4194304 5098028 140732114129840 140732114127944 139680879809148 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18141184 140732114138171 140732114138372 140732114138372 140732114141130 0
/proc/20301/statm: 28282 363 305 221 0 87 0
[pid=20303] ppid=20301 vsize=14082940 memory=41236 CPUtime=0.33 cores=0,2,4,6
/proc/20303/stat : 20303 (java) S 20301 20301 15060 0 -1 1077944320 8334 0 0 0 32 1 0 0 20 0 15 0 223713785 14420930560 10309 33554432000 4194304 4196468 140733462891760 140733462874304 140408563699447 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
/proc/20303/statm: 3520735 10309 3210 1 0 3483012 0
[pid=20303/tid=20304] ppid=20301 vsize=14082940 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/20303/task/20304/stat : 20304 (java) R 20301 20301 15060 0 -1 4202560 5431 0 0 0 19 1 0 0 20 0 15 0 223713785 14420930560 10309 33554432000 4194304 4196468 140733462891760 140408567934432 140408549396753 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20305] ppid=20301 vsize=14082940 memory=12684 CPUtime=0 cores=0,2,4,6
/proc/20303/task/20305/stat : 20305 (java) S 20301 20301 15060 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223713786 14420930560 10309 33554432000 4194304 4196468 140733462891760 140408522459408 140408563709653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20306] ppid=20301 vsize=14082940 memory=3473882797973423776 CPUtime=0 cores=0,2,4,6
/proc/20303/task/20306/stat : 20306 (java) S 20301 20301 15060 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223713786 14420930560 10309 33554432000 4194304 4196468 140733462891760 140408158239120 140408563709653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20307] ppid=20301 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20303/task/20307/stat : 20307 (java) S 20301 20301 15060 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223713786 14420930560 10309 33554432000 4194304 4196468 140733462891760 140408157186576 140408563709653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20308] ppid=20301 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20303/task/20308/stat : 20308 (java) S 20301 20301 15060 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223713786 14420930560 10309 33554432000 4194304 4196468 140733462891760 140408156134032 140408563709653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20309] ppid=20301 vsize=14082940 memory=140491123836544 CPUtime=0 cores=0,2,4,6
/proc/20303/task/20309/stat : 20309 (java) S 20301 20301 15060 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 223713787 14420930560 10309 33554432000 4194304 4196468 140733462891760 140408037898736 140408563710594 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20310] ppid=20301 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20303/task/20310/stat : 20310 (java) S 20301 20301 15060 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 223713788 14420930560 10309 33554432000 4194304 4196468 140733462891760 140408036844960 140408563709653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20311] ppid=20301 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20303/task/20311/stat : 20311 (java) S 20301 20301 15060 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 223713788 14420930560 10309 33554432000 4194304 4196468 140733462891760 140408035792368 140408563709653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20312] ppid=20301 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20303/task/20312/stat : 20312 (java) S 20301 20301 15060 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223713790 14420930560 10309 33554432000 4194304 4196468 140733462891760 140408034740944 140408563718043 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20313] ppid=20301 vsize=14082940 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/20303/task/20313/stat : 20313 (java) S 20301 20301 15060 0 -1 1077944384 677 0 0 0 3 0 0 0 20 0 15 0 223713790 14420930560 10309 33554432000 4194304 4196468 140733462891760 140408033687536 140408563710594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20314] ppid=20301 vsize=14082940 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/20303/task/20314/stat : 20314 (java) S 20301 20301 15060 0 -1 1077944384 101 0 0 0 1 0 0 0 20 0 15 0 223713790 14420930560 10309 33554432000 4194304 4196468 140733462891760 140408032634992 140408563710594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20315] ppid=20301 vsize=14082940 memory=140491123836544 CPUtime=0.08 cores=0,2,4,6
/proc/20303/task/20315/stat : 20315 (java) S 20301 20301 15060 0 -1 1077944384 819 0 0 0 8 0 0 0 20 0 15 0 223713790 14420930560 10309 33554432000 4194304 4196468 140733462891760 140408031582448 140408563710594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20316] ppid=20301 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20303/task/20316/stat : 20316 (java) S 20301 20301 15060 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223713790 14420930560 10309 33554432000 4194304 4196468 140733462891760 140408030530144 140408563709653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20317] ppid=20301 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20303/task/20317/stat : 20317 (java) S 20301 20301 15060 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223713791 14420930560 10309 33554432000 4194304 4196468 140733462891760 140408029477680 140408563710594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42688 KiB

[startup+0.31982 s]*
/proc/loadavg: 1.10 0.76 0.88 4/220 20317
/proc/meminfo: memFree=16974604/32770624 swapFree=67058736/67108860
[pid=20301] ppid=20298 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/20301/stat : 20301 (xcsp3-exec) S 20298 20301 15060 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 223713784 115843072 363 33554432000 4194304 5098028 140732114129840 140732114127944 139680879809148 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18141184 140732114138171 140732114138372 140732114138372 140732114141130 0
/proc/20301/statm: 28282 363 305 221 0 87 0
[pid=20303] ppid=20301 vsize=14087196 memory=48356 CPUtime=0.53 cores=0,2,4,6
/proc/20303/stat : 20303 (java) S 20301 20301 15060 0 -1 1077944320 9311 0 0 0 51 2 0 0 20 0 15 0 223713785 14425288704 12089 33554432000 4194304 4196468 140733462891760 140733462874304 140408563699447 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
/proc/20303/statm: 3521799 12089 3258 1 0 3483012 0
[pid=20303/tid=20304] ppid=20301 vsize=14087196 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/20303/task/20304/stat : 20304 (java) R 20301 20301 15060 0 -1 4202560 6250 0 0 0 29 1 0 0 20 0 15 0 223713785 14425288704 12154 33554432000 4194304 4196468 140733462891760 140408567933504 140408547779934 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20305] ppid=20301 vsize=14087196 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/20303/task/20305/stat : 20305 (java) S 20301 20301 15060 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223713786 14425288704 12154 33554432000 4194304 4196468 140733462891760 140408522459408 140408563709653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20306] ppid=20301 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/20303/task/20306/stat : 20306 (java) S 20301 20301 15060 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223713786 14425288704 12154 33554432000 4194304 4196468 140733462891760 140408158239120 140408563709653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20307] ppid=20301 vsize=14087196 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/20303/task/20307/stat : 20307 (java) S 20301 20301 15060 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223713786 14425288704 12154 33554432000 4194304 4196468 140733462891760 140408157186576 140408563709653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20308] ppid=20301 vsize=14087196 memory=4572146066226452084 CPUtime=0 cores=0,2,4,6
/proc/20303/task/20308/stat : 20308 (java) S 20301 20301 15060 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223713786 14425288704 12154 33554432000 4194304 4196468 140733462891760 140408156134032 140408563709653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20309] ppid=20301 vsize=14087196 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/20303/task/20309/stat : 20309 (java) S 20301 20301 15060 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 223713787 14425288704 12154 33554432000 4194304 4196468 140733462891760 140408037898736 140408563710594 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20310] ppid=20301 vsize=14087196 memory=-9001728533042062950 CPUtime=0 cores=0,2,4,6
/proc/20303/task/20310/stat : 20310 (java) S 20301 20301 15060 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 223713788 14425288704 12154 33554432000 4194304 4196468 140733462891760 140408036844960 140408563709653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20311] ppid=20301 vsize=14087196 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/20303/task/20311/stat : 20311 (java) S 20301 20301 15060 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 223713788 14425288704 12154 33554432000 4194304 4196468 140733462891760 140408035792368 140408563709653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20312] ppid=20301 vsize=14087196 memory=7031125463459224206 CPUtime=0 cores=0,2,4,6
/proc/20303/task/20312/stat : 20312 (java) S 20301 20301 15060 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223713790 14425288704 12154 33554432000 4194304 4196468 140733462891760 140408034740944 140408563718043 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20313] ppid=20301 vsize=14087196 memory=4426078206164241782 CPUtime=0.05 cores=0,2,4,6
/proc/20303/task/20313/stat : 20313 (java) S 20301 20301 15060 0 -1 1077944384 757 0 0 0 5 0 0 0 20 0 15 0 223713790 14425288704 12154 33554432000 4194304 4196468 140733462891760 140408033687536 140408563710594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20314] ppid=20301 vsize=14087196 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/20303/task/20314/stat : 20314 (java) S 20301 20301 15060 0 -1 1077944384 111 0 0 0 3 0 0 0 20 0 15 0 223713790 14425288704 12154 33554432000 4194304 4196468 140733462891760 140408032634992 140408563710594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20315] ppid=20301 vsize=14087196 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/20303/task/20315/stat : 20315 (java) S 20301 20301 15060 0 -1 1077944384 886 0 0 0 12 0 0 0 20 0 15 0 223713790 14425288704 12154 33554432000 4194304 4196468 140733462891760 140408031582448 140408563710594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20316] ppid=20301 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20303/task/20316/stat : 20316 (java) S 20301 20301 15060 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223713790 14425288704 12154 33554432000 4194304 4196468 140733462891760 140408030530144 140408563709653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20317] ppid=20301 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20303/task/20317/stat : 20317 (java) S 20301 20301 15060 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223713791 14425288704 12154 33554432000 4194304 4196468 140733462891760 140408029477680 140408563710594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49808 KiB

[startup+0.700855 s]
/proc/loadavg: 1.10 0.76 0.88 6/220 20317
/proc/meminfo: memFree=16949232/32770624 swapFree=67058736/67108860
[pid=20301] ppid=20298 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/20301/stat : 20301 (xcsp3-exec) S 20298 20301 15060 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 223713784 115843072 363 33554432000 4194304 5098028 140732114129840 140732114127944 139680879809148 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18141184 140732114138171 140732114138372 140732114138372 140732114141130 0
/proc/20301/statm: 28282 363 305 221 0 87 0
[pid=20303] ppid=20301 vsize=14089320 memory=106444 CPUtime=1.7 cores=0,2,4,6
/proc/20303/stat : 20303 (java) S 20301 20301 15060 0 -1 1077944320 12002 0 0 0 166 4 0 0 20 0 15 0 223713785 14427463680 26611 33554432000 4194304 4196468 140733462891760 140733462874304 140408563699447 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
/proc/20303/statm: 3522330 26611 3347 1 0 3483524 0
[pid=20303/tid=20304] ppid=20301 vsize=14089320 memory=59624 CPUtime=0.67 cores=0,2,4,6
/proc/20303/task/20304/stat : 20304 (java) R 20301 20301 15060 0 -1 4202560 6585 0 0 0 65 2 0 0 20 0 15 0 223713785 14427463680 26611 33554432000 4194304 4196468 140733462891760 140408567935904 140408203175040 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20305] ppid=20301 vsize=14089320 memory=780 CPUtime=0 cores=0,2,4,6
/proc/20303/task/20305/stat : 20305 (java) S 20301 20301 15060 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223713786 14427463680 26611 33554432000 4194304 4196468 140733462891760 140408522459408 140408563709653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20306] ppid=20301 vsize=14089320 memory=1948 CPUtime=0 cores=0,2,4,6
/proc/20303/task/20306/stat : 20306 (java) S 20301 20301 15060 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223713786 14427463680 26611 33554432000 4194304 4196468 140733462891760 140408158239120 140408563709653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20307] ppid=20301 vsize=14089320 memory=1188 CPUtime=0 cores=0,2,4,6
/proc/20303/task/20307/stat : 20307 (java) S 20301 20301 15060 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223713786 14427463680 26611 33554432000 4194304 4196468 140733462891760 140408157186576 140408563709653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20308] ppid=20301 vsize=14089320 memory=976 CPUtime=0 cores=0,2,4,6
/proc/20303/task/20308/stat : 20308 (java) S 20301 20301 15060 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223713786 14427463680 26611 33554432000 4194304 4196468 140733462891760 140408156134032 140408563709653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20309] ppid=20301 vsize=14089320 memory=1140 CPUtime=0 cores=0,2,4,6
/proc/20303/task/20309/stat : 20309 (java) S 20301 20301 15060 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 223713787 14427463680 26611 33554432000 4194304 4196468 140733462891760 140408037898736 140408563710594 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20310] ppid=20301 vsize=14089320 memory=1024 CPUtime=0 cores=0,2,4,6
/proc/20303/task/20310/stat : 20310 (java) S 20301 20301 15060 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 223713788 14427463680 26611 33554432000 4194304 4196468 140733462891760 140408036844960 140408563709653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20311] ppid=20301 vsize=14089320 memory=3172 CPUtime=0 cores=0,2,4,6
/proc/20303/task/20311/stat : 20311 (java) S 20301 20301 15060 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 223713788 14427463680 26611 33554432000 4194304 4196468 140733462891760 140408035792368 140408563709653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20312] ppid=20301 vsize=14089320 memory=2076 CPUtime=0 cores=0,2,4,6
/proc/20303/task/20312/stat : 20312 (java) S 20301 20301 15060 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223713790 14427463680 26611 33554432000 4194304 4196468 140733462891760 140408034740944 140408563718043 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20313] ppid=20301 vsize=14089320 memory=9004 CPUtime=0.35 cores=0,2,4,6
/proc/20303/task/20313/stat : 20313 (java) R 20301 20301 15060 0 -1 4202560 1629 0 0 0 35 0 0 0 20 0 15 0 223713790 14427463680 26611 33554432000 4194304 4196468 140733462891760 140408033674800 140408548106603 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20314] ppid=20301 vsize=14089320 memory=768 CPUtime=0.35 cores=0,2,4,6
/proc/20303/task/20314/stat : 20314 (java) R 20301 20301 15060 0 -1 4202560 862 0 0 0 35 0 0 0 20 0 15 0 223713790 14427463680 26611 33554432000 4194304 4196468 140733462891760 140408032622064 140408547988449 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20315] ppid=20301 vsize=14089320 memory=736 CPUtime=0.29 cores=0,2,4,6
/proc/20303/task/20315/stat : 20315 (java) S 20301 20301 15060 0 -1 1077944384 1617 0 0 0 29 0 0 0 20 0 15 0 223713790 14427463680 26611 33554432000 4194304 4196468 140733462891760 140408031582448 140408563710594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20316] ppid=20301 vsize=14089320 memory=1520 CPUtime=0 cores=0,2,4,6
/proc/20303/task/20316/stat : 20316 (java) S 20301 20301 15060 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223713790 14427463680 26611 33554432000 4194304 4196468 140733462891760 140408030530144 140408563709653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20317] ppid=20301 vsize=14089320 memory=1708 CPUtime=0 cores=0,2,4,6
/proc/20303/task/20317/stat : 20317 (java) S 20301 20301 15060 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223713791 14427463680 26611 33554432000 4194304 4196468 140733462891760 140408029477680 140408563710594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
Current children cumulated CPU time: 1.7 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 107896 KiB

[startup+1.50506 s]
/proc/loadavg: 1.10 0.76 0.88 5/220 20317
/proc/meminfo: memFree=16823452/32770624 swapFree=67058736/67108860
[pid=20301] ppid=20298 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/20301/stat : 20301 (xcsp3-exec) S 20298 20301 15060 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 223713784 115843072 363 33554432000 4194304 5098028 140732114129840 140732114127944 139680879809148 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18141184 140732114138171 140732114138372 140732114138372 140732114141130 0
/proc/20301/statm: 28282 363 305 221 0 87 0

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

/proc/20303/task/20311/stat : 20311 (java) S 20301 20301 15060 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 223713788 14427463680 315515 33554432000 4194304 4196468 140733462891760 140408035792384 140408563709653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20312] ppid=20301 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/20303/task/20312/stat : 20312 (java) S 20301 20301 15060 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223713790 14427463680 315515 33554432000 4194304 4196468 140733462891760 140408034740944 140408563718043 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20313] ppid=20301 vsize=14089320 memory=0 CPUtime=3.36 cores=0,2,4,6
/proc/20303/task/20313/stat : 20313 (java) S 20301 20301 15060 0 -1 1077944384 13864 0 0 0 334 2 0 0 20 0 15 0 223713790 14427463680 315515 33554432000 4194304 4196468 140733462891760 140408033687536 140408563710594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20314] ppid=20301 vsize=14089320 memory=1452 CPUtime=3.29 cores=0,2,4,6
/proc/20303/task/20314/stat : 20314 (java) S 20301 20301 15060 0 -1 1077944384 14462 0 0 0 327 2 0 0 20 0 15 0 223713790 14427463680 315515 33554432000 4194304 4196468 140733462891760 140408032634992 140408563710594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20315] ppid=20301 vsize=14089320 memory=280981995858016 CPUtime=0.8 cores=0,2,4,6
/proc/20303/task/20315/stat : 20315 (java) S 20301 20301 15060 0 -1 1077944384 9585 0 0 0 78 2 0 0 20 0 15 0 223713790 14427463680 315515 33554432000 4194304 4196468 140733462891760 140408031582448 140408563710594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20316] ppid=20301 vsize=14089320 memory=59680 CPUtime=0 cores=0,2,4,6
/proc/20303/task/20316/stat : 20316 (java) S 20301 20301 15060 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223713790 14427463680 315515 33554432000 4194304 4196468 140733462891760 140408030530144 140408563709653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20317] ppid=20301 vsize=14089320 memory=780 CPUtime=1 cores=0,2,4,6
/proc/20303/task/20317/stat : 20317 (java) S 20301 20301 15060 0 -1 1077944384 2039 0 0 0 47 53 0 0 20 0 15 0 223713791 14427463680 315515 33554432000 4194304 4196468 140733462891760 140408029477680 140408563710594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
Current children cumulated CPU time: 2393.62 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 1263512 KiB

[startup+2442.3 s]
/proc/loadavg: 1.25 1.35 1.41 3/218 20390
/proc/meminfo: memFree=15701440/32770624 swapFree=67058736/67108860
[pid=20301] ppid=20298 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/20301/stat : 20301 (xcsp3-exec) S 20298 20301 15060 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 223713784 115843072 363 33554432000 4194304 5098028 140732114129840 140732114127944 139680879809148 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18141184 140732114138171 140732114138372 140732114138372 140732114141130 0
/proc/20301/statm: 28282 363 305 221 0 87 0
[pid=20303] ppid=20301 vsize=14089320 memory=1270252 CPUtime=2453.77 cores=0,2,4,6
/proc/20303/stat : 20303 (java) S 20301 20301 15060 0 -1 1077944320 126722 0 0 0 245246 131 0 0 20 0 15 0 223713785 14427463680 317563 33554432000 4194304 4196468 140733462891760 140733462874304 140408563699447 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
/proc/20303/statm: 3522330 317563 3422 1 0 3483524 0
[pid=20303/tid=20304] ppid=20301 vsize=14089320 memory=1270252 CPUtime=2439.61 cores=0,2,4,6
/proc/20303/task/20304/stat : 20304 (java) R 20301 20301 15060 0 -1 4202560 40135 0 0 0 243940 21 0 0 20 0 15 0 223713785 14427463680 317563 33554432000 4194304 4196468 140733462891760 140408567939040 140408208284864 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20305] ppid=20301 vsize=14089320 memory=1270252 CPUtime=1.17 cores=0,2,4,6
/proc/20303/task/20305/stat : 20305 (java) S 20301 20301 15060 0 -1 1077944384 8511 0 0 0 102 15 0 0 20 0 15 0 223713786 14427463680 317563 33554432000 4194304 4196468 140733462891760 140408522459408 140408563709653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20306] ppid=20301 vsize=14089320 memory=1270252 CPUtime=1.17 cores=0,2,4,6
/proc/20303/task/20306/stat : 20306 (java) S 20301 20301 15060 0 -1 1077944384 5907 0 0 0 104 13 0 0 20 0 15 0 223713786 14427463680 317563 33554432000 4194304 4196468 140733462891760 140408158239120 140408563709653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20307] ppid=20301 vsize=14089320 memory=1270252 CPUtime=1.17 cores=0,2,4,6
/proc/20303/task/20307/stat : 20307 (java) S 20301 20301 15060 0 -1 1077944384 8989 0 0 0 102 15 0 0 20 0 15 0 223713786 14427463680 317563 33554432000 4194304 4196468 140733462891760 140408157186576 140408563709653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20308] ppid=20301 vsize=14089320 memory=1270252 CPUtime=1.17 cores=0,2,4,6
/proc/20303/task/20308/stat : 20308 (java) S 20301 20301 15060 0 -1 1077944384 8441 0 0 0 101 16 0 0 20 0 15 0 223713786 14427463680 317563 33554432000 4194304 4196468 140733462891760 140408156134032 140408563709653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20309] ppid=20301 vsize=14089320 memory=1270252 CPUtime=0.91 cores=0,2,4,6
/proc/20303/task/20309/stat : 20309 (java) S 20301 20301 15060 0 -1 1077944384 13412 0 0 0 83 8 0 0 20 0 15 0 223713787 14427463680 317563 33554432000 4194304 4196468 140733462891760 140408037898736 140408563710594 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20310] ppid=20301 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/20303/task/20310/stat : 20310 (java) S 20301 20301 15060 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 223713788 14427463680 317563 33554432000 4194304 4196468 140733462891760 140408036845024 140408563709653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20311] ppid=20301 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20303/task/20311/stat : 20311 (java) S 20301 20301 15060 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 223713788 14427463680 317563 33554432000 4194304 4196468 140733462891760 140408035792384 140408563709653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20312] ppid=20301 vsize=14089320 memory=140490998751793 CPUtime=0 cores=0,2,4,6
/proc/20303/task/20312/stat : 20312 (java) S 20301 20301 15060 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223713790 14427463680 317563 33554432000 4194304 4196468 140733462891760 140408034740944 140408563718043 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20313] ppid=20301 vsize=14089320 memory=1452 CPUtime=3.36 cores=0,2,4,6
/proc/20303/task/20313/stat : 20313 (java) S 20301 20301 15060 0 -1 1077944384 13868 0 0 0 334 2 0 0 20 0 15 0 223713790 14427463680 317563 33554432000 4194304 4196468 140733462891760 140408033687536 140408563710594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20314] ppid=20301 vsize=14089320 memory=1270252 CPUtime=3.29 cores=0,2,4,6
/proc/20303/task/20314/stat : 20314 (java) S 20301 20301 15060 0 -1 1077944384 14466 0 0 0 327 2 0 0 20 0 15 0 223713790 14427463680 317563 33554432000 4194304 4196468 140733462891760 140408032634992 140408563710594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20315] ppid=20301 vsize=14089320 memory=1452 CPUtime=0.8 cores=0,2,4,6
/proc/20303/task/20315/stat : 20315 (java) S 20301 20301 15060 0 -1 1077944384 9589 0 0 0 78 2 0 0 20 0 15 0 223713790 14427463680 317563 33554432000 4194304 4196468 140733462891760 140408031582448 140408563710594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20316] ppid=20301 vsize=14089320 memory=1270252 CPUtime=0 cores=0,2,4,6
/proc/20303/task/20316/stat : 20316 (java) S 20301 20301 15060 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223713790 14427463680 317563 33554432000 4194304 4196468 140733462891760 140408030530144 140408563709653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20317] ppid=20301 vsize=14089320 memory=6791534058613427641 CPUtime=1.01 cores=0,2,4,6
/proc/20303/task/20317/stat : 20317 (java) S 20301 20301 15060 0 -1 1077944384 2058 0 0 0 47 54 0 0 20 0 15 0 223713791 14427463680 317563 33554432000 4194304 4196468 140733462891760 140408029477680 140408563710594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
Current children cumulated CPU time: 2453.77 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 1271704 KiB

[startup+2502.3 s]
/proc/loadavg: 1.45 1.38 1.41 2/198 20401
/proc/meminfo: memFree=15936876/32770624 swapFree=67058736/67108860
[pid=20301] ppid=20298 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/20301/stat : 20301 (xcsp3-exec) S 20298 20301 15060 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 223713784 115843072 363 33554432000 4194304 5098028 140732114129840 140732114127944 139680879809148 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18141184 140732114138171 140732114138372 140732114138372 140732114141130 0
/proc/20301/statm: 28282 363 305 221 0 87 0
[pid=20303] ppid=20301 vsize=14089320 memory=1274348 CPUtime=2513.91 cores=0,2,4,6
/proc/20303/stat : 20303 (java) S 20301 20301 15060 0 -1 1077944320 128038 0 0 0 251257 134 0 0 20 0 15 0 223713785 14427463680 318587 33554432000 4194304 4196468 140733462891760 140733462874304 140408563699447 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
/proc/20303/statm: 3522330 318587 3422 1 0 3483524 0
[pid=20303/tid=20304] ppid=20301 vsize=14089320 memory=1274348 CPUtime=2499.5 cores=0,2,4,6
/proc/20303/task/20304/stat : 20304 (java) R 20301 20301 15060 0 -1 4202560 40749 0 0 0 249928 22 0 0 20 0 15 0 223713785 14427463680 318587 33554432000 4194304 4196468 140733462891760 140408567939040 140408207874819 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20305] ppid=20301 vsize=14089320 memory=1452 CPUtime=1.22 cores=0,2,4,6
/proc/20303/task/20305/stat : 20305 (java) S 20301 20301 15060 0 -1 1077944384 8526 0 0 0 106 16 0 0 20 0 15 0 223713786 14427463680 318587 33554432000 4194304 4196468 140733462891760 140408522459408 140408563709653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20306] ppid=20301 vsize=14089320 memory=1274348 CPUtime=1.22 cores=0,2,4,6
/proc/20303/task/20306/stat : 20306 (java) S 20301 20301 15060 0 -1 1077944384 6035 0 0 0 109 13 0 0 20 0 15 0 223713786 14427463680 318587 33554432000 4194304 4196468 140733462891760 140408158239120 140408563709653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20307] ppid=20301 vsize=14089320 memory=1274348 CPUtime=1.22 cores=0,2,4,6
/proc/20303/task/20307/stat : 20307 (java) S 20301 20301 15060 0 -1 1077944384 9012 0 0 0 107 15 0 0 20 0 15 0 223713786 14427463680 318587 33554432000 4194304 4196468 140733462891760 140408157186576 140408563709653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20308] ppid=20301 vsize=14089320 memory=1452 CPUtime=1.22 cores=0,2,4,6
/proc/20303/task/20308/stat : 20308 (java) S 20301 20301 15060 0 -1 1077944384 8771 0 0 0 105 17 0 0 20 0 15 0 223713786 14427463680 318587 33554432000 4194304 4196468 140733462891760 140408156134032 140408563709653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20309] ppid=20301 vsize=14089320 memory=1452 CPUtime=0.95 cores=0,2,4,6
/proc/20303/task/20309/stat : 20309 (java) S 20301 20301 15060 0 -1 1077944384 13593 0 0 0 87 8 0 0 20 0 15 0 223713787 14427463680 318587 33554432000 4194304 4196468 140733462891760 140408037898736 140408563710594 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20310] ppid=20301 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/20303/task/20310/stat : 20310 (java) S 20301 20301 15060 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 223713788 14427463680 318587 33554432000 4194304 4196468 140733462891760 140408036845024 140408563709653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20311] ppid=20301 vsize=14089320 memory=1274348 CPUtime=0 cores=0,2,4,6
/proc/20303/task/20311/stat : 20311 (java) S 20301 20301 15060 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 223713788 14427463680 318587 33554432000 4194304 4196468 140733462891760 140408035792384 140408563709653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20312] ppid=20301 vsize=14089320 memory=1274348 CPUtime=0 cores=0,2,4,6
/proc/20303/task/20312/stat : 20312 (java) S 20301 20301 15060 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223713790 14427463680 318587 33554432000 4194304 4196468 140733462891760 140408034740944 140408563718043 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20313] ppid=20301 vsize=14089320 memory=1452 CPUtime=3.36 cores=0,2,4,6
/proc/20303/task/20313/stat : 20313 (java) S 20301 20301 15060 0 -1 1077944384 13870 0 0 0 334 2 0 0 20 0 15 0 223713790 14427463680 318587 33554432000 4194304 4196468 140733462891760 140408033687536 140408563710594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20314] ppid=20301 vsize=14089320 memory=1948 CPUtime=3.29 cores=0,2,4,6
/proc/20303/task/20314/stat : 20314 (java) S 20301 20301 15060 0 -1 1077944384 14468 0 0 0 327 2 0 0 20 0 15 0 223713790 14427463680 318587 33554432000 4194304 4196468 140733462891760 140408032634992 140408563710594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20315] ppid=20301 vsize=14089320 memory=1188 CPUtime=0.8 cores=0,2,4,6
/proc/20303/task/20315/stat : 20315 (java) S 20301 20301 15060 0 -1 1077944384 9591 0 0 0 78 2 0 0 20 0 15 0 223713790 14427463680 318587 33554432000 4194304 4196468 140733462891760 140408031582448 140408563710594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20316] ppid=20301 vsize=14089320 memory=976 CPUtime=0 cores=0,2,4,6
/proc/20303/task/20316/stat : 20316 (java) S 20301 20301 15060 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223713790 14427463680 318587 33554432000 4194304 4196468 140733462891760 140408030530144 140408563709653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20317] ppid=20301 vsize=14089320 memory=3544 CPUtime=1.04 cores=0,2,4,6
/proc/20303/task/20317/stat : 20317 (java) S 20301 20301 15060 0 -1 1077944384 2077 0 0 0 49 55 0 0 20 0 15 0 223713791 14427463680 318587 33554432000 4194304 4196468 140733462891760 140408029477680 140408563710594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
Current children cumulated CPU time: 2513.91 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 1275800 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2508.4 s]
/proc/loadavg: 1.41 1.37 1.41 3/218 20469
/proc/meminfo: memFree=15749952/32770624 swapFree=67058736/67108860
[pid=20301] ppid=20298 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/20301/stat : 20301 (xcsp3-exec) S 20298 20301 15060 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 223713784 115843072 363 33554432000 4194304 5098028 140732114129840 140732114127944 139680879809148 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18141184 140732114138171 140732114138372 140732114138372 140732114141130 0
/proc/20301/statm: 28282 363 305 221 0 87 0
[pid=20303] ppid=20301 vsize=14089320 memory=1274348 CPUtime=2520.03 cores=0,2,4,6
/proc/20303/stat : 20303 (java) S 20301 20301 15060 0 -1 1077944320 128765 0 0 0 251869 134 0 0 20 0 15 0 223713785 14427463680 318587 33554432000 4194304 4196468 140733462891760 140733462874304 140408563699447 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
/proc/20303/statm: 3522330 318587 3422 1 0 3483524 0
[pid=20303/tid=20304] ppid=20301 vsize=14089320 memory=1408 CPUtime=2505.59 cores=0,2,4,6
/proc/20303/task/20304/stat : 20304 (java) R 20301 20301 15060 0 -1 4202560 40835 0 0 0 250537 22 0 0 20 0 15 0 223713785 14427463680 318587 33554432000 4194304 4196468 140733462891760 140408567939152 140408207897774 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20305] ppid=20301 vsize=14089320 memory=2424 CPUtime=1.22 cores=0,2,4,6
/proc/20303/task/20305/stat : 20305 (java) S 20301 20301 15060 0 -1 1077944384 8559 0 0 0 106 16 0 0 20 0 15 0 223713786 14427463680 318587 33554432000 4194304 4196468 140733462891760 140408522459408 140408563709653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20306] ppid=20301 vsize=14089320 memory=1452 CPUtime=1.22 cores=0,2,4,6
/proc/20303/task/20306/stat : 20306 (java) S 20301 20301 15060 0 -1 1077944384 6435 0 0 0 109 13 0 0 20 0 15 0 223713786 14427463680 318587 33554432000 4194304 4196468 140733462891760 140408158239120 140408563709653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20307] ppid=20301 vsize=14089320 memory=1274348 CPUtime=1.22 cores=0,2,4,6
/proc/20303/task/20307/stat : 20307 (java) S 20301 20301 15060 0 -1 1077944384 9015 0 0 0 107 15 0 0 20 0 15 0 223713786 14427463680 318587 33554432000 4194304 4196468 140733462891760 140408157186576 140408563709653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20308] ppid=20301 vsize=14089320 memory=14696283776491730 CPUtime=1.23 cores=0,2,4,6
/proc/20303/task/20308/stat : 20308 (java) S 20301 20301 15060 0 -1 1077944384 8785 0 0 0 106 17 0 0 20 0 15 0 223713786 14427463680 318587 33554432000 4194304 4196468 140733462891760 140408156134032 140408563709653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20309] ppid=20301 vsize=14089320 memory=1528 CPUtime=0.95 cores=0,2,4,6
/proc/20303/task/20309/stat : 20309 (java) S 20301 20301 15060 0 -1 1077944384 13767 0 0 0 87 8 0 0 20 0 15 0 223713787 14427463680 318587 33554432000 4194304 4196468 140733462891760 140408037898736 140408563710594 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20310] ppid=20301 vsize=14089320 memory=924 CPUtime=0 cores=0,2,4,6
/proc/20303/task/20310/stat : 20310 (java) S 20301 20301 15060 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 223713788 14427463680 318587 33554432000 4194304 4196468 140733462891760 140408036845024 140408563709653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20311] ppid=20301 vsize=14089320 memory=1140 CPUtime=0 cores=0,2,4,6
/proc/20303/task/20311/stat : 20311 (java) S 20301 20301 15060 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 223713788 14427463680 318587 33554432000 4194304 4196468 140733462891760 140408035792384 140408563709653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20312] ppid=20301 vsize=14089320 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/20303/task/20312/stat : 20312 (java) S 20301 20301 15060 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223713790 14427463680 318587 33554432000 4194304 4196468 140733462891760 140408034740944 140408563718043 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20313] ppid=20301 vsize=14089320 memory=6791534058613427641 CPUtime=3.36 cores=0,2,4,6
/proc/20303/task/20313/stat : 20313 (java) S 20301 20301 15060 0 -1 1077944384 13870 0 0 0 334 2 0 0 20 0 15 0 223713790 14427463680 318587 33554432000 4194304 4196468 140733462891760 140408033687536 140408563710594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20314] ppid=20301 vsize=14089320 memory=812 CPUtime=3.29 cores=0,2,4,6
/proc/20303/task/20314/stat : 20314 (java) S 20301 20301 15060 0 -1 1077944384 14468 0 0 0 327 2 0 0 20 0 15 0 223713790 14427463680 318587 33554432000 4194304 4196468 140733462891760 140408032634992 140408563710594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20315] ppid=20301 vsize=14089320 memory=1932 CPUtime=0.8 cores=0,2,4,6
/proc/20303/task/20315/stat : 20315 (java) S 20301 20301 15060 0 -1 1077944384 9591 0 0 0 78 2 0 0 20 0 15 0 223713790 14427463680 318587 33554432000 4194304 4196468 140733462891760 140408031582448 140408563710594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20316] ppid=20301 vsize=14089320 memory=2076 CPUtime=0 cores=0,2,4,6
/proc/20303/task/20316/stat : 20316 (java) S 20301 20301 15060 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223713790 14427463680 318587 33554432000 4194304 4196468 140733462891760 140408030530144 140408563709653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
[pid=20303/tid=20317] ppid=20301 vsize=14089320 memory=1840 CPUtime=1.05 cores=0,2,4,6
/proc/20303/task/20317/stat : 20317 (java) S 20301 20301 15060 0 -1 1077944384 2094 0 0 0 49 56 0 0 20 0 15 0 223713791 14427463680 318587 33554432000 4194304 4196468 140733462891760 140408029477680 140408563710594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140733462893702 140733462893873 140733462893873 140733462896591 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 1275800 KiB

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

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

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

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

Child status: 143
Real time (s): 2508.41
CPU time (s): 2520.05
CPU user time (s): 2518.7
CPU system time (s): 1.35267
CPU usage (%): 100.464
Max. virtual memory (cumulated for all children) (KiB): 14202448
Max. memory (cumulated for all children) (KiB): 1275800

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.7
system time used= 1.35267
maximum resident set size= 1274932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 129581
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 81443
involuntary context switches= 3478


# summary of solver processes directly reported to runsolver:
#   pid: 20301,20303
#   total CPU time (s): 2520.05
#   total CPU user time (s): 2518.7
#   total CPU system time (s): 1.35267

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.0841 second user time and 21.9478 second system time

The end

Launcher Data 

Begin job on node103 at 2018-08-12 10:11:46
IDJOB=4306714
IDBENCH=141214
IDSOLVER=2787
FILE ID=node103/4306714-1534061506
RUNJOBID= node103-1534061498-20178
PBS_JOBID= 21036972
Free space on /tmp= 34436 MiB

SOLVER NAME= Choco-solver 4.0.7b seq (e747e1e)
BENCH NAME= XCSP18/SumColoring/SumColoring-dsjc-250-9_c18.xml
COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 11000 -p 1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4306714-1534061506/watcher-4306714-1534061506 -o /tmp/evaluation-result-4306714-1534061506/solver-4306714-1534061506 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1534061498-20178 --watchdog 2580  HOME/xcsp3-exec -seed 511029869 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306714-1534061506.xml

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

MD5SUM BENCH= 15c7aefb85365a32de6dc875f5012851
RANDOM SEED=511029869

node103.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.48
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.48
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.48
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.48
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:        17010160 kB
MemAvailable:   31753020 kB
Buffers:          110428 kB
Cached:         14773240 kB
SwapCached:         5832 kB
Active:          7672316 kB
Inactive:        7419344 kB
Active(anon):     198016 kB
Inactive(anon):    61276 kB
Active(file):    7474300 kB
Inactive(file):  7358068 kB
Unevictable:        7784 kB
Mlocked:            7784 kB
SwapTotal:      67108860 kB
SwapFree:       67058736 kB
Dirty:             23016 kB
Writeback:             0 kB
AnonPages:        210532 kB
Mapped:            62688 kB
Shmem:             48604 kB
Slab:             367360 kB
SReclaimable:     338952 kB
SUnreclaim:        28408 kB
KernelStack:        3584 kB
PageTables:         5936 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1320476 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    145408 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 34416 MiB
End job on node103 at 2018-08-12 10:53:35