Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| choco-solver 4.0.5 par (2017-08-09) | SAT (TO) | 8 | 20084.301 | 2520.1001 |
| Name | GraphColoring/GraphColoring-m1-mono/ GraphColoring-dsjc-250-1.xml |
| MD5SUM | 4a78676e15c4a516bf0316b10322151a |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 8 |
| Best CPU time to get the best result obtained on this benchmark | 2400.05 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 250 |
| Number of constraints | 3218 |
| Number of domains | 1 |
| Minimum domain size | 250 |
| Maximum domain size | 250 |
| Distribution of domain sizes | [{"size":250,"count":250}] |
| Minimum variable degree | 14 |
| Maximum variable degree | 39 |
| Distribution of variable degrees | [{"degree":14,"count":1},{"degree":15,"count":1},{"degree":16,"count":3},{"degree":17,"count":5},{"degree":18,"count":6},{"degree":19,"count":5},{"degree":20,"count":6},{"degree":21,"count":11},{"degree":22,"count":14},{"degree":23,"count":16},{"degree":24,"count":14},{"degree":25,"count":25},{"degree":26,"count":17},{"degree":27,"count":14},{"degree":28,"count":12},{"degree":29,"count":25},{"degree":30,"count":21},{"degree":31,"count":11},{"degree":32,"count":9},{"degree":33,"count":9},{"degree":34,"count":4},{"degree":35,"count":6},{"degree":36,"count":9},{"degree":37,"count":3},{"degree":38,"count":2},{"degree":39,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 2 |
| Distribution of constraint arities | [{"arity":2,"count":3218}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 3218 |
| Distribution of constraint types | [{"type":"intension","count":3218}] |
| Optimization problem | YES |
| Type of objective | min MAXIMUM |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4270580-1502681833.xml" -tl '20160s' -p 8 -x 0 0.11/0.14 c [HOME/instance-4270580-1502681833.xml, -tl, 20160s, -p, 8, -x, 0] 0.11/0.20 c 8 solvers in parallel 0.32/0.27 c parse instance... 4.33/1.34 c solve instance... 5.72/1.51 o 249 5.72/1.53 o 12 5.72/1.53 o 11 5.72/1.59 o 10 6.44/1.68 o 9 6.44/1.69 o 8 20083.67/2520.08 s SATISFIABLE 20083.67/2520.08 v <instantiation> 20083.67/2520.08 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] </list> 20083.67/2520.08 v <values>0 4 0 4 5 5 8 8 6 4 1 6 1 7 4 2 2 6 0 3 4 1 1 8 6 0 4 3 8 0 1 3 0 8 0 6 6 8 0 5 5 6 5 2 8 6 7 1 6 8 5 8 6 7 0 5 3 3 4 4 2 2 0 0 3 4 4 7 1 2 3 3 4 7 8 6 4 6 6 1 1 1 6 7 7 0 3 5 2 7 6 1 8 1 0 7 4 8 1 7 7 8 3 7 3 6 4 7 3 5 2 1 2 0 6 1 7 1 7 3 5 3 1 1 4 0 5 5 2 6 2 8 4 3 4 4 8 7 4 4 2 1 6 7 1 8 8 5 5 3 4 2 2 4 7 1 0 8 8 4 5 5 0 6 0 4 2 4 4 5 0 3 0 6 2 4 3 2 3 1 0 2 4 1 0 0 8 4 5 5 0 6 8 8 5 2 3 3 4 0 5 4 7 0 5 1 8 4 1 8 1 6 6 7 4 7 7 7 8 1 2 6 0 2 3 5 3 0 2 5 6 1 2 7 5 0 3 7 3 0 4 1 2 0 2 7 2 8 5 6 </values> 20083.67/2520.08 v </instantiation> 20083.67/2520.08 c Unexpected resolution interruption!
OK 8
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 (12292 MiB free)
memory of node 1: 16384 MiB (13571 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270580-1502681833/watcher-4270580-1502681833 -o /tmp/evaluation-result-4270580-1502681833/solver-4270580-1502681833 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1502680975-372 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1846741792 HOME/instance-4270580-1502681833.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=389, runsolver pid=386
Current StackSize limit: 8192 KiB
[startup+0.100112 s]*
/proc/loadavg: 8.76 8.71 8.71 2/200 410
/proc/meminfo: memFree=26468376/32770624 swapFree=67108860/67108860
[pid=389] ppid=386 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/389/stat : 389 (xcsp3-exec) S 386 389 345 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 101254970 9740288 346 33554432000 4194304 5098028 140734503918896 140734503917000 140285629100668 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12750848 140734503924836 140734503925047 140734503925047 140734503927787 0
/proc/389/statm: 2378 346 289 221 0 87 0
[pid=391] ppid=389 vsize=25999808 memory=26944 CPUtime=0.11 cores=0-7
/proc/391/stat : 391 (java) S 389 389 345 0 -1 1077944320 5633 0 0 0 10 1 0 0 20 0 20 0 101254970 26623803392 6736 33554432000 4194304 4196468 140737364584944 140737364567488 140330985877239 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
/proc/391/statm: 6499952 6736 2844 1 0 6488269 0
[pid=391/tid=392] ppid=389 vsize=25999808 memory=8390339637985935414 CPUtime=0.08 cores=0-7
/proc/391/task/392/stat : 392 (java) R 389 389 345 0 -1 4202560 3676 0 0 0 8 0 0 0 20 0 20 0 101254971 26623803392 6736 33554432000 4194304 4196468 140737364584944 140330990109232 140330622017604 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=393] ppid=389 vsize=25999808 memory=288230596118052887 CPUtime=0 cores=0-7
/proc/391/task/393/stat : 393 (java) S 389 389 345 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101254972 26623803392 6736 33554432000 4194304 4196468 140737364584944 140330944637200 140330985887445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=394] ppid=389 vsize=25999808 memory=288370890611140224 CPUtime=0 cores=0-7
/proc/391/task/394/stat : 394 (java) S 389 389 345 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101254972 26623803392 6736 33554432000 4194304 4196468 140737364584944 140330542844304 140330985887445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=395] ppid=389 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/391/task/395/stat : 395 (java) S 389 389 345 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101254972 26623803392 6736 33554432000 4194304 4196468 140737364584944 140330541791760 140330985887445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=396] ppid=389 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/391/task/396/stat : 396 (java) S 389 389 345 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101254972 26623803392 6736 33554432000 4194304 4196468 140737364584944 140330540739216 140330985887445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=397] ppid=389 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/391/task/397/stat : 397 (java) S 389 389 345 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101254972 26623803392 6736 33554432000 4194304 4196468 140737364584944 140330539686672 140330985887445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=398] ppid=389 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/391/task/398/stat : 398 (java) S 389 389 345 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101254972 26623803392 6736 33554432000 4194304 4196468 140737364584944 140330538634128 140330985887445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=399] ppid=389 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/391/task/399/stat : 399 (java) S 389 389 345 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101254972 26623803392 6736 33554432000 4194304 4196468 140737364584944 140330537581584 140330985887445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=400] ppid=389 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/391/task/400/stat : 400 (java) S 389 389 345 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101254972 26623803392 6736 33554432000 4194304 4196468 140737364584944 140330536529040 140330985887445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=401] ppid=389 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/391/task/401/stat : 401 (java) S 389 389 345 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101254973 26623803392 6736 33554432000 4194304 4196468 140737364584944 140329705793520 140330985888386 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=402] ppid=389 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/391/task/402/stat : 402 (java) S 389 389 345 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 101254973 26623803392 6736 33554432000 4194304 4196468 140737364584944 140329704739744 140330985887445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=403] ppid=389 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/391/task/403/stat : 403 (java) S 389 389 345 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 101254974 26623803392 6736 33554432000 4194304 4196468 140737364584944 140329703687152 140330985887445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=404] ppid=389 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/391/task/404/stat : 404 (java) S 389 389 345 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101254976 26623803392 6736 33554432000 4194304 4196468 140737364584944 140329702635728 140330985895835 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=405] ppid=389 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/391/task/405/stat : 405 (java) S 389 389 345 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 101254976 26623803392 6736 33554432000 4194304 4196468 140737364584944 140329701583344 140330985888386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=406] ppid=389 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/391/task/406/stat : 406 (java) S 389 389 345 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101254976 26623803392 6736 33554432000 4194304 4196468 140737364584944 140329700530800 140330985888386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=407] ppid=389 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/391/task/407/stat : 407 (java) S 389 389 345 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 101254976 26623803392 6736 33554432000 4194304 4196468 140737364584944 140329699478256 140330985888386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=408] ppid=389 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/391/task/408/stat : 408 (java) R 389 389 345 0 -1 4202560 254 0 0 0 1 0 0 0 20 0 20 0 101254976 26623803392 6736 33554432000 4194304 4196468 140737364584944 140329698425712 140330985898586 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=409] ppid=389 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/391/task/409/stat : 409 (java) S 389 389 345 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101254976 26623803392 6736 33554432000 4194304 4196468 140737364584944 140329697372384 140330985887445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=410] ppid=389 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/391/task/410/stat : 410 (java) S 389 389 345 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101254977 26623803392 6736 33554432000 4194304 4196468 140737364584944 140329696319920 140330985888386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28328 KiB
[startup+0.210382 s]*
/proc/loadavg: 8.76 8.71 8.71 3/200 410
/proc/meminfo: memFree=26457476/32770624 swapFree=67108860/67108860
[pid=389] ppid=386 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/389/stat : 389 (xcsp3-exec) S 386 389 345 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 101254970 9740288 346 33554432000 4194304 5098028 140734503918896 140734503917000 140285629100668 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12750848 140734503924836 140734503925047 140734503925047 140734503927787 0
/proc/389/statm: 2378 346 289 221 0 87 0
[pid=391] ppid=389 vsize=26004064 memory=38544 CPUtime=0.32 cores=0-7
/proc/391/stat : 391 (java) S 389 389 345 0 -1 1077944320 8227 0 0 0 30 2 0 0 20 0 20 0 101254970 26628161536 9636 33554432000 4194304 4196468 140737364584944 140737364567488 140330985877239 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
/proc/391/statm: 6501016 9636 3046 1 0 6488269 0
[pid=391/tid=392] ppid=389 vsize=26004064 memory=8390339637985935414 CPUtime=0.19 cores=0-7
/proc/391/task/392/stat : 392 (java) R 389 389 345 0 -1 4202560 5441 0 0 0 18 1 0 0 20 0 20 0 101254971 26628161536 9696 33554432000 4194304 4196468 140737364584944 140330990092320 140330985899165 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=393] ppid=389 vsize=26004064 memory=288230596118052887 CPUtime=0 cores=0-7
/proc/391/task/393/stat : 393 (java) S 389 389 345 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101254972 26628161536 9696 33554432000 4194304 4196468 140737364584944 140330944637200 140330985887445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=394] ppid=389 vsize=26004064 memory=288370890611140224 CPUtime=0 cores=0-7
/proc/391/task/394/stat : 394 (java) S 389 389 345 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101254972 26628161536 9696 33554432000 4194304 4196468 140737364584944 140330542844304 140330985887445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=395] ppid=389 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/391/task/395/stat : 395 (java) S 389 389 345 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101254972 26628161536 9696 33554432000 4194304 4196468 140737364584944 140330541791760 140330985887445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=396] ppid=389 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/391/task/396/stat : 396 (java) S 389 389 345 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101254972 26628161536 9696 33554432000 4194304 4196468 140737364584944 140330540739216 140330985887445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=397] ppid=389 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/391/task/397/stat : 397 (java) S 389 389 345 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101254972 26628161536 9696 33554432000 4194304 4196468 140737364584944 140330539686672 140330985887445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=398] ppid=389 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/391/task/398/stat : 398 (java) S 389 389 345 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101254972 26628161536 9696 33554432000 4194304 4196468 140737364584944 140330538634128 140330985887445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=399] ppid=389 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/391/task/399/stat : 399 (java) S 389 389 345 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101254972 26628161536 9696 33554432000 4194304 4196468 140737364584944 140330537581584 140330985887445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=400] ppid=389 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/391/task/400/stat : 400 (java) S 389 389 345 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101254972 26628161536 9696 33554432000 4194304 4196468 140737364584944 140330536529040 140330985887445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=401] ppid=389 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/391/task/401/stat : 401 (java) S 389 389 345 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101254973 26628161536 9696 33554432000 4194304 4196468 140737364584944 140329705793520 140330985888386 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=402] ppid=389 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/391/task/402/stat : 402 (java) S 389 389 345 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 101254973 26628161536 9696 33554432000 4194304 4196468 140737364584944 140329704739744 140330985887445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=403] ppid=389 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/391/task/403/stat : 403 (java) S 389 389 345 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 101254974 26628161536 9696 33554432000 4194304 4196468 140737364584944 140329703687152 140330985887445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=404] ppid=389 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/391/task/404/stat : 404 (java) S 389 389 345 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101254976 26628161536 9696 33554432000 4194304 4196468 140737364584944 140329702635728 140330985895835 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=405] ppid=389 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/391/task/405/stat : 405 (java) S 389 389 345 0 -1 1077944384 355 0 0 0 1 0 0 0 20 0 20 0 101254976 26628161536 9696 33554432000 4194304 4196468 140737364584944 140329701583344 140330985888386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=406] ppid=389 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/391/task/406/stat : 406 (java) S 389 389 345 0 -1 1077944384 266 0 0 0 2 0 0 0 20 0 20 0 101254976 26628161536 9696 33554432000 4194304 4196468 140737364584944 140329700530800 140330985888386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=407] ppid=389 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/391/task/407/stat : 407 (java) S 389 389 345 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 20 0 101254976 26628161536 9696 33554432000 4194304 4196468 140737364584944 140329699478256 140330985888386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=408] ppid=389 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7
/proc/391/task/408/stat : 408 (java) S 389 389 345 0 -1 1077944384 720 0 0 0 7 0 0 0 20 0 20 0 101254976 26628161536 9696 33554432000 4194304 4196468 140737364584944 140329698425712 140330985888386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=409] ppid=389 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/391/task/409/stat : 409 (java) S 389 389 345 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101254976 26628161536 9696 33554432000 4194304 4196468 140737364584944 140329697372384 140330985887445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=410] ppid=389 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/391/task/410/stat : 410 (java) S 389 389 345 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101254977 26628161536 9696 33554432000 4194304 4196468 140737364584944 140329696319920 140330985888386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 39928 KiB
[startup+0.310289 s]*
/proc/loadavg: 8.76 8.71 8.71 4/200 410
/proc/meminfo: memFree=26453072/32770624 swapFree=67108860/67108860
[pid=389] ppid=386 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/389/stat : 389 (xcsp3-exec) S 386 389 345 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 101254970 9740288 346 33554432000 4194304 5098028 140734503918896 140734503917000 140285629100668 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12750848 140734503924836 140734503925047 140734503925047 140734503927787 0
/proc/389/statm: 2378 346 289 221 0 87 0
[pid=391] ppid=389 vsize=26004064 memory=43444 CPUtime=0.49 cores=0-7
/proc/391/stat : 391 (java) S 389 389 345 0 -1 1077944320 9093 0 0 0 46 3 0 0 20 0 20 0 101254970 26628161536 10861 33554432000 4194304 4196468 140737364584944 140737364567488 140330985877239 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
/proc/391/statm: 6501016 10861 3078 1 0 6488269 0
[pid=391/tid=392] ppid=389 vsize=26004064 memory=1398720917958146503 CPUtime=0.29 cores=0-7
/proc/391/task/392/stat : 392 (java) R 389 389 345 0 -1 4202560 6117 0 0 0 27 2 0 0 20 0 20 0 101254971 26628161536 10861 33554432000 4194304 4196468 140737364584944 140330990115024 140330985899165 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=393] ppid=389 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/391/task/393/stat : 393 (java) S 389 389 345 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101254972 26628161536 10861 33554432000 4194304 4196468 140737364584944 140330944637200 140330985887445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=394] ppid=389 vsize=26004064 memory=140514459428484 CPUtime=0 cores=0-7
/proc/391/task/394/stat : 394 (java) S 389 389 345 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101254972 26628161536 10861 33554432000 4194304 4196468 140737364584944 140330542844304 140330985887445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=395] ppid=389 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/391/task/395/stat : 395 (java) S 389 389 345 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101254972 26628161536 10861 33554432000 4194304 4196468 140737364584944 140330541791760 140330985887445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=396] ppid=389 vsize=26004064 memory=2240 CPUtime=0 cores=0-7
/proc/391/task/396/stat : 396 (java) S 389 389 345 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101254972 26628161536 10861 33554432000 4194304 4196468 140737364584944 140330540739216 140330985887445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=397] ppid=389 vsize=26004064 memory=2241 CPUtime=0 cores=0-7
/proc/391/task/397/stat : 397 (java) S 389 389 345 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101254972 26628161536 10861 33554432000 4194304 4196468 140737364584944 140330539686672 140330985887445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=398] ppid=389 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/391/task/398/stat : 398 (java) S 389 389 345 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101254972 26628161536 10861 33554432000 4194304 4196468 140737364584944 140330538634128 140330985887445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=399] ppid=389 vsize=26004064 memory=281028702969376 CPUtime=0 cores=0-7
/proc/391/task/399/stat : 399 (java) S 389 389 345 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101254972 26628161536 10861 33554432000 4194304 4196468 140737364584944 140330537581584 140330985887445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=400] ppid=389 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/391/task/400/stat : 400 (java) S 389 389 345 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101254972 26628161536 10861 33554432000 4194304 4196468 140737364584944 140330536529040 140330985887445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=401] ppid=389 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/391/task/401/stat : 401 (java) S 389 389 345 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101254973 26628161536 10861 33554432000 4194304 4196468 140737364584944 140329705793520 140330985888386 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=402] ppid=389 vsize=26004064 memory=437 CPUtime=0 cores=0-7
/proc/391/task/402/stat : 402 (java) S 389 389 345 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 101254973 26628161536 10861 33554432000 4194304 4196468 140737364584944 140329704739744 140330985887445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=403] ppid=389 vsize=26004064 memory=128 CPUtime=0 cores=0-7
/proc/391/task/403/stat : 403 (java) S 389 389 345 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 101254974 26628161536 10861 33554432000 4194304 4196468 140737364584944 140329703687152 140330985887445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=404] ppid=389 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/391/task/404/stat : 404 (java) S 389 389 345 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101254976 26628161536 10861 33554432000 4194304 4196468 140737364584944 140329702635728 140330985895835 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=405] ppid=389 vsize=26004064 memory=254 CPUtime=0.01 cores=0-7
/proc/391/task/405/stat : 405 (java) S 389 389 345 0 -1 1077944384 381 0 0 0 1 0 0 0 20 0 20 0 101254976 26628161536 10861 33554432000 4194304 4196468 140737364584944 140329701583344 140330985888386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=406] ppid=389 vsize=26004064 memory=53 CPUtime=0.03 cores=0-7
/proc/391/task/406/stat : 406 (java) S 389 389 345 0 -1 1077944384 321 0 0 0 3 0 0 0 20 0 20 0 101254976 26628161536 10861 33554432000 4194304 4196468 140737364584944 140329700530800 140330985888386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=407] ppid=389 vsize=26004064 memory=58 CPUtime=0.01 cores=0-7
/proc/391/task/407/stat : 407 (java) S 389 389 345 0 -1 1077944384 171 0 0 0 1 0 0 0 20 0 20 0 101254976 26628161536 10861 33554432000 4194304 4196468 140737364584944 140329699478256 140330985888386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=408] ppid=389 vsize=26004064 memory=7613 CPUtime=0.12 cores=0-7
/proc/391/task/408/stat : 408 (java) R 389 389 345 0 -1 4202560 824 0 0 0 12 0 0 0 20 0 20 0 101254976 26628161536 10861 33554432000 4194304 4196468 140737364584944 140329698422080 140330965005903 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=409] ppid=389 vsize=26004064 memory=3467825727391412274 CPUtime=0 cores=0-7
/proc/391/task/409/stat : 409 (java) S 389 389 345 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101254976 26628161536 10861 33554432000 4194304 4196468 140737364584944 140329697372384 140330985887445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=410] ppid=389 vsize=26004064 memory=3472895575524712495 CPUtime=0 cores=0-7
/proc/391/task/410/stat : 410 (java) S 389 389 345 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101254977 26628161536 10861 33554432000 4194304 4196468 140737364584944 140329696319920 140330985888386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 44828 KiB
[startup+0.701002 s]
/proc/loadavg: 8.76 8.71 8.71 5/200 410
/proc/meminfo: memFree=26426116/32770624 swapFree=67108860/67108860
[pid=389] ppid=386 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/389/stat : 389 (xcsp3-exec) S 386 389 345 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 101254970 9740288 346 33554432000 4194304 5098028 140734503918896 140734503917000 140285629100668 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12750848 140734503924836 140734503925047 140734503925047 140734503927787 0
/proc/389/statm: 2378 346 289 221 0 87 0
[pid=391] ppid=389 vsize=26006188 memory=88428 CPUtime=1.86 cores=0-7
/proc/391/stat : 391 (java) S 389 389 345 0 -1 1077944320 13188 0 0 0 181 5 0 0 20 0 20 0 101254970 26630336512 22107 33554432000 4194304 4196468 140737364584944 140737364567488 140330985877239 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
/proc/391/statm: 6501547 22107 3202 1 0 6488781 0
[pid=391/tid=392] ppid=389 vsize=26006188 memory=1696 CPUtime=0.67 cores=0-7
/proc/391/task/392/stat : 392 (java) R 389 389 345 0 -1 4202560 6742 0 0 0 64 3 0 0 20 0 20 0 101254971 26630336512 22107 33554432000 4194304 4196468 140737364584944 140330990114416 140330970217428 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=393] ppid=389 vsize=26006188 memory=920 CPUtime=0 cores=0-7
/proc/391/task/393/stat : 393 (java) S 389 389 345 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101254972 26630336512 22107 33554432000 4194304 4196468 140737364584944 140330944637200 140330985887445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=394] ppid=389 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/391/task/394/stat : 394 (java) S 389 389 345 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101254972 26630336512 22107 33554432000 4194304 4196468 140737364584944 140330542844304 140330985887445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=395] ppid=389 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/391/task/395/stat : 395 (java) S 389 389 345 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101254972 26630336512 22107 33554432000 4194304 4196468 140737364584944 140330541791760 140330985887445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
################
# More data... #
################
[pid=391/tid=471] ppid=389 vsize=26539728 memory=1384 CPUtime=2424.8 cores=0-7
/proc/391/task/471/stat : 471 (java) R 389 389 345 0 -1 4202560 6435 0 0 0 242477 3 0 0 20 0 28 0 101255141 27176681472 495015 33554432000 4194304 4196468 140737364584944 140329681997992 140330628616469 0 4 0 16800975 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
Current children cumulated CPU time: 19463.5 s
Current children cumulated vsize: 26549240 KiB
Current children cumulated memory: 1981444 KiB
[startup+2502.3 s]
/proc/loadavg: 8.04 8.23 8.34 9/209 534
/proc/meminfo: memFree=24514728/32770624 swapFree=67108860/67108860
[pid=389] ppid=386 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/389/stat : 389 (xcsp3-exec) S 386 389 345 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 101254970 9740288 346 33554432000 4194304 5098028 140734503918896 140734503917000 140285629100668 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12750848 140734503924836 140734503925047 140734503925047 140734503927787 0
/proc/389/statm: 2378 346 289 221 0 87 0
[pid=391] ppid=389 vsize=26539728 memory=1979928 CPUtime=19942.4 cores=0-7
/proc/391/stat : 391 (java) S 389 389 345 0 -1 1077944320 456639 0 0 0 1993737 499 0 0 20 0 28 0 101254970 27176681472 494982 33554432000 4194304 4196468 140737364584944 140737364567488 140330985877239 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
/proc/391/statm: 6634932 494982 3307 1 0 6622166 0
[pid=391/tid=392] ppid=389 vsize=26539728 memory=1979928 CPUtime=1.3 cores=0-7
/proc/391/task/392/stat : 392 (java) S 389 389 345 0 -1 1077944384 8116 0 0 0 125 5 0 0 20 0 28 0 101254971 27176681472 494982 33554432000 4194304 4196468 140737364584944 140330990118016 140330985887445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=393] ppid=389 vsize=26539728 memory=1979928 CPUtime=1.85 cores=0-7
/proc/391/task/393/stat : 393 (java) S 389 389 345 0 -1 1077944384 11077 0 0 0 159 26 0 0 20 0 28 0 101254972 27176681472 494982 33554432000 4194304 4196468 140737364584944 140330944637200 140330985887445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=394] ppid=389 vsize=26539728 memory=1979928 CPUtime=1.87 cores=0-7
/proc/391/task/394/stat : 394 (java) S 389 389 345 0 -1 1077944384 13023 0 0 0 159 28 0 0 20 0 28 0 101254972 27176681472 494982 33554432000 4194304 4196468 140737364584944 140330542844304 140330985887445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=395] ppid=389 vsize=26539728 memory=1708 CPUtime=1.89 cores=0-7
/proc/391/task/395/stat : 395 (java) S 389 389 345 0 -1 1077944384 10802 0 0 0 161 28 0 0 20 0 28 0 101254972 27176681472 494982 33554432000 4194304 4196468 140737364584944 140330541791760 140330985887445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=396] ppid=389 vsize=26539728 memory=0 CPUtime=1.86 cores=0-7
/proc/391/task/396/stat : 396 (java) S 389 389 345 0 -1 1077944384 10263 0 0 0 159 27 0 0 20 0 28 0 101254972 27176681472 494982 33554432000 4194304 4196468 140737364584944 140330540739216 140330985887445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=397] ppid=389 vsize=26539728 memory=0 CPUtime=1.85 cores=0-7
/proc/391/task/397/stat : 397 (java) S 389 389 345 0 -1 1077944384 9681 0 0 0 158 27 0 0 20 0 28 0 101254972 27176681472 494982 33554432000 4194304 4196468 140737364584944 140330539686672 140330985887445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=398] ppid=389 vsize=26539728 memory=281028705495536 CPUtime=1.89 cores=0-7
/proc/391/task/398/stat : 398 (java) S 389 389 345 0 -1 1077944384 10297 0 0 0 162 27 0 0 20 0 28 0 101254972 27176681472 494982 33554432000 4194304 4196468 140737364584944 140330538634128 140330985887445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=399] ppid=389 vsize=26539728 memory=304329426311840033 CPUtime=1.87 cores=0-7
/proc/391/task/399/stat : 399 (java) S 389 389 345 0 -1 1077944384 14726 0 0 0 163 24 0 0 20 0 28 0 101254972 27176681472 494982 33554432000 4194304 4196468 140737364584944 140330537581584 140330985887445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=400] ppid=389 vsize=26539728 memory=12032 CPUtime=1.9 cores=0-7
/proc/391/task/400/stat : 400 (java) S 389 389 345 0 -1 1077944384 11784 0 0 0 161 29 0 0 20 0 28 0 101254972 27176681472 494982 33554432000 4194304 4196468 140737364584944 140330536529040 140330985887445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=401] ppid=389 vsize=26539728 memory=1708 CPUtime=1.2 cores=0-7
/proc/391/task/401/stat : 401 (java) S 389 389 345 0 -1 1077944384 31868 0 0 0 92 28 0 0 20 0 28 0 101254973 27176681472 494982 33554432000 4194304 4196468 140737364584944 140329705793520 140330985888386 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=402] ppid=389 vsize=26539728 memory=1228 CPUtime=0 cores=0-7
/proc/391/task/402/stat : 402 (java) S 389 389 345 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 101254973 27176681472 494982 33554432000 4194304 4196468 140737364584944 140329704739808 140330985887445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=403] ppid=389 vsize=26539728 memory=5300 CPUtime=0 cores=0-7
/proc/391/task/403/stat : 403 (java) S 389 389 345 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 101254974 27176681472 494982 33554432000 4194304 4196468 140737364584944 140329703687168 140330985887445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=404] ppid=389 vsize=26539728 memory=1979928 CPUtime=0 cores=0-7
/proc/391/task/404/stat : 404 (java) S 389 389 345 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 101254976 27176681472 494982 33554432000 4194304 4196468 140737364584944 140329702635728 140330985895835 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=405] ppid=389 vsize=26539728 memory=1384 CPUtime=2.16 cores=0-7
/proc/391/task/405/stat : 405 (java) S 389 389 345 0 -1 1077944384 16137 0 0 0 213 3 0 0 20 0 28 0 101254976 27176681472 494982 33554432000 4194304 4196468 140737364584944 140329701583344 140330985888386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=406] ppid=389 vsize=26539728 memory=4012 CPUtime=2.52 cores=0-7
/proc/391/task/406/stat : 406 (java) S 389 389 345 0 -1 1077944384 15460 0 0 0 249 3 0 0 20 0 28 0 101254976 27176681472 494982 33554432000 4194304 4196468 140737364584944 140329700530800 140330985888386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=407] ppid=389 vsize=26539728 memory=1696 CPUtime=2.2 cores=0-7
/proc/391/task/407/stat : 407 (java) S 389 389 345 0 -1 1077944384 15638 0 0 0 218 2 0 0 20 0 28 0 101254976 27176681472 494982 33554432000 4194304 4196468 140737364584944 140329699478256 140330985888386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=408] ppid=389 vsize=26539728 memory=920 CPUtime=0.77 cores=0-7
/proc/391/task/408/stat : 408 (java) S 389 389 345 0 -1 1077944384 11918 0 0 0 76 1 0 0 20 0 28 0 101254976 27176681472 494982 33554432000 4194304 4196468 140737364584944 140329698425712 140330985888386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=409] ppid=389 vsize=26539728 memory=3888 CPUtime=0 cores=0-7
/proc/391/task/409/stat : 409 (java) S 389 389 345 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 101254976 27176681472 494982 33554432000 4194304 4196468 140737364584944 140329697372384 140330985887445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=410] ppid=389 vsize=26539728 memory=288230574492221466 CPUtime=0.36 cores=0-7
/proc/391/task/410/stat : 410 (java) S 389 389 345 0 -1 1077944384 3180 0 0 0 12 24 0 0 20 0 28 0 101254977 27176681472 494982 33554432000 4194304 4196468 140737364584944 140329696319920 140330985888386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=464] ppid=389 vsize=26539728 memory=288230621803970871 CPUtime=2491.27 cores=0-7
/proc/391/task/464/stat : 464 (java) R 389 389 345 0 -1 4202560 5502 0 0 0 249125 2 0 0 20 0 28 0 101255140 27176681472 494982 33554432000 4194304 4196468 140737364584944 140329684098136 140330628616707 0 4 0 16800975 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=465] ppid=389 vsize=26539728 memory=1384 CPUtime=2490.73 cores=0-7
/proc/391/task/465/stat : 465 (java) R 389 389 345 0 -1 4202560 6771 0 0 0 249071 2 0 0 20 0 28 0 101255140 27176681472 494982 33554432000 4194304 4196468 140737364584944 140329683047128 140330628616743 0 4 0 16800975 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=466] ppid=389 vsize=26539728 memory=1979928 CPUtime=2486.99 cores=0-7
/proc/391/task/466/stat : 466 (java) R 389 389 345 0 -1 4202560 28962 0 0 0 248687 12 0 0 20 0 28 0 101255140 27176681472 494982 33554432000 4194304 4196468 140737364584944 140329680941384 140330629291022 0 4 0 16800975 0 0 0 -1 7 0 0 5 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=467] ppid=389 vsize=26539728 memory=1384 CPUtime=2493.41 cores=0-7
/proc/391/task/467/stat : 467 (java) R 389 389 345 0 -1 4202560 22463 0 0 0 249316 25 0 0 20 0 28 0 101255140 27176681472 494982 33554432000 4194304 4196468 140737364584944 140329685152072 140330629678689 0 4 0 16800975 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=468] ppid=389 vsize=26539728 memory=1979928 CPUtime=2492.39 cores=0-7
/proc/391/task/468/stat : 468 (java) R 389 389 345 0 -1 4202560 20270 0 0 0 249217 22 0 0 20 0 28 0 101255140 27176681472 494982 33554432000 4194304 4196468 140737364584944 140329687261424 140330623018613 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=469] ppid=389 vsize=26539728 memory=1979928 CPUtime=2489.92 cores=0-7
/proc/391/task/469/stat : 469 (java) R 389 389 345 0 -1 4202560 162951 0 0 0 248817 175 0 0 20 0 28 0 101255140 27176681472 494982 33554432000 4194304 4196468 140737364584944 140329688310176 140330629291070 0 4 0 16800975 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=470] ppid=389 vsize=26539728 memory=1979928 CPUtime=2485.42 cores=0-7
/proc/391/task/470/stat : 470 (java) R 389 389 345 0 -1 4202560 6867 0 0 0 248539 3 0 0 20 0 28 0 101255140 27176681472 494982 33554432000 4194304 4196468 140737364584944 140329679888728 140330629292266 0 4 0 16800975 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=471] ppid=389 vsize=26539728 memory=1384 CPUtime=2484.79 cores=0-7
/proc/391/task/471/stat : 471 (java) R 389 389 345 0 -1 4202560 6472 0 0 0 248476 3 0 0 20 0 28 0 101255141 27176681472 494982 33554432000 4194304 4196468 140737364584944 140329681997992 140330628616697 0 4 0 16800975 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
Current children cumulated CPU time: 19942.4 s
Current children cumulated vsize: 26549240 KiB
Current children cumulated memory: 1981312 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 8.03 8.21 8.33 9/209 534
/proc/meminfo: memFree=24514980/32770624 swapFree=67108860/67108860
[pid=389] ppid=386 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/389/stat : 389 (xcsp3-exec) S 386 389 345 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 101254970 9740288 346 33554432000 4194304 5098028 140734503918896 140734503917000 140285629100668 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12750848 140734503924836 140734503925047 140734503925047 140734503927787 0
/proc/389/statm: 2378 346 289 221 0 87 0
[pid=391] ppid=389 vsize=26539728 memory=1979928 CPUtime=20083.7 cores=0-7
/proc/391/stat : 391 (java) S 389 389 345 0 -1 1077944320 456956 0 0 0 2007867 500 0 0 20 0 28 0 101254970 27176681472 494982 33554432000 4194304 4196468 140737364584944 140737364567488 140330985877239 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
/proc/391/statm: 6634932 494982 3307 1 0 6622166 0
[pid=391/tid=392] ppid=389 vsize=26539728 memory=1399051139730258233 CPUtime=1.3 cores=0-7
/proc/391/task/392/stat : 392 (java) S 389 389 345 0 -1 1077944384 8116 0 0 0 125 5 0 0 20 0 28 0 101254971 27176681472 494982 33554432000 4194304 4196468 140737364584944 140330990118016 140330985887445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=393] ppid=389 vsize=26539728 memory=4126316290023845779 CPUtime=1.85 cores=0-7
/proc/391/task/393/stat : 393 (java) S 389 389 345 0 -1 1077944384 11077 0 0 0 159 26 0 0 20 0 28 0 101254972 27176681472 494982 33554432000 4194304 4196468 140737364584944 140330944637200 140330985887445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=394] ppid=389 vsize=26539728 memory=2344 CPUtime=1.87 cores=0-7
/proc/391/task/394/stat : 394 (java) S 389 389 345 0 -1 1077944384 13023 0 0 0 159 28 0 0 20 0 28 0 101254972 27176681472 494982 33554432000 4194304 4196468 140737364584944 140330542844304 140330985887445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=395] ppid=389 vsize=26539728 memory=1576 CPUtime=1.89 cores=0-7
/proc/391/task/395/stat : 395 (java) S 389 389 345 0 -1 1077944384 10802 0 0 0 161 28 0 0 20 0 28 0 101254972 27176681472 494982 33554432000 4194304 4196468 140737364584944 140330541791760 140330985887445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=396] ppid=389 vsize=26539728 memory=928 CPUtime=1.86 cores=0-7
/proc/391/task/396/stat : 396 (java) S 389 389 345 0 -1 1077944384 10263 0 0 0 159 27 0 0 20 0 28 0 101254972 27176681472 494982 33554432000 4194304 4196468 140737364584944 140330540739216 140330985887445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=397] ppid=389 vsize=26539728 memory=6947385649911455296 CPUtime=1.85 cores=0-7
/proc/391/task/397/stat : 397 (java) S 389 389 345 0 -1 1077944384 9681 0 0 0 158 27 0 0 20 0 28 0 101254972 27176681472 494982 33554432000 4194304 4196468 140737364584944 140330539686672 140330985887445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=398] ppid=389 vsize=26539728 memory=288284253060608208 CPUtime=1.89 cores=0-7
/proc/391/task/398/stat : 398 (java) S 389 389 345 0 -1 1077944384 10297 0 0 0 162 27 0 0 20 0 28 0 101254972 27176681472 494982 33554432000 4194304 4196468 140737364584944 140330538634128 140330985887445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=399] ppid=389 vsize=26539728 memory=12747 CPUtime=1.87 cores=0-7
/proc/391/task/399/stat : 399 (java) S 389 389 345 0 -1 1077944384 14726 0 0 0 163 24 0 0 20 0 28 0 101254972 27176681472 494982 33554432000 4194304 4196468 140737364584944 140330537581584 140330985887445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=400] ppid=389 vsize=26539728 memory=0 CPUtime=1.9 cores=0-7
/proc/391/task/400/stat : 400 (java) S 389 389 345 0 -1 1077944384 11784 0 0 0 161 29 0 0 20 0 28 0 101254972 27176681472 494982 33554432000 4194304 4196468 140737364584944 140330536529040 140330985887445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=401] ppid=389 vsize=26539728 memory=11921 CPUtime=1.2 cores=0-7
/proc/391/task/401/stat : 401 (java) S 389 389 345 0 -1 1077944384 31868 0 0 0 92 28 0 0 20 0 28 0 101254973 27176681472 494982 33554432000 4194304 4196468 140737364584944 140329705793520 140330985888386 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=402] ppid=389 vsize=26539728 memory=28829630602021044 CPUtime=0 cores=0-7
/proc/391/task/402/stat : 402 (java) S 389 389 345 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 101254973 27176681472 494982 33554432000 4194304 4196468 140737364584944 140329704739808 140330985887445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=403] ppid=389 vsize=26539728 memory=12747 CPUtime=0 cores=0-7
/proc/391/task/403/stat : 403 (java) S 389 389 345 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 101254974 27176681472 494982 33554432000 4194304 4196468 140737364584944 140329703687168 140330985887445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=404] ppid=389 vsize=26539728 memory=12747 CPUtime=0 cores=0-7
/proc/391/task/404/stat : 404 (java) S 389 389 345 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 101254976 27176681472 494982 33554432000 4194304 4196468 140737364584944 140329702635728 140330985895835 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=405] ppid=389 vsize=26539728 memory=11921 CPUtime=2.16 cores=0-7
/proc/391/task/405/stat : 405 (java) S 389 389 345 0 -1 1077944384 16137 0 0 0 213 3 0 0 20 0 28 0 101254976 27176681472 494982 33554432000 4194304 4196468 140737364584944 140329701583344 140330985888386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=406] ppid=389 vsize=26539728 memory=288292185915539971 CPUtime=2.52 cores=0-7
/proc/391/task/406/stat : 406 (java) S 389 389 345 0 -1 1077944384 15460 0 0 0 249 3 0 0 20 0 28 0 101254976 27176681472 494982 33554432000 4194304 4196468 140737364584944 140329700530800 140330985888386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=407] ppid=389 vsize=26539728 memory=1708 CPUtime=2.2 cores=0-7
/proc/391/task/407/stat : 407 (java) S 389 389 345 0 -1 1077944384 15638 0 0 0 218 2 0 0 20 0 28 0 101254976 27176681472 494982 33554432000 4194304 4196468 140737364584944 140329699478256 140330985888386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=408] ppid=389 vsize=26539728 memory=1012 CPUtime=0.77 cores=0-7
/proc/391/task/408/stat : 408 (java) S 389 389 345 0 -1 1077944384 11918 0 0 0 76 1 0 0 20 0 28 0 101254976 27176681472 494982 33554432000 4194304 4196468 140737364584944 140329698425712 140330985888386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=409] ppid=389 vsize=26539728 memory=796 CPUtime=0 cores=0-7
/proc/391/task/409/stat : 409 (java) S 389 389 345 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 101254976 27176681472 494982 33554432000 4194304 4196468 140737364584944 140329697372384 140330985887445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=410] ppid=389 vsize=26539728 memory=29000 CPUtime=0.36 cores=0-7
/proc/391/task/410/stat : 410 (java) S 389 389 345 0 -1 1077944384 3180 0 0 0 12 24 0 0 20 0 28 0 101254977 27176681472 494982 33554432000 4194304 4196468 140737364584944 140329696319920 140330985888386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=464] ppid=389 vsize=26539728 memory=1296 CPUtime=2508.98 cores=0-7
/proc/391/task/464/stat : 464 (java) R 389 389 345 0 -1 4202560 5502 0 0 0 250896 2 0 0 20 0 28 0 101255140 27176681472 494982 33554432000 4194304 4196468 140737364584944 140329684098136 140330629293306 0 4 0 16800975 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=465] ppid=389 vsize=26539728 memory=2400 CPUtime=2508.44 cores=0-7
/proc/391/task/465/stat : 465 (java) R 389 389 345 0 -1 4202560 6771 0 0 0 250842 2 0 0 20 0 28 0 101255140 27176681472 494982 33554432000 4194304 4196468 140737364584944 140329683047128 140330628617248 0 4 0 16800975 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=466] ppid=389 vsize=26539728 memory=4108 CPUtime=2504.36 cores=0-7
/proc/391/task/466/stat : 466 (java) R 389 389 345 0 -1 4202560 29007 0 0 0 250424 12 0 0 20 0 28 0 101255140 27176681472 494982 33554432000 4194304 4196468 140737364584944 140329680941384 140330628616774 0 4 0 16800975 0 0 0 -1 7 0 0 5 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=467] ppid=389 vsize=26539728 memory=1728 CPUtime=2511.12 cores=0-7
/proc/391/task/467/stat : 467 (java) R 389 389 345 0 -1 4202560 22516 0 0 0 251087 25 0 0 20 0 28 0 101255140 27176681472 494982 33554432000 4194304 4196468 140737364584944 140329685152072 140330629296446 0 4 0 16800975 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=468] ppid=389 vsize=26539728 memory=12032 CPUtime=2510.1 cores=0-7
/proc/391/task/468/stat : 468 (java) R 389 389 345 0 -1 4202560 20288 0 0 0 250988 22 0 0 20 0 28 0 101255140 27176681472 494982 33554432000 4194304 4196468 140737364584944 140329687261424 140330629292032 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=469] ppid=389 vsize=26539728 memory=1708 CPUtime=2507.63 cores=0-7
/proc/391/task/469/stat : 469 (java) R 389 389 345 0 -1 4202560 163152 0 0 0 250588 175 0 0 20 0 28 0 101255140 27176681472 494982 33554432000 4194304 4196468 140737364584944 140329688310176 140330629234563 0 4 0 16800975 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=470] ppid=389 vsize=26539728 memory=1012 CPUtime=2503.13 cores=0-7
/proc/391/task/470/stat : 470 (java) R 389 389 345 0 -1 4202560 6867 0 0 0 250310 3 0 0 20 0 28 0 101255140 27176681472 494982 33554432000 4194304 4196468 140737364584944 140329679888728 140330628761785 0 4 0 16800975 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
[pid=391/tid=471] ppid=389 vsize=26539728 memory=796 CPUtime=2502.5 cores=0-7
/proc/391/task/471/stat : 471 (java) R 389 389 345 0 -1 4202560 6472 0 0 0 250247 3 0 0 20 0 28 0 101255141 27176681472 494982 33554432000 4194304 4196468 140737364584944 140329681997992 140330629998941 0 4 0 16800975 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 31629312 140737364591762 140737364591939 140737364591939 140737364594639 0
Current children cumulated CPU time: 20083.7 s
Current children cumulated vsize: 26549240 KiB
Current children cumulated memory: 1981312 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.04 s]
# the end of solver process 389 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0 s, system=0.001957 s
[startup+2520.1 s]
# the end of solver process 391 was just reported to runsolver
# cumulated CPU time of all completed processes: user=20079.3 s, system=5.01971 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2520.1
CPU time (s): 20084.3
CPU user time (s): 20079.3
CPU system time (s): 5.01971
CPU usage (%): 796.966
Max. virtual memory (cumulated for all children) (KiB): 26549240
Max. memory (cumulated for all children) (KiB): 3126080
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20079.3
system time used= 5.01971
maximum resident set size= 3130840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 457839
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3288
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 139325
involuntary context switches= 208685
# summary of solver processes directly reported to runsolver:
# pid: 389,391
# total CPU time (s): 20084.3
# total CPU user time (s): 20079.3
# total CPU system time (s): 5.01971
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.586 second user time and 28.2894 second system time
The end
Begin job on node105 at 2017-08-14 05:22:55 IDJOB=4270580 IDBENCH=120626 IDSOLVER=2662 FILE ID=node105/4270580-1502681833 RUNJOBID= node105-1502680975-372 PBS_JOBID= 20628988 Free space on /tmp= 60664 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-dsjc-250-1.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4270580-1502681833/watcher-4270580-1502681833 -o /tmp/evaluation-result-4270580-1502681833/solver-4270580-1502681833 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1502680975-372 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1846741792 HOME/instance-4270580-1502681833.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 4a78676e15c4a516bf0316b10322151a RANDOM SEED=1846741792 node105.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.17 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.17 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.17 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.17 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: 26485004 kB MemAvailable: 31974100 kB Buffers: 195968 kB Cached: 5567556 kB SwapCached: 0 kB Active: 727360 kB Inactive: 5088836 kB Active(anon): 55484 kB Inactive(anon): 25060 kB Active(file): 671876 kB Inactive(file): 5063776 kB Unevictable: 6248 kB Mlocked: 6248 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7800 kB Writeback: 0 kB AnonPages: 58504 kB Mapped: 43968 kB Shmem: 25228 kB Slab: 164184 kB SReclaimable: 138560 kB SUnreclaim: 25624 kB KernelStack: 3120 kB PageTables: 4412 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 322812 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 60656 MiB End job on node105 at 2017-08-14 06:04:55