Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-08-18) | OPT | 43 | 5.4566302 | 1.19593 |
Name | Cutstock/Cutstock-zinc-s1/ Cutstock-t07-8.xml |
MD5SUM | 40646ce9221c3d81d8047571f517aa3c |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 43 |
Best CPU time to get the best result obtained on this benchmark | 0.29120699 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 660 |
Number of constraints | 72 |
Number of domains | 8 |
Minimum domain size | 2 |
Maximum domain size | 25 |
Distribution of domain sizes | [{"size":2,"count":180},{"size":4,"count":60},{"size":7,"count":60},{"size":8,"count":60},{"size":10,"count":120},{"size":18,"count":60},{"size":24,"count":60},{"size":25,"count":60}] |
Minimum variable degree | 3 |
Maximum variable degree | 3 |
Distribution of variable degrees | [{"degree":3,"count":660}] |
Minimum constraint arity | 11 |
Maximum constraint arity | 600 |
Distribution of constraint arities | [{"arity":11,"count":60},{"arity":60,"count":11},{"arity":600,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"ordered","count":1},{"type":"lex","count":1},{"type":"sum","count":70}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4281309-1503185121.xml" -tl '2016s' -p 8 -x 0 0.11/0.14 c [HOME/instance-4281309-1503185121.xml, -tl, 2016s, -p, 8, -x, 0] 0.11/0.20 c 8 solvers in parallel 0.33/0.26 c parse instance... 1.44/0.63 c solve instance... 2.75/0.83 o 60 3.50/0.90 o 59 3.50/0.92 o 58 3.50/0.93 o 57 3.50/0.99 o 56 3.50/1.00 o 55 4.24/1.01 o 54 4.24/1.02 o 53 4.24/1.03 o 52 4.24/1.08 o 51 4.24/1.09 o 50 4.24/1.10 o 43 4.94/1.17 s OPTIMUM FOUND 4.94/1.17 v <instantiation> 4.94/1.17 v <list>p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] r[0][0] r[0][1] r[0][2] r[0][3] r[0][4] r[0][5] r[0][6] r[0][7] r[0][8] r[0][9] r[1][0] r[1][1] r[1][2] r[1][3] r[1][4] r[1][5] r[1][6] r[1][7] r[1][8] r[1][9] r[2][0] r[2][1] r[2][2] r[2][3] r[2][4] r[2][5] r[2][6] r[2][7] r[2][8] r[2][9] r[3][0] r[3][1] r[3][2] r[3][3] r[3][4] r[3][5] r[3][6] r[3][7] r[3][8] r[3][9] r[4][0] r[4][1] r[4][2] r[4][3] r[4][4] r[4][5] r[4][6] r[4][7] r[4][8] r[4][9] r[5][0] r[5][1] r[5][2] r[5][3] r[5][4] r[5][5] r[5][6] r[5][7] r[5][8] r[5][9] r[6][0] r[6][1] r[6][2] r[6][3] r[6][4] r[6][5] r[6][6] r[6][7] r[6][8] r[6][9] r[7][0] r[7][1] r[7][2] r[7][3] r[7][4] r[7][5] r[7][6] r[7][7] r[7][8] r[7][9] r[8][0] r[8][1] r[8][2] r[8][3] r[8][4] r[8][5] r[8][6] r[8][7] r[8][8] r[8][9] r[9][0] r[9][1] r[9][2] r[9][3] r[9][4] r[9][5] r[9][6] r[9][7] r[9][8] r[9][9] r[10][0] r[10][1] r[10][2] r[10][3] r[10][4] r[10][5] r[10][6] r[10][7] r[10][8] r[10][9] r[11][0] r[11][1] r[11][2] r[11][3] r[11][4] r[11][5] r[11][6] r[11][7] r[11][8] r[11][9] r[12][0] r[12][1] r[12][2] r[12][3] r[12][4] r[12][5] r[12][6] r[12][7] r[12][8] r[12][9] r[13][0] r[13][1] r[13][2] r[13][3] r[13][4] r[13][5] r[13][6] r[13][7] r[13][8] r[13][9] r[14][0] r[14][1] r[14][2] r[14][3] r[14][4] r[14][5] r[14][6] r[14][7] r[14][8] r[14][9] r[15][0] r[15][1] r[15][2] r[15][3] r[15][4] r[15][5] r[15][6] r[15][7] r[15][8] r[15][9] r[16][0] r[16][1] r[16][2] r[16][3] r[16][4] r[16][5] r[16][6] r[16][7] r[16][8] r[16][9] r[17][0] r[17][1] r[17][2] r[17][3] r[17][4] r[17][5] r[17][6] r[17][7] r[17][8] r[17][9] r[18][0] r[18][1] r[18][2] r[18][3] r[18][4] r[18][5] r[18][6] r[18][7] r[18][8] r[18][9] r[19][0] r[19][1] r[19][2] r[19][3] r[19][4] r[19][5] r[19][6] r[19][7] r[19][8] r[19][9] r[20][0] r[20][1] r[20][2] r[20][3] r[20][4] r[20][5] r[20][6] r[20][7] r[20][8] r[20][9] r[21][0] r[21][1] r[21][2] r[21][3] r[21][4] r[21][5] r[21][6] r[21][7] r[21][8] r[21][9] r[22][0] r[22][1] r[22][2] r[22][3] r[22][4] r[22][5] r[22][6] r[22][7] r[22][8] r[22][9] r[23][0] r[23][1] r[23][2] r[23][3] r[23][4] r[23][5] r[23][6] r[23][7] r[23][8] r[23][9] r[24][0] r[24][1] r[24][2] r[24][3] r[24][4] r[24][5] r[24][6] r[24][7] r[24][8] r[24][9] r[25][0] r[25][1] r[25][2] r[25][3] r[25][4] r[25][5] r[25][6] r[25][7] r[25][8] r[25][9] r[26][0] r[26][1] r[26][2] r[26][3] r[26][4] r[26][5] r[26][6] r[26][7] r[26][8] r[26][9] r[27][0] r[27][1] r[27][2] r[27][3] r[27][4] r[27][5] r[27][6] r[27][7] r[27][8] r[27][9] r[28][0] r[28][1] r[28][2] r[28][3] r[28][4] r[28][5] r[28][6] r[28][7] r[28][8] r[28][9] r[29][0] r[29][1] r[29][2] r[29][3] r[29][4] r[29][5] r[29][6] r[29][7] r[29][8] r[29][9] r[30][0] r[30][1] r[30][2] r[30][3] r[30][4] r[30][5] r[30][6] r[30][7] r[30][8] r[30][9] r[31][0] r[31][1] r[31][2] r[31][3] r[31][4] r[31][5] r[31][6] r[31][7] r[31][8] r[31][9] r[32][0] r[32][1] r[32][2] r[32][3] r[32][4] r[32][5] r[32][6] r[32][7] r[32][8] r[32][9] r[33][0] r[33][1] r[33][2] r[33][3] r[33][4] r[33][5] r[33][6] r[33][7] r[33][8] r[33][9] r[34][0] r[34][1] r[34][2] r[34][3] r[34][4] r[34][5] r[34][6] r[34][7] r[34][8] r[34][9] r[35][0] r[35][1] r[35][2] r[35][3] r[35][4] r[35][5] r[35][6] r[35][7] r[35][8] r[35][9] r[36][0] r[36][1] r[36][2] r[36][3] r[36][4] r[36][5] r[36][6] r[36][7] r[36][8] r[36][9] r[37][0] r[37][1] r[37][2] r[37][3] r[37][4] r[37][5] r[37][6] r[37][7] r[37][8] r[37][9] r[38][0] r[38][1] r[38][2] r[38][3] r[38][4] r[38][5] r[38][6] r[38][7] r[38][8] r[38][9] r[39][0] r[39][1] r[39][2] r[39][3] r[39][4] r[39][5] r[39][6] r[39][7] r[39][8] r[39][9] r[40][0] r[40][1] r[40][2] r[40][3] r[40][4] r[40][5] r[40][6] r[40][7] r[40][8] r[40][9] r[41][0] r[41][1] r[41][2] r[41][3] r[41][4] r[41][5] r[41][6] r[41][7] r[41][8] r[41][9] r[42][0] r[42][1] r[42][2] r[42][3] r[42][4] r[42][5] r[42][6] r[42][7] r[42][8] r[42][9] r[43][0] r[43][1] r[43][2] r[43][3] r[43][4] r[43][5] r[43][6] r[43][7] r[43][8] r[43][9] r[44][0] r[44][1] r[44][2] r[44][3] r[44][4] r[44][5] r[44][6] r[44][7] r[44][8] r[44][9] r[45][0] r[45][1] r[45][2] r[45][3] r[45][4] r[45][5] r[45][6] r[45][7] r[45][8] r[45][9] r[46][0] r[46][1] r[46][2] r[46][3] r[46][4] r[46][5] r[46][6] r[46][7] r[46][8] r[46][9] r[47][0] r[47][1] r[47][2] r[47][3] r[47][4] r[47][5] r[47][6] r[47][7] r[47][8] r[47][9] r[48][0] r[48][1] r[48][2] r[48][3] r[48][4] r[48][5] r[48][6] r[48][7] r[48][8] r[48][9] r[49][0] r[49][1] r[49][2] r[49][3] r[49][4] r[49][5] r[49][6] r[49][7] r[49][8] r[49][9] r[50][0] r[50][1] r[50][2] r[50][3] r[50][4] r[50][5] r[50][6] r[50][7] r[50][8] r[50][9] r[51][0] r[51][1] r[51][2] r[51][3] r[51][4] r[51][5] r[51][6] r[51][7] r[51][8] r[51][9] r[52][0] r[52][1] r[52][2] r[52][3] r[52][4] r[52][5] r[52][6] r[52][7] r[52][8] r[52][9] r[53][0] r[53][1] r[53][2] r[53][3] r[53][4] r[53][5] r[53][6] r[53][7] r[53][8] r[53][9] r[54][0] r[54][1] r[54][2] r[54][3] r[54][4] r[54][5] r[54][6] r[54][7] r[54][8] r[54][9] r[55][0] r[55][1] r[55][2] r[55][3] r[55][4] r[55][5] r[55][6] r[55][7] r[55][8] r[55][9] r[56][0] r[56][1] r[56][2] r[56][3] r[56][4] r[56][5] r[56][6] r[56][7] r[56][8] r[56][9] r[57][0] r[57][1] r[57][2] r[57][3] r[57][4] r[57][5] r[57][6] r[57][7] r[57][8] r[57][9] r[58][0] r[58][1] r[58][2] r[58][3] r[58][4] r[58][5] r[58][6] r[58][7] r[58][8] r[58][9] r[59][0] r[59][1] r[59][2] r[59][3] r[59][4] r[59][5] r[59][6] r[59][7] r[59][8] r[59][9] </list> 4.94/1.17 v <values>1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 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 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> 4.94/1.17 v </instantiation>
OK 43
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 (12775 MiB free) memory of node 1: 16384 MiB (12131 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281309-1503185121/watcher-4281309-1503185121 -o /tmp/evaluation-result-4281309-1503185121/solver-4281309-1503185121 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node148-1503175375-6738 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 514257753 HOME/instance-4281309-1503185121.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=11520, runsolver pid=11517 [startup+0.100126 s]* /proc/loadavg: 8.13 8.31 8.15 2/200 11541 /proc/meminfo: memFree=25488596/32770624 swapFree=67108860/67108860 [pid=11520] ppid=11517 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/11520/stat : 11520 (xcsp3-exec) S 11517 11520 6711 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151593021 9740288 346 33554432000 4194304 5098028 140723049349248 140723049347352 140093359743612 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27115520 140723049358443 140723049358652 140723049358652 140723049361387 0 /proc/11520/statm: 2378 346 289 221 0 87 0 [pid=11522] ppid=11520 vsize=25999808 memory=26484 CPUtime=0.11 cores=0-7 /proc/11522/stat : 11522 (java) S 11520 11520 6711 0 -1 1077944320 5488 0 0 0 10 1 0 0 20 0 20 0 151593021 26623803392 6621 33554432000 4194304 4196468 140721593046768 140721593029312 140243556171511 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 /proc/11522/statm: 6499952 6621 2867 1 0 6488269 0 [pid=11522/tid=11523] ppid=11520 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/11522/task/11523/stat : 11523 (java) R 11520 11520 6711 0 -1 4202560 3491 0 0 0 8 1 0 0 20 0 20 0 151593021 26623803392 6621 33554432000 4194304 4196468 140721593046768 140243560387664 140243556193437 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11524] ppid=11520 vsize=25999808 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/11522/task/11524/stat : 11524 (java) S 11520 11520 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151593022 26623803392 6621 33554432000 4194304 4196468 140721593046768 140243508792208 140243556181717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11525] ppid=11520 vsize=25999808 memory=139639655421568 CPUtime=0 cores=0-7 /proc/11522/task/11525/stat : 11525 (java) S 11520 11520 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151593022 26623803392 6621 33554432000 4194304 4196468 140721593046768 140243507739408 140243556181717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11526] ppid=11520 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/11522/task/11526/stat : 11526 (java) S 11520 11520 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151593022 26623803392 6621 33554432000 4194304 4196468 140721593046768 140243506687120 140243556181717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11527] ppid=11520 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/11522/task/11527/stat : 11527 (java) S 11520 11520 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151593022 26623803392 6621 33554432000 4194304 4196468 140721593046768 140243505634320 140243556181717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11528] ppid=11520 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/11522/task/11528/stat : 11528 (java) S 11520 11520 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151593022 26623803392 6621 33554432000 4194304 4196468 140721593046768 140243504581008 140243556181717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11529] ppid=11520 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/11522/task/11529/stat : 11529 (java) S 11520 11520 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151593022 26623803392 6621 33554432000 4194304 4196468 140721593046768 140243503528208 140243556181717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11530] ppid=11520 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/11522/task/11530/stat : 11530 (java) S 11520 11520 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151593022 26623803392 6621 33554432000 4194304 4196468 140721593046768 140243502475920 140243556181717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11531] ppid=11520 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/11522/task/11531/stat : 11531 (java) S 11520 11520 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151593022 26623803392 6621 33554432000 4194304 4196468 140721593046768 140243501423120 140243556181717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11532] ppid=11520 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/11522/task/11532/stat : 11532 (java) S 11520 11520 6711 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 151593023 26623803392 6621 33554432000 4194304 4196468 140721593046768 140241828407920 140243556182658 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11533] ppid=11520 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/11522/task/11533/stat : 11533 (java) S 11520 11520 6711 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151593024 26623803392 6621 33554432000 4194304 4196468 140721593046768 140241827353888 140243556181717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11534] ppid=11520 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/11522/task/11534/stat : 11534 (java) S 11520 11520 6711 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151593024 26623803392 6621 33554432000 4194304 4196468 140721593046768 140241826301552 140243556181717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11535] ppid=11520 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/11522/task/11535/stat : 11535 (java) S 11520 11520 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151593026 26623803392 6621 33554432000 4194304 4196468 140721593046768 140241825249872 140243556190107 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11536] ppid=11520 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/11522/task/11536/stat : 11536 (java) S 11520 11520 6711 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 20 0 151593026 26623803392 6621 33554432000 4194304 4196468 140721593046768 140241824196720 140243556182658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11537] ppid=11520 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/11522/task/11537/stat : 11537 (java) S 11520 11520 6711 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 151593026 26623803392 6621 33554432000 4194304 4196468 140721593046768 140241486735344 140243556182658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11538] ppid=11520 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/11522/task/11538/stat : 11538 (java) S 11520 11520 6711 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151593026 26623803392 6621 33554432000 4194304 4196468 140721593046768 140241485683056 140243556182658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11539] ppid=11520 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/11522/task/11539/stat : 11539 (java) R 11520 11520 6711 0 -1 4202560 269 0 0 0 1 0 0 0 20 0 20 0 151593026 26623803392 6621 33554432000 4194304 4196468 140721593046768 140241484630256 140243556183446 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11540] ppid=11520 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/11522/task/11540/stat : 11540 (java) S 11520 11520 6711 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151593027 26623803392 6621 33554432000 4194304 4196468 140721593046768 140241483578208 140243556181717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11541] ppid=11520 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/11522/task/11541/stat : 11541 (java) S 11520 11520 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151593027 26623803392 6621 33554432000 4194304 4196468 140721593046768 140241482525488 140243556182658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 27868 KiB [startup+0.210164 s]* /proc/loadavg: 8.13 8.31 8.15 2/200 11541 /proc/meminfo: memFree=25476572/32770624 swapFree=67108860/67108860 [pid=11520] ppid=11517 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/11520/stat : 11520 (xcsp3-exec) S 11517 11520 6711 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151593021 9740288 346 33554432000 4194304 5098028 140723049349248 140723049347352 140093359743612 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27115520 140723049358443 140723049358652 140723049358652 140723049361387 0 /proc/11520/statm: 2378 346 289 221 0 87 0 [pid=11522] ppid=11520 vsize=26004064 memory=38836 CPUtime=0.33 cores=0-7 /proc/11522/stat : 11522 (java) S 11520 11520 6711 0 -1 1077944320 8320 0 0 0 30 3 0 0 20 0 20 0 151593021 26628161536 9709 33554432000 4194304 4196468 140721593046768 140721593029312 140243556171511 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 /proc/11522/statm: 6501016 9709 3045 1 0 6488269 0 [pid=11522/tid=11523] ppid=11520 vsize=26004064 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/11522/task/11523/stat : 11523 (java) R 11520 11520 6711 0 -1 4202560 5398 0 0 0 18 2 0 0 20 0 20 0 151593021 26628161536 9709 33554432000 4194304 4196468 140721593046768 140243560392504 140243556193437 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11524] ppid=11520 vsize=26004064 memory=330 CPUtime=0 cores=0-7 /proc/11522/task/11524/stat : 11524 (java) S 11520 11520 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151593022 26628161536 9709 33554432000 4194304 4196468 140721593046768 140243508792208 140243556181717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11525] ppid=11520 vsize=26004064 memory=139639656179414 CPUtime=0 cores=0-7 /proc/11522/task/11525/stat : 11525 (java) S 11520 11520 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151593022 26628161536 9709 33554432000 4194304 4196468 140721593046768 140243507739408 140243556181717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11526] ppid=11520 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/11522/task/11526/stat : 11526 (java) S 11520 11520 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151593022 26628161536 9709 33554432000 4194304 4196468 140721593046768 140243506687120 140243556181717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11527] ppid=11520 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/11522/task/11527/stat : 11527 (java) S 11520 11520 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151593022 26628161536 9709 33554432000 4194304 4196468 140721593046768 140243505634320 140243556181717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11528] ppid=11520 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/11522/task/11528/stat : 11528 (java) S 11520 11520 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151593022 26628161536 9709 33554432000 4194304 4196468 140721593046768 140243504581008 140243556181717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11529] ppid=11520 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/11522/task/11529/stat : 11529 (java) S 11520 11520 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151593022 26628161536 9709 33554432000 4194304 4196468 140721593046768 140243503528208 140243556181717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11530] ppid=11520 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/11522/task/11530/stat : 11530 (java) S 11520 11520 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151593022 26628161536 9709 33554432000 4194304 4196468 140721593046768 140243502475920 140243556181717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11531] ppid=11520 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/11522/task/11531/stat : 11531 (java) S 11520 11520 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151593022 26628161536 9709 33554432000 4194304 4196468 140721593046768 140243501423120 140243556181717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11532] ppid=11520 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/11522/task/11532/stat : 11532 (java) S 11520 11520 6711 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 151593023 26628161536 9709 33554432000 4194304 4196468 140721593046768 140241828407920 140243556182658 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11533] ppid=11520 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/11522/task/11533/stat : 11533 (java) S 11520 11520 6711 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151593024 26628161536 9709 33554432000 4194304 4196468 140721593046768 140241827353888 140243556181717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11534] ppid=11520 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/11522/task/11534/stat : 11534 (java) S 11520 11520 6711 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151593024 26628161536 9709 33554432000 4194304 4196468 140721593046768 140241826301552 140243556181717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11535] ppid=11520 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/11522/task/11535/stat : 11535 (java) S 11520 11520 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151593026 26628161536 9709 33554432000 4194304 4196468 140721593046768 140241825249872 140243556190107 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11536] ppid=11520 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/11522/task/11536/stat : 11536 (java) R 11520 11520 6711 0 -1 1077944384 444 0 0 0 1 0 0 0 20 0 20 0 151593026 26628161536 9709 33554432000 4194304 4196468 140721593046768 140241824196720 140243556182658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11537] ppid=11520 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/11522/task/11537/stat : 11537 (java) S 11520 11520 6711 0 -1 1077944384 374 0 0 0 1 0 0 0 20 0 20 0 151593026 26628161536 9709 33554432000 4194304 4196468 140721593046768 140241486735344 140243556182658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11538] ppid=11520 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7 /proc/11522/task/11538/stat : 11538 (java) S 11520 11520 6711 0 -1 1077944384 32 0 0 0 1 0 0 0 20 0 20 0 151593026 26628161536 9709 33554432000 4194304 4196468 140721593046768 140241485683056 140243556182658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11539] ppid=11520 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7 /proc/11522/task/11539/stat : 11539 (java) R 11520 11520 6711 0 -1 4202560 763 0 0 0 7 0 0 0 20 0 20 0 151593026 26628161536 9709 33554432000 4194304 4196468 140721593046768 140241484630256 140243548408638 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11540] ppid=11520 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/11522/task/11540/stat : 11540 (java) S 11520 11520 6711 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151593027 26628161536 9709 33554432000 4194304 4196468 140721593046768 140241483578208 140243556181717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11541] ppid=11520 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/11522/task/11541/stat : 11541 (java) S 11520 11520 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151593027 26628161536 9709 33554432000 4194304 4196468 140721593046768 140241482525488 140243556182658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 40220 KiB [startup+0.309594 s]* /proc/loadavg: 8.13 8.31 8.15 3/200 11541 /proc/meminfo: memFree=25470748/32770624 swapFree=67108860/67108860 [pid=11520] ppid=11517 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/11520/stat : 11520 (xcsp3-exec) S 11517 11520 6711 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151593021 9740288 346 33554432000 4194304 5098028 140723049349248 140723049347352 140093359743612 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27115520 140723049358443 140723049358652 140723049358652 140723049361387 0 /proc/11520/statm: 2378 346 289 221 0 87 0 [pid=11522] ppid=11520 vsize=26004064 memory=45796 CPUtime=0.5 cores=0-7 /proc/11522/stat : 11522 (java) S 11520 11520 6711 0 -1 1077944320 9226 0 0 0 46 4 0 0 20 0 20 0 151593021 26628161536 11449 33554432000 4194304 4196468 140721593046768 140721593029312 140243556171511 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 /proc/11522/statm: 6501016 11449 3061 1 0 6488269 0 [pid=11522/tid=11523] ppid=11520 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/11522/task/11523/stat : 11523 (java) R 11520 11520 6711 0 -1 4202560 6124 0 0 0 27 2 0 0 20 0 20 0 151593021 26628161536 11449 33554432000 4194304 4196468 140721593046768 140243560404000 140243540251998 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11524] ppid=11520 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/11522/task/11524/stat : 11524 (java) S 11520 11520 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151593022 26628161536 11449 33554432000 4194304 4196468 140721593046768 140243508792208 140243556181717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11525] ppid=11520 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/11522/task/11525/stat : 11525 (java) S 11520 11520 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151593022 26628161536 11449 33554432000 4194304 4196468 140721593046768 140243507739408 140243556181717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11526] ppid=11520 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/11522/task/11526/stat : 11526 (java) S 11520 11520 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151593022 26628161536 11449 33554432000 4194304 4196468 140721593046768 140243506687120 140243556181717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11527] ppid=11520 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/11522/task/11527/stat : 11527 (java) S 11520 11520 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151593022 26628161536 11449 33554432000 4194304 4196468 140721593046768 140243505634320 140243556181717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11528] ppid=11520 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/11522/task/11528/stat : 11528 (java) S 11520 11520 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151593022 26628161536 11449 33554432000 4194304 4196468 140721593046768 140243504581008 140243556181717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11529] ppid=11520 vsize=26004064 memory=139639520326575 CPUtime=0 cores=0-7 /proc/11522/task/11529/stat : 11529 (java) S 11520 11520 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151593022 26628161536 11449 33554432000 4194304 4196468 140721593046768 140243503528208 140243556181717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11530] ppid=11520 vsize=26004064 memory=139639520328880 CPUtime=0 cores=0-7 /proc/11522/task/11530/stat : 11530 (java) S 11520 11520 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151593022 26628161536 11449 33554432000 4194304 4196468 140721593046768 140243502475920 140243556181717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11531] ppid=11520 vsize=26004064 memory=139639520331184 CPUtime=0 cores=0-7 /proc/11522/task/11531/stat : 11531 (java) S 11520 11520 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151593022 26628161536 11449 33554432000 4194304 4196468 140721593046768 140243501423120 140243556181717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11532] ppid=11520 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/11522/task/11532/stat : 11532 (java) S 11520 11520 6711 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 151593023 26628161536 11449 33554432000 4194304 4196468 140721593046768 140241828407920 140243556182658 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11533] ppid=11520 vsize=26004064 memory=279279040669328 CPUtime=0 cores=0-7 /proc/11522/task/11533/stat : 11533 (java) S 11520 11520 6711 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151593024 26628161536 11449 33554432000 4194304 4196468 140721593046768 140241827353888 140243556181717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11534] ppid=11520 vsize=26004064 memory=279279040676240 CPUtime=0 cores=0-7 /proc/11522/task/11534/stat : 11534 (java) S 11520 11520 6711 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151593024 26628161536 11449 33554432000 4194304 4196468 140721593046768 140241826301552 140243556181717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11535] ppid=11520 vsize=26004064 memory=279279040617520 CPUtime=0 cores=0-7 /proc/11522/task/11535/stat : 11535 (java) S 11520 11520 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151593026 26628161536 11513 33554432000 4194304 4196468 140721593046768 140241825249872 140243556190107 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11536] ppid=11520 vsize=26004064 memory=279279040690064 CPUtime=0.01 cores=0-7 /proc/11522/task/11536/stat : 11536 (java) S 11520 11520 6711 0 -1 1077944384 449 0 0 0 1 0 0 0 20 0 20 0 151593026 26628161536 11513 33554432000 4194304 4196468 140721593046768 140241824196720 140243556182658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11537] ppid=11520 vsize=26004064 memory=279279040696976 CPUtime=0.02 cores=0-7 /proc/11522/task/11537/stat : 11537 (java) S 11520 11520 6711 0 -1 1077944384 374 0 0 0 2 0 0 0 20 0 20 0 151593026 26628161536 11513 33554432000 4194304 4196468 140721593046768 140241486735344 140243556182658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11538] ppid=11520 vsize=26004064 memory=279279040694672 CPUtime=0.02 cores=0-7 /proc/11522/task/11538/stat : 11538 (java) S 11520 11520 6711 0 -1 1077944384 54 0 0 0 2 0 0 0 20 0 20 0 151593026 26628161536 11513 33554432000 4194304 4196468 140721593046768 140241485683056 140243556182658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11539] ppid=11520 vsize=26004064 memory=279279040710832 CPUtime=0.12 cores=0-7 /proc/11522/task/11539/stat : 11539 (java) S 11520 11520 6711 0 -1 1077944384 928 0 0 0 12 0 0 0 20 0 20 0 151593026 26628161536 11513 33554432000 4194304 4196468 140721593046768 140241484630256 140243556182658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11540] ppid=11520 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/11522/task/11540/stat : 11540 (java) S 11520 11520 6711 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151593027 26628161536 11513 33554432000 4194304 4196468 140721593046768 140241483578208 140243556181717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11541] ppid=11520 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/11522/task/11541/stat : 11541 (java) S 11520 11520 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151593027 26628161536 11513 33554432000 4194304 4196468 140721593046768 140241482525488 140243556182658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 Current children cumulated CPU time: 0.5 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 47180 KiB [startup+0.703482 s] /proc/loadavg: 8.13 8.31 8.15 6/200 11541 /proc/meminfo: memFree=25451816/32770624 swapFree=67108860/67108860 [pid=11520] ppid=11517 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/11520/stat : 11520 (xcsp3-exec) S 11517 11520 6711 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151593021 9740288 346 33554432000 4194304 5098028 140723049349248 140723049347352 140093359743612 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27115520 140723049358443 140723049358652 140723049358652 140723049361387 0 /proc/11520/statm: 2378 346 289 221 0 87 0 [pid=11522] ppid=11520 vsize=26538700 memory=105624 CPUtime=2.01 cores=0-7 /proc/11522/stat : 11522 (java) S 11520 11520 6711 0 -1 1077944320 14237 0 0 0 195 6 0 0 20 0 28 0 151593021 27175628800 26406 33554432000 4194304 4196468 140721593046768 140721593029312 140243556171511 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 /proc/11522/statm: 6634675 26406 3215 1 0 6621909 0 [pid=11522/tid=11523] ppid=11520 vsize=26538700 memory=279279041068720 CPUtime=0.61 cores=0-7 /proc/11522/task/11523/stat : 11523 (java) S 11520 11520 6711 0 -1 1077944384 6826 0 0 0 58 3 0 0 20 0 28 0 151593021 27175628800 26406 33554432000 4194304 4196468 140721593046768 140243560412288 140243556181717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11524] ppid=11520 vsize=26538700 memory=139639520535408 CPUtime=0 cores=0-7 /proc/11522/task/11524/stat : 11524 (java) S 11520 11520 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 151593022 27175628800 26406 33554432000 4194304 4196468 140721593046768 140243508792208 140243556181717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11525] ppid=11520 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/11522/task/11525/stat : 11525 (java) S 11520 11520 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151593022 27175628800 26406 33554432000 4194304 4196468 140721593046768 140243507739408 140243556181717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11526] ppid=11520 vsize=26538700 memory=1204 CPUtime=0 cores=0-7 /proc/11522/task/11526/stat : 11526 (java) S 11520 11520 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151593022 27175628800 26406 33554432000 4194304 4196468 140721593046768 140243506687120 140243556181717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 ################ # More data... # ################ /proc/11522/stat : 11522 (java) S 11520 11520 6711 0 -1 1077944320 14518 0 0 0 269 6 0 0 20 0 28 0 151593021 27175628800 26630 33554432000 4194304 4196468 140721593046768 140721593029312 140243556171511 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 /proc/11522/statm: 6634675 26630 3215 1 0 6621909 0 [pid=11522/tid=11523] ppid=11520 vsize=26538700 memory=6935649255759568960 CPUtime=0.61 cores=0-7 /proc/11522/task/11523/stat : 11523 (java) S 11520 11520 6711 0 -1 1077944384 6826 0 0 0 58 3 0 0 20 0 28 0 151593021 27175628800 26630 33554432000 4194304 4196468 140721593046768 140243560412288 140243556181717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11524] ppid=11520 vsize=26538700 memory=4639082894601506896 CPUtime=0 cores=0-7 /proc/11522/task/11524/stat : 11524 (java) S 11520 11520 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 151593022 27175628800 26630 33554432000 4194304 4196468 140721593046768 140243508792208 140243556181717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11525] ppid=11520 vsize=26538700 memory=6935649255759569216 CPUtime=0 cores=0-7 /proc/11522/task/11525/stat : 11525 (java) S 11520 11520 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151593022 27175628800 26630 33554432000 4194304 4196468 140721593046768 140243507739408 140243556181717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11526] ppid=11520 vsize=26538700 memory=-8820188211957838939 CPUtime=0 cores=0-7 /proc/11522/task/11526/stat : 11526 (java) S 11520 11520 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151593022 27175628800 26630 33554432000 4194304 4196468 140721593046768 140243506687120 140243556181717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11527] ppid=11520 vsize=26538700 memory=-9109213556524817781 CPUtime=0 cores=0-7 /proc/11522/task/11527/stat : 11527 (java) S 11520 11520 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 151593022 27175628800 26630 33554432000 4194304 4196468 140721593046768 140243505634320 140243556181717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11528] ppid=11520 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/11522/task/11528/stat : 11528 (java) S 11520 11520 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 151593022 27175628800 26630 33554432000 4194304 4196468 140721593046768 140243504581008 140243556181717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11529] ppid=11520 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/11522/task/11529/stat : 11529 (java) S 11520 11520 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 151593022 27175628800 26630 33554432000 4194304 4196468 140721593046768 140243503528208 140243556181717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11530] ppid=11520 vsize=26538700 memory=279279040532032 CPUtime=0 cores=0-7 /proc/11522/task/11530/stat : 11530 (java) S 11520 11520 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 151593022 27175628800 26630 33554432000 4194304 4196468 140721593046768 140243502475920 140243556181717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11531] ppid=11520 vsize=26538700 memory=-9178283013952593245 CPUtime=0 cores=0-7 /proc/11522/task/11531/stat : 11531 (java) S 11520 11520 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 151593022 27175628800 26630 33554432000 4194304 4196468 140721593046768 140243501423120 140243556181717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11532] ppid=11520 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/11522/task/11532/stat : 11532 (java) S 11520 11520 6711 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 28 0 151593023 27175628800 26630 33554432000 4194304 4196468 140721593046768 140241828407920 140243556182658 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11533] ppid=11520 vsize=26538700 memory=1728 CPUtime=0 cores=0-7 /proc/11522/task/11533/stat : 11533 (java) S 11520 11520 6711 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 151593024 27175628800 26630 33554432000 4194304 4196468 140721593046768 140241827353888 140243556181717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11534] ppid=11520 vsize=26538700 memory=12136 CPUtime=0 cores=0-7 /proc/11522/task/11534/stat : 11534 (java) S 11520 11520 6711 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 151593024 27175628800 26630 33554432000 4194304 4196468 140721593046768 140241826301552 140243556181717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11535] ppid=11520 vsize=26538700 memory=1004 CPUtime=0 cores=0-7 /proc/11522/task/11535/stat : 11535 (java) S 11520 11520 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151593026 27175628800 26630 33554432000 4194304 4196468 140721593046768 140241825249872 140243556190107 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11536] ppid=11520 vsize=26538700 memory=1228 CPUtime=0.33 cores=0-7 /proc/11522/task/11536/stat : 11536 (java) R 11520 11520 6711 0 -1 4202560 1582 0 0 0 33 0 0 0 20 0 28 0 151593026 27175628800 26630 33554432000 4194304 4196468 140721593046768 140241824186528 140243537692902 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11537] ppid=11520 vsize=26538700 memory=1952 CPUtime=0.3 cores=0-7 /proc/11522/task/11537/stat : 11537 (java) R 11520 11520 6711 0 -1 4202560 1012 0 0 0 30 0 0 0 20 0 28 0 151593026 27175628800 26630 33554432000 4194304 4196468 140721593046768 140241486721392 140243537756290 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11538] ppid=11520 vsize=26538700 memory=5796 CPUtime=0.26 cores=0-7 /proc/11522/task/11538/stat : 11538 (java) R 11520 11520 6711 0 -1 4202560 983 0 0 0 26 0 0 0 20 0 28 0 151593026 27175628800 26630 33554432000 4194304 4196468 140721593046768 140241485665184 140243541053315 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11539] ppid=11520 vsize=26538700 memory=4616 CPUtime=0.45 cores=0-7 /proc/11522/task/11539/stat : 11539 (java) R 11520 11520 6711 0 -1 4202560 2457 0 0 0 45 0 0 0 20 0 28 0 151593026 27175628800 26630 33554432000 4194304 4196468 140721593046768 140241484630256 140243534163067 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11540] ppid=11520 vsize=26538700 memory=8620 CPUtime=0 cores=0-7 /proc/11522/task/11540/stat : 11540 (java) S 11520 11520 6711 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151593027 27175628800 26630 33554432000 4194304 4196468 140721593046768 140241483578208 140243556181717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11541] ppid=11520 vsize=26538700 memory=792 CPUtime=0 cores=0-7 /proc/11522/task/11541/stat : 11541 (java) S 11520 11520 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151593027 27175628800 26630 33554432000 4194304 4196468 140721593046768 140241482525488 140243556182658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 Current children cumulated CPU time: 2.75 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 107904 KiB [startup+1.00089 s]* /proc/loadavg: 8.13 8.31 8.15 12/208 11589 /proc/meminfo: memFree=25334600/32770624 swapFree=67108860/67108860 [pid=11520] ppid=11517 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/11520/stat : 11520 (xcsp3-exec) S 11517 11520 6711 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151593021 9740288 346 33554432000 4194304 5098028 140723049349248 140723049347352 140093359743612 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27115520 140723049358443 140723049358652 140723049358652 140723049361387 0 /proc/11520/statm: 2378 346 289 221 0 87 0 [pid=11522] ppid=11520 vsize=26538700 memory=181656 CPUtime=4.24 cores=0-7 /proc/11522/stat : 11522 (java) S 11520 11520 6711 0 -1 1077944320 16633 0 0 0 414 10 0 0 20 0 27 0 151593021 27175628800 45414 33554432000 4194304 4196468 140721593046768 140721593029312 140243556171511 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 /proc/11522/statm: 6634675 45414 3223 1 0 6621909 0 [pid=11522/tid=11523] ppid=11520 vsize=26538700 memory=0 CPUtime=0.62 cores=0-7 /proc/11522/task/11523/stat : 11523 (java) S 11520 11520 6711 0 -1 1077944384 6828 0 0 0 59 3 0 0 20 0 27 0 151593021 27175628800 45414 33554432000 4194304 4196468 140721593046768 140243560412288 140243556181717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11524] ppid=11520 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/11522/task/11524/stat : 11524 (java) S 11520 11520 6711 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 27 0 151593022 27175628800 45414 33554432000 4194304 4196468 140721593046768 140243508792208 140243556181717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11525] ppid=11520 vsize=26538700 memory=279279175687536 CPUtime=0 cores=0-7 /proc/11522/task/11525/stat : 11525 (java) S 11520 11520 6711 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 27 0 151593022 27175628800 45414 33554432000 4194304 4196468 140721593046768 140243507739408 140243556181717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11526] ppid=11520 vsize=26538700 memory=-1 CPUtime=0 cores=0-7 /proc/11522/task/11526/stat : 11526 (java) S 11520 11520 6711 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 27 0 151593022 27175628800 45414 33554432000 4194304 4196468 140721593046768 140243506687120 140243556181717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11527] ppid=11520 vsize=26538700 memory=7590649296867183008 CPUtime=0 cores=0-7 /proc/11522/task/11527/stat : 11527 (java) S 11520 11520 6711 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 27 0 151593022 27175628800 45414 33554432000 4194304 4196468 140721593046768 140243505634320 140243556181717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11528] ppid=11520 vsize=26538700 memory=7232890293113415765 CPUtime=0 cores=0-7 /proc/11522/task/11528/stat : 11528 (java) S 11520 11520 6711 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 27 0 151593022 27175628800 45414 33554432000 4194304 4196468 140721593046768 140243504581008 140243556181717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11529] ppid=11520 vsize=26538700 memory=2321098961575092271 CPUtime=0 cores=0-7 /proc/11522/task/11529/stat : 11529 (java) S 11520 11520 6711 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 27 0 151593022 27175628800 45414 33554432000 4194304 4196468 140721593046768 140243503528208 140243556181717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11530] ppid=11520 vsize=26538700 memory=8318255677412212789 CPUtime=0 cores=0-7 /proc/11522/task/11530/stat : 11530 (java) S 11520 11520 6711 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 27 0 151593022 27175628800 45414 33554432000 4194304 4196468 140721593046768 140243502475920 140243556181717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11531] ppid=11520 vsize=26538700 memory=288230583233151328 CPUtime=0 cores=0-7 /proc/11522/task/11531/stat : 11531 (java) S 11520 11520 6711 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 27 0 151593022 27175628800 45414 33554432000 4194304 4196468 140721593046768 140243501423120 140243556181717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11532] ppid=11520 vsize=26538700 memory=15542929238270731 CPUtime=0 cores=0-7 /proc/11522/task/11532/stat : 11532 (java) S 11520 11520 6711 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 27 0 151593023 27175628800 45414 33554432000 4194304 4196468 140721593046768 140241828407920 140243556182658 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11533] ppid=11520 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/11522/task/11533/stat : 11533 (java) S 11520 11520 6711 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 27 0 151593024 27175628800 45414 33554432000 4194304 4196468 140721593046768 140241827353888 140243556181717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11534] ppid=11520 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/11522/task/11534/stat : 11534 (java) S 11520 11520 6711 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 27 0 151593024 27175628800 45414 33554432000 4194304 4196468 140721593046768 140241826301552 140243556181717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11535] ppid=11520 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/11522/task/11535/stat : 11535 (java) S 11520 11520 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 27 0 151593026 27175628800 45414 33554432000 4194304 4196468 140721593046768 140241825249872 140243556190107 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11536] ppid=11520 vsize=26538700 memory=0 CPUtime=0.48 cores=0-7 /proc/11522/task/11536/stat : 11536 (java) R 11520 11520 6711 0 -1 4202560 1653 0 0 0 48 0 0 0 20 0 27 0 151593026 27175628800 45414 33554432000 4194304 4196468 140721593046768 140241824188000 140243541780176 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11537] ppid=11520 vsize=26538700 memory=0 CPUtime=0.48 cores=0-7 /proc/11522/task/11537/stat : 11537 (java) R 11520 11520 6711 0 -1 4202560 1443 0 0 0 48 0 0 0 20 0 27 0 151593026 27175628800 45414 33554432000 4194304 4196468 140721593046768 140241486715408 140243535415409 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11538] ppid=11520 vsize=26538700 memory=0 CPUtime=0.39 cores=0-7 /proc/11522/task/11538/stat : 11538 (java) R 11520 11520 6711 0 -1 4202560 1520 0 0 0 39 0 0 0 20 0 27 0 151593026 27175628800 45414 33554432000 4194304 4196468 140721593046768 140241485683184 140243535884280 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11539] ppid=11520 vsize=26538700 memory=0 CPUtime=0.53 cores=0-7 /proc/11522/task/11539/stat : 11539 (java) S 11520 11520 6711 0 -1 1077944384 2617 0 0 0 52 1 0 0 20 0 27 0 151593026 27175628800 45414 33554432000 4194304 4196468 140721593046768 140241484630256 140243556182658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11540] ppid=11520 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/11522/task/11540/stat : 11540 (java) S 11520 11520 6711 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 27 0 151593027 27175628800 45414 33554432000 4194304 4196468 140721593046768 140241483578208 140243556181717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11541] ppid=11520 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/11522/task/11541/stat : 11541 (java) S 11520 11520 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 27 0 151593027 27175628800 45414 33554432000 4194304 4196468 140721593046768 140241482525488 140243556182658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11590] ppid=11520 vsize=26538700 memory=664970774370811551 CPUtime=0 cores=0-7 /proc/11522/task/11590/stat : 11590 (java) R 11520 11520 6711 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 27 0 151593121 27175628800 45414 33554432000 4194304 4196468 140721593046768 140241471855936 140243186391523 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11591] ppid=11520 vsize=26538700 memory=6944656592455359580 CPUtime=0 cores=0-7 /proc/11522/task/11591/stat : 11591 (java) R 11520 11520 6711 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 27 0 151593121 27175628800 45414 33554432000 4194304 4196468 140721593046768 140241475014960 140243186994109 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11592] ppid=11520 vsize=26538700 memory=139643950388863 CPUtime=0 cores=0-7 /proc/11522/task/11592/stat : 11592 (java) R 11520 11520 6711 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 27 0 151593121 27175628800 45414 33554432000 4194304 4196468 140721593046768 140241473961280 140243556181717 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11593] ppid=11520 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/11522/task/11593/stat : 11593 (java) S 11520 11520 6711 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 27 0 151593121 27175628800 45414 33554432000 4194304 4196468 140721593046768 140241469750832 140243556181717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11594] ppid=11520 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/11522/task/11594/stat : 11594 (java) R 11520 11520 6711 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 27 0 151593121 27175628800 45414 33554432000 4194304 4196468 140721593046768 140241467648992 140243556183446 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11595] ppid=11520 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/11522/task/11595/stat : 11595 (java) R 11520 11520 6711 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 27 0 151593121 27175628800 45414 33554432000 4194304 4196468 140721593046768 140241470806880 140243186391575 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11596] ppid=11520 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/11522/task/11596/stat : 11596 (java) R 11520 11520 6711 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 27 0 151593121 27175628800 45414 33554432000 4194304 4196468 140721593046768 140241469750464 140243548911361 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 Current children cumulated CPU time: 4.24 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 183040 KiB [startup+1.11609 s] /proc/loadavg: 8.13 8.31 8.15 12/208 11589 /proc/meminfo: memFree=25334600/32770624 swapFree=67108860/67108860 [pid=11520] ppid=11517 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/11520/stat : 11520 (xcsp3-exec) S 11517 11520 6711 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151593021 9740288 346 33554432000 4194304 5098028 140723049349248 140723049347352 140093359743612 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27115520 140723049358443 140723049358652 140723049358652 140723049361387 0 /proc/11520/statm: 2378 346 289 221 0 87 0 [pid=11522] ppid=11520 vsize=26538700 memory=186388 CPUtime=4.94 cores=0-7 /proc/11522/stat : 11522 (java) S 11520 11520 6711 0 -1 1077944320 17628 0 0 0 484 10 0 0 20 0 28 0 151593021 27175628800 46597 33554432000 4194304 4196468 140721593046768 140721593029312 140243556171511 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 /proc/11522/statm: 6634675 46597 3241 1 0 6621909 0 [pid=11522/tid=11523] ppid=11520 vsize=26538700 memory=0 CPUtime=0.63 cores=0-7 /proc/11522/task/11523/stat : 11523 (java) S 11520 11520 6711 0 -1 1077944384 6828 0 0 0 60 3 0 0 20 0 28 0 151593021 27175628800 46597 33554432000 4194304 4196468 140721593046768 140243560412288 140243556181717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11524] ppid=11520 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/11522/task/11524/stat : 11524 (java) S 11520 11520 6711 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151593022 27175628800 46597 33554432000 4194304 4196468 140721593046768 140243508792208 140243556181717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11525] ppid=11520 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/11522/task/11525/stat : 11525 (java) S 11520 11520 6711 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 151593022 27175628800 46597 33554432000 4194304 4196468 140721593046768 140243507739408 140243556181717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11526] ppid=11520 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/11522/task/11526/stat : 11526 (java) S 11520 11520 6711 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 28 0 151593022 27175628800 46597 33554432000 4194304 4196468 140721593046768 140243506687120 140243556181717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11527] ppid=11520 vsize=26538700 memory=1384 CPUtime=0 cores=0-7 /proc/11522/task/11527/stat : 11527 (java) S 11520 11520 6711 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 151593022 27175628800 46597 33554432000 4194304 4196468 140721593046768 140243505634320 140243556181717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11528] ppid=11520 vsize=26538700 memory=105624 CPUtime=0 cores=0-7 /proc/11522/task/11528/stat : 11528 (java) S 11520 11520 6711 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 151593022 27175628800 46597 33554432000 4194304 4196468 140721593046768 140243504581008 140243556181717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11529] ppid=11520 vsize=26538700 memory=279279041068720 CPUtime=0 cores=0-7 /proc/11522/task/11529/stat : 11529 (java) S 11520 11520 6711 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 151593022 27175628800 46597 33554432000 4194304 4196468 140721593046768 140243503528208 140243556181717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11530] ppid=11520 vsize=26538700 memory=139639520535408 CPUtime=0 cores=0-7 /proc/11522/task/11530/stat : 11530 (java) S 11520 11520 6711 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 151593022 27175628800 46597 33554432000 4194304 4196468 140721593046768 140243502475920 140243556181717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11531] ppid=11520 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/11522/task/11531/stat : 11531 (java) S 11520 11520 6711 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 151593022 27175628800 46597 33554432000 4194304 4196468 140721593046768 140243501423120 140243556181717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11532] ppid=11520 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/11522/task/11532/stat : 11532 (java) S 11520 11520 6711 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 151593023 27175628800 46597 33554432000 4194304 4196468 140721593046768 140241828407920 140243556182658 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11533] ppid=11520 vsize=26538700 memory=49478023272976 CPUtime=0 cores=0-7 /proc/11522/task/11533/stat : 11533 (java) S 11520 11520 6711 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 151593024 27175628800 46597 33554432000 4194304 4196468 140721593046768 140241827353888 140243556181717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11534] ppid=11520 vsize=26538700 memory=49478023272977 CPUtime=0 cores=0-7 /proc/11522/task/11534/stat : 11534 (java) S 11520 11520 6711 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 151593024 27175628800 46597 33554432000 4194304 4196468 140721593046768 140241826301552 140243556181717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11535] ppid=11520 vsize=26538700 memory=49478023272978 CPUtime=0 cores=0-7 /proc/11522/task/11535/stat : 11535 (java) S 11520 11520 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151593026 27175628800 46597 33554432000 4194304 4196468 140721593046768 140241825249872 140243556190107 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11536] ppid=11520 vsize=26538700 memory=49478023272979 CPUtime=0.56 cores=0-7 /proc/11522/task/11536/stat : 11536 (java) S 11520 11520 6711 0 -1 1077944384 1671 0 0 0 56 0 0 0 20 0 28 0 151593026 27175628800 46597 33554432000 4194304 4196468 140721593046768 140241824196720 140243556182658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11537] ppid=11520 vsize=26538700 memory=49478023272980 CPUtime=0.57 cores=0-7 /proc/11522/task/11537/stat : 11537 (java) R 11520 11520 6711 0 -1 1077944384 1467 0 0 0 57 0 0 0 20 0 28 0 151593026 27175628800 46597 33554432000 4194304 4196468 140721593046768 140241486735344 140243556182658 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11538] ppid=11520 vsize=26538700 memory=49478023272981 CPUtime=0.47 cores=0-7 /proc/11522/task/11538/stat : 11538 (java) S 11520 11520 6711 0 -1 1077944384 1544 0 0 0 47 0 0 0 20 0 28 0 151593026 27175628800 46597 33554432000 4194304 4196468 140721593046768 140241485683184 140243556181717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11539] ppid=11520 vsize=26538700 memory=0 CPUtime=0.58 cores=0-7 /proc/11522/task/11539/stat : 11539 (java) R 11520 11520 6711 0 -1 4202560 2699 0 0 0 57 1 0 0 20 0 28 0 151593026 27175628800 46597 33554432000 4194304 4196468 140721593046768 140241484628048 140243540411770 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11540] ppid=11520 vsize=26538700 memory=6944656592387989600 CPUtime=0 cores=0-7 /proc/11522/task/11540/stat : 11540 (java) S 11520 11520 6711 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151593027 27175628800 46597 33554432000 4194304 4196468 140721593046768 140241483578208 140243556181717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 [pid=11522/tid=11541] ppid=11520 vsize=26538700 memory=6943526294502006880 CPUtime=0 cores=0-7 /proc/11522/task/11541/stat : 11541 (java) S 11520 11520 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151593027 27175628800 46597 33554432000 4194304 4196468 140721593046768 140241482525488 140243556182658 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11575296 140721593054360 140721593054536 140721593054536 140721593057231 0 Current children cumulated CPU time: 4.94 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 187772 KiB Child status: 0 Real time (s): 1.19593 CPU time (s): 5.45663 CPU user time (s): 5.34029 CPU system time (s): 0.116341 CPU usage (%): 456.268 Max. virtual memory (cumulated for all children) (KiB): 26548212 Max. memory (cumulated for all children) (KiB): 187772 getrusage(RUSAGE_CHILDREN,...) data: user time used= 5.34029 system time used= 0.116341 maximum resident set size= 189792 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 18249 page faults= 0 swaps= 0 block input operations= 0 block output operations= 72 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3678 involuntary context switches= 77 # summary of solver processes directly reported to runsolver: # pid: 11520 # total CPU time (s): 5.45663 # total CPU user time (s): 5.34029 # total CPU system time (s): 0.116341 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.032381 second user time and 0.05348 second system time The end
Begin job on node148 at 2017-08-20 01:11:01 IDJOB=4281309 IDBENCH=124159 IDSOLVER=2676 FILE ID=node148/4281309-1503185121 RUNJOBID= node148-1503175375-6738 PBS_JOBID= 20630845 Free space on /tmp= 61948 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t07-8.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-4281309-1503185121/watcher-4281309-1503185121 -o /tmp/evaluation-result-4281309-1503185121/solver-4281309-1503185121 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node148-1503175375-6738 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 514257753 HOME/instance-4281309-1503185121.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 40646ce9221c3d81d8047571f517aa3c RANDOM SEED=514257753 node148.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.19 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.19 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.19 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.19 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: 25505040 kB MemAvailable: 31977208 kB Buffers: 295876 kB Cached: 6470016 kB SwapCached: 0 kB Active: 1169188 kB Inactive: 5649672 kB Active(anon): 4408 kB Inactive(anon): 84704 kB Active(file): 1164780 kB Inactive(file): 5564968 kB Unevictable: 7784 kB Mlocked: 7784 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7556 kB Writeback: 0 kB AnonPages: 82704 kB Mapped: 52060 kB Shmem: 33416 kB Slab: 142976 kB SReclaimable: 116512 kB SUnreclaim: 26464 kB KernelStack: 3536 kB PageTables: 4864 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 333596 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 28672 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 126336 kB DirectMap2M: 33419264 kB Free space on /tmp at the end= 61940 MiB End job on node148 at 2017-08-20 01:11:02