Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 4.0.5 par (2017-08-09) | SAT | 271.547 | 34.8069 |
Name | Ortholatin/Ortholatin-m1-s1/ Ortholatin-009.xml |
MD5SUM | f1f2c4ea81b28916fca828d1ce53413f |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 273.32999 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 243 |
Number of constraints | 86 |
Number of domains | 2 |
Minimum domain size | 9 |
Maximum domain size | 81 |
Distribution of domain sizes | [{"size":9,"count":162},{"size":81,"count":81}] |
Minimum variable degree | 2 |
Maximum variable degree | 3 |
Distribution of variable degrees | [{"degree":2,"count":225},{"degree":3,"count":18}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 81 |
Distribution of constraint arities | [{"arity":3,"count":81},{"arity":9,"count":2},{"arity":81,"count":3}] |
Number of extensional constraints | 81 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":81},{"type":"allDifferent","count":3},{"type":"instantiation","count":2}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271085-1502753466.xml" -tl '20160s' -p 8 -x 0 0.12/0.14 c [HOME/instance-4271085-1502753466.xml, -tl, 20160s, -p, 8, -x, 0] 0.12/0.20 c 8 solvers in parallel 0.34/0.27 c parse instance... 1.44/0.63 c solve instance... 270.77/34.79 s SATISFIABLE 270.77/34.79 v <instantiation> 270.77/34.79 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] y[0][0] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[1][0] y[1][1] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[2][0] y[2][1] y[2][2] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[3][0] y[3][1] y[3][2] y[3][3] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[4][0] y[4][1] y[4][2] y[4][3] y[4][4] y[4][5] y[4][6] y[4][7] y[4][8] y[5][0] y[5][1] y[5][2] y[5][3] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[6][0] y[6][1] y[6][2] y[6][3] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[7][0] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[8][0] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] z[0] z[1] z[2] z[3] z[4] z[5] z[6] z[7] z[8] z[9] z[10] z[11] z[12] z[13] z[14] z[15] z[16] z[17] z[18] z[19] z[20] z[21] z[22] z[23] z[24] z[25] z[26] z[27] z[28] z[29] z[30] z[31] z[32] z[33] z[34] z[35] z[36] z[37] z[38] z[39] z[40] z[41] z[42] z[43] z[44] z[45] z[46] z[47] z[48] z[49] z[50] z[51] z[52] z[53] z[54] z[55] z[56] z[57] z[58] z[59] z[60] z[61] z[62] z[63] z[64] z[65] z[66] z[67] z[68] z[69] z[70] z[71] z[72] z[73] z[74] z[75] z[76] z[77] z[78] z[79] z[80] </list> 270.77/34.79 v <values>0 1 2 3 4 5 6 7 8 1 2 0 4 5 3 7 8 6 2 0 1 5 3 4 8 6 7 3 4 5 6 7 8 0 1 2 4 5 3 7 8 6 1 2 0 5 3 4 8 6 7 2 0 1 6 7 8 0 1 2 3 4 5 7 8 6 1 2 0 4 5 3 8 6 7 2 0 1 5 3 4 0 1 2 3 4 5 6 7 8 2 0 1 5 3 4 8 6 7 1 2 0 4 5 3 7 8 6 6 7 8 0 1 2 3 4 5 8 6 7 2 0 1 5 3 4 7 8 6 1 2 0 4 5 3 3 4 5 6 7 8 0 1 2 5 3 4 8 6 7 2 0 1 4 5 3 7 8 6 1 2 0 0 10 20 30 40 50 60 70 80 11 18 1 41 48 31 71 78 61 19 2 9 49 32 39 79 62 69 33 43 53 54 64 74 3 13 23 44 51 34 65 72 55 14 21 4 52 35 42 73 56 63 22 5 12 57 67 77 6 16 26 27 37 47 68 75 58 17 24 7 38 45 28 76 59 66 25 8 15 46 29 36 </values> 270.77/34.79 v </instantiation>
OK
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 (12261 MiB free) memory of node 1: 16384 MiB (13564 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271085-1502753466/watcher-4271085-1502753466 -o /tmp/evaluation-result-4271085-1502753466/solver-4271085-1502753466 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1502745023-10024 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 2043705823 HOME/instance-4271085-1502753466.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=11243, runsolver pid=11240 [startup+0.10016 s]* /proc/loadavg: 7.83 8.62 8.71 2/199 11264 /proc/meminfo: memFree=26429868/32770624 swapFree=67108860/67108860 [pid=11243] ppid=11240 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/11243/stat : 11243 (xcsp3-exec) S 11240 11243 9997 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 108418176 9740288 346 33554432000 4194304 5098028 140735860163264 140735860161368 139719742464636 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15388672 140735860167780 140735860167991 140735860167991 140735860170731 0 /proc/11243/statm: 2378 346 289 221 0 87 0 [pid=11245] ppid=11243 vsize=25999808 memory=27336 CPUtime=0.12 cores=0-7 /proc/11245/stat : 11245 (java) S 11243 11243 9997 0 -1 1077944320 5696 0 0 0 11 1 0 0 20 0 20 0 108418176 26623803392 6834 33554432000 4194304 4196468 140728594662720 140728594645264 139836215234295 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 /proc/11245/statm: 6499952 6834 2877 1 0 6488269 0 [pid=11245/tid=11246] ppid=11243 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/11245/task/11246/stat : 11246 (java) R 11243 11243 9997 0 -1 4202560 3714 0 0 0 8 0 0 0 20 0 20 0 108418176 26623803392 6834 33554432000 4194304 4196468 140728594662720 139836219467568 139836215246230 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11247] ppid=11243 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/11245/task/11247/stat : 11247 (java) S 11243 11243 9997 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108418177 26623803392 6834 33554432000 4194304 4196468 140728594662720 139836167854608 139836215244501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11248] ppid=11243 vsize=25999808 memory=140069766522496 CPUtime=0 cores=0-7 /proc/11245/task/11248/stat : 11248 (java) S 11243 11243 9997 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108418177 26623803392 6834 33554432000 4194304 4196468 140728594662720 139836166802064 139836215244501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11249] ppid=11243 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/11245/task/11249/stat : 11249 (java) S 11243 11243 9997 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 108418177 26623803392 6834 33554432000 4194304 4196468 140728594662720 139836165749008 139836215244501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11250] ppid=11243 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/11245/task/11250/stat : 11250 (java) S 11243 11243 9997 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108418177 26623803392 6834 33554432000 4194304 4196468 140728594662720 139836164696464 139836215244501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11251] ppid=11243 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/11245/task/11251/stat : 11251 (java) S 11243 11243 9997 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108418177 26623803392 6834 33554432000 4194304 4196468 140728594662720 139836163644432 139836215244501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11252] ppid=11243 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/11245/task/11252/stat : 11252 (java) S 11243 11243 9997 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108418177 26623803392 6834 33554432000 4194304 4196468 140728594662720 139836162591888 139836215244501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11253] ppid=11243 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/11245/task/11253/stat : 11253 (java) S 11243 11243 9997 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108418177 26623803392 6834 33554432000 4194304 4196468 140728594662720 139836161538832 139836215244501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11254] ppid=11243 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/11245/task/11254/stat : 11254 (java) S 11243 11243 9997 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108418177 26623803392 6834 33554432000 4194304 4196468 140728594662720 139836160486288 139836215244501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11255] ppid=11243 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/11245/task/11255/stat : 11255 (java) S 11243 11243 9997 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108418178 26623803392 6834 33554432000 4194304 4196468 140728594662720 139835408894192 139836215245442 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11256] ppid=11243 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/11245/task/11256/stat : 11256 (java) S 11243 11243 9997 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 108418179 26623803392 6834 33554432000 4194304 4196468 140728594662720 139835407840416 139836215244501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11257] ppid=11243 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/11245/task/11257/stat : 11257 (java) S 11243 11243 9997 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 108418179 26623803392 6834 33554432000 4194304 4196468 140728594662720 139835406787312 139836215244501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11258] ppid=11243 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/11245/task/11258/stat : 11258 (java) S 11243 11243 9997 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108418182 26623803392 6834 33554432000 4194304 4196468 140728594662720 139835405735888 139836215252891 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11259] ppid=11243 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/11245/task/11259/stat : 11259 (java) S 11243 11243 9997 0 -1 1077944384 418 0 0 0 0 0 0 0 20 0 20 0 108418182 26623803392 6834 33554432000 4194304 4196468 140728594662720 139835404684016 139836215245442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11260] ppid=11243 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/11245/task/11260/stat : 11260 (java) S 11243 11243 9997 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 108418182 26623803392 6834 33554432000 4194304 4196468 140728594662720 139835403631472 139836215245442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11261] ppid=11243 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/11245/task/11261/stat : 11261 (java) S 11243 11243 9997 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 108418182 26623803392 6834 33554432000 4194304 4196468 140728594662720 139835402578416 139836215245442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11262] ppid=11243 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/11245/task/11262/stat : 11262 (java) S 11243 11243 9997 0 -1 1077944384 250 0 0 0 1 0 0 0 20 0 20 0 108418182 26623803392 6834 33554432000 4194304 4196468 140728594662720 139835401525872 139836215245442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11263] ppid=11243 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/11245/task/11263/stat : 11263 (java) S 11243 11243 9997 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 108418182 26623803392 6834 33554432000 4194304 4196468 140728594662720 139835400473056 139836215244501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11264] ppid=11243 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/11245/task/11264/stat : 11264 (java) S 11243 11243 9997 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108418182 26623803392 6834 33554432000 4194304 4196468 140728594662720 139835399420592 139836215245442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 28720 KiB [startup+0.210451 s]* /proc/loadavg: 7.83 8.62 8.71 2/199 11264 /proc/meminfo: memFree=26419572/32770624 swapFree=67108860/67108860 [pid=11243] ppid=11240 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/11243/stat : 11243 (xcsp3-exec) S 11240 11243 9997 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 108418176 9740288 346 33554432000 4194304 5098028 140735860163264 140735860161368 139719742464636 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15388672 140735860167780 140735860167991 140735860167991 140735860170731 0 /proc/11243/statm: 2378 346 289 221 0 87 0 [pid=11245] ppid=11243 vsize=26004064 memory=38852 CPUtime=0.34 cores=0-7 /proc/11245/stat : 11245 (java) S 11243 11243 9997 0 -1 1077944320 8245 0 0 0 32 2 0 0 20 0 20 0 108418176 26628161536 9713 33554432000 4194304 4196468 140728594662720 140728594645264 139836215234295 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 /proc/11245/statm: 6501016 9713 3008 1 0 6488269 0 [pid=11245/tid=11246] ppid=11243 vsize=26004064 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/11245/task/11246/stat : 11246 (java) R 11243 11243 9997 0 -1 4202560 5436 0 0 0 19 1 0 0 20 0 20 0 108418176 26628161536 9713 33554432000 4194304 4196468 140728594662720 139836219456320 139836199314782 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11247] ppid=11243 vsize=26004064 memory=329 CPUtime=0 cores=0-7 /proc/11245/task/11247/stat : 11247 (java) S 11243 11243 9997 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108418177 26628161536 9713 33554432000 4194304 4196468 140728594662720 139836167854608 139836215244501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11248] ppid=11243 vsize=26004064 memory=140069766995599 CPUtime=0 cores=0-7 /proc/11245/task/11248/stat : 11248 (java) S 11243 11243 9997 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108418177 26628161536 9713 33554432000 4194304 4196468 140728594662720 139836166802064 139836215244501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11249] ppid=11243 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/11245/task/11249/stat : 11249 (java) S 11243 11243 9997 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 108418177 26628161536 9713 33554432000 4194304 4196468 140728594662720 139836165749008 139836215244501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11250] ppid=11243 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/11245/task/11250/stat : 11250 (java) S 11243 11243 9997 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108418177 26628161536 9713 33554432000 4194304 4196468 140728594662720 139836164696464 139836215244501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11251] ppid=11243 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/11245/task/11251/stat : 11251 (java) S 11243 11243 9997 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108418177 26628161536 9713 33554432000 4194304 4196468 140728594662720 139836163644432 139836215244501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11252] ppid=11243 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/11245/task/11252/stat : 11252 (java) S 11243 11243 9997 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108418177 26628161536 9713 33554432000 4194304 4196468 140728594662720 139836162591888 139836215244501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11253] ppid=11243 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/11245/task/11253/stat : 11253 (java) S 11243 11243 9997 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108418177 26628161536 9713 33554432000 4194304 4196468 140728594662720 139836161538832 139836215244501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11254] ppid=11243 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/11245/task/11254/stat : 11254 (java) S 11243 11243 9997 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108418177 26628161536 9713 33554432000 4194304 4196468 140728594662720 139836160486288 139836215244501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11255] ppid=11243 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/11245/task/11255/stat : 11255 (java) S 11243 11243 9997 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 108418178 26628161536 9713 33554432000 4194304 4196468 140728594662720 139835408894192 139836215245442 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11256] ppid=11243 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/11245/task/11256/stat : 11256 (java) S 11243 11243 9997 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 108418179 26628161536 9713 33554432000 4194304 4196468 140728594662720 139835407840416 139836215244501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11257] ppid=11243 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/11245/task/11257/stat : 11257 (java) S 11243 11243 9997 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 108418179 26628161536 9713 33554432000 4194304 4196468 140728594662720 139835406787312 139836215244501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11258] ppid=11243 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/11245/task/11258/stat : 11258 (java) S 11243 11243 9997 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108418182 26628161536 9713 33554432000 4194304 4196468 140728594662720 139835405735888 139836215252891 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11259] ppid=11243 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/11245/task/11259/stat : 11259 (java) S 11243 11243 9997 0 -1 1077944384 465 0 0 0 1 0 0 0 20 0 20 0 108418182 26628161536 9713 33554432000 4194304 4196468 140728594662720 139835404684016 139836215245442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11260] ppid=11243 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/11245/task/11260/stat : 11260 (java) S 11243 11243 9997 0 -1 1077944384 55 0 0 0 1 0 0 0 20 0 20 0 108418182 26628161536 9713 33554432000 4194304 4196468 140728594662720 139835403631472 139836215245442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11261] ppid=11243 vsize=26004064 memory=-1 CPUtime=0.02 cores=0-7 /proc/11245/task/11261/stat : 11261 (java) S 11243 11243 9997 0 -1 1077944384 251 0 0 0 2 0 0 0 20 0 20 0 108418182 26628161536 9713 33554432000 4194304 4196468 140728594662720 139835402578416 139836215245442 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11262] ppid=11243 vsize=26004064 memory=-1 CPUtime=0.08 cores=0-7 /proc/11245/task/11262/stat : 11262 (java) R 11243 11243 9997 0 -1 4202560 728 0 0 0 8 0 0 0 20 0 20 0 108418182 26628161536 9713 33554432000 4194304 4196468 140728594662720 139835401523408 139836215246230 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11263] ppid=11243 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/11245/task/11263/stat : 11263 (java) S 11243 11243 9997 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 108418182 26628161536 9713 33554432000 4194304 4196468 140728594662720 139835400473056 139836215244501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11264] ppid=11243 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/11245/task/11264/stat : 11264 (java) S 11243 11243 9997 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108418182 26628161536 9713 33554432000 4194304 4196468 140728594662720 139835399420592 139836215245442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 40236 KiB [startup+0.310305 s]* /proc/loadavg: 7.83 8.62 8.71 3/199 11264 /proc/meminfo: memFree=26412500/32770624 swapFree=67108860/67108860 [pid=11243] ppid=11240 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/11243/stat : 11243 (xcsp3-exec) S 11240 11243 9997 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 108418176 9740288 346 33554432000 4194304 5098028 140735860163264 140735860161368 139719742464636 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15388672 140735860167780 140735860167991 140735860167991 140735860170731 0 /proc/11243/statm: 2378 346 289 221 0 87 0 [pid=11245] ppid=11243 vsize=26004064 memory=46320 CPUtime=0.5 cores=0-7 /proc/11245/stat : 11245 (java) S 11243 11243 9997 0 -1 1077944320 9270 0 0 0 47 3 0 0 20 0 20 0 108418176 26628161536 11580 33554432000 4194304 4196468 140728594662720 140728594645264 139836215234295 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 /proc/11245/statm: 6501016 11580 3065 1 0 6488269 0 [pid=11245/tid=11246] ppid=11243 vsize=26004064 memory=6791534058613427641 CPUtime=0.3 cores=0-7 /proc/11245/task/11246/stat : 11246 (java) R 11243 11243 9997 0 -1 4202560 6199 0 0 0 28 2 0 0 20 0 20 0 108418176 26628161536 11580 33554432000 4194304 4196468 140728594662720 139836219464848 139836215256221 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11247] ppid=11243 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/11245/task/11247/stat : 11247 (java) S 11243 11243 9997 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108418177 26628161536 11580 33554432000 4194304 4196468 140728594662720 139836167854608 139836215244501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11248] ppid=11243 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/11245/task/11248/stat : 11248 (java) S 11243 11243 9997 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108418177 26628161536 11580 33554432000 4194304 4196468 140728594662720 139836166802064 139836215244501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11249] ppid=11243 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/11245/task/11249/stat : 11249 (java) S 11243 11243 9997 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 108418177 26628161536 11580 33554432000 4194304 4196468 140728594662720 139836165749008 139836215244501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11250] ppid=11243 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/11245/task/11250/stat : 11250 (java) S 11243 11243 9997 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108418177 26628161536 11580 33554432000 4194304 4196468 140728594662720 139836164696464 139836215244501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11251] ppid=11243 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/11245/task/11251/stat : 11251 (java) S 11243 11243 9997 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108418177 26628161536 11580 33554432000 4194304 4196468 140728594662720 139836163644432 139836215244501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11252] ppid=11243 vsize=26004064 memory=140069621035951 CPUtime=0 cores=0-7 /proc/11245/task/11252/stat : 11252 (java) S 11243 11243 9997 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108418177 26628161536 11580 33554432000 4194304 4196468 140728594662720 139836162591888 139836215244501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11253] ppid=11243 vsize=26004064 memory=140069621038256 CPUtime=0 cores=0-7 /proc/11245/task/11253/stat : 11253 (java) S 11243 11243 9997 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108418177 26628161536 11580 33554432000 4194304 4196468 140728594662720 139836161538832 139836215244501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11254] ppid=11243 vsize=26004064 memory=140069621040560 CPUtime=0 cores=0-7 /proc/11245/task/11254/stat : 11254 (java) S 11243 11243 9997 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108418177 26628161536 11580 33554432000 4194304 4196468 140728594662720 139836160486288 139836215244501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11255] ppid=11243 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/11245/task/11255/stat : 11255 (java) S 11243 11243 9997 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 108418178 26628161536 11580 33554432000 4194304 4196468 140728594662720 139835408894192 139836215245442 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11256] ppid=11243 vsize=26004064 memory=280139242088080 CPUtime=0 cores=0-7 /proc/11245/task/11256/stat : 11256 (java) S 11243 11243 9997 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 108418179 26628161536 11580 33554432000 4194304 4196468 140728594662720 139835407840416 139836215244501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11257] ppid=11243 vsize=26004064 memory=280139242094992 CPUtime=0 cores=0-7 /proc/11245/task/11257/stat : 11257 (java) S 11243 11243 9997 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 108418179 26628161536 11580 33554432000 4194304 4196468 140728594662720 139835406787312 139836215244501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11258] ppid=11243 vsize=26004064 memory=280139242036272 CPUtime=0 cores=0-7 /proc/11245/task/11258/stat : 11258 (java) S 11243 11243 9997 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108418182 26628161536 11580 33554432000 4194304 4196468 140728594662720 139835405735888 139836215252891 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11259] ppid=11243 vsize=26004064 memory=280139242108816 CPUtime=0.01 cores=0-7 /proc/11245/task/11259/stat : 11259 (java) S 11243 11243 9997 0 -1 1077944384 468 0 0 0 1 0 0 0 20 0 20 0 108418182 26628161536 11580 33554432000 4194304 4196468 140728594662720 139835404684016 139836215245442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11260] ppid=11243 vsize=26004064 memory=280139242115728 CPUtime=0.02 cores=0-7 /proc/11245/task/11260/stat : 11260 (java) S 11243 11243 9997 0 -1 1077944384 160 0 0 0 2 0 0 0 20 0 20 0 108418182 26628161536 11580 33554432000 4194304 4196468 140728594662720 139835403631472 139836215245442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11261] ppid=11243 vsize=26004064 memory=280139242113424 CPUtime=0.03 cores=0-7 /proc/11245/task/11261/stat : 11261 (java) S 11243 11243 9997 0 -1 1077944384 259 0 0 0 3 0 0 0 20 0 20 0 108418182 26628161536 11580 33554432000 4194304 4196468 140728594662720 139835402578416 139836215245442 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11262] ppid=11243 vsize=26004064 memory=280139242129584 CPUtime=0.12 cores=0-7 /proc/11245/task/11262/stat : 11262 (java) R 11243 11243 9997 0 -1 4202560 872 0 0 0 12 0 0 0 20 0 20 0 108418182 26628161536 11580 33554432000 4194304 4196468 140728594662720 139835401525872 139836215246230 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11263] ppid=11243 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/11245/task/11263/stat : 11263 (java) S 11243 11243 9997 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 108418182 26628161536 11580 33554432000 4194304 4196468 140728594662720 139835400473056 139836215244501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11264] ppid=11243 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/11245/task/11264/stat : 11264 (java) S 11243 11243 9997 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108418182 26628161536 11580 33554432000 4194304 4196468 140728594662720 139835399420592 139836215245442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 Current children cumulated CPU time: 0.5 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 47704 KiB [startup+0.701799 s] /proc/loadavg: 7.83 8.62 8.71 4/199 11264 /proc/meminfo: memFree=26398588/32770624 swapFree=67108860/67108860 [pid=11243] ppid=11240 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/11243/stat : 11243 (xcsp3-exec) S 11240 11243 9997 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 108418176 9740288 346 33554432000 4194304 5098028 140735860163264 140735860161368 139719742464636 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15388672 140735860167780 140735860167991 140735860167991 140735860170731 0 /proc/11243/statm: 2378 346 289 221 0 87 0 [pid=11245] ppid=11243 vsize=26538700 memory=97820 CPUtime=1.97 cores=0-7 /proc/11245/stat : 11245 (java) S 11243 11243 9997 0 -1 1077944320 13280 0 0 0 192 5 0 0 20 0 28 0 108418176 27175628800 24455 33554432000 4194304 4196468 140728594662720 140728594645264 139836215234295 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 /proc/11245/statm: 6634675 24455 3199 1 0 6621909 0 [pid=11245/tid=11246] ppid=11243 vsize=26538700 memory=280139242487472 CPUtime=0.62 cores=0-7 /proc/11245/task/11246/stat : 11246 (java) S 11243 11243 9997 0 -1 1077944384 6888 0 0 0 59 3 0 0 20 0 28 0 108418176 27175628800 24455 33554432000 4194304 4196468 140728594662720 139836219475072 139836215244501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11247] ppid=11243 vsize=26538700 memory=140069621244784 CPUtime=0 cores=0-7 /proc/11245/task/11247/stat : 11247 (java) S 11243 11243 9997 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 108418177 27175628800 24455 33554432000 4194304 4196468 140728594662720 139836167854608 139836215244501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11248] ppid=11243 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/11245/task/11248/stat : 11248 (java) S 11243 11243 9997 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 108418177 27175628800 24455 33554432000 4194304 4196468 140728594662720 139836166802064 139836215244501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11249] ppid=11243 vsize=26538700 memory=1428 CPUtime=0 cores=0-7 /proc/11245/task/11249/stat : 11249 (java) S 11243 11243 9997 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 108418177 27175628800 24455 33554432000 4194304 4196468 140728594662720 139836165749008 139836215244501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 ################ # More data... # ################ [pid=11245/tid=11267] ppid=11243 vsize=26538700 memory=0 CPUtime=29.97 cores=0-7 /proc/11245/task/11267/stat : 11267 (java) R 11243 11243 9997 0 -1 4202560 1759 0 0 0 2996 1 0 0 20 0 28 0 108418241 27175628800 37598 33554432000 4194304 4196468 140728594662720 139835389800608 139835836908001 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11268] ppid=11243 vsize=26538700 memory=0 CPUtime=30.3 cores=0-7 /proc/11245/task/11268/stat : 11268 (java) R 11243 11243 9997 0 -1 4202560 771 0 0 0 3030 0 0 0 20 0 28 0 108418241 27175628800 37598 33554432000 4194304 4196468 140728594662720 139835388748360 139835835840076 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11269] ppid=11243 vsize=26538700 memory=0 CPUtime=30.07 cores=0-7 /proc/11245/task/11269/stat : 11269 (java) R 11243 11243 9997 0 -1 4202560 1028 0 0 0 3007 0 0 0 20 0 28 0 108418241 27175628800 37598 33554432000 4194304 4196468 140728594662720 139835387695832 139835836493607 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11270] ppid=11243 vsize=26538700 memory=0 CPUtime=30.25 cores=0-7 /proc/11245/task/11270/stat : 11270 (java) R 11243 11243 9997 0 -1 4202560 666 0 0 0 3024 1 0 0 20 0 28 0 108418241 27175628800 37598 33554432000 4194304 4196468 140728594662720 139835386642744 139835836444086 0 4 0 16800975 0 0 0 -1 2 0 0 9 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11271] ppid=11243 vsize=26538700 memory=0 CPUtime=30.43 cores=0-7 /proc/11245/task/11271/stat : 11271 (java) R 11243 11243 9997 0 -1 4202560 699 0 0 0 3042 1 0 0 20 0 28 0 108418241 27175628800 37598 33554432000 4194304 4196468 140728594662720 139835385589656 139835836444995 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11272] ppid=11243 vsize=26538700 memory=0 CPUtime=30.39 cores=0-7 /proc/11245/task/11272/stat : 11272 (java) R 11243 11243 9997 0 -1 4202560 1239 0 0 0 3039 0 0 0 20 0 28 0 108418241 27175628800 37598 33554432000 4194304 4196468 140728594662720 139835384536608 139835836102864 0 4 0 16800975 0 0 0 -1 1 0 0 10 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 Current children cumulated CPU time: 249.43 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 151776 KiB [startup+33.6016 s] /proc/loadavg: 8.05 8.58 8.69 9/207 11272 /proc/meminfo: memFree=26306292/32770624 swapFree=67108860/67108860 [pid=11243] ppid=11240 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/11243/stat : 11243 (xcsp3-exec) S 11240 11243 9997 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 108418176 9740288 346 33554432000 4194304 5098028 140735860163264 140735860161368 139719742464636 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15388672 140735860167780 140735860167991 140735860167991 140735860170731 0 /proc/11243/statm: 2378 346 289 221 0 87 0 [pid=11245] ppid=11243 vsize=26538700 memory=148340 CPUtime=262.04 cores=0-7 /proc/11245/stat : 11245 (java) S 11243 11243 9997 0 -1 1077944320 51336 0 0 0 26169 35 0 0 20 0 28 0 108418176 27175628800 37085 33554432000 4194304 4196468 140728594662720 140728594645264 139836215234295 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 /proc/11245/statm: 6634675 37085 3272 1 0 6621909 0 [pid=11245/tid=11246] ppid=11243 vsize=26538700 memory=0 CPUtime=0.62 cores=0-7 /proc/11245/task/11246/stat : 11246 (java) S 11243 11243 9997 0 -1 1077944384 6888 0 0 0 59 3 0 0 20 0 28 0 108418176 27175628800 37085 33554432000 4194304 4196468 140728594662720 139836219475072 139836215244501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11247] ppid=11243 vsize=26538700 memory=0 CPUtime=0.05 cores=0-7 /proc/11245/task/11247/stat : 11247 (java) S 11243 11243 9997 0 -1 1077944384 180 0 0 0 4 1 0 0 20 0 28 0 108418177 27175628800 37085 33554432000 4194304 4196468 140728594662720 139836167854608 139836215244501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11248] ppid=11243 vsize=26538700 memory=55 CPUtime=0.05 cores=0-7 /proc/11245/task/11248/stat : 11248 (java) S 11243 11243 9997 0 -1 1077944384 604 0 0 0 4 1 0 0 20 0 28 0 108418177 27175628800 37085 33554432000 4194304 4196468 140728594662720 139836166802064 139836215244501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11249] ppid=11243 vsize=26538700 memory=0 CPUtime=0.05 cores=0-7 /proc/11245/task/11249/stat : 11249 (java) S 11243 11243 9997 0 -1 1077944384 268 0 0 0 4 1 0 0 20 0 28 0 108418177 27175628800 37085 33554432000 4194304 4196468 140728594662720 139836165749008 139836215244501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11250] ppid=11243 vsize=26538700 memory=0 CPUtime=0.05 cores=0-7 /proc/11245/task/11250/stat : 11250 (java) S 11243 11243 9997 0 -1 1077944384 1116 0 0 0 3 2 0 0 20 0 28 0 108418177 27175628800 37085 33554432000 4194304 4196468 140728594662720 139836164696464 139836215244501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11251] ppid=11243 vsize=26538700 memory=0 CPUtime=0.06 cores=0-7 /proc/11245/task/11251/stat : 11251 (java) S 11243 11243 9997 0 -1 1077944384 1019 0 0 0 5 1 0 0 20 0 28 0 108418177 27175628800 37085 33554432000 4194304 4196468 140728594662720 139836163644432 139836215244501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11252] ppid=11243 vsize=26538700 memory=149364 CPUtime=0.06 cores=0-7 /proc/11245/task/11252/stat : 11252 (java) S 11243 11243 9997 0 -1 1077944384 1308 0 0 0 4 2 0 0 20 0 28 0 108418177 27175628800 37085 33554432000 4194304 4196468 140728594662720 139836162591888 139836215244501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11253] ppid=11243 vsize=26538700 memory=153468 CPUtime=0.05 cores=0-7 /proc/11245/task/11253/stat : 11253 (java) S 11243 11243 9997 0 -1 1077944384 499 0 0 0 3 2 0 0 20 0 28 0 108418177 27175628800 37085 33554432000 4194304 4196468 140728594662720 139836161538832 139836215244501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11254] ppid=11243 vsize=26538700 memory=1384 CPUtime=0.06 cores=0-7 /proc/11245/task/11254/stat : 11254 (java) S 11243 11243 9997 0 -1 1077944384 547 0 0 0 4 2 0 0 20 0 28 0 108418177 27175628800 37085 33554432000 4194304 4196468 140728594662720 139836160486288 139836215244501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11255] ppid=11243 vsize=26538700 memory=152444 CPUtime=0.05 cores=0-7 /proc/11245/task/11255/stat : 11255 (java) S 11243 11243 9997 0 -1 1077944384 2200 0 0 0 4 1 0 0 20 0 28 0 108418178 27175628800 37085 33554432000 4194304 4196468 140728594662720 139835408894192 139836215245442 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11256] ppid=11243 vsize=26538700 memory=16432 CPUtime=0 cores=0-7 /proc/11245/task/11256/stat : 11256 (java) S 11243 11243 9997 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 108418179 27175628800 37085 33554432000 4194304 4196468 140728594662720 139835407840416 139836215244501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11257] ppid=11243 vsize=26538700 memory=4040 CPUtime=0 cores=0-7 /proc/11245/task/11257/stat : 11257 (java) S 11243 11243 9997 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 108418179 27175628800 37085 33554432000 4194304 4196468 140728594662720 139835406787312 139836215244501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11258] ppid=11243 vsize=26538700 memory=1792 CPUtime=0 cores=0-7 /proc/11245/task/11258/stat : 11258 (java) S 11243 11243 9997 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 108418182 27175628800 37085 33554432000 4194304 4196468 140728594662720 139835405735888 139836215252891 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11259] ppid=11243 vsize=26538700 memory=640 CPUtime=1.75 cores=0-7 /proc/11245/task/11259/stat : 11259 (java) S 11243 11243 9997 0 -1 1077944384 9832 0 0 0 173 2 0 0 20 0 28 0 108418182 27175628800 37085 33554432000 4194304 4196468 140728594662720 139835404684016 139836215245442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 15 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11260] ppid=11243 vsize=26538700 memory=1384 CPUtime=1.49 cores=0-7 /proc/11245/task/11260/stat : 11260 (java) S 11243 11243 9997 0 -1 1077944384 6346 0 0 0 148 1 0 0 20 0 28 0 108418182 27175628800 37085 33554432000 4194304 4196468 140728594662720 139835403631472 139836215245442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11261] ppid=11243 vsize=26538700 memory=150392 CPUtime=1.57 cores=0-7 /proc/11245/task/11261/stat : 11261 (java) S 11243 11243 9997 0 -1 1077944384 5233 0 0 0 155 2 0 0 20 0 28 0 108418182 27175628800 37085 33554432000 4194304 4196468 140728594662720 139835402578416 139836215245442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11262] ppid=11243 vsize=26538700 memory=3 CPUtime=0.66 cores=0-7 /proc/11245/task/11262/stat : 11262 (java) S 11243 11243 9997 0 -1 1077944384 5414 0 0 0 65 1 0 0 20 0 28 0 108418182 27175628800 37085 33554432000 4194304 4196468 140728594662720 139835401525872 139836215245442 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11263] ppid=11243 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/11245/task/11263/stat : 11263 (java) S 11243 11243 9997 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 108418182 27175628800 37085 33554432000 4194304 4196468 140728594662720 139835400473056 139836215244501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11264] ppid=11243 vsize=26538700 memory=1012 CPUtime=0 cores=0-7 /proc/11245/task/11264/stat : 11264 (java) S 11243 11243 9997 0 -1 1077944384 247 0 0 0 0 0 0 0 20 0 28 0 108418182 27175628800 37085 33554432000 4194304 4196468 140728594662720 139835399420592 139836215245442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 13 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11265] ppid=11243 vsize=26538700 memory=796 CPUtime=32.29 cores=0-7 /proc/11245/task/11265/stat : 11265 (java) R 11243 11243 9997 0 -1 4202560 773 0 0 0 3229 0 0 0 20 0 28 0 108418240 27175628800 37085 33554432000 4194304 4196468 140728594662720 139835391907376 139835835867244 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11266] ppid=11243 vsize=26538700 memory=1228 CPUtime=32.11 cores=0-7 /proc/11245/task/11266/stat : 11266 (java) R 11243 11243 9997 0 -1 4202560 744 0 0 0 3211 0 0 0 20 0 28 0 108418241 27175628800 37085 33554432000 4194304 4196468 140728594662720 139835390852888 139835836444339 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11267] ppid=11243 vsize=26538700 memory=5300 CPUtime=31.53 cores=0-7 /proc/11245/task/11267/stat : 11267 (java) R 11243 11243 9997 0 -1 4202560 1878 0 0 0 3152 1 0 0 20 0 28 0 108418241 27175628800 37085 33554432000 4194304 4196468 140728594662720 139835389800720 139835836929030 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11268] ppid=11243 vsize=26538700 memory=960 CPUtime=31.89 cores=0-7 /proc/11245/task/11268/stat : 11268 (java) R 11243 11243 9997 0 -1 4202560 893 0 0 0 3188 1 0 0 20 0 28 0 108418241 27175628800 37085 33554432000 4194304 4196468 140728594662720 139835388748208 139835835840653 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11269] ppid=11243 vsize=26538700 memory=1236 CPUtime=31.65 cores=0-7 /proc/11245/task/11269/stat : 11269 (java) R 11243 11243 9997 0 -1 4202560 1217 0 0 0 3165 0 0 0 20 0 28 0 108418241 27175628800 37085 33554432000 4194304 4196468 140728594662720 139835387694896 139835836444107 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11270] ppid=11243 vsize=26538700 memory=2344 CPUtime=31.84 cores=0-7 /proc/11245/task/11270/stat : 11270 (java) R 11243 11243 9997 0 -1 4202560 701 0 0 0 3183 1 0 0 20 0 28 0 108418241 27175628800 37085 33554432000 4194304 4196468 140728594662720 139835386645352 139835836927763 0 4 0 16800975 0 0 0 -1 6 0 0 9 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11271] ppid=11243 vsize=26538700 memory=1576 CPUtime=31.98 cores=0-7 /proc/11245/task/11271/stat : 11271 (java) R 11243 11243 9997 0 -1 4202560 782 0 0 0 3197 1 0 0 20 0 28 0 108418241 27175628800 37085 33554432000 4194304 4196468 140728594662720 139835385589656 139835835839555 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11272] ppid=11243 vsize=26538700 memory=928 CPUtime=31.97 cores=0-7 /proc/11245/task/11272/stat : 11272 (java) R 11243 11243 9997 0 -1 4202560 1310 0 0 0 3197 0 0 0 20 0 28 0 108418241 27175628800 37085 33554432000 4194304 4196468 140728594662720 139835384537176 139835836929675 0 4 0 16800975 0 0 0 -1 1 0 0 10 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 Current children cumulated CPU time: 262.04 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 149724 KiB [startup+34.4016 s] /proc/loadavg: 8.05 8.58 8.69 9/207 11272 /proc/meminfo: memFree=26307036/32770624 swapFree=67108860/67108860 [pid=11243] ppid=11240 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/11243/stat : 11243 (xcsp3-exec) S 11240 11243 9997 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 108418176 9740288 346 33554432000 4194304 5098028 140735860163264 140735860161368 139719742464636 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15388672 140735860167780 140735860167991 140735860167991 140735860170731 0 /proc/11243/statm: 2378 346 289 221 0 87 0 [pid=11245] ppid=11243 vsize=26538700 memory=147312 CPUtime=268.39 cores=0-7 /proc/11245/stat : 11245 (java) S 11243 11243 9997 0 -1 1077944320 52270 0 0 0 26804 35 0 0 20 0 28 0 108418176 27175628800 36828 33554432000 4194304 4196468 140728594662720 140728594645264 139836215234295 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 /proc/11245/statm: 6634675 36828 3272 1 0 6621909 0 [pid=11245/tid=11246] ppid=11243 vsize=26538700 memory=149364 CPUtime=0.62 cores=0-7 /proc/11245/task/11246/stat : 11246 (java) S 11243 11243 9997 0 -1 1077944384 6888 0 0 0 59 3 0 0 20 0 28 0 108418176 27175628800 36828 33554432000 4194304 4196468 140728594662720 139836219475072 139836215244501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11247] ppid=11243 vsize=26538700 memory=7666632254238189415 CPUtime=0.05 cores=0-7 /proc/11245/task/11247/stat : 11247 (java) S 11243 11243 9997 0 -1 1077944384 180 0 0 0 4 1 0 0 20 0 28 0 108418177 27175628800 36828 33554432000 4194304 4196468 140728594662720 139836167854608 139836215244501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11248] ppid=11243 vsize=26538700 memory=7451041092032162155 CPUtime=0.05 cores=0-7 /proc/11245/task/11248/stat : 11248 (java) S 11243 11243 9997 0 -1 1077944384 604 0 0 0 4 1 0 0 20 0 28 0 108418177 27175628800 36828 33554432000 4194304 4196468 140728594662720 139836166802064 139836215244501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11249] ppid=11243 vsize=26538700 memory=7451041092032162155 CPUtime=0.05 cores=0-7 /proc/11245/task/11249/stat : 11249 (java) S 11243 11243 9997 0 -1 1077944384 270 0 0 0 4 1 0 0 20 0 28 0 108418177 27175628800 36828 33554432000 4194304 4196468 140728594662720 139836165749008 139836215244501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11250] ppid=11243 vsize=26538700 memory=7451041092032162155 CPUtime=0.05 cores=0-7 /proc/11245/task/11250/stat : 11250 (java) S 11243 11243 9997 0 -1 1077944384 1116 0 0 0 3 2 0 0 20 0 28 0 108418177 27175628800 36828 33554432000 4194304 4196468 140728594662720 139836164696464 139836215244501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11251] ppid=11243 vsize=26538700 memory=7454130749351154278 CPUtime=0.06 cores=0-7 /proc/11245/task/11251/stat : 11251 (java) S 11243 11243 9997 0 -1 1077944384 1019 0 0 0 5 1 0 0 20 0 28 0 108418177 27175628800 36828 33554432000 4194304 4196468 140728594662720 139836163644432 139836215244501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11252] ppid=11243 vsize=26538700 memory=1012 CPUtime=0.06 cores=0-7 /proc/11245/task/11252/stat : 11252 (java) S 11243 11243 9997 0 -1 1077944384 1308 0 0 0 4 2 0 0 20 0 28 0 108418177 27175628800 36828 33554432000 4194304 4196468 140728594662720 139836162591888 139836215244501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11253] ppid=11243 vsize=26538700 memory=796 CPUtime=0.06 cores=0-7 /proc/11245/task/11253/stat : 11253 (java) S 11243 11243 9997 0 -1 1077944384 499 0 0 0 4 2 0 0 20 0 28 0 108418177 27175628800 36828 33554432000 4194304 4196468 140728594662720 139836161538832 139836215244501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11254] ppid=11243 vsize=26538700 memory=1228 CPUtime=0.06 cores=0-7 /proc/11245/task/11254/stat : 11254 (java) S 11243 11243 9997 0 -1 1077944384 547 0 0 0 4 2 0 0 20 0 28 0 108418177 27175628800 36828 33554432000 4194304 4196468 140728594662720 139836160486288 139836215244501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11255] ppid=11243 vsize=26538700 memory=5300 CPUtime=0.05 cores=0-7 /proc/11245/task/11255/stat : 11255 (java) S 11243 11243 9997 0 -1 1077944384 2205 0 0 0 4 1 0 0 20 0 28 0 108418178 27175628800 36828 33554432000 4194304 4196468 140728594662720 139835408894192 139836215245442 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11256] ppid=11243 vsize=26538700 memory=4616 CPUtime=0 cores=0-7 /proc/11245/task/11256/stat : 11256 (java) S 11243 11243 9997 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 108418179 27175628800 36828 33554432000 4194304 4196468 140728594662720 139835407840416 139836215244501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11257] ppid=11243 vsize=26538700 memory=1928 CPUtime=0 cores=0-7 /proc/11245/task/11257/stat : 11257 (java) S 11243 11243 9997 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 108418179 27175628800 36828 33554432000 4194304 4196468 140728594662720 139835406787312 139836215244501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11258] ppid=11243 vsize=26538700 memory=1428 CPUtime=0 cores=0-7 /proc/11245/task/11258/stat : 11258 (java) S 11243 11243 9997 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 108418182 27175628800 36828 33554432000 4194304 4196468 140728594662720 139835405735888 139836215252891 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11259] ppid=11243 vsize=26538700 memory=1196 CPUtime=1.75 cores=0-7 /proc/11245/task/11259/stat : 11259 (java) S 11243 11243 9997 0 -1 1077944384 10206 0 0 0 173 2 0 0 20 0 28 0 108418182 27175628800 36828 33554432000 4194304 4196468 140728594662720 139835404684016 139836215245442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 15 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11260] ppid=11243 vsize=26538700 memory=10648 CPUtime=1.49 cores=0-7 /proc/11245/task/11260/stat : 11260 (java) S 11243 11243 9997 0 -1 1077944384 6348 0 0 0 148 1 0 0 20 0 28 0 108418182 27175628800 36828 33554432000 4194304 4196468 140728594662720 139835403631472 139836215245442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11261] ppid=11243 vsize=26538700 memory=15876 CPUtime=1.58 cores=0-7 /proc/11245/task/11261/stat : 11261 (java) S 11243 11243 9997 0 -1 1077944384 5731 0 0 0 156 2 0 0 20 0 28 0 108418182 27175628800 36828 33554432000 4194304 4196468 140728594662720 139835402578416 139836215245442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11262] ppid=11243 vsize=26538700 memory=17144 CPUtime=0.66 cores=0-7 /proc/11245/task/11262/stat : 11262 (java) S 11243 11243 9997 0 -1 1077944384 5416 0 0 0 65 1 0 0 20 0 28 0 108418182 27175628800 36828 33554432000 4194304 4196468 140728594662720 139835401525872 139836215245442 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11263] ppid=11243 vsize=26538700 memory=1384 CPUtime=0 cores=0-7 /proc/11245/task/11263/stat : 11263 (java) S 11243 11243 9997 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 108418182 27175628800 36828 33554432000 4194304 4196468 140728594662720 139835400473056 139836215244501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11264] ppid=11243 vsize=26538700 memory=149364 CPUtime=0 cores=0-7 /proc/11245/task/11264/stat : 11264 (java) S 11243 11243 9997 0 -1 1077944384 249 0 0 0 0 0 0 0 20 0 28 0 108418182 27175628800 36828 33554432000 4194304 4196468 140728594662720 139835399420592 139836215245442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 13 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11265] ppid=11243 vsize=26538700 memory=0 CPUtime=33.09 cores=0-7 /proc/11245/task/11265/stat : 11265 (java) R 11243 11243 9997 0 -1 4202560 777 0 0 0 3309 0 0 0 20 0 28 0 108418240 27175628800 36828 33554432000 4194304 4196468 140728594662720 139835391907656 139835837401684 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11266] ppid=11243 vsize=26538700 memory=0 CPUtime=32.91 cores=0-7 /proc/11245/task/11266/stat : 11266 (java) R 11243 11243 9997 0 -1 4202560 747 0 0 0 3291 0 0 0 20 0 28 0 108418241 27175628800 36828 33554432000 4194304 4196468 140728594662720 139835390856616 139835835781731 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11267] ppid=11243 vsize=26538700 memory=140069621628392 CPUtime=32.32 cores=0-7 /proc/11245/task/11267/stat : 11267 (java) R 11243 11243 9997 0 -1 4202560 1883 0 0 0 3231 1 0 0 20 0 28 0 108418241 27175628800 36828 33554432000 4194304 4196468 140728594662720 139835389803256 139835836443759 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11268] ppid=11243 vsize=26538700 memory=15876 CPUtime=32.69 cores=0-7 /proc/11245/task/11268/stat : 11268 (java) R 11243 11243 9997 0 -1 4202560 898 0 0 0 3268 1 0 0 20 0 28 0 108418241 27175628800 36828 33554432000 4194304 4196468 140728594662720 139835388748184 139835836069983 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11269] ppid=11243 vsize=26538700 memory=17144 CPUtime=32.44 cores=0-7 /proc/11245/task/11269/stat : 11269 (java) R 11243 11243 9997 0 -1 4202560 1221 0 0 0 3244 0 0 0 20 0 28 0 108418241 27175628800 36828 33554432000 4194304 4196468 140728594662720 139835387698616 139835836261721 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11270] ppid=11243 vsize=26538700 memory=16432 CPUtime=32.63 cores=0-7 /proc/11245/task/11270/stat : 11270 (java) R 11243 11243 9997 0 -1 4202560 704 0 0 0 3262 1 0 0 20 0 28 0 108418241 27175628800 36828 33554432000 4194304 4196468 140728594662720 139835386646440 139835836637507 0 4 0 16800975 0 0 0 -1 4 0 0 9 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11271] ppid=11243 vsize=26538700 memory=4040 CPUtime=32.75 cores=0-7 /proc/11245/task/11271/stat : 11271 (java) R 11243 11243 9997 0 -1 4202560 785 0 0 0 3274 1 0 0 20 0 28 0 108418241 27175628800 36828 33554432000 4194304 4196468 140728594662720 139835385592736 139835835781746 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 [pid=11245/tid=11272] ppid=11243 vsize=26538700 memory=0 CPUtime=32.77 cores=0-7 /proc/11245/task/11272/stat : 11272 (java) R 11243 11243 9997 0 -1 4202560 1332 0 0 0 3277 0 0 0 20 0 28 0 108418241 27175628800 36828 33554432000 4194304 4196468 140728594662720 139835384536896 139835837401376 0 4 0 16800975 0 0 0 -1 3 0 0 10 0 0 6293624 6294260 18821120 140728594670738 140728594670915 140728594670915 140728594673615 0 Current children cumulated CPU time: 268.39 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 148696 KiB [startup+34.8011 s] /proc/loadavg: 8.05 8.58 8.69 9/207 11272 /proc/meminfo: memFree=26307036/32770624 swapFree=67108860/67108860 [pid=11243] ppid=11240 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/11243/stat : 11243 (xcsp3-exec) S 11240 11243 9997 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 108418176 9740288 346 33554432000 4194304 5098028 140735860163264 140735860161368 139719742464636 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15388672 140735860167780 140735860167991 140735860167991 140735860170731 0 /proc/11243/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 9512 KiB Current children cumulated memory: 1384 KiB Child status: 0 Real time (s): 34.8069 CPU time (s): 271.547 CPU user time (s): 271.179 CPU system time (s): 0.367945 CPU usage (%): 780.151 Max. virtual memory (cumulated for all children) (KiB): 26548212 Max. memory (cumulated for all children) (KiB): 230480 getrusage(RUSAGE_CHILDREN,...) data: user time used= 271.179 system time used= 0.367945 maximum resident set size= 232164 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 54091 page faults= 0 swaps= 0 block input operations= 0 block output operations= 232 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7793 involuntary context switches= 3517 # summary of solver processes directly reported to runsolver: # pid: 11243 # total CPU time (s): 271.547 # total CPU user time (s): 271.179 # total CPU system time (s): 0.367945 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.357862 second user time and 0.40233 second system time The end
Begin job on node105 at 2017-08-15 01:16:47 IDJOB=4271085 IDBENCH=133180 IDSOLVER=2662 FILE ID=node105/4271085-1502753466 RUNJOBID= node105-1502745023-10024 PBS_JOBID= 20629066 Free space on /tmp= 60664 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/Ortholatin/Ortholatin-m1-s1/Ortholatin-009.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4271085-1502753466/watcher-4271085-1502753466 -o /tmp/evaluation-result-4271085-1502753466/solver-4271085-1502753466 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1502745023-10024 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 2043705823 HOME/instance-4271085-1502753466.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= f1f2c4ea81b28916fca828d1ce53413f RANDOM SEED=2043705823 node105.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.17 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.17 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.17 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.17 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 26445924 kB MemAvailable: 31974048 kB Buffers: 219408 kB Cached: 5582204 kB SwapCached: 0 kB Active: 744088 kB Inactive: 5110836 kB Active(anon): 56128 kB Inactive(anon): 25060 kB Active(file): 687960 kB Inactive(file): 5085776 kB Unevictable: 6248 kB Mlocked: 6248 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7764 kB Writeback: 0 kB AnonPages: 59552 kB Mapped: 45156 kB Shmem: 25228 kB Slab: 166140 kB SReclaimable: 140448 kB SUnreclaim: 25692 kB KernelStack: 3296 kB PageTables: 4716 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 322912 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 60656 MiB End job on node105 at 2017-08-15 01:17:22