Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Choco-solver 4.0.7b par (e747e1e) | SAT (TO) | 146 | 19926.9 | 2520.1 |
Name | Tal/ Tal-08_c18.xml |
MD5SUM | 7dc6d9a3b6a58ae0b008049a7bee9b86 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 146 |
Best CPU time to get the best result obtained on this benchmark | 19926.9 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 988 |
Number of constraints | 647 |
Number of domains | 13 |
Minimum domain size | 1 |
Maximum domain size | 42 |
Distribution of domain sizes | [{"size":1,"count":165},{"size":2,"count":4},{"size":3,"count":5},{"size":4,"count":6},{"size":5,"count":7},{"size":6,"count":85},{"size":7,"count":9},{"size":8,"count":10},{"size":9,"count":11},{"size":10,"count":78},{"size":11,"count":13},{"size":42,"count":142}] |
Minimum variable degree | 0 |
Maximum variable degree | 16 |
Distribution of variable degrees | [{"degree":0,"count":453},{"degree":1,"count":165},{"degree":2,"count":97},{"degree":3,"count":12},{"degree":4,"count":13},{"degree":5,"count":59},{"degree":6,"count":25},{"degree":7,"count":16},{"degree":8,"count":16},{"degree":9,"count":25},{"degree":10,"count":24},{"degree":11,"count":30},{"degree":12,"count":21},{"degree":13,"count":17},{"degree":14,"count":8},{"degree":15,"count":4},{"degree":16,"count":3}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 13 |
Distribution of constraint arities | [{"arity":1,"count":179},{"arity":2,"count":208},{"arity":3,"count":68},{"arity":4,"count":14},{"arity":5,"count":24},{"arity":6,"count":23},{"arity":7,"count":22},{"arity":8,"count":21},{"arity":9,"count":22},{"arity":10,"count":21},{"arity":11,"count":15},{"arity":12,"count":20},{"arity":13,"count":10}] |
Number of extensional constraints | 121 |
Number of intensional constraints | 506 |
Distribution of constraint types | [{"type":"extension","count":121},{"type":"intension","count":506},{"type":"count","count":20}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297562-1532689870.xml" -tl '20160s' -p 8 0.11/0.17 c Choco e747e1e 0.11/0.18 c [HOME/instance-4297562-1532689870.xml, -tl, 20160s, -p, 8] 0.11/0.21 c 8 solvers in parallel 0.34/0.28 c parse instance... 42.63/26.71 c solve instance... 134.77/39.20 o 324 136.31/39.45 o 317 151.41/41.31 o 224 249.43/53.63 o 220 270.92/56.32 o 216 289.25/58.66 o 212 293.28/59.18 o 210 295.57/59.42 o 208 447.10/78.42 o 204 447.10/78.42 o 200 592.19/96.62 o 192 1251.07/179.23 o 188 1416.21/199.91 o 184 1443.31/203.37 o 180 1528.71/214.05 o 176 1765.51/243.77 o 174 3030.78/402.35 o 168 3176.69/420.70 o 158 3177.47/420.70 o 154 3177.47/420.70 o 150 3187.88/422.02 o 146 19926.23/2520.09 s SATISFIABLE 19926.23/2520.09 v <instantiation> 19926.23/2520.09 v <list>c[0][0] c[0][1] c[0][2] c[0][3] c[0][4] c[0][5] c[0][6] c[0][7] c[0][8] c[0][9] c[0][10] c[1][0] c[1][1] c[1][2] c[1][3] c[1][4] c[1][5] c[1][6] c[1][7] c[1][8] c[1][9] c[1][10] c[2][0] c[2][1] c[2][2] c[2][3] c[2][4] c[2][5] c[2][6] c[2][7] c[2][8] c[2][9] c[2][10] c[3][0] c[3][1] c[3][2] c[3][3] c[3][4] c[3][5] c[3][6] c[3][7] c[3][8] c[3][9] c[3][10] c[4][0] c[4][1] c[4][2] c[4][3] c[4][4] c[4][5] c[4][6] c[4][7] c[4][8] c[4][9] c[4][10] c[5][0] c[5][1] c[5][2] c[5][3] c[5][4] c[5][5] c[5][6] c[5][7] c[5][8] c[5][9] c[5][10] c[6][0] c[6][1] c[6][2] c[6][3] c[6][4] c[6][5] c[6][6] c[6][7] c[6][8] c[6][9] c[6][10] c[7][0] c[7][1] c[7][2] c[7][3] c[7][4] c[7][5] c[7][6] c[7][7] c[7][8] c[7][9] c[7][10] c[8][0] c[8][1] c[8][2] c[8][3] c[8][4] c[8][5] c[8][6] c[8][7] c[8][8] c[8][9] c[8][10] c[9][0] c[9][1] c[9][2] c[9][3] c[9][4] c[9][5] c[9][6] c[9][7] c[9][8] c[9][9] c[9][10] c[10][0] c[10][1] c[10][2] c[10][3] c[10][4] c[10][5] c[10][6] c[10][7] c[10][8] c[10][9] c[10][10] c[11][0] c[11][1] c[11][2] c[11][3] c[11][4] c[11][5] c[11][6] c[11][7] c[11][8] c[11][9] c[11][10] c[12][0] c[12][1] c[12][2] c[12][3] c[12][4] c[12][5] c[12][6] c[12][7] c[12][8] c[12][9] c[12][10] c[13][0] c[13][1] c[13][2] c[13][3] c[13][4] c[13][5] c[13][6] c[13][7] c[13][8] c[13][9] c[13][10] c[14][0] c[14][1] c[14][2] c[14][3] c[14][4] c[14][5] c[14][6] c[14][7] c[14][8] c[14][9] c[14][10] c[15][0] c[15][1] c[15][2] c[15][3] c[15][4] c[15][5] c[15][6] c[15][7] c[15][8] c[15][9] c[15][10] c[16][0] c[16][1] c[16][2] c[16][3] c[16][4] c[16][5] c[16][6] c[16][7] c[16][8] c[16][9] c[16][10] c[17][0] c[17][1] c[17][2] c[17][3] c[17][4] c[17][5] c[17][6] c[17][7] c[17][8] c[17][9] c[17][10] c[18][0] c[18][1] c[18][2] c[18][3] c[18][4] c[18][5] c[18][6] c[18][7] c[18][8] c[18][9] c[18][10] c[19][0] c[19][1] c[19][2] c[19][3] c[19][4] c[19][5] c[19][6] c[19][7] c[19][8] c[19][9] c[19][10] c[20][0] c[20][1] c[20][2] c[20][3] c[20][4] c[20][5] c[20][6] c[20][7] c[20][8] c[20][9] c[20][10] c[21][0] c[21][1] c[21][2] c[21][3] c[21][4] c[21][5] c[21][6] c[21][7] c[21][8] c[21][9] c[21][10] l[0][0] l[0][1] l[0][2] l[0][3] l[0][4] l[0][5] l[0][6] l[0][7] l[0][8] l[0][9] l[0][10] l[1][0] l[1][1] l[1][2] l[1][3] l[1][4] l[1][5] l[1][6] l[1][7] l[1][8] l[1][9] l[1][10] l[2][0] l[2][1] l[2][2] l[2][3] l[2][4] l[2][5] l[2][6] l[2][7] l[2][8] l[2][9] l[2][10] l[3][0] l[3][1] l[3][2] l[3][3] l[3][4] l[3][5] l[3][6] l[3][7] l[3][8] l[3][9] l[4][0] l[4][1] l[4][2] l[4][3] l[4][4] l[4][5] l[4][6] l[4][7] l[4][8] l[4][9] l[5][0] l[5][1] l[5][2] l[5][3] l[5][4] l[5][5] l[5][6] l[5][7] l[5][8] l[6][0] l[6][1] l[6][2] l[6][3] l[6][4] l[6][5] l[6][6] l[6][7] l[6][8] l[7][0] l[7][1] l[7][2] l[7][3] l[7][4] l[7][5] l[7][6] l[7][7] l[8][0] l[8][1] l[8][2] l[8][3] l[8][4] l[8][5] l[8][6] l[8][7] l[9][0] l[9][1] l[9][2] l[9][3] l[9][4] l[9][5] l[9][6] l[10][0] l[10][1] l[10][2] l[10][3] l[10][4] l[10][5] l[10][6] l[11][0] l[11][1] l[11][2] l[11][3] l[11][4] l[11][5] l[12][0] l[12][1] l[12][2] l[12][3] l[12][4] l[12][5] l[13][0] l[13][1] l[13][2] l[13][3] l[13][4] l[14][0] l[14][1] l[14][2] l[14][3] l[14][4] l[15][0] l[15][1] l[15][2] l[15][3] l[16][0] l[16][1] l[16][2] l[16][3] l[17][0] l[17][1] l[17][2] l[18][0] l[18][1] l[18][2] l[19][0] l[19][1] l[20][0] l[20][1] l[21][0] a[1][0] a[1][1] a[1][2] a[1][3] a[1][4] a[1][5] a[1][6] a[1][7] a[1][8] a[1][9] a[1][10] a[3][0] a[3][1] a[3][2] a[3][3] a[3][4] a[3][5] a[3][6] a[3][7] a[3][8] a[3][9] a[5][0] a[5][1] a[5][2] a[5][3] a[5][4] a[5][5] a[5][6] a[5][7] a[5][8] a[7][0] a[7][1] a[7][2] a[7][3] a[7][4] a[7][5] a[7][6] a[7][7] a[9][0] a[9][1] a[9][2] a[9][3] a[9][4] a[9][5] a[9][6] a[11][0] a[11][1] a[11][2] a[11][3] a[11][4] a[11][5] a[13][0] a[13][1] a[13][2] a[13][3] a[13][4] a[15][0] a[15][1] a[15][2] a[15][3] a[17][0] a[17][1] a[17][2] a[19][0] a[19][1] a[21][0] i[2][0] i[2][1] i[2][2] i[2][3] i[2][4] i[2][5] i[2][6] i[2][7] i[2][8] i[2][9] i[2][10] i[4][0] i[4][1] i[4][2] i[4][3] i[4][4] i[4][5] i[4][6] i[4][7] i[4][8] i[4][9] i[6][0] i[6][1] i[6][2] i[6][3] i[6][4] i[6][5] i[6][6] i[6][7] i[6][8] i[8][0] i[8][1] i[8][2] i[8][3] i[8][4] i[8][5] i[8][6] i[8][7] i[10][0] i[10][1] i[10][2] i[10][3] i[10][4] i[10][5] i[10][6] i[12][0] i[12][1] i[12][2] i[12][3] i[12][4] i[12][5] i[14][0] i[14][1] i[14][2] i[14][3] i[14][4] i[16][0] i[16][1] i[16][2] i[16][3] i[18][0] i[18][1] i[18][2] i[20][0] i[20][1] cnt[0] cnt[1] cnt[2] cnt[3] cnt[4] cnt[5] cnt[6] cnt[7] cnt[8] cnt[9] cnt[10] cnt[11] cnt[12] cnt[13] cnt[14] cnt[15] cnt[16] cnt[17] cnt[18] cnt[19] </list> 19926.23/2520.09 v <values>0 0 0 0 0 0 0 0 0 0 0 16 0 0 8 0 0 0 16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 16 0 0 0 0 0 16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 16 0 0 0 0 16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 16 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 15 5 3 12 10 3 4 11 2 10 3 4 0 3 3 10 3 3 7 2 10 3 4 3 3 10 3 3 7 2 10 3 0 4 0 3 10 3 3 4 3 10 3 4 3 10 3 3 4 3 10 3 0 4 0 10 3 3 4 0 10 3 4 10 3 3 4 10 3 0 0 7 0 0 0 8 0 0 0 7 8 0 0 0 0 0 0 3 3 0 0 0 0 0 3 3 0 0 0 0 0 6 0 0 0 0 0 6 0 0 0 0 0 6 0 0 0 0 6 0 0 0 0 6 0 0 0 6 0 0 0 6 0 0 6 0 0 6 0 6 0 6 2 0 1 1 1 1 1 1 1 1 1 2 0 1 1 1 1 1 1 1 1 2 0 1 1 1 2 0 1 1 4 0 0 0 3 0 0 0 1 1 0 0 0 0 0 2 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 1 0 2 3 4 5 6 7 8 9 10 10 0 2 3 4 5 6 7 8 9 9 0 2 3 4 5 7 8 8 8 0 4 7 7 7 7 7 7 0 1 6 6 6 6 6 0 5 5 5 5 5 0 4 4 4 4 0 3 3 3 0 2 2 0 1 1 1 1 1 2 2 6 6 5 5 5 5 4 4 3 3 2 2 1 1 </values> 19926.23/2520.09 v </instantiation> 19926.23/2520.09 c Unexpected resolution interruption!
OK 146
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 (15195 MiB free) memory of node 1: 16384 MiB (11715 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297562-1532689870/watcher-4297562-1532689870 -o /tmp/evaluation-result-4297562-1532689870/solver-4297562-1532689870 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1532687189-15029 --watchdog 2580 HOME/xcsp3-exec -seed 25868780 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297562-1532689870.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=15397, runsolver pid=15394 [startup+0.10009 s]* /proc/loadavg: 7.26 7.55 8.22 2/203 15418 /proc/meminfo: memFree=27541628/32770624 swapFree=67108496/67108860 [pid=15397] ppid=15394 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/15397/stat : 15397 (xcsp3-exec) S 15394 15397 15002 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 86550167 115843072 363 33554432000 4194304 5098028 140722785848256 140722785846360 140394938655356 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37670912 140722785850423 140722785850624 140722785850624 140722785853386 0 /proc/15397/statm: 28282 363 306 221 0 87 0 [pid=15399] ppid=15397 vsize=26104152 memory=27276 CPUtime=0.11 cores=0-7 /proc/15399/stat : 15399 (java) S 15397 15397 15002 0 -1 1077944320 5750 0 0 0 10 1 0 0 20 0 20 0 86550167 26730651648 6819 33554432000 4194304 4196468 140733554679568 140733554662112 140581688299255 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 /proc/15399/statm: 6526038 6819 3004 1 0 6488315 0 [pid=15399/tid=15400] ppid=15397 vsize=26104152 memory=7897513229686842016 CPUtime=0.09 cores=0-7 /proc/15399/task/15400/stat : 15400 (java) R 15397 15397 15002 0 -1 4202560 3761 0 0 0 8 1 0 0 20 0 20 0 86550167 26730651648 6819 33554432000 4194304 4196468 140733554679568 140581692532528 140581275775268 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15401] ppid=15397 vsize=26104152 memory=732369870549973989 CPUtime=0 cores=0-7 /proc/15399/task/15401/stat : 15401 (java) S 15397 15397 15002 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86550168 26730651648 6819 33554432000 4194304 4196468 140733554679568 140581595859216 140581688309461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15402] ppid=15397 vsize=26104152 memory=139732212520576 CPUtime=0 cores=0-7 /proc/15399/task/15402/stat : 15402 (java) S 15397 15397 15002 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86550168 26730651648 6819 33554432000 4194304 4196468 140733554679568 140581245651344 140581688309461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15403] ppid=15397 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15399/task/15403/stat : 15403 (java) S 15397 15397 15002 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86550168 26730651648 6819 33554432000 4194304 4196468 140733554679568 140581244598800 140581688309461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15404] ppid=15397 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15399/task/15404/stat : 15404 (java) S 15397 15397 15002 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86550168 26730651648 6819 33554432000 4194304 4196468 140733554679568 140581243546256 140581688309461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15405] ppid=15397 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15399/task/15405/stat : 15405 (java) S 15397 15397 15002 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86550168 26730651648 6819 33554432000 4194304 4196468 140733554679568 140581242493712 140581688309461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15406] ppid=15397 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/15399/task/15406/stat : 15406 (java) S 15397 15397 15002 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86550168 26730651648 6819 33554432000 4194304 4196468 140733554679568 140581241441168 140581688309461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15407] ppid=15397 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15399/task/15407/stat : 15407 (java) S 15397 15397 15002 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86550168 26730651648 6819 33554432000 4194304 4196468 140733554679568 140581240388624 140581688309461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15408] ppid=15397 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15399/task/15408/stat : 15408 (java) S 15397 15397 15002 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86550168 26730651648 6819 33554432000 4194304 4196468 140733554679568 140581239336080 140581688309461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15409] ppid=15397 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15399/task/15409/stat : 15409 (java) S 15397 15397 15002 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86550170 26730651648 6819 33554432000 4194304 4196468 140733554679568 140581196343280 140581688310402 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15410] ppid=15397 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15399/task/15410/stat : 15410 (java) S 15397 15397 15002 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 86550170 26730651648 6819 33554432000 4194304 4196468 140733554679568 140581195289504 140581688309461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15411] ppid=15397 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15399/task/15411/stat : 15411 (java) S 15397 15397 15002 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 86550170 26730651648 6819 33554432000 4194304 4196468 140733554679568 140581194236912 140581688309461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15412] ppid=15397 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15399/task/15412/stat : 15412 (java) S 15397 15397 15002 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86550173 26730651648 6819 33554432000 4194304 4196468 140733554679568 140581193185488 140581688317851 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15413] ppid=15397 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15399/task/15413/stat : 15413 (java) S 15397 15397 15002 0 -1 1077944384 316 0 0 0 0 0 0 0 20 0 20 0 86550173 26730651648 6819 33554432000 4194304 4196468 140733554679568 140580744096240 140581688310402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15414] ppid=15397 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15399/task/15414/stat : 15414 (java) S 15397 15397 15002 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86550173 26730651648 6819 33554432000 4194304 4196468 140733554679568 140580743043696 140581688310402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15415] ppid=15397 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15399/task/15415/stat : 15415 (java) S 15397 15397 15002 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 86550173 26730651648 6819 33554432000 4194304 4196468 140733554679568 140580741991152 140581688310402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15416] ppid=15397 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/15399/task/15416/stat : 15416 (java) R 15397 15397 15002 0 -1 4202560 239 0 0 0 1 0 0 0 20 0 20 0 86550173 26730651648 6819 33554432000 4194304 4196468 140733554679568 140580740938608 140581688311190 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15417] ppid=15397 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15399/task/15417/stat : 15417 (java) S 15397 15397 15002 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86550173 26730651648 6819 33554432000 4194304 4196468 140733554679568 140580739885280 140581688309461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15418] ppid=15397 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/15399/task/15418/stat : 15418 (java) S 15397 15397 15002 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86550173 26730651648 6819 33554432000 4194304 4196468 140733554679568 140580738832816 140581688310402 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 28728 KiB [startup+0.210619 s]* /proc/loadavg: 7.26 7.55 8.22 3/203 15418 /proc/meminfo: memFree=27530836/32770624 swapFree=67108496/67108860 [pid=15397] ppid=15394 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/15397/stat : 15397 (xcsp3-exec) S 15394 15397 15002 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 86550167 115843072 363 33554432000 4194304 5098028 140722785848256 140722785846360 140394938655356 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37670912 140722785850423 140722785850624 140722785850624 140722785853386 0 /proc/15397/statm: 28282 363 306 221 0 87 0 [pid=15399] ppid=15397 vsize=26104152 memory=39572 CPUtime=0.34 cores=0-7 /proc/15399/stat : 15399 (java) S 15397 15397 15002 0 -1 1077944320 8472 0 0 0 31 3 0 0 20 0 20 0 86550167 26730651648 9893 33554432000 4194304 4196468 140733554679568 140733554662112 140581688299255 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 /proc/15399/statm: 6526038 9893 3195 1 0 6488315 0 [pid=15399/tid=15400] ppid=15397 vsize=26104152 memory=0 CPUtime=0.2 cores=0-7 /proc/15399/task/15400/stat : 15400 (java) R 15397 15397 15002 0 -1 4202560 5606 0 0 0 18 2 0 0 20 0 20 0 86550167 26730651648 9893 33554432000 4194304 4196468 140733554679568 140581692534240 140581672379742 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15401] ppid=15397 vsize=26104152 memory=279464275875576 CPUtime=0 cores=0-7 /proc/15399/task/15401/stat : 15401 (java) S 15397 15397 15002 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86550168 26730651648 9893 33554432000 4194304 4196468 140733554679568 140581595859216 140581688309461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15402] ppid=15397 vsize=26104152 memory=139732212520576 CPUtime=0 cores=0-7 /proc/15399/task/15402/stat : 15402 (java) S 15397 15397 15002 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86550168 26730651648 9893 33554432000 4194304 4196468 140733554679568 140581245651344 140581688309461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15403] ppid=15397 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15399/task/15403/stat : 15403 (java) S 15397 15397 15002 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86550168 26730651648 9893 33554432000 4194304 4196468 140733554679568 140581244598800 140581688309461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15404] ppid=15397 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15399/task/15404/stat : 15404 (java) S 15397 15397 15002 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86550168 26730651648 9893 33554432000 4194304 4196468 140733554679568 140581243546256 140581688309461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15405] ppid=15397 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15399/task/15405/stat : 15405 (java) S 15397 15397 15002 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86550168 26730651648 9893 33554432000 4194304 4196468 140733554679568 140581242493712 140581688309461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15406] ppid=15397 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/15399/task/15406/stat : 15406 (java) S 15397 15397 15002 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86550168 26730651648 9893 33554432000 4194304 4196468 140733554679568 140581241441168 140581688309461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15407] ppid=15397 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15399/task/15407/stat : 15407 (java) S 15397 15397 15002 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86550168 26730651648 9893 33554432000 4194304 4196468 140733554679568 140581240388624 140581688309461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15408] ppid=15397 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15399/task/15408/stat : 15408 (java) S 15397 15397 15002 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86550168 26730651648 9893 33554432000 4194304 4196468 140733554679568 140581239336080 140581688309461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15409] ppid=15397 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15399/task/15409/stat : 15409 (java) S 15397 15397 15002 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 86550170 26730651648 9893 33554432000 4194304 4196468 140733554679568 140581196343280 140581688310402 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15410] ppid=15397 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15399/task/15410/stat : 15410 (java) S 15397 15397 15002 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 86550170 26730651648 9893 33554432000 4194304 4196468 140733554679568 140581195289504 140581688309461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15411] ppid=15397 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15399/task/15411/stat : 15411 (java) S 15397 15397 15002 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 86550170 26730651648 9893 33554432000 4194304 4196468 140733554679568 140581194236912 140581688309461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15412] ppid=15397 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15399/task/15412/stat : 15412 (java) S 15397 15397 15002 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86550173 26730651648 9893 33554432000 4194304 4196468 140733554679568 140581193185488 140581688317851 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15413] ppid=15397 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/15399/task/15413/stat : 15413 (java) S 15397 15397 15002 0 -1 1077944384 408 0 0 0 1 0 0 0 20 0 20 0 86550173 26730651648 9893 33554432000 4194304 4196468 140733554679568 140580744096240 140581688310402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15414] ppid=15397 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15399/task/15414/stat : 15414 (java) S 15397 15397 15002 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 20 0 86550173 26730651648 9893 33554432000 4194304 4196468 140733554679568 140580743043696 140581688310402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15415] ppid=15397 vsize=26104152 memory=0 CPUtime=0.02 cores=0-7 /proc/15399/task/15415/stat : 15415 (java) S 15397 15397 15002 0 -1 1077944384 328 0 0 0 2 0 0 0 20 0 20 0 86550173 26730651648 9893 33554432000 4194304 4196468 140733554679568 140580741991152 140581688310402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15416] ppid=15397 vsize=26104152 memory=0 CPUtime=0.08 cores=0-7 /proc/15399/task/15416/stat : 15416 (java) S 15397 15397 15002 0 -1 1077944384 757 0 0 0 8 0 0 0 20 0 20 0 86550173 26730651648 9893 33554432000 4194304 4196468 140733554679568 140580740938608 140581688310402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15417] ppid=15397 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15399/task/15417/stat : 15417 (java) S 15397 15397 15002 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86550173 26730651648 9893 33554432000 4194304 4196468 140733554679568 140580739885280 140581688309461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15418] ppid=15397 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/15399/task/15418/stat : 15418 (java) S 15397 15397 15002 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86550173 26730651648 9893 33554432000 4194304 4196468 140733554679568 140580738832816 140581688310402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 41024 KiB [startup+0.310357 s]* /proc/loadavg: 7.26 7.55 8.22 4/203 15418 /proc/meminfo: memFree=27524260/32770624 swapFree=67108496/67108860 [pid=15397] ppid=15394 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/15397/stat : 15397 (xcsp3-exec) S 15394 15397 15002 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 86550167 115843072 363 33554432000 4194304 5098028 140722785848256 140722785846360 140394938655356 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37670912 140722785850423 140722785850624 140722785850624 140722785853386 0 /proc/15397/statm: 28282 363 306 221 0 87 0 [pid=15399] ppid=15397 vsize=26108408 memory=46620 CPUtime=0.51 cores=0-7 /proc/15399/stat : 15399 (java) S 15397 15397 15002 0 -1 1077944320 9391 0 0 0 48 3 0 0 20 0 20 0 86550167 26735009792 11655 33554432000 4194304 4196468 140733554679568 140733554662112 140581688299255 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 /proc/15399/statm: 6527102 11655 3256 1 0 6488315 0 [pid=15399/tid=15400] ppid=15397 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/15399/task/15400/stat : 15400 (java) R 15397 15397 15002 0 -1 4202560 6323 0 0 0 27 2 0 0 20 0 20 0 86550167 26735009792 11655 33554432000 4194304 4196468 140733554679568 140581692533040 140581672379742 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15401] ppid=15397 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/15399/task/15401/stat : 15401 (java) S 15397 15397 15002 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86550168 26735009792 11655 33554432000 4194304 4196468 140733554679568 140581595859216 140581688309461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15402] ppid=15397 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/15399/task/15402/stat : 15402 (java) S 15397 15397 15002 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86550168 26735009792 11655 33554432000 4194304 4196468 140733554679568 140581245651344 140581688309461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15403] ppid=15397 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/15399/task/15403/stat : 15403 (java) S 15397 15397 15002 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86550168 26735009792 11655 33554432000 4194304 4196468 140733554679568 140581244598800 140581688309461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15404] ppid=15397 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/15399/task/15404/stat : 15404 (java) S 15397 15397 15002 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86550168 26735009792 11655 33554432000 4194304 4196468 140733554679568 140581243546256 140581688309461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15405] ppid=15397 vsize=26108408 memory=2244 CPUtime=0 cores=0-7 /proc/15399/task/15405/stat : 15405 (java) S 15397 15397 15002 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86550168 26735009792 11655 33554432000 4194304 4196468 140733554679568 140581242493712 140581688309461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15406] ppid=15397 vsize=26108408 memory=139732063450031 CPUtime=0 cores=0-7 /proc/15399/task/15406/stat : 15406 (java) S 15397 15397 15002 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86550168 26735009792 11655 33554432000 4194304 4196468 140733554679568 140581241441168 140581688309461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15407] ppid=15397 vsize=26108408 memory=139732063452336 CPUtime=0 cores=0-7 /proc/15399/task/15407/stat : 15407 (java) S 15397 15397 15002 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86550168 26735009792 11655 33554432000 4194304 4196468 140733554679568 140581240388624 140581688309461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15408] ppid=15397 vsize=26108408 memory=139732063454640 CPUtime=0 cores=0-7 /proc/15399/task/15408/stat : 15408 (java) S 15397 15397 15002 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86550168 26735009792 11655 33554432000 4194304 4196468 140733554679568 140581239336080 140581688309461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15409] ppid=15397 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/15399/task/15409/stat : 15409 (java) S 15397 15397 15002 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 86550170 26735009792 11655 33554432000 4194304 4196468 140733554679568 140581196343280 140581688310402 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15410] ppid=15397 vsize=26108408 memory=279464126916240 CPUtime=0 cores=0-7 /proc/15399/task/15410/stat : 15410 (java) S 15397 15397 15002 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 86550170 26735009792 11655 33554432000 4194304 4196468 140733554679568 140581195289504 140581688309461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15411] ppid=15397 vsize=26108408 memory=279464126923152 CPUtime=0 cores=0-7 /proc/15399/task/15411/stat : 15411 (java) S 15397 15397 15002 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 86550170 26735009792 11655 33554432000 4194304 4196468 140733554679568 140581194236912 140581688309461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15412] ppid=15397 vsize=26108408 memory=279464126864432 CPUtime=0 cores=0-7 /proc/15399/task/15412/stat : 15412 (java) S 15397 15397 15002 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86550173 26735009792 11655 33554432000 4194304 4196468 140733554679568 140581193185488 140581688317851 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15413] ppid=15397 vsize=26108408 memory=279464126936976 CPUtime=0.02 cores=0-7 /proc/15399/task/15413/stat : 15413 (java) S 15397 15397 15002 0 -1 1077944384 420 0 0 0 2 0 0 0 20 0 20 0 86550173 26735009792 11655 33554432000 4194304 4196468 140733554679568 140580744096240 140581688310402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15414] ppid=15397 vsize=26108408 memory=279464126943888 CPUtime=0.02 cores=0-7 /proc/15399/task/15414/stat : 15414 (java) S 15397 15397 15002 0 -1 1077944384 189 0 0 0 2 0 0 0 20 0 20 0 86550173 26735009792 11655 33554432000 4194304 4196468 140733554679568 140580743043696 140581688310402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15415] ppid=15397 vsize=26108408 memory=279464126941584 CPUtime=0.03 cores=0-7 /proc/15399/task/15415/stat : 15415 (java) S 15397 15397 15002 0 -1 1077944384 331 0 0 0 3 0 0 0 20 0 20 0 86550173 26735009792 11655 33554432000 4194304 4196468 140733554679568 140580741991152 140581688310402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15416] ppid=15397 vsize=26108408 memory=279464126957744 CPUtime=0.12 cores=0-7 /proc/15399/task/15416/stat : 15416 (java) S 15397 15397 15002 0 -1 1077944384 828 0 0 0 12 0 0 0 20 0 20 0 86550173 26735009792 11655 33554432000 4194304 4196468 140733554679568 140580740938608 140581688310402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15417] ppid=15397 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/15399/task/15417/stat : 15417 (java) S 15397 15397 15002 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86550173 26735009792 11655 33554432000 4194304 4196468 140733554679568 140580739885280 140581688309461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15418] ppid=15397 vsize=26108408 memory=-1 CPUtime=0 cores=0-7 /proc/15399/task/15418/stat : 15418 (java) S 15397 15397 15002 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86550173 26735009792 11655 33554432000 4194304 4196468 140733554679568 140580738832816 140581688310402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 26221536 KiB Current children cumulated memory: 48072 KiB [startup+0.700982 s] /proc/loadavg: 7.26 7.55 8.22 6/203 15418 /proc/meminfo: memFree=27499944/32770624 swapFree=67108496/67108860 [pid=15397] ppid=15394 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/15397/stat : 15397 (xcsp3-exec) S 15394 15397 15002 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 86550167 115843072 363 33554432000 4194304 5098028 140722785848256 140722785846360 140394938655356 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37670912 140722785850423 140722785850624 140722785850624 140722785853386 0 /proc/15397/statm: 28282 363 306 221 0 87 0 [pid=15399] ppid=15397 vsize=26110532 memory=105616 CPUtime=1.87 cores=0-7 /proc/15399/stat : 15399 (java) S 15397 15397 15002 0 -1 1077944320 13983 0 0 0 182 5 0 0 20 0 20 0 86550167 26737184768 26404 33554432000 4194304 4196468 140733554679568 140733554662112 140581688299255 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 /proc/15399/statm: 6527633 26404 3351 1 0 6488827 0 [pid=15399/tid=15400] ppid=15397 vsize=26110532 memory=279464127252608 CPUtime=0.67 cores=0-7 /proc/15399/task/15400/stat : 15400 (java) R 15397 15397 15002 0 -1 4202560 7177 0 0 0 64 3 0 0 20 0 20 0 86550167 26737184768 26404 33554432000 4194304 4196468 140733554679568 140581692537152 140581673432721 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15401] ppid=15397 vsize=26110532 memory=860 CPUtime=0 cores=0-7 /proc/15399/task/15401/stat : 15401 (java) S 15397 15397 15002 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86550168 26737184768 26404 33554432000 4194304 4196468 140733554679568 140581595859216 140581688309461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15402] ppid=15397 vsize=26110532 memory=12556 CPUtime=0 cores=0-7 /proc/15399/task/15402/stat : 15402 (java) S 15397 15397 15002 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86550168 26737184768 26404 33554432000 4194304 4196468 140733554679568 140581245651344 140581688309461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15403] ppid=15397 vsize=26110532 memory=756 CPUtime=0 cores=0-7 /proc/15399/task/15403/stat : 15403 (java) S 15397 15397 15002 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86550168 26737184768 26404 33554432000 4194304 4196468 140733554679568 140581244598800 140581688309461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 ################ # More data... # ################ [pid=15399/tid=15594] ppid=15397 vsize=26711656 memory=2306052 CPUtime=2009 cores=0-7 /proc/15399/task/15594/stat : 15594 (java) R 15397 15397 15002 0 -1 4202560 17288 0 0 0 200881 19 0 0 20 0 28 0 86592369 27352735744 569459 33554432000 4194304 4196468 140733554679568 140580727089728 140581286276240 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 Current children cumulated CPU time: 19306.2 s Current children cumulated vsize: 26824784 KiB Current children cumulated memory: 2279288 KiB [startup+2502.3 s] /proc/loadavg: 8.14 8.22 8.24 11/208 15649 /proc/meminfo: memFree=25337040/32770624 swapFree=67108496/67108860 [pid=15397] ppid=15394 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/15397/stat : 15397 (xcsp3-exec) S 15394 15397 15002 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 86550167 115843072 363 33554432000 4194304 5098028 140722785848256 140722785846360 140394938655356 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37670912 140722785850423 140722785850624 140722785850624 140722785853386 0 /proc/15397/statm: 28282 363 306 221 0 87 0 [pid=15399] ppid=15397 vsize=26711656 memory=2228072 CPUtime=19784.9 cores=0-7 /proc/15399/stat : 15399 (java) S 15397 15397 15002 0 -1 1077944320 465251 0 0 0 1977425 1068 0 0 20 0 28 0 86550167 27352735744 557018 33554432000 4194304 4196468 140733554679568 140733554662112 140581688299255 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 /proc/15399/statm: 6677914 557018 3469 1 0 6639108 0 [pid=15399/tid=15400] ppid=15397 vsize=26711656 memory=2253720 CPUtime=24.63 cores=0-7 /proc/15399/task/15400/stat : 15400 (java) S 15397 15397 15002 0 -1 1077944384 16291 0 0 0 2452 11 0 0 20 0 28 0 86550167 27352735744 557018 33554432000 4194304 4196468 140733554679568 140581692540032 140581688309461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15401] ppid=15397 vsize=26711656 memory=1452 CPUtime=3.86 cores=0-7 /proc/15399/task/15401/stat : 15401 (java) S 15397 15397 15002 0 -1 1077944384 12036 0 0 0 300 86 0 0 20 0 28 0 86550168 27352735744 557018 33554432000 4194304 4196468 140733554679568 140581595859216 140581688309461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15402] ppid=15397 vsize=26711656 memory=2228072 CPUtime=3.84 cores=0-7 /proc/15399/task/15402/stat : 15402 (java) S 15397 15397 15002 0 -1 1077944384 11319 0 0 0 303 81 0 0 20 0 28 0 86550168 27352735744 557018 33554432000 4194304 4196468 140733554679568 140581245651344 140581688309461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15403] ppid=15397 vsize=26711656 memory=2228072 CPUtime=3.83 cores=0-7 /proc/15399/task/15403/stat : 15403 (java) S 15397 15397 15002 0 -1 1077944384 12170 0 0 0 299 84 0 0 20 0 28 0 86550168 27352735744 557018 33554432000 4194304 4196468 140733554679568 140581244598800 140581688309461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 12 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15404] ppid=15397 vsize=26711656 memory=0 CPUtime=3.82 cores=0-7 /proc/15399/task/15404/stat : 15404 (java) S 15397 15397 15002 0 -1 1077944384 13450 0 0 0 298 84 0 0 20 0 28 0 86550168 27352735744 557018 33554432000 4194304 4196468 140733554679568 140581243546256 140581688309461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15405] ppid=15397 vsize=26711656 memory=7089035689056036697 CPUtime=3.84 cores=0-7 /proc/15399/task/15405/stat : 15405 (java) S 15397 15397 15002 0 -1 1077944384 15796 0 0 0 299 85 0 0 20 0 28 0 86550168 27352735744 557018 33554432000 4194304 4196468 140733554679568 140581242493712 140581688309461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15406] ppid=15397 vsize=26711656 memory=1452 CPUtime=3.84 cores=0-7 /proc/15399/task/15406/stat : 15406 (java) S 15397 15397 15002 0 -1 1077944384 12556 0 0 0 300 84 0 0 20 0 28 0 86550168 27352735744 557018 33554432000 4194304 4196468 140733554679568 140581241441168 140581688309461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15407] ppid=15397 vsize=26711656 memory=2277836 CPUtime=3.84 cores=0-7 /proc/15399/task/15407/stat : 15407 (java) S 15397 15397 15002 0 -1 1077944384 12469 0 0 0 296 88 0 0 20 0 28 0 86550168 27352735744 557018 33554432000 4194304 4196468 140733554679568 140581240388624 140581688309461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15408] ppid=15397 vsize=26711656 memory=1452 CPUtime=3.82 cores=0-7 /proc/15399/task/15408/stat : 15408 (java) S 15397 15397 15002 0 -1 1077944384 11130 0 0 0 300 82 0 0 20 0 28 0 86550168 27352735744 557018 33554432000 4194304 4196468 140733554679568 140581239336080 140581688309461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15409] ppid=15397 vsize=26711656 memory=2253720 CPUtime=1.65 cores=0-7 /proc/15399/task/15409/stat : 15409 (java) S 15397 15397 15002 0 -1 1077944384 18320 0 0 0 160 5 0 0 20 0 28 0 86550170 27352735744 557018 33554432000 4194304 4196468 140733554679568 140581196343280 140581688310402 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 23 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15410] ppid=15397 vsize=26711656 memory=0 CPUtime=0 cores=0-7 /proc/15399/task/15410/stat : 15410 (java) S 15397 15397 15002 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 28 0 86550170 27352735744 557018 33554432000 4194304 4196468 140733554679568 140581195289568 140581688309461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15411] ppid=15397 vsize=26711656 memory=-6367178968011680171 CPUtime=0 cores=0-7 /proc/15399/task/15411/stat : 15411 (java) S 15397 15397 15002 0 -1 1077944384 140 0 0 0 0 0 0 0 20 0 28 0 86550170 27352735744 557018 33554432000 4194304 4196468 140733554679568 140581194236928 140581688309461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15412] ppid=15397 vsize=26711656 memory=2253720 CPUtime=0 cores=0-7 /proc/15399/task/15412/stat : 15412 (java) S 15397 15397 15002 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 86550173 27352735744 557018 33554432000 4194304 4196468 140733554679568 140581193185488 140581688317851 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15413] ppid=15397 vsize=26711656 memory=1452 CPUtime=3.64 cores=0-7 /proc/15399/task/15413/stat : 15413 (java) S 15397 15397 15002 0 -1 1077944384 24032 0 0 0 360 4 0 0 20 0 28 0 86550173 27352735744 557018 33554432000 4194304 4196468 140733554679568 140580744096240 140581688310402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 16 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15414] ppid=15397 vsize=26711656 memory=6791534058613427641 CPUtime=3.6 cores=0-7 /proc/15399/task/15414/stat : 15414 (java) S 15397 15397 15002 0 -1 1077944384 22699 0 0 0 356 4 0 0 20 0 28 0 86550173 27352735744 557018 33554432000 4194304 4196468 140733554679568 140580743043696 140581688310402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 20 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15415] ppid=15397 vsize=26711656 memory=1408 CPUtime=3.29 cores=0-7 /proc/15399/task/15415/stat : 15415 (java) S 15397 15397 15002 0 -1 1077944384 23278 0 0 0 326 3 0 0 20 0 28 0 86550173 27352735744 557018 33554432000 4194304 4196468 140733554679568 140580741991152 140581688310402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 24 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15416] ppid=15397 vsize=26711656 memory=4052 CPUtime=1.21 cores=0-7 /proc/15399/task/15416/stat : 15416 (java) S 15397 15397 15002 0 -1 1077944384 21396 0 0 0 117 4 0 0 20 0 28 0 86550173 27352735744 557018 33554432000 4194304 4196468 140733554679568 140580740938608 140581688310402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 14 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15417] ppid=15397 vsize=26711656 memory=2228072 CPUtime=0 cores=0-7 /proc/15399/task/15417/stat : 15417 (java) S 15397 15397 15002 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 86550173 27352735744 557018 33554432000 4194304 4196468 140733554679568 140580739885280 140581688309461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15418] ppid=15397 vsize=26711656 memory=3872 CPUtime=1 cores=0-7 /proc/15399/task/15418/stat : 15418 (java) S 15397 15397 15002 0 -1 1077944384 4644 0 0 0 75 25 0 0 20 0 28 0 86550173 27352735744 557018 33554432000 4194304 4196468 140733554679568 140580738832816 140581688310402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 23 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15587] ppid=15397 vsize=26711656 memory=25272 CPUtime=2078.88 cores=0-7 /proc/15399/task/15587/stat : 15587 (java) R 15397 15397 15002 0 -1 4202560 14863 0 0 0 207881 7 0 0 20 0 28 0 86592369 27352735744 557018 33554432000 4194304 4196468 140733554679568 140580728138440 140581286078175 0 4 0 16800975 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15588] ppid=15397 vsize=26711656 memory=1452 CPUtime=2070.96 cores=0-7 /proc/15399/task/15588/stat : 15588 (java) R 15397 15397 15002 0 -1 4202560 8992 0 0 0 207087 9 0 0 20 0 28 0 86592369 27352735744 557018 33554432000 4194304 4196468 140733554679568 140580726034488 140581285642171 0 4 0 16800975 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15589] ppid=15397 vsize=26711656 memory=2253720 CPUtime=2078.9 cores=0-7 /proc/15399/task/15589/stat : 15589 (java) R 15397 15397 15002 0 -1 4202560 8093 0 0 0 207876 14 0 0 20 0 28 0 86592369 27352735744 557018 33554432000 4194304 4196468 140733554679568 140580723929304 140581279521208 0 4 0 16800975 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15590] ppid=15397 vsize=26711656 memory=1452 CPUtime=2070.17 cores=0-7 /proc/15399/task/15590/stat : 15590 (java) R 15397 15397 15002 0 -1 4202560 19229 0 0 0 206996 21 0 0 20 0 28 0 86592369 27352735744 557018 33554432000 4194304 4196468 140733554679568 140579798761784 140581282197556 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15591] ppid=15397 vsize=26711656 memory=1452 CPUtime=2078.83 cores=0-7 /proc/15399/task/15591/stat : 15591 (java) R 15397 15397 15002 0 -1 4202560 8020 0 0 0 207879 4 0 0 20 0 28 0 86592369 27352735744 557018 33554432000 4194304 4196468 140733554679568 140580724982200 140581285642288 0 4 0 16800975 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15592] ppid=15397 vsize=26711656 memory=1452 CPUtime=2062.47 cores=0-7 /proc/15399/task/15592/stat : 15592 (java) R 15397 15397 15002 0 -1 4202560 8272 0 0 0 206238 9 0 0 20 0 28 0 86592369 27352735744 557018 33554432000 4194304 4196468 140733554679568 140579796656512 140581285641994 0 4 0 16800975 0 0 0 -1 7 0 0 6 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15593] ppid=15397 vsize=26711656 memory=1452 CPUtime=2078.83 cores=0-7 /proc/15399/task/15593/stat : 15593 (java) R 15397 15397 15002 0 -1 4202560 11968 0 0 0 207863 20 0 0 20 0 28 0 86592369 27352735744 557018 33554432000 4194304 4196468 140733554679568 140579799813880 140581279521907 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15594] ppid=15397 vsize=26711656 memory=1452 CPUtime=2068.97 cores=0-7 /proc/15399/task/15594/stat : 15594 (java) R 15397 15397 15002 0 -1 4202560 17855 0 0 0 206878 19 0 0 20 0 28 0 86592369 27352735744 557018 33554432000 4194304 4196468 140733554679568 140580727089728 140581286078243 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 Current children cumulated CPU time: 19784.9 s Current children cumulated vsize: 26824784 KiB Current children cumulated memory: 2229524 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 8.11 8.21 8.24 9/208 15649 /proc/meminfo: memFree=25337224/32770624 swapFree=67108496/67108860 [pid=15397] ppid=15394 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/15397/stat : 15397 (xcsp3-exec) S 15394 15397 15002 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 86550167 115843072 363 33554432000 4194304 5098028 140722785848256 140722785846360 140394938655356 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37670912 140722785850423 140722785850624 140722785850624 140722785853386 0 /proc/15397/statm: 28282 363 306 221 0 87 0 [pid=15399] ppid=15397 vsize=26711656 memory=2228072 CPUtime=19926.2 cores=0-7 /proc/15399/stat : 15399 (java) S 15397 15397 15002 0 -1 1077944320 465560 0 0 0 1991554 1069 0 0 20 0 28 0 86550167 27352735744 557018 33554432000 4194304 4196468 140733554679568 140733554662112 140581688299255 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 /proc/15399/statm: 6677914 557018 3469 1 0 6639108 0 [pid=15399/tid=15400] ppid=15397 vsize=26711656 memory=6791534058613427641 CPUtime=24.63 cores=0-7 /proc/15399/task/15400/stat : 15400 (java) S 15397 15397 15002 0 -1 1077944384 16291 0 0 0 2452 11 0 0 20 0 28 0 86550167 27352735744 557018 33554432000 4194304 4196468 140733554679568 140581692540032 140581688309461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15401] ppid=15397 vsize=26711656 memory=-7003737579269690708 CPUtime=3.86 cores=0-7 /proc/15399/task/15401/stat : 15401 (java) S 15397 15397 15002 0 -1 1077944384 12036 0 0 0 300 86 0 0 20 0 28 0 86550168 27352735744 557018 33554432000 4194304 4196468 140733554679568 140581595859216 140581688309461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15402] ppid=15397 vsize=26711656 memory=4000 CPUtime=3.84 cores=0-7 /proc/15399/task/15402/stat : 15402 (java) S 15397 15397 15002 0 -1 1077944384 11319 0 0 0 303 81 0 0 20 0 28 0 86550168 27352735744 557018 33554432000 4194304 4196468 140733554679568 140581245651344 140581688309461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15403] ppid=15397 vsize=26711656 memory=14256 CPUtime=3.83 cores=0-7 /proc/15399/task/15403/stat : 15403 (java) S 15397 15397 15002 0 -1 1077944384 12170 0 0 0 299 84 0 0 20 0 28 0 86550168 27352735744 557018 33554432000 4194304 4196468 140733554679568 140581244598800 140581688309461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 12 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15404] ppid=15397 vsize=26711656 memory=15052 CPUtime=3.82 cores=0-7 /proc/15399/task/15404/stat : 15404 (java) S 15397 15397 15002 0 -1 1077944384 13450 0 0 0 298 84 0 0 20 0 28 0 86550168 27352735744 557018 33554432000 4194304 4196468 140733554679568 140581243546256 140581688309461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15405] ppid=15397 vsize=26711656 memory=1180 CPUtime=3.84 cores=0-7 /proc/15399/task/15405/stat : 15405 (java) S 15397 15397 15002 0 -1 1077944384 15796 0 0 0 299 85 0 0 20 0 28 0 86550168 27352735744 557018 33554432000 4194304 4196468 140733554679568 140581242493712 140581688309461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15406] ppid=15397 vsize=26711656 memory=504 CPUtime=3.84 cores=0-7 /proc/15399/task/15406/stat : 15406 (java) S 15397 15397 15002 0 -1 1077944384 12556 0 0 0 300 84 0 0 20 0 28 0 86550168 27352735744 557018 33554432000 4194304 4196468 140733554679568 140581241441168 140581688309461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15407] ppid=15397 vsize=26711656 memory=1452 CPUtime=3.84 cores=0-7 /proc/15399/task/15407/stat : 15407 (java) S 15397 15397 15002 0 -1 1077944384 12469 0 0 0 296 88 0 0 20 0 28 0 86550168 27352735744 557018 33554432000 4194304 4196468 140733554679568 140581240388624 140581688309461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15408] ppid=15397 vsize=26711656 memory=2228072 CPUtime=3.82 cores=0-7 /proc/15399/task/15408/stat : 15408 (java) S 15397 15397 15002 0 -1 1077944384 11130 0 0 0 300 82 0 0 20 0 28 0 86550168 27352735744 557018 33554432000 4194304 4196468 140733554679568 140581239336080 140581688309461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15409] ppid=15397 vsize=26711656 memory=2296 CPUtime=1.65 cores=0-7 /proc/15399/task/15409/stat : 15409 (java) S 15397 15397 15002 0 -1 1077944384 18320 0 0 0 160 5 0 0 20 0 28 0 86550170 27352735744 557018 33554432000 4194304 4196468 140733554679568 140581196343280 140581688310402 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 23 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15410] ppid=15397 vsize=26711656 memory=1452 CPUtime=0 cores=0-7 /proc/15399/task/15410/stat : 15410 (java) S 15397 15397 15002 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 28 0 86550170 27352735744 557018 33554432000 4194304 4196468 140733554679568 140581195289568 140581688309461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15411] ppid=15397 vsize=26711656 memory=2228072 CPUtime=0 cores=0-7 /proc/15399/task/15411/stat : 15411 (java) S 15397 15397 15002 0 -1 1077944384 140 0 0 0 0 0 0 0 20 0 28 0 86550170 27352735744 557018 33554432000 4194304 4196468 140733554679568 140581194236928 140581688309461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15412] ppid=15397 vsize=26711656 memory=2212 CPUtime=0 cores=0-7 /proc/15399/task/15412/stat : 15412 (java) S 15397 15397 15002 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 86550173 27352735744 557018 33554432000 4194304 4196468 140733554679568 140581193185488 140581688317851 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15413] ppid=15397 vsize=26711656 memory=3988 CPUtime=3.64 cores=0-7 /proc/15399/task/15413/stat : 15413 (java) S 15397 15397 15002 0 -1 1077944384 24032 0 0 0 360 4 0 0 20 0 28 0 86550173 27352735744 557018 33554432000 4194304 4196468 140733554679568 140580744096240 140581688310402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 16 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15414] ppid=15397 vsize=26711656 memory=2048 CPUtime=3.6 cores=0-7 /proc/15399/task/15414/stat : 15414 (java) S 15397 15397 15002 0 -1 1077944384 22699 0 0 0 356 4 0 0 20 0 28 0 86550173 27352735744 557018 33554432000 4194304 4196468 140733554679568 140580743043696 140581688310402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 20 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15415] ppid=15397 vsize=26711656 memory=7888 CPUtime=3.29 cores=0-7 /proc/15399/task/15415/stat : 15415 (java) S 15397 15397 15002 0 -1 1077944384 23278 0 0 0 326 3 0 0 20 0 28 0 86550173 27352735744 557018 33554432000 4194304 4196468 140733554679568 140580741991152 140581688310402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 24 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15416] ppid=15397 vsize=26711656 memory=808 CPUtime=1.21 cores=0-7 /proc/15399/task/15416/stat : 15416 (java) S 15397 15397 15002 0 -1 1077944384 21396 0 0 0 117 4 0 0 20 0 28 0 86550173 27352735744 557018 33554432000 4194304 4196468 140733554679568 140580740938608 140581688310402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 14 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15417] ppid=15397 vsize=26711656 memory=1696 CPUtime=0 cores=0-7 /proc/15399/task/15417/stat : 15417 (java) S 15397 15397 15002 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 86550173 27352735744 557018 33554432000 4194304 4196468 140733554679568 140580739885280 140581688309461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15418] ppid=15397 vsize=26711656 memory=2228072 CPUtime=1.01 cores=0-7 /proc/15399/task/15418/stat : 15418 (java) S 15397 15397 15002 0 -1 1077944384 4646 0 0 0 76 25 0 0 20 0 28 0 86550173 27352735744 557018 33554432000 4194304 4196468 140733554679568 140580738832816 140581688310402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 23 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15587] ppid=15397 vsize=26711656 memory=1452 CPUtime=2096.59 cores=0-7 /proc/15399/task/15587/stat : 15587 (java) R 15397 15397 15002 0 -1 4202560 14932 0 0 0 209652 7 0 0 20 0 28 0 86592369 27352735744 557018 33554432000 4194304 4196468 140733554679568 140580728138440 140581286276681 0 4 0 16800975 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15588] ppid=15397 vsize=26711656 memory=2228072 CPUtime=2088.67 cores=0-7 /proc/15399/task/15588/stat : 15588 (java) R 15397 15397 15002 0 -1 4202560 8998 0 0 0 208858 9 0 0 20 0 28 0 86592369 27352735744 557018 33554432000 4194304 4196468 140733554679568 140580726034488 140581286078144 0 4 0 16800975 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15589] ppid=15397 vsize=26711656 memory=1132 CPUtime=2096.6 cores=0-7 /proc/15399/task/15589/stat : 15589 (java) R 15397 15397 15002 0 -1 4202560 8159 0 0 0 209646 14 0 0 20 0 28 0 86592369 27352735744 557018 33554432000 4194304 4196468 140733554679568 140580723929304 140581286689888 0 4 0 16800975 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15590] ppid=15397 vsize=26711656 memory=1452 CPUtime=2087.87 cores=0-7 /proc/15399/task/15590/stat : 15590 (java) R 15397 15397 15002 0 -1 4202560 19255 0 0 0 208766 21 0 0 20 0 28 0 86592369 27352735744 557018 33554432000 4194304 4196468 140733554679568 140579798761784 140581286078408 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15591] ppid=15397 vsize=26711656 memory=1452 CPUtime=2096.54 cores=0-7 /proc/15399/task/15591/stat : 15591 (java) R 15397 15397 15002 0 -1 4202560 8046 0 0 0 209650 4 0 0 20 0 28 0 86592369 27352735744 557018 33554432000 4194304 4196468 140733554679568 140580724982200 140581285642064 0 4 0 16800975 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15592] ppid=15397 vsize=26711656 memory=1452 CPUtime=2079.81 cores=0-7 /proc/15399/task/15592/stat : 15592 (java) R 15397 15397 15002 0 -1 4202560 8314 0 0 0 207972 9 0 0 20 0 28 0 86592369 27352735744 557018 33554432000 4194304 4196468 140733554679568 140579796656512 140581286276768 0 4 0 16800975 0 0 0 -1 7 0 0 6 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15593] ppid=15397 vsize=26711656 memory=2228072 CPUtime=2096.54 cores=0-7 /proc/15399/task/15593/stat : 15593 (java) R 15397 15397 15002 0 -1 4202560 12035 0 0 0 209634 20 0 0 20 0 28 0 86592369 27352735744 557018 33554432000 4194304 4196468 140733554679568 140579799813880 140581286078823 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 [pid=15399/tid=15594] ppid=15397 vsize=26711656 memory=1160 CPUtime=2086.68 cores=0-7 /proc/15399/task/15594/stat : 15594 (java) R 15397 15397 15002 0 -1 4202560 17860 0 0 0 208649 19 0 0 20 0 28 0 86592369 27352735744 557018 33554432000 4194304 4196468 140733554679568 140580727089728 140581286078308 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 39272448 140733554680961 140733554681133 140733554681133 140733554683855 0 Current children cumulated CPU time: 19926.2 s Current children cumulated vsize: 26824784 KiB Current children cumulated memory: 2229524 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.04 s] # the end of solver process 15397 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.002273 s, system=0 s [startup+2520.1 s] # the end of solver process 15399 was just reported to runsolver # cumulated CPU time of all completed processes: user=19916.2 s, system=10.7051 s # this solver process was not waited by its parent and was adopted by runsolver Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 2520.1 CPU time (s): 19926.9 CPU user time (s): 19916.2 CPU system time (s): 10.7051 CPU usage (%): 790.717 Max. virtual memory (cumulated for all children) (KiB): 26824784 Max. memory (cumulated for all children) (KiB): 3115484 getrusage(RUSAGE_CHILDREN,...) data: user time used= 19916.2 system time used= 10.7051 maximum resident set size= 3114032 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 466381 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2496 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 70811 involuntary context switches= 199387 # summary of solver processes directly reported to runsolver: # pid: 15397,15399 # total CPU time (s): 19926.9 # total CPU user time (s): 19916.2 # total CPU system time (s): 10.7051 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 24.3569 second user time and 27.2481 second system time The end
Begin job on node149 at 2018-07-27 13:11:10 IDJOB=4297562 IDBENCH=141101 IDSOLVER=2760 FILE ID=node149/4297562-1532689870 RUNJOBID= node149-1532687189-15029 PBS_JOBID= 21022277 Free space on /tmp= 43256 MiB SOLVER NAME= Choco-solver 4.0.7b par (e747e1e) BENCH NAME= XCSP18/Tal/Tal-08_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-4297562-1532689870/watcher-4297562-1532689870 -o /tmp/evaluation-result-4297562-1532689870/solver-4297562-1532689870 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1532687189-15029 --watchdog 2580 HOME/xcsp3-exec -seed 25868780 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297562-1532689870.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 7dc6d9a3b6a58ae0b008049a7bee9b86 RANDOM SEED=25868780 node149.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.60 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.60 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.60 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.60 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: 27557436 kB MemAvailable: 31927468 kB Buffers: 89648 kB Cached: 4499812 kB SwapCached: 60 kB Active: 1540968 kB Inactive: 3102676 kB Active(anon): 3908 kB Inactive(anon): 78100 kB Active(file): 1537060 kB Inactive(file): 3024576 kB Unevictable: 7728 kB Mlocked: 7728 kB SwapTotal: 67108860 kB SwapFree: 67108496 kB Dirty: 22304 kB Writeback: 0 kB AnonPages: 71980 kB Mapped: 33544 kB Shmem: 25040 kB Slab: 264496 kB SReclaimable: 236856 kB SUnreclaim: 27640 kB KernelStack: 3584 kB PageTables: 5932 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 325120 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 18432 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 43236 MiB End job on node149 at 2018-07-27 13:53:10