Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 2019-09-24 parallel | SAT | 22.3839 | 8.01141 |
Name | Crossword/Crossword-m1c-ogd2008-herald/ Crossword-m1c-ogd2008-h1905.xml |
MD5SUM | b304f6c83ea7150e2963a619c79f8da9 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 0.587835 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 361 |
Number of constraints | 126 |
Number of domains | 1 |
Minimum domain size | 26 |
Maximum domain size | 26 |
Distribution of domain sizes | [{"size":26,"count":291}] |
Minimum variable degree | 0 |
Maximum variable degree | 2 |
Distribution of variable degrees | [{"degree":0,"count":70},{"degree":2,"count":291}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 19 |
Distribution of constraint arities | [{"arity":3,"count":25},{"arity":4,"count":62},{"arity":5,"count":18},{"arity":6,"count":8},{"arity":7,"count":10},{"arity":16,"count":2},{"arity":19,"count":1}] |
Number of extensional constraints | 126 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":126}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4406668-1569362918.xml" -tl '20160s' -p 8 0.11/0.20 c Choco e747e1e 0.11/0.20 c [HOME/instance-4406668-1569362918.xml, -tl, 20160s, -p, 8] 0.33/0.25 c 8 solvers in parallel 0.51/0.32 c parse instance... 21.21/7.81 c solve instance... 21.78/7.97 s SATISFIABLE 21.78/7.97 v <instantiation> 21.78/7.97 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][6] x[0][7] x[0][8] x[0][10] x[0][11] x[0][12] x[0][13] x[0][15] x[0][16] x[0][17] x[0][18] x[1][0] x[1][1] x[1][2] x[1][3] x[1][5] x[1][6] x[1][7] x[1][8] x[1][10] x[1][11] x[1][12] x[1][13] x[1][15] x[1][16] x[1][17] x[1][18] x[2][0] x[2][1] x[2][2] x[2][3] x[2][5] x[2][6] x[2][7] x[2][8] x[2][10] x[2][11] x[2][12] x[2][13] x[2][15] x[2][16] x[2][17] x[2][18] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][8] x[3][9] x[3][10] x[3][12] x[3][13] x[3][14] x[3][15] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[6][0] x[6][1] x[6][2] x[6][4] x[6][5] x[6][6] x[6][7] x[6][9] x[6][10] x[6][11] x[6][12] x[6][15] x[6][16] x[6][17] x[6][18] x[7][0] x[7][1] x[7][2] x[7][3] x[7][5] x[7][6] x[7][7] x[7][8] x[7][11] x[7][12] x[7][13] x[7][14] x[7][16] x[7][17] x[7][18] x[8][0] x[8][1] x[8][2] x[8][3] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][12] x[8][13] x[8][14] x[8][15] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[10][3] x[10][4] x[10][5] x[10][6] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][15] x[10][16] x[10][17] x[10][18] x[11][0] x[11][1] x[11][2] x[11][4] x[11][5] x[11][6] x[11][7] x[11][10] x[11][11] x[11][12] x[11][13] x[11][15] x[11][16] x[11][17] x[11][18] x[12][0] x[12][1] x[12][2] x[12][3] x[12][6] x[12][7] x[12][8] x[12][9] x[12][11] x[12][12] x[12][13] x[12][14] x[12][16] x[12][17] x[12][18] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[15][3] x[15][4] x[15][5] x[15][6] x[15][8] x[15][9] x[15][10] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[16][0] x[16][1] x[16][2] x[16][3] x[16][5] x[16][6] x[16][7] x[16][8] x[16][10] x[16][11] x[16][12] x[16][13] x[16][15] x[16][16] x[16][17] x[16][18] x[17][0] x[17][1] x[17][2] x[17][3] x[17][5] x[17][6] x[17][7] x[17][8] x[17][10] x[17][11] x[17][12] x[17][13] x[17][15] x[17][16] x[17][17] x[17][18] x[18][0] x[18][1] x[18][2] x[18][3] x[18][5] x[18][6] x[18][7] x[18][8] x[18][10] x[18][11] x[18][12] x[18][15] x[18][16] x[18][17] x[18][18] </list> 21.78/7.97 v <values>0 0 3 4 0 0 6 0 0 3 4 0 0 3 4 0 0 17 3 0 0 3 4 0 0 17 3 0 0 17 3 3 17 0 12 20 11 4 25 17 7 4 4 17 7 20 4 4 19 0 20 11 4 18 8 5 18 0 13 0 18 13 14 17 19 7 16 20 4 4 13 18 5 4 17 17 24 0 7 20 3 0 6 0 8 6 11 4 0 11 0 7 8 0 0 6 18 20 0 8 4 4 3 4 4 1 4 13 10 0 11 0 19 0 19 0 4 2 1 2 0 4 18 0 18 0 13 11 8 1 4 17 14 24 14 13 10 4 18 18 4 11 5 0 11 11 0 11 15 4 13 7 0 20 18 4 1 3 0 0 0 17 11 4 8 0 1 4 0 0 6 0 11 13 4 4 0 17 11 0 10 0 13 0 0 17 3 6 0 0 11 11 0 0 1 0 2 4 3 17 14 8 19 17 7 14 20 11 1 20 17 10 0 18 4 19 17 4 18 8 11 11 14 13 13 0 8 4 13 19 3 7 4 0 7 0 2 0 9 4 21 0 2 7 0 1 1 0 12 15 14 2 20 0 12 0 0 1 0 19 0 13 8 5 1 0 1 0 8 18 1 13 18 0 11 12 18 15 4 19 14 8 18 24 14 0 4 8 18 4 11 </values> 21.78/7.97 v </instantiation>
OK
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: 16375 MiB (12738 MiB free) memory of node 1: 16384 MiB (12495 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4406668-1569362918/watcher-4406668-1569362918 -o /tmp/evaluation-result-4406668-1569362918/solver-4406668-1569362918 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node120-1324874816-1550 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1309882006 HOME/instance-4406668-1569362918.xml running on 8 cores: 0-7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=2086, runsolver pid=2083 Current StackSize limit: 8192 KiB [startup+0.10012 s]* /proc/loadavg: 5.66 6.96 7.49 3/211 2107 /proc/meminfo: memFree=25825820/32770688 swapFree=66927624/67108860 [pid=2086] ppid=2083 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/2086/stat : 2086 (xcsp3-exec) S 2083 2086 1523 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 512297928 115843072 363 33554432000 4194304 5098028 140726261261376 140726261259480 140028722762364 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34967552 140726261265269 140726261265513 140726261265513 140726261268426 0 /proc/2086/statm: 28282 363 304 221 0 87 0 [pid=2088] ppid=2086 vsize=28227396 memory=28760 CPUtime=0.11 cores=0-7 /proc/2088/stat : 2088 (java) S 2086 2086 1523 0 -1 1077944320 5598 0 0 0 10 1 0 0 20 0 20 0 512297928 28904853504 7190 33554432000 4194304 4196468 140727686281824 140727686264368 139812459863799 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 /proc/2088/statm: 7056849 7190 3150 1 0 7019032 0 [pid=2088/tid=2089] ppid=2086 vsize=28227396 memory=-7024592270288534718 CPUtime=0.08 cores=0-7 /proc/2088/task/2089/stat : 2089 (java) R 2086 2086 1523 0 -1 4202560 3603 0 0 0 8 0 0 0 20 0 20 0 512297928 28904853504 7190 33554432000 4194304 4196468 140727686281824 139812464088608 139812443907429 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2090] ppid=2086 vsize=28227396 memory=3461361991549258287 CPUtime=0 cores=0-7 /proc/2088/task/2090/stat : 2090 (java) S 2086 2086 1523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512297929 28904853504 7190 33554432000 4194304 4196468 140727686281824 139812412484752 139812459874005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2091] ppid=2086 vsize=28227396 memory=140285163873920 CPUtime=0 cores=0-7 /proc/2088/task/2091/stat : 2091 (java) S 2086 2086 1523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512297929 28904853504 7190 33554432000 4194304 4196468 140727686281824 139812411431952 139812459874005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2092] ppid=2086 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2088/task/2092/stat : 2092 (java) S 2086 2086 1523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512297929 28904853504 7190 33554432000 4194304 4196468 140727686281824 139812410379152 139812459874005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2093] ppid=2086 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2088/task/2093/stat : 2093 (java) S 2086 2086 1523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512297929 28904853504 7190 33554432000 4194304 4196468 140727686281824 139812409326352 139812459874005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2094] ppid=2086 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2088/task/2094/stat : 2094 (java) S 2086 2086 1523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512297929 28904853504 7190 33554432000 4194304 4196468 140727686281824 139812408273552 139812459874005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2095] ppid=2086 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/2088/task/2095/stat : 2095 (java) S 2086 2086 1523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512297929 28904853504 7190 33554432000 4194304 4196468 140727686281824 139812407220752 139812459874005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2096] ppid=2086 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2088/task/2096/stat : 2096 (java) S 2086 2086 1523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512297929 28904853504 7190 33554432000 4194304 4196468 140727686281824 139812406167952 139812459874005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2097] ppid=2086 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2088/task/2097/stat : 2097 (java) S 2086 2086 1523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512297929 28904853504 7190 33554432000 4194304 4196468 140727686281824 139812405115152 139812459874005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2098] ppid=2086 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2088/task/2098/stat : 2098 (java) S 2086 2086 1523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512297931 28904853504 7190 33554432000 4194304 4196468 140727686281824 139811642882928 139812459874946 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2099] ppid=2086 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2088/task/2099/stat : 2099 (java) S 2086 2086 1523 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 512297931 28904853504 7190 33554432000 4194304 4196468 140727686281824 139811641828896 139812459874005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2100] ppid=2086 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2088/task/2100/stat : 2100 (java) S 2086 2086 1523 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512297932 28904853504 7190 33554432000 4194304 4196468 140727686281824 139811640776048 139812459874005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2101] ppid=2086 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2088/task/2101/stat : 2101 (java) S 2086 2086 1523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512297934 28904853504 7190 33554432000 4194304 4196468 140727686281824 139811639724368 139812459882395 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2102] ppid=2086 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2088/task/2102/stat : 2102 (java) S 2086 2086 1523 0 -1 1077944384 147 0 0 0 0 0 0 0 20 0 20 0 512297934 28904853504 7190 33554432000 4194304 4196468 140727686281824 139811638671728 139812459874946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2103] ppid=2086 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2088/task/2103/stat : 2103 (java) S 2086 2086 1523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512297934 28904853504 7190 33554432000 4194304 4196468 140727686281824 139811637618928 139812459874946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2104] ppid=2086 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2088/task/2104/stat : 2104 (java) S 2086 2086 1523 0 -1 1077944384 277 0 0 0 0 0 0 0 20 0 20 0 512297934 28904853504 7190 33554432000 4194304 4196468 140727686281824 139811636566128 139812459874946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2105] ppid=2086 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/2088/task/2105/stat : 2105 (java) S 2086 2086 1523 0 -1 1077944384 269 0 0 0 1 0 0 0 20 0 20 0 512297934 28904853504 7190 33554432000 4194304 4196468 140727686281824 139811635513328 139812459874946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2106] ppid=2086 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2088/task/2106/stat : 2106 (java) S 2086 2086 1523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512297935 28904853504 7190 33554432000 4194304 4196468 140727686281824 139811634461792 139812459874005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2107] ppid=2086 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/2088/task/2107/stat : 2107 (java) S 2086 2086 1523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512297935 28904853504 7190 33554432000 4194304 4196468 140727686281824 139811633409072 139812459874946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30212 KiB [startup+0.21149 s]* /proc/loadavg: 5.52 6.91 7.48 2/211 2107 /proc/meminfo: memFree=25811920/32770688 swapFree=66927624/67108860 [pid=2086] ppid=2083 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/2086/stat : 2086 (xcsp3-exec) S 2083 2086 1523 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 512297928 115843072 363 33554432000 4194304 5098028 140726261261376 140726261259480 140028722762364 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34967552 140726261265269 140726261265513 140726261265513 140726261268426 0 /proc/2086/statm: 28282 363 304 221 0 87 0 [pid=2088] ppid=2086 vsize=28227396 memory=40500 CPUtime=0.33 cores=0-7 /proc/2088/stat : 2088 (java) S 2086 2086 1523 0 -1 1077944320 9423 0 0 0 30 3 0 0 20 0 20 0 512297928 28904853504 10125 33554432000 4194304 4196468 140727686281824 140727686264368 139812459863799 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 /proc/2088/statm: 7056849 10125 3232 1 0 7019032 0 [pid=2088/tid=2089] ppid=2086 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/2088/task/2089/stat : 2089 (java) R 2086 2086 1523 0 -1 4202560 6572 0 0 0 18 2 0 0 20 0 20 0 512297928 28904853504 10125 33554432000 4194304 4196468 140727686281824 139812464093104 139812459885725 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2090] ppid=2086 vsize=28227396 memory=342 CPUtime=0 cores=0-7 /proc/2088/task/2090/stat : 2090 (java) S 2086 2086 1523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512297929 28904853504 10125 33554432000 4194304 4196468 140727686281824 139812412484752 139812459874005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2091] ppid=2086 vsize=28227396 memory=3545372833756489376 CPUtime=0 cores=0-7 /proc/2088/task/2091/stat : 2091 (java) S 2086 2086 1523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512297929 28904853504 10125 33554432000 4194304 4196468 140727686281824 139812411431952 139812459874005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2092] ppid=2086 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2088/task/2092/stat : 2092 (java) S 2086 2086 1523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512297929 28904853504 10125 33554432000 4194304 4196468 140727686281824 139812410379152 139812459874005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2093] ppid=2086 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/2088/task/2093/stat : 2093 (java) S 2086 2086 1523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512297929 28904853504 10125 33554432000 4194304 4196468 140727686281824 139812409326352 139812459874005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2094] ppid=2086 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2088/task/2094/stat : 2094 (java) S 2086 2086 1523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512297929 28904853504 10125 33554432000 4194304 4196468 140727686281824 139812408273552 139812459874005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2095] ppid=2086 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/2088/task/2095/stat : 2095 (java) S 2086 2086 1523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512297929 28904853504 10125 33554432000 4194304 4196468 140727686281824 139812407220752 139812459874005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2096] ppid=2086 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2088/task/2096/stat : 2096 (java) S 2086 2086 1523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512297929 28904853504 10125 33554432000 4194304 4196468 140727686281824 139812406167952 139812459874005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2097] ppid=2086 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2088/task/2097/stat : 2097 (java) S 2086 2086 1523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512297929 28904853504 10125 33554432000 4194304 4196468 140727686281824 139812405115152 139812459874005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2098] ppid=2086 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2088/task/2098/stat : 2098 (java) S 2086 2086 1523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512297931 28904853504 10125 33554432000 4194304 4196468 140727686281824 139811642882928 139812459874946 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2099] ppid=2086 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2088/task/2099/stat : 2099 (java) S 2086 2086 1523 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 512297931 28904853504 10125 33554432000 4194304 4196468 140727686281824 139811641828896 139812459874005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2100] ppid=2086 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2088/task/2100/stat : 2100 (java) S 2086 2086 1523 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512297932 28904853504 10125 33554432000 4194304 4196468 140727686281824 139811640776048 139812459874005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2101] ppid=2086 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2088/task/2101/stat : 2101 (java) S 2086 2086 1523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512297934 28904853504 10125 33554432000 4194304 4196468 140727686281824 139811639724368 139812459882395 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2102] ppid=2086 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2088/task/2102/stat : 2102 (java) S 2086 2086 1523 0 -1 1077944384 186 0 0 0 0 0 0 0 20 0 20 0 512297934 28904853504 10125 33554432000 4194304 4196468 140727686281824 139811638671728 139812459874946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2103] ppid=2086 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/2088/task/2103/stat : 2103 (java) S 2086 2086 1523 0 -1 1077944384 286 0 0 0 2 0 0 0 20 0 20 0 512297934 28904853504 10125 33554432000 4194304 4196468 140727686281824 139811637618928 139812459874946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2104] ppid=2086 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7 /proc/2088/task/2104/stat : 2104 (java) S 2086 2086 1523 0 -1 1077944384 329 0 0 0 2 0 0 0 20 0 20 0 512297934 28904853504 10125 33554432000 4194304 4196468 140727686281824 139811636566128 139812459874946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2105] ppid=2086 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/2088/task/2105/stat : 2105 (java) S 2086 2086 1523 0 -1 1077944384 753 0 0 0 7 0 0 0 20 0 20 0 512297934 28904853504 10125 33554432000 4194304 4196468 140727686281824 139811635513328 139812459874946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2106] ppid=2086 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2088/task/2106/stat : 2106 (java) S 2086 2086 1523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512297935 28904853504 10125 33554432000 4194304 4196468 140727686281824 139811634461792 139812459874005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2107] ppid=2086 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/2088/task/2107/stat : 2107 (java) S 2086 2086 1523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512297935 28904853504 10125 33554432000 4194304 4196468 140727686281824 139811633409072 139812459874946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 41952 KiB [startup+0.311236 s]* /proc/loadavg: 5.52 6.91 7.48 4/211 2107 /proc/meminfo: memFree=25806216/32770688 swapFree=66927624/67108860 [pid=2086] ppid=2083 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/2086/stat : 2086 (xcsp3-exec) S 2083 2086 1523 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 512297928 115843072 363 33554432000 4194304 5098028 140726261261376 140726261259480 140028722762364 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34967552 140726261265269 140726261265513 140726261265513 140726261268426 0 /proc/2086/statm: 28282 363 304 221 0 87 0 [pid=2088] ppid=2086 vsize=28231652 memory=46892 CPUtime=0.51 cores=0-7 /proc/2088/stat : 2088 (java) S 2086 2086 1523 0 -1 1077944320 10555 0 0 0 47 4 0 0 20 0 20 0 512297928 28909211648 11723 33554432000 4194304 4196468 140727686281824 140727686264368 139812459863799 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 /proc/2088/statm: 7057913 11723 3332 1 0 7019032 0 [pid=2088/tid=2089] ppid=2086 vsize=28231652 memory=1398722017469774279 CPUtime=0.3 cores=0-7 /proc/2088/task/2089/stat : 2089 (java) R 2086 2086 1523 0 -1 4202560 7561 0 0 0 27 3 0 0 20 0 20 0 512297928 28909211648 11723 33554432000 4194304 4196468 140727686281824 139812464085104 139812443944286 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2090] ppid=2086 vsize=28231652 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/2088/task/2090/stat : 2090 (java) S 2086 2086 1523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512297929 28909211648 11723 33554432000 4194304 4196468 140727686281824 139812412484752 139812459874005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2091] ppid=2086 vsize=28231652 memory=1176 CPUtime=0 cores=0-7 /proc/2088/task/2091/stat : 2091 (java) S 2086 2086 1523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512297929 28909211648 11723 33554432000 4194304 4196468 140727686281824 139812411431952 139812459874005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2092] ppid=2086 vsize=28231652 memory=980 CPUtime=0 cores=0-7 /proc/2088/task/2092/stat : 2092 (java) S 2086 2086 1523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512297929 28909211648 11723 33554432000 4194304 4196468 140727686281824 139812410379152 139812459874005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2093] ppid=2086 vsize=28231652 memory=14008 CPUtime=0 cores=0-7 /proc/2088/task/2093/stat : 2093 (java) S 2086 2086 1523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512297929 28909211648 11723 33554432000 4194304 4196468 140727686281824 139812409326352 139812459874005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2094] ppid=2086 vsize=28231652 memory=12028 CPUtime=0 cores=0-7 /proc/2088/task/2094/stat : 2094 (java) S 2086 2086 1523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512297929 28909211648 11723 33554432000 4194304 4196468 140727686281824 139812408273552 139812459874005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2095] ppid=2086 vsize=28231652 memory=38440 CPUtime=0 cores=0-7 /proc/2088/task/2095/stat : 2095 (java) S 2086 2086 1523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512297929 28909211648 11723 33554432000 4194304 4196468 140727686281824 139812407220752 139812459874005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2096] ppid=2086 vsize=28231652 memory=2120 CPUtime=0 cores=0-7 /proc/2088/task/2096/stat : 2096 (java) S 2086 2086 1523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512297929 28909211648 11723 33554432000 4194304 4196468 140727686281824 139812406167952 139812459874005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2097] ppid=2086 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/2088/task/2097/stat : 2097 (java) S 2086 2086 1523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512297929 28909211648 11723 33554432000 4194304 4196468 140727686281824 139812405115152 139812459874005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2098] ppid=2086 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/2088/task/2098/stat : 2098 (java) S 2086 2086 1523 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 512297931 28909211648 11723 33554432000 4194304 4196468 140727686281824 139811642882928 139812459874946 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2099] ppid=2086 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/2088/task/2099/stat : 2099 (java) S 2086 2086 1523 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 512297931 28909211648 11723 33554432000 4194304 4196468 140727686281824 139811641828896 139812459874005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2100] ppid=2086 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/2088/task/2100/stat : 2100 (java) S 2086 2086 1523 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512297932 28909211648 11723 33554432000 4194304 4196468 140727686281824 139811640776048 139812459874005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2101] ppid=2086 vsize=28231652 memory=140285040494031 CPUtime=0 cores=0-7 /proc/2088/task/2101/stat : 2101 (java) S 2086 2086 1523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512297934 28909211648 11723 33554432000 4194304 4196468 140727686281824 139811639724368 139812459882395 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2102] ppid=2086 vsize=28231652 memory=67 CPUtime=0.01 cores=0-7 /proc/2088/task/2102/stat : 2102 (java) S 2086 2086 1523 0 -1 1077944384 216 0 0 0 1 0 0 0 20 0 20 0 512297934 28909211648 11723 33554432000 4194304 4196468 140727686281824 139811638671728 139812459874946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2103] ppid=2086 vsize=28231652 memory=51172 CPUtime=0.03 cores=0-7 /proc/2088/task/2103/stat : 2103 (java) S 2086 2086 1523 0 -1 1077944384 300 0 0 0 3 0 0 0 20 0 20 0 512297934 28909211648 11723 33554432000 4194304 4196468 140727686281824 139811637618928 139812459874946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2104] ppid=2086 vsize=28231652 memory=53476 CPUtime=0.03 cores=0-7 /proc/2088/task/2104/stat : 2104 (java) S 2086 2086 1523 0 -1 1077944384 332 0 0 0 3 0 0 0 20 0 20 0 512297934 28909211648 11723 33554432000 4194304 4196468 140727686281824 139811636566128 139812459874946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2105] ppid=2086 vsize=28231652 memory=55780 CPUtime=0.12 cores=0-7 /proc/2088/task/2105/stat : 2105 (java) S 2086 2086 1523 0 -1 1077944384 836 0 0 0 12 0 0 0 20 0 20 0 512297934 28909211648 11723 33554432000 4194304 4196468 140727686281824 139811635513328 139812459874946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2106] ppid=2086 vsize=28231652 memory=110297088 CPUtime=0 cores=0-7 /proc/2088/task/2106/stat : 2106 (java) S 2086 2086 1523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512297935 28909211648 11723 33554432000 4194304 4196468 140727686281824 139811634461792 139812459874005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2107] ppid=2086 vsize=28231652 memory=115843071 CPUtime=0 cores=0-7 /proc/2088/task/2107/stat : 2107 (java) S 2086 2086 1523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512297935 28909211648 11723 33554432000 4194304 4196468 140727686281824 139811633409072 139812459874946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 48344 KiB [startup+0.701041 s] /proc/loadavg: 5.52 6.91 7.48 6/211 2107 /proc/meminfo: memFree=25786776/32770688 swapFree=66927624/67108860 [pid=2086] ppid=2083 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/2086/stat : 2086 (xcsp3-exec) S 2083 2086 1523 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 512297928 115843072 363 33554432000 4194304 5098028 140726261261376 140726261259480 140028722762364 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34967552 140726261265269 140726261265513 140726261265513 140726261268426 0 /proc/2086/statm: 28282 363 304 221 0 87 0 [pid=2088] ppid=2086 vsize=28233776 memory=157632 CPUtime=1.75 cores=0-7 /proc/2088/stat : 2088 (java) S 2086 2086 1523 0 -1 1077944320 14729 0 0 0 169 6 0 0 20 0 20 0 512297928 28911386624 39408 33554432000 4194304 4196468 140727686281824 140727686264368 139812459863799 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 /proc/2088/statm: 7058444 39408 3441 1 0 7019544 0 [pid=2088/tid=2089] ppid=2086 vsize=28233776 memory=280570081038176 CPUtime=0.68 cores=0-7 /proc/2088/task/2089/stat : 2089 (java) R 2086 2086 1523 0 -1 4202560 8392 0 0 0 63 5 0 0 20 0 20 0 512297928 28911386624 39408 33554432000 4194304 4196468 140727686281824 139812464096672 139812074238281 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2090] ppid=2086 vsize=28233776 memory=140285040698224 CPUtime=0 cores=0-7 /proc/2088/task/2090/stat : 2090 (java) S 2086 2086 1523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512297929 28911386624 39408 33554432000 4194304 4196468 140727686281824 139812412484752 139812459874005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2091] ppid=2086 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/2088/task/2091/stat : 2091 (java) S 2086 2086 1523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512297929 28911386624 39408 33554432000 4194304 4196468 140727686281824 139812411431952 139812459874005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2092] ppid=2086 vsize=28233776 memory=2020 CPUtime=0 cores=0-7 /proc/2088/task/2092/stat : 2092 (java) S 2086 2086 1523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512297929 28911386624 39408 33554432000 4194304 4196468 140727686281824 139812410379152 139812459874005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 ################ # More data... # ################ [pid=2086] ppid=2083 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/2086/stat : 2086 (xcsp3-exec) S 2083 2086 1523 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 512297928 115843072 363 33554432000 4194304 5098028 140726261261376 140726261259480 140028722762364 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34967552 140726261265269 140726261265513 140726261265513 140726261268426 0 /proc/2086/statm: 28282 363 304 221 0 87 0 [pid=2088] ppid=2086 vsize=28233776 memory=1804280 CPUtime=14.42 cores=0-7 /proc/2088/stat : 2088 (java) S 2086 2086 1523 0 -1 1077944320 32227 0 0 0 1128 314 0 0 20 0 20 0 512297928 28911386624 451070 33554432000 4194304 4196468 140727686281824 140727686264368 139812459863799 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 /proc/2088/statm: 7058444 451070 3505 1 0 7019544 0 [pid=2088/tid=2089] ppid=2086 vsize=28233776 memory=6056 CPUtime=4.82 cores=0-7 /proc/2088/task/2089/stat : 2089 (java) R 2086 2086 1523 0 -1 4202560 11247 0 0 0 465 17 0 0 20 0 20 0 512297928 28911386624 451070 33554432000 4194304 4196468 140727686281824 139812464098792 139812077072037 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2090] ppid=2086 vsize=28233776 memory=3668 CPUtime=0.89 cores=0-7 /proc/2088/task/2090/stat : 2090 (java) S 2086 2086 1523 0 -1 1077944384 1654 0 0 0 52 37 0 0 20 0 20 0 512297929 28911386624 451070 33554432000 4194304 4196468 140727686281824 139812412484752 139812459874005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2091] ppid=2086 vsize=28233776 memory=1056 CPUtime=0.84 cores=0-7 /proc/2088/task/2091/stat : 2091 (java) S 2086 2086 1523 0 -1 1077944384 1285 0 0 0 50 34 0 0 20 0 20 0 512297929 28911386624 451070 33554432000 4194304 4196468 140727686281824 139812411431952 139812459874005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2092] ppid=2086 vsize=28233776 memory=2828 CPUtime=0.88 cores=0-7 /proc/2088/task/2092/stat : 2092 (java) S 2086 2086 1523 0 -1 1077944384 1421 0 0 0 51 37 0 0 20 0 20 0 512297929 28911386624 451070 33554432000 4194304 4196468 140727686281824 139812410379152 139812459874005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2093] ppid=2086 vsize=28233776 memory=43 CPUtime=0.88 cores=0-7 /proc/2088/task/2093/stat : 2093 (java) S 2086 2086 1523 0 -1 1077944384 1697 0 0 0 52 36 0 0 20 0 20 0 512297929 28911386624 451070 33554432000 4194304 4196468 140727686281824 139812409326352 139812459874005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2094] ppid=2086 vsize=28233776 memory=50 CPUtime=0.89 cores=0-7 /proc/2088/task/2094/stat : 2094 (java) S 2086 2086 1523 0 -1 1077944384 1249 0 0 0 52 37 0 0 20 0 20 0 512297929 28911386624 451070 33554432000 4194304 4196468 140727686281824 139812408273552 139812459874005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2095] ppid=2086 vsize=28233776 memory=54 CPUtime=0.88 cores=0-7 /proc/2088/task/2095/stat : 2095 (java) S 2086 2086 1523 0 -1 1077944384 1441 0 0 0 51 37 0 0 20 0 20 0 512297929 28911386624 451070 33554432000 4194304 4196468 140727686281824 139812407220752 139812459874005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2096] ppid=2086 vsize=28233776 memory=0 CPUtime=0.87 cores=0-7 /proc/2088/task/2096/stat : 2096 (java) S 2086 2086 1523 0 -1 1077944384 1334 0 0 0 52 35 0 0 20 0 20 0 512297929 28911386624 451070 33554432000 4194304 4196468 140727686281824 139812406167952 139812459874005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2097] ppid=2086 vsize=28233776 memory=0 CPUtime=0.87 cores=0-7 /proc/2088/task/2097/stat : 2097 (java) S 2086 2086 1523 0 -1 1077944384 1543 0 0 0 51 36 0 0 20 0 20 0 512297929 28911386624 451070 33554432000 4194304 4196468 140727686281824 139812405115152 139812459874005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2098] ppid=2086 vsize=28233776 memory=280570081274304 CPUtime=0.2 cores=0-7 /proc/2088/task/2098/stat : 2098 (java) S 2086 2086 1523 0 -1 1077944384 1249 0 0 0 20 0 0 0 20 0 20 0 512297931 28911386624 451070 33554432000 4194304 4196468 140727686281824 139811642882928 139812459874946 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 45 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2099] ppid=2086 vsize=28233776 memory=15460 CPUtime=0 cores=0-7 /proc/2088/task/2099/stat : 2099 (java) S 2086 2086 1523 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 512297931 28911386624 451070 33554432000 4194304 4196468 140727686281824 139811641828960 139812459874005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2100] ppid=2086 vsize=28233776 memory=67 CPUtime=0 cores=0-7 /proc/2088/task/2100/stat : 2100 (java) S 2086 2086 1523 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 20 0 512297932 28911386624 451070 33554432000 4194304 4196468 140727686281824 139811640776064 139812459874005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2101] ppid=2086 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/2088/task/2101/stat : 2101 (java) S 2086 2086 1523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512297934 28911386624 451070 33554432000 4194304 4196468 140727686281824 139811639724368 139812459882395 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2102] ppid=2086 vsize=28233776 memory=280570081804336 CPUtime=0.52 cores=0-7 /proc/2088/task/2102/stat : 2102 (java) S 2086 2086 1523 0 -1 1077944384 1062 0 0 0 52 0 0 0 20 0 20 0 512297934 28911386624 451070 33554432000 4194304 4196468 140727686281824 139811638671728 139812459874946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 54 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2103] ppid=2086 vsize=28233776 memory=0 CPUtime=0.62 cores=0-7 /proc/2088/task/2103/stat : 2103 (java) S 2086 2086 1523 0 -1 1077944384 2298 0 0 0 62 0 0 0 20 0 20 0 512297934 28911386624 451070 33554432000 4194304 4196468 140727686281824 139811637618928 139812459874946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2104] ppid=2086 vsize=28233776 memory=0 CPUtime=0.55 cores=0-7 /proc/2088/task/2104/stat : 2104 (java) S 2086 2086 1523 0 -1 1077944384 1267 0 0 0 55 0 0 0 20 0 20 0 512297934 28911386624 451070 33554432000 4194304 4196468 140727686281824 139811636566128 139812459874946 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2105] ppid=2086 vsize=28233776 memory=0 CPUtime=0.57 cores=0-7 /proc/2088/task/2105/stat : 2105 (java) S 2086 2086 1523 0 -1 1077944384 2177 0 0 0 56 1 0 0 20 0 20 0 512297934 28911386624 451070 33554432000 4194304 4196468 140727686281824 139811635513328 139812459874946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2106] ppid=2086 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/2088/task/2106/stat : 2106 (java) S 2086 2086 1523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512297935 28911386624 451070 33554432000 4194304 4196468 140727686281824 139811634461792 139812459874005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2107] ppid=2086 vsize=28233776 memory=2867565960586600 CPUtime=0 cores=0-7 /proc/2088/task/2107/stat : 2107 (java) S 2086 2086 1523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512297935 28911386624 451070 33554432000 4194304 4196468 140727686281824 139811633409072 139812459874946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 56 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 Current children cumulated CPU time: 14.42 s Current children cumulated vsize: 28346904 KiB Current children cumulated memory: 1805732 KiB [startup+7.20163 s] /proc/loadavg: 5.24 6.83 7.45 10/211 2107 /proc/meminfo: memFree=23353716/32770688 swapFree=66927624/67108860 [pid=2086] ppid=2083 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/2086/stat : 2086 (xcsp3-exec) S 2083 2086 1523 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 512297928 115843072 363 33554432000 4194304 5098028 140726261261376 140726261259480 140028722762364 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34967552 140726261265269 140726261265513 140726261265513 140726261268426 0 /proc/2086/statm: 28282 363 304 221 0 87 0 [pid=2088] ppid=2086 vsize=28233776 memory=2541736 CPUtime=19.29 cores=0-7 /proc/2088/stat : 2088 (java) S 2086 2086 1523 0 -1 1077944320 35759 0 0 0 1458 471 0 0 20 0 20 0 512297928 28911386624 635434 33554432000 4194304 4196468 140727686281824 140727686264368 139812459863799 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 /proc/2088/statm: 7058444 635434 3505 1 0 7019544 0 [pid=2088/tid=2089] ppid=2086 vsize=28233776 memory=2828 CPUtime=5.02 cores=0-7 /proc/2088/task/2089/stat : 2089 (java) S 2086 2086 1523 0 -1 1077944384 11332 0 0 0 483 19 0 0 20 0 20 0 512297928 28911386624 635434 33554432000 4194304 4196468 140727686281824 139812464100368 139812459874005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2090] ppid=2086 vsize=28233776 memory=1176 CPUtime=1.47 cores=0-7 /proc/2088/task/2090/stat : 2090 (java) R 2086 2086 1523 0 -1 4202560 2043 0 0 0 90 57 0 0 20 0 20 0 512297929 28911386624 635434 33554432000 4194304 4196468 140727686281824 139812412484752 139812444853474 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2091] ppid=2086 vsize=28233776 memory=980 CPUtime=1.41 cores=0-7 /proc/2088/task/2091/stat : 2091 (java) R 2086 2086 1523 0 -1 4202560 1657 0 0 0 89 52 0 0 20 0 20 0 512297929 28911386624 635434 33554432000 4194304 4196468 140727686281824 139812411432152 139812444563612 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2092] ppid=2086 vsize=28233776 memory=14008 CPUtime=1.47 cores=0-7 /proc/2088/task/2092/stat : 2092 (java) R 2086 2086 1523 0 -1 4202560 1744 0 0 0 90 57 0 0 20 0 20 0 512297929 28911386624 635434 33554432000 4194304 4196468 140727686281824 139812410379152 139812444564487 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2093] ppid=2086 vsize=28233776 memory=12028 CPUtime=1.46 cores=0-7 /proc/2088/task/2093/stat : 2093 (java) R 2086 2086 1523 0 -1 4202560 1982 0 0 0 91 55 0 0 20 0 20 0 512297929 28911386624 635434 33554432000 4194304 4196468 140727686281824 139812409326352 139812444321390 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2094] ppid=2086 vsize=28233776 memory=38440 CPUtime=1.48 cores=0-7 /proc/2088/task/2094/stat : 2094 (java) R 2086 2086 1523 0 -1 4202560 1571 0 0 0 91 57 0 0 20 0 20 0 512297929 28911386624 635434 33554432000 4194304 4196468 140727686281824 139812408273752 139812444853346 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2095] ppid=2086 vsize=28233776 memory=2120 CPUtime=1.46 cores=0-7 /proc/2088/task/2095/stat : 2095 (java) R 2086 2086 1523 0 -1 4202560 1974 0 0 0 90 56 0 0 20 0 20 0 512297929 28911386624 635434 33554432000 4194304 4196468 140727686281824 139812407220752 139812444859793 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2096] ppid=2086 vsize=28233776 memory=496 CPUtime=1.46 cores=0-7 /proc/2088/task/2096/stat : 2096 (java) R 2086 2086 1523 0 -1 4202560 1906 0 0 0 92 54 0 0 20 0 20 0 512297929 28911386624 635434 33554432000 4194304 4196468 140727686281824 139812406167952 139812452967451 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2097] ppid=2086 vsize=28233776 memory=288230574492221466 CPUtime=1.46 cores=0-7 /proc/2088/task/2097/stat : 2097 (java) R 2086 2086 1523 0 -1 4202560 1886 0 0 0 90 56 0 0 20 0 20 0 512297929 28911386624 635434 33554432000 4194304 4196468 140727686281824 139812405115152 139812444564417 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2098] ppid=2086 vsize=28233776 memory=0 CPUtime=0.21 cores=0-7 /proc/2088/task/2098/stat : 2098 (java) S 2086 2086 1523 0 -1 1077944384 1557 0 0 0 21 0 0 0 20 0 20 0 512297931 28911386624 635434 33554432000 4194304 4196468 140727686281824 139811642881472 139812459874005 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 45 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2099] ppid=2086 vsize=28233776 memory=3668 CPUtime=0 cores=0-7 /proc/2088/task/2099/stat : 2099 (java) S 2086 2086 1523 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 512297931 28911386624 635434 33554432000 4194304 4196468 140727686281824 139811641828960 139812459874005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2100] ppid=2086 vsize=28233776 memory=33 CPUtime=0 cores=0-7 /proc/2088/task/2100/stat : 2100 (java) S 2086 2086 1523 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 20 0 512297932 28911386624 635434 33554432000 4194304 4196468 140727686281824 139811640776064 139812459874005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2101] ppid=2086 vsize=28233776 memory=7311146985107750967 CPUtime=0 cores=0-7 /proc/2088/task/2101/stat : 2101 (java) S 2086 2086 1523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512297934 28911386624 635434 33554432000 4194304 4196468 140727686281824 139811639724368 139812459882395 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2102] ppid=2086 vsize=28233776 memory=1915934 CPUtime=0.52 cores=0-7 /proc/2088/task/2102/stat : 2102 (java) S 2086 2086 1523 0 -1 1077944384 1062 0 0 0 52 0 0 0 20 0 20 0 512297934 28911386624 635434 33554432000 4194304 4196468 140727686281824 139811638671728 139812459874946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 54 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2103] ppid=2086 vsize=28233776 memory=4266942068280262688 CPUtime=0.62 cores=0-7 /proc/2088/task/2103/stat : 2103 (java) S 2086 2086 1523 0 -1 1077944384 2298 0 0 0 62 0 0 0 20 0 20 0 512297934 28911386624 635434 33554432000 4194304 4196468 140727686281824 139811637618928 139812459874946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2104] ppid=2086 vsize=28233776 memory=0 CPUtime=0.55 cores=0-7 /proc/2088/task/2104/stat : 2104 (java) S 2086 2086 1523 0 -1 1077944384 1267 0 0 0 55 0 0 0 20 0 20 0 512297934 28911386624 635434 33554432000 4194304 4196468 140727686281824 139811636566128 139812459874946 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2105] ppid=2086 vsize=28233776 memory=0 CPUtime=0.57 cores=0-7 /proc/2088/task/2105/stat : 2105 (java) S 2086 2086 1523 0 -1 1077944384 2177 0 0 0 56 1 0 0 20 0 20 0 512297934 28911386624 635434 33554432000 4194304 4196468 140727686281824 139811635513328 139812459874946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2106] ppid=2086 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/2088/task/2106/stat : 2106 (java) S 2086 2086 1523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512297935 28911386624 635946 33554432000 4194304 4196468 140727686281824 139811634461792 139812459874005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2107] ppid=2086 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/2088/task/2107/stat : 2107 (java) S 2086 2086 1523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512297935 28911386624 635946 33554432000 4194304 4196468 140727686281824 139811633409072 139812459874946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 56 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 Current children cumulated CPU time: 19.29 s Current children cumulated vsize: 28346904 KiB Current children cumulated memory: 2543188 KiB [startup+7.60093 s] /proc/loadavg: 5.24 6.83 7.45 10/211 2107 /proc/meminfo: memFree=23353716/32770688 swapFree=66927624/67108860 [pid=2086] ppid=2083 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/2086/stat : 2086 (xcsp3-exec) S 2083 2086 1523 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 512297928 115843072 363 33554432000 4194304 5098028 140726261261376 140726261259480 140028722762364 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34967552 140726261265269 140726261265513 140726261265513 140726261268426 0 /proc/2086/statm: 28282 363 304 221 0 87 0 [pid=2088] ppid=2086 vsize=28233776 memory=2611468 CPUtime=21.01 cores=0-7 /proc/2088/stat : 2088 (java) S 2086 2086 1523 0 -1 1077944320 35810 0 0 0 1628 473 0 0 20 0 20 0 512297928 28911386624 652867 33554432000 4194304 4196468 140727686281824 140727686264368 139812459863799 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 /proc/2088/statm: 7058444 652867 3505 1 0 7019544 0 [pid=2088/tid=2089] ppid=2086 vsize=28233776 memory=8112282956445269571 CPUtime=5.02 cores=0-7 /proc/2088/task/2089/stat : 2089 (java) S 2086 2086 1523 0 -1 1077944384 11332 0 0 0 483 19 0 0 20 0 20 0 512297928 28911386624 652867 33554432000 4194304 4196468 140727686281824 139812464100368 139812459874005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2090] ppid=2086 vsize=28233776 memory=0 CPUtime=1.66 cores=0-7 /proc/2088/task/2090/stat : 2090 (java) S 2086 2086 1523 0 -1 1077944384 2043 0 0 0 109 57 0 0 20 0 20 0 512297929 28911386624 652867 33554432000 4194304 4196468 140727686281824 139812412484752 139812459874005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2091] ppid=2086 vsize=28233776 memory=0 CPUtime=1.6 cores=0-7 /proc/2088/task/2091/stat : 2091 (java) S 2086 2086 1523 0 -1 1077944384 1660 0 0 0 108 52 0 0 20 0 20 0 512297929 28911386624 652867 33554432000 4194304 4196468 140727686281824 139812411431952 139812459874005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2092] ppid=2086 vsize=28233776 memory=0 CPUtime=1.65 cores=0-7 /proc/2088/task/2092/stat : 2092 (java) S 2086 2086 1523 0 -1 1077944384 1763 0 0 0 108 57 0 0 20 0 20 0 512297929 28911386624 652867 33554432000 4194304 4196468 140727686281824 139812410379152 139812459874005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2093] ppid=2086 vsize=28233776 memory=7012755953374488938 CPUtime=1.65 cores=0-7 /proc/2088/task/2093/stat : 2093 (java) S 2086 2086 1523 0 -1 1077944384 1996 0 0 0 110 55 0 0 20 0 20 0 512297929 28911386624 652867 33554432000 4194304 4196468 140727686281824 139812409326352 139812459874005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2094] ppid=2086 vsize=28233776 memory=7086248332625471057 CPUtime=1.66 cores=0-7 /proc/2088/task/2094/stat : 2094 (java) S 2086 2086 1523 0 -1 1077944384 1571 0 0 0 109 57 0 0 20 0 20 0 512297929 28911386624 652867 33554432000 4194304 4196468 140727686281824 139812408273552 139812459874005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2095] ppid=2086 vsize=28233776 memory=7079764520877445733 CPUtime=1.65 cores=0-7 /proc/2088/task/2095/stat : 2095 (java) S 2086 2086 1523 0 -1 1077944384 1974 0 0 0 109 56 0 0 20 0 20 0 512297929 28911386624 652867 33554432000 4194304 4196468 140727686281824 139812407220752 139812459874005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2096] ppid=2086 vsize=28233776 memory=7014751519633528162 CPUtime=1.65 cores=0-7 /proc/2088/task/2096/stat : 2096 (java) S 2086 2086 1523 0 -1 1077944384 1921 0 0 0 110 55 0 0 20 0 20 0 512297929 28911386624 652867 33554432000 4194304 4196468 140727686281824 139812406167952 139812459874005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2097] ppid=2086 vsize=28233776 memory=776 CPUtime=1.65 cores=0-7 /proc/2088/task/2097/stat : 2097 (java) S 2086 2086 1523 0 -1 1077944384 1886 0 0 0 109 56 0 0 20 0 20 0 512297929 28911386624 652867 33554432000 4194304 4196468 140727686281824 139812405115152 139812459874005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2098] ppid=2086 vsize=28233776 memory=660 CPUtime=0.42 cores=0-7 /proc/2088/task/2098/stat : 2098 (java) R 2086 2086 1523 0 -1 4202560 1557 0 0 0 42 0 0 0 20 0 20 0 512297931 28911386624 652867 33554432000 4194304 4196468 140727686281824 139811642881360 139812444564430 0 0 0 16800975 0 0 0 -1 1 0 0 45 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2099] ppid=2086 vsize=28233776 memory=1556 CPUtime=0 cores=0-7 /proc/2088/task/2099/stat : 2099 (java) S 2086 2086 1523 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 512297931 28911386624 652867 33554432000 4194304 4196468 140727686281824 139811641828960 139812459874005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2100] ppid=2086 vsize=28233776 memory=9588 CPUtime=0 cores=0-7 /proc/2088/task/2100/stat : 2100 (java) S 2086 2086 1523 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 20 0 512297932 28911386624 652867 33554432000 4194304 4196468 140727686281824 139811640776064 139812459874005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2101] ppid=2086 vsize=28233776 memory=1712 CPUtime=0 cores=0-7 /proc/2088/task/2101/stat : 2101 (java) S 2086 2086 1523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512297934 28911386624 652867 33554432000 4194304 4196468 140727686281824 139811639724368 139812459882395 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2102] ppid=2086 vsize=28233776 memory=6056 CPUtime=0.52 cores=0-7 /proc/2088/task/2102/stat : 2102 (java) S 2086 2086 1523 0 -1 1077944384 1062 0 0 0 52 0 0 0 20 0 20 0 512297934 28911386624 652867 33554432000 4194304 4196468 140727686281824 139811638671728 139812459874946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 54 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2103] ppid=2086 vsize=28233776 memory=3668 CPUtime=0.62 cores=0-7 /proc/2088/task/2103/stat : 2103 (java) S 2086 2086 1523 0 -1 1077944384 2298 0 0 0 62 0 0 0 20 0 20 0 512297934 28911386624 652867 33554432000 4194304 4196468 140727686281824 139811637618928 139812459874946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2104] ppid=2086 vsize=28233776 memory=1056 CPUtime=0.55 cores=0-7 /proc/2088/task/2104/stat : 2104 (java) S 2086 2086 1523 0 -1 1077944384 1267 0 0 0 55 0 0 0 20 0 20 0 512297934 28911386624 652867 33554432000 4194304 4196468 140727686281824 139811636566128 139812459874946 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2105] ppid=2086 vsize=28233776 memory=2828 CPUtime=0.57 cores=0-7 /proc/2088/task/2105/stat : 2105 (java) S 2086 2086 1523 0 -1 1077944384 2177 0 0 0 56 1 0 0 20 0 20 0 512297934 28911386624 652867 33554432000 4194304 4196468 140727686281824 139811635513328 139812459874946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2106] ppid=2086 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/2088/task/2106/stat : 2106 (java) S 2086 2086 1523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512297935 28911386624 652867 33554432000 4194304 4196468 140727686281824 139811634461792 139812459874005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 [pid=2088/tid=2107] ppid=2086 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/2088/task/2107/stat : 2107 (java) S 2086 2086 1523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512297935 28911386624 652867 33554432000 4194304 4196468 140727686281824 139811633409072 139812459874946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 56 0 0 6293624 6294260 20152320 140727686288362 140727686288534 140727686288534 140727686291407 0 Current children cumulated CPU time: 21.01 s Current children cumulated vsize: 28346904 KiB Current children cumulated memory: 2612920 KiB [startup+8.00099 s]* /proc/loadavg: 5.24 6.83 7.45 2/193 2115 /proc/meminfo: memFree=25533756/32770688 swapFree=66927624/67108860 [pid=2086] ppid=2083 vsize=113128 memory=1484 CPUtime=22.37 cores=0-7 /proc/2086/stat : 2086 (xcsp3-exec) R 2083 2086 1523 0 -1 4202496 549 36890 0 0 0 0 1761 476 20 0 1 0 512297928 115843072 363 33554432000 4194304 5098028 140726261261376 140726261259480 140028722201728 0 0 4100 65536 0 0 0 17 5 0 0 0 0 0 7196144 7232144 34967552 140726261265269 140726261265513 140726261265513 140726261268426 0 /proc/2086/statm: 28282 363 304 221 0 87 0 Current children cumulated CPU time: 22.37 s Current children cumulated vsize: 113128 KiB Current children cumulated memory: 1484 KiB Child status: 0 Real time (s): 8.01141 CPU time (s): 22.3839 CPU user time (s): 17.6128 CPU system time (s): 4.77115 CPU usage (%): 279.401 Max. virtual memory (cumulated for all children) (KiB): 28879416 Max. memory (cumulated for all children) (KiB): 2615724 getrusage(RUSAGE_CHILDREN,...) data: user time used= 17.6128 system time used= 4.77115 maximum resident set size= 2616748 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 37446 page faults= 0 swaps= 0 block input operations= 0 block output operations= 112 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4344 involuntary context switches= 213 # summary of solver processes directly reported to runsolver: # pid: 2086 # total CPU time (s): 22.3839 # total CPU user time (s): 17.6128 # total CPU system time (s): 4.77115 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.093954 second user time and 0.131334 second system time The end
Begin job on node120 at 2011-12-26 06:28:59 IDJOB=4406668 IDBENCH=140069 IDSOLVER=2871 FILE ID=node120/4406668-1569362918 RUNJOBID= node120-1324874816-1550 PBS_JOBID= 21705123 Free space on /tmp= 23408 MiB SOLVER NAME= choco-solver 2019-09-24 parallel BENCH NAME= XCSP17/Crossword/Crossword-m1c-ogd2008-herald/Crossword-m1c-ogd2008-h1905.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4406668-1569362918/watcher-4406668-1569362918 -o /tmp/evaluation-result-4406668-1569362918/solver-4406668-1569362918 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node120-1324874816-1550 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1309882006 HOME/instance-4406668-1569362918.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= b304f6c83ea7150e2963a619c79f8da9 RANDOM SEED=1309882006 node120.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 : 2667.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.49 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 : 2667.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.49 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 : 2667.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.49 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 : 2667.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.49 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 : 2667.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 : 5329.69 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 : 2667.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 : 5329.69 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 : 2667.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 : 5329.69 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 : 2667.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 : 5329.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770688 kB MemFree: 25839868 kB MemAvailable: 31776520 kB Buffers: 118024 kB Cached: 6095908 kB SwapCached: 68820 kB Active: 3077344 kB Inactive: 3210904 kB Active(anon): 4512 kB Inactive(anon): 134208 kB Active(file): 3072832 kB Inactive(file): 3076696 kB Unevictable: 107984 kB Mlocked: 107984 kB SwapTotal: 67108860 kB SwapFree: 66927624 kB Dirty: 29032 kB Writeback: 24 kB AnonPages: 114440 kB Mapped: 63608 kB Shmem: 55932 kB Slab: 234348 kB SReclaimable: 205916 kB SUnreclaim: 28432 kB KernelStack: 3360 kB PageTables: 5596 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 531908 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 146880 kB DirectMap2M: 33398784 kB Free space on /tmp at the end= 23380 MiB End job on node120 at 2011-12-26 06:29:07