Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-08-18) | SAT (TO) | 33 | 20094.801 | 2520.1001 |
Name | BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n3c3w4h.xml |
MD5SUM | 797cc29f939b3426dc93651349e66756 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 33 |
Best CPU time to get the best result obtained on this benchmark | 20094.801 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 473 |
Number of constraints | 239 |
Number of domains | 2 |
Minimum domain size | 67 |
Maximum domain size | 119 |
Distribution of domain sizes | [{"size":67,"count":472},{"size":119,"count":1}] |
Minimum variable degree | 2 |
Maximum variable degree | 5 |
Distribution of variable degrees | [{"degree":2,"count":1},{"degree":4,"count":354},{"degree":5,"count":118}] |
Minimum constraint arity | 4 |
Maximum constraint arity | 472 |
Distribution of constraint arities | [{"arity":4,"count":236},{"arity":119,"count":1},{"arity":472,"count":2}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"ordered","count":118},{"type":"lex","count":1},{"type":"sum","count":118},{"type":"count","count":1},{"type":"cardinality","count":1}] |
Optimization problem | YES |
Type of objective | max VAR |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4280275-1503164088.xml" -tl '20160s' -p 8 -x 0 0.11/0.15 c [HOME/instance-4280275-1503164088.xml, -tl, 20160s, -p, 8, -x, 0] 0.11/0.20 c 8 solvers in parallel 0.33/0.27 c parse instance... 1.40/0.70 c solve instance... 11.40/2.08 o 32 38.72/5.57 o 33 20094.06/2520.08 s SATISFIABLE 20094.06/2520.08 v <instantiation> 20094.06/2520.08 v <list>x b[0][0] b[0][1] b[0][2] b[0][3] b[1][0] b[1][1] b[1][2] b[1][3] b[2][0] b[2][1] b[2][2] b[2][3] b[3][0] b[3][1] b[3][2] b[3][3] b[4][0] b[4][1] b[4][2] b[4][3] b[5][0] b[5][1] b[5][2] b[5][3] b[6][0] b[6][1] b[6][2] b[6][3] b[7][0] b[7][1] b[7][2] b[7][3] b[8][0] b[8][1] b[8][2] b[8][3] b[9][0] b[9][1] b[9][2] b[9][3] b[10][0] b[10][1] b[10][2] b[10][3] b[11][0] b[11][1] b[11][2] b[11][3] b[12][0] b[12][1] b[12][2] b[12][3] b[13][0] b[13][1] b[13][2] b[13][3] b[14][0] b[14][1] b[14][2] b[14][3] b[15][0] b[15][1] b[15][2] b[15][3] b[16][0] b[16][1] b[16][2] b[16][3] b[17][0] b[17][1] b[17][2] b[17][3] b[18][0] b[18][1] b[18][2] b[18][3] b[19][0] b[19][1] b[19][2] b[19][3] b[20][0] b[20][1] b[20][2] b[20][3] b[21][0] b[21][1] b[21][2] b[21][3] b[22][0] b[22][1] b[22][2] b[22][3] b[23][0] b[23][1] b[23][2] b[23][3] b[24][0] b[24][1] b[24][2] b[24][3] b[25][0] b[25][1] b[25][2] b[25][3] b[26][0] b[26][1] b[26][2] b[26][3] b[27][0] b[27][1] b[27][2] b[27][3] b[28][0] b[28][1] b[28][2] b[28][3] b[29][0] b[29][1] b[29][2] b[29][3] b[30][0] b[30][1] b[30][2] b[30][3] b[31][0] b[31][1] b[31][2] b[31][3] b[32][0] b[32][1] b[32][2] b[32][3] b[33][0] b[33][1] b[33][2] b[33][3] b[34][0] b[34][1] b[34][2] b[34][3] b[35][0] b[35][1] b[35][2] b[35][3] b[36][0] b[36][1] b[36][2] b[36][3] b[37][0] b[37][1] b[37][2] b[37][3] b[38][0] b[38][1] b[38][2] b[38][3] b[39][0] b[39][1] b[39][2] b[39][3] b[40][0] b[40][1] b[40][2] b[40][3] b[41][0] b[41][1] b[41][2] b[41][3] b[42][0] b[42][1] b[42][2] b[42][3] b[43][0] b[43][1] b[43][2] b[43][3] b[44][0] b[44][1] b[44][2] b[44][3] b[45][0] b[45][1] b[45][2] b[45][3] b[46][0] b[46][1] b[46][2] b[46][3] b[47][0] b[47][1] b[47][2] b[47][3] b[48][0] b[48][1] b[48][2] b[48][3] b[49][0] b[49][1] b[49][2] b[49][3] b[50][0] b[50][1] b[50][2] b[50][3] b[51][0] b[51][1] b[51][2] b[51][3] b[52][0] b[52][1] b[52][2] b[52][3] b[53][0] b[53][1] b[53][2] b[53][3] b[54][0] b[54][1] b[54][2] b[54][3] b[55][0] b[55][1] b[55][2] b[55][3] b[56][0] b[56][1] b[56][2] b[56][3] b[57][0] b[57][1] b[57][2] b[57][3] b[58][0] b[58][1] b[58][2] b[58][3] b[59][0] b[59][1] b[59][2] b[59][3] b[60][0] b[60][1] b[60][2] b[60][3] b[61][0] b[61][1] b[61][2] b[61][3] b[62][0] b[62][1] b[62][2] b[62][3] b[63][0] b[63][1] b[63][2] b[63][3] b[64][0] b[64][1] b[64][2] b[64][3] b[65][0] b[65][1] b[65][2] b[65][3] b[66][0] b[66][1] b[66][2] b[66][3] b[67][0] b[67][1] b[67][2] b[67][3] b[68][0] b[68][1] b[68][2] b[68][3] b[69][0] b[69][1] b[69][2] b[69][3] b[70][0] b[70][1] b[70][2] b[70][3] b[71][0] b[71][1] b[71][2] b[71][3] b[72][0] b[72][1] b[72][2] b[72][3] b[73][0] b[73][1] b[73][2] b[73][3] b[74][0] b[74][1] b[74][2] b[74][3] b[75][0] b[75][1] b[75][2] b[75][3] b[76][0] b[76][1] b[76][2] b[76][3] b[77][0] b[77][1] b[77][2] b[77][3] b[78][0] b[78][1] b[78][2] b[78][3] b[79][0] b[79][1] b[79][2] b[79][3] b[80][0] b[80][1] b[80][2] b[80][3] b[81][0] b[81][1] b[81][2] b[81][3] b[82][0] b[82][1] b[82][2] b[82][3] b[83][0] b[83][1] b[83][2] b[83][3] b[84][0] b[84][1] b[84][2] b[84][3] b[85][0] b[85][1] b[85][2] b[85][3] b[86][0] b[86][1] b[86][2] b[86][3] b[87][0] b[87][1] b[87][2] b[87][3] b[88][0] b[88][1] b[88][2] b[88][3] b[89][0] b[89][1] b[89][2] b[89][3] b[90][0] b[90][1] b[90][2] b[90][3] b[91][0] b[91][1] b[91][2] b[91][3] b[92][0] b[92][1] b[92][2] b[92][3] b[93][0] b[93][1] b[93][2] b[93][3] b[94][0] b[94][1] b[94][2] b[94][3] b[95][0] b[95][1] b[95][2] b[95][3] b[96][0] b[96][1] b[96][2] b[96][3] b[97][0] b[97][1] b[97][2] b[97][3] b[98][0] b[98][1] b[98][2] b[98][3] b[99][0] b[99][1] b[99][2] b[99][3] b[100][0] b[100][1] b[100][2] b[100][3] b[101][0] b[101][1] b[101][2] b[101][3] b[102][0] b[102][1] b[102][2] b[102][3] b[103][0] b[103][1] b[103][2] b[103][3] b[104][0] b[104][1] b[104][2] b[104][3] b[105][0] b[105][1] b[105][2] b[105][3] b[106][0] b[106][1] b[106][2] b[106][3] b[107][0] b[107][1] b[107][2] b[107][3] b[108][0] b[108][1] b[108][2] b[108][3] b[109][0] b[109][1] b[109][2] b[109][3] b[110][0] b[110][1] b[110][2] b[110][3] b[111][0] b[111][1] b[111][2] b[111][3] b[112][0] b[112][1] b[112][2] b[112][3] b[113][0] b[113][1] b[113][2] b[113][3] b[114][0] b[114][1] b[114][2] b[114][3] b[115][0] b[115][1] b[115][2] b[115][3] b[116][0] b[116][1] b[116][2] b[116][3] b[117][0] b[117][1] b[117][2] b[117][3] </list> 20094.06/2520.08 v <values>33 100 50 0 0 99 51 0 0 99 51 0 0 99 51 0 0 97 53 0 0 97 53 0 0 96 54 0 0 95 55 0 0 95 55 0 0 94 56 0 0 94 56 0 0 94 56 0 0 94 56 0 0 93 57 0 0 92 58 0 0 92 58 0 0 92 57 0 0 92 57 0 0 92 56 0 0 92 55 0 0 92 55 0 0 91 54 0 0 91 53 0 0 91 53 0 0 91 53 0 0 90 60 0 0 90 60 0 0 89 61 0 0 89 61 0 0 89 61 0 0 89 61 0 0 88 62 0 0 87 63 0 0 87 63 0 0 86 64 0 0 86 63 0 0 86 62 0 0 85 65 0 0 85 65 0 0 85 62 0 0 84 66 0 0 84 66 0 0 84 66 0 0 83 67 0 0 83 67 0 0 83 67 0 0 82 68 0 0 82 68 0 0 82 62 0 0 82 62 0 0 81 60 0 0 81 60 0 0 81 60 0 0 81 60 0 0 79 71 0 0 79 71 0 0 77 73 0 0 77 72 0 0 76 74 0 0 76 74 0 0 76 74 0 0 76 74 0 0 75 75 0 0 70 70 0 0 60 52 38 0 52 52 46 0 52 52 46 0 51 51 48 0 51 50 49 0 50 50 49 0 49 48 48 0 48 48 47 0 47 47 47 0 45 45 45 0 44 44 44 0 43 43 43 0 42 42 36 30 42 38 37 33 41 37 37 35 40 37 37 36 40 35 35 35 39 35 34 34 39 34 34 33 39 33 32 31 39 31 30 30 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values> 20094.06/2520.08 v </instantiation> 20094.06/2520.08 c Unexpected resolution interruption!
OK 33
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 (12606 MiB free) memory of node 1: 16384 MiB (13796 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280275-1503164088/watcher-4280275-1503164088 -o /tmp/evaluation-result-4280275-1503164088/solver-4280275-1503164088 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1503163228-18525 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1654929304 HOME/instance-4280275-1503164088.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=18542, runsolver pid=18539 [startup+0.100112 s]* /proc/loadavg: 8.15 8.25 8.27 2/201 18563 /proc/meminfo: memFree=27020096/32770624 swapFree=67108860/67108860 [pid=18542] ppid=18539 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/18542/stat : 18542 (xcsp3-exec) S 18539 18542 18498 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 149496871 9740288 346 33554432000 4194304 5098028 140727711866112 140727711864216 140541979325052 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33062912 140727711872100 140727711872311 140727711872311 140727711875051 0 /proc/18542/statm: 2378 346 289 221 0 87 0 [pid=18544] ppid=18542 vsize=25999808 memory=27104 CPUtime=0.11 cores=0-7 /proc/18544/stat : 18544 (java) S 18542 18542 18498 0 -1 1077944320 5698 0 0 0 10 1 0 0 20 0 20 0 149496871 26623803392 6776 33554432000 4194304 4196468 140735181518560 140735181501104 140428492345079 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 /proc/18544/statm: 6499952 6776 2840 1 0 6488269 0 [pid=18544/tid=18545] ppid=18542 vsize=25999808 memory=8042472842692828571 CPUtime=0.08 cores=0-7 /proc/18544/task/18545/stat : 18545 (java) R 18542 18542 18498 0 -1 4202560 3710 0 0 0 8 0 0 0 20 0 20 0 149496872 26623803392 6776 33554432000 4194304 4196468 140735181518560 140428496577072 140428476481316 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18546] ppid=18542 vsize=25999808 memory=732369796187446245 CPUtime=0 cores=0-7 /proc/18544/task/18546/stat : 18546 (java) S 18542 18542 18498 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149496873 26623803392 6776 33554432000 4194304 4196468 140735181518560 140428453305488 140428492355285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18547] ppid=18542 vsize=25999808 memory=139657849992832 CPUtime=0 cores=0-7 /proc/18544/task/18547/stat : 18547 (java) S 18542 18542 18498 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149496873 26623803392 6776 33554432000 4194304 4196468 140735181518560 140428049824784 140428492355285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18548] ppid=18542 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/18544/task/18548/stat : 18548 (java) S 18542 18542 18498 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 149496873 26623803392 6776 33554432000 4194304 4196468 140735181518560 140428048771984 140428492355285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18549] ppid=18542 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/18544/task/18549/stat : 18549 (java) S 18542 18542 18498 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149496873 26623803392 6776 33554432000 4194304 4196468 140735181518560 140428047719184 140428492355285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18550] ppid=18542 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/18544/task/18550/stat : 18550 (java) S 18542 18542 18498 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149496873 26623803392 6776 33554432000 4194304 4196468 140735181518560 140428046666384 140428492355285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18551] ppid=18542 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/18544/task/18551/stat : 18551 (java) S 18542 18542 18498 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 149496873 26623803392 6776 33554432000 4194304 4196468 140735181518560 140428045613584 140428492355285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18552] ppid=18542 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/18544/task/18552/stat : 18552 (java) S 18542 18542 18498 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149496873 26623803392 6776 33554432000 4194304 4196468 140735181518560 140428044560784 140428492355285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18553] ppid=18542 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/18544/task/18553/stat : 18553 (java) S 18542 18542 18498 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149496873 26623803392 6776 33554432000 4194304 4196468 140735181518560 140428043507984 140428492355285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18554] ppid=18542 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/18544/task/18554/stat : 18554 (java) S 18542 18542 18498 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149496874 26623803392 6776 33554432000 4194304 4196468 140735181518560 140426696674160 140428492356226 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18555] ppid=18542 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/18544/task/18555/stat : 18555 (java) S 18542 18542 18498 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 149496875 26623803392 6776 33554432000 4194304 4196468 140735181518560 140426695620128 140428492355285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18556] ppid=18542 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/18544/task/18556/stat : 18556 (java) S 18542 18542 18498 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 149496875 26623803392 6776 33554432000 4194304 4196468 140735181518560 140426694567280 140428492355285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18557] ppid=18542 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/18544/task/18557/stat : 18557 (java) S 18542 18542 18498 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149496877 26623803392 6776 33554432000 4194304 4196468 140735181518560 140426693515600 140428492363675 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18558] ppid=18542 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/18544/task/18558/stat : 18558 (java) S 18542 18542 18498 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 20 0 149496877 26623803392 6776 33554432000 4194304 4196468 140735181518560 140426692462960 140428492356226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18559] ppid=18542 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/18544/task/18559/stat : 18559 (java) S 18542 18542 18498 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 149496877 26623803392 6776 33554432000 4194304 4196468 140735181518560 140426691410160 140428492356226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18560] ppid=18542 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/18544/task/18560/stat : 18560 (java) R 18542 18542 18498 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 149496877 26623803392 6776 33554432000 4194304 4196468 140735181518560 140426690357360 140428492356226 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18561] ppid=18542 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/18544/task/18561/stat : 18561 (java) R 18542 18542 18498 0 -1 4202560 257 0 0 0 1 0 0 0 20 0 20 0 149496877 26623803392 6776 33554432000 4194304 4196468 140735181518560 140426689304560 140428492357014 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18562] ppid=18542 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/18544/task/18562/stat : 18562 (java) S 18542 18542 18498 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 149496878 26623803392 6776 33554432000 4194304 4196468 140735181518560 140426688253024 140428492355285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18563] ppid=18542 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/18544/task/18563/stat : 18563 (java) S 18542 18542 18498 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149496878 26623803392 6776 33554432000 4194304 4196468 140735181518560 140426687200304 140428492356226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 28488 KiB [startup+0.210474 s]* /proc/loadavg: 8.15 8.25 8.27 2/201 18563 /proc/meminfo: memFree=27012096/32770624 swapFree=67108860/67108860 [pid=18542] ppid=18539 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/18542/stat : 18542 (xcsp3-exec) S 18539 18542 18498 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 149496871 9740288 346 33554432000 4194304 5098028 140727711866112 140727711864216 140541979325052 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33062912 140727711872100 140727711872311 140727711872311 140727711875051 0 /proc/18542/statm: 2378 346 289 221 0 87 0 [pid=18544] ppid=18542 vsize=26004064 memory=39120 CPUtime=0.33 cores=0-7 /proc/18544/stat : 18544 (java) S 18542 18542 18498 0 -1 1077944320 8339 0 0 0 30 3 0 0 20 0 20 0 149496871 26628161536 9780 33554432000 4194304 4196468 140735181518560 140735181501104 140428492345079 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 /proc/18544/statm: 6501016 9780 3053 1 0 6488269 0 [pid=18544/tid=18545] ppid=18542 vsize=26004064 memory=0 CPUtime=0.2 cores=0-7 /proc/18544/task/18545/stat : 18545 (java) R 18542 18542 18498 0 -1 4202560 5450 0 0 0 18 2 0 0 20 0 20 0 149496872 26628161536 9780 33554432000 4194304 4196468 140735181518560 140428496566072 140428485023093 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18546] ppid=18542 vsize=26004064 memory=732369796187446245 CPUtime=0 cores=0-7 /proc/18544/task/18546/stat : 18546 (java) S 18542 18542 18498 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149496873 26628161536 9780 33554432000 4194304 4196468 140735181518560 140428453305488 140428492355285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18547] ppid=18542 vsize=26004064 memory=139657849992832 CPUtime=0 cores=0-7 /proc/18544/task/18547/stat : 18547 (java) S 18542 18542 18498 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149496873 26628161536 9780 33554432000 4194304 4196468 140735181518560 140428049824784 140428492355285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18548] ppid=18542 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/18544/task/18548/stat : 18548 (java) S 18542 18542 18498 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 149496873 26628161536 9780 33554432000 4194304 4196468 140735181518560 140428048771984 140428492355285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18549] ppid=18542 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/18544/task/18549/stat : 18549 (java) S 18542 18542 18498 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149496873 26628161536 9780 33554432000 4194304 4196468 140735181518560 140428047719184 140428492355285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18550] ppid=18542 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/18544/task/18550/stat : 18550 (java) S 18542 18542 18498 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149496873 26628161536 9780 33554432000 4194304 4196468 140735181518560 140428046666384 140428492355285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18551] ppid=18542 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/18544/task/18551/stat : 18551 (java) S 18542 18542 18498 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 149496873 26628161536 9780 33554432000 4194304 4196468 140735181518560 140428045613584 140428492355285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18552] ppid=18542 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/18544/task/18552/stat : 18552 (java) S 18542 18542 18498 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149496873 26628161536 9780 33554432000 4194304 4196468 140735181518560 140428044560784 140428492355285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18553] ppid=18542 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/18544/task/18553/stat : 18553 (java) S 18542 18542 18498 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149496873 26628161536 9780 33554432000 4194304 4196468 140735181518560 140428043507984 140428492355285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18554] ppid=18542 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/18544/task/18554/stat : 18554 (java) S 18542 18542 18498 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149496874 26628161536 9780 33554432000 4194304 4196468 140735181518560 140426696674160 140428492356226 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18555] ppid=18542 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/18544/task/18555/stat : 18555 (java) S 18542 18542 18498 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 149496875 26628161536 9780 33554432000 4194304 4196468 140735181518560 140426695620128 140428492355285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18556] ppid=18542 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/18544/task/18556/stat : 18556 (java) S 18542 18542 18498 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 149496875 26628161536 9780 33554432000 4194304 4196468 140735181518560 140426694567280 140428492355285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18557] ppid=18542 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/18544/task/18557/stat : 18557 (java) S 18542 18542 18498 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149496877 26628161536 9780 33554432000 4194304 4196468 140735181518560 140426693515600 140428492363675 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18558] ppid=18542 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/18544/task/18558/stat : 18558 (java) R 18542 18542 18498 0 -1 1077944384 457 0 0 0 1 0 0 0 20 0 20 0 149496877 26628161536 9780 33554432000 4194304 4196468 140735181518560 140426692462960 140428492356226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18559] ppid=18542 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/18544/task/18559/stat : 18559 (java) S 18542 18542 18498 0 -1 1077944384 207 0 0 0 1 0 0 0 20 0 20 0 149496877 26628161536 9780 33554432000 4194304 4196468 140735181518560 140426691410160 140428492356226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18560] ppid=18542 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/18544/task/18560/stat : 18560 (java) S 18542 18542 18498 0 -1 1077944384 199 0 0 0 0 0 0 0 20 0 20 0 149496877 26628161536 9780 33554432000 4194304 4196468 140735181518560 140426690357360 140428492356226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18561] ppid=18542 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7 /proc/18544/task/18561/stat : 18561 (java) R 18542 18542 18498 0 -1 4202560 714 0 0 0 7 0 0 0 20 0 20 0 149496877 26628161536 9780 33554432000 4194304 4196468 140735181518560 140426689304560 140428470370953 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18562] ppid=18542 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/18544/task/18562/stat : 18562 (java) S 18542 18542 18498 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 149496878 26628161536 9780 33554432000 4194304 4196468 140735181518560 140426688253024 140428492355285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18563] ppid=18542 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/18544/task/18563/stat : 18563 (java) S 18542 18542 18498 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149496878 26628161536 9780 33554432000 4194304 4196468 140735181518560 140426687200304 140428492356226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 40504 KiB [startup+0.309637 s]* /proc/loadavg: 7.66 8.15 8.24 4/201 18563 /proc/meminfo: memFree=27005148/32770624 swapFree=67108860/67108860 [pid=18542] ppid=18539 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/18542/stat : 18542 (xcsp3-exec) S 18539 18542 18498 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 149496871 9740288 346 33554432000 4194304 5098028 140727711866112 140727711864216 140541979325052 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33062912 140727711872100 140727711872311 140727711872311 140727711875051 0 /proc/18542/statm: 2378 346 289 221 0 87 0 [pid=18544] ppid=18542 vsize=26004064 memory=44304 CPUtime=0.49 cores=0-7 /proc/18544/stat : 18544 (java) S 18542 18542 18498 0 -1 1077944320 9188 0 0 0 45 4 0 0 20 0 20 0 149496871 26628161536 11076 33554432000 4194304 4196468 140735181518560 140735181501104 140428492345079 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 /proc/18544/statm: 6501016 11076 3122 1 0 6488269 0 [pid=18544/tid=18545] ppid=18542 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/18544/task/18545/stat : 18545 (java) R 18542 18542 18498 0 -1 4202560 6136 0 0 0 27 2 0 0 20 0 20 0 149496872 26628161536 11076 33554432000 4194304 4196468 140735181518560 140428496582592 140428492357014 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18546] ppid=18542 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/18544/task/18546/stat : 18546 (java) S 18542 18542 18498 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149496873 26628161536 11076 33554432000 4194304 4196468 140735181518560 140428453305488 140428492355285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18547] ppid=18542 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/18544/task/18547/stat : 18547 (java) S 18542 18542 18498 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149496873 26628161536 11076 33554432000 4194304 4196468 140735181518560 140428049824784 140428492355285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18548] ppid=18542 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/18544/task/18548/stat : 18548 (java) S 18542 18542 18498 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 149496873 26628161536 11076 33554432000 4194304 4196468 140735181518560 140428048771984 140428492355285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18549] ppid=18542 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/18544/task/18549/stat : 18549 (java) S 18542 18542 18498 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149496873 26628161536 11076 33554432000 4194304 4196468 140735181518560 140428047719184 140428492355285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18550] ppid=18542 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/18544/task/18550/stat : 18550 (java) S 18542 18542 18498 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149496873 26628161536 11076 33554432000 4194304 4196468 140735181518560 140428046666384 140428492355285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18551] ppid=18542 vsize=26004064 memory=139657706828719 CPUtime=0 cores=0-7 /proc/18544/task/18551/stat : 18551 (java) S 18542 18542 18498 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 149496873 26628161536 11076 33554432000 4194304 4196468 140735181518560 140428045613584 140428492355285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18552] ppid=18542 vsize=26004064 memory=139657706831024 CPUtime=0 cores=0-7 /proc/18544/task/18552/stat : 18552 (java) S 18542 18542 18498 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149496873 26628161536 11076 33554432000 4194304 4196468 140735181518560 140428044560784 140428492355285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18553] ppid=18542 vsize=26004064 memory=139657706833328 CPUtime=0 cores=0-7 /proc/18544/task/18553/stat : 18553 (java) S 18542 18542 18498 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149496873 26628161536 11076 33554432000 4194304 4196468 140735181518560 140428043507984 140428492355285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18554] ppid=18542 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/18544/task/18554/stat : 18554 (java) S 18542 18542 18498 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149496874 26628161536 11076 33554432000 4194304 4196468 140735181518560 140426696674160 140428492356226 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18555] ppid=18542 vsize=26004064 memory=279315413673616 CPUtime=0 cores=0-7 /proc/18544/task/18555/stat : 18555 (java) S 18542 18542 18498 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 149496875 26628161536 11076 33554432000 4194304 4196468 140735181518560 140426695620128 140428492355285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18556] ppid=18542 vsize=26004064 memory=279315413680528 CPUtime=0 cores=0-7 /proc/18544/task/18556/stat : 18556 (java) S 18542 18542 18498 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 149496875 26628161536 11076 33554432000 4194304 4196468 140735181518560 140426694567280 140428492355285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18557] ppid=18542 vsize=26004064 memory=279315413621808 CPUtime=0 cores=0-7 /proc/18544/task/18557/stat : 18557 (java) S 18542 18542 18498 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149496877 26628161536 11076 33554432000 4194304 4196468 140735181518560 140426693515600 140428492363675 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18558] ppid=18542 vsize=26004064 memory=279315413694352 CPUtime=0.01 cores=0-7 /proc/18544/task/18558/stat : 18558 (java) S 18542 18542 18498 0 -1 1077944384 463 0 0 0 1 0 0 0 20 0 20 0 149496877 26628161536 11076 33554432000 4194304 4196468 140735181518560 140426692462960 140428492356226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18559] ppid=18542 vsize=26004064 memory=279315413701264 CPUtime=0.02 cores=0-7 /proc/18544/task/18559/stat : 18559 (java) R 18542 18542 18498 0 -1 4202560 265 0 0 0 2 0 0 0 20 0 20 0 149496877 26628161536 11076 33554432000 4194304 4196468 140735181518560 140426691410160 140428472188728 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18560] ppid=18542 vsize=26004064 memory=279315413698960 CPUtime=0.01 cores=0-7 /proc/18544/task/18560/stat : 18560 (java) S 18542 18542 18498 0 -1 1077944384 199 0 0 0 1 0 0 0 20 0 20 0 149496877 26628161536 11076 33554432000 4194304 4196468 140735181518560 140426690357360 140428492356226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18561] ppid=18542 vsize=26004064 memory=279315413715120 CPUtime=0.12 cores=0-7 /proc/18544/task/18561/stat : 18561 (java) R 18542 18542 18498 0 -1 4202560 812 0 0 0 12 0 0 0 20 0 20 0 149496877 26628161536 11076 33554432000 4194304 4196468 140735181518560 140426689300240 140428471300705 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18562] ppid=18542 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/18544/task/18562/stat : 18562 (java) S 18542 18542 18498 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 149496878 26628161536 11076 33554432000 4194304 4196468 140735181518560 140426688253024 140428492355285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18563] ppid=18542 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/18544/task/18563/stat : 18563 (java) S 18542 18542 18498 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149496878 26628161536 11076 33554432000 4194304 4196468 140735181518560 140426687200304 140428492356226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 Current children cumulated CPU time: 0.49 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 45688 KiB [startup+0.701032 s] /proc/loadavg: 7.66 8.15 8.24 4/201 18563 /proc/meminfo: memFree=26991096/32770624 swapFree=67108860/67108860 [pid=18542] ppid=18539 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/18542/stat : 18542 (xcsp3-exec) S 18539 18542 18498 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 149496871 9740288 346 33554432000 4194304 5098028 140727711866112 140727711864216 140541979325052 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33062912 140727711872100 140727711872311 140727711872311 140727711875051 0 /proc/18542/statm: 2378 346 289 221 0 87 0 [pid=18544] ppid=18542 vsize=26006188 memory=93944 CPUtime=1.82 cores=0-7 /proc/18544/stat : 18544 (java) S 18542 18542 18498 0 -1 1077944320 13601 0 0 0 176 6 0 0 20 0 20 0 149496871 26630336512 23486 33554432000 4194304 4196468 140735181518560 140735181501104 140428492345079 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 /proc/18544/statm: 6501547 23486 3207 1 0 6488781 0 [pid=18544/tid=18545] ppid=18542 vsize=26006188 memory=279315414010048 CPUtime=0.67 cores=0-7 /proc/18544/task/18545/stat : 18545 (java) R 18542 18542 18498 0 -1 4202560 6812 0 0 0 64 3 0 0 20 0 20 0 149496872 26630336512 23486 33554432000 4194304 4196468 140735181518560 140428496584032 140428129149763 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18546] ppid=18542 vsize=26006188 memory=5050881541254 CPUtime=0 cores=0-7 /proc/18544/task/18546/stat : 18546 (java) S 18542 18542 18498 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149496873 26630336512 23486 33554432000 4194304 4196468 140735181518560 140428453305488 140428492355285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18547] ppid=18542 vsize=26006188 memory=0 CPUtime=0 cores=0-7 /proc/18544/task/18547/stat : 18547 (java) S 18542 18542 18498 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149496873 26630336512 23486 33554432000 4194304 4196468 140735181518560 140428049824784 140428492355285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18548] ppid=18542 vsize=26006188 memory=0 CPUtime=0 cores=0-7 /proc/18544/task/18548/stat : 18548 (java) S 18542 18542 18498 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 149496873 26630336512 23486 33554432000 4194304 4196468 140735181518560 140428048771984 140428492355285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 ################ # More data... # ################ [pid=18544/tid=18587] ppid=18542 vsize=26538700 memory=488052 CPUtime=2421.06 cores=0-7 /proc/18544/task/18587/stat : 18587 (java) R 18542 18542 18498 0 -1 4202560 7766 0 0 0 242097 9 0 0 20 0 28 0 149497428 27175628800 122013 33554432000 4194304 4196468 140735181518560 140426674421992 140428135927726 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 Current children cumulated CPU time: 19474.4 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 489436 KiB [startup+2502.3 s] /proc/loadavg: 8.44 8.30 8.26 9/208 18644 /proc/meminfo: memFree=26560372/32770624 swapFree=67108860/67108860 [pid=18542] ppid=18539 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/18542/stat : 18542 (xcsp3-exec) S 18539 18542 18498 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 149496871 9740288 346 33554432000 4194304 5098028 140727711866112 140727711864216 140541979325052 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33062912 140727711872100 140727711872311 140727711872311 140727711875051 0 /proc/18542/statm: 2378 346 289 221 0 87 0 [pid=18544] ppid=18542 vsize=26538700 memory=488060 CPUtime=19952.8 cores=0-7 /proc/18544/stat : 18544 (java) S 18542 18542 18498 0 -1 1077944320 141852 0 0 0 1995153 123 0 0 20 0 28 0 149496871 27175628800 122015 33554432000 4194304 4196468 140735181518560 140735181501104 140428492345079 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 /proc/18544/statm: 6634675 122015 3295 1 0 6621909 0 [pid=18544/tid=18545] ppid=18542 vsize=26538700 memory=1384 CPUtime=0.68 cores=0-7 /proc/18544/task/18545/stat : 18545 (java) S 18542 18542 18498 0 -1 1077944384 7016 0 0 0 65 3 0 0 20 0 28 0 149496872 27175628800 122015 33554432000 4194304 4196468 140735181518560 140428496585856 140428492355285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18546] ppid=18542 vsize=26538700 memory=488060 CPUtime=3.27 cores=0-7 /proc/18544/task/18546/stat : 18546 (java) S 18542 18542 18498 0 -1 1077944384 4019 0 0 0 321 6 0 0 20 0 28 0 149496873 27175628800 122015 33554432000 4194304 4196468 140735181518560 140428453305488 140428492355285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18547] ppid=18542 vsize=26538700 memory=0 CPUtime=3.3 cores=0-7 /proc/18544/task/18547/stat : 18547 (java) S 18542 18542 18498 0 -1 1077944384 4786 0 0 0 325 5 0 0 20 0 28 0 149496873 27175628800 122015 33554432000 4194304 4196468 140735181518560 140428049824784 140428492355285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18548] ppid=18542 vsize=26538700 memory=279315413724096 CPUtime=3.26 cores=0-7 /proc/18544/task/18548/stat : 18548 (java) S 18542 18542 18498 0 -1 1077944384 4593 0 0 0 321 5 0 0 20 0 28 0 149496873 27175628800 122015 33554432000 4194304 4196468 140735181518560 140428048771984 140428492355285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18549] ppid=18542 vsize=26538700 memory=488060 CPUtime=3.32 cores=0-7 /proc/18544/task/18549/stat : 18549 (java) S 18542 18542 18498 0 -1 1077944384 4660 0 0 0 326 6 0 0 20 0 28 0 149496873 27175628800 122015 33554432000 4194304 4196468 140735181518560 140428047719184 140428492355285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18550] ppid=18542 vsize=26538700 memory=1196 CPUtime=3.24 cores=0-7 /proc/18544/task/18550/stat : 18550 (java) S 18542 18542 18498 0 -1 1077944384 3729 0 0 0 316 8 0 0 20 0 28 0 149496873 27175628800 122015 33554432000 4194304 4196468 140735181518560 140428046666384 140428492355285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18551] ppid=18542 vsize=26538700 memory=8588 CPUtime=3.28 cores=0-7 /proc/18544/task/18551/stat : 18551 (java) S 18542 18542 18498 0 -1 1077944384 2345 0 0 0 323 5 0 0 20 0 28 0 149496873 27175628800 122015 33554432000 4194304 4196468 140735181518560 140428045613584 140428492355285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18552] ppid=18542 vsize=26538700 memory=1384 CPUtime=3.29 cores=0-7 /proc/18544/task/18552/stat : 18552 (java) S 18542 18542 18498 0 -1 1077944384 3717 0 0 0 323 6 0 0 20 0 28 0 149496873 27175628800 122015 33554432000 4194304 4196468 140735181518560 140428044560784 140428492355285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18553] ppid=18542 vsize=26538700 memory=488044 CPUtime=3.24 cores=0-7 /proc/18544/task/18553/stat : 18553 (java) S 18542 18542 18498 0 -1 1077944384 5052 0 0 0 317 7 0 0 20 0 28 0 149496873 27175628800 122015 33554432000 4194304 4196468 140735181518560 140428043507984 140428492355285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18554] ppid=18542 vsize=26538700 memory=1384 CPUtime=1.09 cores=0-7 /proc/18544/task/18554/stat : 18554 (java) S 18542 18542 18498 0 -1 1077944384 11798 0 0 0 101 8 0 0 20 0 28 0 149496874 27175628800 122015 33554432000 4194304 4196468 140735181518560 140426696674160 140428492356226 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18555] ppid=18542 vsize=26538700 memory=1384 CPUtime=0 cores=0-7 /proc/18544/task/18555/stat : 18555 (java) S 18542 18542 18498 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 28 0 149496875 27175628800 122015 33554432000 4194304 4196468 140735181518560 140426695620128 140428492355285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18556] ppid=18542 vsize=26538700 memory=488060 CPUtime=0 cores=0-7 /proc/18544/task/18556/stat : 18556 (java) S 18542 18542 18498 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 149496875 27175628800 122015 33554432000 4194304 4196468 140735181518560 140426694567280 140428492355285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18557] ppid=18542 vsize=26538700 memory=4140 CPUtime=0 cores=0-7 /proc/18544/task/18557/stat : 18557 (java) S 18542 18542 18498 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 149496877 27175628800 122015 33554432000 4194304 4196468 140735181518560 140426693515600 140428492363675 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18558] ppid=18542 vsize=26538700 memory=1384 CPUtime=2.28 cores=0-7 /proc/18544/task/18558/stat : 18558 (java) S 18542 18542 18498 0 -1 1077944384 12342 0 0 0 225 3 0 0 20 0 28 0 149496877 27175628800 122015 33554432000 4194304 4196468 140735181518560 140426692462960 140428492356226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18559] ppid=18542 vsize=26538700 memory=1384 CPUtime=1.83 cores=0-7 /proc/18544/task/18559/stat : 18559 (java) S 18542 18542 18498 0 -1 1077944384 9408 0 0 0 181 2 0 0 20 0 28 0 149496877 27175628800 122015 33554432000 4194304 4196468 140735181518560 140426691410160 140428492356226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18560] ppid=18542 vsize=26538700 memory=488060 CPUtime=2.01 cores=0-7 /proc/18544/task/18560/stat : 18560 (java) S 18542 18542 18498 0 -1 1077944384 14103 0 0 0 198 3 0 0 20 0 28 0 149496877 27175628800 122015 33554432000 4194304 4196468 140735181518560 140426690357360 140428492356226 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18561] ppid=18542 vsize=26538700 memory=1384 CPUtime=0.67 cores=0-7 /proc/18544/task/18561/stat : 18561 (java) S 18542 18542 18498 0 -1 1077944384 8625 0 0 0 65 2 0 0 20 0 28 0 149496877 27175628800 122015 33554432000 4194304 4196468 140735181518560 140426689304560 140428492356226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18562] ppid=18542 vsize=26538700 memory=1384 CPUtime=0 cores=0-7 /proc/18544/task/18562/stat : 18562 (java) S 18542 18542 18498 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 149496878 27175628800 122015 33554432000 4194304 4196468 140735181518560 140426688253024 140428492355285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18563] ppid=18542 vsize=26538700 memory=1384 CPUtime=0.31 cores=0-7 /proc/18544/task/18563/stat : 18563 (java) S 18542 18542 18498 0 -1 1077944384 1665 0 0 0 0 31 0 0 20 0 28 0 149496878 27175628800 122015 33554432000 4194304 4196468 140735181518560 140426687200304 140428492356226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18580] ppid=18542 vsize=26538700 memory=279315416084192 CPUtime=2482.1 cores=0-7 /proc/18544/task/18580/stat : 18580 (java) R 18542 18542 18498 0 -1 4202560 3260 0 0 0 248209 1 0 0 20 0 28 0 149497428 27175628800 122015 33554432000 4194304 4196468 140735181518560 140426676526232 140428134456416 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18581] ppid=18542 vsize=26538700 memory=6944656592455360604 CPUtime=2491.27 cores=0-7 /proc/18544/task/18581/stat : 18581 (java) R 18542 18542 18498 0 -1 4202560 2453 0 0 0 249125 2 0 0 20 0 28 0 149497428 27175628800 122015 33554432000 4194304 4196468 140735181518560 140426675474488 140428134268295 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18582] ppid=18542 vsize=26538700 memory=1384 CPUtime=2491.18 cores=0-7 /proc/18544/task/18582/stat : 18582 (java) R 18542 18542 18498 0 -1 4202560 2583 0 0 0 249116 2 0 0 20 0 28 0 149497428 27175628800 122015 33554432000 4194304 4196468 140735181518560 140426673369096 140428135927325 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18583] ppid=18542 vsize=26538700 memory=488060 CPUtime=2491.09 cores=0-7 /proc/18544/task/18583/stat : 18583 (java) R 18542 18542 18498 0 -1 4202560 14123 0 0 0 249095 14 0 0 20 0 28 0 149497428 27175628800 122015 33554432000 4194304 4196468 140735181518560 140426679684368 140428135927454 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18584] ppid=18542 vsize=26538700 memory=41536 CPUtime=2480.22 cores=0-7 /proc/18544/task/18584/stat : 18584 (java) R 18542 18542 18498 0 -1 4202560 5543 0 0 0 248015 7 0 0 20 0 28 0 149497428 27175628800 122015 33554432000 4194304 4196468 140735181518560 140426672318880 140428135927261 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18585] ppid=18542 vsize=26538700 memory=1384 CPUtime=2490.45 cores=0-7 /proc/18544/task/18585/stat : 18585 (java) R 18542 18542 18498 0 -1 4202560 1919 0 0 0 249044 1 0 0 20 0 28 0 149497428 27175628800 122015 33554432000 4194304 4196468 140735181518560 140426677579320 140428134268282 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18586] ppid=18542 vsize=26538700 memory=2240 CPUtime=2478.34 cores=0-7 /proc/18544/task/18586/stat : 18586 (java) R 18542 18542 18498 0 -1 4202560 2701 0 0 0 247830 4 0 0 20 0 28 0 149497428 27175628800 122015 33554432000 4194304 4196468 140735181518560 140426678632968 140428133902202 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18587] ppid=18542 vsize=26538700 memory=4128 CPUtime=2480.27 cores=0-7 /proc/18544/task/18587/stat : 18587 (java) R 18542 18542 18498 0 -1 4202560 7982 0 0 0 248018 9 0 0 20 0 28 0 149497428 27175628800 122015 33554432000 4194304 4196468 140735181518560 140426674422152 140428135927232 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 Current children cumulated CPU time: 19952.8 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 489444 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 8.50 8.31 8.27 9/208 18644 /proc/meminfo: memFree=26560248/32770624 swapFree=67108860/67108860 [pid=18542] ppid=18539 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/18542/stat : 18542 (xcsp3-exec) S 18539 18542 18498 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 149496871 9740288 346 33554432000 4194304 5098028 140727711866112 140727711864216 140541979325052 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33062912 140727711872100 140727711872311 140727711872311 140727711875051 0 /proc/18542/statm: 2378 346 289 221 0 87 0 [pid=18544] ppid=18542 vsize=26538700 memory=488060 CPUtime=20094.1 cores=0-7 /proc/18544/stat : 18544 (java) S 18542 18542 18498 0 -1 1077944320 141938 0 0 0 2009283 123 0 0 20 0 28 0 149496871 27175628800 122015 33554432000 4194304 4196468 140735181518560 140735181501104 140428492345079 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 /proc/18544/statm: 6634675 122015 3295 1 0 6621909 0 [pid=18544/tid=18545] ppid=18542 vsize=26538700 memory=1788 CPUtime=0.68 cores=0-7 /proc/18544/task/18545/stat : 18545 (java) S 18542 18542 18498 0 -1 1077944384 7016 0 0 0 65 3 0 0 20 0 28 0 149496872 27175628800 122015 33554432000 4194304 4196468 140735181518560 140428496585856 140428492355285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18546] ppid=18542 vsize=26538700 memory=956 CPUtime=3.3 cores=0-7 /proc/18544/task/18546/stat : 18546 (java) S 18542 18542 18498 0 -1 1077944384 4020 0 0 0 324 6 0 0 20 0 28 0 149496873 27175628800 122015 33554432000 4194304 4196468 140735181518560 140428453305488 140428492355285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18547] ppid=18542 vsize=26538700 memory=2344 CPUtime=3.33 cores=0-7 /proc/18544/task/18547/stat : 18547 (java) S 18542 18542 18498 0 -1 1077944384 4798 0 0 0 328 5 0 0 20 0 28 0 149496873 27175628800 122015 33554432000 4194304 4196468 140735181518560 140428049824784 140428492355285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18548] ppid=18542 vsize=26538700 memory=-7003737579269690708 CPUtime=3.29 cores=0-7 /proc/18544/task/18548/stat : 18548 (java) S 18542 18542 18498 0 -1 1077944384 4595 0 0 0 324 5 0 0 20 0 28 0 149496873 27175628800 122015 33554432000 4194304 4196468 140735181518560 140428048771984 140428492355285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18549] ppid=18542 vsize=26538700 memory=1384 CPUtime=3.34 cores=0-7 /proc/18544/task/18549/stat : 18549 (java) S 18542 18542 18498 0 -1 1077944384 4663 0 0 0 328 6 0 0 20 0 28 0 149496873 27175628800 122015 33554432000 4194304 4196468 140735181518560 140428047719184 140428492355285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18550] ppid=18542 vsize=26538700 memory=488060 CPUtime=3.27 cores=0-7 /proc/18544/task/18550/stat : 18550 (java) S 18542 18542 18498 0 -1 1077944384 3732 0 0 0 319 8 0 0 20 0 28 0 149496873 27175628800 122015 33554432000 4194304 4196468 140735181518560 140428046666384 140428492355285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18551] ppid=18542 vsize=26538700 memory=4104 CPUtime=3.31 cores=0-7 /proc/18544/task/18551/stat : 18551 (java) S 18542 18542 18498 0 -1 1077944384 2345 0 0 0 326 5 0 0 20 0 28 0 149496873 27175628800 122015 33554432000 4194304 4196468 140735181518560 140428045613584 140428492355285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18552] ppid=18542 vsize=26538700 memory=1398720917958146503 CPUtime=3.32 cores=0-7 /proc/18544/task/18552/stat : 18552 (java) S 18542 18542 18498 0 -1 1077944384 3717 0 0 0 326 6 0 0 20 0 28 0 149496873 27175628800 122015 33554432000 4194304 4196468 140735181518560 140428044560784 140428492355285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18553] ppid=18542 vsize=26538700 memory=4128 CPUtime=3.27 cores=0-7 /proc/18544/task/18553/stat : 18553 (java) S 18542 18542 18498 0 -1 1077944384 5052 0 0 0 320 7 0 0 20 0 28 0 149496873 27175628800 122015 33554432000 4194304 4196468 140735181518560 140428043507984 140428492355285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18554] ppid=18542 vsize=26538700 memory=2204 CPUtime=1.09 cores=0-7 /proc/18544/task/18554/stat : 18554 (java) S 18542 18542 18498 0 -1 1077944384 11798 0 0 0 101 8 0 0 20 0 28 0 149496874 27175628800 122015 33554432000 4194304 4196468 140735181518560 140426696674160 140428492356226 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18555] ppid=18542 vsize=26538700 memory=7788 CPUtime=0 cores=0-7 /proc/18544/task/18555/stat : 18555 (java) S 18542 18542 18498 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 28 0 149496875 27175628800 122015 33554432000 4194304 4196468 140735181518560 140426695620128 140428492355285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18556] ppid=18542 vsize=26538700 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/18544/task/18556/stat : 18556 (java) S 18542 18542 18498 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 149496875 27175628800 122015 33554432000 4194304 4196468 140735181518560 140426694567280 140428492355285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18557] ppid=18542 vsize=26538700 memory=1696 CPUtime=0 cores=0-7 /proc/18544/task/18557/stat : 18557 (java) S 18542 18542 18498 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 149496877 27175628800 122015 33554432000 4194304 4196468 140735181518560 140426693515600 140428492363675 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18558] ppid=18542 vsize=26538700 memory=916 CPUtime=2.28 cores=0-7 /proc/18544/task/18558/stat : 18558 (java) S 18542 18542 18498 0 -1 1077944384 12342 0 0 0 225 3 0 0 20 0 28 0 149496877 27175628800 122015 33554432000 4194304 4196468 140735181518560 140426692462960 140428492356226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18559] ppid=18542 vsize=26538700 memory=3888 CPUtime=1.83 cores=0-7 /proc/18544/task/18559/stat : 18559 (java) S 18542 18542 18498 0 -1 1077944384 9408 0 0 0 181 2 0 0 20 0 28 0 149496877 27175628800 122015 33554432000 4194304 4196468 140735181518560 140426691410160 140428492356226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18560] ppid=18542 vsize=26538700 memory=1384 CPUtime=2.01 cores=0-7 /proc/18544/task/18560/stat : 18560 (java) S 18542 18542 18498 0 -1 1077944384 14103 0 0 0 198 3 0 0 20 0 28 0 149496877 27175628800 122015 33554432000 4194304 4196468 140735181518560 140426690357360 140428492356226 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18561] ppid=18542 vsize=26538700 memory=6791534058613427641 CPUtime=0.67 cores=0-7 /proc/18544/task/18561/stat : 18561 (java) S 18542 18542 18498 0 -1 1077944384 8625 0 0 0 65 2 0 0 20 0 28 0 149496877 27175628800 122015 33554432000 4194304 4196468 140735181518560 140426689304560 140428492356226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18562] ppid=18542 vsize=26538700 memory=1384 CPUtime=0 cores=0-7 /proc/18544/task/18562/stat : 18562 (java) S 18542 18542 18498 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 149496878 27175628800 122015 33554432000 4194304 4196468 140735181518560 140426688253024 140428492355285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18563] ppid=18542 vsize=26538700 memory=488060 CPUtime=0.32 cores=0-7 /proc/18544/task/18563/stat : 18563 (java) S 18542 18542 18498 0 -1 1077944384 1665 0 0 0 0 32 0 0 20 0 28 0 149496878 27175628800 122015 33554432000 4194304 4196468 140735181518560 140426687200304 140428492356226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18580] ppid=18542 vsize=26538700 memory=4104 CPUtime=2499.78 cores=0-7 /proc/18544/task/18580/stat : 18580 (java) R 18542 18542 18498 0 -1 4202560 3263 0 0 0 249977 1 0 0 20 0 28 0 149497428 27175628800 122015 33554432000 4194304 4196468 140735181518560 140426676526232 140428134291130 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18581] ppid=18542 vsize=26538700 memory=1398720917958146503 CPUtime=2508.94 cores=0-7 /proc/18544/task/18581/stat : 18581 (java) R 18542 18542 18498 0 -1 4202560 2472 0 0 0 250892 2 0 0 20 0 28 0 149497428 27175628800 122015 33554432000 4194304 4196468 140735181518560 140426675474320 140428135927851 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18582] ppid=18542 vsize=26538700 memory=6791534058613427641 CPUtime=2508.85 cores=0-7 /proc/18544/task/18582/stat : 18582 (java) R 18542 18542 18498 0 -1 4202560 2587 0 0 0 250883 2 0 0 20 0 28 0 149497428 27175628800 122015 33554432000 4194304 4196468 140735181518560 140426673369096 140428135928004 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18583] ppid=18542 vsize=26538700 memory=6791534058613427641 CPUtime=2508.77 cores=0-7 /proc/18544/task/18583/stat : 18583 (java) R 18542 18542 18498 0 -1 4202560 14134 0 0 0 250863 14 0 0 20 0 28 0 149497428 27175628800 122015 33554432000 4194304 4196468 140735181518560 140426679685000 140428135930945 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18584] ppid=18542 vsize=26538700 memory=6791534058613427641 CPUtime=2497.89 cores=0-7 /proc/18544/task/18584/stat : 18584 (java) R 18542 18542 18498 0 -1 4202560 5548 0 0 0 249782 7 0 0 20 0 28 0 149497428 27175628800 122015 33554432000 4194304 4196468 140735181518560 140426672318880 140428136963906 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18585] ppid=18542 vsize=26538700 memory=1296 CPUtime=2508.12 cores=0-7 /proc/18544/task/18585/stat : 18585 (java) R 18542 18542 18498 0 -1 4202560 1924 0 0 0 250811 1 0 0 20 0 28 0 149497428 27175628800 122015 33554432000 4194304 4196468 140735181518560 140426677579400 140428134268295 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18586] ppid=18542 vsize=26538700 memory=2336 CPUtime=2496.01 cores=0-7 /proc/18544/task/18586/stat : 18586 (java) R 18542 18542 18498 0 -1 4202560 2715 0 0 0 249597 4 0 0 20 0 28 0 149497428 27175628800 122015 33554432000 4194304 4196468 140735181518560 140426678632968 140428135927739 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 [pid=18544/tid=18587] ppid=18542 vsize=26538700 memory=1724 CPUtime=2497.61 cores=0-7 /proc/18544/task/18587/stat : 18587 (java) R 18542 18542 18498 0 -1 4202560 7986 0 0 0 249752 9 0 0 20 0 28 0 149497428 27175628800 122015 33554432000 4194304 4196468 140735181518560 140426674422152 140428135930642 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 28827648 140735181526162 140735181526339 140735181526339 140735181529039 0 Current children cumulated CPU time: 20094.1 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 489444 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.04 s] # the end of solver process 18542 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.000959 s, system=0.000959 s [startup+2520.1 s] # the end of solver process 18544 was just reported to runsolver # cumulated CPU time of all completed processes: user=20093.5 s, system=1.2456 s # this solver process was not waited by its parent and was adopted by runsolver Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 2520.1 CPU time (s): 20094.8 CPU user time (s): 20093.5 CPU system time (s): 1.2456 CPU usage (%): 797.379 Max. virtual memory (cumulated for all children) (KiB): 26548212 Max. memory (cumulated for all children) (KiB): 623364 getrusage(RUSAGE_CHILDREN,...) data: user time used= 20093.5 system time used= 1.2456 maximum resident set size= 621980 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 142793 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2920 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 76825 involuntary context switches= 208267 # summary of solver processes directly reported to runsolver: # pid: 18542,18544 # total CPU time (s): 20094.8 # total CPU user time (s): 20093.5 # total CPU system time (s): 1.2456 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 19.0407 second user time and 28.4757 second system time The end
Begin job on node103 at 2017-08-19 19:20:28 IDJOB=4280275 IDBENCH=136355 IDSOLVER=2675 FILE ID=node103/4280275-1503164088 RUNJOBID= node103-1503163228-18525 PBS_JOBID= 20630828 Free space on /tmp= 61652 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/BinPacking/BinPacking-sum-skj1/BinPacking-sum-n3c3w4h.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-4280275-1503164088/watcher-4280275-1503164088 -o /tmp/evaluation-result-4280275-1503164088/solver-4280275-1503164088 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1503163228-18525 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1654929304 HOME/instance-4280275-1503164088.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 797cc29f939b3426dc93651349e66756 RANDOM SEED=1654929304 node103.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.56 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.56 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.56 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.56 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: 27035468 kB MemAvailable: 31973672 kB Buffers: 235172 kB Cached: 4997120 kB SwapCached: 0 kB Active: 1000644 kB Inactive: 4286040 kB Active(anon): 3988 kB Inactive(anon): 86700 kB Active(file): 996656 kB Inactive(file): 4199340 kB Unevictable: 7496 kB Mlocked: 7496 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7924 kB Writeback: 0 kB AnonPages: 61568 kB Mapped: 50928 kB Shmem: 33420 kB Slab: 142004 kB SReclaimable: 116084 kB SUnreclaim: 25920 kB KernelStack: 3168 kB PageTables: 5496 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 332496 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: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 61644 MiB End job on node103 at 2017-08-19 20:02:28