Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Choco-solver 4.0.7b par (e747e1e) | SAT (TO) | 14 | 20060.9 | 2520.08 |
Name | Bacp/Bacp-m1/ Bacp-m1-10b_c18.xml |
MD5SUM | 4cdbad1057c2bf63c0002b000000d906 |
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 | 20060.9 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 482 |
Number of constraints | 96 |
Number of domains | 8 |
Minimum domain size | 2 |
Maximum domain size | 10 |
Distribution of domain sizes | [{"size":2,"count":420},{"size":6,"count":10},{"size":7,"count":10},{"size":10,"count":42}] |
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-4297845-1532738473.xml" -tl '20160s' -p 8 0.11/0.18 c Choco e747e1e 0.11/0.18 c [HOME/instance-4297845-1532738473.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 1.68/0.76 c solve instance... 2.14/0.85 o 16 2.14/0.86 o 15 2.14/0.86 o 15 2.14/0.87 o 14 20060.26/2520.06 s SATISFIABLE 20060.26/2520.06 v <instantiation> 20060.26/2520.06 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.26/2520.06 v <values>7 7 7 3 9 9 6 6 8 8 7 1 2 9 2 6 7 4 8 5 5 8 8 3 5 3 4 1 0 1 3 4 2 2 5 0 1 0 9 0 6 4 4 4 4 4 4 4 4 5 5 4 14 13 14 14 14 14 13 14 12 12 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 2 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 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 2 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 4 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 4 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 4 0 0 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 0 0 3 0 0 0 0 0 0 0 3 0 0 0 0 0 </values> 20060.26/2520.06 v </instantiation> 20060.26/2520.06 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 (8475 MiB free) memory of node 1: 16384 MiB (11529 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297845-1532738473/watcher-4297845-1532738473 -o /tmp/evaluation-result-4297845-1532738473/solver-4297845-1532738473 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1532738473-7325 --watchdog 2580 HOME/xcsp3-exec -seed 706506975 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297845-1532738473.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=7342, runsolver pid=7339 [startup+0.100138 s]* /proc/loadavg: 8.16 8.29 8.31 2/200 7363 /proc/meminfo: memFree=20469512/32770624 swapFree=67108860/67108860 [pid=7342] ppid=7339 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/7342/stat : 7342 (xcsp3-exec) S 7339 7342 7298 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 91410459 115843072 364 33554432000 4194304 5098028 140724207736896 140724207735000 140496543543932 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12939264 140724207739958 140724207740160 140724207740160 140724207742922 0 /proc/7342/statm: 28282 364 306 221 0 87 0 [pid=7344] ppid=7342 vsize=26104152 memory=26844 CPUtime=0.11 cores=0-7 /proc/7344/stat : 7344 (java) S 7342 7342 7298 0 -1 1077944320 5662 0 0 0 10 1 0 0 20 0 20 0 91410459 26730651648 6711 33554432000 4194304 4196468 140729351850096 140729351832640 139811063123703 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 /proc/7344/statm: 6526038 6711 3001 1 0 6488315 0 [pid=7344/tid=7345] ppid=7342 vsize=26104152 memory=4134692831991783777 CPUtime=0.09 cores=0-7 /proc/7344/task/7345/stat : 7345 (java) R 7342 7342 7298 0 -1 4202560 3672 0 0 0 8 1 0 0 20 0 20 0 91410459 26730651648 6711 33554432000 4194304 4196468 140729351850096 139811067343544 139811063135638 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7346] ppid=7342 vsize=26104152 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/7344/task/7346/stat : 7346 (java) S 7342 7342 7298 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 91410460 26730651648 6711 33554432000 4194304 4196468 140729351850096 139810985704592 139811063133909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7347] ppid=7342 vsize=26104152 memory=140505623443072 CPUtime=0 cores=0-7 /proc/7344/task/7347/stat : 7347 (java) S 7342 7342 7298 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91410460 26730651648 6711 33554432000 4194304 4196468 140729351850096 139810984651792 139811063133909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7348] ppid=7342 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/7344/task/7348/stat : 7348 (java) S 7342 7342 7298 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 91410460 26730651648 6711 33554432000 4194304 4196468 140729351850096 139810619546512 139811063133909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7349] ppid=7342 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/7344/task/7349/stat : 7349 (java) S 7342 7342 7298 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 91410460 26730651648 6711 33554432000 4194304 4196468 140729351850096 139810618493712 139811063133909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7350] ppid=7342 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/7344/task/7350/stat : 7350 (java) S 7342 7342 7298 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 91410460 26730651648 6711 33554432000 4194304 4196468 140729351850096 139810617440912 139811063133909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7351] ppid=7342 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/7344/task/7351/stat : 7351 (java) S 7342 7342 7298 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91410460 26730651648 6711 33554432000 4194304 4196468 140729351850096 139810616388112 139811063133909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7352] ppid=7342 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/7344/task/7352/stat : 7352 (java) S 7342 7342 7298 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 91410460 26730651648 6711 33554432000 4194304 4196468 140729351850096 139810615335312 139811063133909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7353] ppid=7342 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/7344/task/7353/stat : 7353 (java) S 7342 7342 7298 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 91410460 26730651648 6711 33554432000 4194304 4196468 140729351850096 139810614282512 139811063133909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7354] ppid=7342 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/7344/task/7354/stat : 7354 (java) S 7342 7342 7298 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 91410461 26730651648 6711 33554432000 4194304 4196468 140729351850096 139809335397232 139811063134850 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7355] ppid=7342 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/7344/task/7355/stat : 7355 (java) S 7342 7342 7298 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 91410462 26730651648 6711 33554432000 4194304 4196468 140729351850096 139809334343200 139811063133909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7356] ppid=7342 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/7344/task/7356/stat : 7356 (java) S 7342 7342 7298 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 91410462 26730651648 6711 33554432000 4194304 4196468 140729351850096 139809333290352 139811063133909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7357] ppid=7342 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/7344/task/7357/stat : 7357 (java) S 7342 7342 7298 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91410465 26730651648 6711 33554432000 4194304 4196468 140729351850096 139809332238672 139811063142299 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7358] ppid=7342 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/7344/task/7358/stat : 7358 (java) S 7342 7342 7298 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 91410465 26730651648 6711 33554432000 4194304 4196468 140729351850096 139809331186032 139811063134850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7359] ppid=7342 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/7344/task/7359/stat : 7359 (java) R 7342 7342 7298 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 91410465 26730651648 6711 33554432000 4194304 4196468 140729351850096 139809330133232 139811063134850 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7360] ppid=7342 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/7344/task/7360/stat : 7360 (java) S 7342 7342 7298 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91410465 26730651648 6711 33554432000 4194304 4196468 140729351850096 139809329080432 139811063134850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7361] ppid=7342 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/7344/task/7361/stat : 7361 (java) R 7342 7342 7298 0 -1 4202560 258 0 0 0 1 0 0 0 20 0 20 0 91410465 26730651648 6711 33554432000 4194304 4196468 140729351850096 139809328027632 139811047204190 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7362] ppid=7342 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/7344/task/7362/stat : 7362 (java) S 7342 7342 7298 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 91410465 26730651648 6711 33554432000 4194304 4196468 140729351850096 139809326976096 139811063133909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7363] ppid=7342 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/7344/task/7363/stat : 7363 (java) S 7342 7342 7298 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91410465 26730651648 6711 33554432000 4194304 4196468 140729351850096 139809325923376 139811063134850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 28300 KiB [startup+0.21055 s]* /proc/loadavg: 8.16 8.29 8.31 3/200 7363 /proc/meminfo: memFree=20457340/32770624 swapFree=67108860/67108860 [pid=7342] ppid=7339 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/7342/stat : 7342 (xcsp3-exec) S 7339 7342 7298 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 91410459 115843072 364 33554432000 4194304 5098028 140724207736896 140724207735000 140496543543932 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12939264 140724207739958 140724207740160 140724207740160 140724207742922 0 /proc/7342/statm: 28282 364 306 221 0 87 0 [pid=7344] ppid=7342 vsize=26104152 memory=39476 CPUtime=0.34 cores=0-7 /proc/7344/stat : 7344 (java) S 7342 7342 7298 0 -1 1077944320 8498 0 0 0 31 3 0 0 20 0 20 0 91410459 26730651648 9869 33554432000 4194304 4196468 140729351850096 140729351832640 139811063123703 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 /proc/7344/statm: 6526038 9869 3167 1 0 6488315 0 [pid=7344/tid=7345] ppid=7342 vsize=26104152 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/7344/task/7345/stat : 7345 (java) R 7342 7342 7298 0 -1 4202560 5569 0 0 0 18 2 0 0 20 0 20 0 91410459 26730651648 9869 33554432000 4194304 4196468 140729351850096 139811067361312 139811047204190 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7346] ppid=7342 vsize=26104152 memory=330 CPUtime=0 cores=0-7 /proc/7344/task/7346/stat : 7346 (java) S 7342 7342 7298 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 91410460 26730651648 9869 33554432000 4194304 4196468 140729351850096 139810985704592 139811063133909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7347] ppid=7342 vsize=26104152 memory=140505623450671 CPUtime=0 cores=0-7 /proc/7344/task/7347/stat : 7347 (java) S 7342 7342 7298 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91410460 26730651648 9869 33554432000 4194304 4196468 140729351850096 139810984651792 139811063133909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7348] ppid=7342 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/7344/task/7348/stat : 7348 (java) S 7342 7342 7298 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 91410460 26730651648 9869 33554432000 4194304 4196468 140729351850096 139810619546512 139811063133909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7349] ppid=7342 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/7344/task/7349/stat : 7349 (java) S 7342 7342 7298 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 91410460 26730651648 9869 33554432000 4194304 4196468 140729351850096 139810618493712 139811063133909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7350] ppid=7342 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/7344/task/7350/stat : 7350 (java) S 7342 7342 7298 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 91410460 26730651648 9869 33554432000 4194304 4196468 140729351850096 139810617440912 139811063133909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7351] ppid=7342 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/7344/task/7351/stat : 7351 (java) S 7342 7342 7298 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91410460 26730651648 9869 33554432000 4194304 4196468 140729351850096 139810616388112 139811063133909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7352] ppid=7342 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/7344/task/7352/stat : 7352 (java) S 7342 7342 7298 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 91410460 26730651648 9869 33554432000 4194304 4196468 140729351850096 139810615335312 139811063133909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7353] ppid=7342 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/7344/task/7353/stat : 7353 (java) S 7342 7342 7298 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 91410460 26730651648 9869 33554432000 4194304 4196468 140729351850096 139810614282512 139811063133909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7354] ppid=7342 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/7344/task/7354/stat : 7354 (java) S 7342 7342 7298 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 91410461 26730651648 9869 33554432000 4194304 4196468 140729351850096 139809335397232 139811063134850 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7355] ppid=7342 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/7344/task/7355/stat : 7355 (java) S 7342 7342 7298 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 91410462 26730651648 9869 33554432000 4194304 4196468 140729351850096 139809334343200 139811063133909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7356] ppid=7342 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/7344/task/7356/stat : 7356 (java) S 7342 7342 7298 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 91410462 26730651648 9869 33554432000 4194304 4196468 140729351850096 139809333290352 139811063133909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7357] ppid=7342 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/7344/task/7357/stat : 7357 (java) S 7342 7342 7298 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91410465 26730651648 9869 33554432000 4194304 4196468 140729351850096 139809332238672 139811063142299 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7358] ppid=7342 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/7344/task/7358/stat : 7358 (java) S 7342 7342 7298 0 -1 1077944384 366 0 0 0 0 0 0 0 20 0 20 0 91410465 26730651648 9869 33554432000 4194304 4196468 140729351850096 139809331186032 139811063134850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7359] ppid=7342 vsize=26104152 memory=0 CPUtime=0.02 cores=0-7 /proc/7344/task/7359/stat : 7359 (java) S 7342 7342 7298 0 -1 1077944384 381 0 0 0 2 0 0 0 20 0 20 0 91410465 26730651648 9869 33554432000 4194304 4196468 140729351850096 139809330133232 139811063134850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7360] ppid=7342 vsize=26104152 memory=-1 CPUtime=0.02 cores=0-7 /proc/7344/task/7360/stat : 7360 (java) S 7342 7342 7298 0 -1 1077944384 102 0 0 0 2 0 0 0 20 0 20 0 91410465 26730651648 9869 33554432000 4194304 4196468 140729351850096 139809329080432 139811063134850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7361] ppid=7342 vsize=26104152 memory=-1 CPUtime=0.07 cores=0-7 /proc/7344/task/7361/stat : 7361 (java) S 7342 7342 7298 0 -1 1077944384 776 0 0 0 7 0 0 0 20 0 20 0 91410465 26730651648 9869 33554432000 4194304 4196468 140729351850096 139809328027632 139811063134850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7362] ppid=7342 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/7344/task/7362/stat : 7362 (java) S 7342 7342 7298 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 91410465 26730651648 9869 33554432000 4194304 4196468 140729351850096 139809326976096 139811063133909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7363] ppid=7342 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/7344/task/7363/stat : 7363 (java) S 7342 7342 7298 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91410465 26730651648 9869 33554432000 4194304 4196468 140729351850096 139809325923376 139811063134850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 40932 KiB [startup+0.310505 s]* /proc/loadavg: 8.16 8.29 8.31 4/200 7363 /proc/meminfo: memFree=20451260/32770624 swapFree=67108860/67108860 [pid=7342] ppid=7339 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/7342/stat : 7342 (xcsp3-exec) S 7339 7342 7298 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 91410459 115843072 364 33554432000 4194304 5098028 140724207736896 140724207735000 140496543543932 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12939264 140724207739958 140724207740160 140724207740160 140724207742922 0 /proc/7342/statm: 28282 364 306 221 0 87 0 [pid=7344] ppid=7342 vsize=26108408 memory=46716 CPUtime=0.52 cores=0-7 /proc/7344/stat : 7344 (java) S 7342 7342 7298 0 -1 1077944320 9403 0 0 0 49 3 0 0 20 0 20 0 91410459 26735009792 11679 33554432000 4194304 4196468 140729351850096 140729351832640 139811063123703 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 /proc/7344/statm: 6527102 11679 3230 1 0 6488315 0 [pid=7344/tid=7345] ppid=7342 vsize=26108408 memory=8112282956445269571 CPUtime=0.29 cores=0-7 /proc/7344/task/7345/stat : 7345 (java) R 7342 7342 7298 0 -1 4202560 6276 0 0 0 27 2 0 0 20 0 20 0 91410459 26735009792 11679 33554432000 4194304 4196468 140729351850096 139811067360992 139811047204190 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7346] ppid=7342 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/7344/task/7346/stat : 7346 (java) S 7342 7342 7298 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 91410460 26735009792 11679 33554432000 4194304 4196468 140729351850096 139810985704592 139811063133909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7347] ppid=7342 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/7344/task/7347/stat : 7347 (java) S 7342 7342 7298 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91410460 26735009792 11679 33554432000 4194304 4196468 140729351850096 139810984651792 139811063133909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7348] ppid=7342 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/7344/task/7348/stat : 7348 (java) S 7342 7342 7298 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 91410460 26735009792 11679 33554432000 4194304 4196468 140729351850096 139810619546512 139811063133909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7349] ppid=7342 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/7344/task/7349/stat : 7349 (java) S 7342 7342 7298 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 91410460 26735009792 11679 33554432000 4194304 4196468 140729351850096 139810618493712 139811063133909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7350] ppid=7342 vsize=26108408 memory=2244 CPUtime=0 cores=0-7 /proc/7344/task/7350/stat : 7350 (java) S 7342 7342 7298 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 91410460 26735009792 11679 33554432000 4194304 4196468 140729351850096 139810617440912 139811063133909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7351] ppid=7342 vsize=26108408 memory=140505493107631 CPUtime=0 cores=0-7 /proc/7344/task/7351/stat : 7351 (java) S 7342 7342 7298 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91410460 26735009792 11679 33554432000 4194304 4196468 140729351850096 139810616388112 139811063133909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7352] ppid=7342 vsize=26108408 memory=140505493109936 CPUtime=0 cores=0-7 /proc/7344/task/7352/stat : 7352 (java) S 7342 7342 7298 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 91410460 26735009792 11679 33554432000 4194304 4196468 140729351850096 139810615335312 139811063133909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7353] ppid=7342 vsize=26108408 memory=140505493112240 CPUtime=0 cores=0-7 /proc/7344/task/7353/stat : 7353 (java) S 7342 7342 7298 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 91410460 26735009792 11679 33554432000 4194304 4196468 140729351850096 139810614282512 139811063133909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7354] ppid=7342 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/7344/task/7354/stat : 7354 (java) S 7342 7342 7298 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 91410461 26735009792 11679 33554432000 4194304 4196468 140729351850096 139809335397232 139811063134850 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7355] ppid=7342 vsize=26108408 memory=281010986231440 CPUtime=0 cores=0-7 /proc/7344/task/7355/stat : 7355 (java) S 7342 7342 7298 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 91410462 26735009792 11679 33554432000 4194304 4196468 140729351850096 139809334343200 139811063133909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7356] ppid=7342 vsize=26108408 memory=281010986238352 CPUtime=0 cores=0-7 /proc/7344/task/7356/stat : 7356 (java) S 7342 7342 7298 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 91410462 26735009792 11679 33554432000 4194304 4196468 140729351850096 139809333290352 139811063133909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7357] ppid=7342 vsize=26108408 memory=281010986179632 CPUtime=0 cores=0-7 /proc/7344/task/7357/stat : 7357 (java) S 7342 7342 7298 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91410465 26735009792 11679 33554432000 4194304 4196468 140729351850096 139809332238672 139811063142299 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7358] ppid=7342 vsize=26108408 memory=281010986252176 CPUtime=0.02 cores=0-7 /proc/7344/task/7358/stat : 7358 (java) R 7342 7342 7298 0 -1 4202560 487 0 0 0 2 0 0 0 20 0 20 0 91410465 26735009792 11679 33554432000 4194304 4196468 140729351850096 139809331176416 139811044668139 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7359] ppid=7342 vsize=26108408 memory=281010986259088 CPUtime=0.03 cores=0-7 /proc/7344/task/7359/stat : 7359 (java) S 7342 7342 7298 0 -1 1077944384 390 0 0 0 3 0 0 0 20 0 20 0 91410465 26735009792 11679 33554432000 4194304 4196468 140729351850096 139809330133232 139811063134850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7360] ppid=7342 vsize=26108408 memory=281010986256784 CPUtime=0.03 cores=0-7 /proc/7344/task/7360/stat : 7360 (java) S 7342 7342 7298 0 -1 1077944384 113 0 0 0 3 0 0 0 20 0 20 0 91410465 26735009792 11679 33554432000 4194304 4196468 140729351850096 139809329080432 139811063134850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7361] ppid=7342 vsize=26108408 memory=281010986272944 CPUtime=0.12 cores=0-7 /proc/7344/task/7361/stat : 7361 (java) S 7342 7342 7298 0 -1 1077944384 836 0 0 0 12 0 0 0 20 0 20 0 91410465 26735009792 11679 33554432000 4194304 4196468 140729351850096 139809328027632 139811063134850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7362] ppid=7342 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/7344/task/7362/stat : 7362 (java) S 7342 7342 7298 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 91410465 26735009792 11679 33554432000 4194304 4196468 140729351850096 139809326976096 139811063133909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7363] ppid=7342 vsize=26108408 memory=-1 CPUtime=0 cores=0-7 /proc/7344/task/7363/stat : 7363 (java) S 7342 7342 7298 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91410465 26735009792 11679 33554432000 4194304 4196468 140729351850096 139809325923376 139811063134850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 26221536 KiB Current children cumulated memory: 48172 KiB [startup+0.701066 s] /proc/loadavg: 8.16 8.29 8.31 5/200 7363 /proc/meminfo: memFree=20437164/32770624 swapFree=67108860/67108860 [pid=7342] ppid=7339 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/7342/stat : 7342 (xcsp3-exec) S 7339 7342 7298 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 91410459 115843072 364 33554432000 4194304 5098028 140724207736896 140724207735000 140496543543932 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12939264 140724207739958 140724207740160 140724207740160 140724207742922 0 /proc/7342/statm: 28282 364 306 221 0 87 0 [pid=7344] ppid=7342 vsize=26110532 memory=81676 CPUtime=1.68 cores=0-7 /proc/7344/stat : 7344 (java) S 7342 7342 7298 0 -1 1077944320 13559 0 0 0 162 6 0 0 20 0 20 0 91410459 26737184768 20419 33554432000 4194304 4196468 140729351850096 140729351832640 139811063123703 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 /proc/7344/statm: 6527633 20419 3364 1 0 6488827 0 [pid=7344/tid=7345] ppid=7342 vsize=26110532 memory=281010986630832 CPUtime=0.66 cores=0-7 /proc/7344/task/7345/stat : 7345 (java) R 7342 7342 7298 0 -1 4202560 7328 0 0 0 63 3 0 0 20 0 20 0 91410459 26737184768 20419 33554432000 4194304 4196468 140729351850096 139811067360160 139811063135638 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7346] ppid=7342 vsize=26110532 memory=140505493316464 CPUtime=0 cores=0-7 /proc/7344/task/7346/stat : 7346 (java) S 7342 7342 7298 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 91410460 26737184768 20419 33554432000 4194304 4196468 140729351850096 139810985704592 139811063133909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7347] ppid=7342 vsize=26110532 memory=0 CPUtime=0 cores=0-7 /proc/7344/task/7347/stat : 7347 (java) S 7342 7342 7298 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91410460 26737184768 20419 33554432000 4194304 4196468 140729351850096 139810984651792 139811063133909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7348] ppid=7342 vsize=26110532 memory=8540 CPUtime=0 cores=0-7 /proc/7344/task/7348/stat : 7348 (java) S 7342 7342 7298 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 91410460 26737184768 20419 33554432000 4194304 4196468 140729351850096 139810619546512 139811063133909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 ################ # More data... # ################ [pid=7344/tid=7402] ppid=7342 vsize=26645092 memory=4052 CPUtime=2478.97 cores=0-7 /proc/7344/task/7402/stat : 7402 (java) R 7342 7342 7298 0 -1 4202560 489570 0 0 0 247748 149 0 0 20 0 28 0 91410548 27284574208 167139 33554432000 4194304 4196468 140729351850096 139809310823096 139810671195773 0 4 0 16800975 0 0 0 -1 5 0 0 11 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 Current children cumulated CPU time: 19919.1 s Current children cumulated vsize: 26758220 KiB Current children cumulated memory: 670012 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s] /proc/loadavg: 8.14 8.36 8.39 9/209 7497 /proc/meminfo: memFree=19832556/32770624 swapFree=67108860/67108860 [pid=7342] ppid=7339 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/7342/stat : 7342 (xcsp3-exec) S 7339 7342 7298 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 91410459 115843072 364 33554432000 4194304 5098028 140724207736896 140724207735000 140496543543932 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12939264 140724207739958 140724207740160 140724207740160 140724207742922 0 /proc/7342/statm: 28282 364 306 221 0 87 0 [pid=7344] ppid=7342 vsize=26645092 memory=665752 CPUtime=20060.3 cores=0-7 /proc/7344/stat : 7344 (java) S 7342 7342 7298 0 -1 1077944320 964380 0 0 0 2005434 592 0 0 20 0 28 0 91410459 27284574208 166438 33554432000 4194304 4196468 140729351850096 140729351832640 139811063123703 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 /proc/7344/statm: 6661273 166438 3450 1 0 6622467 0 [pid=7344/tid=7345] ppid=7342 vsize=26645092 memory=666264 CPUtime=0.75 cores=0-7 /proc/7344/task/7345/stat : 7345 (java) S 7342 7342 7298 0 -1 1077944384 7439 0 0 0 71 4 0 0 20 0 28 0 91410459 27284574208 166438 33554432000 4194304 4196468 140729351850096 139811067364480 139811063133909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7346] ppid=7342 vsize=26645092 memory=666264 CPUtime=7.67 cores=0-7 /proc/7344/task/7346/stat : 7346 (java) S 7342 7342 7298 0 -1 1077944384 25887 0 0 0 730 37 0 0 20 0 28 0 91410460 27284574208 166438 33554432000 4194304 4196468 140729351850096 139810985704592 139811063133909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7347] ppid=7342 vsize=26645092 memory=667288 CPUtime=7.6 cores=0-7 /proc/7344/task/7347/stat : 7347 (java) S 7342 7342 7298 0 -1 1077944384 24499 0 0 0 724 36 0 0 20 0 28 0 91410460 27284574208 166438 33554432000 4194304 4196468 140729351850096 139810984651792 139811063133909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7348] ppid=7342 vsize=26645092 memory=666264 CPUtime=7.62 cores=0-7 /proc/7344/task/7348/stat : 7348 (java) S 7342 7342 7298 0 -1 1077944384 25841 0 0 0 725 37 0 0 20 0 28 0 91410460 27284574208 166438 33554432000 4194304 4196468 140729351850096 139810619546512 139811063133909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7349] ppid=7342 vsize=26645092 memory=1456 CPUtime=7.65 cores=0-7 /proc/7344/task/7349/stat : 7349 (java) S 7342 7342 7298 0 -1 1077944384 23500 0 0 0 730 35 0 0 20 0 28 0 91410460 27284574208 166438 33554432000 4194304 4196468 140729351850096 139810618493712 139811063133909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7350] ppid=7342 vsize=26645092 memory=668288 CPUtime=7.65 cores=0-7 /proc/7344/task/7350/stat : 7350 (java) S 7342 7342 7298 0 -1 1077944384 24353 0 0 0 729 36 0 0 20 0 28 0 91410460 27284574208 166438 33554432000 4194304 4196468 140729351850096 139810617440912 139811063133909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7351] ppid=7342 vsize=26645092 memory=1796 CPUtime=7.63 cores=0-7 /proc/7344/task/7351/stat : 7351 (java) S 7342 7342 7298 0 -1 1077944384 25853 0 0 0 725 38 0 0 20 0 28 0 91410460 27284574208 166438 33554432000 4194304 4196468 140729351850096 139810616388112 139811063133909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7352] ppid=7342 vsize=26645092 memory=2200 CPUtime=7.66 cores=0-7 /proc/7344/task/7352/stat : 7352 (java) S 7342 7342 7298 0 -1 1077944384 25870 0 0 0 729 37 0 0 20 0 28 0 91410460 27284574208 166438 33554432000 4194304 4196468 140729351850096 139810615335312 139811063133909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7353] ppid=7342 vsize=26645092 memory=7528 CPUtime=7.64 cores=0-7 /proc/7344/task/7353/stat : 7353 (java) S 7342 7342 7298 0 -1 1077944384 26400 0 0 0 726 38 0 0 20 0 28 0 91410460 27284574208 166438 33554432000 4194304 4196468 140729351850096 139810614282512 139811063133909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7354] ppid=7342 vsize=26645092 memory=667292 CPUtime=2.7 cores=0-7 /proc/7344/task/7354/stat : 7354 (java) S 7342 7342 7298 0 -1 1077944384 56013 0 0 0 205 65 0 0 20 0 28 0 91410461 27284574208 166438 33554432000 4194304 4196468 140729351850096 139809335397232 139811063134850 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7355] ppid=7342 vsize=26645092 memory=1456 CPUtime=0 cores=0-7 /proc/7344/task/7355/stat : 7355 (java) S 7342 7342 7298 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 91410462 27284574208 166438 33554432000 4194304 4196468 140729351850096 139809334343264 139811063133909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7356] ppid=7342 vsize=26645092 memory=1456 CPUtime=0 cores=0-7 /proc/7344/task/7356/stat : 7356 (java) S 7342 7342 7298 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 91410462 27284574208 166438 33554432000 4194304 4196468 140729351850096 139809333290352 139811063133909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7357] ppid=7342 vsize=26645092 memory=1456 CPUtime=0 cores=0-7 /proc/7344/task/7357/stat : 7357 (java) S 7342 7342 7298 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 91410465 27284574208 166438 33554432000 4194304 4196468 140729351850096 139809332238672 139811063142299 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7358] ppid=7342 vsize=26645092 memory=668336 CPUtime=1.43 cores=0-7 /proc/7344/task/7358/stat : 7358 (java) S 7342 7342 7298 0 -1 1077944384 6467 0 0 0 142 1 0 0 20 0 28 0 91410465 27284574208 166438 33554432000 4194304 4196468 140729351850096 139809331186032 139811063134850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7359] ppid=7342 vsize=26645092 memory=1456 CPUtime=1.9 cores=0-7 /proc/7344/task/7359/stat : 7359 (java) S 7342 7342 7298 0 -1 1077944384 8989 0 0 0 188 2 0 0 20 0 28 0 91410465 27284574208 166438 33554432000 4194304 4196468 140729351850096 139809330133232 139811063134850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7360] ppid=7342 vsize=26645092 memory=1456 CPUtime=1.81 cores=0-7 /proc/7344/task/7360/stat : 7360 (java) S 7342 7342 7298 0 -1 1077944384 9705 0 0 0 179 2 0 0 20 0 28 0 91410465 27284574208 166438 33554432000 4194304 4196468 140729351850096 139809329080432 139811063134850 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7361] ppid=7342 vsize=26645092 memory=1456 CPUtime=0.8 cores=0-7 /proc/7344/task/7361/stat : 7361 (java) S 7342 7342 7298 0 -1 1077944384 8193 0 0 0 78 2 0 0 20 0 28 0 91410465 27284574208 166438 33554432000 4194304 4196468 140729351850096 139809328027632 139811063134850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7362] ppid=7342 vsize=26645092 memory=1456 CPUtime=0 cores=0-7 /proc/7344/task/7362/stat : 7362 (java) S 7342 7342 7298 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 91410465 27284574208 166438 33554432000 4194304 4196468 140729351850096 139809326976096 139811063133909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7363] ppid=7342 vsize=26645092 memory=666264 CPUtime=0.5 cores=0-7 /proc/7344/task/7363/stat : 7363 (java) S 7342 7342 7298 0 -1 1077944384 4193 0 0 0 16 34 0 0 20 0 28 0 91410465 27284574208 166438 33554432000 4194304 4196468 140729351850096 139809325923376 139811063134850 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7395] ppid=7342 vsize=26645092 memory=8112282956445269571 CPUtime=2498.75 cores=0-7 /proc/7344/task/7395/stat : 7395 (java) R 7342 7342 7298 0 -1 4202560 9206 0 0 0 249872 3 0 0 20 0 28 0 91410547 27284574208 166438 33554432000 4194304 4196468 140729351850096 139809313980456 139810671049260 0 4 0 16800975 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7396] ppid=7342 vsize=26645092 memory=8540 CPUtime=2499.44 cores=0-7 /proc/7344/task/7396/stat : 7396 (java) R 7342 7342 7298 0 -1 4202560 8799 0 0 0 249939 5 0 0 20 0 28 0 91410547 27284574208 166438 33554432000 4194304 4196468 140729351850096 139809312928656 139810670517942 0 4 0 16800975 0 0 0 -1 6 0 0 8 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7397] ppid=7342 vsize=26645092 memory=666264 CPUtime=2501.33 cores=0-7 /proc/7344/task/7397/stat : 7397 (java) R 7342 7342 7298 0 -1 4202560 10219 0 0 0 250126 7 0 0 20 0 28 0 91410547 27284574208 166438 33554432000 4194304 4196468 140729351850096 139809315033368 139810672418967 0 4 0 16800975 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7398] ppid=7342 vsize=26645092 memory=1456 CPUtime=2498.04 cores=0-7 /proc/7344/task/7398/stat : 7398 (java) R 7342 7342 7298 0 -1 4202560 9535 0 0 0 249800 4 0 0 20 0 28 0 91410547 27284574208 166438 33554432000 4194304 4196468 140729351850096 139809307672720 139810670518183 0 4 0 16800975 0 0 0 -1 5 0 0 8 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7399] ppid=7342 vsize=26645092 memory=1456 CPUtime=2497.25 cores=0-7 /proc/7344/task/7399/stat : 7399 (java) R 7342 7342 7298 0 -1 4202560 92720 0 0 0 249687 38 0 0 20 0 28 0 91410547 27284574208 166438 33554432000 4194304 4196468 140729351850096 139809317138336 139810673425679 0 4 0 16800975 0 0 0 -1 7 0 0 14 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7400] ppid=7342 vsize=26645092 memory=1456 CPUtime=2498.46 cores=0-7 /proc/7344/task/7400/stat : 7400 (java) R 7342 7342 7298 0 -1 4202560 30232 0 0 0 249824 22 0 0 20 0 28 0 91410547 27284574208 166438 33554432000 4194304 4196468 140729351850096 139809316085648 139810670940196 0 4 0 16800975 0 0 0 -1 3 0 0 11 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7401] ppid=7342 vsize=26645092 memory=0 CPUtime=2498.79 cores=0-7 /proc/7344/task/7401/stat : 7401 (java) R 7342 7342 7298 0 -1 4202560 8801 0 0 0 249874 5 0 0 20 0 28 0 91410548 27284574208 166438 33554432000 4194304 4196468 140729351850096 139809311875344 139810671048990 0 4 0 16800975 0 0 0 -1 2 0 0 10 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7402] ppid=7342 vsize=26645092 memory=7013346442758874224 CPUtime=2496.58 cores=0-7 /proc/7344/task/7402/stat : 7402 (java) R 7342 7342 7298 0 -1 4202560 489572 0 0 0 249509 149 0 0 20 0 28 0 91410548 27284574208 166438 33554432000 4194304 4196468 140729351850096 139809310825264 139810671194076 0 4 0 16800975 0 0 0 -1 1 0 0 11 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 Current children cumulated CPU time: 20060.3 s Current children cumulated vsize: 26758220 KiB Current children cumulated memory: 667208 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.04 s] # the end of solver process 7342 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.002229 s, system=0 s [startup+2520.08 s] # the end of solver process 7344 was just reported to runsolver # cumulated CPU time of all completed processes: user=20054.9 s, system=5.92969 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 [startup+2520 s] /proc/loadavg: 8.14 8.36 8.39 9/209 7497 /proc/meminfo: memFree=19832556/32770624 swapFree=67108860/67108860 [pid=7342] ppid=7339 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/7342/stat : 7342 (xcsp3-exec) S 7339 7342 7298 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 91410459 115843072 364 33554432000 4194304 5098028 140724207736896 140724207735000 140496543543932 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12939264 140724207739958 140724207740160 140724207740160 140724207742922 0 /proc/7342/statm: 28282 364 306 221 0 87 0 [pid=7344] ppid=7342 vsize=26645092 memory=665752 CPUtime=20060.3 cores=0-7 /proc/7344/stat : 7344 (java) S 7342 7342 7298 0 -1 1077944320 964380 0 0 0 2005434 592 0 0 20 0 28 0 91410459 27284574208 166438 33554432000 4194304 4196468 140729351850096 140729351832640 139811063123703 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 /proc/7344/statm: 6661273 166438 3450 1 0 6622467 0 [pid=7344/tid=7345] ppid=7342 vsize=26645092 memory=666264 CPUtime=0.75 cores=0-7 /proc/7344/task/7345/stat : 7345 (java) S 7342 7342 7298 0 -1 1077944384 7439 0 0 0 71 4 0 0 20 0 28 0 91410459 27284574208 166438 33554432000 4194304 4196468 140729351850096 139811067364480 139811063133909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7346] ppid=7342 vsize=26645092 memory=666264 CPUtime=7.67 cores=0-7 /proc/7344/task/7346/stat : 7346 (java) S 7342 7342 7298 0 -1 1077944384 25887 0 0 0 730 37 0 0 20 0 28 0 91410460 27284574208 166438 33554432000 4194304 4196468 140729351850096 139810985704592 139811063133909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7347] ppid=7342 vsize=26645092 memory=667288 CPUtime=7.6 cores=0-7 /proc/7344/task/7347/stat : 7347 (java) S 7342 7342 7298 0 -1 1077944384 24499 0 0 0 724 36 0 0 20 0 28 0 91410460 27284574208 166438 33554432000 4194304 4196468 140729351850096 139810984651792 139811063133909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7348] ppid=7342 vsize=26645092 memory=666264 CPUtime=7.62 cores=0-7 /proc/7344/task/7348/stat : 7348 (java) S 7342 7342 7298 0 -1 1077944384 25841 0 0 0 725 37 0 0 20 0 28 0 91410460 27284574208 166438 33554432000 4194304 4196468 140729351850096 139810619546512 139811063133909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7349] ppid=7342 vsize=26645092 memory=1456 CPUtime=7.65 cores=0-7 /proc/7344/task/7349/stat : 7349 (java) S 7342 7342 7298 0 -1 1077944384 23500 0 0 0 730 35 0 0 20 0 28 0 91410460 27284574208 166438 33554432000 4194304 4196468 140729351850096 139810618493712 139811063133909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7350] ppid=7342 vsize=26645092 memory=668288 CPUtime=7.65 cores=0-7 /proc/7344/task/7350/stat : 7350 (java) S 7342 7342 7298 0 -1 1077944384 24353 0 0 0 729 36 0 0 20 0 28 0 91410460 27284574208 166438 33554432000 4194304 4196468 140729351850096 139810617440912 139811063133909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7351] ppid=7342 vsize=26645092 memory=1796 CPUtime=7.63 cores=0-7 /proc/7344/task/7351/stat : 7351 (java) S 7342 7342 7298 0 -1 1077944384 25853 0 0 0 725 38 0 0 20 0 28 0 91410460 27284574208 166438 33554432000 4194304 4196468 140729351850096 139810616388112 139811063133909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7352] ppid=7342 vsize=26645092 memory=2200 CPUtime=7.66 cores=0-7 /proc/7344/task/7352/stat : 7352 (java) S 7342 7342 7298 0 -1 1077944384 25870 0 0 0 729 37 0 0 20 0 28 0 91410460 27284574208 166438 33554432000 4194304 4196468 140729351850096 139810615335312 139811063133909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7353] ppid=7342 vsize=26645092 memory=7528 CPUtime=7.64 cores=0-7 /proc/7344/task/7353/stat : 7353 (java) S 7342 7342 7298 0 -1 1077944384 26400 0 0 0 726 38 0 0 20 0 28 0 91410460 27284574208 166438 33554432000 4194304 4196468 140729351850096 139810614282512 139811063133909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7354] ppid=7342 vsize=26645092 memory=667292 CPUtime=2.7 cores=0-7 /proc/7344/task/7354/stat : 7354 (java) S 7342 7342 7298 0 -1 1077944384 56013 0 0 0 205 65 0 0 20 0 28 0 91410461 27284574208 166438 33554432000 4194304 4196468 140729351850096 139809335397232 139811063134850 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7355] ppid=7342 vsize=26645092 memory=1456 CPUtime=0 cores=0-7 /proc/7344/task/7355/stat : 7355 (java) S 7342 7342 7298 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 91410462 27284574208 166438 33554432000 4194304 4196468 140729351850096 139809334343264 139811063133909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7356] ppid=7342 vsize=26645092 memory=1456 CPUtime=0 cores=0-7 /proc/7344/task/7356/stat : 7356 (java) S 7342 7342 7298 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 91410462 27284574208 166438 33554432000 4194304 4196468 140729351850096 139809333290352 139811063133909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7357] ppid=7342 vsize=26645092 memory=1456 CPUtime=0 cores=0-7 /proc/7344/task/7357/stat : 7357 (java) S 7342 7342 7298 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 91410465 27284574208 166438 33554432000 4194304 4196468 140729351850096 139809332238672 139811063142299 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7358] ppid=7342 vsize=26645092 memory=668336 CPUtime=1.43 cores=0-7 /proc/7344/task/7358/stat : 7358 (java) S 7342 7342 7298 0 -1 1077944384 6467 0 0 0 142 1 0 0 20 0 28 0 91410465 27284574208 166438 33554432000 4194304 4196468 140729351850096 139809331186032 139811063134850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7359] ppid=7342 vsize=26645092 memory=1456 CPUtime=1.9 cores=0-7 /proc/7344/task/7359/stat : 7359 (java) S 7342 7342 7298 0 -1 1077944384 8989 0 0 0 188 2 0 0 20 0 28 0 91410465 27284574208 166438 33554432000 4194304 4196468 140729351850096 139809330133232 139811063134850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7360] ppid=7342 vsize=26645092 memory=1456 CPUtime=1.81 cores=0-7 /proc/7344/task/7360/stat : 7360 (java) S 7342 7342 7298 0 -1 1077944384 9705 0 0 0 179 2 0 0 20 0 28 0 91410465 27284574208 166438 33554432000 4194304 4196468 140729351850096 139809329080432 139811063134850 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7361] ppid=7342 vsize=26645092 memory=1456 CPUtime=0.8 cores=0-7 /proc/7344/task/7361/stat : 7361 (java) S 7342 7342 7298 0 -1 1077944384 8193 0 0 0 78 2 0 0 20 0 28 0 91410465 27284574208 166438 33554432000 4194304 4196468 140729351850096 139809328027632 139811063134850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7362] ppid=7342 vsize=26645092 memory=1456 CPUtime=0 cores=0-7 /proc/7344/task/7362/stat : 7362 (java) S 7342 7342 7298 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 91410465 27284574208 166438 33554432000 4194304 4196468 140729351850096 139809326976096 139811063133909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7363] ppid=7342 vsize=26645092 memory=666264 CPUtime=0.5 cores=0-7 /proc/7344/task/7363/stat : 7363 (java) S 7342 7342 7298 0 -1 1077944384 4193 0 0 0 16 34 0 0 20 0 28 0 91410465 27284574208 166438 33554432000 4194304 4196468 140729351850096 139809325923376 139811063134850 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7395] ppid=7342 vsize=26645092 memory=8112282956445269571 CPUtime=2498.75 cores=0-7 /proc/7344/task/7395/stat : 7395 (java) R 7342 7342 7298 0 -1 4202560 9206 0 0 0 249872 3 0 0 20 0 28 0 91410547 27284574208 166438 33554432000 4194304 4196468 140729351850096 139809313980456 139810671049260 0 4 0 16800975 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7396] ppid=7342 vsize=26645092 memory=8540 CPUtime=2499.44 cores=0-7 /proc/7344/task/7396/stat : 7396 (java) R 7342 7342 7298 0 -1 4202560 8799 0 0 0 249939 5 0 0 20 0 28 0 91410547 27284574208 166438 33554432000 4194304 4196468 140729351850096 139809312928656 139810670517942 0 4 0 16800975 0 0 0 -1 6 0 0 8 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7397] ppid=7342 vsize=26645092 memory=666264 CPUtime=2501.33 cores=0-7 /proc/7344/task/7397/stat : 7397 (java) R 7342 7342 7298 0 -1 4202560 10219 0 0 0 250126 7 0 0 20 0 28 0 91410547 27284574208 166438 33554432000 4194304 4196468 140729351850096 139809315033368 139810672418967 0 4 0 16800975 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7398] ppid=7342 vsize=26645092 memory=1456 CPUtime=2498.04 cores=0-7 /proc/7344/task/7398/stat : 7398 (java) R 7342 7342 7298 0 -1 4202560 9535 0 0 0 249800 4 0 0 20 0 28 0 91410547 27284574208 166438 33554432000 4194304 4196468 140729351850096 139809307672720 139810670518183 0 4 0 16800975 0 0 0 -1 5 0 0 8 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7399] ppid=7342 vsize=26645092 memory=1456 CPUtime=2497.25 cores=0-7 /proc/7344/task/7399/stat : 7399 (java) R 7342 7342 7298 0 -1 4202560 92720 0 0 0 249687 38 0 0 20 0 28 0 91410547 27284574208 166438 33554432000 4194304 4196468 140729351850096 139809317138336 139810673425679 0 4 0 16800975 0 0 0 -1 7 0 0 14 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7400] ppid=7342 vsize=26645092 memory=1456 CPUtime=2498.46 cores=0-7 /proc/7344/task/7400/stat : 7400 (java) R 7342 7342 7298 0 -1 4202560 30232 0 0 0 249824 22 0 0 20 0 28 0 91410547 27284574208 166438 33554432000 4194304 4196468 140729351850096 139809316085648 139810670940196 0 4 0 16800975 0 0 0 -1 3 0 0 11 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7401] ppid=7342 vsize=26645092 memory=0 CPUtime=2498.79 cores=0-7 /proc/7344/task/7401/stat : 7401 (java) R 7342 7342 7298 0 -1 4202560 8801 0 0 0 249874 5 0 0 20 0 28 0 91410548 27284574208 166438 33554432000 4194304 4196468 140729351850096 139809311875344 139810671048990 0 4 0 16800975 0 0 0 -1 2 0 0 10 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 [pid=7344/tid=7402] ppid=7342 vsize=26645092 memory=7013346442758874224 CPUtime=2496.58 cores=0-7 /proc/7344/task/7402/stat : 7402 (java) R 7342 7342 7298 0 -1 4202560 489572 0 0 0 249509 149 0 0 20 0 28 0 91410548 27284574208 166438 33554432000 4194304 4196468 140729351850096 139809310825264 139810671194076 0 4 0 16800975 0 0 0 -1 1 0 0 11 0 0 6293624 6294260 30621696 140729351853185 140729351853357 140729351853357 140729351856079 0 Current children cumulated CPU time: 20060.3 s Current children cumulated vsize: 26758220 KiB Current children cumulated memory: 667208 KiB Child status: 143 Real time (s): 2520.08 CPU time (s): 20060.9 CPU user time (s): 20054.9 CPU system time (s): 5.92969 CPU usage (%): 796.04 Max. virtual memory (cumulated for all children) (KiB): 26758220 Max. memory (cumulated for all children) (KiB): 1404100 getrusage(RUSAGE_CHILDREN,...) data: user time used= 20054.9 system time used= 5.92969 maximum resident set size= 1448792 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 965197 page faults= 0 swaps= 0 block input operations= 0 block output operations= 3496 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 234296 involuntary context switches= 212201 # summary of solver processes directly reported to runsolver: # pid: 7342,7344 # total CPU time (s): 20060.9 # total CPU user time (s): 20054.9 # total CPU system time (s): 5.92969 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 21.7379 second user time and 27.3637 second system time The end
Begin job on node105 at 2018-07-28 02:41:13 IDJOB=4297845 IDBENCH=141681 IDSOLVER=2760 FILE ID=node105/4297845-1532738473 RUNJOBID= node105-1532738473-7325 PBS_JOBID= 21022365 Free space on /tmp= 44624 MiB SOLVER NAME= Choco-solver 4.0.7b par (e747e1e) BENCH NAME= XCSP18/Bacp/Bacp-m1/Bacp-m1-10b_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-4297845-1532738473/watcher-4297845-1532738473 -o /tmp/evaluation-result-4297845-1532738473/solver-4297845-1532738473 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1532738473-7325 --watchdog 2580 HOME/xcsp3-exec -seed 706506975 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297845-1532738473.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 4cdbad1057c2bf63c0002b000000d906 RANDOM SEED=706506975 node105.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.32 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.32 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.32 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.32 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: 20485148 kB MemAvailable: 31928200 kB Buffers: 263460 kB Cached: 11319728 kB SwapCached: 0 kB Active: 2389316 kB Inactive: 9245812 kB Active(anon): 6396 kB Inactive(anon): 73352 kB Active(file): 2382920 kB Inactive(file): 9172460 kB Unevictable: 7296 kB Mlocked: 7296 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 21752 kB Writeback: 0 kB AnonPages: 58312 kB Mapped: 42324 kB Shmem: 25228 kB Slab: 343500 kB SReclaimable: 316132 kB SUnreclaim: 27368 kB KernelStack: 3120 kB PageTables: 4716 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 324232 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: 130432 kB DirectMap2M: 33415168 kB Free space on /tmp at the end= 44604 MiB End job on node105 at 2018-07-28 03:23:13