Trace number 4400266

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 2019-09-16 parallelSAT (TO)13 1984.77 252.113

General information on the benchmark

NameGraphColoring/GraphColoring-m1-mono/
GraphColoring-school1.xml
MD5SUM9dec5151d217f705456bb861c341cf0d
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark13
Best CPU time to get the best result obtained on this benchmark79.6827
Satisfiable
(Un)Satisfiability was proved
Number of variables385
Number of constraints19095
Number of domains1
Minimum domain size385
Maximum domain size385
Distribution of domain sizes[{"size":385,"count":385}]
Minimum variable degree2
Maximum variable degree283
Distribution of variable degrees[{"degree":2,"count":8},{"degree":3,"count":2},{"degree":4,"count":3},{"degree":5,"count":2},{"degree":6,"count":1},{"degree":8,"count":1},{"degree":9,"count":4},{"degree":10,"count":1},{"degree":12,"count":1},{"degree":13,"count":4},{"degree":14,"count":1},{"degree":15,"count":1},{"degree":16,"count":1},{"degree":19,"count":1},{"degree":20,"count":2},{"degree":22,"count":1},{"degree":24,"count":3},{"degree":25,"count":5},{"degree":26,"count":2},{"degree":27,"count":1},{"degree":29,"count":2},{"degree":32,"count":1},{"degree":33,"count":2},{"degree":35,"count":2},{"degree":39,"count":1},"...",{"degree":150,"count":2}, {"degree":154,"count":3}, {"degree":155,"count":1}, {"degree":156,"count":2}, {"degree":160,"count":2}, {"degree":161,"count":3}, {"degree":163,"count":1}, {"degree":164,"count":1}, {"degree":167,"count":1}, {"degree":168,"count":1}, {"degree":172,"count":1}, {"degree":175,"count":1}, {"degree":177,"count":1}, {"degree":230,"count":2}, {"degree":246,"count":1}, {"degree":247,"count":1}, {"degree":252,"count":1}, {"degree":257,"count":1}, {"degree":260,"count":1}, {"degree":263,"count":1}, {"degree":265,"count":1}, {"degree":269,"count":2}, {"degree":271,"count":1}, {"degree":273,"count":1}, {"degree":283,"count":1}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":19095}]
Number of extensional constraints0
Number of intensional constraints19095
Distribution of constraint types[{"type":"intension","count":19095}]
Optimization problemYES
Type of objectivemin MAXIMUM

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 -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4400266-1568709882.xml"  -tl '2016s' -p 8
0.11/0.18	c Choco e747e1e
0.11/0.18	c [HOME/instance-4400266-1568709882.xml, -tl, 2016s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.28	c parse instance...
13.17/4.84	c solve instance...
15.10/5.17	o 41 
16.43/5.31	o 13 
1984.07/252.07	s SATISFIABLE
1984.07/252.07	v <instantiation>
1984.07/252.07	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] 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] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] </list>
1984.07/252.07	v 	<values>3 1 13 1 6 4 11 3 7 8 2 12 0 9 3 10 7 13 8 10 7 5 11 1 6 3 5 13 9 3 7 10 11 12 13 8 1 10 7 1 6 2 12 6 6 11 9 3 6 13 9 3 10 7 2 0 5 8 2 5 1 10 7 11 0 4 12 9 3 12 9 11 0 4 8 2 5 1 10 8 2 5 1 10 8 2 12 9 11 0 4 12 9 11 0 4 1 10 0 7 8 2 5 1 3 13 6 2 5 0 4 11 8 12 1 12 1 12 1 13 8 2 1 4 0 12 3 6 7 10 9 10 9 10 9 0 1 0 9 9 4 9 6 11 0 13 8 7 2 12 10 4 2 10 7 7 12 9 3 0 6 4 2 5 12 8 13 3 1 10 7 9 3 6 11 10 13 11 0 1 2 12 4 0 1 3 9 0 9 12 11 7 1 0 7 13 3 13 13 6 11 6 10 8 2 11 0 9 3 6 11 2 5 3 0 10 1 2 5 1 4 12 9 1 10 5 0 8 3 4 8 11 5 4 3 0 3 7 3 7 0 2 7 13 8 5 12 9 3 4 1 10 7 6 0 13 2 5 6 0 4 9 3 10 7 13 12 5 9 3 12 6 0 4 1 10 1 6 0 4 1 10 7 1 0 13 2 5 12 9 8 9 10 13 5 2 3 6 0 1 7 13 8 3 4 7 5 9 2 6 11 0 0 2 0 1 0 12 3 6 11 2 13 8 1 4 13 1 4 12 13 6 11 0 6 11 0 10 13 1 8 2 5 8 2 5 13 8 2 6 4 11 8 1 5 12 9 11 0 4 1 10 7 13 8 2 12 9 3 6 11 0 1 10 7 5 5 3 5 12 9 4 0 4 4 </values>
1984.07/252.07	v </instantiation>
1984.07/252.07	c Unexpected resolution interruption!

Verifier Data 

OK	13

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400266-1568709882/watcher-4400266-1568709882 -o /tmp/evaluation-result-4400266-1568709882/solver-4400266-1568709882 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node147-1568700717-27810 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 21221108 HOME/instance-4400266-1568709882.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=804, runsolver pid=801
Current StackSize limit: 8192 KiB


[startup+0.100158 s]*
/proc/loadavg: 8.15 8.10 8.14 2/213 825
/proc/meminfo: memFree=30331708/32770624 swapFree=66917056/67108860
[pid=804] ppid=801 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/804/stat : 804 (xcsp3-exec) S 801 804 27783 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446902035 115843072 362 33554432000 4194304 5098028 140733277209456 140733277207560 140718607762044 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15302656 140733277217661 140733277217902 140733277217902 140733277220810 0
/proc/804/statm: 28282 362 304 221 0 87 0
[pid=806] ppid=804 vsize=28227396 memory=31944 CPUtime=0.11 cores=0-7
/proc/806/stat : 806 (java) S 804 804 27783 0 -1 1077944320 5430 0 0 0 10 1 0 0 20 0 20 0 446902036 28904853504 7986 33554432000 4194304 4196468 140724805346032 140724805328576 140222201896695 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
/proc/806/statm: 7056849 7986 3120 1 0 7019032 0
[pid=806/tid=807] ppid=804 vsize=28227396 memory=8390339637985935414 CPUtime=0.09 cores=0-7
/proc/806/task/807/stat : 807 (java) R 804 804 27783 0 -1 4202560 3354 0 0 0 8 1 0 0 20 0 20 0 446902036 28904853504 7986 33554432000 4194304 4196468 140724805346032 140222206128960 140222201908630 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=808] ppid=804 vsize=28227396 memory=288230600413020183 CPUtime=0 cores=0-7
/proc/806/task/808/stat : 808 (java) S 804 804 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446902037 28904853504 7986 33554432000 4194304 4196468 140724805346032 140222160656784 140222201906901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=809] ppid=804 vsize=28227396 memory=4051468353645983392 CPUtime=0 cores=0-7
/proc/806/task/809/stat : 809 (java) S 804 804 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446902037 28904853504 7986 33554432000 4194304 4196468 140724805346032 140221752551696 140222201906901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=810] ppid=804 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/806/task/810/stat : 810 (java) S 804 804 27783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446902037 28904853504 7986 33554432000 4194304 4196468 140724805346032 140221751499408 140222201906901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=811] ppid=804 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/806/task/811/stat : 811 (java) S 804 804 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446902037 28904853504 7986 33554432000 4194304 4196468 140724805346032 140221750446608 140222201906901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=812] ppid=804 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/806/task/812/stat : 812 (java) S 804 804 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446902037 28904853504 7986 33554432000 4194304 4196468 140724805346032 140221749394320 140222201906901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=813] ppid=804 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/806/task/813/stat : 813 (java) S 804 804 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446902037 28904853504 7986 33554432000 4194304 4196468 140724805346032 140221748341520 140222201906901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=814] ppid=804 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/806/task/814/stat : 814 (java) S 804 804 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446902037 28904853504 7986 33554432000 4194304 4196468 140724805346032 140221747289232 140222201906901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=815] ppid=804 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/806/task/815/stat : 815 (java) S 804 804 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446902037 28904853504 7986 33554432000 4194304 4196468 140724805346032 140221746236432 140222201906901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=816] ppid=804 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/806/task/816/stat : 816 (java) S 804 804 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446902038 28904853504 7986 33554432000 4194304 4196468 140724805346032 140221318183024 140222201907842 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=817] ppid=804 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/806/task/817/stat : 817 (java) S 804 804 27783 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446902039 28904853504 7986 33554432000 4194304 4196468 140724805346032 140221317128992 140222201906901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=818] ppid=804 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/806/task/818/stat : 818 (java) S 804 804 27783 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446902039 28904853504 7986 33554432000 4194304 4196468 140724805346032 140221316076656 140222201906901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=819] ppid=804 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/806/task/819/stat : 819 (java) S 804 804 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446902041 28904853504 7986 33554432000 4194304 4196468 140724805346032 140221315024976 140222201915291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=820] ppid=804 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/806/task/820/stat : 820 (java) S 804 804 27783 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 446902041 28904853504 7986 33554432000 4194304 4196468 140724805346032 140221313972848 140222201907842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=821] ppid=804 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/806/task/821/stat : 821 (java) S 804 804 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446902041 28904853504 7986 33554432000 4194304 4196468 140724805346032 140221312920048 140222201907842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=822] ppid=804 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/806/task/822/stat : 822 (java) S 804 804 27783 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 446902041 28904853504 7986 33554432000 4194304 4196468 140724805346032 140221311867760 140222201907842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=823] ppid=804 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/806/task/823/stat : 823 (java) S 804 804 27783 0 -1 1077944384 344 0 0 0 2 0 0 0 20 0 20 0 446902041 28904853504 7986 33554432000 4194304 4196468 140724805346032 140221310814960 140222201907842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=824] ppid=804 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/806/task/824/stat : 824 (java) S 804 804 27783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446902041 28904853504 7986 33554432000 4194304 4196468 140724805346032 140221309761888 140222201906901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=825] ppid=804 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/806/task/825/stat : 825 (java) S 804 804 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446902042 28904853504 7986 33554432000 4194304 4196468 140724805346032 140221308709168 140222201907842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 33392 KiB

[startup+0.210061 s]*
/proc/loadavg: 8.15 8.10 8.14 2/213 825
/proc/meminfo: memFree=30317732/32770624 swapFree=66917056/67108860
[pid=804] ppid=801 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/804/stat : 804 (xcsp3-exec) S 801 804 27783 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446902035 115843072 362 33554432000 4194304 5098028 140733277209456 140733277207560 140718607762044 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15302656 140733277217661 140733277217902 140733277217902 140733277220810 0
/proc/804/statm: 28282 362 304 221 0 87 0
[pid=806] ppid=804 vsize=28227396 memory=42772 CPUtime=0.33 cores=0-7
/proc/806/stat : 806 (java) S 804 804 27783 0 -1 1077944320 8982 0 0 0 30 3 0 0 20 0 20 0 446902036 28904853504 10693 33554432000 4194304 4196468 140724805346032 140724805328576 140222201896695 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
/proc/806/statm: 7056849 10693 3199 1 0 7019032 0
[pid=806/tid=807] ppid=804 vsize=28227396 memory=8390339637985935414 CPUtime=0.19 cores=0-7
/proc/806/task/807/stat : 807 (java) R 804 804 27783 0 -1 4202560 6166 0 0 0 17 2 0 0 20 0 20 0 446902036 28904853504 10693 33554432000 4194304 4196468 140724805346032 140222206131040 140222186236884 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=808] ppid=804 vsize=28227396 memory=288230600413020183 CPUtime=0 cores=0-7
/proc/806/task/808/stat : 808 (java) S 804 804 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446902037 28904853504 10693 33554432000 4194304 4196468 140724805346032 140222160656784 140222201906901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=809] ppid=804 vsize=28227396 memory=4051468353645983392 CPUtime=0 cores=0-7
/proc/806/task/809/stat : 809 (java) S 804 804 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446902037 28904853504 10693 33554432000 4194304 4196468 140724805346032 140221752551696 140222201906901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=810] ppid=804 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/806/task/810/stat : 810 (java) S 804 804 27783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446902037 28904853504 10693 33554432000 4194304 4196468 140724805346032 140221751499408 140222201906901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=811] ppid=804 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/806/task/811/stat : 811 (java) S 804 804 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446902037 28904853504 10693 33554432000 4194304 4196468 140724805346032 140221750446608 140222201906901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=812] ppid=804 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/806/task/812/stat : 812 (java) S 804 804 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446902037 28904853504 10693 33554432000 4194304 4196468 140724805346032 140221749394320 140222201906901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=813] ppid=804 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/806/task/813/stat : 813 (java) S 804 804 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446902037 28904853504 10693 33554432000 4194304 4196468 140724805346032 140221748341520 140222201906901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=814] ppid=804 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/806/task/814/stat : 814 (java) S 804 804 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446902037 28904853504 10693 33554432000 4194304 4196468 140724805346032 140221747289232 140222201906901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=815] ppid=804 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/806/task/815/stat : 815 (java) S 804 804 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446902037 28904853504 10693 33554432000 4194304 4196468 140724805346032 140221746236432 140222201906901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=816] ppid=804 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/806/task/816/stat : 816 (java) S 804 804 27783 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446902038 28904853504 10693 33554432000 4194304 4196468 140724805346032 140221318183024 140222201907842 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=817] ppid=804 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/806/task/817/stat : 817 (java) S 804 804 27783 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446902039 28904853504 10693 33554432000 4194304 4196468 140724805346032 140221317128992 140222201906901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=818] ppid=804 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/806/task/818/stat : 818 (java) S 804 804 27783 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446902039 28904853504 10693 33554432000 4194304 4196468 140724805346032 140221316076656 140222201906901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=819] ppid=804 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/806/task/819/stat : 819 (java) S 804 804 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446902041 28904853504 10693 33554432000 4194304 4196468 140724805346032 140221315024976 140222201915291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=820] ppid=804 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/806/task/820/stat : 820 (java) S 804 804 27783 0 -1 1077944384 393 0 0 0 1 0 0 0 20 0 20 0 446902041 28904853504 10693 33554432000 4194304 4196468 140724805346032 140221313972848 140222201907842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=821] ppid=804 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/806/task/821/stat : 821 (java) S 804 804 27783 0 -1 1077944384 253 0 0 0 2 0 0 0 20 0 20 0 446902041 28904853504 10693 33554432000 4194304 4196468 140724805346032 140221312920048 140222201907842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=822] ppid=804 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/806/task/822/stat : 822 (java) S 804 804 27783 0 -1 1077944384 130 0 0 0 0 0 0 0 20 0 20 0 446902041 28904853504 10693 33554432000 4194304 4196468 140724805346032 140221311867760 140222201907842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=823] ppid=804 vsize=28227396 memory=0 CPUtime=0.07 cores=0-7
/proc/806/task/823/stat : 823 (java) R 804 804 27783 0 -1 4202560 740 0 0 0 7 0 0 0 20 0 20 0 446902041 28904853504 10693 33554432000 4194304 4196468 140724805346032 140221310814960 140222201908630 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=824] ppid=804 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/806/task/824/stat : 824 (java) S 804 804 27783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446902041 28904853504 10693 33554432000 4194304 4196468 140724805346032 140221309761888 140222201906901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=825] ppid=804 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/806/task/825/stat : 825 (java) S 804 804 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446902042 28904853504 10693 33554432000 4194304 4196468 140724805346032 140221308709168 140222201907842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 44220 KiB

[startup+0.309619 s]*
/proc/loadavg: 8.15 8.10 8.14 6/213 825
/proc/meminfo: memFree=30310956/32770624 swapFree=66917056/67108860
[pid=804] ppid=801 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/804/stat : 804 (xcsp3-exec) S 801 804 27783 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446902035 115843072 362 33554432000 4194304 5098028 140733277209456 140733277207560 140718607762044 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15302656 140733277217661 140733277217902 140733277217902 140733277220810 0
/proc/804/statm: 28282 362 304 221 0 87 0
[pid=806] ppid=804 vsize=28231652 memory=51464 CPUtime=0.51 cores=0-7
/proc/806/stat : 806 (java) S 804 804 27783 0 -1 1077944320 10234 0 0 0 47 4 0 0 20 0 20 0 446902036 28909211648 12866 33554432000 4194304 4196468 140724805346032 140724805328576 140222201896695 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
/proc/806/statm: 7057913 12866 3325 1 0 7019032 0
[pid=806/tid=807] ppid=804 vsize=28231652 memory=0 CPUtime=0.29 cores=0-7
/proc/806/task/807/stat : 807 (java) R 804 804 27783 0 -1 4202560 7240 0 0 0 26 3 0 0 20 0 20 0 446902036 28909211648 12966 33554432000 4194304 4196468 140724805346032 140222206127808 140222185977182 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=808] ppid=804 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/806/task/808/stat : 808 (java) S 804 804 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446902037 28909211648 12966 33554432000 4194304 4196468 140724805346032 140222160656784 140222201906901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=809] ppid=804 vsize=28231652 memory=140515555817088 CPUtime=0 cores=0-7
/proc/806/task/809/stat : 809 (java) S 804 804 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446902037 28909211648 12966 33554432000 4194304 4196468 140724805346032 140221752551696 140222201906901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=810] ppid=804 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/806/task/810/stat : 810 (java) S 804 804 27783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446902037 28909211648 12966 33554432000 4194304 4196468 140724805346032 140221751499408 140222201906901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=811] ppid=804 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/806/task/811/stat : 811 (java) S 804 804 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446902037 28909211648 12966 33554432000 4194304 4196468 140724805346032 140221750446608 140222201906901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=812] ppid=804 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/806/task/812/stat : 812 (java) S 804 804 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446902037 28909211648 12966 33554432000 4194304 4196468 140724805346032 140221749394320 140222201906901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=813] ppid=804 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/806/task/813/stat : 813 (java) S 804 804 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446902037 28909211648 12966 33554432000 4194304 4196468 140724805346032 140221748341520 140222201906901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=814] ppid=804 vsize=28231652 memory=4338715984040034336 CPUtime=0 cores=0-7
/proc/806/task/814/stat : 814 (java) S 804 804 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446902037 28909211648 12966 33554432000 4194304 4196468 140724805346032 140221747289232 140222201906901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=815] ppid=804 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/806/task/815/stat : 815 (java) S 804 804 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446902037 28909211648 12966 33554432000 4194304 4196468 140724805346032 140221746236432 140222201906901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=816] ppid=804 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/806/task/816/stat : 816 (java) S 804 804 27783 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446902038 28909211648 12966 33554432000 4194304 4196468 140724805346032 140221318183024 140222201907842 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=817] ppid=804 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/806/task/817/stat : 817 (java) S 804 804 27783 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446902039 28909211648 12966 33554432000 4194304 4196468 140724805346032 140221317128992 140222201906901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=818] ppid=804 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/806/task/818/stat : 818 (java) S 804 804 27783 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446902039 28909211648 12966 33554432000 4194304 4196468 140724805346032 140221316076656 140222201906901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=819] ppid=804 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/806/task/819/stat : 819 (java) S 804 804 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446902041 28909211648 12966 33554432000 4194304 4196468 140724805346032 140221315024976 140222201915291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=820] ppid=804 vsize=28231652 memory=0 CPUtime=0.02 cores=0-7
/proc/806/task/820/stat : 820 (java) S 804 804 27783 0 -1 1077944384 404 0 0 0 2 0 0 0 20 0 20 0 446902041 28909211648 12966 33554432000 4194304 4196468 140724805346032 140221313972848 140222201907842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=821] ppid=804 vsize=28231652 memory=0 CPUtime=0.03 cores=0-7
/proc/806/task/821/stat : 821 (java) S 804 804 27783 0 -1 1077944384 255 0 0 0 3 0 0 0 20 0 20 0 446902041 28909211648 12966 33554432000 4194304 4196468 140724805346032 140221312920048 140222201907842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=822] ppid=804 vsize=28231652 memory=0 CPUtime=0.02 cores=0-7
/proc/806/task/822/stat : 822 (java) R 804 804 27783 0 -1 4202560 260 0 0 0 2 0 0 0 20 0 20 0 446902041 28909211648 12966 33554432000 4194304 4196468 140724805346032 140221311848776 140222201918042 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=823] ppid=804 vsize=28231652 memory=0 CPUtime=0.12 cores=0-7
/proc/806/task/823/stat : 823 (java) S 804 804 27783 0 -1 1077944384 834 0 0 0 12 0 0 0 20 0 20 0 446902041 28909211648 12966 33554432000 4194304 4196468 140724805346032 140221310814960 140222201907842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=824] ppid=804 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/806/task/824/stat : 824 (java) S 804 804 27783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446902041 28909211648 12966 33554432000 4194304 4196468 140724805346032 140221309761888 140222201906901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=825] ppid=804 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/806/task/825/stat : 825 (java) S 804 804 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446902042 28909211648 12966 33554432000 4194304 4196468 140724805346032 140221308709168 140222201907842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 52912 KiB

[startup+0.700906 s]
/proc/loadavg: 8.15 8.10 8.14 3/213 825
/proc/meminfo: memFree=30290232/32770624 swapFree=66917056/67108860
[pid=804] ppid=801 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/804/stat : 804 (xcsp3-exec) S 801 804 27783 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446902035 115843072 362 33554432000 4194304 5098028 140733277209456 140733277207560 140718607762044 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15302656 140733277217661 140733277217902 140733277217902 140733277220810 0
/proc/804/statm: 28282 362 304 221 0 87 0
[pid=806] ppid=804 vsize=28233776 memory=127052 CPUtime=1.94 cores=0-7
/proc/806/stat : 806 (java) S 804 804 27783 0 -1 1077944320 14217 0 0 0 188 6 0 0 20 0 20 0 446902036 28911386624 31763 33554432000 4194304 4196468 140724805346032 140724805328576 140222201896695 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
/proc/806/statm: 7058444 31763 3446 1 0 7019544 0
[pid=806/tid=807] ppid=804 vsize=28233776 memory=3512 CPUtime=0.67 cores=0-7
/proc/806/task/807/stat : 807 (java) R 804 804 27783 0 -1 4202560 7824 0 0 0 64 3 0 0 20 0 20 0 446902036 28911386624 31763 33554432000 4194304 4196468 140724805346032 140222206131104 140222184356344 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=808] ppid=804 vsize=28233776 memory=48580 CPUtime=0 cores=0-7
/proc/806/task/808/stat : 808 (java) S 804 804 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446902037 28911386624 31763 33554432000 4194304 4196468 140724805346032 140222160656784 140222201906901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=809] ppid=804 vsize=28233776 memory=2020 CPUtime=0 cores=0-7
/proc/806/task/809/stat : 809 (java) S 804 804 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446902037 28911386624 31763 33554432000 4194304 4196468 140724805346032 140221752551696 140222201906901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=810] ppid=804 vsize=28233776 memory=988 CPUtime=0 cores=0-7
/proc/806/task/810/stat : 810 (java) S 804 804 27783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446902037 28911386624 31763 33554432000 4194304 4196468 140724805346032 140221751499408 140222201906901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0

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

[pid=806/tid=849] ppid=804 vsize=28768336 memory=7379266089897120340 CPUtime=216.21 cores=0-7
/proc/806/task/849/stat : 849 (java) R 804 804 27783 0 -1 4202560 8642 0 0 0 21605 16 0 0 20 0 28 0 446902569 29458776064 874427 33554432000 4194304 4196468 140724805346032 140221297385352 140221847368169 0 4 0 16800975 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
Current children cumulated CPU time: 1747.11 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 3499156 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.002 s]
/proc/loadavg: 8.54 8.13 8.11 9/219 865
/proc/meminfo: memFree=26861828/32770624 swapFree=66917056/67108860
[pid=804] ppid=801 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/804/stat : 804 (xcsp3-exec) S 801 804 27783 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446902035 115843072 362 33554432000 4194304 5098028 140733277209456 140733277207560 140718607762044 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15302656 140733277217661 140733277217902 140733277217902 140733277220810 0
/proc/804/statm: 28282 362 304 221 0 87 0
[pid=806] ppid=804 vsize=28768336 memory=3497708 CPUtime=1984.07 cores=0-7
/proc/806/stat : 806 (java) S 804 804 27783 0 -1 1077944320 94342 0 0 0 198167 240 0 0 20 0 28 0 446902036 29458776064 874427 33554432000 4194304 4196468 140724805346032 140724805328576 140222201896695 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
/proc/806/statm: 7192084 874427 3541 1 0 7153184 0
[pid=806/tid=807] ppid=804 vsize=28768336 memory=3497708 CPUtime=4.61 cores=0-7
/proc/806/task/807/stat : 807 (java) S 804 804 27783 0 -1 1077944384 10103 0 0 0 444 17 0 0 20 0 28 0 446902036 29458776064 874427 33554432000 4194304 4196468 140724805346032 140222206137472 140222201906901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=808] ppid=804 vsize=28768336 memory=3497708 CPUtime=0.31 cores=0-7
/proc/806/task/808/stat : 808 (java) S 804 804 27783 0 -1 1077944384 486 0 0 0 19 12 0 0 20 0 28 0 446902037 29458776064 874427 33554432000 4194304 4196468 140724805346032 140222160656784 140222201906901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=809] ppid=804 vsize=28768336 memory=3497708 CPUtime=0.32 cores=0-7
/proc/806/task/809/stat : 809 (java) S 804 804 27783 0 -1 1077944384 556 0 0 0 20 12 0 0 20 0 28 0 446902037 29458776064 874427 33554432000 4194304 4196468 140724805346032 140221752551696 140222201906901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=810] ppid=804 vsize=28768336 memory=3497708 CPUtime=0.32 cores=0-7
/proc/806/task/810/stat : 810 (java) S 804 804 27783 0 -1 1077944384 940 0 0 0 20 12 0 0 20 0 28 0 446902037 29458776064 874427 33554432000 4194304 4196468 140724805346032 140221751499408 140222201906901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=811] ppid=804 vsize=28768336 memory=3497708 CPUtime=0.32 cores=0-7
/proc/806/task/811/stat : 811 (java) S 804 804 27783 0 -1 1077944384 1204 0 0 0 21 11 0 0 20 0 28 0 446902037 29458776064 874427 33554432000 4194304 4196468 140724805346032 140221750446608 140222201906901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=812] ppid=804 vsize=28768336 memory=3497708 CPUtime=0.3 cores=0-7
/proc/806/task/812/stat : 812 (java) S 804 804 27783 0 -1 1077944384 725 0 0 0 20 10 0 0 20 0 28 0 446902037 29458776064 874427 33554432000 4194304 4196468 140724805346032 140221749394320 140222201906901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=813] ppid=804 vsize=28768336 memory=1448 CPUtime=0.3 cores=0-7
/proc/806/task/813/stat : 813 (java) S 804 804 27783 0 -1 1077944384 749 0 0 0 20 10 0 0 20 0 28 0 446902037 29458776064 874427 33554432000 4194304 4196468 140724805346032 140221748341520 140222201906901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=814] ppid=804 vsize=28768336 memory=3512 CPUtime=0.29 cores=0-7
/proc/806/task/814/stat : 814 (java) S 804 804 27783 0 -1 1077944384 857 0 0 0 18 11 0 0 20 0 28 0 446902037 29458776064 874427 33554432000 4194304 4196468 140724805346032 140221747289232 140222201906901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=815] ppid=804 vsize=28768336 memory=3497708 CPUtime=0.31 cores=0-7
/proc/806/task/815/stat : 815 (java) S 804 804 27783 0 -1 1077944384 595 0 0 0 20 11 0 0 20 0 28 0 446902037 29458776064 874427 33554432000 4194304 4196468 140724805346032 140221746236432 140222201906901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=816] ppid=804 vsize=28768336 memory=140515425883057 CPUtime=0.03 cores=0-7
/proc/806/task/816/stat : 816 (java) S 804 804 27783 0 -1 1077944384 3291 0 0 0 3 0 0 0 20 0 28 0 446902038 29458776064 874427 33554432000 4194304 4196468 140724805346032 140221318183024 140222201907842 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=817] ppid=804 vsize=28768336 memory=140559183133674 CPUtime=0 cores=0-7
/proc/806/task/817/stat : 817 (java) S 804 804 27783 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 446902039 29458776064 874427 33554432000 4194304 4196468 140724805346032 140221317129056 140222201906901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=818] ppid=804 vsize=28768336 memory=281030851434602 CPUtime=0 cores=0-7
/proc/806/task/818/stat : 818 (java) S 804 804 27783 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 446902039 29458776064 874427 33554432000 4194304 4196468 140724805346032 140221316076672 140222201906901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=819] ppid=804 vsize=28768336 memory=31 CPUtime=0 cores=0-7
/proc/806/task/819/stat : 819 (java) S 804 804 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446902041 29458776064 874427 33554432000 4194304 4196468 140724805346032 140221315024976 140222201915291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=820] ppid=804 vsize=28768336 memory=3 CPUtime=3.79 cores=0-7
/proc/806/task/820/stat : 820 (java) S 804 804 27783 0 -1 1077944384 8132 0 0 0 377 2 0 0 20 0 28 0 446902041 29458776064 874427 33554432000 4194304 4196468 140724805346032 140221313972848 140222201907842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=821] ppid=804 vsize=28768336 memory=1448 CPUtime=3.37 cores=0-7
/proc/806/task/821/stat : 821 (java) S 804 804 27783 0 -1 1077944384 13887 0 0 0 334 3 0 0 20 0 28 0 446902041 29458776064 874427 33554432000 4194304 4196468 140724805346032 140221312920048 140222201907842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=822] ppid=804 vsize=28768336 memory=3497708 CPUtime=3.86 cores=0-7
/proc/806/task/822/stat : 822 (java) S 804 804 27783 0 -1 1077944384 8620 0 0 0 384 2 0 0 20 0 28 0 446902041 29458776064 874427 33554432000 4194304 4196468 140724805346032 140221311867760 140222201907842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=823] ppid=804 vsize=28768336 memory=3497708 CPUtime=0.9 cores=0-7
/proc/806/task/823/stat : 823 (java) S 804 804 27783 0 -1 1077944384 8532 0 0 0 88 2 0 0 20 0 28 0 446902041 29458776064 874427 33554432000 4194304 4196468 140724805346032 140221310814960 140222201907842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=824] ppid=804 vsize=28768336 memory=1448 CPUtime=0 cores=0-7
/proc/806/task/824/stat : 824 (java) S 804 804 27783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446902041 29458776064 874427 33554432000 4194304 4196468 140724805346032 140221309761888 140222201906901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=825] ppid=804 vsize=28768336 memory=3497708 CPUtime=0.08 cores=0-7
/proc/806/task/825/stat : 825 (java) S 804 804 27783 0 -1 1077944384 1224 0 0 0 4 4 0 0 20 0 28 0 446902042 29458776064 874427 33554432000 4194304 4196468 140724805346032 140221308709168 140222201907842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=842] ppid=804 vsize=28768336 memory=2020 CPUtime=246.15 cores=0-7
/proc/806/task/842/stat : 842 (java) R 804 804 27783 0 -1 4202560 1076 0 0 0 24613 2 0 0 20 0 28 0 446902567 29458776064 874427 33554432000 4194304 4196468 140724805346032 140221295279000 140221848513967 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=843] ppid=804 vsize=28768336 memory=988 CPUtime=245.18 cores=0-7
/proc/806/task/843/stat : 843 (java) R 804 804 27783 0 -1 4202560 1348 0 0 0 24517 1 0 0 20 0 28 0 446902567 29458776064 874427 33554432000 4194304 4196468 140724805346032 140221292122168 140221847368100 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=844] ppid=804 vsize=28768336 memory=1368 CPUtime=245.92 cores=0-7
/proc/806/task/844/stat : 844 (java) R 804 804 27783 0 -1 4202560 1009 0 0 0 24590 2 0 0 20 0 28 0 446902567 29458776064 874427 33554432000 4194304 4196468 140724805346032 140221296333736 140221847380888 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=845] ppid=804 vsize=28768336 memory=1660 CPUtime=244.84 cores=0-7
/proc/806/task/845/stat : 845 (java) R 804 804 27783 0 -1 4202560 14499 0 0 0 24402 82 0 0 20 0 28 0 446902567 29458776064 874427 33554432000 4194304 4196468 140724805346032 140221299490952 140221848513935 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=846] ppid=804 vsize=28768336 memory=111632 CPUtime=245.79 cores=0-7
/proc/806/task/846/stat : 846 (java) R 804 804 27783 0 -1 4202560 1002 0 0 0 24577 2 0 0 20 0 28 0 446902567 29458776064 874427 33554432000 4194304 4196468 140724805346032 140221294227792 140221846872946 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=847] ppid=804 vsize=28768336 memory=796 CPUtime=245.37 cores=0-7
/proc/806/task/847/stat : 847 (java) R 804 804 27783 0 -1 4202560 2562 0 0 0 24532 5 0 0 20 0 28 0 446902567 29458776064 874427 33554432000 4194304 4196468 140724805346032 140221298438376 140221846946540 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=848] ppid=804 vsize=28768336 memory=1228 CPUtime=243.32 cores=0-7
/proc/806/task/848/stat : 848 (java) R 804 804 27783 0 -1 4202560 1995 0 0 0 24329 3 0 0 20 0 28 0 446902567 29458776064 874427 33554432000 4194304 4196468 140724805346032 140221293174648 140221842280246 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=849] ppid=804 vsize=28768336 memory=14008 CPUtime=245.9 cores=0-7
/proc/806/task/849/stat : 849 (java) R 804 804 27783 0 -1 4202560 9087 0 0 0 24573 17 0 0 20 0 28 0 446902569 29458776064 874427 33554432000 4194304 4196468 140724805346032 140221297385160 140221847380894 0 4 0 16800975 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
Current children cumulated CPU time: 1984.07 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 3499156 KiB

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

[startup+252.036 s]
# the end of solver process 804 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0 s, system=0.002428 s

[startup+252.113 s]
# the end of solver process 806 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1982.34 s, system=2.43466 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

[startup+252.002 s]
/proc/loadavg: 8.54 8.13 8.11 9/219 865
/proc/meminfo: memFree=26861828/32770624 swapFree=66917056/67108860
[pid=804] ppid=801 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/804/stat : 804 (xcsp3-exec) S 801 804 27783 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446902035 115843072 362 33554432000 4194304 5098028 140733277209456 140733277207560 140718607762044 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15302656 140733277217661 140733277217902 140733277217902 140733277220810 0
/proc/804/statm: 28282 362 304 221 0 87 0
[pid=806] ppid=804 vsize=28768336 memory=3497708 CPUtime=1984.07 cores=0-7
/proc/806/stat : 806 (java) S 804 804 27783 0 -1 1077944320 94342 0 0 0 198167 240 0 0 20 0 28 0 446902036 29458776064 874427 33554432000 4194304 4196468 140724805346032 140724805328576 140222201896695 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
/proc/806/statm: 7192084 874427 3541 1 0 7153184 0
[pid=806/tid=807] ppid=804 vsize=28768336 memory=3497708 CPUtime=4.61 cores=0-7
/proc/806/task/807/stat : 807 (java) S 804 804 27783 0 -1 1077944384 10103 0 0 0 444 17 0 0 20 0 28 0 446902036 29458776064 874427 33554432000 4194304 4196468 140724805346032 140222206137472 140222201906901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=808] ppid=804 vsize=28768336 memory=3497708 CPUtime=0.31 cores=0-7
/proc/806/task/808/stat : 808 (java) S 804 804 27783 0 -1 1077944384 486 0 0 0 19 12 0 0 20 0 28 0 446902037 29458776064 874427 33554432000 4194304 4196468 140724805346032 140222160656784 140222201906901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=809] ppid=804 vsize=28768336 memory=3497708 CPUtime=0.32 cores=0-7
/proc/806/task/809/stat : 809 (java) S 804 804 27783 0 -1 1077944384 556 0 0 0 20 12 0 0 20 0 28 0 446902037 29458776064 874427 33554432000 4194304 4196468 140724805346032 140221752551696 140222201906901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=810] ppid=804 vsize=28768336 memory=3497708 CPUtime=0.32 cores=0-7
/proc/806/task/810/stat : 810 (java) S 804 804 27783 0 -1 1077944384 940 0 0 0 20 12 0 0 20 0 28 0 446902037 29458776064 874427 33554432000 4194304 4196468 140724805346032 140221751499408 140222201906901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=811] ppid=804 vsize=28768336 memory=3497708 CPUtime=0.32 cores=0-7
/proc/806/task/811/stat : 811 (java) S 804 804 27783 0 -1 1077944384 1204 0 0 0 21 11 0 0 20 0 28 0 446902037 29458776064 874427 33554432000 4194304 4196468 140724805346032 140221750446608 140222201906901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=812] ppid=804 vsize=28768336 memory=3497708 CPUtime=0.3 cores=0-7
/proc/806/task/812/stat : 812 (java) S 804 804 27783 0 -1 1077944384 725 0 0 0 20 10 0 0 20 0 28 0 446902037 29458776064 874427 33554432000 4194304 4196468 140724805346032 140221749394320 140222201906901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=813] ppid=804 vsize=28768336 memory=1448 CPUtime=0.3 cores=0-7
/proc/806/task/813/stat : 813 (java) S 804 804 27783 0 -1 1077944384 749 0 0 0 20 10 0 0 20 0 28 0 446902037 29458776064 874427 33554432000 4194304 4196468 140724805346032 140221748341520 140222201906901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=814] ppid=804 vsize=28768336 memory=3512 CPUtime=0.29 cores=0-7
/proc/806/task/814/stat : 814 (java) S 804 804 27783 0 -1 1077944384 857 0 0 0 18 11 0 0 20 0 28 0 446902037 29458776064 874427 33554432000 4194304 4196468 140724805346032 140221747289232 140222201906901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=815] ppid=804 vsize=28768336 memory=3497708 CPUtime=0.31 cores=0-7
/proc/806/task/815/stat : 815 (java) S 804 804 27783 0 -1 1077944384 595 0 0 0 20 11 0 0 20 0 28 0 446902037 29458776064 874427 33554432000 4194304 4196468 140724805346032 140221746236432 140222201906901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=816] ppid=804 vsize=28768336 memory=140515425883057 CPUtime=0.03 cores=0-7
/proc/806/task/816/stat : 816 (java) S 804 804 27783 0 -1 1077944384 3291 0 0 0 3 0 0 0 20 0 28 0 446902038 29458776064 874427 33554432000 4194304 4196468 140724805346032 140221318183024 140222201907842 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=817] ppid=804 vsize=28768336 memory=140559183133674 CPUtime=0 cores=0-7
/proc/806/task/817/stat : 817 (java) S 804 804 27783 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 446902039 29458776064 874427 33554432000 4194304 4196468 140724805346032 140221317129056 140222201906901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=818] ppid=804 vsize=28768336 memory=281030851434602 CPUtime=0 cores=0-7
/proc/806/task/818/stat : 818 (java) S 804 804 27783 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 446902039 29458776064 874427 33554432000 4194304 4196468 140724805346032 140221316076672 140222201906901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=819] ppid=804 vsize=28768336 memory=31 CPUtime=0 cores=0-7
/proc/806/task/819/stat : 819 (java) S 804 804 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446902041 29458776064 874427 33554432000 4194304 4196468 140724805346032 140221315024976 140222201915291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=820] ppid=804 vsize=28768336 memory=3 CPUtime=3.79 cores=0-7
/proc/806/task/820/stat : 820 (java) S 804 804 27783 0 -1 1077944384 8132 0 0 0 377 2 0 0 20 0 28 0 446902041 29458776064 874427 33554432000 4194304 4196468 140724805346032 140221313972848 140222201907842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=821] ppid=804 vsize=28768336 memory=1448 CPUtime=3.37 cores=0-7
/proc/806/task/821/stat : 821 (java) S 804 804 27783 0 -1 1077944384 13887 0 0 0 334 3 0 0 20 0 28 0 446902041 29458776064 874427 33554432000 4194304 4196468 140724805346032 140221312920048 140222201907842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=822] ppid=804 vsize=28768336 memory=3497708 CPUtime=3.86 cores=0-7
/proc/806/task/822/stat : 822 (java) S 804 804 27783 0 -1 1077944384 8620 0 0 0 384 2 0 0 20 0 28 0 446902041 29458776064 874427 33554432000 4194304 4196468 140724805346032 140221311867760 140222201907842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=823] ppid=804 vsize=28768336 memory=3497708 CPUtime=0.9 cores=0-7
/proc/806/task/823/stat : 823 (java) S 804 804 27783 0 -1 1077944384 8532 0 0 0 88 2 0 0 20 0 28 0 446902041 29458776064 874427 33554432000 4194304 4196468 140724805346032 140221310814960 140222201907842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=824] ppid=804 vsize=28768336 memory=1448 CPUtime=0 cores=0-7
/proc/806/task/824/stat : 824 (java) S 804 804 27783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446902041 29458776064 874427 33554432000 4194304 4196468 140724805346032 140221309761888 140222201906901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=825] ppid=804 vsize=28768336 memory=3497708 CPUtime=0.08 cores=0-7
/proc/806/task/825/stat : 825 (java) S 804 804 27783 0 -1 1077944384 1224 0 0 0 4 4 0 0 20 0 28 0 446902042 29458776064 874427 33554432000 4194304 4196468 140724805346032 140221308709168 140222201907842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=842] ppid=804 vsize=28768336 memory=2020 CPUtime=246.15 cores=0-7
/proc/806/task/842/stat : 842 (java) R 804 804 27783 0 -1 4202560 1076 0 0 0 24613 2 0 0 20 0 28 0 446902567 29458776064 874427 33554432000 4194304 4196468 140724805346032 140221295279000 140221848513967 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=843] ppid=804 vsize=28768336 memory=988 CPUtime=245.18 cores=0-7
/proc/806/task/843/stat : 843 (java) R 804 804 27783 0 -1 4202560 1348 0 0 0 24517 1 0 0 20 0 28 0 446902567 29458776064 874427 33554432000 4194304 4196468 140724805346032 140221292122168 140221847368100 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=844] ppid=804 vsize=28768336 memory=1368 CPUtime=245.92 cores=0-7
/proc/806/task/844/stat : 844 (java) R 804 804 27783 0 -1 4202560 1009 0 0 0 24590 2 0 0 20 0 28 0 446902567 29458776064 874427 33554432000 4194304 4196468 140724805346032 140221296333736 140221847380888 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=845] ppid=804 vsize=28768336 memory=1660 CPUtime=244.84 cores=0-7
/proc/806/task/845/stat : 845 (java) R 804 804 27783 0 -1 4202560 14499 0 0 0 24402 82 0 0 20 0 28 0 446902567 29458776064 874427 33554432000 4194304 4196468 140724805346032 140221299490952 140221848513935 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=846] ppid=804 vsize=28768336 memory=111632 CPUtime=245.79 cores=0-7
/proc/806/task/846/stat : 846 (java) R 804 804 27783 0 -1 4202560 1002 0 0 0 24577 2 0 0 20 0 28 0 446902567 29458776064 874427 33554432000 4194304 4196468 140724805346032 140221294227792 140221846872946 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=847] ppid=804 vsize=28768336 memory=796 CPUtime=245.37 cores=0-7
/proc/806/task/847/stat : 847 (java) R 804 804 27783 0 -1 4202560 2562 0 0 0 24532 5 0 0 20 0 28 0 446902567 29458776064 874427 33554432000 4194304 4196468 140724805346032 140221298438376 140221846946540 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=848] ppid=804 vsize=28768336 memory=1228 CPUtime=243.32 cores=0-7
/proc/806/task/848/stat : 848 (java) R 804 804 27783 0 -1 4202560 1995 0 0 0 24329 3 0 0 20 0 28 0 446902567 29458776064 874427 33554432000 4194304 4196468 140724805346032 140221293174648 140221842280246 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
[pid=806/tid=849] ppid=804 vsize=28768336 memory=14008 CPUtime=245.9 cores=0-7
/proc/806/task/849/stat : 849 (java) R 804 804 27783 0 -1 4202560 9087 0 0 0 24573 17 0 0 20 0 28 0 446902569 29458776064 874427 33554432000 4194304 4196468 140724805346032 140221297385160 140221847380894 0 4 0 16800975 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 26394624 140724805350384 140724805350555 140724805350555 140724805353423 0
Current children cumulated CPU time: 1984.07 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 3499156 KiB

Child status: 143
Real time (s): 252.113
CPU time (s): 1984.77
CPU user time (s): 1982.34
CPU system time (s): 2.43466
CPU usage (%): 787.256
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 3499156

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1982.34
system time used= 2.43466
maximum resident set size= 3498336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95216
page faults= 0
swaps= 0
block input operations= 0
block output operations= 424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11181
involuntary context switches= 22453


# summary of solver processes directly reported to runsolver:
#   pid: 804,806
#   total CPU time (s): 1984.77
#   total CPU user time (s): 1982.34
#   total CPU system time (s): 2.43466

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.26248 second user time and 2.95888 second system time

The end

Launcher Data 

Begin job on node147 at 2019-09-17 10:43:59
IDJOB=4400266
IDBENCH=120595
IDSOLVER=2855
FILE ID=node147/4400266-1568709882
RUNJOBID= node147-1568700717-27810
PBS_JOBID= 21703903
Free space on /tmp= 58880 MiB

SOLVER NAME= choco-solver 2019-09-16 parallel
BENCH NAME= XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-school1.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4400266-1568709882/watcher-4400266-1568709882 -o /tmp/evaluation-result-4400266-1568709882/solver-4400266-1568709882 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node147-1568700717-27810 --watchdog 312  xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 21221108 HOME/instance-4400266-1568709882.xml

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

MD5SUM BENCH= 9dec5151d217f705456bb861c341cf0d
RANDOM SEED=21221108

node147.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.52
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.52
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.52
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.52
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:        30351744 kB
MemAvailable:   31804924 kB
Buffers:          113876 kB
Cached:          1631068 kB
SwapCached:        87660 kB
Active:           939404 kB
Inactive:         896676 kB
Active(anon):       6700 kB
Inactive(anon):   133772 kB
Active(file):     932704 kB
Inactive(file):   762904 kB
Unevictable:      108644 kB
Mlocked:          108644 kB
SwapTotal:      67108860 kB
SwapFree:       66917056 kB
Dirty:             27056 kB
Writeback:             0 kB
AnonPages:        118616 kB
Mapped:            48868 kB
Shmem:             40920 kB
Slab:             176204 kB
SReclaimable:     146816 kB
SUnreclaim:        29388 kB
KernelStack:        3744 kB
PageTables:         5648 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     506728 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     73728 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 58856 MiB
End job on node147 at 2019-09-17 10:48:11