Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-24 parallel | OPT | 4783 | 20.2498 | 4.71979 |
Name | Mario/ Mario-zinc-s1/Mario-t-hard-1.xml |
MD5SUM | d0ad504447153d615b89b5c6990e2d3b |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 4783 |
Best CPU time to get the best result obtained on this benchmark | 4.91567 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 300 |
Number of constraints | 201 |
Number of domains | 164 |
Minimum domain size | 1 |
Maximum domain size | 100 |
Distribution of domain sizes | [{"size":1,"count":5},{"size":2,"count":95},{"size":85,"count":4},{"size":86,"count":2},{"size":87,"count":2},{"size":88,"count":6},{"size":89,"count":17},{"size":90,"count":16},{"size":91,"count":14},{"size":92,"count":12},{"size":93,"count":12},{"size":94,"count":9},{"size":95,"count":5},{"size":97,"count":1},{"size":100,"count":100}] |
Minimum variable degree | 1 |
Maximum variable degree | 3 |
Distribution of variable degrees | [{"degree":1,"count":2},{"degree":2,"count":199},{"degree":3,"count":99}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 100 |
Distribution of constraint arities | [{"arity":1,"count":1},{"arity":2,"count":198},{"arity":100,"count":2}] |
Number of extensional constraints | 100 |
Number of intensional constraints | 99 |
Distribution of constraint types | [{"type":"extension","count":100},{"type":"intension","count":99},{"type":"sum","count":1},{"type":"circuit","count":1}] |
Optimization problem | YES |
Type of objective | max SUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4407072-1569352462.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4407072-1569352462.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.29 c parse instance... 4.63/1.33 c solve instance... 6.83/1.70 o 0 7.52/1.71 o 0 7.52/1.77 o 47 8.22/1.81 o 60 8.22/1.86 o 114 8.22/1.88 o 118 8.89/1.91 o 885 10.13/2.13 o 1190 10.13/2.18 o 2909 13.14/2.85 o 2910 14.60/3.43 o 2911 14.60/3.47 o 2912 15.13/3.51 o 2914 15.13/3.55 o 2915 15.13/3.56 o 2928 15.13/3.58 o 3014 15.13/3.59 o 3097 15.73/3.61 o 3195 15.73/3.63 o 3291 15.73/3.64 o 3299 15.73/3.65 o 3313 15.73/3.66 o 3378 15.73/3.67 o 3406 15.73/3.68 o 3465 15.73/3.69 o 3481 16.21/3.71 o 3496 16.21/3.72 o 3554 16.21/3.73 o 3576 16.21/3.74 o 3663 16.21/3.78 o 3755 16.21/3.79 o 3786 16.71/3.81 o 3787 16.71/3.82 o 3884 16.71/3.83 o 3972 16.71/3.84 o 4034 16.71/3.85 o 4075 16.71/3.87 o 4083 16.71/3.88 o 4168 16.71/3.89 o 4237 17.04/3.90 o 4316 17.04/3.91 o 4470 17.04/3.92 o 4480 17.04/3.93 o 4575 17.04/3.94 o 4576 17.04/3.95 o 4609 17.04/3.96 o 4626 17.04/3.97 o 4651 17.04/3.99 o 4652 17.04/4.01 o 4755 17.53/4.02 o 4772 18.07/4.20 o 4782 20.01/4.65 o 4783 20.01/4.65 s OPTIMUM FOUND 20.01/4.65 v <instantiation> 20.01/4.65 v <list>s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[40] s[41] s[42] s[43] s[44] s[45] s[46] s[47] s[48] s[49] s[50] s[51] s[52] s[53] s[54] s[55] s[56] s[57] s[58] s[59] s[60] s[61] s[62] s[63] s[64] s[65] s[66] s[67] s[68] s[69] s[70] s[71] s[72] s[73] s[74] s[75] s[76] s[77] s[78] s[79] s[80] s[81] s[82] s[83] s[84] s[85] s[86] s[87] s[88] s[89] s[90] s[91] s[92] s[93] s[94] s[95] s[96] s[97] s[98] s[99] f[0] f[1] f[2] f[3] f[4] f[5] f[6] f[7] f[8] f[9] f[10] f[11] f[12] f[13] f[14] f[15] f[16] f[17] f[18] f[19] f[20] f[21] f[22] f[23] f[24] f[25] f[26] f[27] f[28] f[29] f[30] f[31] f[32] f[33] f[34] f[35] f[36] f[37] f[38] f[39] f[40] f[41] f[42] f[43] f[44] f[45] f[46] f[47] f[48] f[49] f[50] f[51] f[52] f[53] f[54] f[55] f[56] f[57] f[58] f[59] f[60] f[61] f[62] f[63] f[64] f[65] f[66] f[67] f[68] f[69] f[70] f[71] f[72] f[73] f[74] f[75] f[76] f[77] f[78] f[79] f[80] f[81] f[82] f[83] f[84] f[85] f[86] f[87] f[88] f[89] f[90] f[91] f[92] f[93] f[94] f[95] f[96] f[97] f[98] f[99] g[0] g[1] g[2] g[3] g[4] g[5] g[6] g[7] g[8] g[9] g[10] g[11] g[12] g[13] g[14] g[15] g[16] g[17] g[18] g[19] g[20] g[21] g[22] g[23] g[24] g[25] g[26] g[27] g[28] g[29] g[30] g[31] g[32] g[33] g[34] g[35] g[36] g[37] g[38] g[39] g[40] g[41] g[42] g[43] g[44] g[45] g[46] g[47] g[48] g[49] g[50] g[51] g[52] g[53] g[54] g[55] g[56] g[57] g[58] g[59] g[60] g[61] g[62] g[63] g[64] g[65] g[66] g[67] g[68] g[69] g[70] g[71] g[72] g[73] g[74] g[75] g[76] g[77] g[78] g[79] g[80] g[81] g[82] g[83] g[84] g[85] g[86] g[87] g[88] g[89] g[90] g[91] g[92] g[93] g[94] g[95] g[96] g[97] g[98] g[99] </list> 20.01/4.65 v <values>2 0 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 33 32 34 35 36 37 38 39 40 41 42 43 44 45 46 47 49 48 50 51 52 53 54 55 56 57 58 59 61 60 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 96 91 94 1 90 95 87 98 99 92 97 86 88 93 89 88 0 315 236 347 294 146 164 366 73 369 369 22 452 102 491 214 62 123 457 304 216 31 350 81 474 494 333 216 394 335 324 0 111 46 141 434 248 296 212 17 46 154 341 152 161 305 25 0 414 19 216 471 147 305 145 494 486 290 282 0 388 208 345 26 81 41 301 17 45 35 491 87 448 377 19 332 401 217 357 17 289 81 434 14 146 53 30 87 26 19 63 20 31 41 8 78 98 7 41 0 0 47 13 54 4 34 6 78 48 69 73 17 63 62 34 92 62 96 89 76 32 10 99 74 59 98 53 37 2 5 54 0 6 63 55 89 20 75 34 15 60 77 37 77 92 20 88 0 57 52 33 76 55 36 45 58 29 4 84 0 51 86 83 98 96 8 14 65 28 59 16 15 58 22 87 92 31 1 97 88 62 41 8 85 69 79 95 59 10 17 26 74 20 53 25 1 1 36 50 </values> 20.01/4.65 v </instantiation>
OK 4783
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 (12505 MiB free) memory of node 1: 16384 MiB (11659 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407072-1569352462/watcher-4407072-1569352462 -o /var/tmp/evaluation-result-4407072-1569352462/solver-4407072-1569352462 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node126-1569349500-4304 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 623336073 HOME/instance-4407072-1569352462.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=6216, runsolver pid=6213 Current StackSize limit: 8192 KiB [startup+0.100114 s]* /proc/loadavg: 6.46 7.76 8.05 2/213 6237 /proc/meminfo: memFree=24726648/32770624 swapFree=66997044/67108860 [pid=6216] ppid=6213 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/6216/stat : 6216 (xcsp3-exec) S 6213 6216 4277 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511513956 115843072 362 33554432000 4194304 5098028 140723836821632 140723836819736 140586248995452 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 7720960 140723836830546 140723836830805 140723836830805 140723836833734 0 /proc/6216/statm: 28282 362 304 221 0 87 0 [pid=6218] ppid=6216 vsize=28227396 memory=30848 CPUtime=0.12 cores=0-7 /proc/6218/stat : 6218 (java) S 6216 6216 4277 0 -1 1077944320 5565 0 0 0 11 1 0 0 20 0 20 0 511513956 28904853504 7712 33554432000 4194304 4196468 140729464546624 140729464529168 139935363866359 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 /proc/6218/statm: 7056849 7712 3155 1 0 7019032 0 [pid=6218/tid=6219] ppid=6216 vsize=28227396 memory=1398722017469774279 CPUtime=0.08 cores=0-7 /proc/6218/task/6219/stat : 6219 (java) R 6216 6216 4277 0 -1 4202560 3559 0 0 0 8 0 0 0 20 0 20 0 511513956 28904853504 7712 33554432000 4194304 4196468 140729464546624 139935368099632 139934950355655 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6220] ppid=6216 vsize=28227396 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/6218/task/6220/stat : 6220 (java) S 6216 6216 4277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511513957 28904853504 7712 33554432000 4194304 4196468 140729464546624 139935283719056 139935363876565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6221] ppid=6216 vsize=28227396 memory=139894548506240 CPUtime=0 cores=0-7 /proc/6218/task/6221/stat : 6221 (java) S 6216 6216 4277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511513957 28904853504 7712 33554432000 4194304 4196468 140729464546624 139935282666256 139935363876565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6222] ppid=6216 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/6218/task/6222/stat : 6222 (java) S 6216 6216 4277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511513957 28904853504 7712 33554432000 4194304 4196468 140729464546624 139935281613968 139935363876565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6223] ppid=6216 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/6218/task/6223/stat : 6223 (java) S 6216 6216 4277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511513957 28904853504 7712 33554432000 4194304 4196468 140729464546624 139935280561168 139935363876565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6224] ppid=6216 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/6218/task/6224/stat : 6224 (java) S 6216 6216 4277 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511513957 28904853504 7712 33554432000 4194304 4196468 140729464546624 139935279507856 139935363876565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6225] ppid=6216 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/6218/task/6225/stat : 6225 (java) S 6216 6216 4277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511513957 28904853504 7712 33554432000 4194304 4196468 140729464546624 139935278455056 139935363876565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6226] ppid=6216 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/6218/task/6226/stat : 6226 (java) S 6216 6216 4277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511513957 28904853504 7712 33554432000 4194304 4196468 140729464546624 139935277402768 139935363876565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6227] ppid=6216 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/6218/task/6227/stat : 6227 (java) S 6216 6216 4277 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511513957 28904853504 7712 33554432000 4194304 4196468 140729464546624 139935276349968 139935363876565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6228] ppid=6216 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/6218/task/6228/stat : 6228 (java) S 6216 6216 4277 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511513959 28904853504 7712 33554432000 4194304 4196468 140729464546624 139934613752432 139935363877506 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6229] ppid=6216 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/6218/task/6229/stat : 6229 (java) S 6216 6216 4277 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511513959 28904853504 7712 33554432000 4194304 4196468 140729464546624 139934612698400 139935363876565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6230] ppid=6216 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/6218/task/6230/stat : 6230 (java) S 6216 6216 4277 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511513960 28904853504 7712 33554432000 4194304 4196468 140729464546624 139934611646064 139935363876565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6231] ppid=6216 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/6218/task/6231/stat : 6231 (java) S 6216 6216 4277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511513962 28904853504 7712 33554432000 4194304 4196468 140729464546624 139934610594384 139935363884955 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6232] ppid=6216 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/6218/task/6232/stat : 6232 (java) R 6216 6216 4277 0 -1 4202560 414 0 0 0 0 0 0 0 20 0 20 0 511513962 28904853504 7712 33554432000 4194304 4196468 140729464546624 139934609541232 139935363887706 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6233] ppid=6216 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/6218/task/6233/stat : 6233 (java) R 6216 6216 4277 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511513962 28904853504 7712 33554432000 4194304 4196468 140729464546624 139934608488432 139935363877506 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6234] ppid=6216 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/6218/task/6234/stat : 6234 (java) S 6216 6216 4277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511513962 28904853504 7712 33554432000 4194304 4196468 140729464546624 139934607436144 139935363877506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6235] ppid=6216 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/6218/task/6235/stat : 6235 (java) R 6216 6216 4277 0 -1 4202560 315 0 0 0 1 0 0 0 20 0 20 0 511513962 28904853504 7712 33554432000 4194304 4196468 140729464546624 139934606383344 139935363878294 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6236] ppid=6216 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/6218/task/6236/stat : 6236 (java) S 6216 6216 4277 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511513962 28904853504 7712 33554432000 4194304 4196468 140729464546624 139934605331296 139935363876565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6237] ppid=6216 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/6218/task/6237/stat : 6237 (java) S 6216 6216 4277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511513962 28904853504 7712 33554432000 4194304 4196468 140729464546624 139934604278576 139935363877506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 32296 KiB [startup+0.210101 s]* /proc/loadavg: 6.46 7.76 8.05 2/213 6237 /proc/meminfo: memFree=24714028/32770624 swapFree=66997044/67108860 [pid=6216] ppid=6213 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/6216/stat : 6216 (xcsp3-exec) S 6213 6216 4277 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511513956 115843072 362 33554432000 4194304 5098028 140723836821632 140723836819736 140586248995452 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 7720960 140723836830546 140723836830805 140723836830805 140723836833734 0 /proc/6216/statm: 28282 362 304 221 0 87 0 [pid=6218] ppid=6216 vsize=28227396 memory=43016 CPUtime=0.34 cores=0-7 /proc/6218/stat : 6218 (java) S 6216 6216 4277 0 -1 1077944320 9478 0 0 0 31 3 0 0 20 0 20 0 511513956 28904853504 10754 33554432000 4194304 4196468 140729464546624 140729464529168 139935363866359 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 /proc/6218/statm: 7056849 10754 3298 1 0 7019032 0 [pid=6218/tid=6219] ppid=6216 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/6218/task/6219/stat : 6219 (java) R 6216 6216 4277 0 -1 4202560 6595 0 0 0 18 2 0 0 20 0 20 0 511513956 28904853504 10754 33554432000 4194304 4196468 140729464546624 139935368096080 139935347946846 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6220] ppid=6216 vsize=28227396 memory=339 CPUtime=0 cores=0-7 /proc/6218/task/6220/stat : 6220 (java) S 6216 6216 4277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511513957 28904853504 10754 33554432000 4194304 4196468 140729464546624 139935283719056 139935363876565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6221] ppid=6216 vsize=28227396 memory=139894548512715 CPUtime=0 cores=0-7 /proc/6218/task/6221/stat : 6221 (java) S 6216 6216 4277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511513957 28904853504 10754 33554432000 4194304 4196468 140729464546624 139935282666256 139935363876565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6222] ppid=6216 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/6218/task/6222/stat : 6222 (java) S 6216 6216 4277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511513957 28904853504 10754 33554432000 4194304 4196468 140729464546624 139935281613968 139935363876565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6223] ppid=6216 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/6218/task/6223/stat : 6223 (java) S 6216 6216 4277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511513957 28904853504 10754 33554432000 4194304 4196468 140729464546624 139935280561168 139935363876565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6224] ppid=6216 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/6218/task/6224/stat : 6224 (java) S 6216 6216 4277 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511513957 28904853504 10754 33554432000 4194304 4196468 140729464546624 139935279507856 139935363876565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6225] ppid=6216 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/6218/task/6225/stat : 6225 (java) S 6216 6216 4277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511513957 28904853504 10754 33554432000 4194304 4196468 140729464546624 139935278455056 139935363876565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6226] ppid=6216 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/6218/task/6226/stat : 6226 (java) S 6216 6216 4277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511513957 28904853504 10754 33554432000 4194304 4196468 140729464546624 139935277402768 139935363876565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6227] ppid=6216 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/6218/task/6227/stat : 6227 (java) S 6216 6216 4277 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511513957 28904853504 10754 33554432000 4194304 4196468 140729464546624 139935276349968 139935363876565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6228] ppid=6216 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/6218/task/6228/stat : 6228 (java) S 6216 6216 4277 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511513959 28904853504 10754 33554432000 4194304 4196468 140729464546624 139934613752432 139935363877506 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6229] ppid=6216 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/6218/task/6229/stat : 6229 (java) S 6216 6216 4277 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511513959 28904853504 10754 33554432000 4194304 4196468 140729464546624 139934612698400 139935363876565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6230] ppid=6216 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/6218/task/6230/stat : 6230 (java) S 6216 6216 4277 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511513960 28904853504 10754 33554432000 4194304 4196468 140729464546624 139934611646064 139935363876565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6231] ppid=6216 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/6218/task/6231/stat : 6231 (java) S 6216 6216 4277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511513962 28904853504 10754 33554432000 4194304 4196468 140729464546624 139934610594384 139935363884955 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6232] ppid=6216 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/6218/task/6232/stat : 6232 (java) S 6216 6216 4277 0 -1 1077944384 495 0 0 0 1 0 0 0 20 0 20 0 511513962 28904853504 10754 33554432000 4194304 4196468 140729464546624 139934609541232 139935363877506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6233] ppid=6216 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/6218/task/6233/stat : 6233 (java) S 6216 6216 4277 0 -1 1077944384 218 0 0 0 1 0 0 0 20 0 20 0 511513962 28904853504 10754 33554432000 4194304 4196468 140729464546624 139934608488432 139935363877506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6234] ppid=6216 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/6218/task/6234/stat : 6234 (java) S 6216 6216 4277 0 -1 1077944384 93 0 0 0 1 0 0 0 20 0 20 0 511513962 28904853504 10754 33554432000 4194304 4196468 140729464546624 139934607436144 139935363877506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6235] ppid=6216 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7 /proc/6218/task/6235/stat : 6235 (java) S 6216 6216 4277 0 -1 1077944384 771 0 0 0 8 0 0 0 20 0 20 0 511513962 28904853504 10754 33554432000 4194304 4196468 140729464546624 139934606383344 139935363877506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6236] ppid=6216 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/6218/task/6236/stat : 6236 (java) S 6216 6216 4277 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511513962 28904853504 10754 33554432000 4194304 4196468 140729464546624 139934605331296 139935363876565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6237] ppid=6216 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/6218/task/6237/stat : 6237 (java) S 6216 6216 4277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511513962 28904853504 10754 33554432000 4194304 4196468 140729464546624 139934604278576 139935363877506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 44464 KiB [startup+0.309765 s]* /proc/loadavg: 6.46 7.76 8.05 3/213 6237 /proc/meminfo: memFree=24705752/32770624 swapFree=66997044/67108860 [pid=6216] ppid=6213 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/6216/stat : 6216 (xcsp3-exec) S 6213 6216 4277 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511513956 115843072 362 33554432000 4194304 5098028 140723836821632 140723836819736 140586248995452 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 7720960 140723836830546 140723836830805 140723836830805 140723836833734 0 /proc/6216/statm: 28282 362 304 221 0 87 0 [pid=6218] ppid=6216 vsize=28231652 memory=51468 CPUtime=0.53 cores=0-7 /proc/6218/stat : 6218 (java) S 6216 6216 4277 0 -1 1077944320 10739 0 0 0 49 4 0 0 20 0 20 0 511513956 28909211648 12867 33554432000 4194304 4196468 140729464546624 140729464529168 139935363866359 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 /proc/6218/statm: 7057913 12867 3350 1 0 7019032 0 [pid=6218/tid=6219] ppid=6216 vsize=28231652 memory=1398722017469774279 CPUtime=0.29 cores=0-7 /proc/6218/task/6219/stat : 6219 (java) R 6216 6216 4277 0 -1 4202560 7692 0 0 0 27 2 0 0 20 0 20 0 511513956 28909211648 12933 33554432000 4194304 4196468 140729464546624 139935368097472 139935347946846 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6220] ppid=6216 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/6218/task/6220/stat : 6220 (java) S 6216 6216 4277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511513957 28909211648 12933 33554432000 4194304 4196468 140729464546624 139935283719056 139935363876565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6221] ppid=6216 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/6218/task/6221/stat : 6221 (java) S 6216 6216 4277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511513957 28909211648 12933 33554432000 4194304 4196468 140729464546624 139935282666256 139935363876565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6222] ppid=6216 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/6218/task/6222/stat : 6222 (java) S 6216 6216 4277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511513957 28909211648 12933 33554432000 4194304 4196468 140729464546624 139935281613968 139935363876565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6223] ppid=6216 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/6218/task/6223/stat : 6223 (java) S 6216 6216 4277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511513957 28909211648 12933 33554432000 4194304 4196468 140729464546624 139935280561168 139935363876565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6224] ppid=6216 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/6218/task/6224/stat : 6224 (java) S 6216 6216 4277 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511513957 28909211648 12933 33554432000 4194304 4196468 140729464546624 139935279507856 139935363876565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6225] ppid=6216 vsize=28231652 memory=139894399789743 CPUtime=0 cores=0-7 /proc/6218/task/6225/stat : 6225 (java) S 6216 6216 4277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511513957 28909211648 12933 33554432000 4194304 4196468 140729464546624 139935278455056 139935363876565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6226] ppid=6216 vsize=28231652 memory=139894399792048 CPUtime=0 cores=0-7 /proc/6218/task/6226/stat : 6226 (java) S 6216 6216 4277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511513957 28909211648 12933 33554432000 4194304 4196468 140729464546624 139935277402768 139935363876565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6227] ppid=6216 vsize=28231652 memory=139894399794352 CPUtime=0 cores=0-7 /proc/6218/task/6227/stat : 6227 (java) S 6216 6216 4277 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511513957 28909211648 12933 33554432000 4194304 4196468 140729464546624 139935276349968 139935363876565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6228] ppid=6216 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/6218/task/6228/stat : 6228 (java) S 6216 6216 4277 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511513959 28909211648 12933 33554432000 4194304 4196468 140729464546624 139934613752432 139935363877506 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6229] ppid=6216 vsize=28231652 memory=279788799602576 CPUtime=0 cores=0-7 /proc/6218/task/6229/stat : 6229 (java) S 6216 6216 4277 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511513959 28909211648 12933 33554432000 4194304 4196468 140729464546624 139934612698400 139935363876565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6230] ppid=6216 vsize=28231652 memory=279788799600272 CPUtime=0 cores=0-7 /proc/6218/task/6230/stat : 6230 (java) S 6216 6216 4277 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511513960 28909211648 12933 33554432000 4194304 4196468 140729464546624 139934611646064 139935363876565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6231] ppid=6216 vsize=28231652 memory=279788799607184 CPUtime=0 cores=0-7 /proc/6218/task/6231/stat : 6231 (java) S 6216 6216 4277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511513962 28909211648 12933 33554432000 4194304 4196468 140729464546624 139934610594384 139935363884955 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6232] ppid=6216 vsize=28231652 memory=279788799548464 CPUtime=0.02 cores=0-7 /proc/6218/task/6232/stat : 6232 (java) R 6216 6216 4277 0 -1 4202560 595 0 0 0 2 0 0 0 20 0 20 0 511513962 28909211648 12933 33554432000 4194304 4196468 140729464546624 139934609522248 139935344566656 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6233] ppid=6216 vsize=28231652 memory=279788799621008 CPUtime=0.02 cores=0-7 /proc/6218/task/6233/stat : 6233 (java) S 6216 6216 4277 0 -1 1077944384 223 0 0 0 2 0 0 0 20 0 20 0 511513962 28909211648 12933 33554432000 4194304 4196468 140729464546624 139934608488432 139935363877506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6234] ppid=6216 vsize=28231652 memory=279788799627920 CPUtime=0.02 cores=0-7 /proc/6218/task/6234/stat : 6234 (java) S 6216 6216 4277 0 -1 1077944384 102 0 0 0 2 0 0 0 20 0 20 0 511513962 28909211648 12933 33554432000 4194304 4196468 140729464546624 139934607436144 139935363877506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6235] ppid=6216 vsize=28231652 memory=279788799625616 CPUtime=0.12 cores=0-7 /proc/6218/task/6235/stat : 6235 (java) S 6216 6216 4277 0 -1 1077944384 844 0 0 0 12 0 0 0 20 0 20 0 511513962 28909211648 12933 33554432000 4194304 4196468 140729464546624 139934606383344 139935363877506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6236] ppid=6216 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/6218/task/6236/stat : 6236 (java) S 6216 6216 4277 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511513962 28909211648 12933 33554432000 4194304 4196468 140729464546624 139934605331296 139935363876565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6237] ppid=6216 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/6218/task/6237/stat : 6237 (java) S 6216 6216 4277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511513962 28909211648 12933 33554432000 4194304 4196468 140729464546624 139934604278576 139935363877506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 Current children cumulated CPU time: 0.53 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 52916 KiB [startup+0.700897 s] /proc/loadavg: 6.46 7.76 8.05 5/213 6237 /proc/meminfo: memFree=24681144/32770624 swapFree=66997044/67108860 [pid=6216] ppid=6213 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/6216/stat : 6216 (xcsp3-exec) S 6213 6216 4277 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511513956 115843072 362 33554432000 4194304 5098028 140723836821632 140723836819736 140586248995452 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 7720960 140723836830546 140723836830805 140723836830805 140723836833734 0 /proc/6216/statm: 28282 362 304 221 0 87 0 [pid=6218] ppid=6216 vsize=28233776 memory=103644 CPUtime=1.92 cores=0-7 /proc/6218/stat : 6218 (java) S 6216 6216 4277 0 -1 1077944320 15594 0 0 0 186 6 0 0 20 0 20 0 511513956 28911386624 25911 33554432000 4194304 4196468 140729464546624 140729464529168 139935363866359 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 /proc/6218/statm: 7058444 25911 3447 1 0 7019544 0 [pid=6218/tid=6219] ppid=6216 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7 /proc/6218/task/6219/stat : 6219 (java) R 6216 6216 4277 0 -1 4202560 9146 0 0 0 64 3 0 0 20 0 20 0 511513956 28911386624 25911 33554432000 4194304 4196468 140729464546624 139935368102960 139935343566033 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6220] ppid=6216 vsize=28233776 memory=139894400000880 CPUtime=0 cores=0-7 /proc/6218/task/6220/stat : 6220 (java) S 6216 6216 4277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511513957 28911386624 25911 33554432000 4194304 4196468 140729464546624 139935283719056 139935363876565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6221] ppid=6216 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/6218/task/6221/stat : 6221 (java) S 6216 6216 4277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511513957 28911386624 25911 33554432000 4194304 4196468 140729464546624 139935282666256 139935363876565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6222] ppid=6216 vsize=28233776 memory=772 CPUtime=0 cores=0-7 /proc/6218/task/6222/stat : 6222 (java) S 6216 6216 4277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511513957 28911386624 25911 33554432000 4194304 4196468 140729464546624 139935281613968 139935363876565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 ################ # More data... # ################ /proc/6218/task/6633/stat : 6633 (java) S 6216 6216 4277 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 27 0 511514357 29460881408 109809 33554432000 4194304 4196468 140729464546624 139934515982560 139935363876565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6634] ppid=6216 vsize=28770392 memory=1540 CPUtime=0 cores=0-7 /proc/6218/task/6634/stat : 6634 (java) R 6216 6216 4277 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 27 0 511514357 29460881408 109809 33554432000 4194304 4196468 140729464546624 139934522301512 139934959664458 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6635] ppid=6216 vsize=28770392 memory=1732 CPUtime=0 cores=0-7 /proc/6218/task/6635/stat : 6635 (java) R 6216 6216 4277 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 27 0 511514357 29460881408 109809 33554432000 4194304 4196468 140729464546624 139934521248712 139934959664532 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6636] ppid=6216 vsize=28770392 memory=-4695052241013923951 CPUtime=0 cores=0-7 /proc/6218/task/6636/stat : 6636 (java) R 6216 6216 4277 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 27 0 511514357 29460881408 109809 33554432000 4194304 4196468 140729464546624 139934515982256 139935356606209 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 Current children cumulated CPU time: 17.53 s Current children cumulated vsize: 28883520 KiB Current children cumulated memory: 440684 KiB [startup+4.40106 s] /proc/loadavg: 6.02 7.65 8.01 3/221 6629 /proc/meminfo: memFree=24317552/32770624 swapFree=66997044/67108860 [pid=6216] ppid=6213 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/6216/stat : 6216 (xcsp3-exec) S 6213 6216 4277 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511513956 115843072 362 33554432000 4194304 5098028 140723836821632 140723836819736 140586248995452 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 7720960 140723836830546 140723836830805 140723836830805 140723836833734 0 /proc/6216/statm: 28282 362 304 221 0 87 0 [pid=6218] ppid=6216 vsize=28770392 memory=477624 CPUtime=19.31 cores=0-7 /proc/6218/stat : 6218 (java) S 6216 6216 4277 0 -1 1077944320 41622 0 0 0 1881 50 0 0 20 0 28 0 511513956 29460881408 119406 33554432000 4194304 4196468 140729464546624 140729464529168 139935363866359 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 /proc/6218/statm: 7192598 119406 3534 1 0 7153698 0 [pid=6218/tid=6219] ppid=6216 vsize=28770392 memory=4640748727681699920 CPUtime=1.3 cores=0-7 /proc/6218/task/6219/stat : 6219 (java) S 6216 6216 4277 0 -1 1077944384 9598 0 0 0 125 5 0 0 20 0 28 0 511513956 29460881408 119406 33554432000 4194304 4196468 140729464546624 139935368107136 139935363876565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6220] ppid=6216 vsize=28770392 memory=6935650355288821840 CPUtime=0.08 cores=0-7 /proc/6218/task/6220/stat : 6220 (java) S 6216 6216 4277 0 -1 1077944384 243 0 0 0 5 3 0 0 20 0 28 0 511513957 29460881408 119406 33554432000 4194304 4196468 140729464546624 139935283719056 139935363876565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6221] ppid=6216 vsize=28770392 memory=7738427086454478954 CPUtime=0.06 cores=0-7 /proc/6218/task/6221/stat : 6221 (java) S 6216 6216 4277 0 -1 1077944384 1540 0 0 0 3 3 0 0 20 0 28 0 511513957 29460881408 119406 33554432000 4194304 4196468 140729464546624 139935282666256 139935363876565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6222] ppid=6216 vsize=28770392 memory=7229216846206954344 CPUtime=0.08 cores=0-7 /proc/6218/task/6222/stat : 6222 (java) S 6216 6216 4277 0 -1 1077944384 247 0 0 0 6 2 0 0 20 0 28 0 511513957 29460881408 119406 33554432000 4194304 4196468 140729464546624 139935281613968 139935363876565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6223] ppid=6216 vsize=28770392 memory=8112282956445269571 CPUtime=0.09 cores=0-7 /proc/6218/task/6223/stat : 6223 (java) S 6216 6216 4277 0 -1 1077944384 163 0 0 0 6 3 0 0 20 0 28 0 511513957 29460881408 119406 33554432000 4194304 4196468 140729464546624 139935280561168 139935363876565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6224] ppid=6216 vsize=28770392 memory=146617298585118 CPUtime=0.09 cores=0-7 /proc/6218/task/6224/stat : 6224 (java) S 6216 6216 4277 0 -1 1077944384 198 0 0 0 6 3 0 0 20 0 28 0 511513957 29460881408 119406 33554432000 4194304 4196468 140729464546624 139935279507856 139935363876565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6225] ppid=6216 vsize=28770392 memory=139895674766941 CPUtime=0.05 cores=0-7 /proc/6218/task/6225/stat : 6225 (java) S 6216 6216 4277 0 -1 1077944384 177 0 0 0 4 1 0 0 20 0 28 0 511513957 29460881408 119406 33554432000 4194304 4196468 140729464546624 139935278455056 139935363876565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6226] ppid=6216 vsize=28770392 memory=139895674766943 CPUtime=0.08 cores=0-7 /proc/6218/task/6226/stat : 6226 (java) S 6216 6216 4277 0 -1 1077944384 155 0 0 0 5 3 0 0 20 0 28 0 511513957 29460881408 119406 33554432000 4194304 4196468 140729464546624 139935277402768 139935363876565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6227] ppid=6216 vsize=28770392 memory=139895674767647 CPUtime=0.07 cores=0-7 /proc/6218/task/6227/stat : 6227 (java) S 6216 6216 4277 0 -1 1077944384 420 0 0 0 5 2 0 0 20 0 28 0 511513957 29460881408 119406 33554432000 4194304 4196468 140729464546624 139935276349968 139935363876565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6228] ppid=6216 vsize=28770392 memory=139895674767717 CPUtime=0.01 cores=0-7 /proc/6218/task/6228/stat : 6228 (java) S 6216 6216 4277 0 -1 1077944384 554 0 0 0 1 0 0 0 20 0 28 0 511513959 29460881408 119406 33554432000 4194304 4196468 140729464546624 139934613752432 139935363877506 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6229] ppid=6216 vsize=28770392 memory=279788799394032 CPUtime=0 cores=0-7 /proc/6218/task/6229/stat : 6229 (java) S 6216 6216 4277 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 511513959 29460881408 119406 33554432000 4194304 4196468 140729464546624 139934612698464 139935363876565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6230] ppid=6216 vsize=28770392 memory=6227473766552004965 CPUtime=0 cores=0-7 /proc/6218/task/6230/stat : 6230 (java) S 6216 6216 4277 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 28 0 511513960 29460881408 119406 33554432000 4194304 4196468 140729464546624 139934611646080 139935363876565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6231] ppid=6216 vsize=28770392 memory=6225758528127850595 CPUtime=0 cores=0-7 /proc/6218/task/6231/stat : 6231 (java) S 6216 6216 4277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511513962 29460881408 119406 33554432000 4194304 4196468 140729464546624 139934610594384 139935363884955 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6232] ppid=6216 vsize=28770392 memory=7085972471323125102 CPUtime=2.33 cores=0-7 /proc/6218/task/6232/stat : 6232 (java) S 6216 6216 4277 0 -1 1077944384 4671 0 0 0 232 1 0 0 20 0 28 0 511513962 29460881408 119406 33554432000 4194304 4196468 140729464546624 139934609541232 139935363877506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6233] ppid=6216 vsize=28770392 memory=0 CPUtime=2.24 cores=0-7 /proc/6218/task/6233/stat : 6233 (java) S 6216 6216 4277 0 -1 1077944384 3830 0 0 0 223 1 0 0 20 0 28 0 511513962 29460881408 119406 33554432000 4194304 4196468 140729464546624 139934608488432 139935363877506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6234] ppid=6216 vsize=28770392 memory=279788799397848 CPUtime=2.35 cores=0-7 /proc/6218/task/6234/stat : 6234 (java) S 6216 6216 4277 0 -1 1077944384 4032 0 0 0 235 0 0 0 20 0 28 0 511513962 29460881408 119406 33554432000 4194304 4196468 140729464546624 139934607436144 139935363877506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6235] ppid=6216 vsize=28770392 memory=28882379999722 CPUtime=1.05 cores=0-7 /proc/6218/task/6235/stat : 6235 (java) S 6216 6216 4277 0 -1 1077944384 5748 0 0 0 103 2 0 0 20 0 28 0 511513962 29460881408 119406 33554432000 4194304 4196468 140729464546624 139934606383344 139935363877506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6236] ppid=6216 vsize=28770392 memory=28882379999722 CPUtime=0 cores=0-7 /proc/6218/task/6236/stat : 6236 (java) S 6216 6216 4277 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511513962 29460881408 119406 33554432000 4194304 4196468 140729464546624 139934605331296 139935363876565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6237] ppid=6216 vsize=28770392 memory=28882379999466 CPUtime=0 cores=0-7 /proc/6218/task/6237/stat : 6237 (java) S 6216 6216 4277 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 511513962 29460881408 119406 33554432000 4194304 4196468 140729464546624 139934604278576 139935363877506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 Current children cumulated CPU time: 19.31 s Current children cumulated vsize: 28883520 KiB Current children cumulated memory: 479072 KiB [startup+4.601 s] /proc/loadavg: 6.02 7.65 8.01 3/221 6629 /proc/meminfo: memFree=24317552/32770624 swapFree=66997044/67108860 [pid=6216] ppid=6213 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/6216/stat : 6216 (xcsp3-exec) S 6213 6216 4277 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511513956 115843072 362 33554432000 4194304 5098028 140723836821632 140723836819736 140586248995452 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 7720960 140723836830546 140723836830805 140723836830805 140723836833734 0 /proc/6216/statm: 28282 362 304 221 0 87 0 [pid=6218] ppid=6216 vsize=28770392 memory=489932 CPUtime=20.01 cores=0-7 /proc/6218/stat : 6218 (java) S 6216 6216 4277 0 -1 1077944320 41963 0 0 0 1951 50 0 0 20 0 28 0 511513956 29460881408 122483 33554432000 4194304 4196468 140729464546624 140729464529168 139935363866359 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 /proc/6218/statm: 7192598 122483 3534 1 0 7153698 0 [pid=6218/tid=6219] ppid=6216 vsize=28770392 memory=0 CPUtime=1.3 cores=0-7 /proc/6218/task/6219/stat : 6219 (java) S 6216 6216 4277 0 -1 1077944384 9598 0 0 0 125 5 0 0 20 0 28 0 511513956 29460881408 122483 33554432000 4194304 4196468 140729464546624 139935368107136 139935363876565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6220] ppid=6216 vsize=28770392 memory=6944656592587090596 CPUtime=0.08 cores=0-7 /proc/6218/task/6220/stat : 6220 (java) S 6216 6216 4277 0 -1 1077944384 243 0 0 0 5 3 0 0 20 0 28 0 511513957 29460881408 122483 33554432000 4194304 4196468 140729464546624 139935283719056 139935363876565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6221] ppid=6216 vsize=28770392 memory=-6586668835053300886 CPUtime=0.06 cores=0-7 /proc/6218/task/6221/stat : 6221 (java) S 6216 6216 4277 0 -1 1077944384 1540 0 0 0 3 3 0 0 20 0 28 0 511513957 29460881408 122483 33554432000 4194304 4196468 140729464546624 139935282666256 139935363876565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6222] ppid=6216 vsize=28770392 memory=-7966001734536614954 CPUtime=0.08 cores=0-7 /proc/6218/task/6222/stat : 6222 (java) S 6216 6216 4277 0 -1 1077944384 247 0 0 0 6 2 0 0 20 0 28 0 511513957 29460881408 122483 33554432000 4194304 4196468 140729464546624 139935281613968 139935363876565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6223] ppid=6216 vsize=28770392 memory=-7812193691855986592 CPUtime=0.09 cores=0-7 /proc/6218/task/6223/stat : 6223 (java) S 6216 6216 4277 0 -1 1077944384 163 0 0 0 6 3 0 0 20 0 28 0 511513957 29460881408 122483 33554432000 4194304 4196468 140729464546624 139935280561168 139935363876565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6224] ppid=6216 vsize=28770392 memory=8547712850019655617 CPUtime=0.09 cores=0-7 /proc/6218/task/6224/stat : 6224 (java) S 6216 6216 4277 0 -1 1077944384 198 0 0 0 6 3 0 0 20 0 28 0 511513957 29460881408 122483 33554432000 4194304 4196468 140729464546624 139935279507856 139935363876565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6225] ppid=6216 vsize=28770392 memory=6655300316396806240 CPUtime=0.05 cores=0-7 /proc/6218/task/6225/stat : 6225 (java) S 6216 6216 4277 0 -1 1077944384 177 0 0 0 4 1 0 0 20 0 28 0 511513957 29460881408 122483 33554432000 4194304 4196468 140729464546624 139935278455056 139935363876565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6226] ppid=6216 vsize=28770392 memory=-9123011406873178988 CPUtime=0.08 cores=0-7 /proc/6218/task/6226/stat : 6226 (java) S 6216 6216 4277 0 -1 1077944384 155 0 0 0 5 3 0 0 20 0 28 0 511513957 29460881408 122483 33554432000 4194304 4196468 140729464546624 139935277402768 139935363876565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6227] ppid=6216 vsize=28770392 memory=-8634980985311628903 CPUtime=0.07 cores=0-7 /proc/6218/task/6227/stat : 6227 (java) S 6216 6216 4277 0 -1 1077944384 420 0 0 0 5 2 0 0 20 0 28 0 511513957 29460881408 122483 33554432000 4194304 4196468 140729464546624 139935276349968 139935363876565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6228] ppid=6216 vsize=28770392 memory=-3761991693426146123 CPUtime=0.01 cores=0-7 /proc/6218/task/6228/stat : 6228 (java) S 6216 6216 4277 0 -1 1077944384 554 0 0 0 1 0 0 0 20 0 28 0 511513959 29460881408 122483 33554432000 4194304 4196468 140729464546624 139934613752432 139935363877506 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6229] ppid=6216 vsize=28770392 memory=7681905605394137914 CPUtime=0 cores=0-7 /proc/6218/task/6229/stat : 6229 (java) S 6216 6216 4277 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 511513959 29460881408 122483 33554432000 4194304 4196468 140729464546624 139934612698464 139935363876565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6230] ppid=6216 vsize=28770392 memory=6944920475296555874 CPUtime=0 cores=0-7 /proc/6218/task/6230/stat : 6230 (java) S 6216 6216 4277 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 28 0 511513960 29460881408 122483 33554432000 4194304 4196468 140729464546624 139934611646080 139935363876565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6231] ppid=6216 vsize=28770392 memory=1448 CPUtime=0 cores=0-7 /proc/6218/task/6231/stat : 6231 (java) S 6216 6216 4277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511513962 29460881408 122483 33554432000 4194304 4196468 140729464546624 139934610594384 139935363884955 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6232] ppid=6216 vsize=28770392 memory=410508 CPUtime=2.4 cores=0-7 /proc/6218/task/6232/stat : 6232 (java) R 6216 6216 4277 0 -1 4202560 4997 0 0 0 239 1 0 0 20 0 28 0 511513962 29460881408 122483 33554432000 4194304 4196468 140729464546624 139934609541528 139935347349848 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6233] ppid=6216 vsize=28770392 memory=279788799794760 CPUtime=2.24 cores=0-7 /proc/6218/task/6233/stat : 6233 (java) S 6216 6216 4277 0 -1 1077944384 3830 0 0 0 223 1 0 0 20 0 28 0 511513962 29460881408 122483 33554432000 4194304 4196468 140729464546624 139934608488432 139935363877506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6234] ppid=6216 vsize=28770392 memory=0 CPUtime=2.35 cores=0-7 /proc/6218/task/6234/stat : 6234 (java) S 6216 6216 4277 0 -1 1077944384 4033 0 0 0 235 0 0 0 20 0 28 0 511513962 29460881408 122483 33554432000 4194304 4196468 140729464546624 139934607436144 139935363877506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6235] ppid=6216 vsize=28770392 memory=0 CPUtime=1.06 cores=0-7 /proc/6218/task/6235/stat : 6235 (java) S 6216 6216 4277 0 -1 1077944384 5748 0 0 0 104 2 0 0 20 0 28 0 511513962 29460881408 122483 33554432000 4194304 4196468 140729464546624 139934606383344 139935363877506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6236] ppid=6216 vsize=28770392 memory=0 CPUtime=0 cores=0-7 /proc/6218/task/6236/stat : 6236 (java) S 6216 6216 4277 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511513962 29460881408 122483 33554432000 4194304 4196468 140729464546624 139934605331296 139935363876565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6237] ppid=6216 vsize=28770392 memory=0 CPUtime=0 cores=0-7 /proc/6218/task/6237/stat : 6237 (java) S 6216 6216 4277 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 511513962 29460881408 122483 33554432000 4194304 4196468 140729464546624 139934604278576 139935363877506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 Current children cumulated CPU time: 20.01 s Current children cumulated vsize: 28883520 KiB Current children cumulated memory: 491380 KiB [startup+4.70103 s] /proc/loadavg: 6.02 7.65 8.01 3/221 6629 /proc/meminfo: memFree=24317552/32770624 swapFree=66997044/67108860 [pid=6216] ppid=6213 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/6216/stat : 6216 (xcsp3-exec) S 6213 6216 4277 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511513956 115843072 362 33554432000 4194304 5098028 140723836821632 140723836819736 140586248995452 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 7720960 140723836830546 140723836830805 140723836830805 140723836833734 0 /proc/6216/statm: 28282 362 304 221 0 87 0 [pid=6218] ppid=6216 vsize=28770392 memory=504680 CPUtime=20.22 cores=0-7 /proc/6218/stat : 6218 (java) S 6216 6216 4277 0 -1 1077944320 43147 0 0 0 1971 51 0 0 20 0 18 0 511513956 29460881408 126170 33554432000 4194304 4196468 140729464546624 140729464529168 139935363866359 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 /proc/6218/statm: 7192598 126170 3534 1 0 7153698 0 [pid=6218/tid=6219] ppid=6216 vsize=28770392 memory=6 CPUtime=1.31 cores=0-7 /proc/6218/task/6219/stat : 6219 (java) S 6216 6216 4277 0 -1 1077944384 9724 0 0 0 126 5 0 0 20 0 18 0 511513956 29460881408 126170 33554432000 4194304 4196468 140729464546624 139935368109200 139935363876565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6220] ppid=6216 vsize=28770392 memory=55 CPUtime=0.08 cores=0-7 /proc/6218/task/6220/stat : 6220 (java) S 6216 6216 4277 0 -1 1077944384 243 0 0 0 5 3 0 0 20 0 18 0 511513957 29460881408 126170 33554432000 4194304 4196468 140729464546624 139935283719056 139935363876565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6221] ppid=6216 vsize=28770392 memory=0 CPUtime=0.06 cores=0-7 /proc/6218/task/6221/stat : 6221 (java) S 6216 6216 4277 0 -1 1077944384 1540 0 0 0 3 3 0 0 20 0 18 0 511513957 29460881408 126170 33554432000 4194304 4196468 140729464546624 139935282666256 139935363876565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6222] ppid=6216 vsize=28770392 memory=7307483292246107495 CPUtime=0.08 cores=0-7 /proc/6218/task/6222/stat : 6222 (java) S 6216 6216 4277 0 -1 1077944384 247 0 0 0 6 2 0 0 20 0 18 0 511513957 29460881408 126170 33554432000 4194304 4196468 140729464546624 139935281613968 139935363876565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6223] ppid=6216 vsize=28770392 memory=1448 CPUtime=0.09 cores=0-7 /proc/6218/task/6223/stat : 6223 (java) S 6216 6216 4277 0 -1 1077944384 163 0 0 0 6 3 0 0 20 0 18 0 511513957 29460881408 126170 33554432000 4194304 4196468 140729464546624 139935280561168 139935363876565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6224] ppid=6216 vsize=28770392 memory=410564 CPUtime=0.09 cores=0-7 /proc/6218/task/6224/stat : 6224 (java) S 6216 6216 4277 0 -1 1077944384 198 0 0 0 6 3 0 0 20 0 18 0 511513957 29460881408 126170 33554432000 4194304 4196468 140729464546624 139935279507856 139935363876565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6225] ppid=6216 vsize=28770392 memory=22857 CPUtime=0.05 cores=0-7 /proc/6218/task/6225/stat : 6225 (java) S 6216 6216 4277 0 -1 1077944384 177 0 0 0 4 1 0 0 20 0 18 0 511513957 29460881408 126170 33554432000 4194304 4196468 140729464546624 139935278455056 139935363876565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6226] ppid=6216 vsize=28770392 memory=0 CPUtime=0.08 cores=0-7 /proc/6218/task/6226/stat : 6226 (java) S 6216 6216 4277 0 -1 1077944384 155 0 0 0 5 3 0 0 20 0 18 0 511513957 29460881408 126170 33554432000 4194304 4196468 140729464546624 139935277402768 139935363876565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6227] ppid=6216 vsize=28770392 memory=1448 CPUtime=0.07 cores=0-7 /proc/6218/task/6227/stat : 6227 (java) S 6216 6216 4277 0 -1 1077944384 420 0 0 0 5 2 0 0 20 0 18 0 511513957 29460881408 126170 33554432000 4194304 4196468 140729464546624 139935276349968 139935363876565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6228] ppid=6216 vsize=28770392 memory=451204 CPUtime=0.01 cores=0-7 /proc/6218/task/6228/stat : 6228 (java) S 6216 6216 4277 0 -1 1077944384 554 0 0 0 1 0 0 0 20 0 18 0 511513959 29460881408 126170 33554432000 4194304 4196468 140729464546624 139934613752640 139935363877506 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6229] ppid=6216 vsize=28770392 memory=0 CPUtime=0 cores=0-7 /proc/6218/task/6229/stat : 6229 (java) S 6216 6216 4277 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 18 0 511513959 29460881408 126170 33554432000 4194304 4196468 140729464546624 139934612698464 139935363876565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6230] ppid=6216 vsize=28770392 memory=7 CPUtime=0 cores=0-7 /proc/6218/task/6230/stat : 6230 (java) S 6216 6216 4277 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 18 0 511513960 29460881408 126170 33554432000 4194304 4196468 140729464546624 139934611646080 139935363876565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6232] ppid=6216 vsize=28770392 memory=54 CPUtime=2.5 cores=0-7 /proc/6218/task/6232/stat : 6232 (java) R 6216 6216 4277 0 -1 4202560 5910 0 0 0 248 2 0 0 20 0 18 0 511513962 29460881408 126170 33554432000 4194304 4196468 140729464546624 139934609541528 139935345387219 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6233] ppid=6216 vsize=28770392 memory=7 CPUtime=2.24 cores=0-7 /proc/6218/task/6233/stat : 6233 (java) S 6216 6216 4277 0 -1 1077944384 3830 0 0 0 223 1 0 0 20 0 18 0 511513962 29460881408 126170 33554432000 4194304 4196468 140729464546624 139934608488432 139935363877506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6234] ppid=6216 vsize=28770392 memory=279788800072672 CPUtime=2.35 cores=0-7 /proc/6218/task/6234/stat : 6234 (java) S 6216 6216 4277 0 -1 1077944384 4033 0 0 0 235 0 0 0 20 0 18 0 511513962 29460881408 126170 33554432000 4194304 4196468 140729464546624 139934607436144 139935363877506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6235] ppid=6216 vsize=28770392 memory=7307483292246107495 CPUtime=1.06 cores=0-7 /proc/6218/task/6235/stat : 6235 (java) S 6216 6216 4277 0 -1 1077944384 5758 0 0 0 104 2 0 0 20 0 18 0 511513962 29460881408 126170 33554432000 4194304 4196468 140729464546624 139934606379216 139935363876565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 [pid=6218/tid=6236] ppid=6216 vsize=28770392 memory=6226624935170304612 CPUtime=0 cores=0-7 /proc/6218/task/6236/stat : 6236 (java) S 6216 6216 4277 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 18 0 511513962 29460881408 126170 33554432000 4194304 4196468 140729464546624 139934605331296 139935363876565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35901440 140729464550358 140729464550534 140729464550534 140729464553423 0 Current children cumulated CPU time: 20.22 s Current children cumulated vsize: 28883520 KiB Current children cumulated memory: 506128 KiB Child status: 0 Real time (s): 4.71979 CPU time (s): 20.2498 CPU user time (s): 19.7227 CPU system time (s): 0.527046 CPU usage (%): 429.04 Max. virtual memory (cumulated for all children) (KiB): 28883520 Max. memory (cumulated for all children) (KiB): 506128 getrusage(RUSAGE_CHILDREN,...) data: user time used= 19.7227 system time used= 0.527046 maximum resident set size= 505332 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 43745 page faults= 0 swaps= 0 block input operations= 0 block output operations= 128 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7462 involuntary context switches= 269 # summary of solver processes directly reported to runsolver: # pid: 6216 # total CPU time (s): 20.2498 # total CPU user time (s): 19.7227 # total CPU system time (s): 0.527046 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.047876 second user time and 0.1032 second system time The end
Begin job on node126 at 2019-09-24 21:13:44 IDJOB=4407072 IDBENCH=133275 IDSOLVER=2871 FILE ID=node126/4407072-1569352462 RUNJOBID= node126-1569349500-4304 PBS_JOBID= 21705090 Free space on /var/tmp= 13508 MiB SOLVER NAME= choco-solver 2019-09-24 parallel BENCH NAME= XCSP17/Mario/Mario-zinc-s1/Mario-t-hard-1.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407072-1569352462/watcher-4407072-1569352462 -o /var/tmp/evaluation-result-4407072-1569352462/solver-4407072-1569352462 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node126-1569349500-4304 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 623336073 HOME/instance-4407072-1569352462.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= d0ad504447153d615b89b5c6990e2d3b RANDOM SEED=623336073 node126.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.45 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.56 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.45 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.56 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.45 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.56 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.45 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 24744728 kB MemAvailable: 31841208 kB Buffers: 96256 kB Cached: 7230844 kB SwapCached: 7620 kB Active: 3626072 kB Inactive: 3711708 kB Active(anon): 2692 kB Inactive(anon): 58520 kB Active(file): 3623380 kB Inactive(file): 3653188 kB Unevictable: 109440 kB Mlocked: 109440 kB SwapTotal: 67108860 kB SwapFree: 66997044 kB Dirty: 26044 kB Writeback: 0 kB AnonPages: 117744 kB Mapped: 54308 kB Shmem: 41624 kB Slab: 277024 kB SReclaimable: 248372 kB SUnreclaim: 28652 kB KernelStack: 3744 kB PageTables: 6140 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 515836 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 71680 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 130432 kB DirectMap2M: 33415168 kB Free space on /var/tmp at the end= 13484 MiB End job on node126 at 2019-09-24 21:13:49