Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Choco-solver 4.0.7b par (e747e1e) | SAT (TO) | 14 | 20061 | 2520.12 |
Name | Bacp/Bacp-m1/ Bacp-m1-10a-nodv_c18.xml |
MD5SUM | a75579b033916aae1f7e3bfa77a5c161 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 14 |
Best CPU time to get the best result obtained on this benchmark | 20061 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 482 |
Number of constraints | 96 |
Number of domains | 8 |
Minimum domain size | 2 |
Maximum domain size | 15 |
Distribution of domain sizes | [{"size":2,"count":420},{"size":9,"count":10},{"size":10,"count":42},{"size":15,"count":10}] |
Minimum variable degree | 1 |
Maximum variable degree | 16 |
Distribution of variable degrees | [{"degree":1,"count":10},{"degree":2,"count":430},{"degree":11,"count":9},{"degree":12,"count":9},{"degree":13,"count":17},{"degree":14,"count":4},{"degree":15,"count":2},{"degree":16,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 43 |
Distribution of constraint arities | [{"arity":2,"count":34},{"arity":11,"count":42},{"arity":43,"count":20}] |
Number of extensional constraints | 42 |
Number of intensional constraints | 34 |
Distribution of constraint types | [{"type":"extension","count":42},{"type":"intension","count":34},{"type":"sum","count":10},{"type":"count","count":10}] |
Optimization problem | YES |
Type of objective | min MAXIMUM |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297847-1532738229.xml" -tl '20160s' -p 8 0.11/0.18 c Choco e747e1e 0.11/0.18 c [HOME/instance-4297847-1532738229.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 1.67/0.76 c solve instance... 2.11/0.89 o 24 2.82/0.90 o 21 2.82/0.91 o 20 2.82/0.91 o 18 2.82/0.93 o 17 2.82/0.93 o 16 2.82/0.94 o 15 2.82/0.96 o 14 20060.12/2520.10 s SATISFIABLE 20060.12/2520.10 v <instantiation> 20060.12/2520.10 v <list>prd[0] prd[1] prd[2] prd[3] prd[4] prd[5] prd[6] prd[7] prd[8] prd[9] prd[10] prd[11] prd[12] prd[13] prd[14] prd[15] prd[16] prd[17] prd[18] prd[19] prd[20] prd[21] prd[22] prd[23] prd[24] prd[25] prd[26] prd[27] prd[28] prd[29] prd[30] prd[31] prd[32] prd[33] prd[34] prd[35] prd[36] prd[37] prd[38] prd[39] prd[40] prd[41] nco[0] nco[1] nco[2] nco[3] nco[4] nco[5] nco[6] nco[7] nco[8] nco[9] ncr[0] ncr[1] ncr[2] ncr[3] ncr[4] ncr[5] ncr[6] ncr[7] ncr[8] ncr[9] cp[0][0] cp[0][1] cp[0][2] cp[0][3] cp[0][4] cp[0][5] cp[0][6] cp[0][7] cp[0][8] cp[0][9] cp[1][0] cp[1][1] cp[1][2] cp[1][3] cp[1][4] cp[1][5] cp[1][6] cp[1][7] cp[1][8] cp[1][9] cp[2][0] cp[2][1] cp[2][2] cp[2][3] cp[2][4] cp[2][5] cp[2][6] cp[2][7] cp[2][8] cp[2][9] cp[3][0] cp[3][1] cp[3][2] cp[3][3] cp[3][4] cp[3][5] cp[3][6] cp[3][7] cp[3][8] cp[3][9] cp[4][0] cp[4][1] cp[4][2] cp[4][3] cp[4][4] cp[4][5] cp[4][6] cp[4][7] cp[4][8] cp[4][9] cp[5][0] cp[5][1] cp[5][2] cp[5][3] cp[5][4] cp[5][5] cp[5][6] cp[5][7] cp[5][8] cp[5][9] cp[6][0] cp[6][1] cp[6][2] cp[6][3] cp[6][4] cp[6][5] cp[6][6] cp[6][7] cp[6][8] cp[6][9] cp[7][0] cp[7][1] cp[7][2] cp[7][3] cp[7][4] cp[7][5] cp[7][6] cp[7][7] cp[7][8] cp[7][9] cp[8][0] cp[8][1] cp[8][2] cp[8][3] cp[8][4] cp[8][5] cp[8][6] cp[8][7] cp[8][8] cp[8][9] cp[9][0] cp[9][1] cp[9][2] cp[9][3] cp[9][4] cp[9][5] cp[9][6] cp[9][7] cp[9][8] cp[9][9] cp[10][0] cp[10][1] cp[10][2] cp[10][3] cp[10][4] cp[10][5] cp[10][6] cp[10][7] cp[10][8] cp[10][9] cp[11][0] cp[11][1] cp[11][2] cp[11][3] cp[11][4] cp[11][5] cp[11][6] cp[11][7] cp[11][8] cp[11][9] cp[12][0] cp[12][1] cp[12][2] cp[12][3] cp[12][4] cp[12][5] cp[12][6] cp[12][7] cp[12][8] cp[12][9] cp[13][0] cp[13][1] cp[13][2] cp[13][3] cp[13][4] cp[13][5] cp[13][6] cp[13][7] cp[13][8] cp[13][9] cp[14][0] cp[14][1] cp[14][2] cp[14][3] cp[14][4] cp[14][5] cp[14][6] cp[14][7] cp[14][8] cp[14][9] cp[15][0] cp[15][1] cp[15][2] cp[15][3] cp[15][4] cp[15][5] cp[15][6] cp[15][7] cp[15][8] cp[15][9] cp[16][0] cp[16][1] cp[16][2] cp[16][3] cp[16][4] cp[16][5] cp[16][6] cp[16][7] cp[16][8] cp[16][9] cp[17][0] cp[17][1] cp[17][2] cp[17][3] cp[17][4] cp[17][5] cp[17][6] cp[17][7] cp[17][8] cp[17][9] cp[18][0] cp[18][1] cp[18][2] cp[18][3] cp[18][4] cp[18][5] cp[18][6] cp[18][7] cp[18][8] cp[18][9] cp[19][0] cp[19][1] cp[19][2] cp[19][3] cp[19][4] cp[19][5] cp[19][6] cp[19][7] cp[19][8] cp[19][9] cp[20][0] cp[20][1] cp[20][2] cp[20][3] cp[20][4] cp[20][5] cp[20][6] cp[20][7] cp[20][8] cp[20][9] cp[21][0] cp[21][1] cp[21][2] cp[21][3] cp[21][4] cp[21][5] cp[21][6] cp[21][7] cp[21][8] cp[21][9] cp[22][0] cp[22][1] cp[22][2] cp[22][3] cp[22][4] cp[22][5] cp[22][6] cp[22][7] cp[22][8] cp[22][9] cp[23][0] cp[23][1] cp[23][2] cp[23][3] cp[23][4] cp[23][5] cp[23][6] cp[23][7] cp[23][8] cp[23][9] cp[24][0] cp[24][1] cp[24][2] cp[24][3] cp[24][4] cp[24][5] cp[24][6] cp[24][7] cp[24][8] cp[24][9] cp[25][0] cp[25][1] cp[25][2] cp[25][3] cp[25][4] cp[25][5] cp[25][6] cp[25][7] cp[25][8] cp[25][9] cp[26][0] cp[26][1] cp[26][2] cp[26][3] cp[26][4] cp[26][5] cp[26][6] cp[26][7] cp[26][8] cp[26][9] cp[27][0] cp[27][1] cp[27][2] cp[27][3] cp[27][4] cp[27][5] cp[27][6] cp[27][7] cp[27][8] cp[27][9] cp[28][0] cp[28][1] cp[28][2] cp[28][3] cp[28][4] cp[28][5] cp[28][6] cp[28][7] cp[28][8] cp[28][9] cp[29][0] cp[29][1] cp[29][2] cp[29][3] cp[29][4] cp[29][5] cp[29][6] cp[29][7] cp[29][8] cp[29][9] cp[30][0] cp[30][1] cp[30][2] cp[30][3] cp[30][4] cp[30][5] cp[30][6] cp[30][7] cp[30][8] cp[30][9] cp[31][0] cp[31][1] cp[31][2] cp[31][3] cp[31][4] cp[31][5] cp[31][6] cp[31][7] cp[31][8] cp[31][9] cp[32][0] cp[32][1] cp[32][2] cp[32][3] cp[32][4] cp[32][5] cp[32][6] cp[32][7] cp[32][8] cp[32][9] cp[33][0] cp[33][1] cp[33][2] cp[33][3] cp[33][4] cp[33][5] cp[33][6] cp[33][7] cp[33][8] cp[33][9] cp[34][0] cp[34][1] cp[34][2] cp[34][3] cp[34][4] cp[34][5] cp[34][6] cp[34][7] cp[34][8] cp[34][9] cp[35][0] cp[35][1] cp[35][2] cp[35][3] cp[35][4] cp[35][5] cp[35][6] cp[35][7] cp[35][8] cp[35][9] cp[36][0] cp[36][1] cp[36][2] cp[36][3] cp[36][4] cp[36][5] cp[36][6] cp[36][7] cp[36][8] cp[36][9] cp[37][0] cp[37][1] cp[37][2] cp[37][3] cp[37][4] cp[37][5] cp[37][6] cp[37][7] cp[37][8] cp[37][9] cp[38][0] cp[38][1] cp[38][2] cp[38][3] cp[38][4] cp[38][5] cp[38][6] cp[38][7] cp[38][8] cp[38][9] cp[39][0] cp[39][1] cp[39][2] cp[39][3] cp[39][4] cp[39][5] cp[39][6] cp[39][7] cp[39][8] cp[39][9] cp[40][0] cp[40][1] cp[40][2] cp[40][3] cp[40][4] cp[40][5] cp[40][6] cp[40][7] cp[40][8] cp[40][9] cp[41][0] cp[41][1] cp[41][2] cp[41][3] cp[41][4] cp[41][5] cp[41][6] cp[41][7] cp[41][8] cp[41][9] </list> 20060.12/2520.10 v <values>7 9 7 9 9 7 6 6 0 8 7 1 5 8 0 6 7 6 3 4 5 8 8 3 5 3 4 1 2 1 3 4 2 2 5 0 1 0 9 0 4 8 5 4 3 4 4 4 4 5 5 4 14 13 12 13 14 14 14 14 13 13 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 5 0 0 0 2 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 5 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 1 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 3 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 </values> 20060.12/2520.10 v </instantiation> 20060.12/2520.10 c Unexpected resolution interruption!
OK 14
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 (8934 MiB free) memory of node 1: 16384 MiB (14214 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297847-1532738229/watcher-4297847-1532738229 -o /tmp/evaluation-result-4297847-1532738229/solver-4297847-1532738229 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node132-1532732951-10516 --watchdog 2580 HOME/xcsp3-exec -seed 567295865 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297847-1532738229.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=11414, runsolver pid=11411 [startup+0.102654 s]* /proc/loadavg: 8.26 8.35 8.35 2/205 11435 /proc/meminfo: memFree=23690208/32770624 swapFree=67108860/67108860 [pid=11414] ppid=11411 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/11414/stat : 11414 (xcsp3-exec) S 11411 11414 10489 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 91386120 115843072 364 33554432000 4194304 5098028 140733527599424 140733527597528 139919097569916 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10522624 140733527606326 140733527606528 140733527606528 140733527609290 0 /proc/11414/statm: 28282 364 306 221 0 87 0 [pid=11416] ppid=11414 vsize=26104152 memory=26932 CPUtime=0.11 cores=0-7 /proc/11416/stat : 11416 (java) S 11414 11414 10489 0 -1 1077944320 5647 0 0 0 10 1 0 0 20 0 20 0 91386121 26730651648 6733 33554432000 4194304 4196468 140725383156720 140725383139264 140494764371703 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 /proc/11416/statm: 6526038 6733 2995 1 0 6488315 0 [pid=11416/tid=11417] ppid=11414 vsize=26104152 memory=7968444923817926552 CPUtime=0.09 cores=0-7 /proc/11416/task/11417/stat : 11417 (java) R 11414 11414 10489 0 -1 4202560 3656 0 0 0 8 1 0 0 20 0 20 0 91386121 26730651648 6733 33554432000 4194304 4196468 140725383156720 140494768600096 140494748415333 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11418] ppid=11414 vsize=26104152 memory=732370831237577701 CPUtime=0 cores=0-7 /proc/11416/task/11418/stat : 11418 (java) S 11414 11414 10489 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 91386122 26730651648 6733 33554432000 4194304 4196468 140725383156720 140494716992656 140494764381909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11419] ppid=11414 vsize=26104152 memory=140692900124288 CPUtime=0 cores=0-7 /proc/11416/task/11419/stat : 11419 (java) S 11414 11414 10489 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91386122 26730651648 6733 33554432000 4194304 4196468 140725383156720 140494715939856 140494764381909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11420] ppid=11414 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/11416/task/11420/stat : 11420 (java) S 11414 11414 10489 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 91386122 26730651648 6733 33554432000 4194304 4196468 140725383156720 140494714887056 140494764381909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11421] ppid=11414 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/11416/task/11421/stat : 11421 (java) S 11414 11414 10489 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 91386122 26730651648 6733 33554432000 4194304 4196468 140725383156720 140494713834256 140494764381909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11422] ppid=11414 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/11416/task/11422/stat : 11422 (java) S 11414 11414 10489 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91386122 26730651648 6733 33554432000 4194304 4196468 140725383156720 140494712781456 140494764381909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11423] ppid=11414 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/11416/task/11423/stat : 11423 (java) S 11414 11414 10489 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 91386122 26730651648 6733 33554432000 4194304 4196468 140725383156720 140494711728656 140494764381909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11424] ppid=11414 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/11416/task/11424/stat : 11424 (java) S 11414 11414 10489 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 91386122 26730651648 6733 33554432000 4194304 4196468 140725383156720 140494710675856 140494764381909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11425] ppid=11414 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/11416/task/11425/stat : 11425 (java) S 11414 11414 10489 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 91386122 26730651648 6733 33554432000 4194304 4196468 140725383156720 140494709623056 140494764381909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11426] ppid=11414 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/11416/task/11426/stat : 11426 (java) S 11414 11414 10489 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 91386123 26730651648 6733 33554432000 4194304 4196468 140725383156720 140493551582064 140494764382850 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11427] ppid=11414 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/11416/task/11427/stat : 11427 (java) S 11414 11414 10489 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 91386124 26730651648 6733 33554432000 4194304 4196468 140725383156720 140493550528032 140494764381909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11428] ppid=11414 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/11416/task/11428/stat : 11428 (java) S 11414 11414 10489 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 91386124 26730651648 6733 33554432000 4194304 4196468 140725383156720 140493549475184 140494764381909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11429] ppid=11414 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/11416/task/11429/stat : 11429 (java) S 11414 11414 10489 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91386126 26730651648 6733 33554432000 4194304 4196468 140725383156720 140493480520016 140494764390299 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11430] ppid=11414 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/11416/task/11430/stat : 11430 (java) R 11414 11414 10489 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 20 0 91386126 26730651648 6733 33554432000 4194304 4196468 140725383156720 140493479467376 140494764382850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11431] ppid=11414 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/11416/task/11431/stat : 11431 (java) R 11414 11414 10489 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91386126 26730651648 6733 33554432000 4194304 4196468 140725383156720 140493478414576 140494764382850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11432] ppid=11414 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/11416/task/11432/stat : 11432 (java) S 11414 11414 10489 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 91386126 26730651648 6733 33554432000 4194304 4196468 140725383156720 140493477361776 140494764382850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11433] ppid=11414 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/11416/task/11433/stat : 11433 (java) R 11414 11414 10489 0 -1 4202560 263 0 0 0 1 0 0 0 20 0 20 0 91386127 26730651648 6733 33554432000 4194304 4196468 140725383156720 140493476308976 140494764382850 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11434] ppid=11414 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/11416/task/11434/stat : 11434 (java) S 11414 11414 10489 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 91386127 26730651648 6733 33554432000 4194304 4196468 140725383156720 140493475257440 140494764381909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11435] ppid=11414 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/11416/task/11435/stat : 11435 (java) S 11414 11414 10489 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91386127 26730651648 6733 33554432000 4194304 4196468 140725383156720 140493474204720 140494764382850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 28388 KiB [startup+0.210888 s]* /proc/loadavg: 8.26 8.35 8.35 2/205 11435 /proc/meminfo: memFree=23678524/32770624 swapFree=67108860/67108860 [pid=11414] ppid=11411 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/11414/stat : 11414 (xcsp3-exec) S 11411 11414 10489 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 91386120 115843072 364 33554432000 4194304 5098028 140733527599424 140733527597528 139919097569916 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10522624 140733527606326 140733527606528 140733527606528 140733527609290 0 /proc/11414/statm: 28282 364 306 221 0 87 0 [pid=11416] ppid=11414 vsize=26104152 memory=39708 CPUtime=0.33 cores=0-7 /proc/11416/stat : 11416 (java) S 11414 11414 10489 0 -1 1077944320 8469 0 0 0 30 3 0 0 20 0 20 0 91386121 26730651648 9927 33554432000 4194304 4196468 140725383156720 140725383139264 140494764371703 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 /proc/11416/statm: 6526038 9927 3187 1 0 6488315 0 [pid=11416/tid=11417] ppid=11414 vsize=26104152 memory=-4116735710718344508 CPUtime=0.19 cores=0-7 /proc/11416/task/11417/stat : 11417 (java) R 11414 11414 10489 0 -1 4202560 5543 0 0 0 17 2 0 0 20 0 20 0 91386121 26730651648 9927 33554432000 4194304 4196468 140725383156720 140494768609520 140494750439329 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11418] ppid=11414 vsize=26104152 memory=732370831237577701 CPUtime=0 cores=0-7 /proc/11416/task/11418/stat : 11418 (java) S 11414 11414 10489 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 91386122 26730651648 9927 33554432000 4194304 4196468 140725383156720 140494716992656 140494764381909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11419] ppid=11414 vsize=26104152 memory=140692900124288 CPUtime=0 cores=0-7 /proc/11416/task/11419/stat : 11419 (java) S 11414 11414 10489 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91386122 26730651648 9927 33554432000 4194304 4196468 140725383156720 140494715939856 140494764381909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11420] ppid=11414 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/11416/task/11420/stat : 11420 (java) S 11414 11414 10489 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 91386122 26730651648 9927 33554432000 4194304 4196468 140725383156720 140494714887056 140494764381909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11421] ppid=11414 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/11416/task/11421/stat : 11421 (java) S 11414 11414 10489 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 91386122 26730651648 9927 33554432000 4194304 4196468 140725383156720 140494713834256 140494764381909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11422] ppid=11414 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/11416/task/11422/stat : 11422 (java) S 11414 11414 10489 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91386122 26730651648 9927 33554432000 4194304 4196468 140725383156720 140494712781456 140494764381909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11423] ppid=11414 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/11416/task/11423/stat : 11423 (java) S 11414 11414 10489 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 91386122 26730651648 9927 33554432000 4194304 4196468 140725383156720 140494711728656 140494764381909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11424] ppid=11414 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/11416/task/11424/stat : 11424 (java) S 11414 11414 10489 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 91386122 26730651648 9927 33554432000 4194304 4196468 140725383156720 140494710675856 140494764381909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11425] ppid=11414 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/11416/task/11425/stat : 11425 (java) S 11414 11414 10489 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 91386122 26730651648 9927 33554432000 4194304 4196468 140725383156720 140494709623056 140494764381909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11426] ppid=11414 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/11416/task/11426/stat : 11426 (java) S 11414 11414 10489 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 91386123 26730651648 9927 33554432000 4194304 4196468 140725383156720 140493551582064 140494764382850 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11427] ppid=11414 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/11416/task/11427/stat : 11427 (java) S 11414 11414 10489 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 91386124 26730651648 9927 33554432000 4194304 4196468 140725383156720 140493550528032 140494764381909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11428] ppid=11414 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/11416/task/11428/stat : 11428 (java) S 11414 11414 10489 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 91386124 26730651648 9927 33554432000 4194304 4196468 140725383156720 140493549475184 140494764381909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11429] ppid=11414 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/11416/task/11429/stat : 11429 (java) S 11414 11414 10489 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91386126 26730651648 9927 33554432000 4194304 4196468 140725383156720 140493480520016 140494764390299 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11430] ppid=11414 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/11416/task/11430/stat : 11430 (java) S 11414 11414 10489 0 -1 1077944384 412 0 0 0 1 0 0 0 20 0 20 0 91386126 26730651648 9927 33554432000 4194304 4196468 140725383156720 140493479467376 140494764382850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11431] ppid=11414 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/11416/task/11431/stat : 11431 (java) S 11414 11414 10489 0 -1 1077944384 253 0 0 0 1 0 0 0 20 0 20 0 91386126 26730651648 9927 33554432000 4194304 4196468 140725383156720 140493478414576 140494764382850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11432] ppid=11414 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/11416/task/11432/stat : 11432 (java) S 11414 11414 10489 0 -1 1077944384 137 0 0 0 1 0 0 0 20 0 20 0 91386126 26730651648 9927 33554432000 4194304 4196468 140725383156720 140493477361776 140494764382850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11433] ppid=11414 vsize=26104152 memory=0 CPUtime=0.07 cores=0-7 /proc/11416/task/11433/stat : 11433 (java) S 11414 11414 10489 0 -1 1077944384 811 0 0 0 7 0 0 0 20 0 20 0 91386127 26730651648 9927 33554432000 4194304 4196468 140725383156720 140493476308976 140494764382850 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11434] ppid=11414 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/11416/task/11434/stat : 11434 (java) S 11414 11414 10489 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 91386127 26730651648 9927 33554432000 4194304 4196468 140725383156720 140493475257440 140494764381909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11435] ppid=11414 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/11416/task/11435/stat : 11435 (java) S 11414 11414 10489 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91386127 26730651648 9927 33554432000 4194304 4196468 140725383156720 140493474204720 140494764382850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 41164 KiB [startup+0.310953 s]* /proc/loadavg: 8.26 8.35 8.35 3/205 11435 /proc/meminfo: memFree=23672320/32770624 swapFree=67108860/67108860 [pid=11414] ppid=11411 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/11414/stat : 11414 (xcsp3-exec) S 11411 11414 10489 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 91386120 115843072 364 33554432000 4194304 5098028 140733527599424 140733527597528 139919097569916 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10522624 140733527606326 140733527606528 140733527606528 140733527609290 0 /proc/11414/statm: 28282 364 306 221 0 87 0 [pid=11416] ppid=11414 vsize=26108408 memory=46336 CPUtime=0.51 cores=0-7 /proc/11416/stat : 11416 (java) S 11414 11414 10489 0 -1 1077944320 9342 0 0 0 47 4 0 0 20 0 20 0 91386121 26735009792 11584 33554432000 4194304 4196468 140725383156720 140725383139264 140494764371703 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 /proc/11416/statm: 6527102 11584 3230 1 0 6488315 0 [pid=11416/tid=11417] ppid=11414 vsize=26108408 memory=6791534058613427641 CPUtime=0.28 cores=0-7 /proc/11416/task/11417/stat : 11417 (java) R 11414 11414 10489 0 -1 4202560 6236 0 0 0 26 2 0 0 20 0 20 0 91386121 26735009792 11639 33554432000 4194304 4196468 140725383156720 140494768605488 140494748452220 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11418] ppid=11414 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/11416/task/11418/stat : 11418 (java) S 11414 11414 10489 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 91386122 26735009792 11639 33554432000 4194304 4196468 140725383156720 140494716992656 140494764381909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11419] ppid=11414 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/11416/task/11419/stat : 11419 (java) S 11414 11414 10489 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91386122 26735009792 11639 33554432000 4194304 4196468 140725383156720 140494715939856 140494764381909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11420] ppid=11414 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/11416/task/11420/stat : 11420 (java) S 11414 11414 10489 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 91386122 26735009792 11639 33554432000 4194304 4196468 140725383156720 140494714887056 140494764381909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11421] ppid=11414 vsize=26108408 memory=140692793944751 CPUtime=0 cores=0-7 /proc/11416/task/11421/stat : 11421 (java) S 11414 11414 10489 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 91386122 26735009792 11639 33554432000 4194304 4196468 140725383156720 140494713834256 140494764381909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11422] ppid=11414 vsize=26108408 memory=140692793947056 CPUtime=0 cores=0-7 /proc/11416/task/11422/stat : 11422 (java) S 11414 11414 10489 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91386122 26735009792 11639 33554432000 4194304 4196468 140725383156720 140494712781456 140494764381909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11423] ppid=11414 vsize=26108408 memory=-1 CPUtime=0 cores=0-7 /proc/11416/task/11423/stat : 11423 (java) S 11414 11414 10489 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 91386122 26735009792 11639 33554432000 4194304 4196468 140725383156720 140494711728656 140494764381909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11424] ppid=11414 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/11416/task/11424/stat : 11424 (java) S 11414 11414 10489 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 91386122 26735009792 11639 33554432000 4194304 4196468 140725383156720 140494710675856 140494764381909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11425] ppid=11414 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/11416/task/11425/stat : 11425 (java) S 11414 11414 10489 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 91386122 26735009792 11639 33554432000 4194304 4196468 140725383156720 140494709623056 140494764381909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11426] ppid=11414 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/11416/task/11426/stat : 11426 (java) S 11414 11414 10489 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 91386123 26735009792 11639 33554432000 4194304 4196468 140725383156720 140493551582064 140494764382850 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11427] ppid=11414 vsize=26108408 memory=2111043401062308 CPUtime=0 cores=0-7 /proc/11416/task/11427/stat : 11427 (java) S 11414 11414 10489 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 91386124 26735009792 11639 33554432000 4194304 4196468 140725383156720 140493550528032 140494764381909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11428] ppid=11414 vsize=26108408 memory=2111043401087956 CPUtime=0 cores=0-7 /proc/11416/task/11428/stat : 11428 (java) S 11414 11414 10489 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 91386124 26735009792 11639 33554432000 4194304 4196468 140725383156720 140493549475184 140494764381909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11429] ppid=11414 vsize=26108408 memory=2111043401066916 CPUtime=0 cores=0-7 /proc/11416/task/11429/stat : 11429 (java) S 11414 11414 10489 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91386126 26735009792 11639 33554432000 4194304 4196468 140725383156720 140493480520016 140494764390299 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11430] ppid=11414 vsize=26108408 memory=2111043401087988 CPUtime=0.03 cores=0-7 /proc/11416/task/11430/stat : 11430 (java) R 11414 11414 10489 0 -1 4202560 508 0 0 0 3 0 0 0 20 0 20 0 91386126 26735009792 11639 33554432000 4194304 4196468 140725383156720 140493479457760 140494749477795 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11431] ppid=11414 vsize=26108408 memory=2111043401088020 CPUtime=0.02 cores=0-7 /proc/11416/task/11431/stat : 11431 (java) S 11414 11414 10489 0 -1 1077944384 259 0 0 0 2 0 0 0 20 0 20 0 91386126 26735009792 11652 33554432000 4194304 4196468 140725383156720 140493478414576 140494764382850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11432] ppid=11414 vsize=26108408 memory=2111043401087780 CPUtime=0.01 cores=0-7 /proc/11416/task/11432/stat : 11432 (java) S 11414 11414 10489 0 -1 1077944384 157 0 0 0 1 0 0 0 20 0 20 0 91386126 26735009792 11652 33554432000 4194304 4196468 140725383156720 140493477361776 140494764382850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11433] ppid=11414 vsize=26108408 memory=2111043401076132 CPUtime=0.12 cores=0-7 /proc/11416/task/11433/stat : 11433 (java) S 11414 11414 10489 0 -1 1077944384 890 0 0 0 12 0 0 0 20 0 20 0 91386127 26735009792 11652 33554432000 4194304 4196468 140725383156720 140493476308976 140494764382850 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11434] ppid=11414 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/11416/task/11434/stat : 11434 (java) S 11414 11414 10489 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 91386127 26735009792 11652 33554432000 4194304 4196468 140725383156720 140493475257440 140494764381909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11435] ppid=11414 vsize=26108408 memory=-1 CPUtime=0 cores=0-7 /proc/11416/task/11435/stat : 11435 (java) S 11414 11414 10489 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91386127 26735009792 11652 33554432000 4194304 4196468 140725383156720 140493474204720 140494764382850 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 26221536 KiB Current children cumulated memory: 47792 KiB [startup+0.700985 s] /proc/loadavg: 8.26 8.35 8.35 5/205 11435 /proc/meminfo: memFree=23658668/32770624 swapFree=67108860/67108860 [pid=11414] ppid=11411 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/11414/stat : 11414 (xcsp3-exec) S 11411 11414 10489 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 91386120 115843072 364 33554432000 4194304 5098028 140733527599424 140733527597528 139919097569916 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10522624 140733527606326 140733527606528 140733527606528 140733527609290 0 /proc/11414/statm: 28282 364 306 221 0 87 0 [pid=11416] ppid=11414 vsize=26110532 memory=80892 CPUtime=1.67 cores=0-7 /proc/11416/stat : 11416 (java) S 11414 11414 10489 0 -1 1077944320 13450 0 0 0 160 7 0 0 20 0 20 0 91386121 26737184768 20223 33554432000 4194304 4196468 140725383156720 140725383139264 140494764371703 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 /proc/11416/statm: 6527633 20223 3359 1 0 6488827 0 [pid=11416/tid=11417] ppid=11414 vsize=26110532 memory=49108656085332 CPUtime=0.66 cores=0-7 /proc/11416/task/11417/stat : 11417 (java) R 11414 11414 10489 0 -1 4202560 7277 0 0 0 62 4 0 0 20 0 20 0 91386121 26737184768 20223 33554432000 4194304 4196468 140725383156720 140494768609584 140494748901445 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11418] ppid=11414 vsize=26110532 memory=140692793962928 CPUtime=0 cores=0-7 /proc/11416/task/11418/stat : 11418 (java) S 11414 11414 10489 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 91386122 26737184768 20223 33554432000 4194304 4196468 140725383156720 140494716992656 140494764381909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11419] ppid=11414 vsize=26110532 memory=4132 CPUtime=0 cores=0-7 /proc/11416/task/11419/stat : 11419 (java) S 11414 11414 10489 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91386122 26737184768 20223 33554432000 4194304 4196468 140725383156720 140494715939856 140494764381909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11420] ppid=11414 vsize=26110532 memory=0 CPUtime=0 cores=0-7 /proc/11416/task/11420/stat : 11420 (java) S 11414 11414 10489 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 91386122 26737184768 20223 33554432000 4194304 4196468 140725383156720 140494714887056 140494764381909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 ################ # More data... # ################ [pid=11416/tid=11507] ppid=11414 vsize=26712684 memory=593108 CPUtime=2424.74 cores=0-7 /proc/11416/task/11507/stat : 11507 (java) R 11414 11414 10489 0 -1 4202560 401783 0 0 0 242373 101 0 0 20 0 28 0 91386218 27353788416 147251 33554432000 4194304 4196468 140725383156720 140493457195256 140494378418282 0 4 0 16800975 0 0 0 -1 5 0 0 12 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 Current children cumulated CPU time: 19441.6 s Current children cumulated vsize: 26825812 KiB Current children cumulated memory: 590460 KiB [startup+2502.3 s] /proc/loadavg: 9.21 8.69 8.51 9/212 11569 /proc/meminfo: memFree=23066800/32770624 swapFree=67108860/67108860 [pid=11414] ppid=11411 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/11414/stat : 11414 (xcsp3-exec) S 11411 11414 10489 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 91386120 115843072 364 33554432000 4194304 5098028 140733527599424 140733527597528 139919097569916 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10522624 140733527606326 140733527606528 140733527606528 140733527609290 0 /proc/11414/statm: 28282 364 306 221 0 87 0 [pid=11416] ppid=11414 vsize=26712684 memory=649540 CPUtime=19919.2 cores=0-7 /proc/11416/stat : 11416 (java) S 11414 11414 10489 0 -1 1077944320 931629 0 0 0 1991372 546 0 0 20 0 28 0 91386121 27353788416 162385 33554432000 4194304 4196468 140725383156720 140725383139264 140494764371703 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 /proc/11416/statm: 6678171 162385 3449 1 0 6639365 0 [pid=11416/tid=11417] ppid=11414 vsize=26712684 memory=26628 CPUtime=0.75 cores=0-7 /proc/11416/task/11417/stat : 11417 (java) S 11414 11414 10489 0 -1 1077944384 7392 0 0 0 71 4 0 0 20 0 28 0 91386121 27353788416 162385 33554432000 4194304 4196468 140725383156720 140494768612480 140494764381909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11418] ppid=11414 vsize=26712684 memory=1292 CPUtime=6.58 cores=0-7 /proc/11416/task/11418/stat : 11418 (java) S 11414 11414 10489 0 -1 1077944384 25687 0 0 0 621 37 0 0 20 0 28 0 91386122 27353788416 162385 33554432000 4194304 4196468 140725383156720 140494716992656 140494764381909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11419] ppid=11414 vsize=26712684 memory=281385589211616 CPUtime=6.65 cores=0-7 /proc/11416/task/11419/stat : 11419 (java) S 11414 11414 10489 0 -1 1077944384 29255 0 0 0 628 37 0 0 20 0 28 0 91386122 27353788416 162385 33554432000 4194304 4196468 140725383156720 140494715939856 140494764381909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11420] ppid=11414 vsize=26712684 memory=5865746445060171040 CPUtime=6.59 cores=0-7 /proc/11416/task/11420/stat : 11420 (java) S 11414 11414 10489 0 -1 1077944384 28120 0 0 0 622 37 0 0 20 0 28 0 91386122 27353788416 162385 33554432000 4194304 4196468 140725383156720 140494714887056 140494764381909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11421] ppid=11414 vsize=26712684 memory=281385588336496 CPUtime=6.58 cores=0-7 /proc/11416/task/11421/stat : 11421 (java) S 11414 11414 10489 0 -1 1077944384 27531 0 0 0 621 37 0 0 20 0 28 0 91386122 27353788416 162385 33554432000 4194304 4196468 140725383156720 140494713834256 140494764381909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11422] ppid=11414 vsize=26712684 memory=6944656592387989600 CPUtime=6.62 cores=0-7 /proc/11416/task/11422/stat : 11422 (java) S 11414 11414 10489 0 -1 1077944384 28815 0 0 0 625 37 0 0 20 0 28 0 91386122 27353788416 162385 33554432000 4194304 4196468 140725383156720 140494712781456 140494764381909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11423] ppid=11414 vsize=26712684 memory=1424 CPUtime=6.63 cores=0-7 /proc/11416/task/11423/stat : 11423 (java) S 11414 11414 10489 0 -1 1077944384 26193 0 0 0 624 39 0 0 20 0 28 0 91386122 27353788416 162385 33554432000 4194304 4196468 140725383156720 140494711728656 140494764381909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11424] ppid=11414 vsize=26712684 memory=796 CPUtime=6.65 cores=0-7 /proc/11416/task/11424/stat : 11424 (java) S 11414 11414 10489 0 -1 1077944384 25547 0 0 0 631 34 0 0 20 0 28 0 91386122 27353788416 162385 33554432000 4194304 4196468 140725383156720 140494710675856 140494764381909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11425] ppid=11414 vsize=26712684 memory=1456 CPUtime=6.59 cores=0-7 /proc/11416/task/11425/stat : 11425 (java) S 11414 11414 10489 0 -1 1077944384 26078 0 0 0 621 38 0 0 20 0 28 0 91386122 27353788416 162385 33554432000 4194304 4196468 140725383156720 140494709623056 140494764381909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11426] ppid=11414 vsize=26712684 memory=654068 CPUtime=2.48 cores=0-7 /proc/11416/task/11426/stat : 11426 (java) S 11414 11414 10489 0 -1 1077944384 57972 0 0 0 189 59 0 0 20 0 28 0 91386123 27353788416 162385 33554432000 4194304 4196468 140725383156720 140493551582064 140494764382850 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11427] ppid=11414 vsize=26712684 memory=654068 CPUtime=0 cores=0-7 /proc/11416/task/11427/stat : 11427 (java) S 11414 11414 10489 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 91386124 27353788416 162385 33554432000 4194304 4196468 140725383156720 140493550528096 140494764381909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11428] ppid=11414 vsize=26712684 memory=1456 CPUtime=0 cores=0-7 /proc/11416/task/11428/stat : 11428 (java) S 11414 11414 10489 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 91386124 27353788416 162385 33554432000 4194304 4196468 140725383156720 140493549475200 140494764381909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11429] ppid=11414 vsize=26712684 memory=640644 CPUtime=0 cores=0-7 /proc/11416/task/11429/stat : 11429 (java) S 11414 11414 10489 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 91386126 27353788416 162385 33554432000 4194304 4196468 140725383156720 140493480520016 140494764390299 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11430] ppid=11414 vsize=26712684 memory=2444 CPUtime=1.67 cores=0-7 /proc/11416/task/11430/stat : 11430 (java) S 11414 11414 10489 0 -1 1077944384 8184 0 0 0 165 2 0 0 20 0 28 0 91386126 27353788416 162385 33554432000 4194304 4196468 140725383156720 140493479467376 140494764382850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 28 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11431] ppid=11414 vsize=26712684 memory=1832 CPUtime=1.94 cores=0-7 /proc/11416/task/11431/stat : 11431 (java) S 11414 11414 10489 0 -1 1077944384 10175 0 0 0 192 2 0 0 20 0 28 0 91386126 27353788416 162385 33554432000 4194304 4196468 140725383156720 140493478414576 140494764382850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11432] ppid=11414 vsize=26712684 memory=4132 CPUtime=2.25 cores=0-7 /proc/11416/task/11432/stat : 11432 (java) S 11414 11414 10489 0 -1 1077944384 10935 0 0 0 223 2 0 0 20 0 28 0 91386126 27353788416 162385 33554432000 4194304 4196468 140725383156720 140493477361776 140494764382850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 20 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11433] ppid=11414 vsize=26712684 memory=4132 CPUtime=0.75 cores=0-7 /proc/11416/task/11433/stat : 11433 (java) S 11414 11414 10489 0 -1 1077944384 6919 0 0 0 73 2 0 0 20 0 28 0 91386127 27353788416 162385 33554432000 4194304 4196468 140725383156720 140493476308976 140494764382850 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11434] ppid=11414 vsize=26712684 memory=26628 CPUtime=0 cores=0-7 /proc/11416/task/11434/stat : 11434 (java) S 11414 11414 10489 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 91386127 27353788416 162385 33554432000 4194304 4196468 140725383156720 140493475257440 140494764381909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11435] ppid=11414 vsize=26712684 memory=1292 CPUtime=0.41 cores=0-7 /proc/11416/task/11435/stat : 11435 (java) S 11414 11414 10489 0 -1 1077944384 4887 0 0 0 5 36 0 0 20 0 28 0 91386127 27353788416 162385 33554432000 4194304 4196468 140725383156720 140493474204720 140494764382850 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 28 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11500] ppid=11414 vsize=26712684 memory=654068 CPUtime=2478.97 cores=0-7 /proc/11416/task/11500/stat : 11500 (java) R 11414 11414 10489 0 -1 4202560 10840 0 0 0 247893 4 0 0 20 0 28 0 91386217 27353788416 162385 33554432000 4194304 4196468 140725383156720 140493455089608 140494745211204 0 4 0 16800975 0 0 0 -1 7 0 0 10 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11501] ppid=11414 vsize=26712684 memory=2444 CPUtime=2482.08 cores=0-7 /proc/11416/task/11501/stat : 11501 (java) R 11414 11414 10489 0 -1 4202560 10084 0 0 0 248202 6 0 0 20 0 28 0 91386217 27353788416 162385 33554432000 4194304 4196468 140725383156720 140493463503800 140494377112199 0 4 0 16800975 0 0 0 -1 0 0 0 13 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11502] ppid=11414 vsize=26712684 memory=1456 CPUtime=2481.44 cores=0-7 /proc/11416/task/11502/stat : 11502 (java) R 11414 11414 10489 0 -1 4202560 12675 0 0 0 248139 5 0 0 20 0 28 0 91386217 27353788416 162385 33554432000 4194304 4196468 140725383156720 140493462450776 140494373517907 0 4 0 16800975 0 0 0 -1 2 0 0 11 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11503] ppid=11414 vsize=26712684 memory=652616 CPUtime=2484.13 cores=0-7 /proc/11416/task/11503/stat : 11503 (java) R 11414 11414 10489 0 -1 4202560 95143 0 0 0 248378 35 0 0 20 0 28 0 91386217 27353788416 162385 33554432000 4194304 4196468 140725383156720 140493464556136 140494374862080 0 4 0 16800975 0 0 0 -1 5 0 0 27 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11504] ppid=11414 vsize=26712684 memory=6791534058613427641 CPUtime=2484.37 cores=0-7 /proc/11416/task/11504/stat : 11504 (java) R 11414 11414 10489 0 -1 4202560 40590 0 0 0 248411 26 0 0 20 0 28 0 91386217 27353788416 162385 33554432000 4194304 4196468 140725383156720 140493465608680 140494377019948 0 4 0 16800975 0 0 0 -1 6 0 0 15 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11505] ppid=11414 vsize=26712684 memory=654068 CPUtime=2478.16 cores=0-7 /proc/11416/task/11505/stat : 11505 (java) R 11414 11414 10489 0 -1 4202560 10096 0 0 0 247812 4 0 0 20 0 28 0 91386217 27353788416 162385 33554432000 4194304 4196468 140725383156720 140493456142640 140494377114570 0 4 0 16800975 0 0 0 -1 4 0 0 22 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11506] ppid=11414 vsize=26712684 memory=4132 CPUtime=2482.01 cores=0-7 /proc/11416/task/11506/stat : 11506 (java) R 11414 11414 10489 0 -1 4202560 10429 0 0 0 248197 4 0 0 20 0 28 0 91386217 27353788416 162385 33554432000 4194304 4196468 140725383156720 140493454038104 140494377773231 0 4 0 16800975 0 0 0 -1 1 0 0 11 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11507] ppid=11414 vsize=26712684 memory=1456 CPUtime=2483.97 cores=0-7 /proc/11416/task/11507/stat : 11507 (java) R 11414 11414 10489 0 -1 4202560 415408 0 0 0 248290 107 0 0 20 0 28 0 91386218 27353788416 162385 33554432000 4194304 4196468 140725383156720 140493457197616 140494377111969 0 4 0 16800975 0 0 0 -1 3 0 0 13 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 Current children cumulated CPU time: 19919.2 s Current children cumulated vsize: 26825812 KiB Current children cumulated memory: 650996 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 9.36 8.76 8.53 9/212 11569 /proc/meminfo: memFree=23077440/32770624 swapFree=67108860/67108860 [pid=11414] ppid=11411 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/11414/stat : 11414 (xcsp3-exec) S 11411 11414 10489 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 91386120 115843072 364 33554432000 4194304 5098028 140733527599424 140733527597528 139919097569916 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10522624 140733527606326 140733527606528 140733527606528 140733527609290 0 /proc/11414/statm: 28282 364 306 221 0 87 0 [pid=11416] ppid=11414 vsize=26712684 memory=638252 CPUtime=20060.1 cores=0-7 /proc/11416/stat : 11416 (java) S 11414 11414 10489 0 -1 1077944320 946153 0 0 0 2005463 549 0 0 20 0 28 0 91386121 27353788416 159563 33554432000 4194304 4196468 140725383156720 140725383139264 140494764371703 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 /proc/11416/statm: 6678171 159563 3449 1 0 6639365 0 [pid=11416/tid=11417] ppid=11414 vsize=26712684 memory=-7395409520647495987 CPUtime=0.75 cores=0-7 /proc/11416/task/11417/stat : 11417 (java) S 11414 11414 10489 0 -1 1077944384 7392 0 0 0 71 4 0 0 20 0 28 0 91386121 27353788416 159563 33554432000 4194304 4196468 140725383156720 140494768612480 140494764381909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11418] ppid=11414 vsize=26712684 memory=-7003737579269690708 CPUtime=6.66 cores=0-7 /proc/11416/task/11418/stat : 11418 (java) S 11414 11414 10489 0 -1 1077944384 26210 0 0 0 628 38 0 0 20 0 28 0 91386122 27353788416 159563 33554432000 4194304 4196468 140725383156720 140494716992656 140494764381909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11419] ppid=11414 vsize=26712684 memory=2196 CPUtime=6.74 cores=0-7 /proc/11416/task/11419/stat : 11419 (java) S 11414 11414 10489 0 -1 1077944384 29781 0 0 0 636 38 0 0 20 0 28 0 91386122 27353788416 159563 33554432000 4194304 4196468 140725383156720 140494715939856 140494764381909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11420] ppid=11414 vsize=26712684 memory=7288 CPUtime=6.66 cores=0-7 /proc/11416/task/11420/stat : 11420 (java) S 11414 11414 10489 0 -1 1077944384 28659 0 0 0 628 38 0 0 20 0 28 0 91386122 27353788416 159563 33554432000 4194304 4196468 140725383156720 140494714887056 140494764381909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11421] ppid=11414 vsize=26712684 memory=836 CPUtime=6.65 cores=0-7 /proc/11416/task/11421/stat : 11421 (java) S 11414 11414 10489 0 -1 1077944384 28624 0 0 0 628 37 0 0 20 0 28 0 91386122 27353788416 159563 33554432000 4194304 4196468 140725383156720 140494713834256 140494764381909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11422] ppid=11414 vsize=26712684 memory=1696 CPUtime=6.7 cores=0-7 /proc/11416/task/11422/stat : 11422 (java) S 11414 11414 10489 0 -1 1077944384 29674 0 0 0 632 38 0 0 20 0 28 0 91386122 27353788416 159563 33554432000 4194304 4196468 140725383156720 140494712781456 140494764381909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11423] ppid=11414 vsize=26712684 memory=916 CPUtime=6.72 cores=0-7 /proc/11416/task/11423/stat : 11423 (java) S 11414 11414 10489 0 -1 1077944384 27420 0 0 0 632 40 0 0 20 0 28 0 91386122 27353788416 159563 33554432000 4194304 4196468 140725383156720 140494711728656 140494764381909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11424] ppid=11414 vsize=26712684 memory=6791534058613427641 CPUtime=6.73 cores=0-7 /proc/11416/task/11424/stat : 11424 (java) S 11414 11414 10489 0 -1 1077944384 26657 0 0 0 639 34 0 0 20 0 28 0 91386122 27353788416 159563 33554432000 4194304 4196468 140725383156720 140494710675856 140494764381909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11425] ppid=11414 vsize=26712684 memory=4104 CPUtime=6.66 cores=0-7 /proc/11416/task/11425/stat : 11425 (java) S 11414 11414 10489 0 -1 1077944384 26727 0 0 0 628 38 0 0 20 0 28 0 91386122 27353788416 159563 33554432000 4194304 4196468 140725383156720 140494709623056 140494764381909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11426] ppid=11414 vsize=26712684 memory=1404 CPUtime=2.5 cores=0-7 /proc/11416/task/11426/stat : 11426 (java) S 11414 11414 10489 0 -1 1077944384 59428 0 0 0 191 59 0 0 20 0 28 0 91386123 27353788416 159563 33554432000 4194304 4196468 140725383156720 140493551582064 140494764382850 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11427] ppid=11414 vsize=26712684 memory=3832 CPUtime=0 cores=0-7 /proc/11416/task/11427/stat : 11427 (java) S 11414 11414 10489 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 91386124 27353788416 159563 33554432000 4194304 4196468 140725383156720 140493550528096 140494764381909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11428] ppid=11414 vsize=26712684 memory=1456 CPUtime=0 cores=0-7 /proc/11416/task/11428/stat : 11428 (java) S 11414 11414 10489 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 91386124 27353788416 159563 33554432000 4194304 4196468 140725383156720 140493549475200 140494764381909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11429] ppid=11414 vsize=26712684 memory=1456 CPUtime=0 cores=0-7 /proc/11416/task/11429/stat : 11429 (java) S 11414 11414 10489 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 91386126 27353788416 159563 33554432000 4194304 4196468 140725383156720 140493480520016 140494764390299 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11430] ppid=11414 vsize=26712684 memory=654680 CPUtime=1.67 cores=0-7 /proc/11416/task/11430/stat : 11430 (java) S 11414 11414 10489 0 -1 1077944384 8190 0 0 0 165 2 0 0 20 0 28 0 91386126 27353788416 159563 33554432000 4194304 4196468 140725383156720 140493479467376 140494764382850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 28 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11431] ppid=11414 vsize=26712684 memory=-7395409520647495987 CPUtime=1.94 cores=0-7 /proc/11416/task/11431/stat : 11431 (java) S 11414 11414 10489 0 -1 1077944384 10181 0 0 0 192 2 0 0 20 0 28 0 91386126 27353788416 159563 33554432000 4194304 4196468 140725383156720 140493478414576 140494764382850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11432] ppid=11414 vsize=26712684 memory=2236 CPUtime=2.25 cores=0-7 /proc/11416/task/11432/stat : 11432 (java) S 11414 11414 10489 0 -1 1077944384 10941 0 0 0 223 2 0 0 20 0 28 0 91386126 27353788416 159563 33554432000 4194304 4196468 140725383156720 140493477361776 140494764382850 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 20 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11433] ppid=11414 vsize=26712684 memory=4128 CPUtime=0.75 cores=0-7 /proc/11416/task/11433/stat : 11433 (java) S 11414 11414 10489 0 -1 1077944384 6925 0 0 0 73 2 0 0 20 0 28 0 91386127 27353788416 159563 33554432000 4194304 4196468 140725383156720 140493476308976 140494764382850 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11434] ppid=11414 vsize=26712684 memory=2196 CPUtime=0 cores=0-7 /proc/11416/task/11434/stat : 11434 (java) S 11414 11414 10489 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 91386127 27353788416 159563 33554432000 4194304 4196468 140725383156720 140493475257440 140494764381909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11435] ppid=11414 vsize=26712684 memory=1292 CPUtime=0.41 cores=0-7 /proc/11416/task/11435/stat : 11435 (java) S 11414 11414 10489 0 -1 1077944384 4970 0 0 0 5 36 0 0 20 0 28 0 91386127 27353788416 159563 33554432000 4194304 4196468 140725383156720 140493474204720 140494764382850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 28 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11500] ppid=11414 vsize=26712684 memory=288230591722422566 CPUtime=2496.54 cores=0-7 /proc/11416/task/11500/stat : 11500 (java) R 11414 11414 10489 0 -1 4202560 11113 0 0 0 249650 4 0 0 20 0 28 0 91386217 27353788416 159563 33554432000 4194304 4196468 140725383156720 140493455088800 140494376590820 0 4 0 16800975 0 0 0 -1 2 0 0 10 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11501] ppid=11414 vsize=26712684 memory=14130048089196235 CPUtime=2499.68 cores=0-7 /proc/11416/task/11501/stat : 11501 (java) R 11414 11414 10489 0 -1 4202560 10360 0 0 0 249962 6 0 0 20 0 28 0 91386217 27353788416 159563 33554432000 4194304 4196468 140725383156720 140493463503664 140494748748823 0 4 0 16800975 0 0 0 -1 6 0 0 13 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11502] ppid=11414 vsize=26712684 memory=4120846677029494865 CPUtime=2499.03 cores=0-7 /proc/11416/task/11502/stat : 11502 (java) R 11414 11414 10489 0 -1 4202560 12951 0 0 0 249898 5 0 0 20 0 28 0 91386217 27353788416 159563 33554432000 4194304 4196468 140725383156720 140493462450640 140494377111564 0 4 0 16800975 0 0 0 -1 5 0 0 11 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11503] ppid=11414 vsize=26712684 memory=7440052414058620753 CPUtime=2501.6 cores=0-7 /proc/11416/task/11503/stat : 11503 (java) R 11414 11414 10489 0 -1 4202560 96100 0 0 0 250125 35 0 0 20 0 28 0 91386217 27353788416 159563 33554432000 4194304 4196468 140725383156720 140493464558144 140494377112554 0 4 0 16800975 0 0 0 -1 3 0 0 27 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11504] ppid=11414 vsize=26712684 memory=7013346343823632999 CPUtime=2501.92 cores=0-7 /proc/11416/task/11504/stat : 11504 (java) R 11414 11414 10489 0 -1 4202560 41157 0 0 0 250166 26 0 0 20 0 28 0 91386217 27353788416 159563 33554432000 4194304 4196468 140725383156720 140493465607920 140494378870696 0 4 0 16800975 0 0 0 -1 1 0 0 15 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11505] ppid=11414 vsize=26712684 memory=6153985703205688938 CPUtime=2495.76 cores=0-7 /proc/11416/task/11505/stat : 11505 (java) R 11414 11414 10489 0 -1 4202560 10393 0 0 0 249572 4 0 0 20 0 28 0 91386217 27353788416 159563 33554432000 4194304 4196468 140725383156720 140493456142264 140494377115346 0 4 0 16800975 0 0 0 -1 0 0 0 23 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11506] ppid=11414 vsize=26712684 memory=7588960373286396736 CPUtime=2499.5 cores=0-7 /proc/11416/task/11506/stat : 11506 (java) R 11414 11414 10489 0 -1 4202560 10574 0 0 0 249946 4 0 0 20 0 28 0 91386217 27353788416 159563 33554432000 4194304 4196468 140725383156720 140493454038328 140494377872770 0 4 0 16800975 0 0 0 -1 4 0 0 11 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 [pid=11416/tid=11507] ppid=11414 vsize=26712684 memory=0 CPUtime=2501.39 cores=0-7 /proc/11416/task/11507/stat : 11507 (java) R 11414 11414 10489 0 -1 4202560 419052 0 0 0 250032 107 0 0 20 0 28 0 91386218 27353788416 159563 33554432000 4194304 4196468 140725383156720 140493457194888 140494378416620 0 4 0 16800975 0 0 0 -1 7 0 0 13 0 0 6293624 6294260 23183360 140725383165057 140725383165229 140725383165229 140725383167951 0 Current children cumulated CPU time: 20060.1 s Current children cumulated vsize: 26825812 KiB Current children cumulated memory: 639708 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.04 s] # the end of solver process 11414 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.001559 s, system=0.000779 s [startup+2520.12 s] # the end of solver process 11416 was just reported to runsolver # cumulated CPU time of all completed processes: user=20055.4 s, system=5.51514 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): 20061 CPU user time (s): 20055.4 CPU system time (s): 5.51514 CPU usage (%): 796.032 Max. virtual memory (cumulated for all children) (KiB): 26825812 Max. memory (cumulated for all children) (KiB): 943904 getrusage(RUSAGE_CHILDREN,...) data: user time used= 20055.4 system time used= 5.51514 maximum resident set size= 969100 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 946974 page faults= 0 swaps= 0 block input operations= 0 block output operations= 3384 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 229790 involuntary context switches= 228574 # summary of solver processes directly reported to runsolver: # pid: 11414,11416 # total CPU time (s): 20061 # total CPU user time (s): 20055.4 # total CPU system time (s): 5.51514 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 20.8245 second user time and 28.5218 second system time The end
Begin job on node132 at 2018-07-28 02:37:09 IDJOB=4297847 IDBENCH=141677 IDSOLVER=2760 FILE ID=node132/4297847-1532738229 RUNJOBID= node132-1532732951-10516 PBS_JOBID= 21022352 Free space on /tmp= 52044 MiB SOLVER NAME= Choco-solver 4.0.7b par (e747e1e) BENCH NAME= XCSP18/Bacp/Bacp-m1/Bacp-m1-10a-nodv_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-4297847-1532738229/watcher-4297847-1532738229 -o /tmp/evaluation-result-4297847-1532738229/solver-4297847-1532738229 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node132-1532732951-10516 --watchdog 2580 HOME/xcsp3-exec -seed 567295865 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297847-1532738229.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= a75579b033916aae1f7e3bfa77a5c161 RANDOM SEED=567295865 node132.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.65 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.65 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.65 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.65 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: 23705524 kB MemAvailable: 31927532 kB Buffers: 188504 kB Cached: 8239112 kB SwapCached: 0 kB Active: 2597472 kB Inactive: 5884976 kB Active(anon): 4376 kB Inactive(anon): 77920 kB Active(file): 2593096 kB Inactive(file): 5807056 kB Unevictable: 6992 kB Mlocked: 6992 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 21780 kB Writeback: 0 kB AnonPages: 60044 kB Mapped: 42520 kB Shmem: 25280 kB Slab: 277604 kB SReclaimable: 250316 kB SUnreclaim: 27288 kB KernelStack: 3616 kB PageTables: 5236 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 324592 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 52020 MiB End job on node132 at 2018-07-28 03:19:10