Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| choco-solver 2019-09-20 | OPT | 4 | 13.2137 | 4.247 |
| Name | GraphColoring/GraphColoring-m1-mono/ GraphColoring-lei450-05c.xml |
| MD5SUM | 4c5949db6bfbca6a63c3d4670a37bb2f |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 4 |
| Best CPU time to get the best result obtained on this benchmark | 1.93663 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 450 |
| Number of constraints | 9803 |
| Number of domains | 1 |
| Minimum domain size | 450 |
| Maximum domain size | 450 |
| Distribution of domain sizes | [{"size":450,"count":450}] |
| Minimum variable degree | 28 |
| Maximum variable degree | 67 |
| Distribution of variable degrees | [{"degree":28,"count":1},{"degree":29,"count":1},{"degree":31,"count":2},{"degree":32,"count":7},{"degree":33,"count":5},{"degree":34,"count":2},{"degree":35,"count":4},{"degree":36,"count":18},{"degree":37,"count":10},{"degree":38,"count":21},{"degree":39,"count":27},{"degree":40,"count":25},{"degree":41,"count":33},{"degree":42,"count":22},{"degree":43,"count":23},{"degree":44,"count":27},{"degree":45,"count":26},{"degree":46,"count":37},{"degree":47,"count":26},{"degree":48,"count":25},{"degree":49,"count":23},{"degree":50,"count":17},{"degree":51,"count":11},{"degree":52,"count":13},{"degree":53,"count":9},{"degree":54,"count":8},{"degree":55,"count":4},{"degree":56,"count":1},{"degree":57,"count":4},{"degree":58,"count":5},{"degree":60,"count":5},{"degree":61,"count":4},{"degree":63,"count":1},{"degree":66,"count":2},{"degree":67,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 2 |
| Distribution of constraint arities | [{"arity":2,"count":9803}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 9803 |
| Distribution of constraint types | [{"type":"intension","count":9803}] |
| Optimization problem | YES |
| Type of objective | min MAXIMUM |
0.00/0.00 c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4404004-1568989987.xml" -tl '2400s' -p 4 0.12/0.18 c Choco 3fb4b153 0.12/0.18 c [HOME/instance-4404004-1568989987.xml, -tl, 2400s, -p, 4] 0.35/0.22 c 4 solvers in parallel 0.35/0.29 c parse instance... 7.01/2.66 c solve instance... 8.11/2.90 o 16 8.50/3.07 o 15 9.25/3.28 o 12 9.57/3.35 o 6 13.10/4.20 o 5 13.10/4.22 o 4 13.10/4.22 s OPTIMUM FOUND 13.10/4.22 v <instantiation> 13.10/4.22 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] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] </list> 13.10/4.22 v <values>1 2 0 4 3 1 2 0 4 3 1 2 0 4 3 1 2 0 4 3 1 2 0 4 3 1 2 0 4 3 1 2 0 4 3 1 2 0 4 3 1 2 0 4 3 1 2 0 4 3 1 2 0 4 3 1 2 0 4 3 1 2 0 4 3 1 2 0 4 3 1 2 0 4 3 1 2 0 4 3 1 2 0 4 3 1 2 0 4 3 1 2 0 4 3 1 2 0 4 3 1 2 0 4 3 1 2 0 4 3 1 2 0 4 3 1 2 0 4 3 1 2 0 4 3 1 2 0 4 3 1 2 0 4 3 1 2 0 4 3 1 2 0 4 3 1 2 0 4 3 1 2 0 4 3 1 2 0 4 3 1 2 0 4 3 1 2 0 4 3 1 2 0 4 3 1 2 0 4 3 1 2 0 4 3 1 2 0 4 3 1 2 0 4 3 1 2 0 4 3 1 2 0 4 3 1 2 0 4 3 1 2 0 4 3 1 2 0 4 3 1 2 0 4 3 1 2 0 4 3 1 2 0 4 3 1 2 0 4 3 1 2 0 4 3 1 2 0 4 3 1 2 0 4 3 1 2 0 4 3 1 2 0 4 3 1 2 0 4 3 1 2 0 4 3 1 2 0 4 3 1 2 0 4 3 1 2 0 4 3 1 2 0 4 3 1 2 0 4 3 1 2 0 4 3 1 2 0 4 3 1 2 0 4 3 1 2 0 4 3 1 2 0 4 3 1 2 0 4 3 1 2 0 4 3 1 2 0 4 3 1 2 0 4 3 1 2 0 4 3 1 2 0 4 3 1 2 0 4 3 1 2 0 4 3 1 2 0 4 3 1 2 0 4 3 1 2 0 4 3 1 2 0 4 3 1 2 0 4 3 1 2 0 4 3 1 2 0 4 3 1 2 0 4 3 1 2 0 4 3 1 2 0 4 3 1 2 0 4 3 1 2 0 4 3 1 2 0 4 3 1 2 0 4 3 1 2 0 4 3 1 2 0 4 3 1 2 0 4 3 </values> 13.10/4.22 v </instantiation>
OK 4
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 (5027 MiB free)
memory of node 1: 16384 MiB (5560 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404004-1568989987/watcher-4404004-1568989987 -o /var/tmp/evaluation-result-4404004-1568989987/solver-4404004-1568989987 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node117-1568989944-5359 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 2063454009 HOME/instance-4404004-1568989987.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=5387, runsolver pid=5381
[startup+0.100059 s]*
/proc/loadavg: 0.93 1.17 1.41 5/230 5419
/proc/meminfo: memFree=10806976/32770624 swapFree=66972236/67108860
[pid=5387] ppid=5381 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5387/stat : 5387 (xcsp3-exec) S 5381 5387 5327 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 474940558 115843072 363 33554432000 4194304 5098028 140732168969536 140732168967640 140317320962684 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 35803136 140732168971094 140732168971353 140732168971353 140732168974278 0
/proc/5387/statm: 28282 363 305 221 0 87 0
[pid=5390] ppid=5387 vsize=15144776 memory=30728 CPUtime=0.12 cores=1,3,5,7
/proc/5390/stat : 5390 (java) S 5387 5387 5327 0 -1 1077944320 5591 0 0 0 11 1 0 0 20 0 15 0 474940558 15508250624 7682 33554432000 4194304 4196468 140734699839328 140734699821872 140558710902519 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
/proc/5390/statm: 3786194 7682 3142 1 0 3748377 0
[pid=5390/tid=5392] ppid=5387 vsize=15144776 memory=7100839852958450802 CPUtime=0.09 cores=1,3,5,7
/proc/5390/task/5392/stat : 5392 (java) R 5387 5387 5327 0 -1 4202560 3541 0 0 0 8 1 0 0 20 0 15 0 474940558 15508250624 7682 33554432000 4194304 4196468 140734699839328 140558715136656 140558710923866 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5394] ppid=5387 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5394/stat : 5394 (java) S 5387 5387 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474940559 15508250624 7682 33554432000 4194304 4196468 140734699839328 140558647138704 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5397] ppid=5387 vsize=15144776 memory=140700855871104 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5397/stat : 5397 (java) S 5387 5387 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474940559 15508250624 7682 33554432000 4194304 4196468 140734699839328 140558646085904 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5399] ppid=5387 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5399/stat : 5399 (java) S 5387 5387 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474940559 15508250624 7682 33554432000 4194304 4196468 140734699839328 140558645033616 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5400] ppid=5387 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5400/stat : 5400 (java) S 5387 5387 5327 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474940559 15508250624 7682 33554432000 4194304 4196468 140734699839328 140558299879952 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5402] ppid=5387 vsize=15144776 memory=140700855871104 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5402/stat : 5402 (java) S 5387 5387 5327 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474940561 15508250624 7682 33554432000 4194304 4196468 140734699839328 140558246767216 140558710913666 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5404] ppid=5387 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5404/stat : 5404 (java) S 5387 5387 5327 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 474940561 15508250624 7682 33554432000 4194304 4196468 140734699839328 140558245713184 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5406] ppid=5387 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5406/stat : 5406 (java) S 5387 5387 5327 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 474940561 15508250624 7682 33554432000 4194304 4196468 140734699839328 140558244660848 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5408] ppid=5387 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5408/stat : 5408 (java) S 5387 5387 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474940564 15508250624 7682 33554432000 4194304 4196468 140734699839328 140558243609168 140558710921115 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5409] ppid=5387 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5409/stat : 5409 (java) R 5387 5387 5327 0 -1 1077944384 424 0 0 0 0 0 0 0 20 0 15 0 474940564 15508250624 7682 33554432000 4194304 4196468 140734699839328 140558242556016 140558710913666 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5410] ppid=5387 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5410/stat : 5410 (java) R 5387 5387 5327 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 15 0 474940564 15508250624 7682 33554432000 4194304 4196468 140734699839328 140557511812288 140558710923866 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5411] ppid=5387 vsize=15144776 memory=140700855871104 CPUtime=0.02 cores=1,3,5,7
/proc/5390/task/5411/stat : 5411 (java) R 5387 5387 5327 0 -1 4202560 324 0 0 0 2 0 0 0 20 0 15 0 474940564 15508250624 7682 33554432000 4194304 4196468 140734699839328 140557510760816 140558710923866 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5416] ppid=5387 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5416/stat : 5416 (java) S 5387 5387 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474940564 15508250624 7682 33554432000 4194304 4196468 140734699839328 140557509708256 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5418] ppid=5387 vsize=15144776 memory=140700855871104 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5418/stat : 5418 (java) S 5387 5387 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474940564 15508250624 7682 33554432000 4194304 4196468 140734699839328 140557508656048 140558710913666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 32180 KiB
[startup+0.213618 s]*
/proc/loadavg: 0.93 1.17 1.41 8/230 5419
/proc/meminfo: memFree=10780872/32770624 swapFree=66972236/67108860
[pid=5387] ppid=5381 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5387/stat : 5387 (xcsp3-exec) S 5381 5387 5327 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 474940558 115843072 363 33554432000 4194304 5098028 140732168969536 140732168967640 140317320962684 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 35803136 140732168971094 140732168971353 140732168971353 140732168974278 0
/proc/5387/statm: 28282 363 305 221 0 87 0
[pid=5390] ppid=5387 vsize=15144776 memory=42600 CPUtime=0.35 cores=1,3,5,7
/proc/5390/stat : 5390 (java) S 5387 5387 5327 0 -1 1077944320 9417 0 0 0 32 3 0 0 20 0 15 0 474940558 15508250624 10650 33554432000 4194304 4196468 140734699839328 140734699821872 140558710902519 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
/proc/5390/statm: 3786194 10650 3268 1 0 3748377 0
[pid=5390/tid=5392] ppid=5387 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/5390/task/5392/stat : 5392 (java) S 5387 5387 5327 0 -1 1077944384 6535 0 0 0 18 2 0 0 20 0 15 0 474940558 15508250624 10650 33554432000 4194304 4196468 140734699839328 140558715137504 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5394] ppid=5387 vsize=15144776 memory=13657 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5394/stat : 5394 (java) S 5387 5387 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474940559 15508250624 10650 33554432000 4194304 4196468 140734699839328 140558647138704 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5397] ppid=5387 vsize=15144776 memory=140700859213970 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5397/stat : 5397 (java) S 5387 5387 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474940559 15508250624 10650 33554432000 4194304 4196468 140734699839328 140558646085904 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5399] ppid=5387 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5399/stat : 5399 (java) S 5387 5387 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474940559 15508250624 10650 33554432000 4194304 4196468 140734699839328 140558645033616 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5400] ppid=5387 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5400/stat : 5400 (java) S 5387 5387 5327 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474940559 15508250624 10650 33554432000 4194304 4196468 140734699839328 140558299879952 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5402] ppid=5387 vsize=15144776 memory=140700855871104 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5402/stat : 5402 (java) S 5387 5387 5327 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 474940561 15508250624 10650 33554432000 4194304 4196468 140734699839328 140558246767216 140558710913666 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5404] ppid=5387 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5404/stat : 5404 (java) S 5387 5387 5327 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 474940561 15508250624 10650 33554432000 4194304 4196468 140734699839328 140558245713184 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5406] ppid=5387 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5406/stat : 5406 (java) S 5387 5387 5327 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 474940561 15508250624 10650 33554432000 4194304 4196468 140734699839328 140558244660848 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5408] ppid=5387 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5408/stat : 5408 (java) S 5387 5387 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474940564 15508250624 10650 33554432000 4194304 4196468 140734699839328 140558243609168 140558710921115 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5409] ppid=5387 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/5390/task/5409/stat : 5409 (java) S 5387 5387 5327 0 -1 1077944384 592 0 0 0 2 0 0 0 20 0 15 0 474940564 15508250624 10650 33554432000 4194304 4196468 140734699839328 140558242556016 140558710913666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5410] ppid=5387 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/5390/task/5410/stat : 5410 (java) S 5387 5387 5327 0 -1 1077944384 188 0 0 0 2 0 0 0 20 0 15 0 474940564 15508250624 10650 33554432000 4194304 4196468 140734699839328 140557511813104 140558710913666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5411] ppid=5387 vsize=15144776 memory=140700855871104 CPUtime=0.08 cores=1,3,5,7
/proc/5390/task/5411/stat : 5411 (java) S 5387 5387 5327 0 -1 1077944384 803 0 0 0 8 0 0 0 20 0 15 0 474940564 15508250624 10650 33554432000 4194304 4196468 140734699839328 140557510760816 140558710913666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5416] ppid=5387 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5416/stat : 5416 (java) S 5387 5387 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474940564 15508250624 10650 33554432000 4194304 4196468 140734699839328 140557509708256 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5418] ppid=5387 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5418/stat : 5418 (java) S 5387 5387 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474940564 15508250624 10650 33554432000 4194304 4196468 140734699839328 140557508656048 140558710913666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 44052 KiB
[startup+0.312559 s]*
/proc/loadavg: 0.93 1.17 1.41 7/230 5419
/proc/meminfo: memFree=10768260/32770624 swapFree=66972236/67108860
[pid=5387] ppid=5381 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5387/stat : 5387 (xcsp3-exec) S 5381 5387 5327 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 474940558 115843072 363 33554432000 4194304 5098028 140732168969536 140732168967640 140317320962684 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 35803136 140732168971094 140732168971353 140732168971353 140732168974278 0
/proc/5387/statm: 28282 363 305 221 0 87 0
[pid=5390] ppid=5387 vsize=15149032 memory=51308 CPUtime=0.52 cores=1,3,5,7
/proc/5390/stat : 5390 (java) S 5387 5387 5327 0 -1 1077944320 10624 0 1 0 48 4 0 0 20 0 15 0 474940558 15512608768 12827 33554432000 4194304 4196468 140734699839328 140734699821872 140558710902519 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
/proc/5390/statm: 3787258 12827 3324 1 0 3748377 0
[pid=5390/tid=5392] ppid=5387 vsize=15149032 memory=8317482817917895235 CPUtime=0.29 cores=1,3,5,7
/proc/5390/task/5392/stat : 5392 (java) R 5387 5387 5327 0 -1 4202560 7652 0 1 0 26 3 0 0 20 0 15 0 474940558 15512608768 12827 33554432000 4194304 4196468 140734699839328 140558715133632 140558694983006 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5394] ppid=5387 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5394/stat : 5394 (java) S 5387 5387 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474940559 15512608768 12827 33554432000 4194304 4196468 140734699839328 140558647138704 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5397] ppid=5387 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5397/stat : 5397 (java) S 5387 5387 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474940559 15512608768 12827 33554432000 4194304 4196468 140734699839328 140558646085904 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5399] ppid=5387 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5399/stat : 5399 (java) S 5387 5387 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474940559 15512608768 12827 33554432000 4194304 4196468 140734699839328 140558645033616 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5400] ppid=5387 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5400/stat : 5400 (java) S 5387 5387 5327 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474940559 15512608768 12827 33554432000 4194304 4196468 140734699839328 140558299879952 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5402] ppid=5387 vsize=15149032 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5402/stat : 5402 (java) S 5387 5387 5327 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 474940561 15512608768 12827 33554432000 4194304 4196468 140734699839328 140558246767216 140558710913666 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5404] ppid=5387 vsize=15149032 memory=7307460107981921142 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5404/stat : 5404 (java) S 5387 5387 5327 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 474940561 15512608768 12827 33554432000 4194304 4196468 140734699839328 140558245713184 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5406] ppid=5387 vsize=15149032 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5406/stat : 5406 (java) S 5387 5387 5327 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 474940561 15512608768 12827 33554432000 4194304 4196468 140734699839328 140558244660848 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5408] ppid=5387 vsize=15149032 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5408/stat : 5408 (java) S 5387 5387 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474940564 15512608768 12827 33554432000 4194304 4196468 140734699839328 140558243609168 140558710921115 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5409] ppid=5387 vsize=15149032 memory=3047711566422646390 CPUtime=0.04 cores=1,3,5,7
/proc/5390/task/5409/stat : 5409 (java) S 5387 5387 5327 0 -1 1077944384 602 0 0 0 4 0 0 0 20 0 15 0 474940564 15512608768 12827 33554432000 4194304 4196468 140734699839328 140558242556016 140558710913666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5410] ppid=5387 vsize=15149032 memory=-8412656567168561567 CPUtime=0.04 cores=1,3,5,7
/proc/5390/task/5410/stat : 5410 (java) S 5387 5387 5327 0 -1 1077944384 194 0 0 0 4 0 0 0 20 0 15 0 474940564 15512608768 12827 33554432000 4194304 4196468 140734699839328 140557511813104 140558710913666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5411] ppid=5387 vsize=15149032 memory=8325818968683490714 CPUtime=0.13 cores=1,3,5,7
/proc/5390/task/5411/stat : 5411 (java) S 5387 5387 5327 0 -1 1077944384 881 0 0 0 13 0 0 0 20 0 15 0 474940564 15512608768 12827 33554432000 4194304 4196468 140734699839328 140557510760816 140558710913666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5416] ppid=5387 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5416/stat : 5416 (java) S 5387 5387 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474940564 15512608768 12827 33554432000 4194304 4196468 140734699839328 140557509708256 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5418] ppid=5387 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5418/stat : 5418 (java) S 5387 5387 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474940564 15512608768 12827 33554432000 4194304 4196468 140734699839328 140557508656048 140558710913666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 52760 KiB
[startup+0.701214 s]
/proc/loadavg: 0.93 1.17 1.41 10/230 5419
/proc/meminfo: memFree=10730216/32770624 swapFree=66972236/67108860
[pid=5387] ppid=5381 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5387/stat : 5387 (xcsp3-exec) S 5381 5387 5327 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 474940558 115843072 363 33554432000 4194304 5098028 140732168969536 140732168967640 140317320962684 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 35803136 140732168971094 140732168971353 140732168971353 140732168974278 0
/proc/5387/statm: 28282 363 305 221 0 87 0
[pid=5390] ppid=5387 vsize=15151156 memory=114172 CPUtime=1.68 cores=1,3,5,7
/proc/5390/stat : 5390 (java) S 5387 5387 5327 0 -1 1077944320 14564 0 1 0 162 6 0 0 20 0 15 0 474940558 15514783744 28543 33554432000 4194304 4196468 140734699839328 140734699821872 140558710902519 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
/proc/5390/statm: 3787789 28543 3444 1 0 3748889 0
[pid=5390/tid=5392] ppid=5387 vsize=15151156 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/5390/task/5392/stat : 5392 (java) R 5387 5387 5327 0 -1 4202560 8263 0 1 0 63 4 0 0 20 0 15 0 474940558 15514783744 28543 33554432000 4194304 4196468 140734699839328 140558715135472 140558710924445 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5394] ppid=5387 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5394/stat : 5394 (java) S 5387 5387 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474940559 15514783744 28543 33554432000 4194304 4196468 140734699839328 140558647138704 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5397] ppid=5387 vsize=15151156 memory=33 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5397/stat : 5397 (java) S 5387 5387 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474940559 15514783744 28543 33554432000 4194304 4196468 140734699839328 140558646085904 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5399] ppid=5387 vsize=15151156 memory=-7816663703405220396 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5399/stat : 5399 (java) S 5387 5387 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474940559 15514783744 28543 33554432000 4194304 4196468 140734699839328 140558645033616 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5400] ppid=5387 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5400/stat : 5400 (java) S 5387 5387 5327 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474940559 15514783744 28543 33554432000 4194304 4196468 140734699839328 140558299879952 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5402] ppid=5387 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5402/stat : 5402 (java) R 5387 5387 5327 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 15 0 474940561 15514783744 28543 33554432000 4194304 4196468 140734699839328 140558246767216 140558703619671 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5404] ppid=5387 vsize=15151156 memory=43040 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5404/stat : 5404 (java) S 5387 5387 5327 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 474940561 15514783744 28543 33554432000 4194304 4196468 140734699839328 140558245713184 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5406] ppid=5387 vsize=15151156 memory=992 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5406/stat : 5406 (java) S 5387 5387 5327 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 474940561 15514783744 28543 33554432000 4194304 4196468 140734699839328 140558244660848 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5408] ppid=5387 vsize=15151156 memory=2044 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5408/stat : 5408 (java) S 5387 5387 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474940564 15514783744 28543 33554432000 4194304 4196468 140734699839328 140558243609168 140558710921115 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5409] ppid=5387 vsize=15151156 memory=1432 CPUtime=0.34 cores=1,3,5,7
/proc/5390/task/5409/stat : 5409 (java) R 5387 5387 5327 0 -1 4202560 1856 0 0 0 34 0 0 0 20 0 15 0 474940564 15514783744 28543 33554432000 4194304 4196468 140734699839328 140558242542040 140558692446737 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5410] ppid=5387 vsize=15151156 memory=11624 CPUtime=0.34 cores=1,3,5,7
/proc/5390/task/5410/stat : 5410 (java) R 5387 5387 5327 0 -1 4202560 1437 0 0 0 34 0 0 0 20 0 15 0 474940564 15514783744 28543 33554432000 4194304 4196468 140734699839328 140557511799128 140558692447311 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5411] ppid=5387 vsize=15151156 memory=740 CPUtime=0.29 cores=1,3,5,7
/proc/5390/task/5411/stat : 5411 (java) S 5387 5387 5327 0 -1 1077944384 1701 0 0 0 29 0 0 0 20 0 15 0 474940564 15514783744 28543 33554432000 4194304 4196468 140734699839328 140557510755136 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5416] ppid=5387 vsize=15151156 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5416/stat : 5416 (java) S 5387 5387 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474940564 15514783744 28543 33554432000 4194304 4196468 140734699839328 140557509708256 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5418] ppid=5387 vsize=15151156 memory=1552 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5418/stat : 5418 (java) S 5387 5387 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474940564 15514783744 28543 33554432000 4194304 4196468 140734699839328 140557508656048 140558710913666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
Current children cumulated CPU time: 1.68 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 115624 KiB
[startup+1.50553 s]
/proc/loadavg: 0.93 1.17 1.41 9/234 5427
/proc/meminfo: memFree=10599700/32770624 swapFree=66972236/67108860
[pid=5387] ppid=5381 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5387/stat : 5387 (xcsp3-exec) S 5381 5387 5327 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 474940558 115843072 363 33554432000 4194304 5098028 140732168969536 140732168967640 140317320962684 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 35803136 140732168971094 140732168971353 140732168971353 140732168974278 0
/proc/5387/statm: 28282 363 305 221 0 87 0
################
# More data... #
################
/proc/5390/task/5409/stat : 5409 (java) R 5387 5387 5327 0 -1 4202560 7214 0 0 0 222 1 0 0 20 0 19 0 474940564 15789527040 100038 33554432000 4194304 4196468 140734699839328 140558242541408 140558690558928 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5410] ppid=5387 vsize=15419460 memory=7014751519700636518 CPUtime=2.29 cores=1,3,5,7
/proc/5390/task/5410/stat : 5410 (java) R 5387 5387 5327 0 -1 4202560 5935 0 0 0 228 1 0 0 20 0 19 0 474940564 15789527040 100038 33554432000 4194304 4196468 140734699839328 140557511794464 140558703999355 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5411] ppid=5387 vsize=15419460 memory=0 CPUtime=0.72 cores=1,3,5,7
/proc/5390/task/5411/stat : 5411 (java) S 5387 5387 5327 0 -1 1077944384 3880 0 0 0 71 1 0 0 20 0 19 0 474940564 15789527040 100038 33554432000 4194304 4196468 140734699839328 140557510760816 140558710913666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5416] ppid=5387 vsize=15419460 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5416/stat : 5416 (java) S 5387 5387 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474940564 15789527040 100038 33554432000 4194304 4196468 140734699839328 140557509708256 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5418] ppid=5387 vsize=15419460 memory=288230621803970871 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5418/stat : 5418 (java) S 5387 5387 5327 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 19 0 474940564 15789527040 100038 33554432000 4194304 4196468 140734699839328 140557508656048 140558710913666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
Current children cumulated CPU time: 8.87 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 401604 KiB
[startup+4.24694 s]
# the end of solver process 5387 was just reported to runsolver
# cumulated CPU time of all completed processes: user=12.9881 s, system=0.225619 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.21117 s]
/proc/loadavg: 0.93 1.17 1.41 11/238 5435
/proc/meminfo: memFree=10260080/32770624 swapFree=66972236/67108860
[pid=5387] ppid=5381 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5387/stat : 5387 (xcsp3-exec) S 5381 5387 5327 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 474940558 115843072 363 33554432000 4194304 5098028 140732168969536 140732168967640 140317320962684 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 35803136 140732168971094 140732168971353 140732168971353 140732168974278 0
/proc/5387/statm: 28282 363 305 221 0 87 0
[pid=5390] ppid=5387 vsize=15419460 memory=400252 CPUtime=9.25 cores=1,3,5,7
/proc/5390/stat : 5390 (java) S 5387 5387 5327 0 -1 1077944320 31813 0 1 0 904 21 0 0 20 0 19 0 474940558 15789527040 100063 33554432000 4194304 4196468 140734699839328 140734699821872 140558710902519 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
/proc/5390/statm: 3854865 100063 3528 1 0 3815965 0
[pid=5390/tid=5392] ppid=5387 vsize=15419460 memory=6656426216303648864 CPUtime=2.45 cores=1,3,5,7
/proc/5390/task/5392/stat : 5392 (java) S 5387 5387 5327 0 -1 1077944384 11104 0 1 0 239 6 0 0 20 0 19 0 474940558 15789527040 100063 33554432000 4194304 4196468 140734699839328 140558715143296 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5394] ppid=5387 vsize=15419460 memory=8112282956445269571 CPUtime=0.06 cores=1,3,5,7
/proc/5390/task/5394/stat : 5394 (java) S 5387 5387 5327 0 -1 1077944384 697 0 0 0 4 2 0 0 20 0 19 0 474940559 15789527040 100063 33554432000 4194304 4196468 140734699839328 140558647138704 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5397] ppid=5387 vsize=15419460 memory=1412 CPUtime=0.06 cores=1,3,5,7
/proc/5390/task/5397/stat : 5397 (java) S 5387 5387 5327 0 -1 1077944384 261 0 0 0 4 2 0 0 20 0 19 0 474940559 15789527040 100063 33554432000 4194304 4196468 140734699839328 140558646085904 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5399] ppid=5387 vsize=15419460 memory=1408 CPUtime=0.06 cores=1,3,5,7
/proc/5390/task/5399/stat : 5399 (java) S 5387 5387 5327 0 -1 1077944384 180 0 0 0 4 2 0 0 20 0 19 0 474940559 15789527040 100063 33554432000 4194304 4196468 140734699839328 140558645033616 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5400] ppid=5387 vsize=15419460 memory=2432 CPUtime=0.06 cores=1,3,5,7
/proc/5390/task/5400/stat : 5400 (java) S 5387 5387 5327 0 -1 1077944384 148 0 0 0 4 2 0 0 20 0 19 0 474940559 15789527040 100063 33554432000 4194304 4196468 140734699839328 140558299879952 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5402] ppid=5387 vsize=15419460 memory=2424 CPUtime=0.01 cores=1,3,5,7
/proc/5390/task/5402/stat : 5402 (java) S 5387 5387 5327 0 -1 1077944384 527 0 0 0 1 0 0 0 20 0 19 0 474940561 15789527040 100063 33554432000 4194304 4196468 140734699839328 140558246767216 140558710913666 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5404] ppid=5387 vsize=15419460 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5404/stat : 5404 (java) S 5387 5387 5327 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 474940561 15789527040 100063 33554432000 4194304 4196468 140734699839328 140558245713248 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5406] ppid=5387 vsize=15419460 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5406/stat : 5406 (java) S 5387 5387 5327 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 19 0 474940561 15789527040 100063 33554432000 4194304 4196468 140734699839328 140558244660864 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5408] ppid=5387 vsize=15419460 memory=308200 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5408/stat : 5408 (java) S 5387 5387 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474940564 15789527040 100063 33554432000 4194304 4196468 140734699839328 140558243609168 140558710921115 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5409] ppid=5387 vsize=15419460 memory=161576 CPUtime=2.27 cores=1,3,5,7
/proc/5390/task/5409/stat : 5409 (java) R 5387 5387 5327 0 -1 4202560 7226 0 0 0 226 1 0 0 20 0 19 0 474940564 15789527040 100063 33554432000 4194304 4196468 140734699839328 140558242555120 140558689316489 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5410] ppid=5387 vsize=15419460 memory=1732 CPUtime=2.39 cores=1,3,5,7
/proc/5390/task/5410/stat : 5410 (java) R 5387 5387 5327 0 -1 4202560 5957 0 0 0 238 1 0 0 20 0 19 0 474940564 15789527040 100063 33554432000 4194304 4196468 140734699839328 140557511805224 140558694385836 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5411] ppid=5387 vsize=15419460 memory=1452 CPUtime=0.74 cores=1,3,5,7
/proc/5390/task/5411/stat : 5411 (java) S 5387 5387 5327 0 -1 1077944384 3893 0 0 0 73 1 0 0 20 0 19 0 474940564 15789527040 100063 33554432000 4194304 4196468 140734699839328 140557510760816 140558710913666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5416] ppid=5387 vsize=15419460 memory=130076 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5416/stat : 5416 (java) S 5387 5387 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474940564 15789527040 100063 33554432000 4194304 4196468 140734699839328 140557509708256 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5418] ppid=5387 vsize=15419460 memory=780 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5418/stat : 5418 (java) S 5387 5387 5327 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 19 0 474940564 15789527040 100063 33554432000 4194304 4196468 140734699839328 140557508656048 140558710913666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
Current children cumulated CPU time: 9.25 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 401704 KiB
[startup+4.0007 s]*
/proc/loadavg: 0.93 1.17 1.41 13/238 5447
/proc/meminfo: memFree=10248248/32770624 swapFree=66972236/67108860
[pid=5387] ppid=5381 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5387/stat : 5387 (xcsp3-exec) S 5381 5387 5327 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 474940558 115843072 363 33554432000 4194304 5098028 140732168969536 140732168967640 140317320962684 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 35803136 140732168971094 140732168971353 140732168971353 140732168974278 0
/proc/5387/statm: 28282 363 305 221 0 87 0
[pid=5390] ppid=5387 vsize=15419460 memory=402504 CPUtime=12.36 cores=1,3,5,7
/proc/5390/stat : 5390 (java) S 5387 5387 5327 0 -1 1077944320 32562 0 1 0 1215 21 0 0 20 0 19 0 474940558 15789527040 100626 33554432000 4194304 4196468 140734699839328 140734699821872 140558710902519 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
/proc/5390/statm: 3854865 100626 3535 1 0 3815965 0
[pid=5390/tid=5392] ppid=5387 vsize=15419460 memory=604974435181658243 CPUtime=2.45 cores=1,3,5,7
/proc/5390/task/5392/stat : 5392 (java) S 5387 5387 5327 0 -1 1077944384 11104 0 1 0 239 6 0 0 20 0 19 0 474940558 15789527040 100626 33554432000 4194304 4196468 140734699839328 140558715143296 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5394] ppid=5387 vsize=15419460 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/5390/task/5394/stat : 5394 (java) S 5387 5387 5327 0 -1 1077944384 697 0 0 0 4 2 0 0 20 0 19 0 474940559 15789527040 100626 33554432000 4194304 4196468 140734699839328 140558647138704 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5397] ppid=5387 vsize=15419460 memory=140700855880050 CPUtime=0.06 cores=1,3,5,7
/proc/5390/task/5397/stat : 5397 (java) S 5387 5387 5327 0 -1 1077944384 261 0 0 0 4 2 0 0 20 0 19 0 474940559 15789527040 100626 33554432000 4194304 4196468 140734699839328 140558646085904 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5399] ppid=5387 vsize=15419460 memory=6944656575208382560 CPUtime=0.06 cores=1,3,5,7
/proc/5390/task/5399/stat : 5399 (java) S 5387 5387 5327 0 -1 1077944384 180 0 0 0 4 2 0 0 20 0 19 0 474940559 15789527040 100626 33554432000 4194304 4196468 140734699839328 140558645033616 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5400] ppid=5387 vsize=15419460 memory=9126232286719478932 CPUtime=0.06 cores=1,3,5,7
/proc/5390/task/5400/stat : 5400 (java) S 5387 5387 5327 0 -1 1077944384 148 0 0 0 4 2 0 0 20 0 19 0 474940559 15789527040 100626 33554432000 4194304 4196468 140734699839328 140558299879952 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5402] ppid=5387 vsize=15419460 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/5390/task/5402/stat : 5402 (java) S 5387 5387 5327 0 -1 1077944384 527 0 0 0 1 0 0 0 20 0 19 0 474940561 15789527040 100626 33554432000 4194304 4196468 140734699839328 140558246767216 140558710913666 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5404] ppid=5387 vsize=15419460 memory=4210985976767669586 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5404/stat : 5404 (java) S 5387 5387 5327 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 474940561 15789527040 100626 33554432000 4194304 4196468 140734699839328 140558245713248 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5406] ppid=5387 vsize=15419460 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5406/stat : 5406 (java) S 5387 5387 5327 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 19 0 474940561 15789527040 100626 33554432000 4194304 4196468 140734699839328 140558244660864 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5408] ppid=5387 vsize=15419460 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5408/stat : 5408 (java) S 5387 5387 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474940564 15789527040 100626 33554432000 4194304 4196468 140734699839328 140558243609168 140558710921115 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5409] ppid=5387 vsize=15419460 memory=0 CPUtime=2.98 cores=1,3,5,7
/proc/5390/task/5409/stat : 5409 (java) R 5387 5387 5327 0 -1 4202560 7596 0 0 0 297 1 0 0 20 0 19 0 474940564 15789527040 100626 33554432000 4194304 4196468 140734699839328 140558242542040 140558695826885 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5410] ppid=5387 vsize=15419460 memory=11205724500836 CPUtime=3.07 cores=1,3,5,7
/proc/5390/task/5410/stat : 5410 (java) R 5387 5387 5327 0 -1 4202560 6075 0 0 0 306 1 0 0 20 0 19 0 474940564 15789527040 100626 33554432000 4194304 4196468 140734699839328 140557511806128 140558695658819 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5411] ppid=5387 vsize=15419460 memory=140700855871104 CPUtime=0.82 cores=1,3,5,7
/proc/5390/task/5411/stat : 5411 (java) S 5387 5387 5327 0 -1 1077944384 4004 0 0 0 80 2 0 0 20 0 19 0 474940564 15789527040 100626 33554432000 4194304 4196468 140734699839328 140557510760816 140558710913666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5416] ppid=5387 vsize=15419460 memory=140700713110223 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5416/stat : 5416 (java) S 5387 5387 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474940564 15789527040 100626 33554432000 4194304 4196468 140734699839328 140557509708256 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5418] ppid=5387 vsize=15419460 memory=281401426009632 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5418/stat : 5418 (java) S 5387 5387 5327 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 19 0 474940564 15789527040 100626 33554432000 4194304 4196468 140734699839328 140557508656048 140558710913666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5444] ppid=5387 vsize=15419460 memory=281401426014048 CPUtime=0.43 cores=1,3,5,7
/proc/5390/task/5444/stat : 5444 (java) R 5387 5387 5327 0 -1 4202560 19 0 0 0 43 0 0 0 20 0 19 0 474940893 15789527040 100626 33554432000 4194304 4196468 140734699839328 140557188574680 140558334102800 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5445] ppid=5387 vsize=15419460 memory=281401426018464 CPUtime=0.39 cores=1,3,5,7
/proc/5390/task/5445/stat : 5445 (java) R 5387 5387 5327 0 -1 4202560 18 0 0 0 39 0 0 0 20 0 19 0 474940893 15789527040 100626 33554432000 4194304 4196468 140734699839328 140557503965704 140558333091516 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5446] ppid=5387 vsize=15419460 memory=4638778398332698720 CPUtime=0.34 cores=1,3,5,7
/proc/5390/task/5446/stat : 5446 (java) R 5387 5387 5327 0 -1 4202560 17 0 0 0 34 0 0 0 20 0 19 0 474940893 15789527040 100626 33554432000 4194304 4196468 140734699839328 140557189628600 140558332709710 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5447] ppid=5387 vsize=15419460 memory=6935649255759568960 CPUtime=0.29 cores=1,3,5,7
/proc/5390/task/5447/stat : 5447 (java) R 5387 5387 5327 0 -1 4202560 26 0 0 0 29 0 0 0 20 0 19 0 474940893 15789527040 100626 33554432000 4194304 4196468 140734699839328 140557190679272 140558332378623 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
Current children cumulated CPU time: 12.36 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 403956 KiB
[startup+4.2044 s]
/proc/loadavg: 0.93 1.17 1.41 13/238 5447
/proc/meminfo: memFree=10248248/32770624 swapFree=66972236/67108860
[pid=5387] ppid=5381 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5387/stat : 5387 (xcsp3-exec) S 5381 5387 5327 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 474940558 115843072 363 33554432000 4194304 5098028 140732168969536 140732168967640 140317320962684 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 35803136 140732168971094 140732168971353 140732168971353 140732168974278 0
/proc/5387/statm: 28282 363 305 221 0 87 0
[pid=5390] ppid=5387 vsize=15419460 memory=402960 CPUtime=13.1 cores=1,3,5,7
/proc/5390/stat : 5390 (java) S 5387 5387 5327 0 -1 1077944320 32635 0 1 0 1289 21 0 0 20 0 19 0 474940558 15789527040 100740 33554432000 4194304 4196468 140734699839328 140734699821872 140558710902519 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
/proc/5390/statm: 3854865 100740 3535 1 0 3815965 0
[pid=5390/tid=5392] ppid=5387 vsize=15419460 memory=7013343114107841133 CPUtime=2.45 cores=1,3,5,7
/proc/5390/task/5392/stat : 5392 (java) S 5387 5387 5327 0 -1 1077944384 11104 0 1 0 239 6 0 0 20 0 19 0 474940558 15789527040 100740 33554432000 4194304 4196468 140734699839328 140558715143296 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5394] ppid=5387 vsize=15419460 memory=7019257425709197167 CPUtime=0.06 cores=1,3,5,7
/proc/5390/task/5394/stat : 5394 (java) S 5387 5387 5327 0 -1 1077944384 697 0 0 0 4 2 0 0 20 0 19 0 474940559 15789527040 100740 33554432000 4194304 4196468 140734699839328 140558647138704 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5397] ppid=5387 vsize=15419460 memory=8170745150040658258 CPUtime=0.06 cores=1,3,5,7
/proc/5390/task/5397/stat : 5397 (java) S 5387 5387 5327 0 -1 1077944384 261 0 0 0 4 2 0 0 20 0 19 0 474940559 15789527040 100740 33554432000 4194304 4196468 140734699839328 140558646085904 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5399] ppid=5387 vsize=15419460 memory=140700712992145 CPUtime=0.06 cores=1,3,5,7
/proc/5390/task/5399/stat : 5399 (java) S 5387 5387 5327 0 -1 1077944384 180 0 0 0 4 2 0 0 20 0 19 0 474940559 15789527040 100740 33554432000 4194304 4196468 140734699839328 140558645033616 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5400] ppid=5387 vsize=15419460 memory=6655300316396806240 CPUtime=0.06 cores=1,3,5,7
/proc/5390/task/5400/stat : 5400 (java) S 5387 5387 5327 0 -1 1077944384 148 0 0 0 4 2 0 0 20 0 19 0 474940559 15789527040 100740 33554432000 4194304 4196468 140734699839328 140558299879952 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5402] ppid=5387 vsize=15419460 memory=6944656575208382560 CPUtime=0.01 cores=1,3,5,7
/proc/5390/task/5402/stat : 5402 (java) S 5387 5387 5327 0 -1 1077944384 527 0 0 0 1 0 0 0 20 0 19 0 474940561 15789527040 100740 33554432000 4194304 4196468 140734699839328 140558246767216 140558710913666 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5404] ppid=5387 vsize=15419460 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5404/stat : 5404 (java) S 5387 5387 5327 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 474940561 15789527040 100740 33554432000 4194304 4196468 140734699839328 140558245713248 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5406] ppid=5387 vsize=15419460 memory=8328137078682933384 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5406/stat : 5406 (java) S 5387 5387 5327 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 19 0 474940561 15789527040 100740 33554432000 4194304 4196468 140734699839328 140558244660864 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5408] ppid=5387 vsize=15419460 memory=4638778398332698720 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5408/stat : 5408 (java) S 5387 5387 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474940564 15789527040 100740 33554432000 4194304 4196468 140734699839328 140558243609168 140558710921115 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5409] ppid=5387 vsize=15419460 memory=6935649255877011281 CPUtime=3.14 cores=1,3,5,7
/proc/5390/task/5409/stat : 5409 (java) R 5387 5387 5327 0 -1 4202560 7629 0 0 0 313 1 0 0 20 0 19 0 474940564 15789527040 100740 33554432000 4194304 4196468 140734699839328 140558242542080 140558703136933 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5410] ppid=5387 vsize=15419460 memory=4638778398332698720 CPUtime=3.2 cores=1,3,5,7
/proc/5390/task/5410/stat : 5410 (java) R 5387 5387 5327 0 -1 4202560 6092 0 0 0 319 1 0 0 20 0 19 0 474940564 15789527040 100740 33554432000 4194304 4196468 140734699839328 140557511799872 140558695831079 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5411] ppid=5387 vsize=15419460 memory=7444843076533644388 CPUtime=0.83 cores=1,3,5,7
/proc/5390/task/5411/stat : 5411 (java) R 5387 5387 5327 0 -1 1077944384 4025 0 0 0 81 2 0 0 20 0 19 0 474940564 15789527040 100740 33554432000 4194304 4196468 140734699839328 140557510760816 140558710913666 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5416] ppid=5387 vsize=15419460 memory=5787213827046467687 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5416/stat : 5416 (java) S 5387 5387 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474940564 15789527040 100740 33554432000 4194304 4196468 140734699839328 140557509708256 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5418] ppid=5387 vsize=15419460 memory=4640204490969339242 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5418/stat : 5418 (java) S 5387 5387 5327 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 19 0 474940564 15789527040 100740 33554432000 4194304 4196468 140734699839328 140557508656048 140558710913666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5444] ppid=5387 vsize=15419460 memory=5938367083642962016 CPUtime=0.52 cores=1,3,5,7
/proc/5390/task/5444/stat : 5444 (java) R 5387 5387 5327 0 -1 1077944384 19 0 0 0 52 0 0 0 20 0 19 0 474940893 15789527040 100740 33554432000 4194304 4196468 140734699839328 140557188580560 140558710912725 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5445] ppid=5387 vsize=15419460 memory=164720343 CPUtime=0.49 cores=1,3,5,7
/proc/5390/task/5445/stat : 5445 (java) R 5387 5387 5327 0 -1 1077944384 18 0 0 0 49 0 0 0 20 0 19 0 474940893 15789527040 100740 33554432000 4194304 4196468 140734699839328 140557503968848 140558710912725 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5446] ppid=5387 vsize=15419460 memory=140700713033683 CPUtime=0.47 cores=1,3,5,7
/proc/5390/task/5446/stat : 5446 (java) R 5387 5387 5327 0 -1 1077944384 18 0 0 0 47 0 0 0 20 0 19 0 474940893 15789527040 100740 33554432000 4194304 4196468 140734699839328 140557189633488 140558710912725 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5447] ppid=5387 vsize=15419460 memory=281401426071616 CPUtime=0.4 cores=1,3,5,7
/proc/5390/task/5447/stat : 5447 (java) R 5387 5387 5327 0 -1 1077944384 26 0 0 0 40 0 0 0 20 0 19 0 474940893 15789527040 100740 33554432000 4194304 4196468 140734699839328 140557190685520 140558710912725 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
Current children cumulated CPU time: 13.1 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 404412 KiB
Child status: 0
Real time (s): 4.247
CPU time (s): 13.2137
CPU user time (s): 12.9881
CPU system time (s): 0.225619
CPU usage (%): 311.13
Max. virtual memory (cumulated for all children) (KiB): 15532588
Max. memory (cumulated for all children) (KiB): 404412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.9881
system time used= 0.225619
maximum resident set size= 403992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33379
page faults= 1
swaps= 0
block input operations= 368
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2686
involuntary context switches= 344
# summary of solver processes directly reported to runsolver:
# pid: 5387
# total CPU time (s): 13.2137
# total CPU user time (s): 12.9881
# total CPU system time (s): 0.225619
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.048333 second user time and 0.090746 second system time
The end
Begin job on node117 at 2019-09-20 16:32:24 IDJOB=4404004 IDBENCH=120578 IDSOLVER=2864 FILE ID=node117/4404004-1568989987 RUNJOBID= node117-1568989944-5359 PBS_JOBID= 21704646 Free space on /var/tmp= 13512 MiB SOLVER NAME= choco-solver 2019-09-20 BENCH NAME= XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-lei450-05c.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404004-1568989987/watcher-4404004-1568989987 -o /var/tmp/evaluation-result-4404004-1568989987/solver-4404004-1568989987 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node117-1568989944-5359 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 2063454009 HOME/instance-4404004-1568989987.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4c5949db6bfbca6a63c3d4670a37bb2f RANDOM SEED=2063454009 node117.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.75 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: 10842784 kB MemAvailable: 31832552 kB Buffers: 134676 kB Cached: 20761188 kB SwapCached: 27756 kB Active: 10386920 kB Inactive: 10540288 kB Active(anon): 3984 kB Inactive(anon): 68744 kB Active(file): 10382936 kB Inactive(file): 10471544 kB Unevictable: 108816 kB Mlocked: 108816 kB SwapTotal: 67108860 kB SwapFree: 66972236 kB Dirty: 52700 kB Writeback: 0 kB AnonPages: 114284 kB Mapped: 47384 kB Shmem: 32412 kB Slab: 592600 kB SReclaimable: 563748 kB SUnreclaim: 28852 kB KernelStack: 3296 kB PageTables: 6456 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 511768 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: 118144 kB DirectMap2M: 33427456 kB Free space on /var/tmp at the end= 13460 MiB End job on node117 at 2019-09-20 16:32:28