Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Choco-solver 4.0.7b par (e747e1e) | SAT (TO) | 10183 | 20067.3 | 2520.17 |
Name | SumColoring/ SumColoring-dsjc-250-9_c18.xml |
MD5SUM | 15c7aefb85365a32de6dc875f5012851 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 10183 |
Best CPU time to get the best result obtained on this benchmark | 20067.3 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 250 |
Number of constraints | 27897 |
Number of domains | 1 |
Minimum domain size | 250 |
Maximum domain size | 250 |
Distribution of domain sizes | [{"size":250,"count":250}] |
Minimum variable degree | 208 |
Maximum variable degree | 235 |
Distribution of variable degrees | [{"degree":208,"count":1},{"degree":213,"count":1},{"degree":214,"count":3},{"degree":215,"count":5},{"degree":216,"count":4},{"degree":217,"count":8},{"degree":218,"count":9},{"degree":219,"count":11},{"degree":220,"count":9},{"degree":221,"count":15},{"degree":222,"count":19},{"degree":223,"count":19},{"degree":224,"count":26},{"degree":225,"count":23},{"degree":226,"count":10},{"degree":227,"count":22},{"degree":228,"count":17},{"degree":229,"count":21},{"degree":230,"count":10},{"degree":231,"count":6},{"degree":232,"count":7},{"degree":233,"count":1},{"degree":234,"count":1},{"degree":235,"count":2}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":27897}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 27897 |
Distribution of constraint types | [{"type":"intension","count":27897}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297588-1532707769.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4297588-1532707769.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 14.56/5.85 c solve instance... 16.41/6.18 o 11244 17.01/6.25 o 11243 17.01/6.26 o 11242 17.76/6.34 o 11238 17.76/6.36 o 11226 17.76/6.38 o 11225 17.76/6.39 o 11136 22.40/6.90 o 11053 22.40/6.95 o 10317 22.40/6.96 o 10314 23.20/7.03 o 10312 40.62/9.27 o 10197 40.62/9.30 o 10193 41.28/9.30 o 10183 20066.47/2520.08 s SATISFIABLE 20066.47/2520.08 v <instantiation> 20066.47/2520.08 v <list>c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[40] c[41] c[42] c[43] c[44] c[45] c[46] c[47] c[48] c[49] c[50] c[51] c[52] c[53] c[54] c[55] c[56] c[57] c[58] c[59] c[60] c[61] c[62] c[63] c[64] c[65] c[66] c[67] c[68] c[69] c[70] c[71] c[72] c[73] c[74] c[75] c[76] c[77] c[78] c[79] c[80] c[81] c[82] c[83] c[84] c[85] c[86] c[87] c[88] c[89] c[90] c[91] c[92] c[93] c[94] c[95] c[96] c[97] c[98] c[99] c[100] c[101] c[102] c[103] c[104] c[105] c[106] c[107] c[108] c[109] c[110] c[111] c[112] c[113] c[114] c[115] c[116] c[117] c[118] c[119] c[120] c[121] c[122] c[123] c[124] c[125] c[126] c[127] c[128] c[129] c[130] c[131] c[132] c[133] c[134] c[135] c[136] c[137] c[138] c[139] c[140] c[141] c[142] c[143] c[144] c[145] c[146] c[147] c[148] c[149] c[150] c[151] c[152] c[153] c[154] c[155] c[156] c[157] c[158] c[159] c[160] c[161] c[162] c[163] c[164] c[165] c[166] c[167] c[168] c[169] c[170] c[171] c[172] c[173] c[174] c[175] c[176] c[177] c[178] c[179] c[180] c[181] c[182] c[183] c[184] c[185] c[186] c[187] c[188] c[189] c[190] c[191] c[192] c[193] c[194] c[195] c[196] c[197] c[198] c[199] c[200] c[201] c[202] c[203] c[204] c[205] c[206] c[207] c[208] c[209] c[210] c[211] c[212] c[213] c[214] c[215] c[216] c[217] c[218] c[219] c[220] c[221] c[222] c[223] c[224] c[225] c[226] c[227] c[228] c[229] c[230] c[231] c[232] c[233] c[234] c[235] c[236] c[237] c[238] c[239] c[240] c[241] c[242] c[243] c[244] c[245] c[246] c[247] c[248] c[249] </list> 20066.47/2520.08 v <values>21 58 17 72 62 1 15 35 12 3 38 69 24 26 47 62 44 47 6 40 78 6 57 31 1 2 67 5 69 39 36 71 77 66 32 58 64 62 17 72 13 11 3 76 34 3 57 74 14 55 40 80 30 8 21 73 55 0 39 41 30 65 27 23 15 26 1 10 77 27 41 10 56 73 69 46 65 33 49 35 28 51 20 24 70 7 43 20 48 50 82 10 66 28 81 2 7 82 68 51 48 35 38 83 68 13 34 61 37 45 53 7 76 9 60 28 79 16 29 45 40 61 60 57 19 10 85 4 4 70 29 83 63 36 70 0 42 58 32 84 13 18 84 6 25 73 50 72 4 52 53 8 33 33 50 43 5 22 48 23 20 24 67 52 49 75 64 14 16 15 34 59 55 33 16 11 9 59 44 18 13 25 63 26 87 17 75 18 56 74 78 88 11 43 20 28 36 59 63 36 12 38 42 31 46 22 67 31 32 61 86 79 41 9 45 23 29 5 64 8 77 54 0 14 76 19 27 38 9 21 54 85 25 49 22 66 43 17 12 30 80 71 47 81 79 68 2 37 46 75 </values> 20066.47/2520.08 v </instantiation> 20066.47/2520.08 c Unexpected resolution interruption!
OK 10183
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 (15186 MiB free) memory of node 1: 16384 MiB (11713 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297588-1532707769/watcher-4297588-1532707769 -o /tmp/evaluation-result-4297588-1532707769/solver-4297588-1532707769 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1532707769-17894 --watchdog 2580 HOME/xcsp3-exec -seed 1369535900 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297588-1532707769.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=17911, runsolver pid=17908 Current StackSize limit: 8192 KiB [startup+0.100136 s]* /proc/loadavg: 8.06 8.25 8.30 2/199 17932 /proc/meminfo: memFree=27529784/32770624 swapFree=67108496/67108860 [pid=17911] ppid=17908 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/17911/stat : 17911 (xcsp3-exec) S 17908 17911 17867 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88340084 115843072 364 33554432000 4194304 5098028 140722443565264 140722443563368 140702810800764 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 7790592 140722443568181 140722443568384 140722443568384 140722443571146 0 /proc/17911/statm: 28282 364 306 221 0 87 0 [pid=17913] ppid=17911 vsize=26104152 memory=27588 CPUtime=0.12 cores=0-7 /proc/17913/stat : 17913 (java) S 17911 17911 17867 0 -1 1077944320 5823 0 0 0 10 2 0 0 20 0 20 0 88340084 26730651648 6897 33554432000 4194304 4196468 140729466453776 140729466436320 139702618476279 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 /proc/17913/statm: 6526038 6897 2998 1 0 6488315 0 [pid=17913/tid=17914] ppid=17911 vsize=26104152 memory=8330421743867829400 CPUtime=0.09 cores=0-7 /proc/17913/task/17914/stat : 17914 (java) R 17911 17911 17867 0 -1 4202560 3836 0 0 0 8 1 0 0 20 0 20 0 88340084 26730651648 6962 33554432000 4194304 4196468 140729466453776 139702622695584 139702618488214 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17915] ppid=17911 vsize=26104152 memory=732370803174599653 CPUtime=0 cores=0-7 /proc/17913/task/17915/stat : 17915 (java) S 17911 17911 17867 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88340085 26730651648 6962 33554432000 4194304 4196468 140729466453776 139702541057040 139702618486485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17916] ppid=17911 vsize=26104152 memory=140664837146240 CPUtime=0 cores=0-7 /proc/17913/task/17916/stat : 17916 (java) S 17911 17911 17867 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88340085 26730651648 6962 33554432000 4194304 4196468 140729466453776 139702540004496 139702618486485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17917] ppid=17911 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/17913/task/17917/stat : 17917 (java) S 17911 17911 17867 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88340085 26730651648 6962 33554432000 4194304 4196468 140729466453776 139702538951440 139702618486485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17918] ppid=17911 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/17913/task/17918/stat : 17918 (java) S 17911 17911 17867 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88340085 26730651648 6962 33554432000 4194304 4196468 140729466453776 139702537898896 139702618486485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17919] ppid=17911 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/17913/task/17919/stat : 17919 (java) S 17911 17911 17867 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88340085 26730651648 6962 33554432000 4194304 4196468 140729466453776 139702536845840 139702618486485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17920] ppid=17911 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/17913/task/17920/stat : 17920 (java) S 17911 17911 17867 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88340085 26730651648 6962 33554432000 4194304 4196468 140729466453776 139702171622032 139702618486485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17921] ppid=17911 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/17913/task/17921/stat : 17921 (java) S 17911 17911 17867 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88340085 26730651648 6962 33554432000 4194304 4196468 140729466453776 139702170568976 139702618486485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17922] ppid=17911 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/17913/task/17922/stat : 17922 (java) S 17911 17911 17867 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88340085 26730651648 6962 33554432000 4194304 4196468 140729466453776 139702169516432 139702618486485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17923] ppid=17911 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/17913/task/17923/stat : 17923 (java) S 17911 17911 17867 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88340087 26730651648 6962 33554432000 4194304 4196468 140729466453776 139702014315248 139702618487426 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17924] ppid=17911 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/17913/task/17924/stat : 17924 (java) S 17911 17911 17867 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88340087 26730651648 6962 33554432000 4194304 4196468 140729466453776 139702013261472 139702618486485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17925] ppid=17911 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/17913/task/17925/stat : 17925 (java) S 17911 17911 17867 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88340087 26730651648 6962 33554432000 4194304 4196468 140729466453776 139702012208368 139702618486485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17926] ppid=17911 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/17913/task/17926/stat : 17926 (java) S 17911 17911 17867 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88340090 26730651648 6962 33554432000 4194304 4196468 140729466453776 139702011156944 139702618494875 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17927] ppid=17911 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/17913/task/17927/stat : 17927 (java) S 17911 17911 17867 0 -1 1077944384 289 0 0 0 0 0 0 0 20 0 20 0 88340090 26730651648 6962 33554432000 4194304 4196468 140729466453776 139702010104048 139702618487426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17928] ppid=17911 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/17913/task/17928/stat : 17928 (java) S 17911 17911 17867 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 88340090 26730651648 6962 33554432000 4194304 4196468 140729466453776 139702009051504 139702618487426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17929] ppid=17911 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/17913/task/17929/stat : 17929 (java) S 17911 17911 17867 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88340090 26730651648 6962 33554432000 4194304 4196468 140729466453776 139702007998448 139702618487426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17930] ppid=17911 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/17913/task/17930/stat : 17930 (java) R 17911 17911 17867 0 -1 4202560 265 0 0 0 1 0 0 0 20 0 20 0 88340090 26730651648 6962 33554432000 4194304 4196468 140729466453776 139702006945904 139702604190800 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17931] ppid=17911 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/17913/task/17931/stat : 17931 (java) S 17911 17911 17867 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88340090 26730651648 6962 33554432000 4194304 4196468 140729466453776 139702005894112 139702618486485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17932] ppid=17911 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/17913/task/17932/stat : 17932 (java) S 17911 17911 17867 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88340090 26730651648 6962 33554432000 4194304 4196468 140729466453776 139702004841648 139702618487426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 29044 KiB [startup+0.210118 s]* /proc/loadavg: 8.06 8.25 8.30 3/199 17932 /proc/meminfo: memFree=27519588/32770624 swapFree=67108496/67108860 [pid=17911] ppid=17908 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/17911/stat : 17911 (xcsp3-exec) S 17908 17911 17867 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88340084 115843072 364 33554432000 4194304 5098028 140722443565264 140722443563368 140702810800764 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 7790592 140722443568181 140722443568384 140722443568384 140722443571146 0 /proc/17911/statm: 28282 364 306 221 0 87 0 [pid=17913] ppid=17911 vsize=26104152 memory=38784 CPUtime=0.33 cores=0-7 /proc/17913/stat : 17913 (java) S 17911 17911 17867 0 -1 1077944320 8330 0 0 0 30 3 0 0 20 0 20 0 88340084 26730651648 9696 33554432000 4194304 4196468 140729466453776 140729466436320 139702618476279 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 /proc/17913/statm: 6526038 9696 3175 1 0 6488315 0 [pid=17913/tid=17914] ppid=17911 vsize=26104152 memory=0 CPUtime=0.2 cores=0-7 /proc/17913/task/17914/stat : 17914 (java) R 17911 17911 17867 0 -1 4202560 5575 0 0 0 18 2 0 0 20 0 20 0 88340084 26730651648 9696 33554432000 4194304 4196468 140729466453776 139702622713888 139702598695480 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17915] ppid=17911 vsize=26104152 memory=281329512384248 CPUtime=0 cores=0-7 /proc/17913/task/17915/stat : 17915 (java) S 17911 17911 17867 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88340085 26730651648 9696 33554432000 4194304 4196468 140729466453776 139702541057040 139702618486485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17916] ppid=17911 vsize=26104152 memory=140664837146240 CPUtime=0 cores=0-7 /proc/17913/task/17916/stat : 17916 (java) S 17911 17911 17867 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88340085 26730651648 9696 33554432000 4194304 4196468 140729466453776 139702540004496 139702618486485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17917] ppid=17911 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/17913/task/17917/stat : 17917 (java) S 17911 17911 17867 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88340085 26730651648 9696 33554432000 4194304 4196468 140729466453776 139702538951440 139702618486485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17918] ppid=17911 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/17913/task/17918/stat : 17918 (java) S 17911 17911 17867 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88340085 26730651648 9696 33554432000 4194304 4196468 140729466453776 139702537898896 139702618486485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17919] ppid=17911 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/17913/task/17919/stat : 17919 (java) S 17911 17911 17867 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88340085 26730651648 9696 33554432000 4194304 4196468 140729466453776 139702536845840 139702618486485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17920] ppid=17911 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/17913/task/17920/stat : 17920 (java) S 17911 17911 17867 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88340085 26730651648 9696 33554432000 4194304 4196468 140729466453776 139702171622032 139702618486485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17921] ppid=17911 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/17913/task/17921/stat : 17921 (java) S 17911 17911 17867 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88340085 26730651648 9696 33554432000 4194304 4196468 140729466453776 139702170568976 139702618486485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17922] ppid=17911 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/17913/task/17922/stat : 17922 (java) S 17911 17911 17867 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88340085 26730651648 9696 33554432000 4194304 4196468 140729466453776 139702169516432 139702618486485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17923] ppid=17911 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/17913/task/17923/stat : 17923 (java) S 17911 17911 17867 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 88340087 26730651648 9696 33554432000 4194304 4196468 140729466453776 139702014315248 139702618487426 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17924] ppid=17911 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/17913/task/17924/stat : 17924 (java) S 17911 17911 17867 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88340087 26730651648 9696 33554432000 4194304 4196468 140729466453776 139702013261472 139702618486485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17925] ppid=17911 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/17913/task/17925/stat : 17925 (java) S 17911 17911 17867 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88340087 26730651648 9696 33554432000 4194304 4196468 140729466453776 139702012208368 139702618486485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17926] ppid=17911 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/17913/task/17926/stat : 17926 (java) S 17911 17911 17867 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88340090 26730651648 9696 33554432000 4194304 4196468 140729466453776 139702011156944 139702618494875 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17927] ppid=17911 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/17913/task/17927/stat : 17927 (java) S 17911 17911 17867 0 -1 1077944384 357 0 0 0 0 0 0 0 20 0 20 0 88340090 26730651648 9696 33554432000 4194304 4196468 140729466453776 139702010104048 139702618487426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17928] ppid=17911 vsize=26104152 memory=0 CPUtime=0.02 cores=0-7 /proc/17913/task/17928/stat : 17928 (java) S 17911 17911 17867 0 -1 1077944384 251 0 0 0 2 0 0 0 20 0 20 0 88340090 26730651648 9696 33554432000 4194304 4196468 140729466453776 139702009051504 139702618487426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17929] ppid=17911 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/17913/task/17929/stat : 17929 (java) S 17911 17911 17867 0 -1 1077944384 122 0 0 0 1 0 0 0 20 0 20 0 88340090 26730651648 9696 33554432000 4194304 4196468 140729466453776 139702007998448 139702618487426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17930] ppid=17911 vsize=26104152 memory=0 CPUtime=0.07 cores=0-7 /proc/17913/task/17930/stat : 17930 (java) S 17911 17911 17867 0 -1 1077944384 712 0 0 0 7 0 0 0 20 0 20 0 88340090 26730651648 9696 33554432000 4194304 4196468 140729466453776 139702006945904 139702618487426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17931] ppid=17911 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/17913/task/17931/stat : 17931 (java) S 17911 17911 17867 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88340090 26730651648 9696 33554432000 4194304 4196468 140729466453776 139702005894112 139702618486485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17932] ppid=17911 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/17913/task/17932/stat : 17932 (java) S 17911 17911 17867 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88340090 26730651648 9696 33554432000 4194304 4196468 140729466453776 139702004841648 139702618487426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 40240 KiB [startup+0.309455 s]* /proc/loadavg: 8.06 8.25 8.30 5/199 17932 /proc/meminfo: memFree=27513136/32770624 swapFree=67108496/67108860 [pid=17911] ppid=17908 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/17911/stat : 17911 (xcsp3-exec) S 17908 17911 17867 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88340084 115843072 364 33554432000 4194304 5098028 140722443565264 140722443563368 140702810800764 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 7790592 140722443568181 140722443568384 140722443568384 140722443571146 0 /proc/17911/statm: 28282 364 306 221 0 87 0 [pid=17913] ppid=17911 vsize=26108408 memory=46288 CPUtime=0.51 cores=0-7 /proc/17913/stat : 17913 (java) S 17911 17911 17867 0 -1 1077944320 9290 0 0 0 47 4 0 0 20 0 20 0 88340084 26735009792 11572 33554432000 4194304 4196468 140729466453776 140729466436320 139702618476279 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 /proc/17913/statm: 6527102 11572 3226 1 0 6488315 0 [pid=17913/tid=17914] ppid=17911 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/17913/task/17914/stat : 17914 (java) R 17911 17911 17867 0 -1 4202560 6255 0 0 0 27 2 0 0 20 0 20 0 88340084 26735009792 11572 33554432000 4194304 4196468 140729466453776 139702622705952 139702618498205 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17915] ppid=17911 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/17913/task/17915/stat : 17915 (java) S 17911 17911 17867 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88340085 26735009792 11572 33554432000 4194304 4196468 140729466453776 139702541057040 139702618486485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17916] ppid=17911 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/17913/task/17916/stat : 17916 (java) S 17911 17911 17867 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88340085 26735009792 11572 33554432000 4194304 4196468 140729466453776 139702540004496 139702618486485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17917] ppid=17911 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/17913/task/17917/stat : 17917 (java) S 17911 17911 17867 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88340085 26735009792 11572 33554432000 4194304 4196468 140729466453776 139702538951440 139702618486485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17918] ppid=17911 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/17913/task/17918/stat : 17918 (java) S 17911 17911 17867 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88340085 26735009792 11572 33554432000 4194304 4196468 140729466453776 139702537898896 139702618486485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17919] ppid=17911 vsize=26108408 memory=2244 CPUtime=0 cores=0-7 /proc/17913/task/17919/stat : 17919 (java) S 17911 17911 17867 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88340085 26735009792 11572 33554432000 4194304 4196468 140729466453776 139702536845840 139702618486485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17920] ppid=17911 vsize=26108408 memory=140664675333039 CPUtime=0 cores=0-7 /proc/17913/task/17920/stat : 17920 (java) S 17911 17911 17867 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88340085 26735009792 11572 33554432000 4194304 4196468 140729466453776 139702171622032 139702618486485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17921] ppid=17911 vsize=26108408 memory=140664675335344 CPUtime=0 cores=0-7 /proc/17913/task/17921/stat : 17921 (java) S 17911 17911 17867 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88340085 26735009792 11572 33554432000 4194304 4196468 140729466453776 139702170568976 139702618486485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17922] ppid=17911 vsize=26108408 memory=140664675337648 CPUtime=0 cores=0-7 /proc/17913/task/17922/stat : 17922 (java) S 17911 17911 17867 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88340085 26735009792 11627 33554432000 4194304 4196468 140729466453776 139702169516432 139702618486485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17923] ppid=17911 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/17913/task/17923/stat : 17923 (java) S 17911 17911 17867 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 88340087 26735009792 11627 33554432000 4194304 4196468 140729466453776 139702014315248 139702618487426 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17924] ppid=17911 vsize=26108408 memory=281329350682256 CPUtime=0 cores=0-7 /proc/17913/task/17924/stat : 17924 (java) S 17911 17911 17867 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88340087 26735009792 11627 33554432000 4194304 4196468 140729466453776 139702013261472 139702618486485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17925] ppid=17911 vsize=26108408 memory=281329350689168 CPUtime=0 cores=0-7 /proc/17913/task/17925/stat : 17925 (java) S 17911 17911 17867 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88340087 26735009792 11627 33554432000 4194304 4196468 140729466453776 139702012208368 139702618486485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17926] ppid=17911 vsize=26108408 memory=281329350630448 CPUtime=0 cores=0-7 /proc/17913/task/17926/stat : 17926 (java) S 17911 17911 17867 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88340090 26735009792 11627 33554432000 4194304 4196468 140729466453776 139702011156944 139702618494875 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17927] ppid=17911 vsize=26108408 memory=281329350702992 CPUtime=0.02 cores=0-7 /proc/17913/task/17927/stat : 17927 (java) R 17911 17911 17867 0 -1 4202560 477 0 0 0 2 0 0 0 20 0 20 0 88340090 26735009792 11627 33554432000 4194304 4196468 140729466453776 139702010085064 139702599994191 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17928] ppid=17911 vsize=26108408 memory=281329350709904 CPUtime=0.03 cores=0-7 /proc/17913/task/17928/stat : 17928 (java) S 17911 17911 17867 0 -1 1077944384 263 0 0 0 3 0 0 0 20 0 20 0 88340090 26735009792 11627 33554432000 4194304 4196468 140729466453776 139702009051504 139702618487426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17929] ppid=17911 vsize=26108408 memory=281329350707600 CPUtime=0.01 cores=0-7 /proc/17913/task/17929/stat : 17929 (java) S 17911 17911 17867 0 -1 1077944384 137 0 0 0 1 0 0 0 20 0 20 0 88340090 26735009792 11627 33554432000 4194304 4196468 140729466453776 139702007998448 139702618487426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17930] ppid=17911 vsize=26108408 memory=281329350723760 CPUtime=0.12 cores=0-7 /proc/17913/task/17930/stat : 17930 (java) S 17911 17911 17867 0 -1 1077944384 849 0 0 0 12 0 0 0 20 0 20 0 88340090 26735009792 11627 33554432000 4194304 4196468 140729466453776 139702006945904 139702618487426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17931] ppid=17911 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/17913/task/17931/stat : 17931 (java) S 17911 17911 17867 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88340090 26735009792 11627 33554432000 4194304 4196468 140729466453776 139702005894112 139702618486485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17932] ppid=17911 vsize=26108408 memory=-1 CPUtime=0 cores=0-7 /proc/17913/task/17932/stat : 17932 (java) S 17911 17911 17867 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88340090 26735009792 11627 33554432000 4194304 4196468 140729466453776 139702004841648 139702618487426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 26221536 KiB Current children cumulated memory: 47744 KiB [startup+0.700947 s] /proc/loadavg: 8.06 8.25 8.30 4/199 17932 /proc/meminfo: memFree=27484400/32770624 swapFree=67108496/67108860 [pid=17911] ppid=17908 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/17911/stat : 17911 (xcsp3-exec) S 17908 17911 17867 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88340084 115843072 364 33554432000 4194304 5098028 140722443565264 140722443563368 140702810800764 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 7790592 140722443568181 140722443568384 140722443568384 140722443571146 0 /proc/17911/statm: 28282 364 306 221 0 87 0 [pid=17913] ppid=17911 vsize=26110532 memory=117396 CPUtime=1.89 cores=0-7 /proc/17913/stat : 17913 (java) S 17911 17911 17867 0 -1 1077944320 13255 0 0 0 184 5 0 0 20 0 20 0 88340084 26737184768 29349 33554432000 4194304 4196468 140729466453776 140729466436320 139702618476279 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 /proc/17913/statm: 6527633 29349 3351 1 0 6488827 0 [pid=17913/tid=17914] ppid=17911 vsize=26110532 memory=281329351018624 CPUtime=0.67 cores=0-7 /proc/17913/task/17914/stat : 17914 (java) R 17911 17911 17867 0 -1 4202560 6752 0 0 0 64 3 0 0 20 0 20 0 88340084 26737184768 29349 33554432000 4194304 4196468 140729466453776 139702622712784 139702219789580 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17915] ppid=17911 vsize=26110532 memory=5016521802889 CPUtime=0 cores=0-7 /proc/17913/task/17915/stat : 17915 (java) S 17911 17911 17867 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88340085 26737184768 29349 33554432000 4194304 4196468 140729466453776 139702541057040 139702618486485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17916] ppid=17911 vsize=26110532 memory=0 CPUtime=0 cores=0-7 /proc/17913/task/17916/stat : 17916 (java) S 17911 17911 17867 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88340085 26737184768 29349 33554432000 4194304 4196468 140729466453776 139702540004496 139702618486485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17917] ppid=17911 vsize=26110532 memory=0 CPUtime=0 cores=0-7 /proc/17913/task/17917/stat : 17917 (java) S 17911 17911 17867 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88340085 26737184768 29349 33554432000 4194304 4196468 140729466453776 139702538951440 139702618486485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 ################ # More data... # ################ /proc/17913/stat : 17913 (java) S 17911 17911 17867 0 -1 1077944320 319687 0 0 0 1991616 946 0 0 20 0 28 0 88340084 27489058816 1678235 33554432000 4194304 4196468 140729466453776 140729466436320 139702618476279 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 /proc/17913/statm: 6711196 1678235 3461 1 0 6672390 0 [pid=17913/tid=17914] ppid=17911 vsize=26844784 memory=6731408 CPUtime=5.53 cores=0-7 /proc/17913/task/17914/stat : 17914 (java) S 17911 17911 17867 0 -1 1077944384 8522 0 0 0 536 17 0 0 20 0 28 0 88340084 27489058816 1678235 33554432000 4194304 4196468 140729466453776 139702622717056 139702618486485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17915] ppid=17911 vsize=26844784 memory=6712940 CPUtime=1.08 cores=0-7 /proc/17913/task/17915/stat : 17915 (java) S 17911 17911 17867 0 -1 1077944384 4776 0 0 0 85 23 0 0 20 0 28 0 88340085 27489058816 1678235 33554432000 4194304 4196468 140729466453776 139702541057040 139702618486485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17916] ppid=17911 vsize=26844784 memory=6712940 CPUtime=1.06 cores=0-7 /proc/17913/task/17916/stat : 17916 (java) S 17911 17911 17867 0 -1 1077944384 4785 0 0 0 87 19 0 0 20 0 28 0 88340085 27489058816 1678235 33554432000 4194304 4196468 140729466453776 139702540004496 139702618486485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17917] ppid=17911 vsize=26844784 memory=1456 CPUtime=1.08 cores=0-7 /proc/17913/task/17917/stat : 17917 (java) S 17911 17911 17867 0 -1 1077944384 5235 0 0 0 88 20 0 0 20 0 28 0 88340085 27489058816 1678235 33554432000 4194304 4196468 140729466453776 139702538951440 139702618486485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17918] ppid=17911 vsize=26844784 memory=6837068 CPUtime=1.11 cores=0-7 /proc/17913/task/17918/stat : 17918 (java) S 17911 17911 17867 0 -1 1077944384 8399 0 0 0 91 20 0 0 20 0 28 0 88340085 27489058816 1678235 33554432000 4194304 4196468 140729466453776 139702537898896 139702618486485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17919] ppid=17911 vsize=26844784 memory=6791534058613427641 CPUtime=1.09 cores=0-7 /proc/17913/task/17919/stat : 17919 (java) S 17911 17911 17867 0 -1 1077944384 5066 0 0 0 89 20 0 0 20 0 28 0 88340085 27489058816 1678235 33554432000 4194304 4196468 140729466453776 139702536845840 139702618486485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17920] ppid=17911 vsize=26844784 memory=1456 CPUtime=1.09 cores=0-7 /proc/17913/task/17920/stat : 17920 (java) S 17911 17911 17867 0 -1 1077944384 6021 0 0 0 91 18 0 0 20 0 28 0 88340085 27489058816 1678235 33554432000 4194304 4196468 140729466453776 139702171622032 139702618486485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17921] ppid=17911 vsize=26844784 memory=6785272 CPUtime=1.07 cores=0-7 /proc/17913/task/17921/stat : 17921 (java) S 17911 17911 17867 0 -1 1077944384 6835 0 0 0 86 21 0 0 20 0 28 0 88340085 27489058816 1678235 33554432000 4194304 4196468 140729466453776 139702170568976 139702618486485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17922] ppid=17911 vsize=26844784 memory=1456 CPUtime=1.1 cores=0-7 /proc/17913/task/17922/stat : 17922 (java) S 17911 17911 17867 0 -1 1077944384 6016 0 0 0 91 19 0 0 20 0 28 0 88340085 27489058816 1678235 33554432000 4194304 4196468 140729466453776 139702169516432 139702618486485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17923] ppid=17911 vsize=26844784 memory=6759620 CPUtime=0.88 cores=0-7 /proc/17913/task/17923/stat : 17923 (java) S 17911 17911 17867 0 -1 1077944384 22026 0 0 0 40 48 0 0 20 0 28 0 88340087 27489058816 1678235 33554432000 4194304 4196468 140729466453776 139702014315248 139702618487426 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17924] ppid=17911 vsize=26844784 memory=15264 CPUtime=0 cores=0-7 /proc/17913/task/17924/stat : 17924 (java) S 17911 17911 17867 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 88340087 27489058816 1678235 33554432000 4194304 4196468 140729466453776 139702013261536 139702618486485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17925] ppid=17911 vsize=26844784 memory=1180 CPUtime=0 cores=0-7 /proc/17913/task/17925/stat : 17925 (java) S 17911 17911 17867 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 28 0 88340087 27489058816 1678235 33554432000 4194304 4196468 140729466453776 139702012208384 139702618486485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17926] ppid=17911 vsize=26844784 memory=1456 CPUtime=0 cores=0-7 /proc/17913/task/17926/stat : 17926 (java) S 17911 17911 17867 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 88340090 27489058816 1678235 33554432000 4194304 4196468 140729466453776 139702011156944 139702618494875 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17927] ppid=17911 vsize=26844784 memory=1456 CPUtime=3.61 cores=0-7 /proc/17913/task/17927/stat : 17927 (java) S 17911 17911 17867 0 -1 1077944384 13377 0 0 0 359 2 0 0 20 0 28 0 88340090 27489058816 1678235 33554432000 4194304 4196468 140729466453776 139702010104048 139702618487426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17928] ppid=17911 vsize=26844784 memory=1456 CPUtime=3.89 cores=0-7 /proc/17913/task/17928/stat : 17928 (java) S 17911 17911 17867 0 -1 1077944384 16941 0 0 0 386 3 0 0 20 0 28 0 88340090 27489058816 1678235 33554432000 4194304 4196468 140729466453776 139702009051504 139702618487426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17929] ppid=17911 vsize=26844784 memory=6731408 CPUtime=3.64 cores=0-7 /proc/17913/task/17929/stat : 17929 (java) S 17911 17911 17867 0 -1 1077944384 15225 0 0 0 360 4 0 0 20 0 28 0 88340090 27489058816 1678235 33554432000 4194304 4196468 140729466453776 139702007998448 139702618487426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17930] ppid=17911 vsize=26844784 memory=6731408 CPUtime=0.99 cores=0-7 /proc/17913/task/17930/stat : 17930 (java) S 17911 17911 17867 0 -1 1077944384 15545 0 0 0 96 3 0 0 20 0 28 0 88340090 27489058816 1678235 33554432000 4194304 4196468 140729466453776 139702006945904 139702618487426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17931] ppid=17911 vsize=26844784 memory=1456 CPUtime=0 cores=0-7 /proc/17913/task/17931/stat : 17931 (java) S 17911 17911 17867 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 88340090 27489058816 1678235 33554432000 4194304 4196468 140729466453776 139702005894112 139702618486485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17932] ppid=17911 vsize=26844784 memory=6731408 CPUtime=0.99 cores=0-7 /proc/17913/task/17932/stat : 17932 (java) S 17911 17911 17867 0 -1 1077944384 3914 0 0 0 0 99 0 0 20 0 28 0 88340090 27489058816 1678235 33554432000 4194304 4196468 140729466453776 139702004841648 139702618487426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=18045] ppid=17911 vsize=26844784 memory=1456 CPUtime=2481.38 cores=0-7 /proc/17913/task/18045/stat : 18045 (java) R 17911 17911 17867 0 -1 4202560 6176 0 0 0 248125 13 0 0 20 0 28 0 88341014 27489058816 1678235 33554432000 4194304 4196468 140729466453776 139702000344296 139702219249674 0 4 0 16800975 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=18046] ppid=17911 vsize=26844784 memory=6712940 CPUtime=2484.41 cores=0-7 /proc/17913/task/18046/stat : 18046 (java) R 17911 17911 17867 0 -1 4202560 10545 0 0 0 248425 16 0 0 20 0 28 0 88341014 27489058816 1678235 33554432000 4194304 4196468 140729466453776 139701922963688 139702220329001 0 4 0 16800975 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=18047] ppid=17911 vsize=26844784 memory=56 CPUtime=2484.6 cores=0-7 /proc/17913/task/18047/stat : 18047 (java) R 17911 17911 17867 0 -1 4202560 8576 0 0 0 248447 13 0 0 20 0 28 0 88341014 27489058816 1678235 33554432000 4194304 4196468 140729466453776 139701921910728 139702219249685 0 4 0 16800975 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=18048] ppid=17911 vsize=26844784 memory=6731408 CPUtime=2486.78 cores=0-7 /proc/17913/task/18048/stat : 18048 (java) R 17911 17911 17867 0 -1 4202560 71419 0 0 0 248308 370 0 0 20 0 28 0 88341014 27489058816 1678235 33554432000 4194304 4196468 140729466453776 139701927174152 139702219249769 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=18049] ppid=17911 vsize=26844784 memory=1788 CPUtime=2487.2 cores=0-7 /proc/17913/task/18049/stat : 18049 (java) R 17911 17911 17867 0 -1 4202560 9210 0 0 0 248710 10 0 0 20 0 28 0 88341014 27489058816 1678235 33554432000 4194304 4196468 140729466453776 139701925071424 139702219249555 0 4 0 16800975 0 0 0 -1 6 0 0 7 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=18050] ppid=17911 vsize=26844784 memory=860 CPUtime=2480.58 cores=0-7 /proc/17913/task/18050/stat : 18050 (java) R 17911 17911 17867 0 -1 4202560 25249 0 0 0 247964 94 0 0 20 0 28 0 88341014 27489058816 1678235 33554432000 4194304 4196468 140729466453776 139701916654880 139702219249685 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=18051] ppid=17911 vsize=26844784 memory=15264 CPUtime=2484.8 cores=0-7 /proc/17913/task/18051/stat : 18051 (java) R 17911 17911 17867 0 -1 4202560 7772 0 0 0 248460 20 0 0 20 0 28 0 88341014 27489058816 1678235 33554432000 4194304 4196468 140729466453776 139701915603464 139702217932357 0 4 0 16800975 0 0 0 -1 7 0 0 5 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=18052] ppid=17911 vsize=26844784 memory=1180 CPUtime=2484.83 cores=0-7 /proc/17913/task/18052/stat : 18052 (java) R 17911 17911 17867 0 -1 4202560 33386 0 0 0 248322 161 0 0 20 0 28 0 88341014 27489058816 1678235 33554432000 4194304 4196468 140729466453776 139701924016408 139702219249685 0 4 0 16800975 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 Current children cumulated CPU time: 19925.6 s Current children cumulated vsize: 26957912 KiB Current children cumulated memory: 6714396 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 8.31 8.25 8.29 9/208 18093 /proc/meminfo: memFree=20854160/32770624 swapFree=67108496/67108860 [pid=17911] ppid=17908 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/17911/stat : 17911 (xcsp3-exec) S 17908 17911 17867 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88340084 115843072 364 33554432000 4194304 5098028 140722443565264 140722443563368 140702810800764 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 7790592 140722443568181 140722443568384 140722443568384 140722443571146 0 /proc/17911/statm: 28282 364 306 221 0 87 0 [pid=17913] ppid=17911 vsize=26844784 memory=6691392 CPUtime=20066.5 cores=0-7 /proc/17913/stat : 17913 (java) S 17911 17911 17867 0 -1 1077944320 322489 0 0 0 2005691 956 0 0 20 0 28 0 88340084 27489058816 1672848 33554432000 4194304 4196468 140729466453776 140729466436320 139702618476279 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 /proc/17913/statm: 6711196 1672848 3461 1 0 6672390 0 [pid=17913/tid=17914] ppid=17911 vsize=26844784 memory=6791534058613427641 CPUtime=5.53 cores=0-7 /proc/17913/task/17914/stat : 17914 (java) S 17911 17911 17867 0 -1 1077944384 8522 0 0 0 536 17 0 0 20 0 28 0 88340084 27489058816 1672848 33554432000 4194304 4196468 140729466453776 139702622717056 139702618486485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17915] ppid=17911 vsize=26844784 memory=-7003737579269690708 CPUtime=1.09 cores=0-7 /proc/17913/task/17915/stat : 17915 (java) S 17911 17911 17867 0 -1 1077944384 4955 0 0 0 86 23 0 0 20 0 28 0 88340085 27489058816 1672848 33554432000 4194304 4196468 140729466453776 139702541057040 139702618486485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17916] ppid=17911 vsize=26844784 memory=6380 CPUtime=1.06 cores=0-7 /proc/17913/task/17916/stat : 17916 (java) S 17911 17911 17867 0 -1 1077944384 4792 0 0 0 87 19 0 0 20 0 28 0 88340085 27489058816 1672848 33554432000 4194304 4196468 140729466453776 139702540004496 139702618486485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17917] ppid=17911 vsize=26844784 memory=5500 CPUtime=1.09 cores=0-7 /proc/17913/task/17917/stat : 17917 (java) S 17911 17911 17867 0 -1 1077944384 5276 0 0 0 89 20 0 0 20 0 28 0 88340085 27489058816 1672848 33554432000 4194304 4196468 140729466453776 139702538951440 139702618486485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17918] ppid=17911 vsize=26844784 memory=4460 CPUtime=1.11 cores=0-7 /proc/17913/task/17918/stat : 17918 (java) S 17911 17911 17867 0 -1 1077944384 8404 0 0 0 91 20 0 0 20 0 28 0 88340085 27489058816 1672848 33554432000 4194304 4196468 140729466453776 139702537898896 139702618486485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17919] ppid=17911 vsize=26844784 memory=1380 CPUtime=1.1 cores=0-7 /proc/17913/task/17919/stat : 17919 (java) S 17911 17911 17867 0 -1 1077944384 5077 0 0 0 90 20 0 0 20 0 28 0 88340085 27489058816 1672848 33554432000 4194304 4196468 140729466453776 139702536845840 139702618486485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17920] ppid=17911 vsize=26844784 memory=1160 CPUtime=1.09 cores=0-7 /proc/17913/task/17920/stat : 17920 (java) S 17911 17911 17867 0 -1 1077944384 6062 0 0 0 91 18 0 0 20 0 28 0 88340085 27489058816 1672848 33554432000 4194304 4196468 140729466453776 139702171622032 139702618486485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17921] ppid=17911 vsize=26844784 memory=932 CPUtime=1.08 cores=0-7 /proc/17913/task/17921/stat : 17921 (java) S 17911 17911 17867 0 -1 1077944384 6969 0 0 0 87 21 0 0 20 0 28 0 88340085 27489058816 1672848 33554432000 4194304 4196468 140729466453776 139702170568976 139702618486485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17922] ppid=17911 vsize=26844784 memory=1564 CPUtime=1.1 cores=0-7 /proc/17913/task/17922/stat : 17922 (java) S 17911 17911 17867 0 -1 1077944384 6616 0 0 0 91 19 0 0 20 0 28 0 88340085 27489058816 1672848 33554432000 4194304 4196468 140729466453776 139702169516432 139702618486485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17923] ppid=17911 vsize=26844784 memory=2212 CPUtime=0.96 cores=0-7 /proc/17913/task/17923/stat : 17923 (java) S 17911 17911 17867 0 -1 1077944384 22297 0 0 0 43 53 0 0 20 0 28 0 88340087 27489058816 1672848 33554432000 4194304 4196468 140729466453776 139702014315248 139702618487426 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17924] ppid=17911 vsize=26844784 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/17913/task/17924/stat : 17924 (java) S 17911 17911 17867 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 88340087 27489058816 1672848 33554432000 4194304 4196468 140729466453776 139702013261536 139702618486485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17925] ppid=17911 vsize=26844784 memory=2048 CPUtime=0 cores=0-7 /proc/17913/task/17925/stat : 17925 (java) S 17911 17911 17867 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 28 0 88340087 27489058816 1672848 33554432000 4194304 4196468 140729466453776 139702012208384 139702618486485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17926] ppid=17911 vsize=26844784 memory=7888 CPUtime=0 cores=0-7 /proc/17913/task/17926/stat : 17926 (java) S 17911 17911 17867 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 88340090 27489058816 1672848 33554432000 4194304 4196468 140729466453776 139702011156944 139702618494875 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17927] ppid=17911 vsize=26844784 memory=808 CPUtime=3.61 cores=0-7 /proc/17913/task/17927/stat : 17927 (java) S 17911 17911 17867 0 -1 1077944384 13380 0 0 0 359 2 0 0 20 0 28 0 88340090 27489058816 1672848 33554432000 4194304 4196468 140729466453776 139702010104048 139702618487426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17928] ppid=17911 vsize=26844784 memory=4100 CPUtime=3.89 cores=0-7 /proc/17913/task/17928/stat : 17928 (java) S 17911 17911 17867 0 -1 1077944384 16944 0 0 0 386 3 0 0 20 0 28 0 88340090 27489058816 1672848 33554432000 4194304 4196468 140729466453776 139702009051504 139702618487426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17929] ppid=17911 vsize=26844784 memory=7888 CPUtime=3.64 cores=0-7 /proc/17913/task/17929/stat : 17929 (java) S 17911 17911 17867 0 -1 1077944384 15233 0 0 0 360 4 0 0 20 0 28 0 88340090 27489058816 1672848 33554432000 4194304 4196468 140729466453776 139702007998448 139702618487426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17930] ppid=17911 vsize=26844784 memory=808 CPUtime=0.99 cores=0-7 /proc/17913/task/17930/stat : 17930 (java) S 17911 17911 17867 0 -1 1077944384 15548 0 0 0 96 3 0 0 20 0 28 0 88340090 27489058816 1672848 33554432000 4194304 4196468 140729466453776 139702006945904 139702618487426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17931] ppid=17911 vsize=26844784 memory=4100 CPUtime=0 cores=0-7 /proc/17913/task/17931/stat : 17931 (java) S 17911 17911 17867 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 88340090 27489058816 1672848 33554432000 4194304 4196468 140729466453776 139702005894112 139702618486485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=17932] ppid=17911 vsize=26844784 memory=1800 CPUtime=0.99 cores=0-7 /proc/17913/task/17932/stat : 17932 (java) S 17911 17911 17867 0 -1 1077944384 3918 0 0 0 0 99 0 0 20 0 28 0 88340090 27489058816 1672848 33554432000 4194304 4196468 140729466453776 139702004841648 139702618487426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=18045] ppid=17911 vsize=26844784 memory=916 CPUtime=2499.01 cores=0-7 /proc/17913/task/18045/stat : 18045 (java) R 17911 17911 17867 0 -1 4202560 6216 0 0 0 249888 13 0 0 20 0 28 0 88341014 27489058816 1672848 33554432000 4194304 4196468 140729466453776 139702000344296 139702219249685 0 4 0 16800975 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=18046] ppid=17911 vsize=26844784 memory=3908 CPUtime=2502.04 cores=0-7 /proc/17913/task/18046/stat : 18046 (java) R 17911 17911 17867 0 -1 4202560 10611 0 0 0 250188 16 0 0 20 0 28 0 88341014 27489058816 1672848 33554432000 4194304 4196468 140729466453776 139701922963784 139702220762827 0 4 0 16800975 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=18047] ppid=17911 vsize=26844784 memory=1404 CPUtime=2502.23 cores=0-7 /proc/17913/task/18047/stat : 18047 (java) R 17911 17911 17867 0 -1 4202560 8629 0 0 0 250210 13 0 0 20 0 28 0 88341014 27489058816 1672848 33554432000 4194304 4196468 140729466453776 139701921910728 139702219249685 0 4 0 16800975 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=18048] ppid=17911 vsize=26844784 memory=1456 CPUtime=2504.4 cores=0-7 /proc/17913/task/18048/stat : 18048 (java) R 17911 17911 17867 0 -1 4202560 71804 0 0 0 250069 371 0 0 20 0 28 0 88341014 27489058816 1672848 33554432000 4194304 4196468 140729466453776 139701927176944 139702219563515 0 4 0 16800975 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=18049] ppid=17911 vsize=26844784 memory=6731408 CPUtime=2504.83 cores=0-7 /proc/17913/task/18049/stat : 18049 (java) R 17911 17911 17867 0 -1 4202560 9272 0 0 0 250473 10 0 0 20 0 28 0 88341014 27489058816 1672848 33554432000 4194304 4196468 140729466453776 139701925068488 139702220762222 0 4 0 16800975 0 0 0 -1 0 0 0 7 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=18050] ppid=17911 vsize=26844784 memory=15184 CPUtime=2498.28 cores=0-7 /proc/17913/task/18050/stat : 18050 (java) R 17911 17911 17867 0 -1 4202560 25835 0 0 0 249734 94 0 0 20 0 28 0 88341014 27489058816 1672848 33554432000 4194304 4196468 140729466453776 139701916654880 139702223397497 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=18051] ppid=17911 vsize=26844784 memory=4000 CPUtime=2502.06 cores=0-7 /proc/17913/task/18051/stat : 18051 (java) R 17911 17911 17867 0 -1 4202560 7860 0 0 0 250186 20 0 0 20 0 28 0 88341014 27489058816 1672848 33554432000 4194304 4196468 140729466453776 139701915603464 139702219249958 0 4 0 16800975 0 0 0 -1 7 0 0 5 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 [pid=17913/tid=18052] ppid=17911 vsize=26844784 memory=14256 CPUtime=2502.46 cores=0-7 /proc/17913/task/18052/stat : 18052 (java) R 17911 17911 17867 0 -1 4202560 33598 0 0 0 250082 164 0 0 20 0 28 0 88341014 27489058816 1672848 33554432000 4194304 4196468 140729466453776 139701924016504 139702219249685 0 4 0 16800975 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 Current children cumulated CPU time: 20066.5 s Current children cumulated vsize: 26957912 KiB Current children cumulated memory: 6692848 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.04 s] # the end of solver process 17911 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.001203 s, system=0.001203 s [startup+2520.17 s] # the end of solver process 17913 was just reported to runsolver # cumulated CPU time of all completed processes: user=20057.7 s, system=9.62049 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 [startup+2520.13 s]* /proc/loadavg: 8.31 8.25 8.29 3/207 18095 /proc/meminfo: memFree=20853648/32770624 swapFree=67108496/67108860 [pid=17913] ppid=17908 vsize=26844784 memory=6691544 CPUtime=20067.2 cores=0-7 /proc/17913/stat : 17913 (java) S 17908 17911 17867 0 -1 1077944320 323815 0 0 0 2005766 958 0 0 20 0 28 0 88340084 27489058816 1672886 33554432000 4194304 4196468 140729466453776 140729466436320 139702618476279 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39391232 140729466459265 140729466459437 140729466459437 140729466462159 0 /proc/17913/statm: 6711196 1672886 3461 1 0 6672390 0 [pid=17913/tid=18050] ppid=17908 vsize=0 memory=4872558044660077418 CPUtime=2498.41 cores=0-7 /proc/17913/task/18050/stat : 18050 (java) R 17908 17911 17867 0 -1 4203588 25838 0 0 0 249747 94 0 0 20 0 2 0 88341014 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 2 0 0 2 0 0 0 0 0 0 0 0 0 0 Current cumulated CPU time of completed processes: 0.002406 s Current children cumulated CPU time: 20067.2 s Current children cumulated vsize: 26844784 KiB Current children cumulated memory: 6691544 KiB Child status: 143 Real time (s): 2520.17 CPU time (s): 20067.3 CPU user time (s): 20057.7 CPU system time (s): 9.62049 CPU usage (%): 796.267 Max. virtual memory (cumulated for all children) (KiB): 26957912 Max. memory (cumulated for all children) (KiB): 7725980 getrusage(RUSAGE_CHILDREN,...) data: user time used= 20057.7 system time used= 9.62049 maximum resident set size= 7732716 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 324396 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2560 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 64726 involuntary context switches= 204030 # summary of solver processes directly reported to runsolver: # pid: 17911,17913 # total CPU time (s): 20067.3 # total CPU user time (s): 20057.7 # total CPU system time (s): 9.62049 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 21.9881 second user time and 30.1405 second system time The end
Begin job on node149 at 2018-07-27 18:09:29 IDJOB=4297588 IDBENCH=141214 IDSOLVER=2760 FILE ID=node149/4297588-1532707769 RUNJOBID= node149-1532707769-17894 PBS_JOBID= 21022313 Free space on /tmp= 43256 MiB SOLVER NAME= Choco-solver 4.0.7b par (e747e1e) BENCH NAME= XCSP18/SumColoring/SumColoring-dsjc-250-9_c18.xml COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 22000 -p NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297588-1532707769/watcher-4297588-1532707769 -o /tmp/evaluation-result-4297588-1532707769/solver-4297588-1532707769 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1532707769-17894 --watchdog 2580 HOME/xcsp3-exec -seed 1369535900 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297588-1532707769.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 15c7aefb85365a32de6dc875f5012851 RANDOM SEED=1369535900 node149.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.60 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.60 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.60 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.60 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: 27546516 kB MemAvailable: 31926860 kB Buffers: 97164 kB Cached: 4502028 kB SwapCached: 60 kB Active: 1542300 kB Inactive: 3111228 kB Active(anon): 3636 kB Inactive(anon): 78052 kB Active(file): 1538664 kB Inactive(file): 3033176 kB Unevictable: 7752 kB Mlocked: 7752 kB SwapTotal: 67108860 kB SwapFree: 67108496 kB Dirty: 22420 kB Writeback: 0 kB AnonPages: 61232 kB Mapped: 33924 kB Shmem: 25040 kB Slab: 264488 kB SReclaimable: 236964 kB SUnreclaim: 27524 kB KernelStack: 3088 kB PageTables: 5180 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 324536 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: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 43236 MiB End job on node149 at 2018-07-27 18:51:29