Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Choco-solver 4.0.7b par (e747e1e) | SAT (TO) | 2619 | 20008.7 | 2520.12 |
Name | NurseRostering/ NurseRostering-04_c18.xml |
MD5SUM | 3e14d2a5b30f836b117ab38c1a042f13 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 2619 |
Best CPU time to get the best result obtained on this benchmark | 20008.7 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 589 |
Number of constraints | 1410 |
Number of domains | 13 |
Minimum domain size | 1 |
Maximum domain size | 29 |
Distribution of domain sizes | [{"size":1,"count":30},{"size":2,"count":111},{"size":3,"count":280},{"size":11,"count":140},{"size":29,"count":28}] |
Minimum variable degree | 2 |
Maximum variable degree | 21 |
Distribution of variable degrees | [{"degree":2,"count":269},{"degree":3,"count":40},{"degree":11,"count":9},{"degree":12,"count":11},{"degree":14,"count":8},{"degree":15,"count":10},{"degree":16,"count":15},{"degree":17,"count":23},{"degree":18,"count":18},{"degree":19,"count":79},{"degree":20,"count":85},{"degree":21,"count":22}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 29 |
Distribution of constraint arities | [{"arity":2,"count":525},{"arity":3,"count":530},{"arity":4,"count":10},{"arity":6,"count":230},{"arity":11,"count":84},{"arity":20,"count":1},{"arity":29,"count":30}] |
Number of extensional constraints | 354 |
Number of intensional constraints | 171 |
Distribution of constraint types | [{"type":"extension","count":354},{"type":"intension","count":171},{"type":"regular","count":520},{"type":"sum","count":20},{"type":"count","count":344},{"type":"instantiation","count":1}] |
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-4297521-1532691423.xml" -tl '20160s' -p 8 0.11/0.17 c Choco e747e1e 0.11/0.18 c [HOME/instance-4297521-1532691423.xml, -tl, 20160s, -p, 8] 0.11/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 6.47/1.88 c solve instance... 7.71/2.09 o 9562 9.00/2.21 o 9461 9.00/2.26 o 9360 12.08/2.64 o 3627 39.08/6.26 o 3445 39.80/6.38 o 3339 41.07/6.56 o 3238 43.99/6.93 o 2760 593.08/75.83 o 2620 593.08/75.89 o 2619 20007.88/2520.09 s SATISFIABLE 20007.88/2520.09 v <instantiation> 20007.88/2520.09 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] ps[0][0] ps[0][1] ps[0][2] ps[1][0] ps[1][1] ps[1][2] ps[2][0] ps[2][1] ps[2][2] ps[3][0] ps[3][1] ps[3][2] ps[4][0] ps[4][1] ps[4][2] ps[5][0] ps[5][1] ps[5][2] ps[6][0] ps[6][1] ps[6][2] ps[7][0] ps[7][1] ps[7][2] ps[8][0] ps[8][1] ps[8][2] ps[9][0] ps[9][1] ps[9][2] ds[0][0] ds[0][1] ds[0][2] ds[1][0] ds[1][1] ds[1][2] ds[2][0] ds[2][1] ds[2][2] ds[3][0] ds[3][1] ds[3][2] ds[4][0] ds[4][1] ds[4][2] ds[5][0] ds[5][1] ds[5][2] ds[6][0] ds[6][1] ds[6][2] ds[7][0] ds[7][1] ds[7][2] ds[8][0] ds[8][1] ds[8][2] ds[9][0] ds[9][1] ds[9][2] ds[10][0] ds[10][1] ds[10][2] ds[11][0] ds[11][1] ds[11][2] ds[12][0] ds[12][1] ds[12][2] ds[13][0] ds[13][1] ds[13][2] ds[14][0] ds[14][1] ds[14][2] ds[15][0] ds[15][1] ds[15][2] ds[16][0] ds[16][1] ds[16][2] ds[17][0] ds[17][1] ds[17][2] ds[18][0] ds[18][1] ds[18][2] ds[19][0] ds[19][1] ds[19][2] ds[20][0] ds[20][1] ds[20][2] ds[21][0] ds[21][1] ds[21][2] ds[22][0] ds[22][1] ds[22][2] ds[23][0] ds[23][1] ds[23][2] ds[24][0] ds[24][1] ds[24][2] ds[25][0] ds[25][1] ds[25][2] ds[26][0] ds[26][1] ds[26][2] ds[27][0] ds[27][1] ds[27][2] wk[0][0] wk[0][1] wk[0][2] wk[0][3] wk[1][0] wk[1][1] wk[1][2] wk[1][3] wk[2][0] wk[2][1] wk[2][2] wk[2][3] wk[3][0] wk[3][1] wk[3][2] wk[3][3] wk[4][0] wk[4][1] wk[4][2] wk[4][3] wk[5][0] wk[5][1] wk[5][2] wk[5][3] wk[6][0] wk[6][1] wk[6][2] wk[6][3] wk[7][0] wk[7][1] wk[7][2] wk[7][3] wk[8][0] wk[8][1] wk[8][2] wk[8][3] wk[9][0] wk[9][1] wk[9][2] wk[9][3] cn[0] cn[1] cn[2] cn[3] cn[4] cn[5] cn[6] cn[7] cn[8] cn[9] cn[10] cn[11] cn[12] cn[13] cn[14] cn[15] cn[16] cn[17] cn[18] cn[19] cn[20] cn[21] cn[22] cn[23] cn[24] cn[25] cn[26] cn[27] cn[28] cn[29] cn[30] cn[31] cn[32] cn[33] cn[34] cn[35] cn[36] cn[37] cn[38] cn[39] cn[40] cn[41] cn[42] cn[43] cn[44] cn[45] cn[46] cn[47] cn[48] cn[49] cn[50] cn[51] cf[0] cf[1] cf[2] cf[3] cf[4] cf[5] cf[6] cf[7] cf[8] cf[9] cf[10] cf[11] cf[12] cf[13] cf[14] cf[15] cf[16] cf[17] cf[18] cc[0][0] cc[0][1] cc[0][2] cc[1][0] cc[1][1] cc[1][2] cc[2][0] cc[2][1] cc[2][2] cc[3][0] cc[3][1] cc[3][2] cc[4][0] cc[4][1] cc[4][2] cc[5][0] cc[5][1] cc[5][2] cc[6][0] cc[6][1] cc[6][2] cc[7][0] cc[7][1] cc[7][2] cc[8][0] cc[8][1] cc[8][2] cc[9][0] cc[9][1] cc[9][2] cc[10][0] cc[10][1] cc[10][2] cc[11][0] cc[11][1] cc[11][2] cc[12][0] cc[12][1] cc[12][2] cc[13][0] cc[13][1] cc[13][2] cc[14][0] cc[14][1] cc[14][2] cc[15][0] cc[15][1] cc[15][2] cc[16][0] cc[16][1] cc[16][2] cc[17][0] cc[17][1] cc[17][2] cc[18][0] cc[18][1] cc[18][2] cc[19][0] cc[19][1] cc[19][2] cc[20][0] cc[20][1] cc[20][2] cc[21][0] cc[21][1] cc[21][2] cc[22][0] cc[22][1] cc[22][2] cc[23][0] cc[23][1] cc[23][2] cc[24][0] cc[24][1] cc[24][2] cc[25][0] cc[25][1] cc[25][2] cc[26][0] cc[26][1] cc[26][2] cc[27][0] cc[27][1] cc[27][2] </list> 20007.88/2520.09 v <values>0 2 0 2 2 1 1 1 0 2 0 0 0 2 2 1 1 1 0 0 1 0 0 2 0 1 1 1 0 0 1 0 2 0 0 1 2 1 2 0 1 0 2 1 0 2 2 2 2 1 2 2 0 2 0 2 2 2 1 1 2 2 0 2 0 1 1 2 1 2 1 0 0 0 2 1 1 2 2 2 1 0 0 0 2 2 1 1 2 0 2 0 2 0 0 2 1 1 2 0 2 2 2 0 0 1 1 2 1 0 0 2 2 0 0 1 2 2 1 0 0 2 2 2 2 2 2 0 1 2 0 2 2 2 2 2 2 0 1 2 0 0 2 1 0 1 2 1 2 2 0 0 1 1 0 1 0 1 2 0 2 2 1 1 0 1 0 1 0 0 2 2 1 2 0 2 1 2 0 0 2 2 1 2 0 2 2 2 1 1 2 0 2 0 2 2 2 0 2 2 2 0 2 0 2 2 1 1 2 2 2 2 2 0 0 2 1 2 0 2 2 2 2 0 0 1 1 2 0 2 1 0 0 0 2 1 1 0 0 2 1 0 0 2 2 1 1 0 0 2 1 0 0 2 0 1 2 0 1 1 1 0 0 0 0 1 2 2 2 1 2 0 0 0 0 2 2 2 2 1 7 9 12 16 0 12 12 4 12 13 4 11 18 0 10 0 16 12 2 14 12 6 10 12 9 8 11 10 6 12 3 3 4 5 3 2 5 4 1 4 3 3 2 3 5 2 2 6 2 3 5 3 3 4 4 3 3 4 2 4 3 3 4 4 2 4 2 1 7 2 1 7 3 3 4 5 4 1 4 4 2 3 2 5 1 3 6 3 0 7 2 2 6 3 1 6 3 2 5 5 3 2 4 3 3 4 4 2 4 3 3 4 1 5 0 1 0 1 0 0 1 1 1 0 0 1 0 0 1 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 1 0 0 1 0 0 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 3 0 0 0 0 0 0 0 0 3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 2 0 0 1 0 0 2 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 100 0 0 200 0 300 200 0 0 100 0 0 0 0 0 0 0 0 0 0 100 0 0 300 400 0 0 0 0 100 300 0 0 0 0 0 0 0 0 100 0 0 200 0 0 100 0 0 0 0 </values> 20007.88/2520.09 v </instantiation> 20007.88/2520.09 c Unexpected resolution interruption!
OK 2619
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 (12746 MiB free) memory of node 1: 16384 MiB (14747 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297521-1532691423/watcher-4297521-1532691423 -o /tmp/evaluation-result-4297521-1532691423/solver-4297521-1532691423 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node150-1532683855-20570 --watchdog 2580 HOME/xcsp3-exec -seed 1528550551 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297521-1532691423.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=21177, runsolver pid=21174 Current StackSize limit: 8192 KiB [startup+0.100204 s]* /proc/loadavg: 8.02 8.20 8.27 2/199 21198 /proc/meminfo: memFree=28139844/32770624 swapFree=67108792/67108860 [pid=21177] ppid=21174 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/21177/stat : 21177 (xcsp3-exec) S 21174 21177 20543 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 86705562 115843072 363 33554432000 4194304 5098028 140722416516384 140722416514488 140222913917564 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20402176 140722416522293 140722416522496 140722416522496 140722416525258 0 /proc/21177/statm: 28282 363 305 221 0 87 0 [pid=21179] ppid=21177 vsize=26104152 memory=26948 CPUtime=0.11 cores=0-7 /proc/21179/stat : 21179 (java) S 21177 21177 20543 0 -1 1077944320 5660 0 0 0 10 1 0 0 20 0 20 0 86705563 26730651648 6737 33554432000 4194304 4196468 140725402772192 140725402754736 139760628457207 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 /proc/21179/statm: 6526038 6737 2999 1 0 6488315 0 [pid=21179/tid=21180] ppid=21177 vsize=26104152 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/21179/task/21180/stat : 21180 (java) R 21177 21177 20543 0 -1 4202560 3667 0 0 0 8 1 0 0 20 0 20 0 86705563 26730651648 6802 33554432000 4194304 4196468 140725402772192 139760632690480 139760628469142 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21181] ppid=21177 vsize=26104152 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/21179/task/21181/stat : 21181 (java) S 21177 21177 20543 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86705564 26730651648 6802 33554432000 4194304 4196468 140725402772192 139760186817296 139760628467413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21182] ppid=21177 vsize=26104152 memory=139649021929088 CPUtime=0 cores=0-7 /proc/21179/task/21182/stat : 21182 (java) S 21177 21177 20543 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86705564 26730651648 6802 33554432000 4194304 4196468 140725402772192 139760185764752 139760628467413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21183] ppid=21177 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/21179/task/21183/stat : 21183 (java) S 21177 21177 20543 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86705564 26730651648 6802 33554432000 4194304 4196468 140725402772192 139760184712208 139760628467413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21184] ppid=21177 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/21179/task/21184/stat : 21184 (java) S 21177 21177 20543 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86705564 26730651648 6802 33554432000 4194304 4196468 140725402772192 139760183659664 139760628467413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21185] ppid=21177 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/21179/task/21185/stat : 21185 (java) S 21177 21177 20543 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86705564 26730651648 6802 33554432000 4194304 4196468 140725402772192 139760182606096 139760628467413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21186] ppid=21177 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/21179/task/21186/stat : 21186 (java) S 21177 21177 20543 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86705564 26730651648 6802 33554432000 4194304 4196468 140725402772192 139760181553552 139760628467413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21187] ppid=21177 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/21179/task/21187/stat : 21187 (java) S 21177 21177 20543 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86705564 26730651648 6802 33554432000 4194304 4196468 140725402772192 139760180501008 139760628467413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21188] ppid=21177 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/21179/task/21188/stat : 21188 (java) S 21177 21177 20543 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86705564 26730651648 6802 33554432000 4194304 4196468 140725402772192 139760179448464 139760628467413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21189] ppid=21177 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/21179/task/21189/stat : 21189 (java) S 21177 21177 20543 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86705565 26730651648 6802 33554432000 4194304 4196468 140725402772192 139760024181232 139760628468354 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21190] ppid=21177 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/21179/task/21190/stat : 21190 (java) S 21177 21177 20543 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 86705566 26730651648 6802 33554432000 4194304 4196468 140725402772192 139760023127456 139760628467413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21191] ppid=21177 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/21179/task/21191/stat : 21191 (java) S 21177 21177 20543 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 86705566 26730651648 6802 33554432000 4194304 4196468 140725402772192 139760022074864 139760628467413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21192] ppid=21177 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/21179/task/21192/stat : 21192 (java) S 21177 21177 20543 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86705568 26730651648 6802 33554432000 4194304 4196468 140725402772192 139760021023440 139760628475803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21193] ppid=21177 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/21179/task/21193/stat : 21193 (java) S 21177 21177 20543 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 20 0 86705568 26730651648 6802 33554432000 4194304 4196468 140725402772192 139760019970032 139760628468354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21194] ppid=21177 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/21179/task/21194/stat : 21194 (java) S 21177 21177 20543 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86705568 26730651648 6802 33554432000 4194304 4196468 140725402772192 139760018917488 139760628468354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21195] ppid=21177 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/21179/task/21195/stat : 21195 (java) S 21177 21177 20543 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 86705568 26730651648 6802 33554432000 4194304 4196468 140725402772192 139760017864944 139760628468354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21196] ppid=21177 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/21179/task/21196/stat : 21196 (java) R 21177 21177 20543 0 -1 4202560 265 0 0 0 1 0 0 0 20 0 20 0 86705568 26730651648 6802 33554432000 4194304 4196468 140725402772192 139760016812400 139760612537694 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21197] ppid=21177 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/21179/task/21197/stat : 21197 (java) S 21177 21177 20543 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86705569 26730651648 6802 33554432000 4194304 4196468 140725402772192 139760015760096 139760628467413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21198] ppid=21177 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/21179/task/21198/stat : 21198 (java) S 21177 21177 20543 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86705569 26730651648 6802 33554432000 4194304 4196468 140725402772192 139760014707632 139760628468354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 28400 KiB [startup+0.210373 s]* /proc/loadavg: 8.02 8.20 8.27 3/199 21198 /proc/meminfo: memFree=28128264/32770624 swapFree=67108792/67108860 [pid=21177] ppid=21174 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/21177/stat : 21177 (xcsp3-exec) S 21174 21177 20543 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 86705562 115843072 363 33554432000 4194304 5098028 140722416516384 140722416514488 140222913917564 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20402176 140722416522293 140722416522496 140722416522496 140722416525258 0 /proc/21177/statm: 28282 363 305 221 0 87 0 [pid=21179] ppid=21177 vsize=26104152 memory=39424 CPUtime=0.33 cores=0-7 /proc/21179/stat : 21179 (java) S 21177 21177 20543 0 -1 1077944320 8485 0 0 0 31 2 0 0 20 0 20 0 86705563 26730651648 9856 33554432000 4194304 4196468 140725402772192 140725402754736 139760628457207 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 /proc/21179/statm: 6526038 9856 3155 1 0 6488315 0 [pid=21179/tid=21180] ppid=21177 vsize=26104152 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/21179/task/21180/stat : 21180 (java) R 21177 21177 20543 0 -1 4202560 5562 0 0 0 18 1 0 0 20 0 20 0 86705563 26730651648 9856 33554432000 4194304 4196468 140725402772192 139760632692192 139760612500837 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21181] ppid=21177 vsize=26104152 memory=330 CPUtime=0 cores=0-7 /proc/21179/task/21181/stat : 21181 (java) S 21177 21177 20543 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86705564 26730651648 9856 33554432000 4194304 4196468 140725402772192 139760186817296 139760628467413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21182] ppid=21177 vsize=26104152 memory=3545098384876267168 CPUtime=0 cores=0-7 /proc/21179/task/21182/stat : 21182 (java) S 21177 21177 20543 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86705564 26730651648 9856 33554432000 4194304 4196468 140725402772192 139760185764752 139760628467413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21183] ppid=21177 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/21179/task/21183/stat : 21183 (java) S 21177 21177 20543 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86705564 26730651648 9856 33554432000 4194304 4196468 140725402772192 139760184712208 139760628467413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21184] ppid=21177 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/21179/task/21184/stat : 21184 (java) S 21177 21177 20543 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86705564 26730651648 9856 33554432000 4194304 4196468 140725402772192 139760183659664 139760628467413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21185] ppid=21177 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/21179/task/21185/stat : 21185 (java) S 21177 21177 20543 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86705564 26730651648 9856 33554432000 4194304 4196468 140725402772192 139760182606096 139760628467413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21186] ppid=21177 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/21179/task/21186/stat : 21186 (java) S 21177 21177 20543 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86705564 26730651648 9856 33554432000 4194304 4196468 140725402772192 139760181553552 139760628467413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21187] ppid=21177 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/21179/task/21187/stat : 21187 (java) S 21177 21177 20543 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86705564 26730651648 9856 33554432000 4194304 4196468 140725402772192 139760180501008 139760628467413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21188] ppid=21177 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/21179/task/21188/stat : 21188 (java) S 21177 21177 20543 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86705564 26730651648 9856 33554432000 4194304 4196468 140725402772192 139760179448464 139760628467413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21189] ppid=21177 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/21179/task/21189/stat : 21189 (java) S 21177 21177 20543 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 86705565 26730651648 9856 33554432000 4194304 4196468 140725402772192 139760024181232 139760628468354 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21190] ppid=21177 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/21179/task/21190/stat : 21190 (java) S 21177 21177 20543 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 86705566 26730651648 9856 33554432000 4194304 4196468 140725402772192 139760023127456 139760628467413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21191] ppid=21177 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/21179/task/21191/stat : 21191 (java) S 21177 21177 20543 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 86705566 26730651648 9856 33554432000 4194304 4196468 140725402772192 139760022074864 139760628467413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21192] ppid=21177 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/21179/task/21192/stat : 21192 (java) S 21177 21177 20543 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86705568 26730651648 9856 33554432000 4194304 4196468 140725402772192 139760021023440 139760628475803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21193] ppid=21177 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/21179/task/21193/stat : 21193 (java) S 21177 21177 20543 0 -1 1077944384 382 0 0 0 1 0 0 0 20 0 20 0 86705568 26730651648 9856 33554432000 4194304 4196468 140725402772192 139760019970032 139760628468354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21194] ppid=21177 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/21179/task/21194/stat : 21194 (java) S 21177 21177 20543 0 -1 1077944384 124 0 0 0 1 0 0 0 20 0 20 0 86705568 26730651648 9856 33554432000 4194304 4196468 140725402772192 139760018917488 139760628468354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21195] ppid=21177 vsize=26104152 memory=-1 CPUtime=0.01 cores=0-7 /proc/21179/task/21195/stat : 21195 (java) S 21177 21177 20543 0 -1 1077944384 311 0 0 0 1 0 0 0 20 0 20 0 86705568 26730651648 9856 33554432000 4194304 4196468 140725402772192 139760017864944 139760628468354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21196] ppid=21177 vsize=26104152 memory=-1 CPUtime=0.07 cores=0-7 /proc/21179/task/21196/stat : 21196 (java) S 21177 21177 20543 0 -1 1077944384 795 0 0 0 7 0 0 0 20 0 20 0 86705568 26730651648 9856 33554432000 4194304 4196468 140725402772192 139760016812400 139760628468354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21197] ppid=21177 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/21179/task/21197/stat : 21197 (java) S 21177 21177 20543 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86705569 26730651648 9856 33554432000 4194304 4196468 140725402772192 139760015760096 139760628467413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21198] ppid=21177 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/21179/task/21198/stat : 21198 (java) S 21177 21177 20543 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86705569 26730651648 9856 33554432000 4194304 4196468 140725402772192 139760014707632 139760628468354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 40876 KiB [startup+0.316367 s]* /proc/loadavg: 8.02 8.20 8.27 3/199 21198 /proc/meminfo: memFree=28121564/32770624 swapFree=67108792/67108860 [pid=21177] ppid=21174 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/21177/stat : 21177 (xcsp3-exec) S 21174 21177 20543 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 86705562 115843072 363 33554432000 4194304 5098028 140722416516384 140722416514488 140222913917564 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20402176 140722416522293 140722416522496 140722416522496 140722416525258 0 /proc/21177/statm: 28282 363 305 221 0 87 0 [pid=21179] ppid=21177 vsize=26108408 memory=46620 CPUtime=0.52 cores=0-7 /proc/21179/stat : 21179 (java) S 21177 21177 20543 0 -1 1077944320 9440 0 0 0 49 3 0 0 20 0 20 0 86705563 26735009792 11655 33554432000 4194304 4196468 140725402772192 140725402754736 139760628457207 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 /proc/21179/statm: 6527102 11655 3217 1 0 6488315 0 [pid=21179/tid=21180] ppid=21177 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/21179/task/21180/stat : 21180 (java) R 21177 21177 20543 0 -1 4202560 6327 0 0 0 27 2 0 0 20 0 20 0 86705563 26735009792 11655 33554432000 4194304 4196468 140725402772192 139760632693984 139760612537724 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21181] ppid=21177 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/21179/task/21181/stat : 21181 (java) S 21177 21177 20543 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86705564 26735009792 11655 33554432000 4194304 4196468 140725402772192 139760186817296 139760628467413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21182] ppid=21177 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/21179/task/21182/stat : 21182 (java) S 21177 21177 20543 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86705564 26735009792 11655 33554432000 4194304 4196468 140725402772192 139760185764752 139760628467413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21183] ppid=21177 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/21179/task/21183/stat : 21183 (java) S 21177 21177 20543 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86705564 26735009792 11655 33554432000 4194304 4196468 140725402772192 139760184712208 139760628467413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21184] ppid=21177 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/21179/task/21184/stat : 21184 (java) S 21177 21177 20543 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86705564 26735009792 11655 33554432000 4194304 4196468 140725402772192 139760183659664 139760628467413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21185] ppid=21177 vsize=26108408 memory=2244 CPUtime=0 cores=0-7 /proc/21179/task/21185/stat : 21185 (java) S 21177 21177 20543 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86705564 26735009792 11655 33554432000 4194304 4196468 140725402772192 139760182606096 139760628467413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21186] ppid=21177 vsize=26108408 memory=139648915567535 CPUtime=0 cores=0-7 /proc/21179/task/21186/stat : 21186 (java) S 21177 21177 20543 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86705564 26735009792 11655 33554432000 4194304 4196468 140725402772192 139760181553552 139760628467413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21187] ppid=21177 vsize=26108408 memory=139648915569840 CPUtime=0 cores=0-7 /proc/21179/task/21187/stat : 21187 (java) S 21177 21177 20543 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86705564 26735009792 11655 33554432000 4194304 4196468 140725402772192 139760180501008 139760628467413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21188] ppid=21177 vsize=26108408 memory=139648915572144 CPUtime=0 cores=0-7 /proc/21179/task/21188/stat : 21188 (java) S 21177 21177 20543 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86705564 26735009792 11655 33554432000 4194304 4196468 140725402772192 139760179448464 139760628467413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21189] ppid=21177 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/21179/task/21189/stat : 21189 (java) S 21177 21177 20543 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 86705565 26735009792 11655 33554432000 4194304 4196468 140725402772192 139760024181232 139760628468354 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21190] ppid=21177 vsize=26108408 memory=279297831151248 CPUtime=0 cores=0-7 /proc/21179/task/21190/stat : 21190 (java) S 21177 21177 20543 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 86705566 26735009792 11655 33554432000 4194304 4196468 140725402772192 139760023127456 139760628467413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21191] ppid=21177 vsize=26108408 memory=279297831158160 CPUtime=0 cores=0-7 /proc/21179/task/21191/stat : 21191 (java) S 21177 21177 20543 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 86705566 26735009792 11655 33554432000 4194304 4196468 140725402772192 139760022074864 139760628467413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21192] ppid=21177 vsize=26108408 memory=279297831099440 CPUtime=0 cores=0-7 /proc/21179/task/21192/stat : 21192 (java) S 21177 21177 20543 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86705568 26735009792 11655 33554432000 4194304 4196468 140725402772192 139760021023440 139760628475803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21193] ppid=21177 vsize=26108408 memory=279297831171984 CPUtime=0.02 cores=0-7 /proc/21179/task/21193/stat : 21193 (java) S 21177 21177 20543 0 -1 1077944384 391 0 0 0 2 0 0 0 20 0 20 0 86705568 26735009792 11655 33554432000 4194304 4196468 140725402772192 139760019970032 139760628468354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21194] ppid=21177 vsize=26108408 memory=279297831178896 CPUtime=0.04 cores=0-7 /proc/21179/task/21194/stat : 21194 (java) S 21177 21177 20543 0 -1 1077944384 220 0 0 0 4 0 0 0 20 0 20 0 86705568 26735009792 11655 33554432000 4194304 4196468 140725402772192 139760018917488 139760628468354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21195] ppid=21177 vsize=26108408 memory=279297831176592 CPUtime=0.02 cores=0-7 /proc/21179/task/21195/stat : 21195 (java) S 21177 21177 20543 0 -1 1077944384 324 0 0 0 2 0 0 0 20 0 20 0 86705568 26735009792 11655 33554432000 4194304 4196468 140725402772192 139760017864944 139760628468354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21196] ppid=21177 vsize=26108408 memory=279297831192752 CPUtime=0.12 cores=0-7 /proc/21179/task/21196/stat : 21196 (java) S 21177 21177 20543 0 -1 1077944384 869 0 0 0 12 0 0 0 20 0 20 0 86705568 26735009792 11655 33554432000 4194304 4196468 140725402772192 139760016812400 139760628468354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21197] ppid=21177 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/21179/task/21197/stat : 21197 (java) S 21177 21177 20543 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86705569 26735009792 11655 33554432000 4194304 4196468 140725402772192 139760015760096 139760628467413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21198] ppid=21177 vsize=26108408 memory=-1 CPUtime=0 cores=0-7 /proc/21179/task/21198/stat : 21198 (java) S 21177 21177 20543 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86705569 26735009792 11655 33554432000 4194304 4196468 140725402772192 139760014707632 139760628468354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 26221536 KiB Current children cumulated memory: 48072 KiB [startup+0.700978 s] /proc/loadavg: 8.02 8.20 8.27 6/199 21198 /proc/meminfo: memFree=28102136/32770624 swapFree=67108792/67108860 [pid=21177] ppid=21174 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/21177/stat : 21177 (xcsp3-exec) S 21174 21177 20543 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 86705562 115843072 363 33554432000 4194304 5098028 140722416516384 140722416514488 140222913917564 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20402176 140722416522293 140722416522496 140722416522496 140722416525258 0 /proc/21177/statm: 28282 363 305 221 0 87 0 [pid=21179] ppid=21177 vsize=26110532 memory=93232 CPUtime=1.88 cores=0-7 /proc/21179/stat : 21179 (java) S 21177 21177 20543 0 -1 1077944320 15480 0 0 0 181 7 0 0 20 0 20 0 86705563 26737184768 23308 33554432000 4194304 4196468 140725402772192 140725402754736 139760628457207 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 /proc/21179/statm: 6527633 23308 3353 1 0 6488827 0 [pid=21179/tid=21180] ppid=21177 vsize=26110532 memory=279297831550640 CPUtime=0.67 cores=0-7 /proc/21179/task/21180/stat : 21180 (java) R 21177 21177 20543 0 -1 4202560 7364 0 0 0 63 4 0 0 20 0 20 0 86705563 26737184768 23308 33554432000 4194304 4196468 140725402772192 139760632676096 139760628469142 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21181] ppid=21177 vsize=26110532 memory=139648915776368 CPUtime=0 cores=0-7 /proc/21179/task/21181/stat : 21181 (java) S 21177 21177 20543 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86705564 26737184768 23308 33554432000 4194304 4196468 140725402772192 139760186817296 139760628467413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21182] ppid=21177 vsize=26110532 memory=0 CPUtime=0 cores=0-7 /proc/21179/task/21182/stat : 21182 (java) S 21177 21177 20543 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86705564 26737184768 23308 33554432000 4194304 4196468 140725402772192 139760185764752 139760628467413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21183] ppid=21177 vsize=26110532 memory=1008 CPUtime=0 cores=0-7 /proc/21179/task/21183/stat : 21183 (java) S 21177 21177 20543 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86705564 26737184768 23308 33554432000 4194304 4196468 140725402772192 139760184712208 139760628467413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 ################ # More data... # ################ [pid=21179/tid=21287] ppid=21177 vsize=26645092 memory=2167232 CPUtime=2335 cores=0-7 /proc/21179/task/21287/stat : 21287 (java) R 21177 21177 20543 0 -1 4202560 32992 0 0 0 233473 27 0 0 20 0 28 0 86713152 27284574208 541551 33554432000 4194304 4196468 140725402772192 139760001723696 139760275903603 0 4 0 16800975 0 0 0 -1 1 0 0 25 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 Current children cumulated CPU time: 19389.5 s Current children cumulated vsize: 26758220 KiB Current children cumulated memory: 2167656 KiB [startup+2502.3 s] /proc/loadavg: 8.13 8.31 8.37 9/207 21364 /proc/meminfo: memFree=25986224/32770624 swapFree=67108792/67108860 [pid=21177] ppid=21174 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/21177/stat : 21177 (xcsp3-exec) S 21174 21177 20543 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 86705562 115843072 363 33554432000 4194304 5098028 140722416516384 140722416514488 140222913917564 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20402176 140722416522293 140722416522496 140722416522496 140722416525258 0 /proc/21177/statm: 28282 363 305 221 0 87 0 [pid=21179] ppid=21177 vsize=26645092 memory=2174916 CPUtime=19867.2 cores=0-7 /proc/21179/stat : 21179 (java) S 21177 21177 20543 0 -1 1077944320 1450930 0 1 0 1985489 1228 0 0 20 0 28 0 86705563 27284574208 543729 33554432000 4194304 4196468 140725402772192 140725402754736 139760628457207 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 /proc/21179/statm: 6661273 543729 3461 1 0 6622467 0 [pid=21179/tid=21180] ppid=21177 vsize=26645092 memory=1452 CPUtime=1.8 cores=0-7 /proc/21179/task/21180/stat : 21180 (java) S 21177 21177 20543 0 -1 1077944384 9568 0 0 0 174 6 0 0 20 0 28 0 86705563 27284574208 543729 33554432000 4194304 4196468 140725402772192 139760632697984 139760628467413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21181] ppid=21177 vsize=26645092 memory=2174916 CPUtime=11.66 cores=0-7 /proc/21179/task/21181/stat : 21181 (java) S 21177 21177 20543 0 -1 1077944384 61274 0 0 0 1120 46 0 0 20 0 28 0 86705564 27284574208 543729 33554432000 4194304 4196468 140725402772192 139760186817296 139760628467413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21182] ppid=21177 vsize=26645092 memory=2174916 CPUtime=11.8 cores=0-7 /proc/21179/task/21182/stat : 21182 (java) S 21177 21177 20543 0 -1 1077944384 62943 0 0 0 1127 53 0 0 20 0 28 0 86705564 27284574208 543729 33554432000 4194304 4196468 140725402772192 139760185764752 139760628467413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21183] ppid=21177 vsize=26645092 memory=1452 CPUtime=11.63 cores=0-7 /proc/21179/task/21183/stat : 21183 (java) S 21177 21177 20543 0 -1 1077944384 60014 0 0 0 1110 53 0 0 20 0 28 0 86705564 27284574208 543729 33554432000 4194304 4196468 140725402772192 139760184712208 139760628467413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21184] ppid=21177 vsize=26645092 memory=4052 CPUtime=11.69 cores=0-7 /proc/21179/task/21184/stat : 21184 (java) S 21177 21177 20543 0 -1 1077944384 54496 0 0 0 1117 52 0 0 20 0 28 0 86705564 27284574208 543729 33554432000 4194304 4196468 140725402772192 139760183659664 139760628467413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21185] ppid=21177 vsize=26645092 memory=2176968 CPUtime=11.72 cores=0-7 /proc/21179/task/21185/stat : 21185 (java) S 21177 21177 20543 0 -1 1077944384 59948 0 0 0 1122 50 0 0 20 0 28 0 86705564 27284574208 543729 33554432000 4194304 4196468 140725402772192 139760182606096 139760628467413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21186] ppid=21177 vsize=26645092 memory=1452 CPUtime=11.65 cores=0-7 /proc/21179/task/21186/stat : 21186 (java) S 21177 21177 20543 0 -1 1077944384 56684 0 0 0 1117 48 0 0 20 0 28 0 86705564 27284574208 543729 33554432000 4194304 4196468 140725402772192 139760181553552 139760628467413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21187] ppid=21177 vsize=26645092 memory=9920 CPUtime=11.69 cores=0-7 /proc/21179/task/21187/stat : 21187 (java) S 21177 21177 20543 0 -1 1077944384 62494 0 0 0 1119 50 0 0 20 0 28 0 86705564 27284574208 543729 33554432000 4194304 4196468 140725402772192 139760180501008 139760628467413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21188] ppid=21177 vsize=26645092 memory=1944 CPUtime=11.75 cores=0-7 /proc/21179/task/21188/stat : 21188 (java) S 21177 21177 20543 0 -1 1077944384 55635 0 0 0 1121 54 0 0 20 0 28 0 86705564 27284574208 543729 33554432000 4194304 4196468 140725402772192 139760179448464 139760628467413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21189] ppid=21177 vsize=26645092 memory=4136 CPUtime=6.7 cores=0-7 /proc/21179/task/21189/stat : 21189 (java) S 21177 21177 20543 0 -1 1077944384 231366 0 0 0 388 282 0 0 20 0 28 0 86705565 27284574208 543729 33554432000 4194304 4196468 140725402772192 139760024181232 139760628468354 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 34 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21190] ppid=21177 vsize=26645092 memory=25528 CPUtime=0 cores=0-7 /proc/21179/task/21190/stat : 21190 (java) S 21177 21177 20543 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 28 0 86705566 27284574208 543729 33554432000 4194304 4196468 140725402772192 139760023127520 139760628467413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21191] ppid=21177 vsize=26645092 memory=279297831531616 CPUtime=0 cores=0-7 /proc/21179/task/21191/stat : 21191 (java) S 21177 21177 20543 0 -1 1077944384 101 0 0 0 0 0 0 0 20 0 28 0 86705566 27284574208 543729 33554432000 4194304 4196468 140725402772192 139760022074880 139760628467413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21192] ppid=21177 vsize=26645092 memory=7885353730041406288 CPUtime=0 cores=0-7 /proc/21179/task/21192/stat : 21192 (java) S 21177 21177 20543 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 86705568 27284574208 543729 33554432000 4194304 4196468 140725402772192 139760021023440 139760628475803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21193] ppid=21177 vsize=26645092 memory=1452 CPUtime=4.19 cores=0-7 /proc/21179/task/21193/stat : 21193 (java) S 21177 21177 20543 0 -1 1077944384 21481 0 1 0 415 4 0 0 20 0 28 0 86705568 27284574208 543729 33554432000 4194304 4196468 140725402772192 139760019970032 139760628468354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 33 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21194] ppid=21177 vsize=26645092 memory=2187744 CPUtime=5.19 cores=0-7 /proc/21179/task/21194/stat : 21194 (java) S 21177 21177 20543 0 -1 1077944384 18632 0 0 0 516 3 0 0 20 0 28 0 86705568 27284574208 543729 33554432000 4194304 4196468 140725402772192 139760018917488 139760628468354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21195] ppid=21177 vsize=26645092 memory=1452 CPUtime=4.14 cores=0-7 /proc/21179/task/21195/stat : 21195 (java) S 21177 21177 20543 0 -1 1077944384 25233 0 0 0 410 4 0 0 20 0 28 0 86705568 27284574208 543729 33554432000 4194304 4196468 140725402772192 139760017864944 139760628468354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21196] ppid=21177 vsize=26645092 memory=2179536 CPUtime=1.34 cores=0-7 /proc/21179/task/21196/stat : 21196 (java) S 21177 21177 20543 0 -1 1077944384 16070 0 0 0 130 4 0 0 20 0 28 0 86705568 27284574208 543729 33554432000 4194304 4196468 140725402772192 139760016812400 139760628468354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 32 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21197] ppid=21177 vsize=26645092 memory=644 CPUtime=0 cores=0-7 /proc/21179/task/21197/stat : 21197 (java) S 21177 21177 20543 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 86705569 27284574208 543729 33554432000 4194304 4196468 140725402772192 139760015760096 139760628467413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21198] ppid=21177 vsize=26645092 memory=1792 CPUtime=0.94 cores=0-7 /proc/21179/task/21198/stat : 21198 (java) S 21177 21177 20543 0 -1 1077944384 11069 0 0 0 0 94 0 0 20 0 28 0 86705569 27284574208 543729 33554432000 4194304 4196468 140725402772192 139760014707632 139760628468354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 34 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21280] ppid=21177 vsize=26645092 memory=1232 CPUtime=2399.29 cores=0-7 /proc/21179/task/21280/stat : 21280 (java) R 21177 21177 20543 0 -1 4202560 51481 0 0 0 239891 38 0 0 20 0 28 0 86713152 27284574208 543729 33554432000 4194304 4196468 140725402772192 139760002772888 139760609300172 0 4 0 16800975 0 0 0 -1 2 0 0 34 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21281] ppid=21177 vsize=26645092 memory=4136 CPUtime=2397.44 cores=0-7 /proc/21179/task/21281/stat : 21281 (java) R 21177 21177 20543 0 -1 4202560 38970 0 0 0 239712 32 0 0 20 0 28 0 86713152 27284574208 543729 33554432000 4194304 4196468 140725402772192 139760003826184 139760276384664 0 4 0 16800975 0 0 0 -1 4 0 0 35 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21282] ppid=21177 vsize=26645092 memory=25528 CPUtime=2393.58 cores=0-7 /proc/21179/task/21282/stat : 21282 (java) R 21177 21177 20543 0 -1 4202560 66810 0 0 0 239297 61 0 0 20 0 28 0 86713152 27284574208 543729 33554432000 4194304 4196468 140725402772192 139759997509384 139760276384775 0 4 0 16800975 0 0 0 -1 7 0 0 33 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21283] ppid=21177 vsize=26645092 memory=1292 CPUtime=2395.42 cores=0-7 /proc/21179/task/21283/stat : 21283 (java) R 21177 21177 20543 0 -1 4202560 70132 0 0 0 239470 72 0 0 20 0 28 0 86713152 27284574208 543729 33554432000 4194304 4196468 140725402772192 139759998561808 139760276900156 0 4 0 16800975 0 0 0 -1 5 0 0 39 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21284] ppid=21177 vsize=26645092 memory=956 CPUtime=2398.07 cores=0-7 /proc/21179/task/21284/stat : 21284 (java) R 21177 21177 20543 0 -1 4202560 93448 0 0 0 239733 74 0 0 20 0 28 0 86713152 27284574208 543729 33554432000 4194304 4196468 140725402772192 139760000670416 139760276987697 0 4 0 16800975 0 0 0 -1 6 0 0 31 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21285] ppid=21177 vsize=26645092 memory=2424 CPUtime=2398.51 cores=0-7 /proc/21179/task/21285/stat : 21285 (java) R 21177 21177 20543 0 -1 4202560 154859 0 0 0 239759 92 0 0 20 0 28 0 86713152 27284574208 543729 33554432000 4194304 4196468 140725402772192 139759999615016 139760272082968 0 4 0 16800975 0 0 0 -1 0 0 0 34 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21286] ppid=21177 vsize=26645092 memory=1576 CPUtime=2396.93 cores=0-7 /proc/21179/task/21286/stat : 21286 (java) R 21177 21177 20543 0 -1 4202560 110952 0 0 0 239614 79 0 0 20 0 28 0 86713152 27284574208 543729 33554432000 4194304 4196468 140725402772192 139759996456536 139760276051692 0 4 0 16800975 0 0 0 -1 1 0 0 33 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21287] ppid=21177 vsize=26645092 memory=1452 CPUtime=2394.31 cores=0-7 /proc/21179/task/21287/stat : 21287 (java) R 21177 21177 20543 0 -1 4202560 34123 0 0 0 239404 27 0 0 20 0 28 0 86713152 27284574208 543729 33554432000 4194304 4196468 140725402772192 139760001720584 139760267544128 0 4 0 16800975 0 0 0 -1 3 0 0 26 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 Current children cumulated CPU time: 19867.2 s Current children cumulated vsize: 26758220 KiB Current children cumulated memory: 2176368 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 8.09 8.29 8.36 9/207 21364 /proc/meminfo: memFree=25987500/32770624 swapFree=67108792/67108860 [pid=21177] ppid=21174 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/21177/stat : 21177 (xcsp3-exec) S 21174 21177 20543 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 86705562 115843072 363 33554432000 4194304 5098028 140722416516384 140722416514488 140222913917564 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20402176 140722416522293 140722416522496 140722416522496 140722416525258 0 /proc/21177/statm: 28282 363 305 221 0 87 0 [pid=21179] ppid=21177 vsize=26645092 memory=2172340 CPUtime=20007.9 cores=0-7 /proc/21179/stat : 21179 (java) S 21177 21177 20543 0 -1 1077944320 1472432 0 1 0 1999546 1242 0 0 20 0 28 0 86705563 27284574208 543085 33554432000 4194304 4196468 140725402772192 140725402754736 139760628457207 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 /proc/21179/statm: 6661273 543085 3461 1 0 6622467 0 [pid=21179/tid=21180] ppid=21177 vsize=26645092 memory=6791534058613427641 CPUtime=1.8 cores=0-7 /proc/21179/task/21180/stat : 21180 (java) S 21177 21177 20543 0 -1 1077944384 9568 0 0 0 174 6 0 0 20 0 28 0 86705563 27284574208 543085 33554432000 4194304 4196468 140725402772192 139760632697984 139760628467413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21181] ppid=21177 vsize=26645092 memory=4872558044660077418 CPUtime=11.76 cores=0-7 /proc/21179/task/21181/stat : 21181 (java) S 21177 21177 20543 0 -1 1077944384 62553 0 0 0 1130 46 0 0 20 0 28 0 86705564 27284574208 543085 33554432000 4194304 4196468 140725402772192 139760186817296 139760628467413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21182] ppid=21177 vsize=26645092 memory=5760 CPUtime=11.89 cores=0-7 /proc/21179/task/21182/stat : 21182 (java) S 21177 21177 20543 0 -1 1077944384 63753 0 0 0 1136 53 0 0 20 0 28 0 86705564 27284574208 543085 33554432000 4194304 4196468 140725402772192 139760185764752 139760628467413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21183] ppid=21177 vsize=26645092 memory=4588 CPUtime=11.73 cores=0-7 /proc/21179/task/21183/stat : 21183 (java) S 21177 21177 20543 0 -1 1077944384 60681 0 0 0 1120 53 0 0 20 0 28 0 86705564 27284574208 543085 33554432000 4194304 4196468 140725402772192 139760184712208 139760628467413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21184] ppid=21177 vsize=26645092 memory=9920 CPUtime=11.79 cores=0-7 /proc/21179/task/21184/stat : 21184 (java) S 21177 21177 20543 0 -1 1077944384 55260 0 0 0 1127 52 0 0 20 0 28 0 86705564 27284574208 543085 33554432000 4194304 4196468 140725402772192 139760183659664 139760628467413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21185] ppid=21177 vsize=26645092 memory=6791534058613427641 CPUtime=11.82 cores=0-7 /proc/21179/task/21185/stat : 21185 (java) S 21177 21177 20543 0 -1 1077944384 60767 0 0 0 1132 50 0 0 20 0 28 0 86705564 27284574208 543085 33554432000 4194304 4196468 140725402772192 139760182606096 139760628467413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21186] ppid=21177 vsize=26645092 memory=1228 CPUtime=11.76 cores=0-7 /proc/21179/task/21186/stat : 21186 (java) S 21177 21177 20543 0 -1 1077944384 57512 0 0 0 1127 49 0 0 20 0 28 0 86705564 27284574208 543085 33554432000 4194304 4196468 140725402772192 139760181553552 139760628467413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21187] ppid=21177 vsize=26645092 memory=644 CPUtime=11.79 cores=0-7 /proc/21179/task/21187/stat : 21187 (java) S 21177 21177 20543 0 -1 1077944384 64036 0 0 0 1129 50 0 0 20 0 28 0 86705564 27284574208 543085 33554432000 4194304 4196468 140725402772192 139760180501008 139760628467413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21188] ppid=21177 vsize=26645092 memory=1792 CPUtime=11.83 cores=0-7 /proc/21179/task/21188/stat : 21188 (java) S 21177 21177 20543 0 -1 1077944384 56056 0 0 0 1129 54 0 0 20 0 28 0 86705564 27284574208 543085 33554432000 4194304 4196468 140725402772192 139760179448464 139760628467413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21189] ppid=21177 vsize=26645092 memory=1232 CPUtime=6.75 cores=0-7 /proc/21179/task/21189/stat : 21189 (java) S 21177 21177 20543 0 -1 1077944384 234960 0 0 0 390 285 0 0 20 0 28 0 86705565 27284574208 543085 33554432000 4194304 4196468 140725402772192 139760024181232 139760628468354 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 34 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21190] ppid=21177 vsize=26645092 memory=956 CPUtime=0 cores=0-7 /proc/21179/task/21190/stat : 21190 (java) S 21177 21177 20543 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 28 0 86705566 27284574208 543085 33554432000 4194304 4196468 140725402772192 139760023127520 139760628467413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21191] ppid=21177 vsize=26645092 memory=2424 CPUtime=0 cores=0-7 /proc/21179/task/21191/stat : 21191 (java) S 21177 21177 20543 0 -1 1077944384 101 0 0 0 0 0 0 0 20 0 28 0 86705566 27284574208 543085 33554432000 4194304 4196468 140725402772192 139760022074880 139760628467413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21192] ppid=21177 vsize=26645092 memory=2424 CPUtime=0 cores=0-7 /proc/21179/task/21192/stat : 21192 (java) S 21177 21177 20543 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 86705568 27284574208 543085 33554432000 4194304 4196468 140725402772192 139760021023440 139760628475803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21193] ppid=21177 vsize=26645092 memory=0 CPUtime=4.19 cores=0-7 /proc/21179/task/21193/stat : 21193 (java) S 21177 21177 20543 0 -1 1077944384 21489 0 1 0 415 4 0 0 20 0 28 0 86705568 27284574208 543085 33554432000 4194304 4196468 140725402772192 139760019970032 139760628468354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 33 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21194] ppid=21177 vsize=26645092 memory=928 CPUtime=5.19 cores=0-7 /proc/21179/task/21194/stat : 21194 (java) S 21177 21177 20543 0 -1 1077944384 18640 0 0 0 516 3 0 0 20 0 28 0 86705568 27284574208 543085 33554432000 4194304 4196468 140725402772192 139760018917488 139760628468354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21195] ppid=21177 vsize=26645092 memory=2172340 CPUtime=4.14 cores=0-7 /proc/21179/task/21195/stat : 21195 (java) S 21177 21177 20543 0 -1 1077944384 25241 0 0 0 410 4 0 0 20 0 28 0 86705568 27284574208 543085 33554432000 4194304 4196468 140725402772192 139760017864944 139760628468354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21196] ppid=21177 vsize=26645092 memory=0 CPUtime=1.34 cores=0-7 /proc/21179/task/21196/stat : 21196 (java) S 21177 21177 20543 0 -1 1077944384 16078 0 0 0 130 4 0 0 20 0 28 0 86705568 27284574208 543085 33554432000 4194304 4196468 140725402772192 139760016812400 139760628468354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 32 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21197] ppid=21177 vsize=26645092 memory=8174723239089013032 CPUtime=0 cores=0-7 /proc/21179/task/21197/stat : 21197 (java) S 21177 21177 20543 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 86705569 27284574208 543085 33554432000 4194304 4196468 140725402772192 139760015760096 139760628467413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21198] ppid=21177 vsize=26645092 memory=288289995532552309 CPUtime=0.95 cores=0-7 /proc/21179/task/21198/stat : 21198 (java) S 21177 21177 20543 0 -1 1077944384 11183 0 0 0 0 95 0 0 20 0 28 0 86705569 27284574208 543085 33554432000 4194304 4196468 140725402772192 139760014707632 139760628468354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 34 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21280] ppid=21177 vsize=26645092 memory=288289995532552309 CPUtime=2416.8 cores=0-7 /proc/21179/task/21280/stat : 21280 (java) R 21177 21177 20543 0 -1 4202560 52362 0 0 0 241642 38 0 0 20 0 28 0 86713152 27284574208 543085 33554432000 4194304 4196468 140725402772192 139760002776208 139760277963071 0 4 0 16800975 0 0 0 -1 0 0 0 35 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21281] ppid=21177 vsize=26645092 memory=1408 CPUtime=2414.9 cores=0-7 /proc/21179/task/21281/stat : 21281 (java) R 21177 21177 20543 0 -1 4202560 39712 0 0 0 241457 33 0 0 20 0 28 0 86713152 27284574208 543085 33554432000 4194304 4196468 140725402772192 139760003830144 139760277015727 0 4 0 16800975 0 0 0 -1 5 0 0 35 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21282] ppid=21177 vsize=26645092 memory=3840 CPUtime=2411.03 cores=0-7 /proc/21179/task/21282/stat : 21282 (java) R 21177 21177 20543 0 -1 4202560 67585 0 0 0 241040 63 0 0 20 0 28 0 86713152 27284574208 543085 33554432000 4194304 4196468 140725402772192 139759997513784 139760276384654 0 4 0 16800975 0 0 0 -1 6 0 0 35 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21283] ppid=21177 vsize=26645092 memory=1452 CPUtime=2412.85 cores=0-7 /proc/21179/task/21283/stat : 21283 (java) R 21177 21177 20543 0 -1 4202560 71362 0 0 0 241212 73 0 0 20 0 28 0 86713152 27284574208 543085 33554432000 4194304 4196468 140725402772192 139759998566584 139760267544142 0 4 0 16800975 0 0 0 -1 7 0 0 39 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21284] ppid=21177 vsize=26645092 memory=2173368 CPUtime=2415.61 cores=0-7 /proc/21179/task/21284/stat : 21284 (java) R 21177 21177 20543 0 -1 4202560 95515 0 0 0 241486 75 0 0 20 0 28 0 86713152 27284574208 543085 33554432000 4194304 4196468 140725402772192 139760000672056 139760269683787 0 4 0 16800975 0 0 0 -1 2 0 0 32 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21285] ppid=21177 vsize=26645092 memory=6791534058613427641 CPUtime=2416.06 cores=0-7 /proc/21179/task/21285/stat : 21285 (java) R 21177 21177 20543 0 -1 4202560 157291 0 0 0 241513 93 0 0 20 0 28 0 86713152 27284574208 543085 33554432000 4194304 4196468 140725402772192 139759999615032 139760276384823 0 4 0 16800975 0 0 0 -1 4 0 0 34 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21286] ppid=21177 vsize=26645092 memory=6943526294502006880 CPUtime=2414.37 cores=0-7 /proc/21179/task/21286/stat : 21286 (java) R 21177 21177 20543 0 -1 4202560 112732 0 0 0 241355 82 0 0 20 0 28 0 86713152 27284574208 543085 33554432000 4194304 4196468 140725402772192 139759996461232 139760276046389 0 4 0 16800975 0 0 0 -1 1 0 0 33 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 [pid=21179/tid=21287] ppid=21177 vsize=26645092 memory=3972 CPUtime=2411.81 cores=0-7 /proc/21179/task/21287/stat : 21287 (java) R 21177 21177 20543 0 -1 4202560 34849 0 0 0 241154 27 0 0 20 0 28 0 86713152 27284574208 543085 33554432000 4194304 4196468 140725402772192 139760001725112 139760276426937 0 4 0 16800975 0 0 0 -1 3 0 0 26 0 0 6293624 6294260 20070400 140725402776705 140725402776877 140725402776877 140725402779599 0 Current children cumulated CPU time: 20007.9 s Current children cumulated vsize: 26758220 KiB Current children cumulated memory: 2173792 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.04 s] # the end of solver process 21177 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.001095 s, system=0.001095 s [startup+2520.12 s] # the end of solver process 21179 was just reported to runsolver # cumulated CPU time of all completed processes: user=19996.3 s, system=12.4431 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.12 CPU time (s): 20008.7 CPU user time (s): 19996.3 CPU system time (s): 12.4431 CPU usage (%): 793.957 Max. virtual memory (cumulated for all children) (KiB): 26758220 Max. memory (cumulated for all children) (KiB): 2598476 getrusage(RUSAGE_CHILDREN,...) data: user time used= 19996.3 system time used= 12.4431 maximum resident set size= 2601536 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1473321 page faults= 1 swaps= 0 block input operations= 56 block output operations= 4184 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 287237 involuntary context switches= 216115 # summary of solver processes directly reported to runsolver: # pid: 21177,21179 # total CPU time (s): 20008.7 # total CPU user time (s): 19996.3 # total CPU system time (s): 12.4431 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 31.3192 second user time and 18.4484 second system time The end
Begin job on node150 at 2018-07-27 13:37:03 IDJOB=4297521 IDBENCH=141042 IDSOLVER=2760 FILE ID=node150/4297521-1532691423 RUNJOBID= node150-1532683855-20570 PBS_JOBID= 21022266 Free space on /tmp= 53100 MiB SOLVER NAME= Choco-solver 4.0.7b par (e747e1e) BENCH NAME= XCSP18/NurseRostering/NurseRostering-04_c18.xml COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 22000 -p NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297521-1532691423/watcher-4297521-1532691423 -o /tmp/evaluation-result-4297521-1532691423/solver-4297521-1532691423 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node150-1532683855-20570 --watchdog 2580 HOME/xcsp3-exec -seed 1528550551 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297521-1532691423.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 3e14d2a5b30f836b117ab38c1a042f13 RANDOM SEED=1528550551 node150.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.76 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.76 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.76 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.76 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: 28154624 kB MemAvailable: 31936428 kB Buffers: 181096 kB Cached: 3840264 kB SwapCached: 32 kB Active: 1461688 kB Inactive: 2613112 kB Active(anon): 5156 kB Inactive(anon): 76212 kB Active(file): 1456532 kB Inactive(file): 2536900 kB Unevictable: 7752 kB Mlocked: 7752 kB SwapTotal: 67108860 kB SwapFree: 67108792 kB Dirty: 21900 kB Writeback: 0 kB AnonPages: 299272 kB Mapped: 42060 kB Shmem: 25156 kB Slab: 236616 kB SReclaimable: 208416 kB SUnreclaim: 28200 kB KernelStack: 3696 kB PageTables: 5776 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 324632 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 243712 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= 53080 MiB End job on node150 at 2018-07-27 14:19:03