Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Choco-solver 4.0.7b par (e747e1e) | SAT (TO) | 3924 | 19469.6 | 2520.15 |
Name | SumColoring/ SumColoring-dsjc-250-5_c18.xml |
MD5SUM | 6d15d8403aebe79e9693643b2fca1a5e |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 3924 |
Best CPU time to get the best result obtained on this benchmark | 19469.6 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 250 |
Number of constraints | 15668 |
Number of domains | 1 |
Minimum domain size | 250 |
Maximum domain size | 250 |
Distribution of domain sizes | [{"size":250,"count":250}] |
Minimum variable degree | 102 |
Maximum variable degree | 148 |
Distribution of variable degrees | [{"degree":102,"count":1},{"degree":110,"count":3},{"degree":111,"count":2},{"degree":112,"count":2},{"degree":113,"count":3},{"degree":114,"count":3},{"degree":115,"count":5},{"degree":116,"count":6},{"degree":117,"count":8},{"degree":118,"count":7},{"degree":119,"count":9},{"degree":120,"count":8},{"degree":121,"count":9},{"degree":122,"count":12},{"degree":123,"count":12},{"degree":124,"count":14},{"degree":125,"count":10},{"degree":126,"count":12},{"degree":127,"count":17},{"degree":128,"count":13},{"degree":129,"count":14},{"degree":130,"count":13},{"degree":131,"count":6},{"degree":132,"count":11},{"degree":133,"count":6},{"degree":134,"count":10},{"degree":135,"count":2},{"degree":136,"count":6},{"degree":137,"count":7},{"degree":138,"count":1},{"degree":139,"count":4},{"degree":140,"count":4},{"degree":141,"count":1},{"degree":142,"count":1},{"degree":143,"count":1},{"degree":144,"count":3},{"degree":145,"count":2},{"degree":146,"count":1},{"degree":148,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":15668}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 15668 |
Distribution of constraint types | [{"type":"intension","count":15668}] |
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-4297587-1532708303.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4297587-1532708303.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 11.46/4.16 c solve instance... 12.51/4.36 o 58108 12.51/4.36 o 58088 12.51/4.37 o 58084 12.51/4.37 o 58082 12.51/4.37 o 58081 13.23/4.42 o 58080 13.23/4.42 o 58079 13.23/4.44 o 58078 13.23/4.45 o 58077 13.23/4.46 o 58076 13.23/4.46 o 58075 13.23/4.46 o 58074 13.23/4.46 o 58073 13.23/4.47 o 58072 13.23/4.47 o 58071 13.23/4.47 o 58070 13.23/4.47 o 58069 13.23/4.47 o 58068 13.23/4.48 o 58067 13.23/4.48 o 58066 13.23/4.48 o 58065 13.23/4.48 o 58064 13.23/4.49 o 58063 13.23/4.49 o 58062 13.78/4.53 o 58061 13.78/4.53 o 58060 13.78/4.53 o 58059 13.78/4.53 o 58058 13.78/4.54 o 58057 13.78/4.54 o 58056 13.78/4.54 o 58055 13.78/4.54 o 58054 13.78/4.54 o 58053 13.78/4.54 o 58052 13.78/4.54 o 58051 13.78/4.55 o 58050 13.78/4.55 o 58049 13.78/4.56 o 58048 13.78/4.56 o 58047 13.78/4.56 o 58046 13.78/4.56 o 58045 13.78/4.56 o 58044 13.78/4.57 o 58043 13.78/4.57 o 58042 13.78/4.57 o 58041 13.78/4.57 o 58040 13.78/4.58 o 58039 13.78/4.58 o 58038 13.78/4.58 o 58037 13.78/4.58 o 58036 14.33/4.62 o 58035 14.33/4.62 o 58034 14.33/4.62 o 58033 14.33/4.62 o 58032 14.33/4.63 o 58031 14.33/4.63 o 58030 14.33/4.63 o 58029 14.33/4.63 o 58028 14.33/4.63 o 58027 14.33/4.63 o 58026 14.33/4.64 o 58025 14.33/4.64 o 58024 14.33/4.64 o 58023 14.33/4.64 o 58022 14.33/4.65 o 58021 14.33/4.65 o 58020 14.33/4.65 o 58019 14.33/4.65 o 58018 14.33/4.65 o 58017 14.33/4.65 o 58016 14.33/4.66 o 58015 14.33/4.66 o 58014 14.33/4.66 o 58013 14.33/4.66 o 58012 14.33/4.66 o 58011 14.33/4.67 o 58010 14.33/4.67 o 58009 14.33/4.67 o 58008 14.33/4.67 o 58007 14.33/4.67 o 58006 14.33/4.68 o 58005 14.33/4.68 o 58004 14.33/4.68 o 58003 14.33/4.68 o 58002 14.73/4.70 o 58001 14.73/4.71 o 58000 14.73/4.71 o 57999 14.73/4.71 o 57998 14.73/4.71 o 57997 14.73/4.71 o 57996 14.73/4.72 o 57995 14.73/4.72 o 57994 14.73/4.72 o 57993 14.73/4.72 o 57992 14.73/4.72 o 57991 14.73/4.72 o 57990 14.73/4.72 o 57989 14.73/4.73 o 57988 14.73/4.73 o 57987 14.73/4.73 o 57986 14.73/4.73 o 57985 14.73/4.73 o 57984 14.73/4.74 o 57983 14.73/4.74 o 57982 14.73/4.74 o 57981 14.73/4.74 o 57980 14.73/4.74 o 57979 14.73/4.74 o 57978 14.73/4.75 o 57977 14.73/4.75 o 57976 14.73/4.75 o 57975 14.73/4.75 o 57974 14.73/4.75 o 57973 14.73/4.76 o 57972 14.73/4.76 o 57971 14.73/4.77 o 57970 14.73/4.77 o 57969 14.73/4.77 o 57968 14.73/4.77 o 57967 14.73/4.78 o 57966 14.73/4.78 o 57965 14.73/4.78 o 57964 14.73/4.78 o 57963 14.73/4.78 o 57962 14.73/4.79 o 57961 14.73/4.80 o 57960 14.99/4.80 o 57959 14.99/4.80 o 57958 14.99/4.80 o 57957 14.99/4.81 o 57956 14.99/4.81 o 57955 14.99/4.81 o 4337 14.99/4.82 o 4336 14.99/4.82 o 4335 14.99/4.88 o 4334 15.51/4.94 o 4333 15.51/4.94 o 4327 15.51/4.95 o 4317 15.51/4.98 o 4315 16.14/5.02 o 4312 16.14/5.10 o 4259 16.96/5.14 o 4257 16.96/5.17 o 4256 16.96/5.18 o 4252 17.60/5.21 o 4251 18.40/5.36 o 4232 19.13/5.42 o 4223 20.71/5.61 o 4219 20.71/5.65 o 4217 20.71/5.68 o 4214 21.36/5.73 o 4207 21.36/5.78 o 4204 22.89/5.92 o 4203 25.99/6.35 o 4108 25.99/6.36 o 4080 25.99/6.37 o 4060 27.40/6.51 o 4056 54.38/9.92 o 4050 54.38/9.92 o 4049 54.38/9.93 o 4048 2179.00/288.73 o 4020 2179.00/288.74 o 4019 2179.00/288.78 o 4018 2180.27/288.96 o 4017 11570.45/1470.59 o 3974 15905.87/2056.83 o 3924 19468.78/2520.09 s SATISFIABLE 19468.78/2520.09 v <instantiation> 19468.78/2520.09 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> 19468.78/2520.09 v <values>32 3 1 1 21 28 3 35 15 34 34 16 23 9 9 18 17 19 27 30 33 21 4 14 9 5 5 11 31 4 14 24 10 25 13 24 16 13 23 23 27 20 14 26 25 16 30 22 7 22 17 32 20 8 22 17 8 19 33 13 28 16 27 0 32 30 4 25 26 2 29 34 6 20 18 29 30 8 32 15 27 27 10 26 11 30 7 11 10 5 35 1 11 21 36 17 20 31 14 33 1 28 29 21 19 15 18 28 29 29 26 13 22 26 12 11 9 28 15 15 23 33 19 13 27 2 4 14 12 8 24 21 24 16 23 27 25 15 0 1 22 26 2 20 28 1 32 8 1 16 13 23 34 2 11 5 16 15 20 4 24 35 16 15 19 36 6 22 25 22 0 12 30 5 21 18 25 31 5 24 15 20 10 20 18 11 6 8 17 4 2 14 17 7 7 7 12 13 13 18 3 13 4 8 14 11 12 10 0 3 31 0 14 19 10 2 0 0 9 24 12 1 10 6 8 7 12 6 22 12 2 8 9 0 2 11 0 3 0 1 3 4 6 14 5 3 3 12 7 5 </values> 19468.78/2520.09 v </instantiation> 19468.78/2520.09 c Unexpected resolution interruption!
OK 3924
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 (11702 MiB free) memory of node 1: 16384 MiB (15843 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297587-1532708303/watcher-4297587-1532708303 -o /tmp/evaluation-result-4297587-1532708303/solver-4297587-1532708303 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node136-1532702410-14344 --watchdog 2580 HOME/xcsp3-exec -seed 1313989387 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297587-1532708303.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 Current StackSize limit: 8192 KiB solver pid=17808, runsolver pid=17805 [startup+0.100157 s]* /proc/loadavg: 8.06 8.29 8.24 3/199 17829 /proc/meminfo: memFree=28192340/32770624 swapFree=67108860/67108860 [pid=17808] ppid=17805 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/17808/stat : 17808 (xcsp3-exec) S 17805 17808 14317 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 88393454 115843072 364 33554432000 4194304 5098028 140726546151216 140726546149320 139895722054268 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8704000 140726546158645 140726546158848 140726546158848 140726546161610 0 /proc/17808/statm: 28282 364 306 221 0 87 0 [pid=17810] ppid=17808 vsize=26104152 memory=27020 CPUtime=0.12 cores=0-7 /proc/17810/stat : 17810 (java) S 17808 17808 14317 0 -1 1077944320 5691 0 0 0 11 1 0 0 20 0 20 0 88393455 26730651648 6755 33554432000 4194304 4196468 140724500748656 140724500731200 140442873011959 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 /proc/17810/statm: 6526038 6755 2998 1 0 6488315 0 [pid=17810/tid=17811] ppid=17808 vsize=26104152 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/17810/task/17811/stat : 17811 (java) R 17808 17808 14317 0 -1 4202560 3698 0 0 0 8 1 0 0 20 0 20 0 88393455 26730651648 6755 33554432000 4194304 4196468 140724500748656 140442877236800 140442857055589 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17812] ppid=17808 vsize=26104152 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/17810/task/17812/stat : 17812 (java) S 17808 17808 14317 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88393456 26730651648 6755 33554432000 4194304 4196468 140724500748656 140442825632656 140442873022165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17813] ppid=17808 vsize=26104152 memory=139998556894848 CPUtime=0 cores=0-7 /proc/17810/task/17813/stat : 17813 (java) S 17808 17808 14317 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88393456 26730651648 6755 33554432000 4194304 4196468 140724500748656 140442824579856 140442873022165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17814] ppid=17808 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/17810/task/17814/stat : 17814 (java) S 17808 17808 14317 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88393456 26730651648 6755 33554432000 4194304 4196468 140724500748656 140442823527568 140442873022165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17815] ppid=17808 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/17810/task/17815/stat : 17815 (java) S 17808 17808 14317 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88393456 26730651648 6755 33554432000 4194304 4196468 140724500748656 140442822474768 140442873022165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17816] ppid=17808 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/17810/task/17816/stat : 17816 (java) S 17808 17808 14317 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88393456 26730651648 6755 33554432000 4194304 4196468 140724500748656 140442821421456 140442873022165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17817] ppid=17808 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/17810/task/17817/stat : 17817 (java) S 17808 17808 14317 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88393456 26730651648 6755 33554432000 4194304 4196468 140724500748656 140442820368656 140442873022165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17818] ppid=17808 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/17810/task/17818/stat : 17818 (java) S 17808 17808 14317 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88393456 26730651648 6755 33554432000 4194304 4196468 140724500748656 140442819316368 140442873022165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17819] ppid=17808 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/17810/task/17819/stat : 17819 (java) S 17808 17808 14317 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88393456 26730651648 6755 33554432000 4194304 4196468 140724500748656 140442818263568 140442873022165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17820] ppid=17808 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/17810/task/17820/stat : 17820 (java) S 17808 17808 14317 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88393457 26730651648 6755 33554432000 4194304 4196468 140724500748656 140441346353776 140442873023106 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17821] ppid=17808 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/17810/task/17821/stat : 17821 (java) S 17808 17808 14317 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88393458 26730651648 6755 33554432000 4194304 4196468 140724500748656 140441345299744 140442873022165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17822] ppid=17808 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/17810/task/17822/stat : 17822 (java) S 17808 17808 14317 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88393458 26730651648 6755 33554432000 4194304 4196468 140724500748656 140441344247408 140442873022165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17823] ppid=17808 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/17810/task/17823/stat : 17823 (java) S 17808 17808 14317 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88393460 26730651648 6755 33554432000 4194304 4196468 140724500748656 140441343195728 140442873030555 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17824] ppid=17808 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/17810/task/17824/stat : 17824 (java) S 17808 17808 14317 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 88393460 26730651648 6755 33554432000 4194304 4196468 140724500748656 140441342142576 140442873023106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17825] ppid=17808 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/17810/task/17825/stat : 17825 (java) S 17808 17808 14317 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88393460 26730651648 6755 33554432000 4194304 4196468 140724500748656 140441341089776 140442873023106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17826] ppid=17808 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/17810/task/17826/stat : 17826 (java) S 17808 17808 14317 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 88393460 26730651648 6755 33554432000 4194304 4196468 140724500748656 140441340037488 140442873023106 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17827] ppid=17808 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/17810/task/17827/stat : 17827 (java) R 17808 17808 14317 0 -1 4202560 253 0 0 0 1 0 0 0 20 0 20 0 88393460 26730651648 6755 33554432000 4194304 4196468 140724500748656 140441338984688 140442850236112 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17828] ppid=17808 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/17810/task/17828/stat : 17828 (java) S 17808 17808 14317 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88393460 26730651648 6755 33554432000 4194304 4196468 140724500748656 140441269824352 140442873022165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17829] ppid=17808 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/17810/task/17829/stat : 17829 (java) S 17808 17808 14317 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88393461 26730651648 6755 33554432000 4194304 4196468 140724500748656 140441268771632 140442873023106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 28476 KiB [startup+0.210103 s]* /proc/loadavg: 8.06 8.29 8.24 3/199 17829 /proc/meminfo: memFree=28181124/32770624 swapFree=67108860/67108860 [pid=17808] ppid=17805 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/17808/stat : 17808 (xcsp3-exec) S 17805 17808 14317 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 88393454 115843072 364 33554432000 4194304 5098028 140726546151216 140726546149320 139895722054268 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8704000 140726546158645 140726546158848 140726546158848 140726546161610 0 /proc/17808/statm: 28282 364 306 221 0 87 0 [pid=17810] ppid=17808 vsize=26104152 memory=39248 CPUtime=0.34 cores=0-7 /proc/17810/stat : 17810 (java) S 17808 17808 14317 0 -1 1077944320 8381 0 0 0 32 2 0 0 20 0 20 0 88393455 26730651648 9812 33554432000 4194304 4196468 140724500748656 140724500731200 140442873011959 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 /proc/17810/statm: 6526038 9812 3168 1 0 6488315 0 [pid=17810/tid=17811] ppid=17808 vsize=26104152 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/17810/task/17811/stat : 17811 (java) R 17808 17808 14317 0 -1 4202560 5594 0 0 0 18 1 0 0 20 0 20 0 88393455 26730651648 9812 33554432000 4194304 4196468 140724500748656 140442877243872 140442873023894 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17812] ppid=17808 vsize=26104152 memory=327 CPUtime=0 cores=0-7 /proc/17810/task/17812/stat : 17812 (java) S 17808 17808 14317 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88393456 26730651648 9812 33554432000 4194304 4196468 140724500748656 140442825632656 140442873022165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17813] ppid=17808 vsize=26104152 memory=139998557391140 CPUtime=0 cores=0-7 /proc/17810/task/17813/stat : 17813 (java) S 17808 17808 14317 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88393456 26730651648 9812 33554432000 4194304 4196468 140724500748656 140442824579856 140442873022165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17814] ppid=17808 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/17810/task/17814/stat : 17814 (java) S 17808 17808 14317 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88393456 26730651648 9812 33554432000 4194304 4196468 140724500748656 140442823527568 140442873022165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17815] ppid=17808 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/17810/task/17815/stat : 17815 (java) S 17808 17808 14317 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88393456 26730651648 9812 33554432000 4194304 4196468 140724500748656 140442822474768 140442873022165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17816] ppid=17808 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/17810/task/17816/stat : 17816 (java) S 17808 17808 14317 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88393456 26730651648 9812 33554432000 4194304 4196468 140724500748656 140442821421456 140442873022165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17817] ppid=17808 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/17810/task/17817/stat : 17817 (java) S 17808 17808 14317 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88393456 26730651648 9812 33554432000 4194304 4196468 140724500748656 140442820368656 140442873022165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17818] ppid=17808 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/17810/task/17818/stat : 17818 (java) S 17808 17808 14317 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88393456 26730651648 9812 33554432000 4194304 4196468 140724500748656 140442819316368 140442873022165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17819] ppid=17808 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/17810/task/17819/stat : 17819 (java) S 17808 17808 14317 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88393456 26730651648 9812 33554432000 4194304 4196468 140724500748656 140442818263568 140442873022165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17820] ppid=17808 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/17810/task/17820/stat : 17820 (java) S 17808 17808 14317 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 88393457 26730651648 9812 33554432000 4194304 4196468 140724500748656 140441346353776 140442873023106 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17821] ppid=17808 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/17810/task/17821/stat : 17821 (java) S 17808 17808 14317 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88393458 26730651648 9812 33554432000 4194304 4196468 140724500748656 140441345299744 140442873022165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17822] ppid=17808 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/17810/task/17822/stat : 17822 (java) S 17808 17808 14317 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88393458 26730651648 9812 33554432000 4194304 4196468 140724500748656 140441344247408 140442873022165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17823] ppid=17808 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/17810/task/17823/stat : 17823 (java) S 17808 17808 14317 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88393460 26730651648 9812 33554432000 4194304 4196468 140724500748656 140441343195728 140442873030555 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17824] ppid=17808 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/17810/task/17824/stat : 17824 (java) S 17808 17808 14317 0 -1 1077944384 448 0 0 0 1 0 0 0 20 0 20 0 88393460 26730651648 9812 33554432000 4194304 4196468 140724500748656 140441342142576 140442873023106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17825] ppid=17808 vsize=26104152 memory=0 CPUtime=0.02 cores=0-7 /proc/17810/task/17825/stat : 17825 (java) S 17808 17808 14317 0 -1 1077944384 147 0 0 0 2 0 0 0 20 0 20 0 88393460 26730651648 9812 33554432000 4194304 4196468 140724500748656 140441341089776 140442873023106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17826] ppid=17808 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/17810/task/17826/stat : 17826 (java) S 17808 17808 14317 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 88393460 26730651648 9812 33554432000 4194304 4196468 140724500748656 140441340037488 140442873023106 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17827] ppid=17808 vsize=26104152 memory=-1 CPUtime=0.08 cores=0-7 /proc/17810/task/17827/stat : 17827 (java) S 17808 17808 14317 0 -1 1077944384 756 0 0 0 8 0 0 0 20 0 20 0 88393460 26730651648 9812 33554432000 4194304 4196468 140724500748656 140441338984688 140442873023106 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17828] ppid=17808 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/17810/task/17828/stat : 17828 (java) S 17808 17808 14317 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88393460 26730651648 9812 33554432000 4194304 4196468 140724500748656 140441269824352 140442873022165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17829] ppid=17808 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/17810/task/17829/stat : 17829 (java) S 17808 17808 14317 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88393461 26730651648 9812 33554432000 4194304 4196468 140724500748656 140441268771632 140442873023106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 40704 KiB [startup+0.309546 s]* /proc/loadavg: 8.06 8.29 8.24 6/199 17829 /proc/meminfo: memFree=28175588/32770624 swapFree=67108860/67108860 [pid=17808] ppid=17805 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/17808/stat : 17808 (xcsp3-exec) S 17805 17808 14317 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 88393454 115843072 364 33554432000 4194304 5098028 140726546151216 140726546149320 139895722054268 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8704000 140726546158645 140726546158848 140726546158848 140726546161610 0 /proc/17808/statm: 28282 364 306 221 0 87 0 [pid=17810] ppid=17808 vsize=26108408 memory=46276 CPUtime=0.53 cores=0-7 /proc/17810/stat : 17810 (java) S 17808 17808 14317 0 -1 1077944320 9294 0 0 0 50 3 0 0 20 0 20 0 88393455 26735009792 11569 33554432000 4194304 4196468 140724500748656 140724500731200 140442873011959 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 /proc/17810/statm: 6527102 11569 3267 1 0 6488315 0 [pid=17810/tid=17811] ppid=17808 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/17810/task/17811/stat : 17811 (java) R 17808 17808 14317 0 -1 4202560 6261 0 0 0 27 2 0 0 20 0 20 0 88393455 26735009792 11569 33554432000 4194304 4196468 140724500748656 140442877243072 140442857092446 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17812] ppid=17808 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/17810/task/17812/stat : 17812 (java) S 17808 17808 14317 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88393456 26735009792 11569 33554432000 4194304 4196468 140724500748656 140442825632656 140442873022165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17813] ppid=17808 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/17810/task/17813/stat : 17813 (java) S 17808 17808 14317 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88393456 26735009792 11569 33554432000 4194304 4196468 140724500748656 140442824579856 140442873022165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17814] ppid=17808 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/17810/task/17814/stat : 17814 (java) S 17808 17808 14317 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88393456 26735009792 11569 33554432000 4194304 4196468 140724500748656 140442823527568 140442873022165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17815] ppid=17808 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/17810/task/17815/stat : 17815 (java) S 17808 17808 14317 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88393456 26735009792 11569 33554432000 4194304 4196468 140724500748656 140442822474768 140442873022165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17816] ppid=17808 vsize=26108408 memory=2244 CPUtime=0 cores=0-7 /proc/17810/task/17816/stat : 17816 (java) S 17808 17808 14317 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88393456 26735009792 11569 33554432000 4194304 4196468 140724500748656 140442821421456 140442873022165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17817] ppid=17808 vsize=26108408 memory=139998418531247 CPUtime=0 cores=0-7 /proc/17810/task/17817/stat : 17817 (java) S 17808 17808 14317 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88393456 26735009792 11569 33554432000 4194304 4196468 140724500748656 140442820368656 140442873022165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17818] ppid=17808 vsize=26108408 memory=139998418533552 CPUtime=0 cores=0-7 /proc/17810/task/17818/stat : 17818 (java) S 17808 17808 14317 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88393456 26735009792 11569 33554432000 4194304 4196468 140724500748656 140442819316368 140442873022165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17819] ppid=17808 vsize=26108408 memory=139998418535856 CPUtime=0 cores=0-7 /proc/17810/task/17819/stat : 17819 (java) S 17808 17808 14317 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88393456 26735009792 11569 33554432000 4194304 4196468 140724500748656 140442818263568 140442873022165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17820] ppid=17808 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/17810/task/17820/stat : 17820 (java) S 17808 17808 14317 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 88393457 26735009792 11569 33554432000 4194304 4196468 140724500748656 140441346353776 140442873023106 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17821] ppid=17808 vsize=26108408 memory=279996837078672 CPUtime=0 cores=0-7 /proc/17810/task/17821/stat : 17821 (java) S 17808 17808 14317 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88393458 26735009792 11625 33554432000 4194304 4196468 140724500748656 140441345299744 140442873022165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17822] ppid=17808 vsize=26108408 memory=279996837085584 CPUtime=0 cores=0-7 /proc/17810/task/17822/stat : 17822 (java) S 17808 17808 14317 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88393458 26735009792 11625 33554432000 4194304 4196468 140724500748656 140441344247408 140442873022165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17823] ppid=17808 vsize=26108408 memory=279996837026832 CPUtime=0 cores=0-7 /proc/17810/task/17823/stat : 17823 (java) S 17808 17808 14317 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88393460 26735009792 11625 33554432000 4194304 4196468 140724500748656 140441343195728 140442873030555 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17824] ppid=17808 vsize=26108408 memory=279996837099408 CPUtime=0.02 cores=0-7 /proc/17810/task/17824/stat : 17824 (java) S 17808 17808 14317 0 -1 1077944384 458 0 0 0 2 0 0 0 20 0 20 0 88393460 26735009792 11625 33554432000 4194304 4196468 140724500748656 140441342142576 140442873023106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17825] ppid=17808 vsize=26108408 memory=279996837106320 CPUtime=0.04 cores=0-7 /proc/17810/task/17825/stat : 17825 (java) R 17808 17808 14317 0 -1 4202560 237 0 0 0 4 0 0 0 20 0 20 0 88393460 26735009792 11625 33554432000 4194304 4196468 140724500748656 140441341070792 140442854530350 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17826] ppid=17808 vsize=26108408 memory=279996837104016 CPUtime=0.02 cores=0-7 /proc/17810/task/17826/stat : 17826 (java) S 17808 17808 14317 0 -1 1077944384 146 0 0 0 2 0 0 0 20 0 20 0 88393460 26735009792 11625 33554432000 4194304 4196468 140724500748656 140441340037488 140442873023106 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17827] ppid=17808 vsize=26108408 memory=279996837120176 CPUtime=0.12 cores=0-7 /proc/17810/task/17827/stat : 17827 (java) S 17808 17808 14317 0 -1 1077944384 882 0 0 0 12 0 0 0 20 0 20 0 88393460 26735009792 11625 33554432000 4194304 4196468 140724500748656 140441338984688 140442873023106 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17828] ppid=17808 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/17810/task/17828/stat : 17828 (java) S 17808 17808 14317 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88393460 26735009792 11625 33554432000 4194304 4196468 140724500748656 140441269824352 140442873022165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17829] ppid=17808 vsize=26108408 memory=-1 CPUtime=0 cores=0-7 /proc/17810/task/17829/stat : 17829 (java) S 17808 17808 14317 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88393461 26735009792 11625 33554432000 4194304 4196468 140724500748656 140441268771632 140442873023106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 Current children cumulated CPU time: 0.53 s Current children cumulated vsize: 26221536 KiB Current children cumulated memory: 47732 KiB [startup+0.700951 s] /proc/loadavg: 8.06 8.29 8.24 3/199 17829 /proc/meminfo: memFree=28151272/32770624 swapFree=67108860/67108860 [pid=17808] ppid=17805 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/17808/stat : 17808 (xcsp3-exec) S 17805 17808 14317 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 88393454 115843072 364 33554432000 4194304 5098028 140726546151216 140726546149320 139895722054268 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8704000 140726546158645 140726546158848 140726546158848 140726546161610 0 /proc/17808/statm: 28282 364 306 221 0 87 0 [pid=17810] ppid=17808 vsize=26110532 memory=127116 CPUtime=1.94 cores=0-7 /proc/17810/stat : 17810 (java) S 17808 17808 14317 0 -1 1077944320 13143 0 0 0 190 4 0 0 20 0 20 0 88393455 26737184768 31779 33554432000 4194304 4196468 140724500748656 140724500731200 140442873011959 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 /proc/17810/statm: 6527633 31779 3351 1 0 6488827 0 [pid=17810/tid=17811] ppid=17808 vsize=26110532 memory=279996837478064 CPUtime=0.68 cores=0-7 /proc/17810/task/17811/stat : 17811 (java) R 17808 17808 14317 0 -1 4202560 6759 0 0 0 65 3 0 0 20 0 20 0 88393455 26737184768 31779 33554432000 4194304 4196468 140724500748656 140442877247648 140442498325733 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17812] ppid=17808 vsize=26110532 memory=139998418740080 CPUtime=0 cores=0-7 /proc/17810/task/17812/stat : 17812 (java) S 17808 17808 14317 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88393456 26737184768 31779 33554432000 4194304 4196468 140724500748656 140442825632656 140442873022165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17813] ppid=17808 vsize=26110532 memory=0 CPUtime=0 cores=0-7 /proc/17810/task/17813/stat : 17813 (java) S 17808 17808 14317 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88393456 26737184768 31779 33554432000 4194304 4196468 140724500748656 140442824579856 140442873022165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17814] ppid=17808 vsize=26110532 memory=1020 CPUtime=0 cores=0-7 /proc/17810/task/17814/stat : 17814 (java) S 17808 17808 14317 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88393456 26737184768 31779 33554432000 4194304 4196468 140724500748656 140442823527568 140442873022165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 ################ # More data... # ################ /proc/meminfo: memFree=20845528/32770624 swapFree=67108860/67108860 [pid=17808] ppid=17805 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/17808/stat : 17808 (xcsp3-exec) S 17805 17808 14317 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 88393454 115843072 364 33554432000 4194304 5098028 140726546151216 140726546149320 139895722054268 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8704000 140726546158645 140726546158848 140726546158848 140726546161610 0 /proc/17808/statm: 28282 364 306 221 0 87 0 [pid=17810] ppid=17808 vsize=26844784 memory=7361972 CPUtime=19333 cores=0-7 /proc/17810/stat : 17810 (java) S 17808 17808 14317 0 -1 1077944320 565603 0 0 0 1930959 2344 0 0 20 0 28 0 88393455 27489058816 1840493 33554432000 4194304 4196468 140724500748656 140724500731200 140442873011959 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 /proc/17810/statm: 6711196 1840493 3464 1 0 6672390 0 [pid=17810/tid=17811] ppid=17808 vsize=26844784 memory=7361972 CPUtime=4.06 cores=0-7 /proc/17810/task/17811/stat : 17811 (java) S 17808 17808 14317 0 -1 1077944384 10859 0 0 0 395 11 0 0 20 0 28 0 88393455 27489058816 1840493 33554432000 4194304 4196468 140724500748656 140442877252768 140442873022165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17812] ppid=17808 vsize=26844784 memory=7361972 CPUtime=2.2 cores=0-7 /proc/17810/task/17812/stat : 17812 (java) S 17808 17808 14317 0 -1 1077944384 17940 0 0 0 193 27 0 0 20 0 28 0 88393456 27489058816 1840493 33554432000 4194304 4196468 140724500748656 140442825632656 140442873022165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17813] ppid=17808 vsize=26844784 memory=7361972 CPUtime=2.14 cores=0-7 /proc/17810/task/17813/stat : 17813 (java) S 17808 17808 14317 0 -1 1077944384 15661 0 0 0 193 21 0 0 20 0 28 0 88393456 27489058816 1840493 33554432000 4194304 4196468 140724500748656 140442824579856 140442873022165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17814] ppid=17808 vsize=26844784 memory=1456 CPUtime=2.13 cores=0-7 /proc/17810/task/17814/stat : 17814 (java) S 17808 17808 14317 0 -1 1077944384 19590 0 0 0 189 24 0 0 20 0 28 0 88393456 27489058816 1840493 33554432000 4194304 4196468 140724500748656 140442823527568 140442873022165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17815] ppid=17808 vsize=26844784 memory=7361972 CPUtime=2.18 cores=0-7 /proc/17810/task/17815/stat : 17815 (java) S 17808 17808 14317 0 -1 1077944384 14798 0 0 0 195 23 0 0 20 0 28 0 88393456 27489058816 1840493 33554432000 4194304 4196468 140724500748656 140442822474768 140442873022165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17816] ppid=17808 vsize=26844784 memory=1456 CPUtime=2.14 cores=0-7 /proc/17810/task/17816/stat : 17816 (java) S 17808 17808 14317 0 -1 1077944384 14088 0 0 0 191 23 0 0 20 0 28 0 88393456 27489058816 1840493 33554432000 4194304 4196468 140724500748656 140442821421456 140442873022165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17817] ppid=17808 vsize=26844784 memory=7361972 CPUtime=2.16 cores=0-7 /proc/17810/task/17817/stat : 17817 (java) S 17808 17808 14317 0 -1 1077944384 15142 0 0 0 193 23 0 0 20 0 28 0 88393456 27489058816 1840493 33554432000 4194304 4196468 140724500748656 140442820368656 140442873022165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17818] ppid=17808 vsize=26844784 memory=4140 CPUtime=2.16 cores=0-7 /proc/17810/task/17818/stat : 17818 (java) S 17808 17808 14317 0 -1 1077944384 15543 0 0 0 194 22 0 0 20 0 28 0 88393456 27489058816 1840493 33554432000 4194304 4196468 140724500748656 140442819316368 140442873022165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17819] ppid=17808 vsize=26844784 memory=25664 CPUtime=2.17 cores=0-7 /proc/17810/task/17819/stat : 17819 (java) S 17808 17808 14317 0 -1 1077944384 14344 0 0 0 194 23 0 0 20 0 28 0 88393456 27489058816 1840493 33554432000 4194304 4196468 140724500748656 140442818263568 140442873022165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17820] ppid=17808 vsize=26844784 memory=4140 CPUtime=21.55 cores=0-7 /proc/17810/task/17820/stat : 17820 (java) S 17808 17808 14317 0 -1 1077944384 55795 0 0 0 796 1359 0 0 20 0 28 0 88393457 27489058816 1840493 33554432000 4194304 4196468 140724500748656 140441346353776 140442873023106 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17821] ppid=17808 vsize=26844784 memory=25668 CPUtime=0 cores=0-7 /proc/17810/task/17821/stat : 17821 (java) S 17808 17808 14317 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 88393458 27489058816 1840493 33554432000 4194304 4196468 140724500748656 140441345299808 140442873022165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17822] ppid=17808 vsize=26844784 memory=2204 CPUtime=0 cores=0-7 /proc/17810/task/17822/stat : 17822 (java) S 17808 17808 14317 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 28 0 88393458 27489058816 1840493 33554432000 4194304 4196468 140724500748656 140441344247424 140442873022165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17823] ppid=17808 vsize=26844784 memory=1456 CPUtime=0 cores=0-7 /proc/17810/task/17823/stat : 17823 (java) S 17808 17808 14317 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 88393460 27489058816 1840493 33554432000 4194304 4196468 140724500748656 140441343195728 140442873030555 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17824] ppid=17808 vsize=26844784 memory=7361972 CPUtime=3.71 cores=0-7 /proc/17810/task/17824/stat : 17824 (java) S 17808 17808 14317 0 -1 1077944384 17167 0 0 0 368 3 0 0 20 0 28 0 88393460 27489058816 1840493 33554432000 4194304 4196468 140724500748656 140441342142576 140442873023106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17825] ppid=17808 vsize=26844784 memory=7361944 CPUtime=3.79 cores=0-7 /proc/17810/task/17825/stat : 17825 (java) S 17808 17808 14317 0 -1 1077944384 21653 0 0 0 376 3 0 0 20 0 28 0 88393460 27489058816 1840493 33554432000 4194304 4196468 140724500748656 140441341089776 140442873023106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 18 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17826] ppid=17808 vsize=26844784 memory=303430223234596890 CPUtime=3.89 cores=0-7 /proc/17810/task/17826/stat : 17826 (java) S 17808 17808 14317 0 -1 1077944384 17732 0 0 0 387 2 0 0 20 0 28 0 88393460 27489058816 1840493 33554432000 4194304 4196468 140724500748656 140441340037488 140442873023106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17827] ppid=17808 vsize=26844784 memory=304556161863254325 CPUtime=1.07 cores=0-7 /proc/17810/task/17827/stat : 17827 (java) S 17808 17808 14317 0 -1 1077944384 16079 0 0 0 104 3 0 0 20 0 28 0 88393460 27489058816 1840493 33554432000 4194304 4196468 140724500748656 140441338984688 140442873023106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 26 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17828] ppid=17808 vsize=26844784 memory=13847486485760432 CPUtime=0 cores=0-7 /proc/17810/task/17828/stat : 17828 (java) S 17808 17808 14317 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 88393460 27489058816 1840493 33554432000 4194304 4196468 140724500748656 140441269824352 140442873022165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17829] ppid=17808 vsize=26844784 memory=7361940 CPUtime=1.03 cores=0-7 /proc/17810/task/17829/stat : 17829 (java) S 17808 17808 14317 0 -1 1077944384 5620 0 0 0 36 67 0 0 20 0 28 0 88393461 27489058816 1840493 33554432000 4194304 4196468 140724500748656 140441268771632 140442873023106 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 36 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=19131] ppid=17808 vsize=26844784 memory=1456 CPUtime=421.89 cores=0-7 /proc/17810/task/19131/stat : 19131 (java) R 17808 17808 14317 0 -1 4202560 3479 0 0 0 42184 5 0 0 20 0 28 0 88599138 27489058816 1840493 33554432000 4194304 4196468 140724500748656 140441248603368 140442497485312 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=19132] ppid=17808 vsize=26844784 memory=1456 CPUtime=423.87 cores=0-7 /proc/17810/task/19132/stat : 19132 (java) R 17808 17808 14317 0 -1 4202560 7601 0 0 0 42380 7 0 0 20 0 28 0 88599138 27489058816 1840493 33554432000 4194304 4196468 140724500748656 140441258073024 140442500347037 0 4 0 16800975 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=19133] ppid=17808 vsize=26844784 memory=912 CPUtime=423.81 cores=0-7 /proc/17810/task/19133/stat : 19133 (java) R 17808 17808 14317 0 -1 4202560 5393 0 0 0 42376 5 0 0 20 0 28 0 88599138 27489058816 1840493 33554432000 4194304 4196468 140724500748656 140441247551928 140442497484512 0 4 0 16800975 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=19134] ppid=17808 vsize=26844784 memory=4384 CPUtime=421.37 cores=0-7 /proc/17810/task/19134/stat : 19134 (java) R 17808 17808 14317 0 -1 4202560 17941 0 0 0 42126 11 0 0 20 0 28 0 88599138 27489058816 1840493 33554432000 4194304 4196468 140724500748656 140441260175672 140442500124167 0 4 0 16800975 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=19135] ppid=17808 vsize=26844784 memory=4104 CPUtime=436.85 cores=0-7 /proc/17810/task/19135/stat : 19135 (java) R 17808 17808 14317 0 -1 4202560 7363 0 0 0 43675 10 0 0 20 0 28 0 88599138 27489058816 1840493 33554432000 4194304 4196468 140724500748656 140441257017904 140442503035696 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=19136] ppid=17808 vsize=26844784 memory=4140 CPUtime=423.55 cores=0-7 /proc/17810/task/19136/stat : 19136 (java) R 17808 17808 14317 0 -1 4202560 5466 0 0 0 42348 7 0 0 20 0 28 0 88599138 27489058816 1840493 33554432000 4194304 4196468 140724500748656 140441252807104 140442503372212 0 4 0 16800975 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=19137] ppid=17808 vsize=26844784 memory=6791534058613427641 CPUtime=423.18 cores=0-7 /proc/17810/task/19137/stat : 19137 (java) R 17808 17808 14317 0 -1 4202560 17224 0 0 0 42306 12 0 0 20 0 28 0 88599138 27489058816 1840493 33554432000 4194304 4196468 140724500748656 140441255964616 140442497484531 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=19138] ppid=17808 vsize=26844784 memory=6791534058613427641 CPUtime=421.8 cores=0-7 /proc/17810/task/19138/stat : 19138 (java) R 17808 17808 14317 0 -1 4202560 17330 0 0 0 42166 14 0 0 20 0 28 0 88599138 27489058816 1840493 33554432000 4194304 4196468 140724500748656 140441253858888 140442497484531 0 4 0 16800975 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 Current children cumulated CPU time: 19333 s Current children cumulated vsize: 26957912 KiB Current children cumulated memory: 7363428 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 8.04 7.74 7.86 9/208 19148 /proc/meminfo: memFree=20845928/32770624 swapFree=67108860/67108860 [pid=17808] ppid=17805 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/17808/stat : 17808 (xcsp3-exec) S 17805 17808 14317 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 88393454 115843072 364 33554432000 4194304 5098028 140726546151216 140726546149320 139895722054268 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8704000 140726546158645 140726546158848 140726546158848 140726546161610 0 /proc/17808/statm: 28282 364 306 221 0 87 0 [pid=17810] ppid=17808 vsize=26844784 memory=7362016 CPUtime=19468.8 cores=0-7 /proc/17810/stat : 17810 (java) S 17808 17808 14317 0 -1 1077944320 569412 0 0 0 1944480 2398 0 0 20 0 28 0 88393455 27489058816 1840504 33554432000 4194304 4196468 140724500748656 140724500731200 140442873011959 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 /proc/17810/statm: 6711196 1840504 3464 1 0 6672390 0 [pid=17810/tid=17811] ppid=17808 vsize=26844784 memory=6791534058613427641 CPUtime=4.06 cores=0-7 /proc/17810/task/17811/stat : 17811 (java) S 17808 17808 14317 0 -1 1077944384 10859 0 0 0 395 11 0 0 20 0 28 0 88393455 27489058816 1840504 33554432000 4194304 4196468 140724500748656 140442877252768 140442873022165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17812] ppid=17808 vsize=26844784 memory=4872558044660077418 CPUtime=2.24 cores=0-7 /proc/17810/task/17812/stat : 17812 (java) S 17808 17808 14317 0 -1 1077944384 17964 0 0 0 197 27 0 0 20 0 28 0 88393456 27489058816 1840504 33554432000 4194304 4196468 140724500748656 140442825632656 140442873022165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17813] ppid=17808 vsize=26844784 memory=1572 CPUtime=2.19 cores=0-7 /proc/17810/task/17813/stat : 17813 (java) S 17808 17808 14317 0 -1 1077944384 15858 0 0 0 198 21 0 0 20 0 28 0 88393456 27489058816 1840504 33554432000 4194304 4196468 140724500748656 140442824579856 140442873022165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17814] ppid=17808 vsize=26844784 memory=924 CPUtime=2.18 cores=0-7 /proc/17810/task/17814/stat : 17814 (java) S 17808 17808 14317 0 -1 1077944384 19641 0 0 0 194 24 0 0 20 0 28 0 88393456 27489058816 1840504 33554432000 4194304 4196468 140724500748656 140442823527568 140442873022165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17815] ppid=17808 vsize=26844784 memory=1992 CPUtime=2.23 cores=0-7 /proc/17810/task/17815/stat : 17815 (java) S 17808 17808 14317 0 -1 1077944384 15128 0 0 0 199 24 0 0 20 0 28 0 88393456 27489058816 1840504 33554432000 4194304 4196468 140724500748656 140442822474768 140442873022165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17816] ppid=17808 vsize=26844784 memory=1020 CPUtime=2.19 cores=0-7 /proc/17810/task/17816/stat : 17816 (java) S 17808 17808 14317 0 -1 1077944384 14232 0 0 0 196 23 0 0 20 0 28 0 88393456 27489058816 1840504 33554432000 4194304 4196468 140724500748656 140442821421456 140442873022165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17817] ppid=17808 vsize=26844784 memory=5416 CPUtime=2.22 cores=0-7 /proc/17810/task/17817/stat : 17817 (java) S 17808 17808 14317 0 -1 1077944384 15276 0 0 0 198 24 0 0 20 0 28 0 88393456 27489058816 1840504 33554432000 4194304 4196468 140724500748656 140442820368656 140442873022165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17818] ppid=17808 vsize=26844784 memory=756 CPUtime=2.2 cores=0-7 /proc/17810/task/17818/stat : 17818 (java) S 17808 17808 14317 0 -1 1077944384 15960 0 0 0 198 22 0 0 20 0 28 0 88393456 27489058816 1840504 33554432000 4194304 4196468 140724500748656 140442819316368 140442873022165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17819] ppid=17808 vsize=26844784 memory=14572 CPUtime=2.21 cores=0-7 /proc/17810/task/17819/stat : 17819 (java) S 17808 17808 14317 0 -1 1077944384 14658 0 0 0 198 23 0 0 20 0 28 0 88393456 27489058816 1840504 33554432000 4194304 4196468 140724500748656 140442818263568 140442873022165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17820] ppid=17808 vsize=26844784 memory=12708 CPUtime=22.35 cores=0-7 /proc/17810/task/17820/stat : 17820 (java) S 17808 17808 14317 0 -1 1077944384 56486 0 0 0 826 1409 0 0 20 0 28 0 88393457 27489058816 1840504 33554432000 4194304 4196468 140724500748656 140441346353776 140442873023106 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17821] ppid=17808 vsize=26844784 memory=14556 CPUtime=0 cores=0-7 /proc/17810/task/17821/stat : 17821 (java) S 17808 17808 14317 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 88393458 27489058816 1840504 33554432000 4194304 4196468 140724500748656 140441345299808 140442873022165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17822] ppid=17808 vsize=26844784 memory=1456 CPUtime=0 cores=0-7 /proc/17810/task/17822/stat : 17822 (java) S 17808 17808 14317 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 28 0 88393458 27489058816 1840504 33554432000 4194304 4196468 140724500748656 140441344247424 140442873022165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17823] ppid=17808 vsize=26844784 memory=7362012 CPUtime=0 cores=0-7 /proc/17810/task/17823/stat : 17823 (java) S 17808 17808 14317 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 88393460 27489058816 1840504 33554432000 4194304 4196468 140724500748656 140441343195728 140442873030555 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17824] ppid=17808 vsize=26844784 memory=1456 CPUtime=3.71 cores=0-7 /proc/17810/task/17824/stat : 17824 (java) S 17808 17808 14317 0 -1 1077944384 17172 0 0 0 368 3 0 0 20 0 28 0 88393460 27489058816 1840504 33554432000 4194304 4196468 140724500748656 140441342142576 140442873023106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17825] ppid=17808 vsize=26844784 memory=7362012 CPUtime=3.79 cores=0-7 /proc/17810/task/17825/stat : 17825 (java) S 17808 17808 14317 0 -1 1077944384 21658 0 0 0 376 3 0 0 20 0 28 0 88393460 27489058816 1840504 33554432000 4194304 4196468 140724500748656 140441341089776 140442873023106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 18 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17826] ppid=17808 vsize=26844784 memory=6791534058613427641 CPUtime=3.89 cores=0-7 /proc/17810/task/17826/stat : 17826 (java) S 17808 17808 14317 0 -1 1077944384 17736 0 0 0 387 2 0 0 20 0 28 0 88393460 27489058816 1840504 33554432000 4194304 4196468 140724500748656 140441340037488 140442873023106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17827] ppid=17808 vsize=26844784 memory=1968 CPUtime=1.07 cores=0-7 /proc/17810/task/17827/stat : 17827 (java) S 17808 17808 14317 0 -1 1077944384 16083 0 0 0 104 3 0 0 20 0 28 0 88393460 27489058816 1840504 33554432000 4194304 4196468 140724500748656 140441338984688 140442873023106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 26 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17828] ppid=17808 vsize=26844784 memory=1572 CPUtime=0 cores=0-7 /proc/17810/task/17828/stat : 17828 (java) S 17808 17808 14317 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 88393460 27489058816 1840504 33554432000 4194304 4196468 140724500748656 140441269824352 140442873022165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=17829] ppid=17808 vsize=26844784 memory=924 CPUtime=1.03 cores=0-7 /proc/17810/task/17829/stat : 17829 (java) R 17808 17808 14317 0 -1 1077944384 5658 0 0 0 36 67 0 0 20 0 28 0 88393461 27489058816 1840504 33554432000 4194304 4196468 140724500748656 140441268771632 140442873023106 0 4 0 16800975 0 0 0 -1 5 0 0 36 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=19131] ppid=17808 vsize=26844784 memory=1456 CPUtime=438.65 cores=0-7 /proc/17810/task/19131/stat : 19131 (java) R 17808 17808 14317 0 -1 4202560 3556 0 0 0 43860 5 0 0 20 0 28 0 88599138 27489058816 1840504 33554432000 4194304 4196468 140724500748656 140441248603088 140442497484882 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=19132] ppid=17808 vsize=26844784 memory=7362012 CPUtime=440.61 cores=0-7 /proc/17810/task/19132/stat : 19132 (java) R 17808 17808 14317 0 -1 4202560 7767 0 0 0 44054 7 0 0 20 0 28 0 88599138 27489058816 1840504 33554432000 4194304 4196468 140724500748656 140441258070072 140442497484531 0 4 0 16800975 0 0 0 -1 7 0 0 5 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=19133] ppid=17808 vsize=26844784 memory=4140 CPUtime=440.61 cores=0-7 /proc/17810/task/19133/stat : 19133 (java) R 17808 17808 14317 0 -1 4202560 5496 0 0 0 44056 5 0 0 20 0 28 0 88599138 27489058816 1840504 33554432000 4194304 4196468 140724500748656 140441247551928 140442497484531 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=19134] ppid=17808 vsize=26844784 memory=25676 CPUtime=438.07 cores=0-7 /proc/17810/task/19134/stat : 19134 (java) R 17808 17808 14317 0 -1 4202560 18218 0 0 0 43796 11 0 0 20 0 28 0 88599138 27489058816 1840504 33554432000 4194304 4196468 140724500748656 140441260178384 140442497484531 0 4 0 16800975 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=19135] ppid=17808 vsize=26844784 memory=2204 CPUtime=454.19 cores=0-7 /proc/17810/task/19135/stat : 19135 (java) R 17808 17808 14317 0 -1 4202560 7466 0 0 0 45409 10 0 0 20 0 28 0 88599138 27489058816 1840504 33554432000 4194304 4196468 140724500748656 140441257017696 140442503035745 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=19136] ppid=17808 vsize=26844784 memory=1240 CPUtime=440.34 cores=0-7 /proc/17810/task/19136/stat : 19136 (java) R 17808 17808 14317 0 -1 4202560 5584 0 0 0 44027 7 0 0 20 0 28 0 88599138 27489058816 1840504 33554432000 4194304 4196468 140724500748656 140441252807224 140442497484541 0 4 0 16800975 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=19137] ppid=17808 vsize=26844784 memory=1456 CPUtime=439.92 cores=0-7 /proc/17810/task/19137/stat : 19137 (java) R 17808 17808 14317 0 -1 4202560 17578 0 0 0 43980 12 0 0 20 0 28 0 88599138 27489058816 1840504 33554432000 4194304 4196468 140724500748656 140441255964464 140442494904264 0 4 0 16800975 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 [pid=17810/tid=19138] ppid=17808 vsize=26844784 memory=7362012 CPUtime=438.47 cores=0-7 /proc/17810/task/19138/stat : 19138 (java) R 17808 17808 14317 0 -1 4202560 17583 0 0 0 43832 15 0 0 20 0 28 0 88599138 27489058816 1840504 33554432000 4194304 4196468 140724500748656 140441253859104 140442497484531 0 4 0 16800975 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 19292160 140724500755585 140724500755757 140724500755757 140724500758479 0 Current children cumulated CPU time: 19468.8 s Current children cumulated vsize: 26957912 KiB Current children cumulated memory: 7363472 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.04 s] # the end of solver process 17808 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.001193 s, system=0.001193 s [startup+2520.15 s] # the end of solver process 17810 was just reported to runsolver # cumulated CPU time of all completed processes: user=19445.6 s, system=24.019 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.04 7.74 7.86 2/181 19150 /proc/meminfo: memFree=26362900/32770624 swapFree=67108860/67108860 Current cumulated CPU time of completed processes: 0.002386 s Current children cumulated CPU time: 0 s Current children cumulated vsize: 0 KiB Current children cumulated memory: 0 KiB Child status: 143 Real time (s): 2520.15 CPU time (s): 19469.6 CPU user time (s): 19445.6 CPU system time (s): 24.019 CPU usage (%): 772.559 Max. virtual memory (cumulated for all children) (KiB): 26957912 Max. memory (cumulated for all children) (KiB): 7741544 getrusage(RUSAGE_CHILDREN,...) data: user time used= 19445.6 system time used= 24.019 maximum resident set size= 7741056 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 571050 page faults= 0 swaps= 0 block input operations= 0 block output operations= 3056 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 141770 involuntary context switches= 200704 # summary of solver processes directly reported to runsolver: # pid: 17808,17810 # total CPU time (s): 19469.6 # total CPU user time (s): 19445.6 # total CPU system time (s): 24.019 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 23.1596 second user time and 28.1112 second system time The end
Begin job on node136 at 2018-07-27 18:18:23 IDJOB=4297587 IDBENCH=141218 IDSOLVER=2760 FILE ID=node136/4297587-1532708303 RUNJOBID= node136-1532702410-14344 PBS_JOBID= 21022299 Free space on /tmp= 55796 MiB SOLVER NAME= Choco-solver 4.0.7b par (e747e1e) BENCH NAME= XCSP18/SumColoring/SumColoring-dsjc-250-5_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-4297587-1532708303/watcher-4297587-1532708303 -o /tmp/evaluation-result-4297587-1532708303/solver-4297587-1532708303 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node136-1532702410-14344 --watchdog 2580 HOME/xcsp3-exec -seed 1313989387 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297587-1532708303.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 6d15d8403aebe79e9693643b2fca1a5e RANDOM SEED=1313989387 node136.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.50 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.50 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.50 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.50 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: 28208240 kB MemAvailable: 31959968 kB Buffers: 164284 kB Cached: 3848628 kB SwapCached: 0 kB Active: 1721136 kB Inactive: 2346412 kB Active(anon): 5696 kB Inactive(anon): 76476 kB Active(file): 1715440 kB Inactive(file): 2269936 kB Unevictable: 7336 kB Mlocked: 7336 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 22268 kB Writeback: 0 kB AnonPages: 203480 kB Mapped: 32280 kB Shmem: 25228 kB Slab: 191428 kB SReclaimable: 164376 kB SUnreclaim: 27052 kB KernelStack: 3520 kB PageTables: 5504 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 324716 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 149504 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 112000 kB DirectMap2M: 33433600 kB Free space on /tmp at the end= 55776 MiB End job on node136 at 2018-07-27 19:00:23