Trace number 4406691

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
choco-solver 2019-09-24 parallelSAT 892.335 113.083

General information on the benchmark

NamePseudoBoolean/PseudoBoolean-dec-armies/
Pb-army11-17ls.xml
MD5SUM3a369118bc0c88105fbaeba7564c3313
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark18.4026
Satisfiable
(Un)Satisfiability was proved
Number of variables370
Number of constraints557
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":370}]
Minimum variable degree3
Maximum variable degree13
Distribution of variable degrees[{"degree":3,"count":8},{"degree":4,"count":8},{"degree":5,"count":8},{"degree":6,"count":8},{"degree":7,"count":250},{"degree":8,"count":8},{"degree":9,"count":8},{"degree":10,"count":8},{"degree":11,"count":8},{"degree":12,"count":8},{"degree":13,"count":48}]
Minimum constraint arity2
Maximum constraint arity121
Distribution of constraint arities[{"arity":2,"count":193},{"arity":3,"count":8},{"arity":4,"count":8},{"arity":5,"count":250},{"arity":6,"count":8},{"arity":7,"count":8},{"arity":8,"count":8},{"arity":9,"count":8},{"arity":10,"count":8},{"arity":11,"count":8},{"arity":12,"count":48},{"arity":121,"count":2}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":557}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4406691-1569355194.xml"  -tl '20160s' -p 8
0.12/0.19	c Choco e747e1e
0.12/0.20	c [HOME/instance-4406691-1569355194.xml, -tl, 20160s, -p, 8]
0.34/0.24	c 8 solvers in parallel
0.34/0.31	c parse instance...
2.50/0.97	c solve instance...
891.94/113.06	s SATISFIABLE
891.94/113.06	v <instantiation>
891.94/113.06	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] </list>
891.94/113.06	v 	<values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 </values>
891.94/113.06	v </instantiation>

Verifier Data 

OK

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16375 MiB (15461 MiB free)
  memory of node 1: 16384 MiB (9225 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4406691-1569355194/watcher-4406691-1569355194 -o /tmp/evaluation-result-4406691-1569355194/solver-4406691-1569355194 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node116-1569350096-8372 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1573577184 HOME/instance-4406691-1569355194.xml 

running on 8 cores: 0-7

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


[startup+0.100135 s]*
/proc/loadavg: 8.06 8.35 8.32 2/211 9295
/proc/meminfo: memFree=25264512/32770688 swapFree=67001288/67108860
[pid=9274] ppid=9271 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/9274/stat : 9274 (xcsp3-exec) S 9271 9274 8345 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 511460964 115843072 363 33554432000 4194304 5098028 140721039786976 140721039785080 140386307039868 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 36524032 140721039790965 140721039791209 140721039791209 140721039794122 0
/proc/9274/statm: 28282 363 304 221 0 87 0
[pid=9276] ppid=9274 vsize=28227396 memory=29076 CPUtime=0.12 cores=0-7
/proc/9276/stat : 9276 (java) S 9274 9274 8345 0 -1 1077944320 5727 0 0 0 11 1 0 0 20 0 20 0 511460965 28904853504 7269 33554432000 4194304 4196468 140729075997696 140729075980240 140470124117751 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
/proc/9276/statm: 7056849 7269 3121 1 0 7019032 0
[pid=9276/tid=9277] ppid=9274 vsize=28227396 memory=1398722017469774279 CPUtime=0.09 cores=0-7
/proc/9276/task/9277/stat : 9277 (java) R 9274 9274 8345 0 -1 4202560 3644 0 0 0 8 1 0 0 20 0 20 0 511460965 28904853504 7269 33554432000 4194304 4196468 140729075997696 140470128352968 140470124129686 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9278] ppid=9274 vsize=28227396 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/9276/task/9278/stat : 9278 (java) S 9274 9274 8345 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511460966 28904853504 7269 33554432000 4194304 4196468 140729075997696 140470076738192 140470124127957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9279] ppid=9274 vsize=28227396 memory=140595083044480 CPUtime=0 cores=0-7
/proc/9276/task/9279/stat : 9279 (java) S 9274 9274 8345 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511460966 28904853504 7269 33554432000 4194304 4196468 140729075997696 140470075685392 140470124127957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9280] ppid=9274 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9276/task/9280/stat : 9280 (java) S 9274 9274 8345 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511460966 28904853504 7269 33554432000 4194304 4196468 140729075997696 140470074632592 140470124127957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9281] ppid=9274 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9276/task/9281/stat : 9281 (java) S 9274 9274 8345 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511460966 28904853504 7269 33554432000 4194304 4196468 140729075997696 140470073579792 140470124127957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9282] ppid=9274 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9276/task/9282/stat : 9282 (java) S 9274 9274 8345 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511460966 28904853504 7269 33554432000 4194304 4196468 140729075997696 140470072528016 140470124127957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9283] ppid=9274 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/9276/task/9283/stat : 9283 (java) S 9274 9274 8345 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511460966 28904853504 7269 33554432000 4194304 4196468 140729075997696 140470071475216 140470124127957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9284] ppid=9274 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9276/task/9284/stat : 9284 (java) S 9274 9274 8345 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511460966 28904853504 7269 33554432000 4194304 4196468 140729075997696 140470070422416 140470124127957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9285] ppid=9274 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9276/task/9285/stat : 9285 (java) S 9274 9274 8345 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511460966 28904853504 7269 33554432000 4194304 4196468 140729075997696 140470069369616 140470124127957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9286] ppid=9274 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9276/task/9286/stat : 9286 (java) S 9274 9274 8345 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511460968 28904853504 7269 33554432000 4194304 4196468 140729075997696 140468789569904 140470124128898 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9287] ppid=9274 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9276/task/9287/stat : 9287 (java) S 9274 9274 8345 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511460968 28904853504 7269 33554432000 4194304 4196468 140729075997696 140468788515872 140470124127957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9288] ppid=9274 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9276/task/9288/stat : 9288 (java) S 9274 9274 8345 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511460968 28904853504 7269 33554432000 4194304 4196468 140729075997696 140468787463024 140470124127957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9289] ppid=9274 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9276/task/9289/stat : 9289 (java) S 9274 9274 8345 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511460971 28904853504 7269 33554432000 4194304 4196468 140729075997696 140468786411344 140470124136347 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9290] ppid=9274 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9276/task/9290/stat : 9290 (java) S 9274 9274 8345 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 511460971 28904853504 7269 33554432000 4194304 4196468 140729075997696 140468717349744 140470124128898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9291] ppid=9274 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9276/task/9291/stat : 9291 (java) S 9274 9274 8345 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511460971 28904853504 7269 33554432000 4194304 4196468 140729075997696 140468716296944 140470124128898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9292] ppid=9274 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9276/task/9292/stat : 9292 (java) S 9274 9274 8345 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 511460971 28904853504 7269 33554432000 4194304 4196468 140729075997696 140468715244144 140470124128898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9293] ppid=9274 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/9276/task/9293/stat : 9293 (java) R 9274 9274 8345 0 -1 4202560 344 0 0 0 1 0 0 0 20 0 20 0 511460971 28904853504 7269 33554432000 4194304 4196468 140729075997696 140468714191344 140470103830895 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9294] ppid=9274 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9276/task/9294/stat : 9294 (java) S 9274 9274 8345 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511460971 28904853504 7269 33554432000 4194304 4196468 140729075997696 140468713138784 140470124127957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9295] ppid=9274 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/9276/task/9295/stat : 9295 (java) S 9274 9274 8345 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511460972 28904853504 7269 33554432000 4194304 4196468 140729075997696 140468712086064 140470124128898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30528 KiB

[startup+0.211534 s]*
/proc/loadavg: 8.06 8.35 8.32 3/211 9295
/proc/meminfo: memFree=25251768/32770688 swapFree=67001288/67108860
[pid=9274] ppid=9271 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/9274/stat : 9274 (xcsp3-exec) S 9271 9274 8345 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 511460964 115843072 363 33554432000 4194304 5098028 140721039786976 140721039785080 140386307039868 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 36524032 140721039790965 140721039791209 140721039791209 140721039794122 0
/proc/9274/statm: 28282 363 304 221 0 87 0
[pid=9276] ppid=9274 vsize=28227396 memory=40424 CPUtime=0.34 cores=0-7
/proc/9276/stat : 9276 (java) S 9274 9274 8345 0 -1 1077944320 9397 0 0 0 31 3 0 0 20 0 20 0 511460965 28904853504 10106 33554432000 4194304 4196468 140729075997696 140729075980240 140470124117751 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
/proc/9276/statm: 7056849 10106 3270 1 0 7019032 0
[pid=9276/tid=9277] ppid=9274 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/9276/task/9277/stat : 9277 (java) R 9274 9274 8345 0 -1 4202560 6573 0 0 0 18 2 0 0 20 0 20 0 511460965 28904853504 10171 33554432000 4194304 4196468 140729075997696 140470128351248 140470108198238 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9278] ppid=9274 vsize=28227396 memory=342 CPUtime=0 cores=0-7
/proc/9276/task/9278/stat : 9278 (java) S 9274 9274 8345 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511460966 28904853504 10171 33554432000 4194304 4196468 140729075997696 140470076738192 140470124127957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9279] ppid=9274 vsize=28227396 memory=140595083062416 CPUtime=0 cores=0-7
/proc/9276/task/9279/stat : 9279 (java) S 9274 9274 8345 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511460966 28904853504 10171 33554432000 4194304 4196468 140729075997696 140470075685392 140470124127957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9280] ppid=9274 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/9276/task/9280/stat : 9280 (java) S 9274 9274 8345 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511460966 28904853504 10171 33554432000 4194304 4196468 140729075997696 140470074632592 140470124127957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9281] ppid=9274 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9276/task/9281/stat : 9281 (java) S 9274 9274 8345 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511460966 28904853504 10171 33554432000 4194304 4196468 140729075997696 140470073579792 140470124127957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9282] ppid=9274 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9276/task/9282/stat : 9282 (java) S 9274 9274 8345 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511460966 28904853504 10171 33554432000 4194304 4196468 140729075997696 140470072528016 140470124127957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9283] ppid=9274 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/9276/task/9283/stat : 9283 (java) S 9274 9274 8345 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511460966 28904853504 10171 33554432000 4194304 4196468 140729075997696 140470071475216 140470124127957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9284] ppid=9274 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9276/task/9284/stat : 9284 (java) S 9274 9274 8345 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511460966 28904853504 10171 33554432000 4194304 4196468 140729075997696 140470070422416 140470124127957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9285] ppid=9274 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9276/task/9285/stat : 9285 (java) S 9274 9274 8345 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511460966 28904853504 10171 33554432000 4194304 4196468 140729075997696 140470069369616 140470124127957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9286] ppid=9274 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9276/task/9286/stat : 9286 (java) S 9274 9274 8345 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511460968 28904853504 10171 33554432000 4194304 4196468 140729075997696 140468789569904 140470124128898 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9287] ppid=9274 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9276/task/9287/stat : 9287 (java) S 9274 9274 8345 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511460968 28904853504 10171 33554432000 4194304 4196468 140729075997696 140468788515872 140470124127957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9288] ppid=9274 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9276/task/9288/stat : 9288 (java) S 9274 9274 8345 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511460968 28904853504 10171 33554432000 4194304 4196468 140729075997696 140468787463024 140470124127957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9289] ppid=9274 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9276/task/9289/stat : 9289 (java) S 9274 9274 8345 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511460971 28904853504 10171 33554432000 4194304 4196468 140729075997696 140468786411344 140470124136347 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9290] ppid=9274 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9276/task/9290/stat : 9290 (java) S 9274 9274 8345 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 20 0 511460971 28904853504 10171 33554432000 4194304 4196468 140729075997696 140468717349744 140470124128898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9291] ppid=9274 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/9276/task/9291/stat : 9291 (java) S 9274 9274 8345 0 -1 1077944384 275 0 0 0 2 0 0 0 20 0 20 0 511460971 28904853504 10171 33554432000 4194304 4196468 140729075997696 140468716296944 140470124128898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9292] ppid=9274 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/9276/task/9292/stat : 9292 (java) R 9274 9274 8345 0 -1 1077944384 187 0 0 0 1 0 0 0 20 0 20 0 511460971 28904853504 10171 33554432000 4194304 4196468 140729075997696 140468715244144 140470124128898 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9293] ppid=9274 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/9276/task/9293/stat : 9293 (java) R 9274 9274 8345 0 -1 4202560 743 0 0 0 7 0 0 0 20 0 20 0 511460971 28904853504 10171 33554432000 4194304 4196468 140729075997696 140468714190528 140470116354878 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9294] ppid=9274 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9276/task/9294/stat : 9294 (java) S 9274 9274 8345 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511460971 28904853504 10171 33554432000 4194304 4196468 140729075997696 140468713138784 140470124127957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9295] ppid=9274 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/9276/task/9295/stat : 9295 (java) S 9274 9274 8345 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511460972 28904853504 10171 33554432000 4194304 4196468 140729075997696 140468712086064 140470124128898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 41876 KiB

[startup+0.311393 s]*
/proc/loadavg: 8.06 8.35 8.32 2/211 9295
/proc/meminfo: memFree=25246544/32770688 swapFree=67001288/67108860
[pid=9274] ppid=9271 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/9274/stat : 9274 (xcsp3-exec) S 9271 9274 8345 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 511460964 115843072 363 33554432000 4194304 5098028 140721039786976 140721039785080 140386307039868 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 36524032 140721039790965 140721039791209 140721039791209 140721039794122 0
/proc/9274/statm: 28282 363 304 221 0 87 0
[pid=9276] ppid=9274 vsize=28231652 memory=46564 CPUtime=0.52 cores=0-7
/proc/9276/stat : 9276 (java) S 9274 9274 8345 0 -1 1077944320 10530 0 0 0 48 4 0 0 20 0 20 0 511460965 28909211648 11641 33554432000 4194304 4196468 140729075997696 140729075980240 140470124117751 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
/proc/9276/statm: 7057913 11641 3302 1 0 7019032 0
[pid=9276/tid=9277] ppid=9274 vsize=28231652 memory=1398722017469774279 CPUtime=0.3 cores=0-7
/proc/9276/task/9277/stat : 9277 (java) R 9274 9274 8345 0 -1 4202560 7573 0 0 0 27 3 0 0 20 0 20 0 511460965 28909211648 11641 33554432000 4194304 4196468 140729075997696 140470128338560 140470124129686 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9278] ppid=9274 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9276/task/9278/stat : 9278 (java) S 9274 9274 8345 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511460966 28909211648 11641 33554432000 4194304 4196468 140729075997696 140470076738192 140470124127957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9279] ppid=9274 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9276/task/9279/stat : 9279 (java) S 9274 9274 8345 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511460966 28909211648 11641 33554432000 4194304 4196468 140729075997696 140470075685392 140470124127957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9280] ppid=9274 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9276/task/9280/stat : 9280 (java) S 9274 9274 8345 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511460966 28909211648 11641 33554432000 4194304 4196468 140729075997696 140470074632592 140470124127957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9281] ppid=9274 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9276/task/9281/stat : 9281 (java) S 9274 9274 8345 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511460966 28909211648 11641 33554432000 4194304 4196468 140729075997696 140470073579792 140470124127957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9282] ppid=9274 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9276/task/9282/stat : 9282 (java) S 9274 9274 8345 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511460966 28909211648 11641 33554432000 4194304 4196468 140729075997696 140470072528016 140470124127957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9283] ppid=9274 vsize=28231652 memory=140594949221039 CPUtime=0 cores=0-7
/proc/9276/task/9283/stat : 9283 (java) S 9274 9274 8345 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511460966 28909211648 11641 33554432000 4194304 4196468 140729075997696 140470071475216 140470124127957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9284] ppid=9274 vsize=28231652 memory=140594949223344 CPUtime=0 cores=0-7
/proc/9276/task/9284/stat : 9284 (java) S 9274 9274 8345 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511460966 28909211648 11641 33554432000 4194304 4196468 140729075997696 140470070422416 140470124127957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9285] ppid=9274 vsize=28231652 memory=140594949225648 CPUtime=0 cores=0-7
/proc/9276/task/9285/stat : 9285 (java) S 9274 9274 8345 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511460966 28909211648 11641 33554432000 4194304 4196468 140729075997696 140470069369616 140470124127957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9286] ppid=9274 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9276/task/9286/stat : 9286 (java) S 9274 9274 8345 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511460968 28909211648 11641 33554432000 4194304 4196468 140729075997696 140468789569904 140470124128898 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9287] ppid=9274 vsize=28231652 memory=281189898465168 CPUtime=0 cores=0-7
/proc/9276/task/9287/stat : 9287 (java) S 9274 9274 8345 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511460968 28909211648 11641 33554432000 4194304 4196468 140729075997696 140468788515872 140470124127957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9288] ppid=9274 vsize=28231652 memory=281189898462864 CPUtime=0 cores=0-7
/proc/9276/task/9288/stat : 9288 (java) S 9274 9274 8345 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511460968 28909211648 11641 33554432000 4194304 4196468 140729075997696 140468787463024 140470124127957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9289] ppid=9274 vsize=28231652 memory=281189898469776 CPUtime=0 cores=0-7
/proc/9276/task/9289/stat : 9289 (java) S 9274 9274 8345 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511460971 28909211648 11641 33554432000 4194304 4196468 140729075997696 140468786411344 140470124136347 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9290] ppid=9274 vsize=28231652 memory=281189898411024 CPUtime=0.01 cores=0-7
/proc/9276/task/9290/stat : 9290 (java) S 9274 9274 8345 0 -1 1077944384 352 0 0 0 1 0 0 0 20 0 20 0 511460971 28909211648 11641 33554432000 4194304 4196468 140729075997696 140468717349744 140470124128898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9291] ppid=9274 vsize=28231652 memory=281189898483600 CPUtime=0.03 cores=0-7
/proc/9276/task/9291/stat : 9291 (java) S 9274 9274 8345 0 -1 1077944384 277 0 0 0 3 0 0 0 20 0 20 0 511460971 28909211648 11641 33554432000 4194304 4196468 140729075997696 140468716296944 140470124128898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9292] ppid=9274 vsize=28231652 memory=281189898490512 CPUtime=0.02 cores=0-7
/proc/9276/task/9292/stat : 9292 (java) S 9274 9274 8345 0 -1 1077944384 196 0 0 0 2 0 0 0 20 0 20 0 511460971 28909211648 11641 33554432000 4194304 4196468 140729075997696 140468715244144 140470124128898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9293] ppid=9274 vsize=28231652 memory=281189898488208 CPUtime=0.12 cores=0-7
/proc/9276/task/9293/stat : 9293 (java) S 9274 9274 8345 0 -1 1077944384 822 0 0 0 12 0 0 0 20 0 20 0 511460971 28909211648 11641 33554432000 4194304 4196468 140729075997696 140468714191344 140470124128898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9294] ppid=9274 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9276/task/9294/stat : 9294 (java) S 9274 9274 8345 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511460971 28909211648 11641 33554432000 4194304 4196468 140729075997696 140468713138784 140470124127957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9295] ppid=9274 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/9276/task/9295/stat : 9295 (java) S 9274 9274 8345 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511460972 28909211648 11641 33554432000 4194304 4196468 140729075997696 140468712086064 140470124128898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 48016 KiB

[startup+0.701023 s]
/proc/loadavg: 8.06 8.35 8.32 6/211 9295
/proc/meminfo: memFree=25234240/32770688 swapFree=67001288/67108860
[pid=9274] ppid=9271 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/9274/stat : 9274 (xcsp3-exec) S 9271 9274 8345 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 511460964 115843072 363 33554432000 4194304 5098028 140721039786976 140721039785080 140386307039868 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 36524032 140721039790965 140721039791209 140721039791209 140721039794122 0
/proc/9274/statm: 28282 363 304 221 0 87 0
[pid=9276] ppid=9274 vsize=28233776 memory=83896 CPUtime=1.63 cores=0-7
/proc/9276/stat : 9276 (java) S 9274 9274 8345 0 -1 1077944320 15200 0 0 0 157 6 0 0 20 0 20 0 511460965 28911386624 20974 33554432000 4194304 4196468 140729075997696 140729075980240 140470124117751 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
/proc/9276/statm: 7058444 20974 3454 1 0 7019544 0
[pid=9276/tid=9277] ppid=9274 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7
/proc/9276/task/9277/stat : 9277 (java) R 9274 9274 8345 0 -1 4202560 9170 0 0 0 63 4 0 0 20 0 20 0 511460965 28911386624 20974 33554432000 4194304 4196468 140729075997696 140470128356160 140469743844742 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9278] ppid=9274 vsize=28233776 memory=140594949432176 CPUtime=0 cores=0-7
/proc/9276/task/9278/stat : 9278 (java) S 9274 9274 8345 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511460966 28911386624 20974 33554432000 4194304 4196468 140729075997696 140470076738192 140470124127957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9279] ppid=9274 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/9276/task/9279/stat : 9279 (java) S 9274 9274 8345 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511460966 28911386624 20974 33554432000 4194304 4196468 140729075997696 140470075685392 140470124127957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9280] ppid=9274 vsize=28233776 memory=1564 CPUtime=0 cores=0-7
/proc/9276/task/9280/stat : 9280 (java) S 9274 9274 8345 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511460966 28911386624 20974 33554432000 4194304 4196468 140729075997696 140470074632592 140470124127957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0

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

[pid=9276/tid=9293] ppid=9274 vsize=28766288 memory=1564 CPUtime=0.72 cores=0-7
/proc/9276/task/9293/stat : 9293 (java) S 9274 9274 8345 0 -1 1077944384 5015 0 0 0 71 1 0 0 20 0 28 0 511460971 29456678912 136537 33554432000 4194304 4196468 140729075997696 140468714191344 140470124128898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9294] ppid=9274 vsize=28766288 memory=8392 CPUtime=0 cores=0-7
/proc/9276/task/9294/stat : 9294 (java) S 9274 9274 8345 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511460971 29456678912 136537 33554432000 4194304 4196468 140729075997696 140468713138784 140470124127957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9295] ppid=9274 vsize=28766288 memory=14008 CPUtime=0.03 cores=0-7
/proc/9276/task/9295/stat : 9295 (java) S 9274 9274 8345 0 -1 1077944384 936 0 0 0 3 0 0 0 20 0 28 0 511460972 29456678912 136537 33554432000 4194304 4196468 140729075997696 140468712086064 140470124128898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9296] ppid=9274 vsize=28766288 memory=32664 CPUtime=109.42 cores=0-7
/proc/9276/task/9296/stat : 9296 (java) R 9274 9274 8345 0 -1 4202560 2039 0 0 0 10941 1 0 0 20 0 28 0 511461063 29456678912 136537 33554432000 4194304 4196468 140729075997696 140468703104424 140469747232999 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9297] ppid=9274 vsize=28766288 memory=1452 CPUtime=109.74 cores=0-7
/proc/9276/task/9297/stat : 9297 (java) R 9274 9274 8345 0 -1 4202560 2442 0 0 0 10973 1 0 0 20 0 28 0 511461064 29456678912 136537 33554432000 4194304 4196468 140729075997696 140468702052552 140469747232359 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9298] ppid=9274 vsize=28766288 memory=334800 CPUtime=108.95 cores=0-7
/proc/9276/task/9298/stat : 9298 (java) R 9274 9274 8345 0 -1 4202560 4405 0 0 0 10891 4 0 0 20 0 28 0 511461064 29456678912 136537 33554432000 4194304 4196468 140729075997696 140468701001064 140469747142435 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9299] ppid=9274 vsize=28766288 memory=916 CPUtime=109.22 cores=0-7
/proc/9276/task/9299/stat : 9299 (java) R 9274 9274 8345 0 -1 4202560 21960 0 0 0 10916 6 0 0 20 0 28 0 511461064 29456678912 136537 33554432000 4194304 4196468 140729075997696 140468699950352 140470110185876 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9300] ppid=9274 vsize=28766288 memory=4392 CPUtime=109.54 cores=0-7
/proc/9276/task/9300/stat : 9300 (java) R 9274 9274 8345 0 -1 4202560 6154 0 0 0 10953 1 0 0 20 0 28 0 511461064 29456678912 136537 33554432000 4194304 4196468 140729075997696 140468698895232 140469747233174 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9301] ppid=9274 vsize=28766288 memory=8112282956445269571 CPUtime=109.87 cores=0-7
/proc/9276/task/9301/stat : 9301 (java) R 9274 9274 8345 0 -1 4202560 2227 0 0 0 10985 2 0 0 20 0 28 0 511461064 29456678912 136537 33554432000 4194304 4196468 140729075997696 140468697842432 140469747301470 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9302] ppid=9274 vsize=28766288 memory=1452 CPUtime=109.04 cores=0-7
/proc/9276/task/9302/stat : 9302 (java) R 9274 9274 8345 0 -1 4202560 12313 0 0 0 10902 2 0 0 20 0 28 0 511461064 29456678912 136537 33554432000 4194304 4196468 140729075997696 140468696789112 140469746632142 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9303] ppid=9274 vsize=28766288 memory=8112282956445269571 CPUtime=109.42 cores=0-7
/proc/9276/task/9303/stat : 9303 (java) R 9274 9274 8345 0 -1 4202560 12649 0 0 0 10939 3 0 0 20 0 28 0 511461064 29456678912 136537 33554432000 4194304 4196468 140729075997696 140468695736320 140470110185876 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
Current children cumulated CPU time: 883.98 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 547600 KiB

[startup+112.802 s]
/proc/loadavg: 8.11 8.28 8.30 9/221 9339
/proc/meminfo: memFree=24745280/32770688 swapFree=67001288/67108860
[pid=9274] ppid=9271 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/9274/stat : 9274 (xcsp3-exec) S 9271 9274 8345 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 511460964 115843072 363 33554432000 4194304 5098028 140721039786976 140721039785080 140386307039868 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 36524032 140721039790965 140721039791209 140721039791209 140721039794122 0
/proc/9274/statm: 28282 363 304 221 0 87 0
[pid=9276] ppid=9274 vsize=28766288 memory=558492 CPUtime=890.28 cores=0-7
/proc/9276/stat : 9276 (java) S 9274 9274 8345 0 -1 1077944320 114929 0 0 0 88947 81 0 0 20 0 28 0 511460965 29456678912 139623 33554432000 4194304 4196468 140729075997696 140729075980240 140470124117751 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
/proc/9276/statm: 7191572 139623 3517 1 0 7152672 0
[pid=9276/tid=9277] ppid=9274 vsize=28766288 memory=1452 CPUtime=0.96 cores=0-7
/proc/9276/task/9277/stat : 9277 (java) S 9274 9274 8345 0 -1 1077944384 9264 0 0 0 91 5 0 0 20 0 28 0 511460965 29456678912 139623 33554432000 4194304 4196468 140729075997696 140470128358528 140470124127957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9278] ppid=9274 vsize=28766288 memory=538920 CPUtime=0.43 cores=0-7
/proc/9276/task/9278/stat : 9278 (java) S 9274 9274 8345 0 -1 1077944384 1624 0 0 0 38 5 0 0 20 0 28 0 511460966 29456678912 139623 33554432000 4194304 4196468 140729075997696 140470076738192 140470124127957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9279] ppid=9274 vsize=28766288 memory=772 CPUtime=0.45 cores=0-7
/proc/9276/task/9279/stat : 9279 (java) S 9274 9274 8345 0 -1 1077944384 2168 0 0 0 40 5 0 0 20 0 28 0 511460966 29456678912 139623 33554432000 4194304 4196468 140729075997696 140470075685392 140470124127957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9280] ppid=9274 vsize=28766288 memory=8112282956445269571 CPUtime=0.46 cores=0-7
/proc/9276/task/9280/stat : 9280 (java) S 9274 9274 8345 0 -1 1077944384 2327 0 0 0 42 4 0 0 20 0 28 0 511460966 29456678912 139623 33554432000 4194304 4196468 140729075997696 140470074632592 140470124127957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9281] ppid=9274 vsize=28766288 memory=1984 CPUtime=0.43 cores=0-7
/proc/9276/task/9281/stat : 9281 (java) S 9274 9274 8345 0 -1 1077944384 2046 0 0 0 38 5 0 0 20 0 28 0 511460966 29456678912 139623 33554432000 4194304 4196468 140729075997696 140470073579792 140470124127957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9282] ppid=9274 vsize=28766288 memory=2524 CPUtime=0.42 cores=0-7
/proc/9276/task/9282/stat : 9282 (java) S 9274 9274 8345 0 -1 1077944384 2852 0 0 0 37 5 0 0 20 0 28 0 511460966 29456678912 139623 33554432000 4194304 4196468 140729075997696 140470072528016 140470124127957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9283] ppid=9274 vsize=28766288 memory=1760 CPUtime=0.42 cores=0-7
/proc/9276/task/9283/stat : 9283 (java) S 9274 9274 8345 0 -1 1077944384 2447 0 0 0 37 5 0 0 20 0 28 0 511460966 29456678912 139623 33554432000 4194304 4196468 140729075997696 140470071475216 140470124127957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9284] ppid=9274 vsize=28766288 memory=780 CPUtime=0.46 cores=0-7
/proc/9276/task/9284/stat : 9284 (java) S 9274 9274 8345 0 -1 1077944384 2562 0 0 0 41 5 0 0 20 0 28 0 511460966 29456678912 139623 33554432000 4194304 4196468 140729075997696 140470070422416 140470124127957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9285] ppid=9274 vsize=28766288 memory=1444 CPUtime=0.44 cores=0-7
/proc/9276/task/9285/stat : 9285 (java) S 9274 9274 8345 0 -1 1077944384 2172 0 0 0 39 5 0 0 20 0 28 0 511460966 29456678912 139623 33554432000 4194304 4196468 140729075997696 140470069369616 140470124127957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9286] ppid=9274 vsize=28766288 memory=1984 CPUtime=0.21 cores=0-7
/proc/9276/task/9286/stat : 9286 (java) S 9274 9274 8345 0 -1 1077944384 5332 0 0 0 16 5 0 0 20 0 28 0 511460968 29456678912 139623 33554432000 4194304 4196468 140729075997696 140468789569904 140470124128898 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9287] ppid=9274 vsize=28766288 memory=2524 CPUtime=0 cores=0-7
/proc/9276/task/9287/stat : 9287 (java) S 9274 9274 8345 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 28 0 511460968 29456678912 139623 33554432000 4194304 4196468 140729075997696 140468788515936 140470124127957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9288] ppid=9274 vsize=28766288 memory=1760 CPUtime=0 cores=0-7
/proc/9276/task/9288/stat : 9288 (java) S 9274 9274 8345 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 28 0 511460968 29456678912 139623 33554432000 4194304 4196468 140729075997696 140468787463040 140470124127957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9289] ppid=9274 vsize=28766288 memory=111636 CPUtime=0 cores=0-7
/proc/9276/task/9289/stat : 9289 (java) S 9274 9274 8345 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511460971 29456678912 139623 33554432000 4194304 4196468 140729075997696 140468786411344 140470124136347 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9290] ppid=9274 vsize=28766288 memory=800 CPUtime=1.03 cores=0-7
/proc/9276/task/9290/stat : 9290 (java) S 9274 9274 8345 0 -1 1077944384 4074 0 0 0 103 0 0 0 20 0 28 0 511460971 29456678912 139623 33554432000 4194304 4196468 140729075997696 140468717349744 140470124128898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9291] ppid=9274 vsize=28766288 memory=1804 CPUtime=1.15 cores=0-7
/proc/9276/task/9291/stat : 9291 (java) S 9274 9274 8345 0 -1 1077944384 3253 0 0 0 115 0 0 0 20 0 28 0 511460971 29456678912 139623 33554432000 4194304 4196468 140729075997696 140468716296944 140470124128898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9292] ppid=9274 vsize=28766288 memory=916 CPUtime=1.04 cores=0-7
/proc/9276/task/9292/stat : 9292 (java) S 9274 9274 8345 0 -1 1077944384 2997 0 0 0 104 0 0 0 20 0 28 0 511460971 29456678912 139623 33554432000 4194304 4196468 140729075997696 140468715244144 140470124128898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9293] ppid=9274 vsize=28766288 memory=4392 CPUtime=0.72 cores=0-7
/proc/9276/task/9293/stat : 9293 (java) S 9274 9274 8345 0 -1 1077944384 5015 0 0 0 71 1 0 0 20 0 28 0 511460971 29456678912 139623 33554432000 4194304 4196468 140729075997696 140468714191344 140470124128898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9294] ppid=9274 vsize=28766288 memory=1452 CPUtime=0 cores=0-7
/proc/9276/task/9294/stat : 9294 (java) S 9274 9274 8345 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511460971 29456678912 139623 33554432000 4194304 4196468 140729075997696 140468713138784 140470124127957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9295] ppid=9274 vsize=28766288 memory=552432 CPUtime=0.03 cores=0-7
/proc/9276/task/9295/stat : 9295 (java) S 9274 9274 8345 0 -1 1077944384 938 0 0 0 3 0 0 0 20 0 28 0 511460972 29456678912 139623 33554432000 4194304 4196468 140729075997696 140468712086064 140470124128898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9296] ppid=9274 vsize=28766288 memory=458996 CPUtime=110.19 cores=0-7
/proc/9276/task/9296/stat : 9296 (java) R 9274 9274 8345 0 -1 4202560 2065 0 0 0 11018 1 0 0 20 0 28 0 511461063 29456678912 139623 33554432000 4194304 4196468 140729075997696 140468703107792 140469747232255 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9297] ppid=9274 vsize=28766288 memory=4104 CPUtime=110.51 cores=0-7
/proc/9276/task/9297/stat : 9297 (java) R 9274 9274 8345 0 -1 4202560 2480 0 0 0 11050 1 0 0 20 0 28 0 511461064 29456678912 139623 33554432000 4194304 4196468 140729075997696 140468702056504 140469747142231 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9298] ppid=9274 vsize=28766288 memory=1412 CPUtime=109.72 cores=0-7
/proc/9276/task/9298/stat : 9298 (java) R 9274 9274 8345 0 -1 4202560 4444 0 0 0 10968 4 0 0 20 0 28 0 511461064 29456678912 139623 33554432000 4194304 4196468 140729075997696 140468701004240 140469747142280 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9299] ppid=9274 vsize=28766288 memory=3444 CPUtime=109.98 cores=0-7
/proc/9276/task/9299/stat : 9299 (java) R 9274 9274 8345 0 -1 4202560 22032 0 0 0 10992 6 0 0 20 0 28 0 511461064 29456678912 139623 33554432000 4194304 4196468 140729075997696 140468699951928 140469748444956 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9300] ppid=9274 vsize=28766288 memory=62708 CPUtime=110.32 cores=0-7
/proc/9276/task/9300/stat : 9300 (java) R 9274 9274 8345 0 -1 4202560 6191 0 0 0 11031 1 0 0 20 0 28 0 511461064 29456678912 139623 33554432000 4194304 4196468 140729075997696 140468698894464 140469746632300 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9301] ppid=9274 vsize=28766288 memory=984 CPUtime=110.65 cores=0-7
/proc/9276/task/9301/stat : 9301 (java) R 9274 9274 8345 0 -1 4202560 2261 0 0 0 11063 2 0 0 20 0 28 0 511461064 29456678912 139623 33554432000 4194304 4196468 140729075997696 140468697845760 140469747232871 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9302] ppid=9274 vsize=28766288 memory=2044 CPUtime=109.82 cores=0-7
/proc/9276/task/9302/stat : 9302 (java) R 9274 9274 8345 0 -1 4202560 12331 0 0 0 10980 2 0 0 20 0 28 0 511461064 29456678912 139623 33554432000 4194304 4196468 140729075997696 140468696789120 140469748446025 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9303] ppid=9274 vsize=28766288 memory=1368 CPUtime=110.2 cores=0-7
/proc/9276/task/9303/stat : 9303 (java) R 9274 9274 8345 0 -1 4202560 12697 0 0 0 11017 3 0 0 20 0 28 0 511461064 29456678912 139623 33554432000 4194304 4196468 140729075997696 140468695736336 140469748014707 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
Current children cumulated CPU time: 890.28 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 559944 KiB

[startup+113.002 s]*
/proc/loadavg: 8.11 8.28 8.30 9/221 9339
/proc/meminfo: memFree=24733376/32770688 swapFree=67001288/67108860
[pid=9274] ppid=9271 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/9274/stat : 9274 (xcsp3-exec) S 9271 9274 8345 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 511460964 115843072 363 33554432000 4194304 5098028 140721039786976 140721039785080 140386307039868 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 36524032 140721039790965 140721039791209 140721039791209 140721039794122 0
/proc/9274/statm: 28282 363 304 221 0 87 0
[pid=9276] ppid=9274 vsize=28766288 memory=558492 CPUtime=891.94 cores=0-7
/proc/9276/stat : 9276 (java) S 9274 9274 8345 0 -1 1077944320 114943 0 0 0 89113 81 0 0 20 0 28 0 511460965 29456678912 139623 33554432000 4194304 4196468 140729075997696 140729075980240 140470124117751 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
/proc/9276/statm: 7191572 139623 3517 1 0 7152672 0
[pid=9276/tid=9277] ppid=9274 vsize=28766288 memory=1398722017469774279 CPUtime=0.96 cores=0-7
/proc/9276/task/9277/stat : 9277 (java) S 9274 9274 8345 0 -1 1077944384 9264 0 0 0 91 5 0 0 20 0 28 0 511460965 29456678912 139623 33554432000 4194304 4196468 140729075997696 140470128358528 140470124127957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9278] ppid=9274 vsize=28766288 memory=4126316290023845779 CPUtime=0.43 cores=0-7
/proc/9276/task/9278/stat : 9278 (java) S 9274 9274 8345 0 -1 1077944384 1624 0 0 0 38 5 0 0 20 0 28 0 511460966 29456678912 139623 33554432000 4194304 4196468 140729075997696 140470076738192 140470124127957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9279] ppid=9274 vsize=28766288 memory=1368 CPUtime=0.45 cores=0-7
/proc/9276/task/9279/stat : 9279 (java) S 9274 9274 8345 0 -1 1077944384 2168 0 0 0 40 5 0 0 20 0 28 0 511460966 29456678912 139623 33554432000 4194304 4196468 140729075997696 140470075685392 140470124127957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9280] ppid=9274 vsize=28766288 memory=288230574492221466 CPUtime=0.46 cores=0-7
/proc/9276/task/9280/stat : 9280 (java) S 9274 9274 8345 0 -1 1077944384 2327 0 0 0 42 4 0 0 20 0 28 0 511460966 29456678912 139623 33554432000 4194304 4196468 140729075997696 140470074632592 140470124127957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9281] ppid=9274 vsize=28766288 memory=288230596050944315 CPUtime=0.43 cores=0-7
/proc/9276/task/9281/stat : 9281 (java) S 9274 9274 8345 0 -1 1077944384 2046 0 0 0 38 5 0 0 20 0 28 0 511460966 29456678912 139623 33554432000 4194304 4196468 140729075997696 140470073579792 140470124127957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9282] ppid=9274 vsize=28766288 memory=0 CPUtime=0.42 cores=0-7
/proc/9276/task/9282/stat : 9282 (java) S 9274 9274 8345 0 -1 1077944384 2852 0 0 0 37 5 0 0 20 0 28 0 511460966 29456678912 139623 33554432000 4194304 4196468 140729075997696 140470072528016 140470124127957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9283] ppid=9274 vsize=28766288 memory=0 CPUtime=0.42 cores=0-7
/proc/9276/task/9283/stat : 9283 (java) S 9274 9274 8345 0 -1 1077944384 2447 0 0 0 37 5 0 0 20 0 28 0 511460966 29456678912 139623 33554432000 4194304 4196468 140729075997696 140470071475216 140470124127957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9284] ppid=9274 vsize=28766288 memory=0 CPUtime=0.46 cores=0-7
/proc/9276/task/9284/stat : 9284 (java) S 9274 9274 8345 0 -1 1077944384 2562 0 0 0 41 5 0 0 20 0 28 0 511460966 29456678912 139623 33554432000 4194304 4196468 140729075997696 140470070422416 140470124127957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9285] ppid=9274 vsize=28766288 memory=0 CPUtime=0.44 cores=0-7
/proc/9276/task/9285/stat : 9285 (java) S 9274 9274 8345 0 -1 1077944384 2172 0 0 0 39 5 0 0 20 0 28 0 511460966 29456678912 139623 33554432000 4194304 4196468 140729075997696 140470069369616 140470124127957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9286] ppid=9274 vsize=28766288 memory=1556 CPUtime=0.21 cores=0-7
/proc/9276/task/9286/stat : 9286 (java) S 9274 9274 8345 0 -1 1077944384 5332 0 0 0 16 5 0 0 20 0 28 0 511460968 29456678912 139623 33554432000 4194304 4196468 140729075997696 140468789569904 140470124128898 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9287] ppid=9274 vsize=28766288 memory=928 CPUtime=0 cores=0-7
/proc/9276/task/9287/stat : 9287 (java) S 9274 9274 8345 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 28 0 511460968 29456678912 139623 33554432000 4194304 4196468 140729075997696 140468788515936 140470124127957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9288] ppid=9274 vsize=28766288 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/9276/task/9288/stat : 9288 (java) S 9274 9274 8345 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 28 0 511460968 29456678912 139623 33554432000 4194304 4196468 140729075997696 140468787463040 140470124127957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9289] ppid=9274 vsize=28766288 memory=780 CPUtime=0 cores=0-7
/proc/9276/task/9289/stat : 9289 (java) S 9274 9274 8345 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511460971 29456678912 139623 33554432000 4194304 4196468 140729075997696 140468786411344 140470124136347 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9290] ppid=9274 vsize=28766288 memory=1444 CPUtime=1.03 cores=0-7
/proc/9276/task/9290/stat : 9290 (java) S 9274 9274 8345 0 -1 1077944384 4074 0 0 0 103 0 0 0 20 0 28 0 511460971 29456678912 139623 33554432000 4194304 4196468 140729075997696 140468717349744 140470124128898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9291] ppid=9274 vsize=28766288 memory=1984 CPUtime=1.15 cores=0-7
/proc/9276/task/9291/stat : 9291 (java) S 9274 9274 8345 0 -1 1077944384 3253 0 0 0 115 0 0 0 20 0 28 0 511460971 29456678912 139623 33554432000 4194304 4196468 140729075997696 140468716296944 140470124128898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9292] ppid=9274 vsize=28766288 memory=4126316290023845779 CPUtime=1.04 cores=0-7
/proc/9276/task/9292/stat : 9292 (java) S 9274 9274 8345 0 -1 1077944384 2997 0 0 0 104 0 0 0 20 0 28 0 511460971 29456678912 139623 33554432000 4194304 4196468 140729075997696 140468715244144 140470124128898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9293] ppid=9274 vsize=28766288 memory=1760 CPUtime=0.72 cores=0-7
/proc/9276/task/9293/stat : 9293 (java) S 9274 9274 8345 0 -1 1077944384 5015 0 0 0 71 1 0 0 20 0 28 0 511460971 29456678912 139623 33554432000 4194304 4196468 140729075997696 140468714191344 140470124128898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9294] ppid=9274 vsize=28766288 memory=303711698211307546 CPUtime=0 cores=0-7
/proc/9276/task/9294/stat : 9294 (java) S 9274 9274 8345 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511460971 29456678912 139623 33554432000 4194304 4196468 140729075997696 140468713138784 140470124127957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9295] ppid=9274 vsize=28766288 memory=3047711553320166262 CPUtime=0.03 cores=0-7
/proc/9276/task/9295/stat : 9295 (java) S 9274 9274 8345 0 -1 1077944384 938 0 0 0 3 0 0 0 20 0 28 0 511460972 29456678912 139623 33554432000 4194304 4196468 140729075997696 140468712086064 140470124128898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9296] ppid=9274 vsize=28766288 memory=7824336315716348491 CPUtime=110.4 cores=0-7
/proc/9276/task/9296/stat : 9296 (java) R 9274 9274 8345 0 -1 4202560 2066 0 0 0 11039 1 0 0 20 0 28 0 511461063 29456678912 139623 33554432000 4194304 4196468 140729075997696 140468703107696 140469747233400 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9297] ppid=9274 vsize=28766288 memory=7523659475872997713 CPUtime=110.73 cores=0-7
/proc/9276/task/9297/stat : 9297 (java) R 9274 9274 8345 0 -1 4202560 2484 0 0 0 11072 1 0 0 20 0 28 0 511461064 29456678912 139623 33554432000 4194304 4196468 140729075997696 140468702056504 140469747231309 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9298] ppid=9274 vsize=28766288 memory=7450473675564345454 CPUtime=109.93 cores=0-7
/proc/9276/task/9298/stat : 9298 (java) R 9274 9274 8345 0 -1 4202560 4447 0 0 0 10989 4 0 0 20 0 28 0 511461064 29456678912 139623 33554432000 4194304 4196468 140729075997696 140468701004336 140469747142118 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9299] ppid=9274 vsize=28766288 memory=7163367111979459690 CPUtime=110.18 cores=0-7
/proc/9276/task/9299/stat : 9299 (java) R 9274 9274 8345 0 -1 4202560 22033 0 0 0 11012 6 0 0 20 0 28 0 511461064 29456678912 139623 33554432000 4194304 4196468 140729075997696 140468699951928 140469748087226 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9300] ppid=9274 vsize=28766288 memory=5450909908396308010 CPUtime=110.53 cores=0-7
/proc/9276/task/9300/stat : 9300 (java) R 9274 9274 8345 0 -1 4202560 6193 0 0 0 11052 1 0 0 20 0 28 0 511461064 29456678912 139623 33554432000 4194304 4196468 140729075997696 140468698894464 140469747231067 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9301] ppid=9274 vsize=28766288 memory=7163084511605256035 CPUtime=110.86 cores=0-7
/proc/9276/task/9301/stat : 9301 (java) R 9274 9274 8345 0 -1 4202560 2263 0 0 0 11084 2 0 0 20 0 28 0 511461064 29456678912 139623 33554432000 4194304 4196468 140729075997696 140468697845760 140469748191069 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9302] ppid=9274 vsize=28766288 memory=7235423589192915056 CPUtime=110.03 cores=0-7
/proc/9276/task/9302/stat : 9302 (java) R 9274 9274 8345 0 -1 4202560 12332 0 0 0 11001 2 0 0 20 0 28 0 511461064 29456678912 139623 33554432000 4194304 4196468 140729075997696 140468696789120 140469748446040 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
[pid=9276/tid=9303] ppid=9274 vsize=28766288 memory=7091870243069579879 CPUtime=110.41 cores=0-7
/proc/9276/task/9303/stat : 9303 (java) R 9274 9274 8345 0 -1 4202560 12697 0 0 0 11038 3 0 0 20 0 28 0 511461064 29456678912 139623 33554432000 4194304 4196468 140729075997696 140468695736336 140469747158752 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 36405248 140729075999722 140729075999894 140729075999894 140729076002767 0
Current children cumulated CPU time: 891.94 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 559944 KiB

Child status: 0
Real time (s): 113.083
CPU time (s): 892.335
CPU user time (s): 891.509
CPU system time (s): 0.825889
CPU usage (%): 789.096
Max. virtual memory (cumulated for all children) (KiB): 28879416
Max. memory (cumulated for all children) (KiB): 559944

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 891.509
system time used= 0.825889
maximum resident set size= 559004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 117736
page faults= 0
swaps= 0
block input operations= 0
block output operations= 288
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19765
involuntary context switches= 11146


# summary of solver processes directly reported to runsolver:
#   pid: 9274
#   total CPU time (s): 892.335
#   total CPU user time (s): 891.509
#   total CPU system time (s): 0.825889

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.05836 second user time and 1.42012 second system time

The end

Launcher Data 

Begin job on node116 at 2019-09-24 21:59:12
IDJOB=4406691
IDBENCH=134844
IDSOLVER=2871
FILE ID=node116/4406691-1569355194
RUNJOBID= node116-1569350096-8372
PBS_JOBID= 21705093
Free space on /tmp= 6552 MiB

SOLVER NAME= choco-solver 2019-09-24 parallel
BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-dec-armies/Pb-army11-17ls.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-4406691-1569355194/watcher-4406691-1569355194 -o /tmp/evaluation-result-4406691-1569355194/solver-4406691-1569355194 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node116-1569350096-8372 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1573577184 HOME/instance-4406691-1569355194.xml

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

MD5SUM BENCH= 3a369118bc0c88105fbaeba7564c3313
RANDOM SEED=1573577184

node116.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		: 2667.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.12
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		: 2667.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.12
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		: 2667.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.12
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		: 2667.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.12
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		: 2667.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	: 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		: 2667.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	: 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		: 2667.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	: 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		: 2667.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:       32770688 kB
MemFree:        25278924 kB
MemAvailable:   31840100 kB
Buffers:          107616 kB
Cached:          6616572 kB
SwapCached:         3372 kB
Active:          3346388 kB
Inactive:        3384252 kB
Active(anon):       8668 kB
Inactive(anon):    54044 kB
Active(file):    3337720 kB
Inactive(file):  3330208 kB
Unevictable:      109496 kB
Mlocked:          109496 kB
SwapTotal:      67108860 kB
SwapFree:       67001288 kB
Dirty:             26208 kB
Writeback:             0 kB
AnonPages:        165780 kB
Mapped:            56628 kB
Shmem:             47784 kB
Slab:             350672 kB
SReclaimable:     321708 kB
SUnreclaim:        28964 kB
KernelStack:        3776 kB
PageTables:         6640 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494204 kB
Committed_AS:     514472 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350212 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    120832 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116160 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 6524 MiB
End job on node116 at 2019-09-24 22:01:05