Trace number 4394606

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-06-14 parallelSAT (TO)13 20023.3 2520.12

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-4394606-1568419484.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4394606-1568419484.xml, -tl, 20160s, -p, 8]
0.34/0.22	c 8 solvers in parallel
0.34/0.29	c parse instance...
11.08/5.02	c solve instance...
13.02/5.31	o 41 
14.41/5.57	o 40 
15.79/5.72	o 37 
16.48/5.82	o 20 
16.48/5.87	o 19 
17.11/5.92	o 16 
17.11/5.98	o 13 
20022.63/2520.07	s SATISFIABLE
20022.63/2520.07	v <instantiation>
20022.63/2520.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>
20022.63/2520.07	v 	<values>11 3 9 1 13 10 6 11 4 12 2 5 0 8 11 3 4 9 12 3 4 7 6 1 13 11 7 9 8 11 4 3 6 5 9 12 1 3 4 1 13 2 5 13 13 6 8 11 13 9 8 11 3 4 2 0 7 12 2 7 1 3 4 6 0 10 5 8 11 5 8 6 0 10 12 2 7 1 3 12 2 7 1 3 12 1 5 8 6 0 10 5 8 6 0 10 1 3 0 4 12 2 7 1 11 9 13 2 7 0 10 12 6 5 1 5 1 5 1 9 12 2 1 10 0 5 11 13 4 3 8 3 8 3 8 0 1 1 8 5 10 8 13 6 0 9 12 4 2 5 3 10 2 3 4 4 5 8 11 0 13 3 2 7 5 12 9 11 1 3 4 8 11 13 6 3 9 6 0 1 2 5 10 0 1 11 5 0 8 5 6 4 1 0 4 9 11 9 9 13 6 13 3 12 2 6 0 8 11 13 6 2 7 11 0 3 1 2 7 1 10 5 8 1 3 7 0 12 11 10 12 6 7 10 11 0 11 4 11 4 0 2 4 9 12 7 5 8 11 10 1 3 4 13 0 9 2 7 13 0 10 8 11 3 4 9 5 7 8 11 5 13 0 10 1 3 1 13 0 10 1 3 4 0 1 9 2 7 5 8 12 8 3 9 7 2 11 13 0 1 4 9 12 11 10 4 7 8 2 13 6 0 0 2 0 0 0 5 11 13 6 2 9 12 1 10 9 1 10 5 9 13 6 0 13 6 0 3 9 1 12 2 7 12 2 7 9 12 2 13 10 6 12 1 7 5 8 6 0 10 1 3 4 9 12 2 5 8 11 13 6 0 1 3 4 7 7 11 4 5 8 0 2 10 10 </values>
20022.63/2520.07	v </instantiation>
20022.63/2520.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 (14940 MiB free)
  memory of node 1: 16384 MiB (15606 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394606-1568419484/watcher-4394606-1568419484 -o /tmp/evaluation-result-4394606-1568419484/solver-4394606-1568419484 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node146-1568417371-3125 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1557421837 HOME/instance-4394606-1568419484.xml 

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

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

solver pid=3456, runsolver pid=3453

[startup+0.100123 s]*
/proc/loadavg: 6.63 7.57 6.94 2/212 3477
/proc/meminfo: memFree=31263028/32770624 swapFree=67000464/67108860
[pid=3456] ppid=3453 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/3456/stat : 3456 (xcsp3-exec) S 3453 3456 3098 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 417862405 115843072 364 33554432000 4194304 5098028 140723283859360 140723283857464 140442750624380 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18919424 140723283862389 140723283862633 140723283862633 140723283865546 0
/proc/3456/statm: 28282 364 305 221 0 87 0
[pid=3458] ppid=3456 vsize=28227388 memory=29936 CPUtime=0.12 cores=0-7
/proc/3458/stat : 3458 (java) S 3456 3456 3098 0 -1 1077944320 5962 0 0 0 11 1 0 0 20 0 20 0 417862405 28904845312 7484 33554432000 4194304 4196468 140729372483072 140729372465616 139721710657271 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
/proc/3458/statm: 7056847 7484 3117 1 0 7019032 0
[pid=3458/tid=3459] ppid=3456 vsize=28227388 memory=1398722017469774279 CPUtime=0.08 cores=0-7
/proc/3458/task/3459/stat : 3459 (java) R 3456 3456 3098 0 -1 4202560 3873 0 0 0 8 0 0 0 20 0 20 0 417862405 28904845312 7484 33554432000 4194304 4196468 140729372483072 139721714890064 139721710669206 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3460] ppid=3456 vsize=28227388 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/3458/task/3460/stat : 3460 (java) S 3456 3456 3098 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417862406 28904845312 7484 33554432000 4194304 4196468 140729372483072 139721663277968 139721710667477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3461] ppid=3456 vsize=28227388 memory=140366255265408 CPUtime=0 cores=0-7
/proc/3458/task/3461/stat : 3461 (java) S 3456 3456 3098 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417862406 28904845312 7484 33554432000 4194304 4196468 140729372483072 139721260784400 139721710667477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3462] ppid=3456 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3458/task/3462/stat : 3462 (java) S 3456 3456 3098 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417862406 28904845312 7484 33554432000 4194304 4196468 140729372483072 139721259732112 139721710667477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3463] ppid=3456 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3458/task/3463/stat : 3463 (java) S 3456 3456 3098 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417862406 28904845312 7484 33554432000 4194304 4196468 140729372483072 139721258679312 139721710667477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3464] ppid=3456 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3458/task/3464/stat : 3464 (java) S 3456 3456 3098 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417862406 28904845312 7484 33554432000 4194304 4196468 140729372483072 139721257626000 139721710667477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3465] ppid=3456 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/3458/task/3465/stat : 3465 (java) S 3456 3456 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417862406 28904845312 7484 33554432000 4194304 4196468 140729372483072 139721256573200 139721710667477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3466] ppid=3456 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3458/task/3466/stat : 3466 (java) S 3456 3456 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417862406 28904845312 7484 33554432000 4194304 4196468 140729372483072 139721255520912 139721710667477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3467] ppid=3456 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3458/task/3467/stat : 3467 (java) S 3456 3456 3098 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417862406 28904845312 7484 33554432000 4194304 4196468 140729372483072 139721254468112 139721710667477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3468] ppid=3456 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3458/task/3468/stat : 3468 (java) S 3456 3456 3098 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417862407 28904845312 7484 33554432000 4194304 4196468 140729372483072 139720174553712 139721710668418 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3469] ppid=3456 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3458/task/3469/stat : 3469 (java) S 3456 3456 3098 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 417862408 28904845312 7484 33554432000 4194304 4196468 140729372483072 139720173499680 139721710667477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3470] ppid=3456 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3458/task/3470/stat : 3470 (java) S 3456 3456 3098 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 417862408 28904845312 7484 33554432000 4194304 4196468 140729372483072 139720172447344 139721710667477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3471] ppid=3456 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3458/task/3471/stat : 3471 (java) S 3456 3456 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417862410 28904845312 7484 33554432000 4194304 4196468 140729372483072 139720171395664 139721710675867 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3472] ppid=3456 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3458/task/3472/stat : 3472 (java) S 3456 3456 3098 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 417862411 28904845312 7484 33554432000 4194304 4196468 140729372483072 139720170342512 139721710668418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3473] ppid=3456 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3458/task/3473/stat : 3473 (java) S 3456 3456 3098 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417862411 28904845312 7484 33554432000 4194304 4196468 140729372483072 139720169289712 139721710668418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3474] ppid=3456 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3458/task/3474/stat : 3474 (java) S 3456 3456 3098 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 417862411 28904845312 7484 33554432000 4194304 4196468 140729372483072 139720168237424 139721710668418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3475] ppid=3456 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/3458/task/3475/stat : 3475 (java) R 3456 3456 3098 0 -1 4202560 353 0 0 0 2 0 0 0 20 0 20 0 417862411 28904845312 7484 33554432000 4194304 4196468 140729372483072 139720167184624 139721689607040 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3476] ppid=3456 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3458/task/3476/stat : 3476 (java) S 3456 3456 3098 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417862411 28904845312 7484 33554432000 4194304 4196468 140729372483072 139720166132576 139721710667477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3477] ppid=3456 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/3458/task/3477/stat : 3477 (java) S 3456 3456 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417862411 28904845312 7484 33554432000 4194304 4196468 140729372483072 139720165079856 139721710668418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 31392 KiB

[startup+0.210534 s]*
/proc/loadavg: 6.63 7.57 6.94 2/212 3477
/proc/meminfo: memFree=31251036/32770624 swapFree=67000464/67108860
[pid=3456] ppid=3453 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/3456/stat : 3456 (xcsp3-exec) S 3453 3456 3098 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 417862405 115843072 364 33554432000 4194304 5098028 140723283859360 140723283857464 140442750624380 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18919424 140723283862389 140723283862633 140723283862633 140723283865546 0
/proc/3456/statm: 28282 364 305 221 0 87 0
[pid=3458] ppid=3456 vsize=28227388 memory=40336 CPUtime=0.34 cores=0-7
/proc/3458/stat : 3458 (java) S 3456 3456 3098 0 -1 1077944320 9367 0 0 0 32 2 0 0 20 0 20 0 417862405 28904845312 10084 33554432000 4194304 4196468 140729372483072 140729372465616 139721710657271 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
/proc/3458/statm: 7056847 10084 3281 1 0 7019032 0
[pid=3458/tid=3459] ppid=3456 vsize=28227388 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/3458/task/3459/stat : 3459 (java) R 3456 3456 3098 0 -1 4202560 6642 0 0 0 18 1 0 0 20 0 20 0 417862405 28904845312 10084 33554432000 4194304 4196468 140729372483072 139721714891328 139721342747325 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3460] ppid=3456 vsize=28227388 memory=339 CPUtime=0 cores=0-7
/proc/3458/task/3460/stat : 3460 (java) S 3456 3456 3098 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417862406 28904845312 10084 33554432000 4194304 4196468 140729372483072 139721663277968 139721710667477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3461] ppid=3456 vsize=28227388 memory=140366255285275 CPUtime=0 cores=0-7
/proc/3458/task/3461/stat : 3461 (java) S 3456 3456 3098 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417862406 28904845312 10084 33554432000 4194304 4196468 140729372483072 139721260784400 139721710667477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3462] ppid=3456 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/3458/task/3462/stat : 3462 (java) S 3456 3456 3098 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417862406 28904845312 10084 33554432000 4194304 4196468 140729372483072 139721259732112 139721710667477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3463] ppid=3456 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3458/task/3463/stat : 3463 (java) S 3456 3456 3098 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417862406 28904845312 10084 33554432000 4194304 4196468 140729372483072 139721258679312 139721710667477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3464] ppid=3456 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3458/task/3464/stat : 3464 (java) S 3456 3456 3098 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417862406 28904845312 10084 33554432000 4194304 4196468 140729372483072 139721257626000 139721710667477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3465] ppid=3456 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/3458/task/3465/stat : 3465 (java) S 3456 3456 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417862406 28904845312 10084 33554432000 4194304 4196468 140729372483072 139721256573200 139721710667477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3466] ppid=3456 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3458/task/3466/stat : 3466 (java) S 3456 3456 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417862406 28904845312 10084 33554432000 4194304 4196468 140729372483072 139721255520912 139721710667477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3467] ppid=3456 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3458/task/3467/stat : 3467 (java) S 3456 3456 3098 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417862406 28904845312 10084 33554432000 4194304 4196468 140729372483072 139721254468112 139721710667477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3468] ppid=3456 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3458/task/3468/stat : 3468 (java) S 3456 3456 3098 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 417862407 28904845312 10084 33554432000 4194304 4196468 140729372483072 139720174553712 139721710668418 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3469] ppid=3456 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3458/task/3469/stat : 3469 (java) S 3456 3456 3098 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 417862408 28904845312 10084 33554432000 4194304 4196468 140729372483072 139720173499680 139721710667477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3470] ppid=3456 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3458/task/3470/stat : 3470 (java) S 3456 3456 3098 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 417862408 28904845312 10084 33554432000 4194304 4196468 140729372483072 139720172447344 139721710667477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3471] ppid=3456 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3458/task/3471/stat : 3471 (java) S 3456 3456 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417862410 28904845312 10084 33554432000 4194304 4196468 140729372483072 139720171395664 139721710675867 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3472] ppid=3456 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/3458/task/3472/stat : 3472 (java) S 3456 3456 3098 0 -1 1077944384 323 0 0 0 1 0 0 0 20 0 20 0 417862411 28904845312 10084 33554432000 4194304 4196468 140729372483072 139720170342512 139721710668418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3473] ppid=3456 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/3458/task/3473/stat : 3473 (java) S 3456 3456 3098 0 -1 1077944384 149 0 0 0 2 0 0 0 20 0 20 0 417862411 28904845312 10084 33554432000 4194304 4196468 140729372483072 139720169289712 139721710668418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3474] ppid=3456 vsize=28227388 memory=-1 CPUtime=0.01 cores=0-7
/proc/3458/task/3474/stat : 3474 (java) S 3456 3456 3098 0 -1 1077944384 174 0 0 0 1 0 0 0 20 0 20 0 417862411 28904845312 10084 33554432000 4194304 4196468 140729372483072 139720168237424 139721710668418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3475] ppid=3456 vsize=28227388 memory=-1 CPUtime=0.08 cores=0-7
/proc/3458/task/3475/stat : 3475 (java) R 3456 3456 3098 0 -1 4202560 765 0 0 0 8 0 0 0 20 0 20 0 417862411 28904845312 10084 33554432000 4194304 4196468 140729372483072 139720167184624 139721690006945 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3476] ppid=3456 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3458/task/3476/stat : 3476 (java) S 3456 3456 3098 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417862411 28904845312 10084 33554432000 4194304 4196468 140729372483072 139720166132576 139721710667477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3477] ppid=3456 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/3458/task/3477/stat : 3477 (java) S 3456 3456 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417862411 28904845312 10084 33554432000 4194304 4196468 140729372483072 139720165079856 139721710668418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 41792 KiB

[startup+0.310172 s]*
/proc/loadavg: 6.63 7.57 6.94 3/212 3477
/proc/meminfo: memFree=31246044/32770624 swapFree=67000464/67108860
[pid=3456] ppid=3453 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/3456/stat : 3456 (xcsp3-exec) S 3453 3456 3098 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 417862405 115843072 364 33554432000 4194304 5098028 140723283859360 140723283857464 140442750624380 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18919424 140723283862389 140723283862633 140723283862633 140723283865546 0
/proc/3456/statm: 28282 364 305 221 0 87 0
[pid=3458] ppid=3456 vsize=28231644 memory=49352 CPUtime=0.52 cores=0-7
/proc/3458/stat : 3458 (java) S 3456 3456 3098 0 -1 1077944320 10726 0 0 0 48 4 0 0 20 0 20 0 417862405 28909203456 12338 33554432000 4194304 4196468 140729372483072 140729372465616 139721710657271 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
/proc/3458/statm: 7057911 12338 3331 1 0 7019032 0
[pid=3458/tid=3459] ppid=3456 vsize=28231644 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/3458/task/3459/stat : 3459 (java) R 3456 3456 3098 0 -1 4202560 7709 0 0 0 27 2 0 0 20 0 20 0 417862405 28909203456 12338 33554432000 4194304 4196468 140729372483072 139721714891056 139721710679197 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3460] ppid=3456 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/3458/task/3460/stat : 3460 (java) S 3456 3456 3098 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417862406 28909203456 12338 33554432000 4194304 4196468 140729372483072 139721663277968 139721710667477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3461] ppid=3456 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/3458/task/3461/stat : 3461 (java) S 3456 3456 3098 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417862406 28909203456 12338 33554432000 4194304 4196468 140729372483072 139721260784400 139721710667477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3462] ppid=3456 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/3458/task/3462/stat : 3462 (java) S 3456 3456 3098 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417862406 28909203456 12338 33554432000 4194304 4196468 140729372483072 139721259732112 139721710667477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3463] ppid=3456 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/3458/task/3463/stat : 3463 (java) S 3456 3456 3098 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417862406 28909203456 12338 33554432000 4194304 4196468 140729372483072 139721258679312 139721710667477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3464] ppid=3456 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/3458/task/3464/stat : 3464 (java) S 3456 3456 3098 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417862406 28909203456 12338 33554432000 4194304 4196468 140729372483072 139721257626000 139721710667477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3465] ppid=3456 vsize=28231644 memory=140366107994799 CPUtime=0 cores=0-7
/proc/3458/task/3465/stat : 3465 (java) S 3456 3456 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417862406 28909203456 12338 33554432000 4194304 4196468 140729372483072 139721256573200 139721710667477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3466] ppid=3456 vsize=28231644 memory=140366107997104 CPUtime=0 cores=0-7
/proc/3458/task/3466/stat : 3466 (java) S 3456 3456 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417862406 28909203456 12338 33554432000 4194304 4196468 140729372483072 139721255520912 139721710667477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3467] ppid=3456 vsize=28231644 memory=140366107999408 CPUtime=0 cores=0-7
/proc/3458/task/3467/stat : 3467 (java) S 3456 3456 3098 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417862406 28909203456 12338 33554432000 4194304 4196468 140729372483072 139721254468112 139721710667477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3468] ppid=3456 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/3458/task/3468/stat : 3468 (java) S 3456 3456 3098 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 417862407 28909203456 12338 33554432000 4194304 4196468 140729372483072 139720174553712 139721710668418 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3469] ppid=3456 vsize=28231644 memory=280732216012688 CPUtime=0 cores=0-7
/proc/3458/task/3469/stat : 3469 (java) S 3456 3456 3098 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 417862408 28909203456 12338 33554432000 4194304 4196468 140729372483072 139720173499680 139721710667477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3470] ppid=3456 vsize=28231644 memory=280732216010384 CPUtime=0 cores=0-7
/proc/3458/task/3470/stat : 3470 (java) S 3456 3456 3098 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 417862408 28909203456 12338 33554432000 4194304 4196468 140729372483072 139720172447344 139721710667477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3471] ppid=3456 vsize=28231644 memory=280732216017296 CPUtime=0 cores=0-7
/proc/3458/task/3471/stat : 3471 (java) S 3456 3456 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417862410 28909203456 12338 33554432000 4194304 4196468 140729372483072 139720171395664 139721710675867 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3472] ppid=3456 vsize=28231644 memory=280732215958576 CPUtime=0.02 cores=0-7
/proc/3458/task/3472/stat : 3472 (java) R 3456 3456 3098 0 -1 4202560 469 0 0 0 2 0 0 0 20 0 20 0 417862411 28909203456 12404 33554432000 4194304 4196468 140729372483072 139720170323528 139721691357568 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3473] ppid=3456 vsize=28231644 memory=280732216031120 CPUtime=0.03 cores=0-7
/proc/3458/task/3473/stat : 3473 (java) S 3456 3456 3098 0 -1 1077944384 179 0 0 0 3 0 0 0 20 0 20 0 417862411 28909203456 12404 33554432000 4194304 4196468 140729372483072 139720169289712 139721710668418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3474] ppid=3456 vsize=28231644 memory=280732216038032 CPUtime=0.02 cores=0-7
/proc/3458/task/3474/stat : 3474 (java) S 3456 3456 3098 0 -1 1077944384 177 0 0 0 2 0 0 0 20 0 20 0 417862411 28909203456 12404 33554432000 4194304 4196468 140729372483072 139720168237424 139721710668418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3475] ppid=3456 vsize=28231644 memory=280732216035728 CPUtime=0.12 cores=0-7
/proc/3458/task/3475/stat : 3475 (java) S 3456 3456 3098 0 -1 1077944384 925 0 0 0 12 0 0 0 20 0 20 0 417862411 28909203456 12404 33554432000 4194304 4196468 140729372483072 139720167184624 139721710668418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3476] ppid=3456 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/3458/task/3476/stat : 3476 (java) S 3456 3456 3098 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417862411 28909203456 12404 33554432000 4194304 4196468 140729372483072 139720166132576 139721710667477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3477] ppid=3456 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/3458/task/3477/stat : 3477 (java) S 3456 3456 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417862411 28909203456 12404 33554432000 4194304 4196468 140729372483072 139720165079856 139721710668418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 50808 KiB

[startup+0.700919 s]
/proc/loadavg: 6.63 7.57 6.94 4/212 3477
/proc/meminfo: memFree=31219368/32770624 swapFree=67000464/67108860
[pid=3456] ppid=3453 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/3456/stat : 3456 (xcsp3-exec) S 3453 3456 3098 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 417862405 115843072 364 33554432000 4194304 5098028 140723283859360 140723283857464 140442750624380 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18919424 140723283862389 140723283862633 140723283862633 140723283865546 0
/proc/3456/statm: 28282 364 305 221 0 87 0
[pid=3458] ppid=3456 vsize=28233768 memory=124508 CPUtime=1.9 cores=0-7
/proc/3458/stat : 3458 (java) S 3456 3456 3098 0 -1 1077944320 15134 0 0 0 185 5 0 0 20 0 20 0 417862405 28911378432 31127 33554432000 4194304 4196468 140729372483072 140729372465616 139721710657271 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
/proc/3458/statm: 7058442 31127 3447 1 0 7019544 0
[pid=3458/tid=3459] ppid=3456 vsize=28233768 memory=0 CPUtime=0.68 cores=0-7
/proc/3458/task/3459/stat : 3459 (java) R 3456 3456 3098 0 -1 4202560 8318 0 0 0 65 3 0 0 20 0 20 0 417862405 28911378432 31127 33554432000 4194304 4196468 140729372483072 139721714892168 139721343013056 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3460] ppid=3456 vsize=28233768 memory=140366108205936 CPUtime=0 cores=0-7
/proc/3458/task/3460/stat : 3460 (java) S 3456 3456 3098 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417862406 28911378432 31127 33554432000 4194304 4196468 140729372483072 139721663277968 139721710667477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3461] ppid=3456 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/3458/task/3461/stat : 3461 (java) S 3456 3456 3098 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417862406 28911378432 31127 33554432000 4194304 4196468 140729372483072 139721260784400 139721710667477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3462] ppid=3456 vsize=28233768 memory=1056 CPUtime=0 cores=0-7
/proc/3458/task/3462/stat : 3462 (java) S 3456 3456 3098 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417862406 28911378432 31127 33554432000 4194304 4196468 140729372483072 139721259732112 139721710667477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0

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

[pid=3458/tid=3542] ppid=3456 vsize=29101148 memory=4114308 CPUtime=2419.34 cores=0-7
/proc/3458/task/3542/stat : 3542 (java) R 3456 3456 3098 0 -1 4202560 88267 0 0 0 241643 291 0 0 20 0 28 0 417863003 29799575552 1026268 33554432000 4194304 4196468 140729372483072 139720142192640 139721351600232 0 4 0 16800975 0 0 0 -1 0 0 0 17 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
Current children cumulated CPU time: 19406.4 s
Current children cumulated vsize: 29214276 KiB
Current children cumulated memory: 4106528 KiB

[startup+2502.3 s]
/proc/loadavg: 8.48 8.22 8.15 9/219 3729
/proc/meminfo: memFree=27199972/32770624 swapFree=67000476/67108860
[pid=3456] ppid=3453 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/3456/stat : 3456 (xcsp3-exec) S 3453 3456 3098 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 417862405 115843072 364 33554432000 4194304 5098028 140723283859360 140723283857464 140442750624380 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18919424 140723283862389 140723283862633 140723283862633 140723283865546 0
/proc/3456/statm: 28282 364 305 221 0 87 0
[pid=3458] ppid=3456 vsize=29101148 memory=4079912 CPUtime=19882.3 cores=0-7
/proc/3458/stat : 3458 (java) S 3456 3456 3098 0 -1 1077944320 881250 0 0 0 1986959 1270 0 0 20 0 28 0 417862405 29799575552 1019978 33554432000 4194304 4196468 140729372483072 140729372465616 139721710657271 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
/proc/3458/statm: 7275287 1019978 3561 1 0 7236389 0
[pid=3458/tid=3459] ppid=3456 vsize=29101148 memory=4080816 CPUtime=4.45 cores=0-7
/proc/3458/task/3459/stat : 3459 (java) S 3456 3456 3098 0 -1 1077944384 10310 0 0 0 427 18 0 0 20 0 28 0 417862405 29799575552 1019978 33554432000 4194304 4196468 140729372483072 139721714898048 139721710667477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3460] ppid=3456 vsize=29101148 memory=4079280 CPUtime=7.16 cores=0-7
/proc/3458/task/3460/stat : 3460 (java) S 3456 3456 3098 0 -1 1077944384 31684 0 0 0 685 31 0 0 20 0 28 0 417862406 29799575552 1019978 33554432000 4194304 4196468 140729372483072 139721663277968 139721710667477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3461] ppid=3456 vsize=29101148 memory=4075304 CPUtime=7.21 cores=0-7
/proc/3458/task/3461/stat : 3461 (java) S 3456 3456 3098 0 -1 1077944384 31345 0 0 0 690 31 0 0 20 0 28 0 417862406 29799575552 1019978 33554432000 4194304 4196468 140729372483072 139721260784400 139721710667477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3462] ppid=3456 vsize=29101148 memory=1456 CPUtime=7.17 cores=0-7
/proc/3458/task/3462/stat : 3462 (java) S 3456 3456 3098 0 -1 1077944384 34338 0 0 0 683 34 0 0 20 0 28 0 417862406 29799575552 1019978 33554432000 4194304 4196468 140729372483072 139721259732112 139721710667477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3463] ppid=3456 vsize=29101148 memory=1056 CPUtime=7.14 cores=0-7
/proc/3458/task/3463/stat : 3463 (java) S 3456 3456 3098 0 -1 1077944384 32713 0 0 0 685 29 0 0 20 0 28 0 417862406 29799575552 1019978 33554432000 4194304 4196468 140729372483072 139721258679312 139721710667477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3464] ppid=3456 vsize=29101148 memory=1456 CPUtime=7.14 cores=0-7
/proc/3458/task/3464/stat : 3464 (java) S 3456 3456 3098 0 -1 1077944384 34780 0 0 0 681 33 0 0 20 0 28 0 417862406 29799575552 1019978 33554432000 4194304 4196468 140729372483072 139721257626000 139721710667477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3465] ppid=3456 vsize=29101148 memory=3616 CPUtime=7.17 cores=0-7
/proc/3458/task/3465/stat : 3465 (java) S 3456 3456 3098 0 -1 1077944384 33141 0 0 0 684 33 0 0 20 0 28 0 417862406 29799575552 1019978 33554432000 4194304 4196468 140729372483072 139721256573200 139721710667477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3466] ppid=3456 vsize=29101148 memory=1398722017469774279 CPUtime=7.22 cores=0-7
/proc/3458/task/3466/stat : 3466 (java) S 3456 3456 3098 0 -1 1077944384 32183 0 0 0 691 31 0 0 20 0 28 0 417862406 29799575552 1019978 33554432000 4194304 4196468 140729372483072 139721255520912 139721710667477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3467] ppid=3456 vsize=29101148 memory=4872558044660077418 CPUtime=7.16 cores=0-7
/proc/3458/task/3467/stat : 3467 (java) S 3456 3456 3098 0 -1 1077944384 32893 0 0 0 684 32 0 0 20 0 28 0 417862406 29799575552 1019978 33554432000 4194304 4196468 140729372483072 139721254468112 139721710667477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3468] ppid=3456 vsize=29101148 memory=1456 CPUtime=5.28 cores=0-7
/proc/3458/task/3468/stat : 3468 (java) S 3456 3456 3098 0 -1 1077944384 131913 0 0 0 286 242 0 0 20 0 28 0 417862407 29799575552 1019978 33554432000 4194304 4196468 140729372483072 139720174553712 139721710668418 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3469] ppid=3456 vsize=29101148 memory=3616 CPUtime=0 cores=0-7
/proc/3458/task/3469/stat : 3469 (java) S 3456 3456 3098 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 417862408 29799575552 1019978 33554432000 4194304 4196468 140729372483072 139720173499744 139721710667477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3470] ppid=3456 vsize=29101148 memory=1456 CPUtime=0 cores=0-7
/proc/3458/task/3470/stat : 3470 (java) S 3456 3456 3098 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 417862408 29799575552 1019978 33554432000 4194304 4196468 140729372483072 139720172447360 139721710667477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3471] ppid=3456 vsize=29101148 memory=4325300 CPUtime=0 cores=0-7
/proc/3458/task/3471/stat : 3471 (java) S 3456 3456 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 417862410 29799575552 1019978 33554432000 4194304 4196468 140729372483072 139720171395664 139721710675867 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3472] ppid=3456 vsize=29101148 memory=0 CPUtime=4.51 cores=0-7
/proc/3458/task/3472/stat : 3472 (java) S 3456 3456 3098 0 -1 1077944384 22697 0 0 0 447 4 0 0 20 0 28 0 417862411 29799575552 1019978 33554432000 4194304 4196468 140729372483072 139720170342512 139721710668418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 39 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3473] ppid=3456 vsize=29101148 memory=0 CPUtime=5.38 cores=0-7
/proc/3458/task/3473/stat : 3473 (java) S 3456 3456 3098 0 -1 1077944384 25663 0 0 0 532 6 0 0 20 0 28 0 417862411 29799575552 1019978 33554432000 4194304 4196468 140729372483072 139720169289712 139721710668418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3474] ppid=3456 vsize=29101148 memory=246736 CPUtime=4.5 cores=0-7
/proc/3458/task/3474/stat : 3474 (java) S 3456 3456 3098 0 -1 1077944384 23034 0 0 0 444 6 0 0 20 0 28 0 417862411 29799575552 1019978 33554432000 4194304 4196468 140729372483072 139720168237424 139721710668418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 38 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3475] ppid=3456 vsize=29101148 memory=246905 CPUtime=1.28 cores=0-7
/proc/3458/task/3475/stat : 3475 (java) S 3456 3456 3098 0 -1 1077944384 19867 0 0 0 122 6 0 0 20 0 28 0 417862411 29799575552 1019978 33554432000 4194304 4196468 140729372483072 139720167184624 139721710668418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 39 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3476] ppid=3456 vsize=29101148 memory=3616 CPUtime=0 cores=0-7
/proc/3458/task/3476/stat : 3476 (java) S 3456 3456 3098 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 417862411 29799575552 1019978 33554432000 4194304 4196468 140729372483072 139720166132576 139721710667477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3477] ppid=3456 vsize=29101148 memory=36896 CPUtime=1.05 cores=0-7
/proc/3458/task/3477/stat : 3477 (java) S 3456 3456 3098 0 -1 1077944384 6679 0 0 0 63 42 0 0 20 0 28 0 417862411 29799575552 1019978 33554432000 4194304 4196468 140729372483072 139720165079856 139721710668418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 41 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3535] ppid=3456 vsize=29101148 memory=1456 CPUtime=2470.58 cores=0-7
/proc/3458/task/3535/stat : 3535 (java) R 3456 3456 3098 0 -1 4202560 39805 0 0 0 247004 54 0 0 20 0 28 0 417863003 29799575552 1019978 33554432000 4194304 4196468 140729372483072 139720141139864 139721351600210 0 4 0 16800975 0 0 0 -1 2 0 0 19 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3536] ppid=3456 vsize=29101148 memory=1456 CPUtime=2473.61 cores=0-7
/proc/3458/task/3536/stat : 3536 (java) R 3456 3456 3098 0 -1 4202560 28232 0 0 0 247328 33 0 0 20 0 28 0 417863003 29799575552 1019978 33554432000 4194304 4196468 140729372483072 139720144298952 139721351761164 0 4 0 16800975 0 0 0 -1 6 0 0 14 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3537] ppid=3456 vsize=29101148 memory=1456 CPUtime=2472.58 cores=0-7
/proc/3458/task/3537/stat : 3537 (java) R 3456 3456 3098 0 -1 4202560 98514 0 0 0 247100 158 0 0 20 0 28 0 417863003 29799575552 1019978 33554432000 4194304 4196468 140729372483072 139720151665824 139721349678092 0 4 0 16800975 0 0 0 -1 0 0 0 15 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3538] ppid=3456 vsize=29101148 memory=4075816 CPUtime=2475.83 cores=0-7
/proc/3458/task/3538/stat : 3538 (java) R 3456 3456 3098 0 -1 4202560 55823 0 0 0 247480 103 0 0 20 0 28 0 417863003 29799575552 1019978 33554432000 4194304 4196468 140729372483072 139720143245376 139721347220009 0 4 0 16800975 0 0 0 -1 5 0 0 19 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3539] ppid=3456 vsize=29101148 memory=4075304 CPUtime=2474.73 cores=0-7
/proc/3458/task/3539/stat : 3539 (java) R 3456 3456 3098 0 -1 4202560 19470 0 0 0 247439 34 0 0 20 0 28 0 417863003 29799575552 1019978 33554432000 4194304 4196468 140729372483072 139720148508680 139721349678244 0 4 0 16800975 0 0 0 -1 7 0 0 14 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3540] ppid=3456 vsize=29101148 memory=1456 CPUtime=2471.58 cores=0-7
/proc/3458/task/3540/stat : 3540 (java) R 3456 3456 3098 0 -1 4202560 14855 0 0 0 247129 29 0 0 20 0 28 0 417863003 29799575552 1019978 33554432000 4194304 4196468 140729372483072 139720150613904 139721343878581 0 4 0 16800975 0 0 0 -1 3 0 0 8 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3541] ppid=3456 vsize=29101148 memory=4076328 CPUtime=2476.68 cores=0-7
/proc/3458/task/3541/stat : 3541 (java) R 3456 3456 3098 0 -1 4202560 29143 0 0 0 247629 39 0 0 20 0 28 0 417863003 29799575552 1019978 33554432000 4194304 4196468 140729372483072 139720146406640 139721349678630 0 4 0 16800975 0 0 0 -1 1 0 0 12 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3542] ppid=3456 vsize=29101148 memory=1456 CPUtime=2478.43 cores=0-7
/proc/3458/task/3542/stat : 3542 (java) R 3456 3456 3098 0 -1 4202560 89449 0 0 0 247551 292 0 0 20 0 28 0 417863003 29799575552 1019978 33554432000 4194304 4196468 140729372483072 139720142192552 139721347518056 0 4 0 16800975 0 0 0 -1 4 0 0 18 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
Current children cumulated CPU time: 19882.3 s
Current children cumulated vsize: 29214276 KiB
Current children cumulated memory: 4081368 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.91 8.34 8.19 9/219 3731
/proc/meminfo: memFree=27212272/32770624 swapFree=67000476/67108860
[pid=3456] ppid=3453 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/3456/stat : 3456 (xcsp3-exec) S 3453 3456 3098 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 417862405 115843072 364 33554432000 4194304 5098028 140723283859360 140723283857464 140442750624380 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18919424 140723283862389 140723283862633 140723283862633 140723283865546 0
/proc/3456/statm: 28282 364 305 221 0 87 0
[pid=3458] ppid=3456 vsize=29101148 memory=4068124 CPUtime=20022.6 cores=0-7
/proc/3458/stat : 3458 (java) S 3456 3456 3098 0 -1 1077944320 883289 0 0 0 2000984 1279 0 0 20 0 28 0 417862405 29799575552 1017031 33554432000 4194304 4196468 140729372483072 140729372465616 139721710657271 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
/proc/3458/statm: 7275287 1017031 3561 1 0 7236389 0
[pid=3458/tid=3459] ppid=3456 vsize=29101148 memory=1398722017469774279 CPUtime=4.45 cores=0-7
/proc/3458/task/3459/stat : 3459 (java) S 3456 3456 3098 0 -1 1077944384 10310 0 0 0 427 18 0 0 20 0 28 0 417862405 29799575552 1017031 33554432000 4194304 4196468 140729372483072 139721714898048 139721710667477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3460] ppid=3456 vsize=29101148 memory=4872558044660077418 CPUtime=7.23 cores=0-7
/proc/3458/task/3460/stat : 3460 (java) S 3456 3456 3098 0 -1 1077944384 31712 0 0 0 692 31 0 0 20 0 28 0 417862406 29799575552 1017031 33554432000 4194304 4196468 140729372483072 139721663277968 139721710667477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3461] ppid=3456 vsize=29101148 memory=1056 CPUtime=7.28 cores=0-7
/proc/3458/task/3461/stat : 3461 (java) S 3456 3456 3098 0 -1 1077944384 31415 0 0 0 697 31 0 0 20 0 28 0 417862406 29799575552 1017031 33554432000 4194304 4196468 140729372483072 139721260784400 139721710667477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3462] ppid=3456 vsize=29101148 memory=964 CPUtime=7.24 cores=0-7
/proc/3458/task/3462/stat : 3462 (java) S 3456 3456 3098 0 -1 1077944384 34375 0 0 0 690 34 0 0 20 0 28 0 417862406 29799575552 1017031 33554432000 4194304 4196468 140729372483072 139721259732112 139721710667477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3463] ppid=3456 vsize=29101148 memory=14008 CPUtime=7.21 cores=0-7
/proc/3458/task/3463/stat : 3463 (java) S 3456 3456 3098 0 -1 1077944384 33164 0 0 0 692 29 0 0 20 0 28 0 417862406 29799575552 1017031 33554432000 4194304 4196468 140729372483072 139721258679312 139721710667477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3464] ppid=3456 vsize=29101148 memory=2116 CPUtime=7.21 cores=0-7
/proc/3458/task/3464/stat : 3464 (java) S 3456 3456 3098 0 -1 1077944384 34808 0 0 0 688 33 0 0 20 0 28 0 417862406 29799575552 1017031 33554432000 4194304 4196468 140729372483072 139721257626000 139721710667477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3465] ppid=3456 vsize=29101148 memory=20452 CPUtime=7.24 cores=0-7
/proc/3458/task/3465/stat : 3465 (java) S 3456 3456 3098 0 -1 1077944384 33318 0 0 0 691 33 0 0 20 0 28 0 417862406 29799575552 1017031 33554432000 4194304 4196468 140729372483072 139721256573200 139721710667477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3466] ppid=3456 vsize=29101148 memory=4068636 CPUtime=7.29 cores=0-7
/proc/3458/task/3466/stat : 3466 (java) S 3456 3456 3098 0 -1 1077944384 32204 0 0 0 698 31 0 0 20 0 28 0 417862406 29799575552 1017031 33554432000 4194304 4196468 140729372483072 139721255520912 139721710667477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3467] ppid=3456 vsize=29101148 memory=1456 CPUtime=7.24 cores=0-7
/proc/3458/task/3467/stat : 3467 (java) S 3456 3456 3098 0 -1 1077944384 32947 0 0 0 692 32 0 0 20 0 28 0 417862406 29799575552 1017031 33554432000 4194304 4196468 140729372483072 139721254468112 139721710667477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3468] ppid=3456 vsize=29101148 memory=4069148 CPUtime=5.4 cores=0-7
/proc/3458/task/3468/stat : 3468 (java) S 3456 3456 3098 0 -1 1077944384 132189 0 0 0 290 250 0 0 20 0 28 0 417862407 29799575552 1017031 33554432000 4194304 4196468 140729372483072 139720174553712 139721710668418 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3469] ppid=3456 vsize=29101148 memory=772 CPUtime=0 cores=0-7
/proc/3458/task/3469/stat : 3469 (java) S 3456 3456 3098 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 417862408 29799575552 1017031 33554432000 4194304 4196468 140729372483072 139720173499744 139721710667477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3470] ppid=3456 vsize=29101148 memory=1556 CPUtime=0 cores=0-7
/proc/3458/task/3470/stat : 3470 (java) S 3456 3456 3098 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 417862408 29799575552 1017031 33554432000 4194304 4196468 140729372483072 139720172447360 139721710667477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3471] ppid=3456 vsize=29101148 memory=1056 CPUtime=0 cores=0-7
/proc/3458/task/3471/stat : 3471 (java) S 3456 3456 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 417862410 29799575552 1017031 33554432000 4194304 4196468 140729372483072 139720171395664 139721710675867 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3472] ppid=3456 vsize=29101148 memory=964 CPUtime=4.51 cores=0-7
/proc/3458/task/3472/stat : 3472 (java) S 3456 3456 3098 0 -1 1077944384 22699 0 0 0 447 4 0 0 20 0 28 0 417862411 29799575552 1017031 33554432000 4194304 4196468 140729372483072 139720170342512 139721710668418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 39 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3473] ppid=3456 vsize=29101148 memory=14008 CPUtime=5.38 cores=0-7
/proc/3458/task/3473/stat : 3473 (java) S 3456 3456 3098 0 -1 1077944384 25665 0 0 0 532 6 0 0 20 0 28 0 417862411 29799575552 1017031 33554432000 4194304 4196468 140729372483072 139720169289712 139721710668418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3474] ppid=3456 vsize=29101148 memory=2116 CPUtime=4.5 cores=0-7
/proc/3458/task/3474/stat : 3474 (java) S 3456 3456 3098 0 -1 1077944384 23036 0 0 0 444 6 0 0 20 0 28 0 417862411 29799575552 1017031 33554432000 4194304 4196468 140729372483072 139720168237424 139721710668418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 38 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3475] ppid=3456 vsize=29101148 memory=20452 CPUtime=1.28 cores=0-7
/proc/3458/task/3475/stat : 3475 (java) S 3456 3456 3098 0 -1 1077944384 19869 0 0 0 122 6 0 0 20 0 28 0 417862411 29799575552 1017031 33554432000 4194304 4196468 140729372483072 139720167184624 139721710668418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 39 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3476] ppid=3456 vsize=29101148 memory=11852 CPUtime=0 cores=0-7
/proc/3458/task/3476/stat : 3476 (java) S 3456 3456 3098 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 417862411 29799575552 1017031 33554432000 4194304 4196468 140729372483072 139720166132576 139721710667477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3477] ppid=3456 vsize=29101148 memory=532 CPUtime=1.06 cores=0-7
/proc/3458/task/3477/stat : 3477 (java) S 3456 3456 3098 0 -1 1077944384 6699 0 0 0 64 42 0 0 20 0 28 0 417862411 29799575552 1017031 33554432000 4194304 4196468 140729372483072 139720165079856 139721710668418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 41 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3535] ppid=3456 vsize=29101148 memory=4077344 CPUtime=2488.08 cores=0-7
/proc/3458/task/3535/stat : 3535 (java) R 3456 3456 3098 0 -1 4202560 39883 0 0 0 248754 54 0 0 20 0 28 0 417863003 29799575552 1017031 33554432000 4194304 4196468 140729372483072 139720141139288 139721347220643 0 4 0 16800975 0 0 0 -1 2 0 0 19 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3536] ppid=3456 vsize=29101148 memory=5859535235326444939 CPUtime=2491.11 cores=0-7
/proc/3458/task/3536/stat : 3536 (java) R 3456 3456 3098 0 -1 4202560 28353 0 0 0 249078 33 0 0 20 0 28 0 417863003 29799575552 1017031 33554432000 4194304 4196468 140729372483072 139720144298440 139721347219716 0 4 0 16800975 0 0 0 -1 6 0 0 14 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3537] ppid=3456 vsize=29101148 memory=-8961168018402230209 CPUtime=2490.03 cores=0-7
/proc/3458/task/3537/stat : 3537 (java) R 3456 3456 3098 0 -1 4202560 98826 0 0 0 248844 159 0 0 20 0 28 0 417863003 29799575552 1017031 33554432000 4194304 4196468 140729372483072 139720151666280 139721347806675 0 4 0 16800975 0 0 0 -1 4 0 0 15 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3538] ppid=3456 vsize=29101148 memory=4103564 CPUtime=2493.34 cores=0-7
/proc/3458/task/3538/stat : 3538 (java) R 3456 3456 3098 0 -1 4202560 55966 0 0 0 249230 104 0 0 20 0 28 0 417863003 29799575552 1017031 33554432000 4194304 4196468 140729372483072 139720143244984 139721351600373 0 4 0 16800975 0 0 0 -1 5 0 0 19 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3539] ppid=3456 vsize=29101148 memory=0 CPUtime=2492.15 cores=0-7
/proc/3458/task/3539/stat : 3539 (java) R 3456 3456 3098 0 -1 4202560 19521 0 0 0 249180 35 0 0 20 0 28 0 417863003 29799575552 1017031 33554432000 4194304 4196468 140729372483072 139720148508824 139721349678312 0 4 0 16800975 0 0 0 -1 1 0 0 14 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3540] ppid=3456 vsize=29101148 memory=1456 CPUtime=2489.02 cores=0-7
/proc/3458/task/3540/stat : 3540 (java) R 3456 3456 3098 0 -1 4202560 14884 0 0 0 248873 29 0 0 20 0 28 0 417863003 29799575552 1017031 33554432000 4194304 4196468 140729372483072 139720150613792 139721343878544 0 4 0 16800975 0 0 0 -1 7 0 0 8 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3541] ppid=3456 vsize=29101148 memory=1456 CPUtime=2494.05 cores=0-7
/proc/3458/task/3541/stat : 3541 (java) R 3456 3456 3098 0 -1 4202560 29188 0 0 0 249366 39 0 0 20 0 28 0 417863003 29799575552 1017031 33554432000 4194304 4196468 140729372483072 139720146403784 139721349678312 0 4 0 16800975 0 0 0 -1 3 0 0 13 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
[pid=3458/tid=3542] ppid=3456 vsize=29101148 memory=988 CPUtime=2495.93 cores=0-7
/proc/3458/task/3542/stat : 3542 (java) R 3456 3456 3098 0 -1 4202560 89539 0 0 0 249300 293 0 0 20 0 28 0 417863003 29799575552 1017031 33554432000 4194304 4196468 140729372483072 139720142195504 139721345279315 0 4 0 16800975 0 0 0 -1 0 0 0 18 0 0 6293624 6294260 23048192 140729372484586 140729372484758 140729372484758 140729372487631 0
Current children cumulated CPU time: 20022.6 s
Current children cumulated vsize: 29214276 KiB
Current children cumulated memory: 4069580 KiB

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

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

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

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

Child status: 143
Real time (s): 2520.12
CPU time (s): 20023.3
CPU user time (s): 20010.5
CPU system time (s): 12.8289
CPU usage (%): 794.538
Max. virtual memory (cumulated for all children) (KiB): 29216312
Max. memory (cumulated for all children) (KiB): 5524592

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20010.5
system time used= 12.8289
maximum resident set size= 5523160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 884395
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3608
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 139865
involuntary context switches= 226371


# summary of solver processes directly reported to runsolver:
#   pid: 3456,3458
#   total CPU time (s): 20023.3
#   total CPU user time (s): 20010.5
#   total CPU system time (s): 12.8289

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.8102 second user time and 31.5178 second system time

The end

Launcher Data 

Begin job on node146 at 2019-09-14 02:04:03
IDJOB=4394606
IDBENCH=120595
IDSOLVER=2843
FILE ID=node146/4394606-1568419484
RUNJOBID= node146-1568417371-3125
PBS_JOBID= 21702271
Free space on /tmp= 59032 MiB

SOLVER NAME= choco-solver parallel 2019-06-14
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-4394606-1568419484/watcher-4394606-1568419484 -o /tmp/evaluation-result-4394606-1568419484/solver-4394606-1568419484 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node146-1568417371-3125 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1557421837 HOME/instance-4394606-1568419484.xml

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

MD5SUM BENCH= 9dec5151d217f705456bb861c341cf0d
RANDOM SEED=1557421837

node146.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	: 5332.90
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	: 5332.90
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	: 5332.90
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	: 5332.90
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:        31280456 kB
MemAvailable:   31883832 kB
Buffers:          180416 kB
Cached:           688216 kB
SwapCached:         4796 kB
Active:           501892 kB
Inactive:         372952 kB
Active(anon):      22224 kB
Inactive(anon):    21912 kB
Active(file):     479668 kB
Inactive(file):   351040 kB
Unevictable:      110128 kB
Mlocked:          110128 kB
SwapTotal:      67108860 kB
SwapFree:       67000464 kB
Dirty:             26780 kB
Writeback:             0 kB
AnonPages:        112504 kB
Mapped:            42100 kB
Shmem:             29812 kB
Slab:             207196 kB
SReclaimable:     177008 kB
SUnreclaim:        30188 kB
KernelStack:        3376 kB
PageTables:         5176 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     499416 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /tmp at the end= 59004 MiB
End job on node146 at 2019-09-14 02:46:04