Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-06-14 parallel | OPT | 4 | 12.2648 | 3.62015 |
Name | GraphColoring/GraphColoring-m1-mono/ GraphColoring-lei450-05d.xml |
MD5SUM | 368e26568da76f7c30ce4b17b57b0014 |
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 | 2.19767 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 450 |
Number of constraints | 9757 |
Number of domains | 1 |
Minimum domain size | 450 |
Maximum domain size | 450 |
Distribution of domain sizes | [{"size":450,"count":450}] |
Minimum variable degree | 30 |
Maximum variable degree | 69 |
Distribution of variable degrees | [{"degree":30,"count":2},{"degree":32,"count":5},{"degree":33,"count":14},{"degree":34,"count":7},{"degree":35,"count":13},{"degree":36,"count":18},{"degree":37,"count":13},{"degree":38,"count":17},{"degree":39,"count":17},{"degree":40,"count":27},{"degree":41,"count":16},{"degree":42,"count":32},{"degree":43,"count":28},{"degree":44,"count":28},{"degree":45,"count":29},{"degree":46,"count":24},{"degree":47,"count":22},{"degree":48,"count":17},{"degree":49,"count":23},{"degree":50,"count":15},{"degree":51,"count":17},{"degree":52,"count":14},{"degree":53,"count":14},{"degree":54,"count":11},{"degree":55,"count":9},{"degree":56,"count":4},{"degree":57,"count":4},{"degree":58,"count":2},{"degree":59,"count":2},{"degree":60,"count":1},{"degree":62,"count":1},{"degree":65,"count":2},{"degree":66,"count":1},{"degree":69,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":9757}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 9757 |
Distribution of constraint types | [{"type":"intension","count":9757}] |
Optimization problem | YES |
Type of objective | min MAXIMUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4394436-1568419386.xml" -tl '20160s' -p 8 0.14/0.18 c Choco e747e1e 0.14/0.18 c [HOME/instance-4394436-1568419386.xml, -tl, 20160s, -p, 8] 0.34/0.23 c 8 solvers in parallel 0.34/0.29 c parse instance... 8.88/3.10 c solve instance... 10.33/3.32 o 17 11.05/3.48 o 16 11.05/3.48 o 4 11.66/3.59 s OPTIMUM FOUND 11.66/3.59 v <instantiation> 11.66/3.59 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> 11.66/3.59 v <values>4 0 3 2 2 4 0 3 2 1 4 0 3 2 2 4 0 3 2 1 4 0 3 1 2 4 0 3 1 2 4 0 3 1 1 4 0 3 1 2 4 0 3 1 1 4 0 3 1 1 4 0 3 1 2 4 0 3 1 1 4 0 3 1 2 4 0 3 1 2 4 0 3 1 1 4 0 3 1 2 4 0 3 2 1 4 0 3 2 2 4 0 3 2 2 4 0 3 2 1 4 0 3 2 2 4 0 3 2 1 4 0 3 2 2 4 0 3 2 2 4 0 3 2 1 4 0 3 2 2 4 0 3 1 1 4 0 3 1 1 4 0 3 1 2 4 0 3 1 1 4 0 3 1 2 4 0 3 1 2 4 0 3 1 1 4 0 3 1 2 4 0 3 1 1 4 0 3 1 2 4 0 3 1 2 4 0 3 1 1 4 0 3 1 2 4 0 3 2 1 4 0 3 2 2 4 0 3 2 2 4 0 3 2 1 4 0 3 2 2 4 0 3 2 1 4 0 3 2 1 4 0 3 2 2 4 0 3 2 1 4 0 3 2 2 4 0 3 1 2 4 0 3 1 1 4 0 3 1 2 4 0 3 1 1 4 0 3 1 2 4 0 3 1 2 4 0 3 1 1 4 0 3 1 2 4 0 3 1 1 4 0 3 1 2 4 0 3 1 2 4 0 3 1 1 4 0 3 2 2 4 0 3 2 1 4 0 3 2 1 4 0 3 2 2 4 0 3 2 1 4 0 3 2 2 4 0 3 2 2 4 0 3 2 1 4 0 3 2 2 4 0 3 2 1 4 0 3 1 2 4 0 3 1 2 4 0 3 1 1 4 0 3 1 2 4 0 3 1 1 4 0 3 1 2 4 0 3 1 2 4 0 3 1 1 4 0 3 1 2 4 0 3 1 1 4 0 3 1 1 4 0 3 1 2 4 0 3 1 1 4 0 3 2 2 4 0 3 2 2 4 0 3 2 1 4 0 3 2 2 4 0 3 2 1 4 0 3 2 2 </values> 11.66/3.59 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 (14380 MiB free) memory of node 1: 16384 MiB (15171 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394436-1568419386/watcher-4394436-1568419386 -o /tmp/evaluation-result-4394436-1568419386/solver-4394436-1568419386 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node134-1568416726-24393 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1466383155 HOME/instance-4394436-1568419386.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 solver pid=27891, runsolver pid=27888 Current StackSize limit: 8192 KiB [startup+0.10707 s]* /proc/loadavg: 7.31 7.94 6.23 4/218 27912 /proc/meminfo: memFree=30243700/32770624 swapFree=66916608/67108860 [pid=27891] ppid=27888 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/27891/stat : 27891 (xcsp3-exec) S 27888 27891 24366 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 418189173 115843072 364 33554432000 4194304 5098028 140732587910608 140732587908712 139773754049148 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17899520 140732587918197 140732587918441 140732587918441 140732587921354 0 /proc/27891/statm: 28282 364 305 221 0 87 0 [pid=27893] ppid=27891 vsize=28227388 memory=29176 CPUtime=0.14 cores=0-7 /proc/27893/stat : 27893 (java) S 27891 27891 24366 0 -1 1077944320 5757 0 0 0 13 1 0 0 20 0 20 0 418189174 28904845312 7294 33554432000 4194304 4196468 140724606998800 140724606981344 139696625442551 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 /proc/27893/statm: 7056847 7294 3157 1 0 7019032 0 [pid=27893/tid=27894] ppid=27891 vsize=28227388 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/27893/task/27894/stat : 27894 (java) R 27891 27891 24366 0 -1 4202560 3626 0 0 0 9 0 0 0 20 0 20 0 418189174 28904845312 7294 33554432000 4194304 4196468 140724606998800 139696629673696 139696625454486 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27895] ppid=27891 vsize=28227388 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/27893/task/27895/stat : 27895 (java) S 27891 27891 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418189175 28904845312 7294 33554432000 4194304 4196468 140724606998800 139696578062864 139696625452757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27896] ppid=27891 vsize=28227388 memory=140548116657792 CPUtime=0 cores=0-7 /proc/27893/task/27896/stat : 27896 (java) S 27891 27891 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418189175 28904845312 7294 33554432000 4194304 4196468 140724606998800 139696577010320 139696625452757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27897] ppid=27891 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/27893/task/27897/stat : 27897 (java) S 27891 27891 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418189175 28904845312 7294 33554432000 4194304 4196468 140724606998800 139696575957264 139696625452757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27898] ppid=27891 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/27893/task/27898/stat : 27898 (java) S 27891 27891 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418189175 28904845312 7294 33554432000 4194304 4196468 140724606998800 139696574904720 139696625452757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27899] ppid=27891 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/27893/task/27899/stat : 27899 (java) S 27891 27891 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418189175 28904845312 7294 33554432000 4194304 4196468 140724606998800 139696573852688 139696625452757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27900] ppid=27891 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/27893/task/27900/stat : 27900 (java) S 27891 27891 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418189175 28904845312 7294 33554432000 4194304 4196468 140724606998800 139696572800144 139696625452757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27901] ppid=27891 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/27893/task/27901/stat : 27901 (java) S 27891 27891 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418189175 28904845312 7294 33554432000 4194304 4196468 140724606998800 139696571747088 139696625452757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27902] ppid=27891 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/27893/task/27902/stat : 27902 (java) S 27891 27891 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418189175 28904845312 7294 33554432000 4194304 4196468 140724606998800 139696570694544 139696625452757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27903] ppid=27891 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/27893/task/27903/stat : 27903 (java) S 27891 27891 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418189176 28904845312 7294 33554432000 4194304 4196468 140724606998800 139695674554608 139696625453698 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27904] ppid=27891 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/27893/task/27904/stat : 27904 (java) S 27891 27891 24366 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418189177 28904845312 7294 33554432000 4194304 4196468 140724606998800 139695673500832 139696625452757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27905] ppid=27891 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/27893/task/27905/stat : 27905 (java) S 27891 27891 24366 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418189177 28904845312 7294 33554432000 4194304 4196468 140724606998800 139695672447728 139696625452757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27906] ppid=27891 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/27893/task/27906/stat : 27906 (java) S 27891 27891 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418189179 28904845312 7294 33554432000 4194304 4196468 140724606998800 139695671396304 139696625461147 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27907] ppid=27891 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/27893/task/27907/stat : 27907 (java) S 27891 27891 24366 0 -1 1077944384 422 0 0 0 0 0 0 0 20 0 20 0 418189179 28904845312 7294 33554432000 4194304 4196468 140724606998800 139695670344432 139696625453698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27908] ppid=27891 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/27893/task/27908/stat : 27908 (java) S 27891 27891 24366 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 418189179 28904845312 7294 33554432000 4194304 4196468 140724606998800 139695669291888 139696625453698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27909] ppid=27891 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/27893/task/27909/stat : 27909 (java) S 27891 27891 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418189179 28904845312 7294 33554432000 4194304 4196468 140724606998800 139695668238832 139696625453698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27910] ppid=27891 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7 /proc/27893/task/27910/stat : 27910 (java) S 27891 27891 24366 0 -1 1077944384 359 0 0 0 2 0 0 0 20 0 20 0 418189179 28904845312 7294 33554432000 4194304 4196468 140724606998800 139695667186288 139696625453698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27911] ppid=27891 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/27893/task/27911/stat : 27911 (java) S 27891 27891 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418189180 28904845312 7294 33554432000 4194304 4196468 140724606998800 139695666133472 139696625452757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27912] ppid=27891 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/27893/task/27912/stat : 27912 (java) S 27891 27891 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418189180 28904845312 7294 33554432000 4194304 4196468 140724606998800 139695665081008 139696625453698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 Current children cumulated CPU time: 0.14 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 30632 KiB [startup+0.21077 s]* /proc/loadavg: 7.31 7.94 6.23 3/218 27912 /proc/meminfo: memFree=30231884/32770624 swapFree=66916608/67108860 [pid=27891] ppid=27888 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/27891/stat : 27891 (xcsp3-exec) S 27888 27891 24366 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 418189173 115843072 364 33554432000 4194304 5098028 140732587910608 140732587908712 139773754049148 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17899520 140732587918197 140732587918441 140732587918441 140732587921354 0 /proc/27891/statm: 28282 364 305 221 0 87 0 [pid=27893] ppid=27891 vsize=28227388 memory=40872 CPUtime=0.34 cores=0-7 /proc/27893/stat : 27893 (java) S 27891 27891 24366 0 -1 1077944320 9467 0 0 0 32 2 0 0 20 0 20 0 418189174 28904845312 10218 33554432000 4194304 4196468 140724606998800 140724606981344 139696625442551 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 /proc/27893/statm: 7056847 10218 3264 1 0 7019032 0 [pid=27893/tid=27894] ppid=27891 vsize=28227388 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/27893/task/27894/stat : 27894 (java) R 27891 27891 24366 0 -1 4202560 6621 0 0 0 18 1 0 0 20 0 20 0 418189174 28904845312 10218 33554432000 4194304 4196468 140724606998800 139696629675280 139696609523038 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27895] ppid=27891 vsize=28227388 memory=342 CPUtime=0 cores=0-7 /proc/27893/task/27895/stat : 27895 (java) S 27891 27891 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418189175 28904845312 10218 33554432000 4194304 4196468 140724606998800 139696578062864 139696625452757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27896] ppid=27891 vsize=28227388 memory=140548116681029 CPUtime=0 cores=0-7 /proc/27893/task/27896/stat : 27896 (java) S 27891 27891 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418189175 28904845312 10218 33554432000 4194304 4196468 140724606998800 139696577010320 139696625452757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27897] ppid=27891 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/27893/task/27897/stat : 27897 (java) S 27891 27891 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418189175 28904845312 10218 33554432000 4194304 4196468 140724606998800 139696575957264 139696625452757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27898] ppid=27891 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/27893/task/27898/stat : 27898 (java) S 27891 27891 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418189175 28904845312 10218 33554432000 4194304 4196468 140724606998800 139696574904720 139696625452757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27899] ppid=27891 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/27893/task/27899/stat : 27899 (java) S 27891 27891 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418189175 28904845312 10218 33554432000 4194304 4196468 140724606998800 139696573852688 139696625452757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27900] ppid=27891 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/27893/task/27900/stat : 27900 (java) S 27891 27891 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418189175 28904845312 10218 33554432000 4194304 4196468 140724606998800 139696572800144 139696625452757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27901] ppid=27891 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/27893/task/27901/stat : 27901 (java) S 27891 27891 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418189175 28904845312 10218 33554432000 4194304 4196468 140724606998800 139696571747088 139696625452757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27902] ppid=27891 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/27893/task/27902/stat : 27902 (java) S 27891 27891 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418189175 28904845312 10218 33554432000 4194304 4196468 140724606998800 139696570694544 139696625452757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27903] ppid=27891 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/27893/task/27903/stat : 27903 (java) S 27891 27891 24366 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418189176 28904845312 10218 33554432000 4194304 4196468 140724606998800 139695674554608 139696625453698 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27904] ppid=27891 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/27893/task/27904/stat : 27904 (java) S 27891 27891 24366 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418189177 28904845312 10218 33554432000 4194304 4196468 140724606998800 139695673500832 139696625452757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27905] ppid=27891 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/27893/task/27905/stat : 27905 (java) S 27891 27891 24366 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418189177 28904845312 10218 33554432000 4194304 4196468 140724606998800 139695672447728 139696625452757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27906] ppid=27891 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/27893/task/27906/stat : 27906 (java) S 27891 27891 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418189179 28904845312 10218 33554432000 4194304 4196468 140724606998800 139695671396304 139696625461147 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27907] ppid=27891 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7 /proc/27893/task/27907/stat : 27907 (java) S 27891 27891 24366 0 -1 1077944384 614 0 0 0 2 0 0 0 20 0 20 0 418189179 28904845312 10218 33554432000 4194304 4196468 140724606998800 139695670344432 139696625453698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27908] ppid=27891 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/27893/task/27908/stat : 27908 (java) S 27891 27891 24366 0 -1 1077944384 44 0 0 0 1 0 0 0 20 0 20 0 418189179 28904845312 10218 33554432000 4194304 4196468 140724606998800 139695669291888 139696625453698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27909] ppid=27891 vsize=28227388 memory=-1 CPUtime=0.02 cores=0-7 /proc/27893/task/27909/stat : 27909 (java) S 27891 27891 24366 0 -1 1077944384 105 0 0 0 2 0 0 0 20 0 20 0 418189179 28904845312 10218 33554432000 4194304 4196468 140724606998800 139695668238832 139696625453698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27910] ppid=27891 vsize=28227388 memory=-1 CPUtime=0.07 cores=0-7 /proc/27893/task/27910/stat : 27910 (java) S 27891 27891 24366 0 -1 1077944384 772 0 0 0 7 0 0 0 20 0 20 0 418189179 28904845312 10218 33554432000 4194304 4196468 140724606998800 139695667186288 139696625453698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27911] ppid=27891 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/27893/task/27911/stat : 27911 (java) S 27891 27891 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418189180 28904845312 10218 33554432000 4194304 4196468 140724606998800 139695666133472 139696625452757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27912] ppid=27891 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/27893/task/27912/stat : 27912 (java) S 27891 27891 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418189180 28904845312 10218 33554432000 4194304 4196468 140724606998800 139695665081008 139696625453698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 42328 KiB [startup+0.310398 s]* /proc/loadavg: 7.31 7.94 6.23 3/218 27912 /proc/meminfo: memFree=30226104/32770624 swapFree=66916608/67108860 [pid=27891] ppid=27888 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/27891/stat : 27891 (xcsp3-exec) S 27888 27891 24366 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 418189173 115843072 364 33554432000 4194304 5098028 140732587910608 140732587908712 139773754049148 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17899520 140732587918197 140732587918441 140732587918441 140732587921354 0 /proc/27891/statm: 28282 364 305 221 0 87 0 [pid=27893] ppid=27891 vsize=28231644 memory=49464 CPUtime=0.53 cores=0-7 /proc/27893/stat : 27893 (java) S 27891 27891 24366 0 -1 1077944320 10724 0 0 0 49 4 0 0 20 0 20 0 418189174 28909203456 12366 33554432000 4194304 4196468 140724606998800 140724606981344 139696625442551 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 /proc/27893/statm: 7057911 12366 3341 1 0 7019032 0 [pid=27893/tid=27894] ppid=27891 vsize=28231644 memory=6791534058613427641 CPUtime=0.3 cores=0-7 /proc/27893/task/27894/stat : 27894 (java) R 27891 27891 24366 0 -1 4202560 7680 0 0 0 27 3 0 0 20 0 20 0 418189174 28909203456 12366 33554432000 4194304 4196468 140724606998800 139696629673664 139696618120565 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27895] ppid=27891 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/27893/task/27895/stat : 27895 (java) S 27891 27891 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418189175 28909203456 12366 33554432000 4194304 4196468 140724606998800 139696578062864 139696625452757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27896] ppid=27891 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/27893/task/27896/stat : 27896 (java) S 27891 27891 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418189175 28909203456 12366 33554432000 4194304 4196468 140724606998800 139696577010320 139696625452757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27897] ppid=27891 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/27893/task/27897/stat : 27897 (java) S 27891 27891 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418189175 28909203456 12366 33554432000 4194304 4196468 140724606998800 139696575957264 139696625452757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27898] ppid=27891 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/27893/task/27898/stat : 27898 (java) S 27891 27891 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418189175 28909203456 12366 33554432000 4194304 4196468 140724606998800 139696574904720 139696625452757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27899] ppid=27891 vsize=28231644 memory=2244 CPUtime=0 cores=0-7 /proc/27893/task/27899/stat : 27899 (java) S 27891 27891 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418189175 28909203456 12366 33554432000 4194304 4196468 140724606998800 139696573852688 139696625452757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27900] ppid=27891 vsize=28231644 memory=140547973018543 CPUtime=0 cores=0-7 /proc/27893/task/27900/stat : 27900 (java) S 27891 27891 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418189175 28909203456 12366 33554432000 4194304 4196468 140724606998800 139696572800144 139696625452757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27901] ppid=27891 vsize=28231644 memory=140547973020848 CPUtime=0 cores=0-7 /proc/27893/task/27901/stat : 27901 (java) S 27891 27891 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418189175 28909203456 12366 33554432000 4194304 4196468 140724606998800 139696571747088 139696625452757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27902] ppid=27891 vsize=28231644 memory=140547973023152 CPUtime=0 cores=0-7 /proc/27893/task/27902/stat : 27902 (java) S 27891 27891 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418189175 28909203456 12366 33554432000 4194304 4196468 140724606998800 139696570694544 139696625452757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27903] ppid=27891 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/27893/task/27903/stat : 27903 (java) S 27891 27891 24366 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418189176 28909203456 12366 33554432000 4194304 4196468 140724606998800 139695674554608 139696625453698 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27904] ppid=27891 vsize=28231644 memory=281095946053264 CPUtime=0 cores=0-7 /proc/27893/task/27904/stat : 27904 (java) S 27891 27891 24366 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418189177 28909203456 12366 33554432000 4194304 4196468 140724606998800 139695673500832 139696625452757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27905] ppid=27891 vsize=28231644 memory=281095946060176 CPUtime=0 cores=0-7 /proc/27893/task/27905/stat : 27905 (java) S 27891 27891 24366 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418189177 28909203456 12366 33554432000 4194304 4196468 140724606998800 139695672447728 139696625452757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27906] ppid=27891 vsize=28231644 memory=281095946001328 CPUtime=0 cores=0-7 /proc/27893/task/27906/stat : 27906 (java) S 27891 27891 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418189179 28909203456 12366 33554432000 4194304 4196468 140724606998800 139695671396304 139696625461147 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27907] ppid=27891 vsize=28231644 memory=281095946074000 CPUtime=0.03 cores=0-7 /proc/27893/task/27907/stat : 27907 (java) R 27891 27891 24366 0 -1 4202560 634 0 0 0 3 0 0 0 20 0 20 0 418189179 28909203456 12366 33554432000 4194304 4196468 140724606998800 139695670334816 139696609831408 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27908] ppid=27891 vsize=28231644 memory=281095946080912 CPUtime=0.02 cores=0-7 /proc/27893/task/27908/stat : 27908 (java) S 27891 27891 24366 0 -1 1077944384 94 0 0 0 2 0 0 0 20 0 20 0 418189179 28909203456 12366 33554432000 4194304 4196468 140724606998800 139695669291888 139696625453698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27909] ppid=27891 vsize=28231644 memory=281095946078608 CPUtime=0.03 cores=0-7 /proc/27893/task/27909/stat : 27909 (java) S 27891 27891 24366 0 -1 1077944384 126 0 0 0 3 0 0 0 20 0 20 0 418189179 28909203456 12366 33554432000 4194304 4196468 140724606998800 139695668238832 139696625453698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27910] ppid=27891 vsize=28231644 memory=281095946094768 CPUtime=0.12 cores=0-7 /proc/27893/task/27910/stat : 27910 (java) R 27891 27891 24366 0 -1 4202560 879 0 0 0 12 0 0 0 20 0 20 0 418189179 28909203456 12366 33554432000 4194304 4196468 140724606998800 139695667186288 139696604577207 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27911] ppid=27891 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/27893/task/27911/stat : 27911 (java) S 27891 27891 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418189180 28909203456 12366 33554432000 4194304 4196468 140724606998800 139695666133472 139696625452757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27912] ppid=27891 vsize=28231644 memory=-1 CPUtime=0 cores=0-7 /proc/27893/task/27912/stat : 27912 (java) S 27891 27891 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418189180 28909203456 12366 33554432000 4194304 4196468 140724606998800 139695665081008 139696625453698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 Current children cumulated CPU time: 0.53 s Current children cumulated vsize: 28344772 KiB Current children cumulated memory: 50920 KiB [startup+0.700888 s] /proc/loadavg: 7.31 7.94 6.23 3/218 27912 /proc/meminfo: memFree=30203940/32770624 swapFree=66916608/67108860 [pid=27891] ppid=27888 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/27891/stat : 27891 (xcsp3-exec) S 27888 27891 24366 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 418189173 115843072 364 33554432000 4194304 5098028 140732587910608 140732587908712 139773754049148 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17899520 140732587918197 140732587918441 140732587918441 140732587921354 0 /proc/27891/statm: 28282 364 305 221 0 87 0 [pid=27893] ppid=27891 vsize=28233768 memory=112520 CPUtime=1.93 cores=0-7 /proc/27893/stat : 27893 (java) S 27891 27891 24366 0 -1 1077944320 15207 0 0 0 187 6 0 0 20 0 20 0 418189174 28911378432 28130 33554432000 4194304 4196468 140724606998800 140724606981344 139696625442551 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 /proc/27893/statm: 7058442 28130 3449 1 0 7019544 0 [pid=27893/tid=27894] ppid=27891 vsize=28233768 memory=281095946452656 CPUtime=0.68 cores=0-7 /proc/27893/task/27894/stat : 27894 (java) R 27891 27891 24366 0 -1 4202560 8377 0 0 0 64 4 0 0 20 0 20 0 418189174 28911378432 28130 33554432000 4194304 4196468 140724606998800 139696629675504 139696244109415 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27895] ppid=27891 vsize=28233768 memory=140547973227376 CPUtime=0 cores=0-7 /proc/27893/task/27895/stat : 27895 (java) S 27891 27891 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418189175 28911378432 28130 33554432000 4194304 4196468 140724606998800 139696578062864 139696625452757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27896] ppid=27891 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/27893/task/27896/stat : 27896 (java) S 27891 27891 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418189175 28911378432 28130 33554432000 4194304 4196468 140724606998800 139696577010320 139696625452757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27897] ppid=27891 vsize=28233768 memory=5996 CPUtime=0 cores=0-7 /proc/27893/task/27897/stat : 27897 (java) S 27891 27891 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418189175 28911378432 28130 33554432000 4194304 4196468 140724606998800 139696575957264 139696625452757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 ################ # More data... # ################ Current children cumulated vsize: 28346896 KiB Current children cumulated memory: 233580 KiB [startup+3.11026 s] /proc/loadavg: 7.31 7.94 6.23 2/218 27912 /proc/meminfo: memFree=29607176/32770624 swapFree=66916608/67108860 [pid=27891] ppid=27888 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/27891/stat : 27891 (xcsp3-exec) S 27888 27891 24366 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 418189173 115843072 364 33554432000 4194304 5098028 140732587910608 140732587908712 139773754049148 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17899520 140732587918197 140732587918441 140732587918441 140732587921354 0 /proc/27891/statm: 28282 364 305 221 0 87 0 [pid=27893] ppid=27891 vsize=28233768 memory=665216 CPUtime=9.02 cores=0-7 /proc/27893/stat : 27893 (java) S 27891 27891 24366 0 -1 1077944320 35711 0 0 0 866 36 0 0 20 0 20 0 418189174 28911378432 166304 33554432000 4194304 4196468 140724606998800 140724606981344 139696625442551 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 /proc/27893/statm: 7058442 166304 3510 1 0 7019544 0 [pid=27893/tid=27894] ppid=27891 vsize=28233768 memory=56 CPUtime=2.94 cores=0-7 /proc/27893/task/27894/stat : 27894 (java) R 27891 27891 24366 0 -1 4202560 11401 0 0 0 283 11 0 0 20 0 20 0 418189174 28911378432 166304 33554432000 4194304 4196468 140724606998800 139696629678512 139696251357828 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27895] ppid=27891 vsize=28233768 memory=13796 CPUtime=0.08 cores=0-7 /proc/27893/task/27895/stat : 27895 (java) S 27891 27891 24366 0 -1 1077944384 325 0 0 0 7 1 0 0 20 0 20 0 418189175 28911378432 166304 33554432000 4194304 4196468 140724606998800 139696578062864 139696625452757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27896] ppid=27891 vsize=28233768 memory=24504 CPUtime=0.08 cores=0-7 /proc/27893/task/27896/stat : 27896 (java) S 27891 27891 24366 0 -1 1077944384 111 0 0 0 7 1 0 0 20 0 20 0 418189175 28911378432 166304 33554432000 4194304 4196468 140724606998800 139696577010320 139696625452757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27897] ppid=27891 vsize=28233768 memory=0 CPUtime=0.1 cores=0-7 /proc/27893/task/27897/stat : 27897 (java) S 27891 27891 24366 0 -1 1077944384 218 0 0 0 8 2 0 0 20 0 20 0 418189175 28911378432 166304 33554432000 4194304 4196468 140724606998800 139696575957264 139696625452757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27898] ppid=27891 vsize=28233768 memory=0 CPUtime=0.08 cores=0-7 /proc/27893/task/27898/stat : 27898 (java) S 27891 27891 24366 0 -1 1077944384 655 0 0 0 5 3 0 0 20 0 20 0 418189175 28911378432 166304 33554432000 4194304 4196468 140724606998800 139696574904720 139696625452757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27899] ppid=27891 vsize=28233768 memory=0 CPUtime=0.08 cores=0-7 /proc/27893/task/27899/stat : 27899 (java) S 27891 27891 24366 0 -1 1077944384 102 0 0 0 6 2 0 0 20 0 20 0 418189175 28911378432 166304 33554432000 4194304 4196468 140724606998800 139696573852688 139696625452757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27900] ppid=27891 vsize=28233768 memory=0 CPUtime=0.06 cores=0-7 /proc/27893/task/27900/stat : 27900 (java) S 27891 27891 24366 0 -1 1077944384 125 0 0 0 5 1 0 0 20 0 20 0 418189175 28911378432 166304 33554432000 4194304 4196468 140724606998800 139696572800144 139696625452757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27901] ppid=27891 vsize=28233768 memory=4580 CPUtime=0.07 cores=0-7 /proc/27893/task/27901/stat : 27901 (java) S 27891 27891 24366 0 -1 1077944384 79 0 0 0 5 2 0 0 20 0 20 0 418189175 28911378432 166304 33554432000 4194304 4196468 140724606998800 139696571747088 139696625452757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27902] ppid=27891 vsize=28233768 memory=0 CPUtime=0.06 cores=0-7 /proc/27893/task/27902/stat : 27902 (java) S 27891 27891 24366 0 -1 1077944384 73 0 0 0 4 2 0 0 20 0 20 0 418189175 28911378432 166304 33554432000 4194304 4196468 140724606998800 139696570694544 139696625452757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27903] ppid=27891 vsize=28233768 memory=0 CPUtime=0.01 cores=0-7 /proc/27893/task/27903/stat : 27903 (java) S 27891 27891 24366 0 -1 1077944384 674 0 0 0 1 0 0 0 20 0 20 0 418189176 28911378432 166304 33554432000 4194304 4196468 140724606998800 139695674554608 139696625453698 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27904] ppid=27891 vsize=28233768 memory=1456 CPUtime=0 cores=0-7 /proc/27893/task/27904/stat : 27904 (java) S 27891 27891 24366 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 418189177 28911378432 166304 33554432000 4194304 4196468 140724606998800 139695673500896 139696625452757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27905] ppid=27891 vsize=28233768 memory=130688 CPUtime=0 cores=0-7 /proc/27893/task/27905/stat : 27905 (java) S 27891 27891 24366 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 418189177 28911378432 166304 33554432000 4194304 4196468 140724606998800 139695672447744 139696625452757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27906] ppid=27891 vsize=28233768 memory=5996 CPUtime=0 cores=0-7 /proc/27893/task/27906/stat : 27906 (java) S 27891 27891 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418189179 28911378432 166304 33554432000 4194304 4196468 140724606998800 139695671396304 139696625461147 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27907] ppid=27891 vsize=28233768 memory=8300 CPUtime=1.67 cores=0-7 /proc/27893/task/27907/stat : 27907 (java) R 27891 27891 24366 0 -1 4202560 7346 0 0 0 166 1 0 0 20 0 20 0 418189179 28911378432 166304 33554432000 4194304 4196468 140724606998800 139695670344432 139696606798456 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27908] ppid=27891 vsize=28233768 memory=776 CPUtime=1.53 cores=0-7 /proc/27893/task/27908/stat : 27908 (java) R 27891 27891 24366 0 -1 4202560 4562 0 0 0 151 2 0 0 20 0 20 0 418189179 28911378432 166304 33554432000 4194304 4196468 140724606998800 139695669272880 139696625463898 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27909] ppid=27891 vsize=28233768 memory=14012 CPUtime=1.54 cores=0-7 /proc/27893/task/27909/stat : 27909 (java) S 27891 27891 24366 0 -1 1077944384 3933 0 0 0 153 1 0 0 20 0 20 0 418189179 28911378432 166304 33554432000 4194304 4196468 140724606998800 139695668238832 139696625453698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27910] ppid=27891 vsize=28233768 memory=20600 CPUtime=0.59 cores=0-7 /proc/27893/task/27910/stat : 27910 (java) S 27891 27891 24366 0 -1 1077944384 4748 0 0 0 58 1 0 0 20 0 20 0 418189179 28911378432 166304 33554432000 4194304 4196468 140724606998800 139695667186288 139696625453698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27911] ppid=27891 vsize=28233768 memory=12036 CPUtime=0 cores=0-7 /proc/27893/task/27911/stat : 27911 (java) S 27891 27891 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418189180 28911378432 166304 33554432000 4194304 4196468 140724606998800 139695666133472 139696625452757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27912] ppid=27891 vsize=28233768 memory=2116 CPUtime=0 cores=0-7 /proc/27893/task/27912/stat : 27912 (java) S 27891 27891 24366 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 20 0 418189180 28911378432 166304 33554432000 4194304 4196468 140724606998800 139695665081008 139696625453698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 Current children cumulated CPU time: 9.02 s Current children cumulated vsize: 28346896 KiB Current children cumulated memory: 666672 KiB [startup+3.6201 s] # the end of solver process 27891 was just reported to runsolver # cumulated CPU time of all completed processes: user=11.873 s, system=0.391749 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+3.20183 s] /proc/loadavg: 7.31 7.94 6.23 2/218 27912 /proc/meminfo: memFree=29607176/32770624 swapFree=66916608/67108860 [pid=27891] ppid=27888 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/27891/stat : 27891 (xcsp3-exec) S 27888 27891 24366 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 418189173 115843072 364 33554432000 4194304 5098028 140732587910608 140732587908712 139773754049148 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17899520 140732587918197 140732587918441 140732587918441 140732587921354 0 /proc/27891/statm: 28282 364 305 221 0 87 0 [pid=27893] ppid=27891 vsize=28768328 memory=666000 CPUtime=9.57 cores=0-7 /proc/27893/stat : 27893 (java) S 27891 27891 24366 0 -1 1077944320 36298 0 0 0 920 37 0 0 20 0 28 0 418189174 29458767872 166500 33554432000 4194304 4196468 140724606998800 140724606981344 139696625442551 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 /proc/27893/statm: 7192082 166500 3512 1 0 7153184 0 [pid=27893/tid=27894] ppid=27891 vsize=28768328 memory=281095945850256 CPUtime=2.97 cores=0-7 /proc/27893/task/27894/stat : 27894 (java) S 27891 27891 24366 0 -1 1077944384 11598 0 0 0 286 11 0 0 20 0 28 0 418189174 29458767872 166500 33554432000 4194304 4196468 140724606998800 139696629683328 139696625452757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27895] ppid=27891 vsize=28768328 memory=281095945850128 CPUtime=0.08 cores=0-7 /proc/27893/task/27895/stat : 27895 (java) S 27891 27891 24366 0 -1 1077944384 325 0 0 0 7 1 0 0 20 0 28 0 418189175 29458767872 166500 33554432000 4194304 4196468 140724606998800 139696578062864 139696625452757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27896] ppid=27891 vsize=28768328 memory=56 CPUtime=0.08 cores=0-7 /proc/27893/task/27896/stat : 27896 (java) S 27891 27891 24366 0 -1 1077944384 111 0 0 0 7 1 0 0 20 0 28 0 418189175 29458767872 166500 33554432000 4194304 4196468 140724606998800 139696577010320 139696625452757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27897] ppid=27891 vsize=28768328 memory=6944656592387989600 CPUtime=0.1 cores=0-7 /proc/27893/task/27897/stat : 27897 (java) S 27891 27891 24366 0 -1 1077944384 218 0 0 0 8 2 0 0 20 0 28 0 418189175 29458767872 166500 33554432000 4194304 4196468 140724606998800 139696575957264 139696625452757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27898] ppid=27891 vsize=28768328 memory=0 CPUtime=0.08 cores=0-7 /proc/27893/task/27898/stat : 27898 (java) S 27891 27891 24366 0 -1 1077944384 655 0 0 0 5 3 0 0 20 0 28 0 418189175 29458767872 166500 33554432000 4194304 4196468 140724606998800 139696574904720 139696625452757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27899] ppid=27891 vsize=28768328 memory=0 CPUtime=0.08 cores=0-7 /proc/27893/task/27899/stat : 27899 (java) S 27891 27891 24366 0 -1 1077944384 102 0 0 0 6 2 0 0 20 0 28 0 418189175 29458767872 166500 33554432000 4194304 4196468 140724606998800 139696573852688 139696625452757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27900] ppid=27891 vsize=28768328 memory=0 CPUtime=0.06 cores=0-7 /proc/27893/task/27900/stat : 27900 (java) S 27891 27891 24366 0 -1 1077944384 125 0 0 0 5 1 0 0 20 0 28 0 418189175 29458767872 166500 33554432000 4194304 4196468 140724606998800 139696572800144 139696625452757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27901] ppid=27891 vsize=28768328 memory=0 CPUtime=0.07 cores=0-7 /proc/27893/task/27901/stat : 27901 (java) S 27891 27891 24366 0 -1 1077944384 79 0 0 0 5 2 0 0 20 0 28 0 418189175 29458767872 166500 33554432000 4194304 4196468 140724606998800 139696571747088 139696625452757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27902] ppid=27891 vsize=28768328 memory=0 CPUtime=0.06 cores=0-7 /proc/27893/task/27902/stat : 27902 (java) S 27891 27891 24366 0 -1 1077944384 73 0 0 0 4 2 0 0 20 0 28 0 418189175 29458767872 166500 33554432000 4194304 4196468 140724606998800 139696570694544 139696625452757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27903] ppid=27891 vsize=28768328 memory=0 CPUtime=0.01 cores=0-7 /proc/27893/task/27903/stat : 27903 (java) S 27891 27891 24366 0 -1 1077944384 674 0 0 0 1 0 0 0 20 0 28 0 418189176 29458767872 166500 33554432000 4194304 4196468 140724606998800 139695674554608 139696625453698 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27904] ppid=27891 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/27893/task/27904/stat : 27904 (java) S 27891 27891 24366 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 418189177 29458767872 166500 33554432000 4194304 4196468 140724606998800 139695673500896 139696625452757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27905] ppid=27891 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/27893/task/27905/stat : 27905 (java) S 27891 27891 24366 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 418189177 29458767872 166500 33554432000 4194304 4196468 140724606998800 139695672447744 139696625452757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27906] ppid=27891 vsize=28768328 memory=-7019007802211101846 CPUtime=0 cores=0-7 /proc/27893/task/27906/stat : 27906 (java) S 27891 27891 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418189179 29458767872 166500 33554432000 4194304 4196468 140724606998800 139695671396304 139696625461147 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27907] ppid=27891 vsize=28768328 memory=6944613755495348631 CPUtime=1.69 cores=0-7 /proc/27893/task/27907/stat : 27907 (java) R 27891 27891 24366 0 -1 4202560 7355 0 0 0 168 1 0 0 20 0 28 0 418189179 29458767872 166500 33554432000 4194304 4196468 140724606998800 139695670336384 139696603418301 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27908] ppid=27891 vsize=28768328 memory=6944656592452807326 CPUtime=1.55 cores=0-7 /proc/27893/task/27908/stat : 27908 (java) R 27891 27891 24366 0 -1 1077944384 4571 0 0 0 153 2 0 0 20 0 28 0 418189179 29458767872 166500 33554432000 4194304 4196468 140724606998800 139695669291888 139696625453698 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27909] ppid=27891 vsize=28768328 memory=288230574492221466 CPUtime=1.56 cores=0-7 /proc/27893/task/27909/stat : 27909 (java) S 27891 27891 24366 0 -1 1077944384 3956 0 0 0 155 1 0 0 20 0 28 0 418189179 29458767872 166500 33554432000 4194304 4196468 140724606998800 139695668238832 139696625453698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27910] ppid=27891 vsize=28768328 memory=0 CPUtime=0.62 cores=0-7 /proc/27893/task/27910/stat : 27910 (java) R 27891 27891 24366 0 -1 4202560 4810 0 0 0 61 1 0 0 20 0 28 0 418189179 29458767872 166500 33554432000 4194304 4196468 140724606998800 139695667186288 139696605157348 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27911] ppid=27891 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/27893/task/27911/stat : 27911 (java) S 27891 27891 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418189180 29458767872 166500 33554432000 4194304 4196468 140724606998800 139695666133472 139696625452757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27912] ppid=27891 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/27893/task/27912/stat : 27912 (java) S 27891 27891 24366 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 418189180 29458767872 166500 33554432000 4194304 4196468 140724606998800 139695665081008 139696625453698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 Current children cumulated CPU time: 9.57 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 667456 KiB [startup+3.60096 s] /proc/loadavg: 7.31 7.94 6.23 2/218 27912 /proc/meminfo: memFree=29607176/32770624 swapFree=66916608/67108860 [pid=27891] ppid=27888 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/27891/stat : 27891 (xcsp3-exec) S 27888 27891 24366 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 418189173 115843072 364 33554432000 4194304 5098028 140732587910608 140732587908712 139773754049148 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17899520 140732587918197 140732587918441 140732587918441 140732587921354 0 /proc/27891/statm: 28282 364 305 221 0 87 0 [pid=27893] ppid=27891 vsize=28768328 memory=669864 CPUtime=12.24 cores=0-7 /proc/27893/stat : 27893 (java) S 27891 27891 24366 0 -1 1077944320 37684 0 0 0 1187 37 0 0 20 0 18 0 418189174 29458767872 167466 33554432000 4194304 4196468 140724606998800 140724606981344 139696625442551 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 /proc/27893/statm: 7192082 167466 3519 1 0 7153184 0 [pid=27893/tid=27894] ppid=27891 vsize=28768328 memory=6791534058613427641 CPUtime=2.97 cores=0-7 /proc/27893/task/27894/stat : 27894 (java) S 27891 27891 24366 0 -1 1077944384 11608 0 0 0 286 11 0 0 20 0 18 0 418189174 29458767872 167466 33554432000 4194304 4196468 140724606998800 139696629685392 139696625452757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27895] ppid=27891 vsize=28768328 memory=281095946818816 CPUtime=0.08 cores=0-7 /proc/27893/task/27895/stat : 27895 (java) S 27891 27891 24366 0 -1 1077944384 325 0 0 0 7 1 0 0 20 0 18 0 418189175 29458767872 167466 33554432000 4194304 4196468 140724606998800 139696578062864 139696625452757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27896] ppid=27891 vsize=28768328 memory=140547973404464 CPUtime=0.08 cores=0-7 /proc/27893/task/27896/stat : 27896 (java) S 27891 27891 24366 0 -1 1077944384 111 0 0 0 7 1 0 0 20 0 18 0 418189175 29458767872 167466 33554432000 4194304 4196468 140724606998800 139696577010320 139696625452757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27897] ppid=27891 vsize=28768328 memory=0 CPUtime=0.1 cores=0-7 /proc/27893/task/27897/stat : 27897 (java) S 27891 27891 24366 0 -1 1077944384 218 0 0 0 8 2 0 0 20 0 18 0 418189175 29458767872 167466 33554432000 4194304 4196468 140724606998800 139696575957264 139696625452757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27898] ppid=27891 vsize=28768328 memory=0 CPUtime=0.08 cores=0-7 /proc/27893/task/27898/stat : 27898 (java) S 27891 27891 24366 0 -1 1077944384 655 0 0 0 5 3 0 0 20 0 18 0 418189175 29458767872 167466 33554432000 4194304 4196468 140724606998800 139696574904720 139696625452757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27899] ppid=27891 vsize=28768328 memory=0 CPUtime=0.08 cores=0-7 /proc/27893/task/27899/stat : 27899 (java) S 27891 27891 24366 0 -1 1077944384 102 0 0 0 6 2 0 0 20 0 18 0 418189175 29458767872 167466 33554432000 4194304 4196468 140724606998800 139696573852688 139696625452757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27900] ppid=27891 vsize=28768328 memory=0 CPUtime=0.06 cores=0-7 /proc/27893/task/27900/stat : 27900 (java) S 27891 27891 24366 0 -1 1077944384 125 0 0 0 5 1 0 0 20 0 18 0 418189175 29458767872 167466 33554432000 4194304 4196468 140724606998800 139696572800144 139696625452757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27901] ppid=27891 vsize=28768328 memory=0 CPUtime=0.07 cores=0-7 /proc/27893/task/27901/stat : 27901 (java) S 27891 27891 24366 0 -1 1077944384 79 0 0 0 5 2 0 0 20 0 18 0 418189175 29458767872 167466 33554432000 4194304 4196468 140724606998800 139696571747088 139696625452757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27902] ppid=27891 vsize=28768328 memory=1456 CPUtime=0.06 cores=0-7 /proc/27893/task/27902/stat : 27902 (java) S 27891 27891 24366 0 -1 1077944384 73 0 0 0 4 2 0 0 20 0 18 0 418189175 29458767872 167466 33554432000 4194304 4196468 140724606998800 139696570694544 139696625452757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27903] ppid=27891 vsize=28768328 memory=130688 CPUtime=0.01 cores=0-7 /proc/27893/task/27903/stat : 27903 (java) S 27891 27891 24366 0 -1 1077944384 674 0 0 0 1 0 0 0 20 0 18 0 418189176 29458767872 167466 33554432000 4194304 4196468 140724606998800 139695674554816 139696625453698 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27904] ppid=27891 vsize=28768328 memory=5996 CPUtime=0 cores=0-7 /proc/27893/task/27904/stat : 27904 (java) S 27891 27891 24366 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 18 0 418189177 29458767872 167466 33554432000 4194304 4196468 140724606998800 139695673500896 139696625452757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27905] ppid=27891 vsize=28768328 memory=8300 CPUtime=0 cores=0-7 /proc/27893/task/27905/stat : 27905 (java) S 27891 27891 24366 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 18 0 418189177 29458767872 167466 33554432000 4194304 4196468 140724606998800 139695672447744 139696625452757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27907] ppid=27891 vsize=28768328 memory=14012 CPUtime=2 cores=0-7 /proc/27893/task/27907/stat : 27907 (java) S 27891 27891 24366 0 -1 1077944384 7462 0 0 0 199 1 0 0 20 0 18 0 418189179 29458767872 167466 33554432000 4194304 4196468 140724606998800 139695670324368 139696625452757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27908] ppid=27891 vsize=28768328 memory=20600 CPUtime=1.82 cores=0-7 /proc/27893/task/27908/stat : 27908 (java) S 27891 27891 24366 0 -1 1077944384 4621 0 0 0 180 2 0 0 20 0 18 0 418189179 29458767872 167466 33554432000 4194304 4196468 140724606998800 139695669271600 139696625452757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27909] ppid=27891 vsize=28768328 memory=12036 CPUtime=1.86 cores=0-7 /proc/27893/task/27909/stat : 27909 (java) S 27891 27891 24366 0 -1 1077944384 4146 0 0 0 185 1 0 0 20 0 18 0 418189179 29458767872 167466 33554432000 4194304 4196468 140724606998800 139695668223824 139696625452757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27910] ppid=27891 vsize=28768328 memory=2116 CPUtime=0.8 cores=0-7 /proc/27893/task/27910/stat : 27910 (java) S 27891 27891 24366 0 -1 1077944384 5193 0 0 0 78 2 0 0 20 0 18 0 418189179 29458767872 167466 33554432000 4194304 4196468 140724606998800 139695667186288 139696625453698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 [pid=27893/tid=27911] ppid=27891 vsize=28768328 memory=620 CPUtime=0 cores=0-7 /proc/27893/task/27911/stat : 27911 (java) S 27891 27891 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 18 0 418189180 29458767872 167466 33554432000 4194304 4196468 140724606998800 139695666133472 139696625452757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24580096 140724607001578 140724607001750 140724607001750 140724607004623 0 Current children cumulated CPU time: 12.24 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 671320 KiB Child status: 0 Real time (s): 3.62015 CPU time (s): 12.2648 CPU user time (s): 11.873 CPU system time (s): 0.391749 CPU usage (%): 338.793 Max. virtual memory (cumulated for all children) (KiB): 28881456 Max. memory (cumulated for all children) (KiB): 671320 getrusage(RUSAGE_CHILDREN,...) data: user time used= 11.873 system time used= 0.391749 maximum resident set size= 671080 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 38271 page faults= 0 swaps= 0 block input operations= 0 block output operations= 88 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4253 involuntary context switches= 459 # summary of solver processes directly reported to runsolver: # pid: 27891 # total CPU time (s): 12.2648 # total CPU user time (s): 11.873 # total CPU system time (s): 0.391749 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.050078 second user time and 0.076973 second system time The end
Begin job on node134 at 2019-09-14 02:02:25 IDJOB=4394436 IDBENCH=120545 IDSOLVER=2843 FILE ID=node134/4394436-1568419386 RUNJOBID= node134-1568416726-24393 PBS_JOBID= 21702257 Free space on /tmp= 59576 MiB SOLVER NAME= choco-solver parallel 2019-06-14 BENCH NAME= XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-lei450-05d.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-4394436-1568419386/watcher-4394436-1568419386 -o /tmp/evaluation-result-4394436-1568419386/solver-4394436-1568419386 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node134-1568416726-24393 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1466383155 HOME/instance-4394436-1568419386.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 368e26568da76f7c30ce4b17b57b0014 RANDOM SEED=1466383155 node134.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.76 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.76 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.76 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.76 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: 30260484 kB MemAvailable: 31794608 kB Buffers: 192996 kB Cached: 1608372 kB SwapCached: 90620 kB Active: 497264 kB Inactive: 1394976 kB Active(anon): 24204 kB Inactive(anon): 106568 kB Active(file): 473060 kB Inactive(file): 1288408 kB Unevictable: 110920 kB Mlocked: 110920 kB SwapTotal: 67108860 kB SwapFree: 66916608 kB Dirty: 26700 kB Writeback: 0 kB AnonPages: 173552 kB Mapped: 43672 kB Shmem: 31052 kB Slab: 206848 kB SReclaimable: 176984 kB SUnreclaim: 29864 kB KernelStack: 3648 kB PageTables: 4996 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 498032 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 129024 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 /tmp at the end= 59552 MiB End job on node134 at 2019-09-14 02:02:29