Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| choco-solver 5a (2017-07-26) | SAT (TO) | 62 | 2520.1399 | 2492.52 |
| Name | GraphColoring/GraphColoring-m1-mono/ GraphColoring-dsjc-500-5.xml |
| MD5SUM | 3c0366ff4baa9e19aea1ffc9dac5e4aa |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 57 |
| Best CPU time to get the best result obtained on this benchmark | 2400.05 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 500 |
| Number of constraints | 62624 |
| Number of domains | 1 |
| Minimum domain size | 500 |
| Maximum domain size | 500 |
| Distribution of domain sizes | [{"size":500,"count":500}] |
| Minimum variable degree | 221 |
| Maximum variable degree | 287 |
| Distribution of variable degrees | [{"degree":221,"count":2},{"degree":222,"count":1},{"degree":223,"count":2},{"degree":224,"count":1},{"degree":225,"count":1},{"degree":227,"count":1},{"degree":228,"count":2},{"degree":230,"count":1},{"degree":231,"count":4},{"degree":232,"count":4},{"degree":233,"count":3},{"degree":234,"count":4},{"degree":235,"count":8},{"degree":236,"count":17},{"degree":237,"count":4},{"degree":238,"count":11},{"degree":239,"count":6},{"degree":240,"count":11},{"degree":241,"count":9},{"degree":242,"count":14},{"degree":243,"count":14},{"degree":244,"count":12},{"degree":245,"count":13},{"degree":246,"count":17},{"degree":247,"count":14},"...",{"degree":257,"count":16}, {"degree":258,"count":9}, {"degree":259,"count":19}, {"degree":260,"count":19}, {"degree":261,"count":19}, {"degree":262,"count":14}, {"degree":263,"count":12}, {"degree":264,"count":6}, {"degree":265,"count":7}, {"degree":266,"count":8}, {"degree":267,"count":4}, {"degree":268,"count":6}, {"degree":269,"count":5}, {"degree":270,"count":8}, {"degree":271,"count":4}, {"degree":272,"count":2}, {"degree":273,"count":2}, {"degree":274,"count":1}, {"degree":275,"count":1}, {"degree":276,"count":1}, {"degree":277,"count":2}, {"degree":278,"count":1}, {"degree":280,"count":2}, {"degree":281,"count":1}, {"degree":287,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 2 |
| Distribution of constraint arities | [{"arity":2,"count":62624}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 62624 |
| Distribution of constraint types | [{"type":"intension","count":62624}] |
| Optimization problem | YES |
| Type of objective | min MAXIMUM |
0.00/0.05 c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4272052-1502712558.xml" -tl '2520s' -p 1 -x 3 0.18/0.23 c [HOME/instance-4272052-1502712558.xml, -tl, 2520s, -p, 1, -x, 3] 0.18/0.29 c simple solver 0.35/0.36 c parse instance... 5.85/2.27 c solve instance... 7.67/3.11 o 64 8.88/3.52 o 63 10.29/4.07 o 62 2520.10/2492.51 s SATISFIABLE 2520.10/2492.51 v <instantiation> 2520.10/2492.51 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] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] </list> 2520.10/2492.51 v <values>23 38 8 9 9 25 32 34 45 5 11 47 30 1 8 39 20 13 20 61 28 40 16 44 44 8 28 59 2 59 1 39 33 46 33 34 17 48 46 24 59 35 3 61 30 54 14 59 57 6 37 36 12 43 13 49 52 16 11 53 22 16 0 27 17 7 56 23 13 21 5 36 56 45 26 24 52 29 58 45 18 2 20 34 34 9 43 30 37 1 52 5 61 51 7 10 27 12 45 48 56 9 49 52 12 2 3 42 36 55 54 10 54 28 37 58 49 22 32 48 21 14 45 4 52 0 56 43 25 23 3 29 7 10 16 53 0 53 29 45 19 4 4 40 18 34 57 3 59 31 23 12 27 40 10 4 60 2 5 6 38 58 25 10 48 55 32 59 27 10 13 31 17 25 1 37 21 14 42 6 25 47 1 27 56 61 46 8 4 25 32 44 24 39 12 24 23 11 15 60 19 21 21 53 12 18 26 20 44 2 13 22 17 39 35 9 52 44 57 10 37 3 8 42 37 48 20 36 62 1 62 51 16 31 28 33 46 15 19 22 30 39 35 38 21 34 43 20 57 50 18 38 11 33 3 18 47 7 7 2 25 7 30 62 12 46 31 49 40 44 14 60 33 46 55 37 53 36 4 27 55 13 50 25 20 10 34 49 60 37 8 28 16 28 15 13 10 19 31 24 30 13 15 49 31 26 58 22 33 3 44 31 0 39 32 60 58 36 51 2 47 53 18 54 15 42 9 61 0 35 28 35 27 5 51 26 5 15 32 14 56 18 47 4 9 5 52 27 53 8 0 56 51 6 15 35 34 57 24 50 0 41 11 30 3 26 29 0 36 40 24 5 7 31 54 3 38 26 43 23 48 26 8 41 56 13 24 30 40 60 16 22 32 51 22 2 39 17 18 41 9 23 7 60 21 29 5 40 51 14 33 62 50 24 38 49 8 1 14 40 5 0 11 11 44 14 26 7 17 6 52 50 16 35 12 5 12 57 35 15 38 11 45 19 29 32 46 6 29 61 21 57 26 19 23 17 44 39 16 2 31 58 35 46 47 4 38 47 48 27 19 15 41 50 49 42 6 2 21 43 50 16 45 25 42 55 28 10 6 11 41 54 4 56 62 41 13 55 43 7 </values> 2520.10/2492.51 v </instantiation> 2520.10/2492.51 c Unexpected resolution interruption!
OK 62
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 (14828 MiB free)
memory of node 1: 16384 MiB (15285 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272052-1502712558/watcher-4272052-1502712558 -o /tmp/evaluation-result-4272052-1502712558/solver-4272052-1502712558 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1502649221-29001 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1775471929 HOME/instance-4272052-1502712558.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=9959, runsolver pid=9956
[startup+0.100157 s]*
/proc/loadavg: 1.49 1.54 1.62 3/207 9969
/proc/meminfo: memFree=30826792/32770624 swapFree=67108860/67108860
[pid=9959] ppid=9956 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/9959/stat : 9959 (xcsp3-exec) S 9956 9959 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 25138397 9740288 345 18446744073709551615 4194304 5098028 140730021625616 140730021623720 140600723702396 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 31551488 140730021630329 140730021630534 140730021630534 140730021634027 0
/proc/9959/statm: 2378 345 289 221 0 87 0
[pid=9961] ppid=9959 vsize=13775204 memory=20600 CPUtime=0.04 cores=1,3,5,7
/proc/9961/stat : 9961 (java) S 9959 9959 7968 0 -1 1077944320 4576 0 0 0 4 0 0 0 20 0 13 0 25138402 14105808896 5150 18446744073709551615 4194304 4196468 140727546430064 140727546412608 140264589950711 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
/proc/9961/statm: 3443801 5150 2313 1 0 3433298 0
[pid=9961/tid=9962] ppid=9959 vsize=13840740 memory=7078076838863583841 CPUtime=0.04 cores=1,3,5,7
/proc/9961/task/9962/stat : 9962 (java) R 9959 9959 7968 0 -1 4202560 3003 0 0 0 4 0 0 0 20 0 13 0 25138403 14172917760 5217 18446744073709551615 4194304 4196468 140727546430064 140264594186520 140264582187838 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9963] ppid=9959 vsize=13840740 memory=4123389896250521363 CPUtime=0 cores=1,3,5,7
/proc/9961/task/9963/stat : 9963 (java) S 9959 9959 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 25138403 14172917760 5217 18446744073709551615 4194304 4196468 140727546430064 140264509365264 140264589960917 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9964] ppid=9959 vsize=13840740 memory=139833644893824 CPUtime=0 cores=1,3,5,7
/proc/9961/task/9964/stat : 9964 (java) S 9959 9959 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 25138403 14172917760 5217 18446744073709551615 4194304 4196468 140727546430064 140264508312720 140264589960917 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9965] ppid=9959 vsize=13840740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9961/task/9965/stat : 9965 (java) S 9959 9959 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 25138403 14172917760 5217 18446744073709551615 4194304 4196468 140727546430064 140264507259664 140264589960917 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9966] ppid=9959 vsize=13840740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9961/task/9966/stat : 9966 (java) S 9959 9959 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 25138403 14172917760 5217 18446744073709551615 4194304 4196468 140727546430064 140264506207120 140264589960917 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9967] ppid=9959 vsize=13840740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9961/task/9967/stat : 9967 (java) S 9959 9959 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 25138405 14172917760 5217 18446744073709551615 4194304 4196468 140727546430064 140263775197424 140264589961858 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9968] ppid=9959 vsize=13840740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9961/task/9968/stat : 9968 (java) S 9959 9959 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 13 0 25138405 14172917760 5217 18446744073709551615 4194304 4196468 140727546430064 140263774143648 140264589960917 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9969] ppid=9959 vsize=13840740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9961/task/9969/stat : 9969 (java) S 9959 9959 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 13 0 25138405 14172917760 5217 18446744073709551615 4194304 4196468 140727546430064 140263773090544 140264589960917 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9970] ppid=9959 vsize=13840740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9961/task/9970/stat : 9970 (java) S 9959 9959 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 25138408 14172917760 5217 18446744073709551615 4194304 4196468 140727546430064 140263772039120 140264589969307 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9971] ppid=9959 vsize=13840740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9961/task/9971/stat : 9971 (java) S 9959 9959 7968 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 13 0 25138408 14172917760 5217 18446744073709551615 4194304 4196468 140727546430064 140263770987248 140264589961858 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9972] ppid=9959 vsize=13840740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9961/task/9972/stat : 9972 (java) S 9959 9959 7968 0 -1 1077944384 266 0 0 0 0 0 0 0 20 0 13 0 25138408 14172917760 5217 18446744073709551615 4194304 4196468 140727546430064 140263769934704 140264589961858 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9973] ppid=9959 vsize=13840740 memory=139833644893824 CPUtime=0 cores=1,3,5,7
/proc/9961/task/9973/stat : 9973 (java) S 9959 9959 7968 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 13 0 25138408 14172917760 5217 18446744073709551615 4194304 4196468 140727546430064 140263768881648 140264589961858 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 13784716 KiB
Current children cumulated memory: 21980 KiB
[startup+0.211469 s]*
/proc/loadavg: 1.49 1.54 1.62 5/213 9975
/proc/meminfo: memFree=30818524/32770624 swapFree=67108860/67108860
[pid=9959] ppid=9956 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/9959/stat : 9959 (xcsp3-exec) S 9956 9959 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 25138397 9740288 345 18446744073709551615 4194304 5098028 140730021625616 140730021623720 140600723702396 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 31551488 140730021630329 140730021630534 140730021630534 140730021634027 0
/proc/9959/statm: 2378 345 289 221 0 87 0
[pid=9961] ppid=9959 vsize=13974352 memory=30788 CPUtime=0.18 cores=1,3,5,7
/proc/9961/stat : 9961 (java) S 9959 9959 7968 0 -1 1077944320 6124 0 0 0 17 1 0 0 20 0 15 0 25138402 14309736448 7697 18446744073709551615 4194304 4196468 140727546430064 140727546412608 140264589950711 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
/proc/9961/statm: 3493588 7697 2950 1 0 3482964 0
[pid=9961/tid=9962] ppid=9959 vsize=13974352 memory=7078076838863583841 CPUtime=0.11 cores=1,3,5,7
/proc/9961/task/9962/stat : 9962 (java) R 9959 9959 7968 0 -1 4202560 3490 0 0 0 11 0 0 0 20 0 15 0 25138403 14309736448 7697 18446744073709551615 4194304 4196468 140727546430064 140264594184464 140264589972058 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9963] ppid=9959 vsize=13974352 memory=4123389896250521363 CPUtime=0 cores=1,3,5,7
/proc/9961/task/9963/stat : 9963 (java) S 9959 9959 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 25138403 14309736448 7697 18446744073709551615 4194304 4196468 140727546430064 140264509365264 140264589960917 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9964] ppid=9959 vsize=13974352 memory=139833644893824 CPUtime=0 cores=1,3,5,7
/proc/9961/task/9964/stat : 9964 (java) S 9959 9959 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 25138403 14309736448 7697 18446744073709551615 4194304 4196468 140727546430064 140264508312720 140264589960917 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9965] ppid=9959 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9961/task/9965/stat : 9965 (java) S 9959 9959 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 25138403 14309736448 7697 18446744073709551615 4194304 4196468 140727546430064 140264507259664 140264589960917 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9966] ppid=9959 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9961/task/9966/stat : 9966 (java) S 9959 9959 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 25138403 14309736448 7697 18446744073709551615 4194304 4196468 140727546430064 140264506207120 140264589960917 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9967] ppid=9959 vsize=13974352 memory=139833644893824 CPUtime=0 cores=1,3,5,7
/proc/9961/task/9967/stat : 9967 (java) S 9959 9959 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 25138405 14309736448 7697 18446744073709551615 4194304 4196468 140727546430064 140263775197424 140264589961858 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9968] ppid=9959 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9961/task/9968/stat : 9968 (java) S 9959 9959 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 25138405 14309736448 7697 18446744073709551615 4194304 4196468 140727546430064 140263774143648 140264589960917 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9969] ppid=9959 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9961/task/9969/stat : 9969 (java) S 9959 9959 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 25138405 14309736448 7697 18446744073709551615 4194304 4196468 140727546430064 140263773090544 140264589960917 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9970] ppid=9959 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9961/task/9970/stat : 9970 (java) S 9959 9959 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 25138408 14309736448 7697 18446744073709551615 4194304 4196468 140727546430064 140263772039120 140264589969307 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9971] ppid=9959 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/9961/task/9971/stat : 9971 (java) R 9959 9959 7968 0 -1 1077944384 336 0 0 0 1 0 0 0 20 0 15 0 25138408 14309736448 7697 18446744073709551615 4194304 4196468 140727546430064 140263770987248 140264589961858 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9972] ppid=9959 vsize=13974352 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/9961/task/9972/stat : 9972 (java) R 9959 9959 7968 0 -1 4202560 319 0 0 0 1 0 0 0 20 0 15 0 25138408 14309736448 7697 18446744073709551615 4194304 4196468 140727546430064 140263769934704 140264567304272 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9973] ppid=9959 vsize=13974352 memory=139833644893824 CPUtime=0.03 cores=1,3,5,7
/proc/9961/task/9973/stat : 9973 (java) R 9959 9959 7968 0 -1 4202560 675 0 0 0 3 0 0 0 20 0 15 0 25138408 14309736448 7697 18446744073709551615 4194304 4196468 140727546430064 140263768876008 140264568903425 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9974] ppid=9959 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9961/task/9974/stat : 9974 (java) S 9959 9959 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 25138408 14309736448 7697 18446744073709551615 4194304 4196468 140727546430064 140263699770208 140264589960917 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9975] ppid=9959 vsize=13974352 memory=139833644893824 CPUtime=0 cores=1,3,5,7
/proc/9961/task/9975/stat : 9975 (java) S 9959 9959 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 25138412 14309736448 7697 18446744073709551615 4194304 4196468 140727546430064 140263698717232 140264589961858 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 32168 KiB
[startup+0.310691 s]*
/proc/loadavg: 1.49 1.54 1.62 3/213 9975
/proc/meminfo: memFree=30805704/32770624 swapFree=67108860/67108860
[pid=9959] ppid=9956 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/9959/stat : 9959 (xcsp3-exec) S 9956 9959 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 25138397 9740288 345 18446744073709551615 4194304 5098028 140730021625616 140730021623720 140600723702396 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 31551488 140730021630329 140730021630534 140730021630534 140730021634027 0
/proc/9959/statm: 2378 345 289 221 0 87 0
[pid=9961] ppid=9959 vsize=13978608 memory=40012 CPUtime=0.35 cores=1,3,5,7
/proc/9961/stat : 9961 (java) S 9959 9959 7968 0 -1 1077944320 9715 0 0 0 32 3 0 0 20 0 15 0 25138402 14314094592 10003 18446744073709551615 4194304 4196468 140727546430064 140727546412608 140264589950711 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
/proc/9961/statm: 3494652 10003 3039 1 0 3482964 0
[pid=9961/tid=9962] ppid=9959 vsize=13978608 memory=7078076838863583841 CPUtime=0.21 cores=1,3,5,7
/proc/9961/task/9962/stat : 9962 (java) R 9959 9959 7968 0 -1 4202560 6928 0 0 0 19 2 0 0 20 0 15 0 25138403 14314094592 10003 18446744073709551615 4194304 4196468 140727546430064 140264594162528 140264574031198 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9963] ppid=9959 vsize=13978608 memory=-7001736328920018669 CPUtime=0 cores=1,3,5,7
/proc/9961/task/9963/stat : 9963 (java) S 9959 9959 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 25138403 14314094592 10003 18446744073709551615 4194304 4196468 140727546430064 140264509365264 140264589960917 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9964] ppid=9959 vsize=13978608 memory=139833644893833 CPUtime=0 cores=1,3,5,7
/proc/9961/task/9964/stat : 9964 (java) S 9959 9959 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 25138403 14314094592 10003 18446744073709551615 4194304 4196468 140727546430064 140264508312720 140264589960917 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9965] ppid=9959 vsize=13978608 memory=90 CPUtime=0 cores=1,3,5,7
/proc/9961/task/9965/stat : 9965 (java) S 9959 9959 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 25138403 14314094592 10003 18446744073709551615 4194304 4196468 140727546430064 140264507259664 140264589960917 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9966] ppid=9959 vsize=13978608 memory=139833532093983 CPUtime=0 cores=1,3,5,7
/proc/9961/task/9966/stat : 9966 (java) S 9959 9959 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 25138403 14314094592 10003 18446744073709551615 4194304 4196468 140727546430064 140264506207120 140264589960917 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9967] ppid=9959 vsize=13978608 memory=279667064169472 CPUtime=0 cores=1,3,5,7
/proc/9961/task/9967/stat : 9967 (java) S 9959 9959 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 25138405 14314094592 10003 18446744073709551615 4194304 4196468 140727546430064 140263775197424 140264589961858 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9968] ppid=9959 vsize=13978608 memory=139833532070927 CPUtime=0 cores=1,3,5,7
/proc/9961/task/9968/stat : 9968 (java) S 9959 9959 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 25138405 14314094592 10003 18446744073709551615 4194304 4196468 140727546430064 140263774143648 140264589960917 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9969] ppid=9959 vsize=13978608 memory=139833644893824 CPUtime=0 cores=1,3,5,7
/proc/9961/task/9969/stat : 9969 (java) S 9959 9959 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 25138405 14314094592 10003 18446744073709551615 4194304 4196468 140727546430064 140263773090544 140264589960917 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9970] ppid=9959 vsize=13978608 memory=139833532075503 CPUtime=0 cores=1,3,5,7
/proc/9961/task/9970/stat : 9970 (java) S 9959 9959 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 25138408 14314094592 10003 18446744073709551615 4194304 4196468 140727546430064 140263772039120 140264589969307 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9971] ppid=9959 vsize=13978608 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/9961/task/9971/stat : 9971 (java) S 9959 9959 7968 0 -1 1077944384 432 0 0 0 2 0 0 0 20 0 15 0 25138408 14314094592 10003 18446744073709551615 4194304 4196468 140727546430064 140263770987248 140264589961858 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9972] ppid=9959 vsize=13978608 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/9961/task/9972/stat : 9972 (java) S 9959 9959 7968 0 -1 1077944384 337 0 0 0 2 0 0 0 20 0 15 0 25138408 14314094592 10003 18446744073709551615 4194304 4196468 140727546430064 140263769934704 140264589961858 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9973] ppid=9959 vsize=13978608 memory=1380 CPUtime=0.08 cores=1,3,5,7
/proc/9961/task/9973/stat : 9973 (java) S 9959 9959 7968 0 -1 1077944384 716 0 0 0 8 0 0 0 20 0 15 0 25138408 14314094592 10003 18446744073709551615 4194304 4196468 140727546430064 140263768881648 140264589961858 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9974] ppid=9959 vsize=13978608 memory=139833644893823 CPUtime=0 cores=1,3,5,7
/proc/9961/task/9974/stat : 9974 (java) S 9959 9959 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 25138408 14314094592 10003 18446744073709551615 4194304 4196468 140727546430064 140263699770208 140264589960917 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9975] ppid=9959 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9961/task/9975/stat : 9975 (java) S 9959 9959 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 25138412 14314094592 10003 18446744073709551615 4194304 4196468 140727546430064 140263698717232 140264589961858 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 41392 KiB
[startup+0.700815 s]
/proc/loadavg: 1.49 1.54 1.62 5/213 9975
/proc/meminfo: memFree=30781372/32770624 swapFree=67108860/67108860
[pid=9959] ppid=9956 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/9959/stat : 9959 (xcsp3-exec) S 9956 9959 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 25138397 9740288 345 18446744073709551615 4194304 5098028 140730021625616 140730021623720 140600723702396 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 31551488 140730021630329 140730021630534 140730021630534 140730021634027 0
/proc/9959/statm: 2378 345 289 221 0 87 0
[pid=9961] ppid=9959 vsize=13978684 memory=91676 CPUtime=1.4 cores=1,3,5,7
/proc/9961/stat : 9961 (java) S 9959 9959 7968 0 -1 1077944320 12983 0 0 0 135 5 0 0 20 0 15 0 25138402 14314172416 22919 18446744073709551615 4194304 4196468 140727546430064 140727546412608 140264589950711 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
/proc/9961/statm: 3494671 22919 3159 1 0 3482964 0
[pid=9961/tid=9962] ppid=9959 vsize=13978684 memory=1000 CPUtime=0.59 cores=1,3,5,7
/proc/9961/task/9962/stat : 9962 (java) R 9959 9959 7968 0 -1 4202560 7831 0 0 0 56 3 0 0 20 0 15 0 25138403 14314172416 22919 18446744073709551615 4194304 4196468 140727546430064 140264594187600 140264575207942 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9963] ppid=9959 vsize=13978684 memory=2012 CPUtime=0 cores=1,3,5,7
/proc/9961/task/9963/stat : 9963 (java) S 9959 9959 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 25138403 14314172416 22919 18446744073709551615 4194304 4196468 140727546430064 140264509365264 140264589960917 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9964] ppid=9959 vsize=13978684 memory=5520 CPUtime=0 cores=1,3,5,7
/proc/9961/task/9964/stat : 9964 (java) S 9959 9959 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 25138403 14314172416 22919 18446744073709551615 4194304 4196468 140727546430064 140264508312720 140264589960917 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9965] ppid=9959 vsize=13978684 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/9961/task/9965/stat : 9965 (java) S 9959 9959 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 25138403 14314172416 22919 18446744073709551615 4194304 4196468 140727546430064 140264507259664 140264589960917 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9966] ppid=9959 vsize=13978684 memory=792 CPUtime=0 cores=1,3,5,7
/proc/9961/task/9966/stat : 9966 (java) S 9959 9959 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 25138403 14314172416 22919 18446744073709551615 4194304 4196468 140727546430064 140264506207120 140264589960917 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9967] ppid=9959 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9961/task/9967/stat : 9967 (java) S 9959 9959 7968 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 25138405 14314172416 22919 18446744073709551615 4194304 4196468 140727546430064 140263775197424 140264589961858 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9968] ppid=9959 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9961/task/9968/stat : 9968 (java) S 9959 9959 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 25138405 14314172416 22919 18446744073709551615 4194304 4196468 140727546430064 140263774143648 140264589960917 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9969] ppid=9959 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9961/task/9969/stat : 9969 (java) S 9959 9959 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 25138405 14314172416 22919 18446744073709551615 4194304 4196468 140727546430064 140263773090544 140264589960917 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9970] ppid=9959 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9961/task/9970/stat : 9970 (java) S 9959 9959 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 25138408 14314172416 22919 18446744073709551615 4194304 4196468 140727546430064 140263772039120 140264589969307 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9971] ppid=9959 vsize=13978684 memory=7163085330834470198 CPUtime=0.25 cores=1,3,5,7
/proc/9961/task/9971/stat : 9971 (java) R 9959 9959 7968 0 -1 4202560 1525 0 0 0 25 0 0 0 20 0 15 0 25138408 14314172416 22919 18446744073709551615 4194304 4196468 140727546430064 140263770974032 140264573482168 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9972] ppid=9959 vsize=13978684 memory=5787796499825053794 CPUtime=0.25 cores=1,3,5,7
/proc/9961/task/9972/stat : 9972 (java) R 9959 9959 7968 0 -1 4202560 894 0 0 0 25 0 0 0 20 0 15 0 25138408 14314172416 22919 18446744073709551615 4194304 4196468 140727546430064 140263769926352 140264569220222 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9973] ppid=9959 vsize=13978684 memory=7014470040326004800 CPUtime=0.27 cores=1,3,5,7
/proc/9961/task/9973/stat : 9973 (java) S 9959 9959 7968 0 -1 1077944384 1425 0 0 0 27 0 0 0 20 0 15 0 25138408 14314172416 22919 18446744073709551615 4194304 4196468 140727546430064 140263768881648 140264589961858 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9974] ppid=9959 vsize=13978684 memory=6935649255759568960 CPUtime=0 cores=1,3,5,7
/proc/9961/task/9974/stat : 9974 (java) S 9959 9959 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 25138408 14314172416 22919 18446744073709551615 4194304 4196468 140727546430064 140263699770208 140264589960917 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9975] ppid=9959 vsize=13978684 memory=9916 CPUtime=0 cores=1,3,5,7
/proc/9961/task/9975/stat : 9975 (java) S 9959 9959 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 25138412 14314172416 22919 18446744073709551615 4194304 4196468 140727546430064 140263698717232 140264589961858 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
Current children cumulated CPU time: 1.4 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 93056 KiB
[startup+1.5035 s]
/proc/loadavg: 1.49 1.54 1.62 6/213 9975
/proc/meminfo: memFree=30631648/32770624 swapFree=67108860/67108860
[pid=9959] ppid=9956 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/9959/stat : 9959 (xcsp3-exec) S 9956 9959 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 25138397 9740288 345 18446744073709551615 4194304 5098028 140730021625616 140730021623720 140600723702396 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 31551488 140730021630329 140730021630534 140730021630534 140730021634027 0
/proc/9959/statm: 2378 345 289 221 0 87 0
[pid=9961] ppid=9959 vsize=13980732 memory=245356 CPUtime=3.87 cores=1,3,5,7
/proc/9961/stat : 9961 (java) S 9959 9959 7968 0 -1 1077944320 18307 0 0 0 375 12 0 0 20 0 15 0 25138402 14316269568 61339 18446744073709551615 4194304 4196468 140727546430064 140727546412608 140264589950711 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
/proc/9961/statm: 3495183 61339 3199 1 0 3483476 0
[pid=9961/tid=9962] ppid=9959 vsize=13980732 memory=0 CPUtime=1.33 cores=1,3,5,7
################
# More data... #
################
[pid=9961/tid=9967] ppid=9959 vsize=13980732 memory=2042972 CPUtime=2.28 cores=1,3,5,7
/proc/9961/task/9967/stat : 9967 (java) S 9959 9959 7968 0 -1 1077944384 28086 0 0 0 196 32 0 0 20 0 15 0 25138405 14316269568 510743 18446744073709551615 4194304 4196468 140727546430064 140263775197424 140264589961858 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9968] ppid=9959 vsize=13980732 memory=2042972 CPUtime=0 cores=1,3,5,7
/proc/9961/task/9968/stat : 9968 (java) S 9959 9959 7968 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 25138405 14316269568 510743 18446744073709551615 4194304 4196468 140727546430064 140263774143712 140264589960917 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9969] ppid=9959 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/9961/task/9969/stat : 9969 (java) S 9959 9959 7968 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 25138405 14316269568 510743 18446744073709551615 4194304 4196468 140727546430064 140263773090560 140264589960917 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9970] ppid=9959 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9961/task/9970/stat : 9970 (java) S 9959 9959 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 25138408 14316269568 510743 18446744073709551615 4194304 4196468 140727546430064 140263772039120 140264589969307 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9971] ppid=9959 vsize=13980732 memory=1380 CPUtime=3.88 cores=1,3,5,7
/proc/9961/task/9971/stat : 9971 (java) S 9959 9959 7968 0 -1 1077944384 21221 0 0 0 385 3 0 0 20 0 15 0 25138408 14316269568 510743 18446744073709551615 4194304 4196468 140727546430064 140263770987248 140264589961858 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9972] ppid=9959 vsize=13980732 memory=1380 CPUtime=4.61 cores=1,3,5,7
/proc/9961/task/9972/stat : 9972 (java) S 9959 9959 7968 0 -1 1077944384 25685 0 0 0 457 4 0 0 20 0 15 0 25138408 14316269568 510743 18446744073709551615 4194304 4196468 140727546430064 140263769934704 140264589961858 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9973] ppid=9959 vsize=13980732 memory=2042972 CPUtime=0.89 cores=1,3,5,7
/proc/9961/task/9973/stat : 9973 (java) S 9959 9959 7968 0 -1 1077944384 11528 0 0 0 86 3 0 0 20 0 15 0 25138408 14316269568 510743 18446744073709551615 4194304 4196468 140727546430064 140263768881648 140264589961858 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9974] ppid=9959 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/9961/task/9974/stat : 9974 (java) S 9959 9959 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 25138408 14316269568 510743 18446744073709551615 4194304 4196468 140727546430064 140263699770208 140264589960917 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9975] ppid=9959 vsize=13980732 memory=2042972 CPUtime=1.25 cores=1,3,5,7
/proc/9961/task/9975/stat : 9975 (java) S 9959 9959 7968 0 -1 1077944384 2202 0 0 0 57 68 0 0 20 0 15 0 25138412 14316269568 510743 18446744073709551615 4194304 4196468 140727546430064 140263698717232 140264589961858 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
Current children cumulated CPU time: 2408.88 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 2044352 KiB
[startup+2442.3 s]
/proc/loadavg: 1.42 1.37 1.40 3/213 10302
/proc/meminfo: memFree=28971472/32770624 swapFree=67108860/67108860
[pid=9959] ppid=9956 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/9959/stat : 9959 (xcsp3-exec) S 9956 9959 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 25138397 9740288 345 18446744073709551615 4194304 5098028 140730021625616 140730021623720 140600723702396 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 31551488 140730021630329 140730021630534 140730021630534 140730021634027 0
/proc/9959/statm: 2378 345 289 221 0 87 0
[pid=9961] ppid=9959 vsize=13980732 memory=1986544 CPUtime=2469.41 cores=1,3,5,7
/proc/9961/stat : 9961 (java) S 9959 9959 7968 0 -1 1077944320 249066 0 0 0 246682 259 0 0 20 0 15 0 25138402 14316269568 496636 18446744073709551615 4194304 4196468 140727546430064 140727546412608 140264589950711 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
/proc/9961/statm: 3495183 496636 3266 1 0 3483476 0
[pid=9961/tid=9962] ppid=9959 vsize=13980732 memory=1987568 CPUtime=2432.26 cores=1,3,5,7
/proc/9961/task/9962/stat : 9962 (java) R 9959 9959 7968 0 -1 4202560 98962 0 0 0 243161 65 0 0 20 0 15 0 25138403 14316269568 496636 18446744073709551615 4194304 4196468 140727546430064 140264594190400 140264194748464 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9963] ppid=9959 vsize=13980732 memory=1380 CPUtime=5.99 cores=1,3,5,7
/proc/9961/task/9963/stat : 9963 (java) S 9959 9959 7968 0 -1 1077944384 13617 0 0 0 573 26 0 0 20 0 15 0 25138403 14316269568 496636 18446744073709551615 4194304 4196468 140727546430064 140264509365264 140264589960917 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9964] ppid=9959 vsize=13980732 memory=1994752 CPUtime=6.01 cores=1,3,5,7
/proc/9961/task/9964/stat : 9964 (java) S 9959 9959 7968 0 -1 1077944384 14912 0 0 0 574 27 0 0 20 0 15 0 25138403 14316269568 496636 18446744073709551615 4194304 4196468 140727546430064 140264508312720 140264589960917 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9965] ppid=9959 vsize=13980732 memory=1992700 CPUtime=6.01 cores=1,3,5,7
/proc/9961/task/9965/stat : 9965 (java) S 9959 9959 7968 0 -1 1077944384 17030 0 0 0 575 26 0 0 20 0 15 0 25138403 14316269568 496636 18446744073709551615 4194304 4196468 140727546430064 140264507259664 140264589960917 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9966] ppid=9959 vsize=13980732 memory=1991672 CPUtime=6.04 cores=1,3,5,7
/proc/9961/task/9966/stat : 9966 (java) S 9959 9959 7968 0 -1 1077944384 14116 0 0 0 576 28 0 0 20 0 15 0 25138403 14316269568 496636 18446744073709551615 4194304 4196468 140727546430064 140264506207120 140264589960917 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9967] ppid=9959 vsize=13980732 memory=1990648 CPUtime=2.35 cores=1,3,5,7
/proc/9961/task/9967/stat : 9967 (java) S 9959 9959 7968 0 -1 1077944384 28417 0 0 0 202 33 0 0 20 0 15 0 25138405 14316269568 496636 18446744073709551615 4194304 4196468 140727546430064 140263775197424 140264589961858 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9968] ppid=9959 vsize=13980732 memory=1989620 CPUtime=0 cores=1,3,5,7
/proc/9961/task/9968/stat : 9968 (java) S 9959 9959 7968 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 25138405 14316269568 496636 18446744073709551615 4194304 4196468 140727546430064 140263774143712 140264589960917 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9969] ppid=9959 vsize=13980732 memory=1987568 CPUtime=0 cores=1,3,5,7
/proc/9961/task/9969/stat : 9969 (java) S 9959 9959 7968 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 25138405 14316269568 496636 18446744073709551615 4194304 4196468 140727546430064 140263773090560 140264589960917 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9970] ppid=9959 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/9961/task/9970/stat : 9970 (java) S 9959 9959 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 25138408 14316269568 496636 18446744073709551615 4194304 4196468 140727546430064 140263772039120 140264589969307 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9971] ppid=9959 vsize=13980732 memory=4124 CPUtime=3.88 cores=1,3,5,7
/proc/9961/task/9971/stat : 9971 (java) S 9959 9959 7968 0 -1 1077944384 21227 0 0 0 385 3 0 0 20 0 15 0 25138408 14316269568 496636 18446744073709551615 4194304 4196468 140727546430064 140263770987248 140264589961858 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9972] ppid=9959 vsize=13980732 memory=1380 CPUtime=4.61 cores=1,3,5,7
/proc/9961/task/9972/stat : 9972 (java) S 9959 9959 7968 0 -1 1077944384 25691 0 0 0 457 4 0 0 20 0 15 0 25138408 14316269568 496636 18446744073709551615 4194304 4196468 140727546430064 140263769934704 140264589961858 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9973] ppid=9959 vsize=13980732 memory=792 CPUtime=0.89 cores=1,3,5,7
/proc/9961/task/9973/stat : 9973 (java) S 9959 9959 7968 0 -1 1077944384 11534 0 0 0 86 3 0 0 20 0 15 0 25138408 14316269568 496636 18446744073709551615 4194304 4196468 140727546430064 140263768881648 140264589961858 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9974] ppid=9959 vsize=13980732 memory=8692 CPUtime=0 cores=1,3,5,7
/proc/9961/task/9974/stat : 9974 (java) S 9959 9959 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 25138408 14316269568 496636 18446744073709551615 4194304 4196468 140727546430064 140263699770208 140264589960917 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9975] ppid=9959 vsize=13980732 memory=960 CPUtime=1.28 cores=1,3,5,7
/proc/9961/task/9975/stat : 9975 (java) S 9959 9959 7968 0 -1 1077944384 2232 0 0 0 58 70 0 0 20 0 15 0 25138412 14316269568 496636 18446744073709551615 4194304 4196468 140727546430064 140263698717232 140264589961858 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
Current children cumulated CPU time: 2469.41 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1987924 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2492.5 s]
/proc/loadavg: 1.37 1.36 1.40 3/213 10305
/proc/meminfo: memFree=29020540/32770624 swapFree=67108860/67108860
[pid=9959] ppid=9956 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/9959/stat : 9959 (xcsp3-exec) S 9956 9959 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 25138397 9740288 345 18446744073709551615 4194304 5098028 140730021625616 140730021623720 140600723702396 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 31551488 140730021630329 140730021630534 140730021630534 140730021634027 0
/proc/9959/statm: 2378 345 289 221 0 87 0
[pid=9961] ppid=9959 vsize=13980732 memory=1939348 CPUtime=2520.1 cores=1,3,5,7
/proc/9961/stat : 9961 (java) S 9959 9959 7968 0 -1 1077944320 251369 0 0 0 251746 264 0 0 20 0 15 0 25138402 14316269568 484837 18446744073709551615 4194304 4196468 140727546430064 140727546412608 140264589950711 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
/proc/9961/statm: 3495183 484837 3266 1 0 3483476 0
[pid=9961/tid=9962] ppid=9959 vsize=13980732 memory=1380 CPUtime=2482.1 cores=1,3,5,7
/proc/9961/task/9962/stat : 9962 (java) R 9959 9959 7968 0 -1 4202560 99824 0 0 0 248145 65 0 0 20 0 15 0 25138403 14316269568 484837 18446744073709551615 4194304 4196468 140727546430064 140264594190176 140264195178843 0 4 1 16800974 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9963] ppid=9959 vsize=13980732 memory=1939860 CPUtime=6.18 cores=1,3,5,7
/proc/9961/task/9963/stat : 9963 (java) S 9959 9959 7968 0 -1 1077944384 14086 0 0 0 591 27 0 0 20 0 15 0 25138403 14316269568 484837 18446744073709551615 4194304 4196468 140727546430064 140264509365264 140264589960917 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9964] ppid=9959 vsize=13980732 memory=1939860 CPUtime=6.19 cores=1,3,5,7
/proc/9961/task/9964/stat : 9964 (java) S 9959 9959 7968 0 -1 1077944384 15408 0 0 0 591 28 0 0 20 0 15 0 25138403 14316269568 484837 18446744073709551615 4194304 4196468 140727546430064 140264508312720 140264589960917 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9965] ppid=9959 vsize=13980732 memory=1939860 CPUtime=6.2 cores=1,3,5,7
/proc/9961/task/9965/stat : 9965 (java) S 9959 9959 7968 0 -1 1077944384 17183 0 0 0 593 27 0 0 20 0 15 0 25138403 14316269568 484837 18446744073709551615 4194304 4196468 140727546430064 140264507259664 140264589960917 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9966] ppid=9959 vsize=13980732 memory=1380 CPUtime=6.21 cores=1,3,5,7
/proc/9961/task/9966/stat : 9966 (java) S 9959 9959 7968 0 -1 1077944384 14236 0 0 0 593 28 0 0 20 0 15 0 25138403 14316269568 484837 18446744073709551615 4194304 4196468 140727546430064 140264506207120 140264589960917 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9967] ppid=9959 vsize=13980732 memory=1944476 CPUtime=2.44 cores=1,3,5,7
/proc/9961/task/9967/stat : 9967 (java) S 9959 9959 7968 0 -1 1077944384 28588 0 0 0 210 34 0 0 20 0 15 0 25138405 14316269568 484837 18446744073709551615 4194304 4196468 140727546430064 140263775197424 140264589961858 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9968] ppid=9959 vsize=13980732 memory=1939860 CPUtime=0 cores=1,3,5,7
/proc/9961/task/9968/stat : 9968 (java) S 9959 9959 7968 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 25138405 14316269568 484837 18446744073709551615 4194304 4196468 140727546430064 140263774143712 140264589960917 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9969] ppid=9959 vsize=13980732 memory=1939348 CPUtime=0 cores=1,3,5,7
/proc/9961/task/9969/stat : 9969 (java) S 9959 9959 7968 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 25138405 14316269568 484837 18446744073709551615 4194304 4196468 140727546430064 140263773090560 140264589960917 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9970] ppid=9959 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/9961/task/9970/stat : 9970 (java) S 9959 9959 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 25138408 14316269568 484837 18446744073709551615 4194304 4196468 140727546430064 140263772039120 140264589969307 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9971] ppid=9959 vsize=13980732 memory=0 CPUtime=3.88 cores=1,3,5,7
/proc/9961/task/9971/stat : 9971 (java) S 9959 9959 7968 0 -1 1077944384 21229 0 0 0 385 3 0 0 20 0 15 0 25138408 14316269568 484837 18446744073709551615 4194304 4196468 140727546430064 140263770987248 140264589961858 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9972] ppid=9959 vsize=13980732 memory=1939860 CPUtime=4.61 cores=1,3,5,7
/proc/9961/task/9972/stat : 9972 (java) S 9959 9959 7968 0 -1 1077944384 25693 0 0 0 457 4 0 0 20 0 15 0 25138408 14316269568 484837 18446744073709551615 4194304 4196468 140727546430064 140263769934704 140264589961858 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9973] ppid=9959 vsize=13980732 memory=4124 CPUtime=0.89 cores=1,3,5,7
/proc/9961/task/9973/stat : 9973 (java) S 9959 9959 7968 0 -1 1077944384 11537 0 0 0 86 3 0 0 20 0 15 0 25138408 14316269568 484837 18446744073709551615 4194304 4196468 140727546430064 140263768881648 140264589961858 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9974] ppid=9959 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/9961/task/9974/stat : 9974 (java) S 9959 9959 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 25138408 14316269568 484837 18446744073709551615 4194304 4196468 140727546430064 140263699770208 140264589960917 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9975] ppid=9959 vsize=13980732 memory=1939860 CPUtime=1.31 cores=1,3,5,7
/proc/9961/task/9975/stat : 9975 (java) S 9959 9959 7968 0 -1 1077944384 2257 0 0 0 59 72 0 0 20 0 15 0 25138412 14316269568 484837 18446744073709551615 4194304 4196468 140727546430064 140263698717232 140264589961858 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
Current children cumulated CPU time: 2520.1 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1940728 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2492.52 s]
# the end of solver process 9959 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.47 s, system=2.66103 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2492.5 s]
/proc/loadavg: 1.37 1.36 1.40 3/213 10305
/proc/meminfo: memFree=29020540/32770624 swapFree=67108860/67108860
[pid=9959] ppid=9956 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/9959/stat : 9959 (xcsp3-exec) S 9956 9959 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 25138397 9740288 345 18446744073709551615 4194304 5098028 140730021625616 140730021623720 140600723702396 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 31551488 140730021630329 140730021630534 140730021630534 140730021634027 0
/proc/9959/statm: 2378 345 289 221 0 87 0
[pid=9961] ppid=9959 vsize=13980732 memory=1939348 CPUtime=2520.1 cores=1,3,5,7
/proc/9961/stat : 9961 (java) S 9959 9959 7968 0 -1 1077944320 251369 0 0 0 251746 264 0 0 20 0 15 0 25138402 14316269568 484837 18446744073709551615 4194304 4196468 140727546430064 140727546412608 140264589950711 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
/proc/9961/statm: 3495183 484837 3266 1 0 3483476 0
[pid=9961/tid=9962] ppid=9959 vsize=13980732 memory=1380 CPUtime=2482.1 cores=1,3,5,7
/proc/9961/task/9962/stat : 9962 (java) R 9959 9959 7968 0 -1 4202560 99824 0 0 0 248145 65 0 0 20 0 15 0 25138403 14316269568 484837 18446744073709551615 4194304 4196468 140727546430064 140264594190176 140264195178843 0 4 1 16800974 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9963] ppid=9959 vsize=13980732 memory=1939860 CPUtime=6.18 cores=1,3,5,7
/proc/9961/task/9963/stat : 9963 (java) S 9959 9959 7968 0 -1 1077944384 14086 0 0 0 591 27 0 0 20 0 15 0 25138403 14316269568 484837 18446744073709551615 4194304 4196468 140727546430064 140264509365264 140264589960917 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9964] ppid=9959 vsize=13980732 memory=1939860 CPUtime=6.19 cores=1,3,5,7
/proc/9961/task/9964/stat : 9964 (java) S 9959 9959 7968 0 -1 1077944384 15408 0 0 0 591 28 0 0 20 0 15 0 25138403 14316269568 484837 18446744073709551615 4194304 4196468 140727546430064 140264508312720 140264589960917 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9965] ppid=9959 vsize=13980732 memory=1939860 CPUtime=6.2 cores=1,3,5,7
/proc/9961/task/9965/stat : 9965 (java) S 9959 9959 7968 0 -1 1077944384 17183 0 0 0 593 27 0 0 20 0 15 0 25138403 14316269568 484837 18446744073709551615 4194304 4196468 140727546430064 140264507259664 140264589960917 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9966] ppid=9959 vsize=13980732 memory=1380 CPUtime=6.21 cores=1,3,5,7
/proc/9961/task/9966/stat : 9966 (java) S 9959 9959 7968 0 -1 1077944384 14236 0 0 0 593 28 0 0 20 0 15 0 25138403 14316269568 484837 18446744073709551615 4194304 4196468 140727546430064 140264506207120 140264589960917 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9967] ppid=9959 vsize=13980732 memory=1944476 CPUtime=2.44 cores=1,3,5,7
/proc/9961/task/9967/stat : 9967 (java) S 9959 9959 7968 0 -1 1077944384 28588 0 0 0 210 34 0 0 20 0 15 0 25138405 14316269568 484837 18446744073709551615 4194304 4196468 140727546430064 140263775197424 140264589961858 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9968] ppid=9959 vsize=13980732 memory=1939860 CPUtime=0 cores=1,3,5,7
/proc/9961/task/9968/stat : 9968 (java) S 9959 9959 7968 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 25138405 14316269568 484837 18446744073709551615 4194304 4196468 140727546430064 140263774143712 140264589960917 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9969] ppid=9959 vsize=13980732 memory=1939348 CPUtime=0 cores=1,3,5,7
/proc/9961/task/9969/stat : 9969 (java) S 9959 9959 7968 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 25138405 14316269568 484837 18446744073709551615 4194304 4196468 140727546430064 140263773090560 140264589960917 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9970] ppid=9959 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/9961/task/9970/stat : 9970 (java) S 9959 9959 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 25138408 14316269568 484837 18446744073709551615 4194304 4196468 140727546430064 140263772039120 140264589969307 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9971] ppid=9959 vsize=13980732 memory=0 CPUtime=3.88 cores=1,3,5,7
/proc/9961/task/9971/stat : 9971 (java) S 9959 9959 7968 0 -1 1077944384 21229 0 0 0 385 3 0 0 20 0 15 0 25138408 14316269568 484837 18446744073709551615 4194304 4196468 140727546430064 140263770987248 140264589961858 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9972] ppid=9959 vsize=13980732 memory=1939860 CPUtime=4.61 cores=1,3,5,7
/proc/9961/task/9972/stat : 9972 (java) S 9959 9959 7968 0 -1 1077944384 25693 0 0 0 457 4 0 0 20 0 15 0 25138408 14316269568 484837 18446744073709551615 4194304 4196468 140727546430064 140263769934704 140264589961858 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9973] ppid=9959 vsize=13980732 memory=4124 CPUtime=0.89 cores=1,3,5,7
/proc/9961/task/9973/stat : 9973 (java) S 9959 9959 7968 0 -1 1077944384 11537 0 0 0 86 3 0 0 20 0 15 0 25138408 14316269568 484837 18446744073709551615 4194304 4196468 140727546430064 140263768881648 140264589961858 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9974] ppid=9959 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/9961/task/9974/stat : 9974 (java) S 9959 9959 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 25138408 14316269568 484837 18446744073709551615 4194304 4196468 140727546430064 140263699770208 140264589960917 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
[pid=9961/tid=9975] ppid=9959 vsize=13980732 memory=1939860 CPUtime=1.31 cores=1,3,5,7
/proc/9961/task/9975/stat : 9975 (java) S 9959 9959 7968 0 -1 1077944384 2257 0 0 0 59 72 0 0 20 0 15 0 25138412 14316269568 484837 18446744073709551615 4194304 4196468 140727546430064 140263698717232 140264589961858 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8286208 140727546438066 140727546438242 140727546438242 140727546441679 0
Current children cumulated CPU time: 2520.1 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1940728 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2492.52
CPU time (s): 2520.14
CPU user time (s): 2517.47
CPU system time (s): 2.66103
CPU usage (%): 101.108
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 3491784
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.47
system time used= 2.66103
maximum resident set size= 3495116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 252217
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 114458
involuntary context switches= 3610
# summary of solver processes directly reported to runsolver:
# pid: 9959
# total CPU time (s): 2520.14
# total CPU user time (s): 2517.47
# total CPU system time (s): 2.66103
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.8351 second user time and 24.8871 second system time
The end
Begin job on node128 at 2017-08-14 13:55:20 IDJOB=4272052 IDBENCH=120601 IDSOLVER=2664 FILE ID=node128/4272052-1502712558 RUNJOBID= node128-1502649221-29001 PBS_JOBID= Free space on /tmp= 62020 MiB SOLVER NAME= choco-solver 5a BENCH NAME= XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-dsjc-500-5.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -ml 11000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4272052-1502712558/watcher-4272052-1502712558 -o /tmp/evaluation-result-4272052-1502712558/solver-4272052-1502712558 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1502649221-29001 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1775471929 HOME/instance-4272052-1502712558.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3c0366ff4baa9e19aea1ffc9dac5e4aa RANDOM SEED=1775471929 node128.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.94 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.94 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.94 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.94 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: 30837244 kB MemAvailable: 31599644 kB Buffers: 191664 kB Cached: 855920 kB SwapCached: 0 kB Active: 740720 kB Inactive: 776288 kB Active(anon): 469588 kB Inactive(anon): 16764 kB Active(file): 271132 kB Inactive(file): 759524 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 9748 kB Writeback: 0 kB AnonPages: 468992 kB Mapped: 47604 kB Shmem: 17116 kB Slab: 120456 kB SReclaimable: 95160 kB SUnreclaim: 25296 kB KernelStack: 3440 kB PageTables: 6244 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1143600 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 350208 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 132480 kB DirectMap2M: 33413120 kB Free space on /tmp at the end= 62012 MiB End job on node128 at 2017-08-14 14:36:53