Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 4.0.5 par (2017-08-18) | SAT | 38.610901 | 5.7886801 |
Name | CostasArray/CostasArray-m1-s1/ CostasArray-16.xml |
MD5SUM | 77b4627333bb7848badb46745d4d3b00 |
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 | 1.91223 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 133 |
Number of constraints | 132 |
Number of domains | 2 |
Minimum domain size | 16 |
Maximum domain size | 30 |
Distribution of domain sizes | [{"size":16,"count":16},{"size":30,"count":117}] |
Minimum variable degree | 2 |
Maximum variable degree | 16 |
Distribution of variable degrees | [{"degree":2,"count":117},{"degree":15,"count":2},{"degree":16,"count":14}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 16 |
Distribution of constraint arities | [{"arity":3,"count":118},{"arity":4,"count":2},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 118 |
Distribution of constraint types | [{"type":"intension","count":118},{"type":"allDifferent","count":14}] |
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-4280701-1503119289.xml" -tl '20160s' -p 8 -x 0 0.10/0.14 c [HOME/instance-4280701-1503119289.xml, -tl, 20160s, -p, 8, -x, 0] 0.10/0.20 c 8 solvers in parallel 0.33/0.27 c parse instance... 2.64/1.22 c solve instance... 38.11/5.77 s SATISFIABLE 38.11/5.77 v <instantiation> 38.11/5.77 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] y[20] y[21] y[22] y[23] y[24] y[25] y[26] y[27] y[28] y[29] y[30] y[31] y[32] y[33] y[34] y[35] y[36] y[37] y[38] y[39] y[40] y[41] y[42] y[43] y[44] y[45] y[46] y[47] y[48] y[49] y[50] y[51] y[52] y[53] y[54] y[55] y[56] y[57] y[58] y[59] y[60] y[61] y[62] y[63] y[64] y[65] y[66] y[67] y[68] y[69] y[70] y[71] y[72] y[73] y[74] y[75] y[76] y[77] y[78] y[79] y[80] y[81] y[82] y[83] y[84] y[85] y[86] y[87] y[88] y[89] y[90] y[91] y[92] y[93] y[94] y[95] y[96] y[97] y[98] y[99] y[100] y[101] y[102] y[103] y[104] y[105] y[106] y[107] y[108] y[109] y[110] y[111] y[112] y[113] y[114] y[115] y[116] </list> 38.11/5.77 v <values>7 6 4 13 9 14 11 3 15 2 10 12 16 5 8 1 1 2 -9 4 -5 3 8 -12 13 -8 -2 -4 11 -3 7 3 -7 -5 -1 -2 11 -4 1 5 -10 -6 7 8 4 -6 -3 -10 2 6 -1 9 -7 3 -14 5 4 15 -2 -8 -7 10 -6 12 1 -9 -1 -3 2 11 -7 -5 1 -2 7 4 -1 -13 10 -6 9 -4 3 -11 11 -1 2 -5 -2 7 1 4 -9 2 3 -3 -2 6 -5 14 -8 4 -6 1 -7 9 3 2 5 -4 -8 -3 4 6 10 -3 -6 -12 8 1 13 -5 -10 -1 5 8 -9 1 -4 12 2 -2 3 </values> 38.11/5.77 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 (12715 MiB free) memory of node 1: 16384 MiB (13856 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280701-1503119289/watcher-4280701-1503119289 -o /tmp/evaluation-result-4280701-1503119289/solver-4280701-1503119289 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node115-1503110856-22369 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 518968695 HOME/instance-4280701-1503119289.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=1136, runsolver pid=1133 [startup+0.100142 s]* /proc/loadavg: 8.19 8.23 8.24 2/200 1157 /proc/meminfo: memFree=27194096/32770624 swapFree=67108860/67108860 [pid=1136] ppid=1133 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/1136/stat : 1136 (xcsp3-exec) S 1133 1136 22342 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 145016444 9740288 346 33554432000 4194304 5098028 140735329035312 140735329033416 140151101719164 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14237696 140735329039461 140735329039671 140735329039671 140735329042411 0 /proc/1136/statm: 2378 346 289 221 0 87 0 [pid=1138] ppid=1136 vsize=25999808 memory=26200 CPUtime=0.1 cores=0-7 /proc/1138/stat : 1138 (java) S 1136 1136 22342 0 -1 1077944320 5464 0 0 0 9 1 0 0 20 0 20 0 145016445 26623803392 6550 33554432000 4194304 4196468 140726884093440 140726884075984 140529318608631 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 /proc/1138/statm: 6499952 6550 2849 1 0 6488269 0 [pid=1138/tid=1139] ppid=1136 vsize=25999808 memory=6935054825532540783 CPUtime=0.09 cores=0-7 /proc/1138/task/1139/stat : 1139 (java) R 1136 1136 22342 0 -1 4202560 3492 0 0 0 8 1 0 0 20 0 20 0 145016445 26623803392 6550 33554432000 4194304 4196468 140726884093440 140529322832432 140529318620566 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1140] ppid=1136 vsize=25999808 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/1138/task/1140/stat : 1140 (java) S 1136 1136 22342 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145016446 26623803392 6550 33554432000 4194304 4196468 140726884093440 140529271229328 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1141] ppid=1136 vsize=25999808 memory=140492886193792 CPUtime=0 cores=0-7 /proc/1138/task/1141/stat : 1141 (java) S 1136 1136 22342 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145016446 26623803392 6550 33554432000 4194304 4196468 140726884093440 140529270176528 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1142] ppid=1136 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/1138/task/1142/stat : 1142 (java) S 1136 1136 22342 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145016446 26623803392 6550 33554432000 4194304 4196468 140726884093440 140529269124240 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1143] ppid=1136 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/1138/task/1143/stat : 1143 (java) S 1136 1136 22342 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145016446 26623803392 6550 33554432000 4194304 4196468 140726884093440 140529268071440 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1144] ppid=1136 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/1138/task/1144/stat : 1144 (java) S 1136 1136 22342 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145016446 26623803392 6550 33554432000 4194304 4196468 140726884093440 140529267018128 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1145] ppid=1136 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/1138/task/1145/stat : 1145 (java) S 1136 1136 22342 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145016446 26623803392 6550 33554432000 4194304 4196468 140726884093440 140529265965328 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1146] ppid=1136 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/1138/task/1146/stat : 1146 (java) S 1136 1136 22342 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145016446 26623803392 6550 33554432000 4194304 4196468 140726884093440 140529264913040 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1147] ppid=1136 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/1138/task/1147/stat : 1147 (java) S 1136 1136 22342 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145016446 26623803392 6550 33554432000 4194304 4196468 140726884093440 140529263860240 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1148] ppid=1136 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/1138/task/1148/stat : 1148 (java) S 1136 1136 22342 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 145016447 26623803392 6550 33554432000 4194304 4196468 140726884093440 140528714455664 140529318619778 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1149] ppid=1136 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/1138/task/1149/stat : 1149 (java) S 1136 1136 22342 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 145016448 26623803392 6550 33554432000 4194304 4196468 140726884093440 140528377128224 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1150] ppid=1136 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/1138/task/1150/stat : 1150 (java) S 1136 1136 22342 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 145016448 26623803392 6550 33554432000 4194304 4196468 140726884093440 140528376075888 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1151] ppid=1136 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/1138/task/1151/stat : 1151 (java) S 1136 1136 22342 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145016450 26623803392 6550 33554432000 4194304 4196468 140726884093440 140528375024208 140529318627227 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1152] ppid=1136 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/1138/task/1152/stat : 1152 (java) S 1136 1136 22342 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 20 0 145016450 26623803392 6550 33554432000 4194304 4196468 140726884093440 140528373971056 140529318619778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1153] ppid=1136 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/1138/task/1153/stat : 1153 (java) S 1136 1136 22342 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 145016450 26623803392 6550 33554432000 4194304 4196468 140726884093440 140528372918256 140529318619778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1154] ppid=1136 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/1138/task/1154/stat : 1154 (java) S 1136 1136 22342 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145016450 26623803392 6550 33554432000 4194304 4196468 140726884093440 140528371865968 140529318619778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1155] ppid=1136 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/1138/task/1155/stat : 1155 (java) S 1136 1136 22342 0 -1 1077944384 240 0 0 0 1 0 0 0 20 0 20 0 145016450 26623803392 6550 33554432000 4194304 4196468 140726884093440 140528370813168 140529318619778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1156] ppid=1136 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/1138/task/1156/stat : 1156 (java) S 1136 1136 22342 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145016451 26623803392 6550 33554432000 4194304 4196468 140726884093440 140528369761120 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1157] ppid=1136 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/1138/task/1157/stat : 1157 (java) S 1136 1136 22342 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145016451 26623803392 6550 33554432000 4194304 4196468 140726884093440 140528368708400 140529318619778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 27584 KiB [startup+0.210453 s]* /proc/loadavg: 8.19 8.23 8.24 3/200 1157 /proc/meminfo: memFree=27182204/32770624 swapFree=67108860/67108860 [pid=1136] ppid=1133 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/1136/stat : 1136 (xcsp3-exec) S 1133 1136 22342 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 145016444 9740288 346 33554432000 4194304 5098028 140735329035312 140735329033416 140151101719164 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14237696 140735329039461 140735329039671 140735329039671 140735329042411 0 /proc/1136/statm: 2378 346 289 221 0 87 0 [pid=1138] ppid=1136 vsize=26004064 memory=39148 CPUtime=0.33 cores=0-7 /proc/1138/stat : 1138 (java) S 1136 1136 22342 0 -1 1077944320 8332 0 0 0 30 3 0 0 20 0 20 0 145016445 26628161536 9787 33554432000 4194304 4196468 140726884093440 140726884075984 140529318608631 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 /proc/1138/statm: 6501016 9787 3070 1 0 6488269 0 [pid=1138/tid=1139] ppid=1136 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/1138/task/1139/stat : 1139 (java) R 1136 1136 22342 0 -1 4202560 5406 0 0 0 18 1 0 0 20 0 20 0 145016445 26628161536 9787 33554432000 4194304 4196468 140726884093440 140529322822640 140529318630557 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1140] ppid=1136 vsize=26004064 memory=342 CPUtime=0 cores=0-7 /proc/1138/task/1140/stat : 1140 (java) S 1136 1136 22342 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145016446 26628161536 9787 33554432000 4194304 4196468 140726884093440 140529271229328 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1141] ppid=1136 vsize=26004064 memory=288370869037905536 CPUtime=0 cores=0-7 /proc/1138/task/1141/stat : 1141 (java) S 1136 1136 22342 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145016446 26628161536 9787 33554432000 4194304 4196468 140726884093440 140529270176528 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1142] ppid=1136 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/1138/task/1142/stat : 1142 (java) S 1136 1136 22342 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145016446 26628161536 9787 33554432000 4194304 4196468 140726884093440 140529269124240 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1143] ppid=1136 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/1138/task/1143/stat : 1143 (java) S 1136 1136 22342 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145016446 26628161536 9787 33554432000 4194304 4196468 140726884093440 140529268071440 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1144] ppid=1136 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/1138/task/1144/stat : 1144 (java) S 1136 1136 22342 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145016446 26628161536 9787 33554432000 4194304 4196468 140726884093440 140529267018128 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1145] ppid=1136 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/1138/task/1145/stat : 1145 (java) S 1136 1136 22342 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145016446 26628161536 9787 33554432000 4194304 4196468 140726884093440 140529265965328 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1146] ppid=1136 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/1138/task/1146/stat : 1146 (java) S 1136 1136 22342 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145016446 26628161536 9787 33554432000 4194304 4196468 140726884093440 140529264913040 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1147] ppid=1136 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/1138/task/1147/stat : 1147 (java) S 1136 1136 22342 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145016446 26628161536 9787 33554432000 4194304 4196468 140726884093440 140529263860240 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1148] ppid=1136 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/1138/task/1148/stat : 1148 (java) S 1136 1136 22342 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 145016447 26628161536 9787 33554432000 4194304 4196468 140726884093440 140528714455664 140529318619778 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1149] ppid=1136 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/1138/task/1149/stat : 1149 (java) S 1136 1136 22342 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 145016448 26628161536 9787 33554432000 4194304 4196468 140726884093440 140528377128224 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1150] ppid=1136 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/1138/task/1150/stat : 1150 (java) S 1136 1136 22342 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 145016448 26628161536 9787 33554432000 4194304 4196468 140726884093440 140528376075888 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1151] ppid=1136 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/1138/task/1151/stat : 1151 (java) S 1136 1136 22342 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145016450 26628161536 9787 33554432000 4194304 4196468 140726884093440 140528375024208 140529318627227 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1152] ppid=1136 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/1138/task/1152/stat : 1152 (java) S 1136 1136 22342 0 -1 1077944384 508 0 0 0 1 0 0 0 20 0 20 0 145016450 26628161536 9787 33554432000 4194304 4196468 140726884093440 140528373971056 140529318619778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1153] ppid=1136 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7 /proc/1138/task/1153/stat : 1153 (java) S 1136 1136 22342 0 -1 1077944384 331 0 0 0 2 0 0 0 20 0 20 0 145016450 26628161536 9787 33554432000 4194304 4196468 140726884093440 140528372918256 140529318619778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1154] ppid=1136 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/1138/task/1154/stat : 1154 (java) S 1136 1136 22342 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 20 0 145016450 26628161536 9787 33554432000 4194304 4196468 140726884093440 140528371865968 140529318619778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1155] ppid=1136 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7 /proc/1138/task/1155/stat : 1155 (java) R 1136 1136 22342 0 -1 4202560 742 0 0 0 7 0 0 0 20 0 20 0 145016450 26628161536 9787 33554432000 4194304 4196468 140726884093440 140528370813168 140529297625392 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1156] ppid=1136 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/1138/task/1156/stat : 1156 (java) S 1136 1136 22342 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145016451 26628161536 9787 33554432000 4194304 4196468 140726884093440 140528369761120 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1157] ppid=1136 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/1138/task/1157/stat : 1157 (java) S 1136 1136 22342 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145016451 26628161536 9787 33554432000 4194304 4196468 140726884093440 140528368708400 140529318619778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 40532 KiB [startup+0.310282 s]* /proc/loadavg: 8.19 8.23 8.24 3/200 1157 /proc/meminfo: memFree=27176000/32770624 swapFree=67108860/67108860 [pid=1136] ppid=1133 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/1136/stat : 1136 (xcsp3-exec) S 1133 1136 22342 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 145016444 9740288 346 33554432000 4194304 5098028 140735329035312 140735329033416 140151101719164 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14237696 140735329039461 140735329039671 140735329039671 140735329042411 0 /proc/1136/statm: 2378 346 289 221 0 87 0 [pid=1138] ppid=1136 vsize=26004064 memory=46368 CPUtime=0.5 cores=0-7 /proc/1138/stat : 1138 (java) S 1136 1136 22342 0 -1 1077944320 9258 0 0 0 46 4 0 0 20 0 20 0 145016445 26628161536 11592 33554432000 4194304 4196468 140726884093440 140726884075984 140529318608631 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 /proc/1138/statm: 6501016 11592 3110 1 0 6488269 0 [pid=1138/tid=1139] ppid=1136 vsize=26004064 memory=6935054825532540783 CPUtime=0.29 cores=0-7 /proc/1138/task/1139/stat : 1139 (java) R 1136 1136 22342 0 -1 4202560 6141 0 0 0 27 2 0 0 20 0 20 0 145016445 26628161536 11656 33554432000 4194304 4196468 140726884093440 140529322841056 140529302689118 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1140] ppid=1136 vsize=26004064 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/1138/task/1140/stat : 1140 (java) S 1136 1136 22342 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145016446 26628161536 11656 33554432000 4194304 4196468 140726884093440 140529271229328 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1141] ppid=1136 vsize=26004064 memory=8656 CPUtime=0 cores=0-7 /proc/1138/task/1141/stat : 1141 (java) S 1136 1136 22342 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145016446 26628161536 11656 33554432000 4194304 4196468 140726884093440 140529270176528 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1142] ppid=1136 vsize=26004064 memory=5784 CPUtime=0 cores=0-7 /proc/1138/task/1142/stat : 1142 (java) S 1136 1136 22342 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145016446 26628161536 11656 33554432000 4194304 4196468 140726884093440 140529269124240 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1143] ppid=1136 vsize=26004064 memory=4616 CPUtime=0 cores=0-7 /proc/1138/task/1143/stat : 1143 (java) S 1136 1136 22342 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145016446 26628161536 11656 33554432000 4194304 4196468 140726884093440 140529268071440 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1144] ppid=1136 vsize=26004064 memory=1228 CPUtime=0 cores=0-7 /proc/1138/task/1144/stat : 1144 (java) S 1136 1136 22342 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145016446 26628161536 11656 33554432000 4194304 4196468 140726884093440 140529267018128 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1145] ppid=1136 vsize=26004064 memory=11108 CPUtime=0 cores=0-7 /proc/1138/task/1145/stat : 1145 (java) S 1136 1136 22342 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145016446 26628161536 11656 33554432000 4194304 4196468 140726884093440 140529265965328 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1146] ppid=1136 vsize=26004064 memory=796 CPUtime=0 cores=0-7 /proc/1138/task/1146/stat : 1146 (java) S 1136 1136 22342 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145016446 26628161536 11656 33554432000 4194304 4196468 140726884093440 140529264913040 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1147] ppid=1136 vsize=26004064 memory=1424 CPUtime=0 cores=0-7 /proc/1138/task/1147/stat : 1147 (java) S 1136 1136 22342 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145016446 26628161536 11656 33554432000 4194304 4196468 140726884093440 140529263860240 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1148] ppid=1136 vsize=26004064 memory=15876 CPUtime=0 cores=0-7 /proc/1138/task/1148/stat : 1148 (java) S 1136 1136 22342 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 145016447 26628161536 11656 33554432000 4194304 4196468 140726884093440 140528714455664 140529318619778 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1149] ppid=1136 vsize=26004064 memory=4052 CPUtime=0 cores=0-7 /proc/1138/task/1149/stat : 1149 (java) S 1136 1136 22342 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 145016448 26628161536 11656 33554432000 4194304 4196468 140726884093440 140528377128224 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1150] ppid=1136 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/1138/task/1150/stat : 1150 (java) S 1136 1136 22342 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 145016448 26628161536 11656 33554432000 4194304 4196468 140726884093440 140528376075888 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1151] ppid=1136 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/1138/task/1151/stat : 1151 (java) S 1136 1136 22342 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145016450 26628161536 11656 33554432000 4194304 4196468 140726884093440 140528375024208 140529318627227 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1152] ppid=1136 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/1138/task/1152/stat : 1152 (java) R 1136 1136 22342 0 -1 4202560 543 0 0 0 1 0 0 0 20 0 20 0 145016450 26628161536 11656 33554432000 4194304 4196468 140726884093440 140528373961440 140529300018639 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1153] ppid=1136 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7 /proc/1138/task/1153/stat : 1153 (java) S 1136 1136 22342 0 -1 1077944384 341 0 0 0 2 0 0 0 20 0 20 0 145016450 26628161536 11656 33554432000 4194304 4196468 140726884093440 140528372918256 140529318619778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1154] ppid=1136 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7 /proc/1138/task/1154/stat : 1154 (java) S 1136 1136 22342 0 -1 1077944384 108 0 0 0 2 0 0 0 20 0 20 0 145016450 26628161536 11656 33554432000 4194304 4196468 140726884093440 140528371865968 140529318619778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1155] ppid=1136 vsize=26004064 memory=140492742428143 CPUtime=0.12 cores=0-7 /proc/1138/task/1155/stat : 1155 (java) S 1136 1136 22342 0 -1 1077944384 872 0 0 0 12 0 0 0 20 0 20 0 145016450 26628161536 11656 33554432000 4194304 4196468 140726884093440 140528370813168 140529318619778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1156] ppid=1136 vsize=26004064 memory=140492742456180 CPUtime=0 cores=0-7 /proc/1138/task/1156/stat : 1156 (java) S 1136 1136 22342 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145016451 26628161536 11656 33554432000 4194304 4196468 140726884093440 140528369761120 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1157] ppid=1136 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/1138/task/1157/stat : 1157 (java) S 1136 1136 22342 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145016451 26628161536 11656 33554432000 4194304 4196468 140726884093440 140528368708400 140529318619778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 Current children cumulated CPU time: 0.5 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 47752 KiB [startup+0.700977 s] /proc/loadavg: 8.19 8.23 8.24 5/200 1157 /proc/meminfo: memFree=27156912/32770624 swapFree=67108860/67108860 [pid=1136] ppid=1133 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/1136/stat : 1136 (xcsp3-exec) S 1133 1136 22342 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 145016444 9740288 346 33554432000 4194304 5098028 140735329035312 140735329033416 140151101719164 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14237696 140735329039461 140735329039671 140735329039671 140735329042411 0 /proc/1136/statm: 2378 346 289 221 0 87 0 [pid=1138] ppid=1136 vsize=26006188 memory=131568 CPUtime=1.42 cores=0-7 /proc/1138/stat : 1138 (java) S 1136 1136 22342 0 -1 1077944320 11767 0 0 0 136 6 0 0 20 0 20 0 145016445 26630336512 32892 33554432000 4194304 4196468 140726884093440 140726884075984 140529318608631 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 /proc/1138/statm: 6501547 32892 3203 1 0 6488781 0 [pid=1138/tid=1139] ppid=1136 vsize=26006188 memory=280985484910912 CPUtime=0.67 cores=0-7 /proc/1138/task/1139/stat : 1139 (java) R 1136 1136 22342 0 -1 4202560 6839 0 0 0 63 4 0 0 20 0 20 0 145016445 26630336512 32892 33554432000 4194304 4196468 140726884093440 140529322846784 140528934593211 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1140] ppid=1136 vsize=26006188 memory=140492742632304 CPUtime=0 cores=0-7 /proc/1138/task/1140/stat : 1140 (java) S 1136 1136 22342 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145016446 26630336512 32892 33554432000 4194304 4196468 140726884093440 140529271229328 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1141] ppid=1136 vsize=26006188 memory=0 CPUtime=0 cores=0-7 /proc/1138/task/1141/stat : 1141 (java) S 1136 1136 22342 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145016446 26630336512 32892 33554432000 4194304 4196468 140726884093440 140529270176528 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1142] ppid=1136 vsize=26006188 memory=0 CPUtime=0 cores=0-7 /proc/1138/task/1142/stat : 1142 (java) S 1136 1136 22342 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145016446 26630336512 32892 33554432000 4194304 4196468 140726884093440 140529269124240 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 ################ # More data... # ################ [pid=1138/tid=1155] ppid=1136 vsize=26538700 memory=0 CPUtime=0.71 cores=0-7 /proc/1138/task/1155/stat : 1155 (java) S 1136 1136 22342 0 -1 1077944384 2839 0 0 0 70 1 0 0 20 0 28 0 145016450 27175628800 94407 33554432000 4194304 4196468 140726884093440 140528370813168 140529318619778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1156] ppid=1136 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/1138/task/1156/stat : 1156 (java) S 1136 1136 22342 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 145016451 27175628800 94407 33554432000 4194304 4196468 140726884093440 140528369761120 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1157] ppid=1136 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/1138/task/1157/stat : 1157 (java) S 1136 1136 22342 0 -1 1077944384 505 0 0 0 0 0 0 0 20 0 28 0 145016451 27175628800 94407 33554432000 4194304 4196468 140726884093440 140528368708400 140529318619778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1158] ppid=1136 vsize=26538700 memory=0 CPUtime=3.56 cores=0-7 /proc/1138/task/1158/stat : 1158 (java) R 1136 1136 22342 0 -1 4202560 151 0 0 0 356 0 0 0 20 0 28 0 145016568 27175628800 94407 33554432000 4194304 4196468 140726884093440 140528361192752 140528938235388 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1159] ppid=1136 vsize=26538700 memory=-4061837134419248030 CPUtime=3.45 cores=0-7 /proc/1138/task/1159/stat : 1159 (java) R 1136 1136 22342 0 -1 4202560 96 0 0 0 345 0 0 0 20 0 28 0 145016568 27175628800 94407 33554432000 4194304 4196468 140726884093440 140528360141896 140528937527709 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1160] ppid=1136 vsize=26538700 memory=7679373425970869011 CPUtime=3.35 cores=0-7 /proc/1138/task/1160/stat : 1160 (java) R 1136 1136 22342 0 -1 4202560 421 0 0 0 333 2 0 0 20 0 28 0 145016568 27175628800 94407 33554432000 4194304 4196468 140726884093440 140528359090888 140528937527605 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1161] ppid=1136 vsize=26538700 memory=-3975649505123405620 CPUtime=3.29 cores=0-7 /proc/1138/task/1161/stat : 1161 (java) R 1136 1136 22342 0 -1 4202560 213 0 0 0 329 0 0 0 20 0 28 0 145016568 27175628800 94407 33554432000 4194304 4196468 140726884093440 140528358034536 140528937527591 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1162] ppid=1136 vsize=26538700 memory=-7966001967441022560 CPUtime=3.51 cores=0-7 /proc/1138/task/1162/stat : 1162 (java) R 1136 1136 22342 0 -1 4202560 118 0 0 0 351 0 0 0 20 0 28 0 145016568 27175628800 94407 33554432000 4194304 4196468 140726884093440 140528356982984 140528936651400 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1163] ppid=1136 vsize=26538700 memory=8028674168966910323 CPUtime=3.57 cores=0-7 /proc/1138/task/1163/stat : 1163 (java) R 1136 1136 22342 0 -1 4202560 288 0 0 0 356 1 0 0 20 0 28 0 145016568 27175628800 94407 33554432000 4194304 4196468 140726884093440 140528355929760 140528937197858 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1164] ppid=1136 vsize=26538700 memory=-7595718148000617580 CPUtime=3.4 cores=0-7 /proc/1138/task/1164/stat : 1164 (java) R 1136 1136 22342 0 -1 4202560 106 0 0 0 340 0 0 0 20 0 28 0 145016568 27175628800 94407 33554432000 4194304 4196468 140726884093440 140528354877728 140528936652355 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1165] ppid=1136 vsize=26538700 memory=-3195349257566499689 CPUtime=3.44 cores=0-7 /proc/1138/task/1165/stat : 1165 (java) R 1136 1136 22342 0 -1 4202560 81 0 0 0 344 0 0 0 20 0 28 0 145016568 27175628800 94407 33554432000 4194304 4196468 140726884093440 140528353824888 140528937814448 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 Current children cumulated CPU time: 34.06 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 379012 KiB [startup+5.60121 s] /proc/loadavg: 7.78 8.14 8.21 9/208 1165 /proc/meminfo: memFree=26844232/32770624 swapFree=67108860/67108860 [pid=1136] ppid=1133 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/1136/stat : 1136 (xcsp3-exec) S 1133 1136 22342 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 145016444 9740288 346 33554432000 4194304 5098028 140735329035312 140735329033416 140151101719164 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14237696 140735329039461 140735329039671 140735329039671 140735329042411 0 /proc/1136/statm: 2378 346 289 221 0 87 0 [pid=1138] ppid=1136 vsize=26538700 memory=377652 CPUtime=37.26 cores=0-7 /proc/1138/stat : 1138 (java) S 1136 1136 22342 0 -1 1077944320 24230 0 0 0 3697 29 0 0 20 0 28 0 145016445 27175628800 94413 33554432000 4194304 4196468 140726884093440 140726884075984 140529318608631 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 /proc/1138/statm: 6634675 94413 3273 1 0 6621909 0 [pid=1138/tid=1139] ppid=1136 vsize=26538700 memory=145371758070012 CPUtime=1.17 cores=0-7 /proc/1138/task/1139/stat : 1139 (java) S 1136 1136 22342 0 -1 1077944384 6963 0 0 0 113 4 0 0 20 0 28 0 145016445 27175628800 94413 33554432000 4194304 4196468 140726884093440 140529322849408 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1140] ppid=1136 vsize=26538700 memory=8112282956445269571 CPUtime=0.03 cores=0-7 /proc/1138/task/1140/stat : 1140 (java) S 1136 1136 22342 0 -1 1077944384 62 0 0 0 2 1 0 0 20 0 28 0 145016446 27175628800 94413 33554432000 4194304 4196468 140726884093440 140529271229328 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1141] ppid=1136 vsize=26538700 memory=7234285590481693801 CPUtime=0.03 cores=0-7 /proc/1138/task/1141/stat : 1141 (java) S 1136 1136 22342 0 -1 1077944384 53 0 0 0 2 1 0 0 20 0 28 0 145016446 27175628800 94413 33554432000 4194304 4196468 140726884093440 140529270176528 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1142] ppid=1136 vsize=26538700 memory=7013346442758874224 CPUtime=0.03 cores=0-7 /proc/1138/task/1142/stat : 1142 (java) S 1136 1136 22342 0 -1 1077944384 68 0 0 0 2 1 0 0 20 0 28 0 145016446 27175628800 94413 33554432000 4194304 4196468 140726884093440 140529269124240 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1143] ppid=1136 vsize=26538700 memory=5792262853193912400 CPUtime=0.04 cores=0-7 /proc/1138/task/1143/stat : 1143 (java) S 1136 1136 22342 0 -1 1077944384 956 0 0 0 2 2 0 0 20 0 28 0 145016446 27175628800 94413 33554432000 4194304 4196468 140726884093440 140529268071440 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1144] ppid=1136 vsize=26538700 memory=7019467087956685105 CPUtime=0.03 cores=0-7 /proc/1138/task/1144/stat : 1144 (java) S 1136 1136 22342 0 -1 1077944384 84 0 0 0 2 1 0 0 20 0 28 0 145016446 27175628800 94413 33554432000 4194304 4196468 140726884093440 140529267018128 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1145] ppid=1136 vsize=26538700 memory=0 CPUtime=0.03 cores=0-7 /proc/1138/task/1145/stat : 1145 (java) S 1136 1136 22342 0 -1 1077944384 64 0 0 0 1 2 0 0 20 0 28 0 145016446 27175628800 94413 33554432000 4194304 4196468 140726884093440 140529265965328 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1146] ppid=1136 vsize=26538700 memory=12356 CPUtime=0.03 cores=0-7 /proc/1138/task/1146/stat : 1146 (java) S 1136 1136 22342 0 -1 1077944384 83 0 0 0 2 1 0 0 20 0 28 0 145016446 27175628800 94413 33554432000 4194304 4196468 140726884093440 140529264913040 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1147] ppid=1136 vsize=26538700 memory=8656 CPUtime=0.03 cores=0-7 /proc/1138/task/1147/stat : 1147 (java) S 1136 1136 22342 0 -1 1077944384 193 0 0 0 2 1 0 0 20 0 28 0 145016446 27175628800 94413 33554432000 4194304 4196468 140726884093440 140529263860240 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1148] ppid=1136 vsize=26538700 memory=5784 CPUtime=0 cores=0-7 /proc/1138/task/1148/stat : 1148 (java) S 1136 1136 22342 0 -1 1077944384 700 0 0 0 0 0 0 0 20 0 28 0 145016447 27175628800 94413 33554432000 4194304 4196468 140726884093440 140528714455664 140529318619778 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1149] ppid=1136 vsize=26538700 memory=4616 CPUtime=0 cores=0-7 /proc/1138/task/1149/stat : 1149 (java) S 1136 1136 22342 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 28 0 145016448 27175628800 94413 33554432000 4194304 4196468 140726884093440 140528377128288 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1150] ppid=1136 vsize=26538700 memory=1228 CPUtime=0 cores=0-7 /proc/1138/task/1150/stat : 1150 (java) S 1136 1136 22342 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 145016448 27175628800 94413 33554432000 4194304 4196468 140726884093440 140528376075904 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1151] ppid=1136 vsize=26538700 memory=11108 CPUtime=0 cores=0-7 /proc/1138/task/1151/stat : 1151 (java) S 1136 1136 22342 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 145016450 27175628800 94413 33554432000 4194304 4196468 140726884093440 140528375024208 140529318627227 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1152] ppid=1136 vsize=26538700 memory=796 CPUtime=1.39 cores=0-7 /proc/1138/task/1152/stat : 1152 (java) S 1136 1136 22342 0 -1 1077944384 3610 0 0 0 138 1 0 0 20 0 28 0 145016450 27175628800 94413 33554432000 4194304 4196468 140726884093440 140528373971056 140529318619778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1153] ppid=1136 vsize=26538700 memory=1424 CPUtime=1.44 cores=0-7 /proc/1138/task/1153/stat : 1153 (java) S 1136 1136 22342 0 -1 1077944384 2442 0 0 0 144 0 0 0 20 0 28 0 145016450 27175628800 94413 33554432000 4194304 4196468 140726884093440 140528372918256 140529318619778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1154] ppid=1136 vsize=26538700 memory=15876 CPUtime=1.37 cores=0-7 /proc/1138/task/1154/stat : 1154 (java) S 1136 1136 22342 0 -1 1077944384 2745 0 0 0 136 1 0 0 20 0 28 0 145016450 27175628800 94413 33554432000 4194304 4196468 140726884093440 140528371865968 140529318619778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1155] ppid=1136 vsize=26538700 memory=4052 CPUtime=0.71 cores=0-7 /proc/1138/task/1155/stat : 1155 (java) S 1136 1136 22342 0 -1 1077944384 2878 0 0 0 70 1 0 0 20 0 28 0 145016450 27175628800 94413 33554432000 4194304 4196468 140726884093440 140528370813168 140529318619778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1156] ppid=1136 vsize=26538700 memory=23292 CPUtime=0 cores=0-7 /proc/1138/task/1156/stat : 1156 (java) S 1136 1136 22342 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 145016451 27175628800 94413 33554432000 4194304 4196468 140726884093440 140528369761120 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1157] ppid=1136 vsize=26538700 memory=18444 CPUtime=0 cores=0-7 /proc/1138/task/1157/stat : 1157 (java) S 1136 1136 22342 0 -1 1077944384 505 0 0 0 0 0 0 0 20 0 28 0 145016451 27175628800 94413 33554432000 4194304 4196468 140726884093440 140528368708400 140529318619778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1158] ppid=1136 vsize=26538700 memory=1788 CPUtime=3.96 cores=0-7 /proc/1138/task/1158/stat : 1158 (java) R 1136 1136 22342 0 -1 4202560 151 0 0 0 396 0 0 0 20 0 28 0 145016568 27175628800 94413 33554432000 4194304 4196468 140726884093440 140528361192888 140528936651939 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1159] ppid=1136 vsize=26538700 memory=640 CPUtime=3.79 cores=0-7 /proc/1138/task/1159/stat : 1159 (java) R 1136 1136 22342 0 -1 4202560 96 0 0 0 379 0 0 0 20 0 28 0 145016568 27175628800 94413 33554432000 4194304 4196468 140726884093440 140528360141896 140528937196621 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1160] ppid=1136 vsize=26538700 memory=952 CPUtime=3.75 cores=0-7 /proc/1138/task/1160/stat : 1160 (java) R 1136 1136 22342 0 -1 4202560 431 0 0 0 373 2 0 0 20 0 28 0 145016568 27175628800 94413 33554432000 4194304 4196468 140726884093440 140528359087528 140528937194603 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1161] ppid=1136 vsize=26538700 memory=1152 CPUtime=3.69 cores=0-7 /proc/1138/task/1161/stat : 1161 (java) R 1136 1136 22342 0 -1 4202560 215 0 0 0 369 0 0 0 20 0 28 0 145016568 27175628800 94413 33554432000 4194304 4196468 140726884093440 140528358034536 140528937196934 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1162] ppid=1136 vsize=26538700 memory=2672 CPUtime=3.91 cores=0-7 /proc/1138/task/1162/stat : 1162 (java) R 1136 1136 22342 0 -1 4202560 120 0 0 0 391 0 0 0 20 0 28 0 145016568 27175628800 94413 33554432000 4194304 4196468 140726884093440 140528356982984 140528937196943 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1163] ppid=1136 vsize=26538700 memory=1384 CPUtime=3.97 cores=0-7 /proc/1138/task/1163/stat : 1163 (java) R 1136 1136 22342 0 -1 4202560 289 0 0 0 396 1 0 0 20 0 28 0 145016568 27175628800 94413 33554432000 4194304 4196468 140726884093440 140528355929760 140528937623812 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1164] ppid=1136 vsize=26538700 memory=377624 CPUtime=3.8 cores=0-7 /proc/1138/task/1164/stat : 1164 (java) R 1136 1136 22342 0 -1 4202560 107 0 0 0 380 0 0 0 20 0 28 0 145016568 27175628800 94413 33554432000 4194304 4196468 140726884093440 140528354877864 140528937196414 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1165] ppid=1136 vsize=26538700 memory=1236 CPUtime=3.84 cores=0-7 /proc/1138/task/1165/stat : 1165 (java) R 1136 1136 22342 0 -1 4202560 81 0 0 0 384 0 0 0 20 0 28 0 145016568 27175628800 94413 33554432000 4194304 4196468 140726884093440 140528353824888 140528937195163 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 Current children cumulated CPU time: 37.26 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 379036 KiB [startup+5.70922 s] /proc/loadavg: 7.78 8.14 8.21 9/208 1165 /proc/meminfo: memFree=26844232/32770624 swapFree=67108860/67108860 [pid=1136] ppid=1133 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/1136/stat : 1136 (xcsp3-exec) S 1133 1136 22342 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 145016444 9740288 346 33554432000 4194304 5098028 140735329035312 140735329033416 140151101719164 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14237696 140735329039461 140735329039671 140735329039671 140735329042411 0 /proc/1136/statm: 2378 346 289 221 0 87 0 [pid=1138] ppid=1136 vsize=26538700 memory=377652 CPUtime=38.11 cores=0-7 /proc/1138/stat : 1138 (java) S 1136 1136 22342 0 -1 1077944320 24239 0 0 0 3782 29 0 0 20 0 28 0 145016445 27175628800 94413 33554432000 4194304 4196468 140726884093440 140726884075984 140529318608631 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 /proc/1138/statm: 6634675 94413 3273 1 0 6621909 0 [pid=1138/tid=1139] ppid=1136 vsize=26538700 memory=1236 CPUtime=1.17 cores=0-7 /proc/1138/task/1139/stat : 1139 (java) S 1136 1136 22342 0 -1 1077944384 6963 0 0 0 113 4 0 0 20 0 28 0 145016445 27175628800 94413 33554432000 4194304 4196468 140726884093440 140529322849408 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1140] ppid=1136 vsize=26538700 memory=4384 CPUtime=0.03 cores=0-7 /proc/1138/task/1140/stat : 1140 (java) S 1136 1136 22342 0 -1 1077944384 62 0 0 0 2 1 0 0 20 0 28 0 145016446 27175628800 94413 33554432000 4194304 4196468 140726884093440 140529271229328 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1141] ppid=1136 vsize=26538700 memory=932 CPUtime=0.03 cores=0-7 /proc/1138/task/1141/stat : 1141 (java) S 1136 1136 22342 0 -1 1077944384 53 0 0 0 2 1 0 0 20 0 28 0 145016446 27175628800 94413 33554432000 4194304 4196468 140726884093440 140529270176528 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1142] ppid=1136 vsize=26538700 memory=0 CPUtime=0.03 cores=0-7 /proc/1138/task/1142/stat : 1142 (java) S 1136 1136 22342 0 -1 1077944384 68 0 0 0 2 1 0 0 20 0 28 0 145016446 27175628800 94413 33554432000 4194304 4196468 140726884093440 140529269124240 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1143] ppid=1136 vsize=26538700 memory=4128 CPUtime=0.04 cores=0-7 /proc/1138/task/1143/stat : 1143 (java) S 1136 1136 22342 0 -1 1077944384 956 0 0 0 2 2 0 0 20 0 28 0 145016446 27175628800 94413 33554432000 4194304 4196468 140726884093440 140529268071440 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1144] ppid=1136 vsize=26538700 memory=145371758070008 CPUtime=0.03 cores=0-7 /proc/1138/task/1144/stat : 1144 (java) S 1136 1136 22342 0 -1 1077944384 84 0 0 0 2 1 0 0 20 0 28 0 145016446 27175628800 94413 33554432000 4194304 4196468 140726884093440 140529267018128 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1145] ppid=1136 vsize=26538700 memory=145371758070009 CPUtime=0.03 cores=0-7 /proc/1138/task/1145/stat : 1145 (java) S 1136 1136 22342 0 -1 1077944384 64 0 0 0 1 2 0 0 20 0 28 0 145016446 27175628800 94413 33554432000 4194304 4196468 140726884093440 140529265965328 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1146] ppid=1136 vsize=26538700 memory=4132 CPUtime=0.03 cores=0-7 /proc/1138/task/1146/stat : 1146 (java) S 1136 1136 22342 0 -1 1077944384 83 0 0 0 2 1 0 0 20 0 28 0 145016446 27175628800 94413 33554432000 4194304 4196468 140726884093440 140529264913040 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1147] ppid=1136 vsize=26538700 memory=40164 CPUtime=0.03 cores=0-7 /proc/1138/task/1147/stat : 1147 (java) S 1136 1136 22342 0 -1 1077944384 193 0 0 0 2 1 0 0 20 0 28 0 145016446 27175628800 94413 33554432000 4194304 4196468 140726884093440 140529263860240 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1148] ppid=1136 vsize=26538700 memory=1296 CPUtime=0 cores=0-7 /proc/1138/task/1148/stat : 1148 (java) S 1136 1136 22342 0 -1 1077944384 701 0 0 0 0 0 0 0 20 0 28 0 145016447 27175628800 94413 33554432000 4194304 4196468 140726884093440 140528714455664 140529318619778 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1149] ppid=1136 vsize=26538700 memory=2408 CPUtime=0 cores=0-7 /proc/1138/task/1149/stat : 1149 (java) S 1136 1136 22342 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 28 0 145016448 27175628800 94413 33554432000 4194304 4196468 140726884093440 140528377128288 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1150] ppid=1136 vsize=26538700 memory=1728 CPUtime=0 cores=0-7 /proc/1138/task/1150/stat : 1150 (java) S 1136 1136 22342 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 145016448 27175628800 94413 33554432000 4194304 4196468 140726884093440 140528376075904 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1151] ppid=1136 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/1138/task/1151/stat : 1151 (java) S 1136 1136 22342 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 145016450 27175628800 94413 33554432000 4194304 4196468 140726884093440 140528375024208 140529318627227 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1152] ppid=1136 vsize=26538700 memory=1183 CPUtime=1.39 cores=0-7 /proc/1138/task/1152/stat : 1152 (java) S 1136 1136 22342 0 -1 1077944384 3610 0 0 0 138 1 0 0 20 0 28 0 145016450 27175628800 94413 33554432000 4194304 4196468 140726884093440 140528373971056 140529318619778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1153] ppid=1136 vsize=26538700 memory=117 CPUtime=1.44 cores=0-7 /proc/1138/task/1153/stat : 1153 (java) S 1136 1136 22342 0 -1 1077944384 2442 0 0 0 144 0 0 0 20 0 28 0 145016450 27175628800 94413 33554432000 4194304 4196468 140726884093440 140528372918256 140529318619778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1154] ppid=1136 vsize=26538700 memory=1 CPUtime=1.37 cores=0-7 /proc/1138/task/1154/stat : 1154 (java) S 1136 1136 22342 0 -1 1077944384 2745 0 0 0 136 1 0 0 20 0 28 0 145016450 27175628800 94413 33554432000 4194304 4196468 140726884093440 140528371865968 140529318619778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1155] ppid=1136 vsize=26538700 memory=2 CPUtime=0.71 cores=0-7 /proc/1138/task/1155/stat : 1155 (java) S 1136 1136 22342 0 -1 1077944384 2878 0 0 0 70 1 0 0 20 0 28 0 145016450 27175628800 94413 33554432000 4194304 4196468 140726884093440 140528370813168 140529318619778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1156] ppid=1136 vsize=26538700 memory=1 CPUtime=0 cores=0-7 /proc/1138/task/1156/stat : 1156 (java) S 1136 1136 22342 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 145016451 27175628800 94413 33554432000 4194304 4196468 140726884093440 140528369761120 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1157] ppid=1136 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/1138/task/1157/stat : 1157 (java) S 1136 1136 22342 0 -1 1077944384 505 0 0 0 0 0 0 0 20 0 28 0 145016451 27175628800 94413 33554432000 4194304 4196468 140726884093440 140528368708400 140529318619778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1158] ppid=1136 vsize=26538700 memory=0 CPUtime=4.06 cores=0-7 /proc/1138/task/1158/stat : 1158 (java) R 1136 1136 22342 0 -1 4202560 151 0 0 0 406 0 0 0 20 0 28 0 145016568 27175628800 94413 33554432000 4194304 4196468 140726884093440 140528361192896 140528938938048 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1159] ppid=1136 vsize=26538700 memory=0 CPUtime=3.9 cores=0-7 /proc/1138/task/1159/stat : 1159 (java) R 1136 1136 22342 0 -1 4202560 97 0 0 0 390 0 0 0 20 0 28 0 145016568 27175628800 94413 33554432000 4194304 4196468 140726884093440 140528360141760 140528937528214 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1160] ppid=1136 vsize=26538700 memory=0 CPUtime=3.85 cores=0-7 /proc/1138/task/1160/stat : 1160 (java) R 1136 1136 22342 0 -1 4202560 434 0 0 0 383 2 0 0 20 0 28 0 145016568 27175628800 94413 33554432000 4194304 4196468 140726884093440 140528359088448 140528937527709 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1161] ppid=1136 vsize=26538700 memory=8112282956445269571 CPUtime=3.8 cores=0-7 /proc/1138/task/1161/stat : 1161 (java) R 1136 1136 22342 0 -1 4202560 216 0 0 0 380 0 0 0 20 0 28 0 145016568 27175628800 94413 33554432000 4194304 4196468 140726884093440 140528358035216 140528936651467 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1162] ppid=1136 vsize=26538700 memory=932 CPUtime=4.02 cores=0-7 /proc/1138/task/1162/stat : 1162 (java) R 1136 1136 22342 0 -1 4202560 122 0 0 0 402 0 0 0 20 0 28 0 145016568 27175628800 94413 33554432000 4194304 4196468 140726884093440 140528356983360 140528937196825 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1163] ppid=1136 vsize=26538700 memory=1576 CPUtime=4.08 cores=0-7 /proc/1138/task/1163/stat : 1163 (java) R 1136 1136 22342 0 -1 4202560 289 0 0 0 407 1 0 0 20 0 28 0 145016568 27175628800 94413 33554432000 4194304 4196468 140726884093440 140528355930016 140528937196414 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1164] ppid=1136 vsize=26538700 memory=2240 CPUtime=3.9 cores=0-7 /proc/1138/task/1164/stat : 1164 (java) R 1136 1136 22342 0 -1 4202560 108 0 0 0 390 0 0 0 20 0 28 0 145016568 27175628800 94413 33554432000 4194304 4196468 140726884093440 140528354878272 140528938577419 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 [pid=1138/tid=1165] ppid=1136 vsize=26538700 memory=4128 CPUtime=3.95 cores=0-7 /proc/1138/task/1165/stat : 1165 (java) R 1136 1136 22342 0 -1 4202560 81 0 0 0 395 0 0 0 20 0 28 0 145016568 27175628800 94413 33554432000 4194304 4196468 140726884093440 140528353824984 140528937527888 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0 Current children cumulated CPU time: 38.11 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 379036 KiB Child status: 0 Real time (s): 5.78868 CPU time (s): 38.6109 CPU user time (s): 38.307 CPU system time (s): 0.303936 CPU usage (%): 667.007 Max. virtual memory (cumulated for all children) (KiB): 26548212 Max. memory (cumulated for all children) (KiB): 379036 getrusage(RUSAGE_CHILDREN,...) data: user time used= 38.307 system time used= 0.303936 maximum resident set size= 377944 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 25551 page faults= 0 swaps= 0 block input operations= 0 block output operations= 136 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4097 involuntary context switches= 841 # summary of solver processes directly reported to runsolver: # pid: 1136 # total CPU time (s): 38.6109 # total CPU user time (s): 38.307 # total CPU system time (s): 0.303936 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.080193 second user time and 0.091649 second system time The end
Begin job on node115 at 2017-08-19 06:53:49 IDJOB=4280701 IDBENCH=120412 IDSOLVER=2675 FILE ID=node115/4280701-1503119289 RUNJOBID= node115-1503110856-22369 PBS_JOBID= 20630758 Free space on /tmp= 61868 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/CostasArray/CostasArray-m1-s1/CostasArray-16.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-4280701-1503119289/watcher-4280701-1503119289 -o /tmp/evaluation-result-4280701-1503119289/solver-4280701-1503119289 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node115-1503110856-22369 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 518968695 HOME/instance-4280701-1503119289.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 77b4627333bb7848badb46745d4d3b00 RANDOM SEED=518968695 node115.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.69 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.69 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.69 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.69 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: 27209920 kB MemAvailable: 31973172 kB Buffers: 237156 kB Cached: 4819396 kB SwapCached: 0 kB Active: 888260 kB Inactive: 4224524 kB Active(anon): 7164 kB Inactive(anon): 85176 kB Active(file): 881096 kB Inactive(file): 4139348 kB Unevictable: 7056 kB Mlocked: 7056 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7924 kB Writeback: 0 kB AnonPages: 61784 kB Mapped: 49892 kB Shmem: 33416 kB Slab: 144060 kB SReclaimable: 117284 kB SUnreclaim: 26776 kB KernelStack: 3248 kB PageTables: 5624 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 332320 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: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 61860 MiB End job on node115 at 2017-08-19 06:53:55