Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-16 parallel | OPT | 54 | 108.736 | 14.4652 |
Name | StillLife/StillLife-wst-s1/ StillLife-wastage-10.xml |
MD5SUM | e31de29e6699e81a7472a47d1439bb7a |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 54 |
Best CPU time to get the best result obtained on this benchmark | 18.4594 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 301 |
Number of constraints | 208 |
Number of domains | 4 |
Minimum domain size | 2 |
Maximum domain size | 289 |
Distribution of domain sizes | [{"size":2,"count":144},{"size":3,"count":144},{"size":101,"count":1},{"size":289,"count":12}] |
Minimum variable degree | 1 |
Maximum variable degree | 13 |
Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":141},{"degree":3,"count":15},{"degree":4,"count":40},{"degree":8,"count":36},{"degree":9,"count":64},{"degree":13,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 14 |
Distribution of constraint arities | [{"arity":2,"count":52},{"arity":3,"count":40},{"arity":10,"count":100},{"arity":12,"count":4},{"arity":13,"count":1},{"arity":14,"count":11}] |
Number of extensional constraints | 140 |
Number of intensional constraints | 51 |
Distribution of constraint types | [{"type":"extension","count":140},{"type":"intension","count":51},{"type":"sum","count":13},{"type":"instantiation","count":4}] |
Optimization problem | YES |
Type of objective | max VAR |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4400063-1568709525.xml" -tl '2016s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4400063-1568709525.xml, -tl, 2016s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.29 c parse instance... 3.02/1.03 c solve instance... 4.29/1.21 o 0 4.29/1.23 o 4 4.29/1.24 o 6 4.29/1.25 o 8 4.29/1.27 o 10 4.29/1.29 o 25 4.29/1.30 o 26 5.03/1.33 o 27 6.49/1.54 o 31 6.49/1.57 o 32 7.25/1.60 o 33 8.04/1.73 o 34 8.84/1.82 o 35 8.84/1.83 o 37 8.84/1.88 o 38 8.84/1.88 o 39 9.63/1.91 o 40 9.63/1.92 o 41 9.63/1.95 o 42 9.63/1.97 o 43 10.36/2.02 o 44 10.36/2.02 o 45 11.13/2.12 o 47 12.59/2.32 o 48 15.69/2.79 o 49 18.12/3.01 o 50 18.93/3.16 o 51 30.69/4.66 o 52 41.00/5.95 o 53 41.00/6.00 o 54 108.43/14.43 s OPTIMUM FOUND 108.43/14.43 v <instantiation> 108.43/14.43 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] 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[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] ws[0] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] ws[10] ws[11] z </list> 108.43/14.43 v <values>0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 0 1 0 1 1 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 1 0 1 0 1 1 0 1 1 0 0 0 1 0 1 0 1 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 1 1 0 1 1 1 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 1 0 1 1 0 1 1 0 0 1 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 3 5 6 11 12 14 15 17 20 20 21 24 54 </values> 108.43/14.43 v </instantiation>
OK 54
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 (14714 MiB free) memory of node 1: 16384 MiB (15240 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400063-1568709525/watcher-4400063-1568709525 -o /tmp/evaluation-result-4400063-1568709525/solver-4400063-1568709525 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node107-1568696839-26115 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 150858422 HOME/instance-4400063-1568709525.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=30378, runsolver pid=30375 [startup+0.100114 s]* /proc/loadavg: 8.27 8.27 8.22 2/211 30399 /proc/meminfo: memFree=30657128/32770624 swapFree=66926784/67108860 [pid=30378] ppid=30375 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/30378/stat : 30378 (xcsp3-exec) S 30375 30378 26088 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447208302 115843072 363 33554432000 4194304 5098028 140729561426928 140729561425032 140224430752380 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28110848 140729561432956 140729561433198 140729561433198 140729561436106 0 /proc/30378/statm: 28282 363 304 221 0 87 0 [pid=30380] ppid=30378 vsize=28227396 memory=30128 CPUtime=0.12 cores=0-7 /proc/30380/stat : 30380 (java) S 30378 30378 26088 0 -1 1077944320 5931 0 0 0 11 1 0 0 20 0 20 0 447208302 28904853504 7532 33554432000 4194304 4196468 140724272197120 140724272179664 140561536552695 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 /proc/30380/statm: 7056849 7532 3158 1 0 7019032 0 [pid=30380/tid=30381] ppid=30378 vsize=28227396 memory=576460756329955445 CPUtime=0.09 cores=0-7 /proc/30380/task/30381/stat : 30381 (java) R 30378 30378 26088 0 -1 4202560 3859 0 0 0 8 1 0 0 20 0 20 0 447208302 28904853504 7532 33554432000 4194304 4196468 140724272197120 140561540787232 140561536564630 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30382] ppid=30378 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30380/task/30382/stat : 30382 (java) S 30378 30378 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447208303 28904853504 7532 33554432000 4194304 4196468 140724272197120 140561489173136 140561536562901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30383] ppid=30378 vsize=28227396 memory=288370177088829056 CPUtime=0 cores=0-7 /proc/30380/task/30383/stat : 30383 (java) S 30378 30378 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447208303 28904853504 7532 33554432000 4194304 4196468 140724272197120 140561488120336 140561536562901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30384] ppid=30378 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30380/task/30384/stat : 30384 (java) S 30378 30378 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447208303 28904853504 7532 33554432000 4194304 4196468 140724272197120 140561487067536 140561536562901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30385] ppid=30378 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30380/task/30385/stat : 30385 (java) S 30378 30378 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447208303 28904853504 7532 33554432000 4194304 4196468 140724272197120 140561486014736 140561536562901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30386] ppid=30378 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30380/task/30386/stat : 30386 (java) S 30378 30378 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447208303 28904853504 7532 33554432000 4194304 4196468 140724272197120 140561484962960 140561536562901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30387] ppid=30378 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30380/task/30387/stat : 30387 (java) S 30378 30378 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447208303 28904853504 7532 33554432000 4194304 4196468 140724272197120 140561483910160 140561536562901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30388] ppid=30378 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30380/task/30388/stat : 30388 (java) S 30378 30378 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447208303 28904853504 7532 33554432000 4194304 4196468 140724272197120 140561482857360 140561536562901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30389] ppid=30378 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30380/task/30389/stat : 30389 (java) S 30378 30378 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447208303 28904853504 7532 33554432000 4194304 4196468 140724272197120 140561481804560 140561536562901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30390] ppid=30378 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30380/task/30390/stat : 30390 (java) S 30378 30378 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447208305 28904853504 7532 33554432000 4194304 4196468 140724272197120 140560134420848 140561536563842 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30391] ppid=30378 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30380/task/30391/stat : 30391 (java) S 30378 30378 26088 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447208305 28904853504 7532 33554432000 4194304 4196468 140724272197120 140560133366816 140561536562901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30392] ppid=30378 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30380/task/30392/stat : 30392 (java) S 30378 30378 26088 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447208306 28904853504 7532 33554432000 4194304 4196468 140724272197120 140560132313968 140561536562901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30393] ppid=30378 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30380/task/30393/stat : 30393 (java) S 30378 30378 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447208308 28904853504 7532 33554432000 4194304 4196468 140724272197120 140560131262288 140561536571291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30394] ppid=30378 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30380/task/30394/stat : 30394 (java) S 30378 30378 26088 0 -1 1077944384 411 0 0 0 0 0 0 0 20 0 20 0 447208308 28904853504 7532 33554432000 4194304 4196468 140724272197120 140560130210672 140561536563842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30395] ppid=30378 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30380/task/30395/stat : 30395 (java) S 30378 30378 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447208308 28904853504 7532 33554432000 4194304 4196468 140724272197120 140560129157872 140561536563842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30396] ppid=30378 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30380/task/30396/stat : 30396 (java) S 30378 30378 26088 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 447208308 28904853504 7532 33554432000 4194304 4196468 140724272197120 140560128105072 140561536563842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30397] ppid=30378 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/30380/task/30397/stat : 30397 (java) R 30378 30378 26088 0 -1 4202560 342 0 0 0 1 0 0 0 20 0 20 0 447208308 28904853504 7532 33554432000 4194304 4196468 140724272197120 140560127052272 140561536564630 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30398] ppid=30378 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30380/task/30398/stat : 30398 (java) S 30378 30378 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447208308 28904853504 7532 33554432000 4194304 4196468 140724272197120 140560125999712 140561536562901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30399] ppid=30378 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30380/task/30399/stat : 30399 (java) S 30378 30378 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447208309 28904853504 7532 33554432000 4194304 4196468 140724272197120 140560124946992 140561536563842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31580 KiB [startup+0.210182 s]* /proc/loadavg: 8.27 8.27 8.22 3/211 30399 /proc/meminfo: memFree=30644752/32770624 swapFree=66926784/67108860 [pid=30378] ppid=30375 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/30378/stat : 30378 (xcsp3-exec) S 30375 30378 26088 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447208302 115843072 363 33554432000 4194304 5098028 140729561426928 140729561425032 140224430752380 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28110848 140729561432956 140729561433198 140729561433198 140729561436106 0 /proc/30378/statm: 28282 363 304 221 0 87 0 [pid=30380] ppid=30378 vsize=28227396 memory=40500 CPUtime=0.34 cores=0-7 /proc/30380/stat : 30380 (java) S 30378 30378 26088 0 -1 1077944320 9361 0 0 0 31 3 0 0 20 0 20 0 447208302 28904853504 10125 33554432000 4194304 4196468 140724272197120 140724272179664 140561536552695 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 /proc/30380/statm: 7056849 10125 3286 1 0 7019032 0 [pid=30380/tid=30381] ppid=30378 vsize=28227396 memory=8316850467074736180 CPUtime=0.2 cores=0-7 /proc/30380/task/30381/stat : 30381 (java) R 30378 30378 26088 0 -1 4202560 6656 0 0 0 18 2 0 0 20 0 20 0 447208302 28904853504 10125 33554432000 4194304 4196468 140724272197120 140561540785424 140561536574621 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30382] ppid=30378 vsize=28227396 memory=10923 CPUtime=0 cores=0-7 /proc/30380/task/30382/stat : 30382 (java) S 30378 30378 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447208303 28904853504 10125 33554432000 4194304 4196468 140724272197120 140561489173136 140561536562901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30383] ppid=30378 vsize=28227396 memory=139800937143657 CPUtime=0 cores=0-7 /proc/30380/task/30383/stat : 30383 (java) S 30378 30378 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447208303 28904853504 10125 33554432000 4194304 4196468 140724272197120 140561488120336 140561536562901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30384] ppid=30378 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30380/task/30384/stat : 30384 (java) S 30378 30378 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447208303 28904853504 10125 33554432000 4194304 4196468 140724272197120 140561487067536 140561536562901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30385] ppid=30378 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30380/task/30385/stat : 30385 (java) S 30378 30378 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447208303 28904853504 10125 33554432000 4194304 4196468 140724272197120 140561486014736 140561536562901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30386] ppid=30378 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30380/task/30386/stat : 30386 (java) S 30378 30378 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447208303 28904853504 10125 33554432000 4194304 4196468 140724272197120 140561484962960 140561536562901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30387] ppid=30378 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30380/task/30387/stat : 30387 (java) S 30378 30378 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447208303 28904853504 10125 33554432000 4194304 4196468 140724272197120 140561483910160 140561536562901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30388] ppid=30378 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30380/task/30388/stat : 30388 (java) S 30378 30378 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447208303 28904853504 10125 33554432000 4194304 4196468 140724272197120 140561482857360 140561536562901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30389] ppid=30378 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30380/task/30389/stat : 30389 (java) S 30378 30378 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447208303 28904853504 10125 33554432000 4194304 4196468 140724272197120 140561481804560 140561536562901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30390] ppid=30378 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30380/task/30390/stat : 30390 (java) S 30378 30378 26088 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447208305 28904853504 10125 33554432000 4194304 4196468 140724272197120 140560134420848 140561536563842 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30391] ppid=30378 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30380/task/30391/stat : 30391 (java) S 30378 30378 26088 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447208305 28904853504 10125 33554432000 4194304 4196468 140724272197120 140560133366816 140561536562901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30392] ppid=30378 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30380/task/30392/stat : 30392 (java) S 30378 30378 26088 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447208306 28904853504 10125 33554432000 4194304 4196468 140724272197120 140560132313968 140561536562901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30393] ppid=30378 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30380/task/30393/stat : 30393 (java) S 30378 30378 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447208308 28904853504 10125 33554432000 4194304 4196468 140724272197120 140560131262288 140561536571291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30394] ppid=30378 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/30380/task/30394/stat : 30394 (java) S 30378 30378 26088 0 -1 1077944384 508 0 0 0 1 0 0 0 20 0 20 0 447208308 28904853504 10125 33554432000 4194304 4196468 140724272197120 140560130210672 140561536563842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30395] ppid=30378 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/30380/task/30395/stat : 30395 (java) S 30378 30378 26088 0 -1 1077944384 17 0 0 0 1 0 0 0 20 0 20 0 447208308 28904853504 10125 33554432000 4194304 4196468 140724272197120 140560129157872 140561536563842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30396] ppid=30378 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/30380/task/30396/stat : 30396 (java) S 30378 30378 26088 0 -1 1077944384 105 0 0 0 1 0 0 0 20 0 20 0 447208308 28904853504 10125 33554432000 4194304 4196468 140724272197120 140560128105072 140561536563842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30397] ppid=30378 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/30380/task/30397/stat : 30397 (java) S 30378 30378 26088 0 -1 1077944384 760 0 0 0 7 0 0 0 20 0 20 0 447208308 28904853504 10125 33554432000 4194304 4196468 140724272197120 140560127052272 140561536563842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30398] ppid=30378 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30380/task/30398/stat : 30398 (java) S 30378 30378 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447208308 28904853504 10125 33554432000 4194304 4196468 140724272197120 140560125999712 140561536562901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30399] ppid=30378 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30380/task/30399/stat : 30399 (java) S 30378 30378 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447208309 28904853504 10125 33554432000 4194304 4196468 140724272197120 140560124946992 140561536563842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 41952 KiB [startup+0.309513 s]* /proc/loadavg: 8.27 8.27 8.22 3/211 30399 /proc/meminfo: memFree=30638908/32770624 swapFree=66926784/67108860 [pid=30378] ppid=30375 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/30378/stat : 30378 (xcsp3-exec) S 30375 30378 26088 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447208302 115843072 363 33554432000 4194304 5098028 140729561426928 140729561425032 140224430752380 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28110848 140729561432956 140729561433198 140729561433198 140729561436106 0 /proc/30378/statm: 28282 363 304 221 0 87 0 [pid=30380] ppid=30378 vsize=28231652 memory=49544 CPUtime=0.52 cores=0-7 /proc/30380/stat : 30380 (java) S 30378 30378 26088 0 -1 1077944320 10792 0 0 0 48 4 0 0 20 0 20 0 447208302 28909211648 12386 33554432000 4194304 4196468 140724272197120 140724272179664 140561536552695 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 /proc/30380/statm: 7057913 12386 3356 1 0 7019032 0 [pid=30380/tid=30381] ppid=30378 vsize=28231652 memory=8317482817917895235 CPUtime=0.3 cores=0-7 /proc/30380/task/30381/stat : 30381 (java) R 30378 30378 26088 0 -1 4202560 7751 0 0 0 27 3 0 0 20 0 20 0 447208302 28909211648 12386 33554432000 4194304 4196468 140724272197120 140561540783808 140561522246198 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30382] ppid=30378 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30380/task/30382/stat : 30382 (java) S 30378 30378 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447208303 28909211648 12386 33554432000 4194304 4196468 140724272197120 140561489173136 140561536562901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30383] ppid=30378 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30380/task/30383/stat : 30383 (java) S 30378 30378 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447208303 28909211648 12386 33554432000 4194304 4196468 140724272197120 140561488120336 140561536562901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30384] ppid=30378 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30380/task/30384/stat : 30384 (java) S 30378 30378 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447208303 28909211648 12386 33554432000 4194304 4196468 140724272197120 140561487067536 140561536562901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30385] ppid=30378 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30380/task/30385/stat : 30385 (java) S 30378 30378 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447208303 28909211648 12386 33554432000 4194304 4196468 140724272197120 140561486014736 140561536562901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30386] ppid=30378 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30380/task/30386/stat : 30386 (java) S 30378 30378 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447208303 28909211648 12386 33554432000 4194304 4196468 140724272197120 140561484962960 140561536562901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30387] ppid=30378 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30380/task/30387/stat : 30387 (java) S 30378 30378 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447208303 28909211648 12386 33554432000 4194304 4196468 140724272197120 140561483910160 140561536562901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30388] ppid=30378 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30380/task/30388/stat : 30388 (java) S 30378 30378 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447208303 28909211648 12386 33554432000 4194304 4196468 140724272197120 140561482857360 140561536562901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30389] ppid=30378 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30380/task/30389/stat : 30389 (java) S 30378 30378 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447208303 28909211648 12386 33554432000 4194304 4196468 140724272197120 140561481804560 140561536562901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30390] ppid=30378 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30380/task/30390/stat : 30390 (java) S 30378 30378 26088 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447208305 28909211648 12386 33554432000 4194304 4196468 140724272197120 140560134420848 140561536563842 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30391] ppid=30378 vsize=28231652 memory=279601565867392 CPUtime=0 cores=0-7 /proc/30380/task/30391/stat : 30391 (java) S 30378 30378 26088 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447208305 28909211648 12386 33554432000 4194304 4196468 140724272197120 140560133366816 140561536562901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30392] ppid=30378 vsize=28231652 memory=279601565872000 CPUtime=0 cores=0-7 /proc/30380/task/30392/stat : 30392 (java) S 30378 30378 26088 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447208306 28909211648 12386 33554432000 4194304 4196468 140724272197120 140560132313968 140561536562901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30393] ppid=30378 vsize=28231652 memory=279601565876608 CPUtime=0 cores=0-7 /proc/30380/task/30393/stat : 30393 (java) S 30378 30378 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447208308 28909211648 12386 33554432000 4194304 4196468 140724272197120 140560131262288 140561536571291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30394] ppid=30378 vsize=28231652 memory=279601565881216 CPUtime=0.03 cores=0-7 /proc/30380/task/30394/stat : 30394 (java) R 30378 30378 26088 0 -1 4202560 624 0 0 0 3 0 0 0 20 0 20 0 447208308 28909211648 12386 33554432000 4194304 4196468 140724272197120 140560130209856 140561517252992 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30395] ppid=30378 vsize=28231652 memory=279601565885824 CPUtime=0.01 cores=0-7 /proc/30380/task/30395/stat : 30395 (java) S 30378 30378 26088 0 -1 1077944384 31 0 0 0 1 0 0 0 20 0 20 0 447208308 28909211648 12386 33554432000 4194304 4196468 140724272197120 140560129157872 140561536563842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30396] ppid=30378 vsize=28231652 memory=279601565890432 CPUtime=0.03 cores=0-7 /proc/30380/task/30396/stat : 30396 (java) S 30378 30378 26088 0 -1 1077944384 159 0 0 0 3 0 0 0 20 0 20 0 447208308 28909211648 12386 33554432000 4194304 4196468 140724272197120 140560128105072 140561536563842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30397] ppid=30378 vsize=28231652 memory=279601565895040 CPUtime=0.12 cores=0-7 /proc/30380/task/30397/stat : 30397 (java) S 30378 30378 26088 0 -1 1077944384 925 0 0 0 12 0 0 0 20 0 20 0 447208308 28909211648 12386 33554432000 4194304 4196468 140724272197120 140560127052272 140561536563842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30398] ppid=30378 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30380/task/30398/stat : 30398 (java) S 30378 30378 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447208308 28909211648 12386 33554432000 4194304 4196468 140724272197120 140560125999712 140561536562901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30399] ppid=30378 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/30380/task/30399/stat : 30399 (java) S 30378 30378 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447208309 28909211648 12386 33554432000 4194304 4196468 140724272197120 140560124946992 140561536563842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 50996 KiB [startup+0.700923 s] /proc/loadavg: 8.27 8.27 8.22 6/211 30399 /proc/meminfo: memFree=30616116/32770624 swapFree=66926784/67108860 [pid=30378] ppid=30375 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/30378/stat : 30378 (xcsp3-exec) S 30375 30378 26088 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447208302 115843072 363 33554432000 4194304 5098028 140729561426928 140729561425032 140224430752380 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28110848 140729561432956 140729561433198 140729561433198 140729561436106 0 /proc/30378/statm: 28282 363 304 221 0 87 0 [pid=30380] ppid=30378 vsize=28233776 memory=88408 CPUtime=1.71 cores=0-7 /proc/30380/stat : 30380 (java) S 30378 30378 26088 0 -1 1077944320 15799 0 0 0 164 7 0 0 20 0 20 0 447208302 28911386624 22102 33554432000 4194304 4196468 140724272197120 140724272179664 140561536552695 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 /proc/30380/statm: 7058444 22102 3453 1 0 7019544 0 [pid=30380/tid=30381] ppid=30378 vsize=28233776 memory=0 CPUtime=0.68 cores=0-7 /proc/30380/task/30381/stat : 30381 (java) R 30378 30378 26088 0 -1 4202560 9307 0 0 0 64 4 0 0 20 0 20 0 447208302 28911386624 22102 33554432000 4194304 4196468 140724272197120 140561540787520 140561145769540 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30382] ppid=30378 vsize=28233776 memory=139800783135616 CPUtime=0 cores=0-7 /proc/30380/task/30382/stat : 30382 (java) S 30378 30378 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447208303 28911386624 22102 33554432000 4194304 4196468 140724272197120 140561489173136 140561536562901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30383] ppid=30378 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/30380/task/30383/stat : 30383 (java) S 30378 30378 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447208303 28911386624 22102 33554432000 4194304 4196468 140724272197120 140561488120336 140561536562901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30384] ppid=30378 vsize=28233776 memory=9364 CPUtime=0 cores=0-7 /proc/30380/task/30384/stat : 30384 (java) S 30378 30378 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447208303 28911386624 22102 33554432000 4194304 4196468 140724272197120 140561487067536 140561536562901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 ################ # More data... # ################ [pid=30380/tid=30397] ppid=30378 vsize=28834900 memory=1560 CPUtime=1.02 cores=0-7 /proc/30380/task/30397/stat : 30397 (java) S 30378 30378 26088 0 -1 1077944384 5721 0 0 0 99 3 0 0 20 0 28 0 447208308 29526937600 301827 33554432000 4194304 4196468 140724272197120 140560127052272 140561536563842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30398] ppid=30378 vsize=28834900 memory=928 CPUtime=0 cores=0-7 /proc/30380/task/30398/stat : 30398 (java) S 30378 30378 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447208308 29526937600 301827 33554432000 4194304 4196468 140724272197120 140560125999712 140561536562901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30399] ppid=30378 vsize=28834900 memory=1680 CPUtime=0 cores=0-7 /proc/30380/task/30399/stat : 30399 (java) S 30378 30378 26088 0 -1 1077944384 183 0 0 0 0 0 0 0 20 0 28 0 447208309 29526937600 301827 33554432000 4194304 4196468 140724272197120 140560124946992 140561536563842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30641] ppid=30378 vsize=28834900 memory=1444 CPUtime=7.44 cores=0-7 /proc/30380/task/30641/stat : 30641 (java) R 30378 30378 26088 0 -1 4202560 154 0 0 0 744 0 0 0 20 0 28 0 447208903 29526937600 301827 33554432000 4194304 4196468 140724272197120 140559908744544 140561152091271 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30642] ppid=30378 vsize=28834900 memory=896 CPUtime=7.47 cores=0-7 /proc/30380/task/30642/stat : 30642 (java) R 30378 30378 26088 0 -1 4202560 182 0 0 0 747 0 0 0 20 0 28 0 447208903 29526937600 301827 33554432000 4194304 4196468 140724272197120 140559907692424 140561151393814 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30643] ppid=30378 vsize=28834900 memory=1984 CPUtime=7.31 cores=0-7 /proc/30380/task/30643/stat : 30643 (java) R 30378 30378 26088 0 -1 4202560 451 0 0 0 731 0 0 0 20 0 28 0 447208903 29526937600 301827 33554432000 4194304 4196468 140724272197120 140559906641032 140561151465086 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30644] ppid=30378 vsize=28834900 memory=2552 CPUtime=7.42 cores=0-7 /proc/30380/task/30644/stat : 30644 (java) R 30378 30378 26088 0 -1 4202560 1796 0 0 0 735 7 0 0 20 0 28 0 447208903 29526937600 301827 33554432000 4194304 4196468 140724272197120 140559903482960 140561154514500 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30645] ppid=30378 vsize=28834900 memory=1760 CPUtime=7.48 cores=0-7 /proc/30380/task/30645/stat : 30645 (java) R 30378 30378 26088 0 -1 4202560 270 0 0 0 748 0 0 0 20 0 28 0 447208903 29526937600 301827 33554432000 4194304 4196468 140724272197120 140559904535392 140561151393652 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30646] ppid=30378 vsize=28834900 memory=111632 CPUtime=7.4 cores=0-7 /proc/30380/task/30646/stat : 30646 (java) R 30378 30378 26088 0 -1 4202560 361 0 0 0 739 1 0 0 20 0 28 0 447208903 29526937600 301827 33554432000 4194304 4196468 140724272197120 140559905587328 140724274120449 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30647] ppid=30378 vsize=28834900 memory=804 CPUtime=7.36 cores=0-7 /proc/30380/task/30647/stat : 30647 (java) R 30378 30378 26088 0 -1 4202560 455 0 0 0 734 2 0 0 20 0 28 0 447208903 29526937600 301827 33554432000 4194304 4196468 140724272197120 140559910850760 140561151466213 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30648] ppid=30378 vsize=28834900 memory=1808 CPUtime=7.4 cores=0-7 /proc/30380/task/30648/stat : 30648 (java) R 30378 30378 26088 0 -1 4202560 586 0 0 0 739 1 0 0 20 0 28 0 447208903 29526937600 301827 33554432000 4194304 4196468 140724272197120 140559911903624 140561151762161 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 Current children cumulated CPU time: 102.05 s Current children cumulated vsize: 28948028 KiB Current children cumulated memory: 1208760 KiB [startup+14.0011 s]* /proc/loadavg: 8.56 8.34 8.24 9/218 30648 /proc/meminfo: memFree=29478860/32770624 swapFree=66926784/67108860 [pid=30378] ppid=30375 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/30378/stat : 30378 (xcsp3-exec) S 30375 30378 26088 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447208302 115843072 363 33554432000 4194304 5098028 140729561426928 140729561425032 140224430752380 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28110848 140729561432956 140729561433198 140729561433198 140729561436106 0 /proc/30378/statm: 28282 363 304 221 0 87 0 [pid=30380] ppid=30378 vsize=28834900 memory=1207308 CPUtime=105.31 cores=0-7 /proc/30380/stat : 30380 (java) S 30378 30378 26088 0 -1 1077944320 58023 0 0 0 10450 81 0 0 20 0 28 0 447208302 29526937600 301827 33554432000 4194304 4196468 140724272197120 140724272179664 140561536552695 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 /proc/30380/statm: 7208725 301827 3537 1 0 7169825 0 [pid=30380/tid=30381] ppid=30378 vsize=28834900 memory=0 CPUtime=1.04 cores=0-7 /proc/30380/task/30381/stat : 30381 (java) S 30378 30378 26088 0 -1 1077944384 10267 0 0 0 99 5 0 0 20 0 28 0 447208302 29526937600 301827 33554432000 4194304 4196468 140724272197120 140561540793472 140561536562901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30382] ppid=30378 vsize=28834900 memory=0 CPUtime=0.08 cores=0-7 /proc/30380/task/30382/stat : 30382 (java) S 30378 30378 26088 0 -1 1077944384 254 0 0 0 4 4 0 0 20 0 28 0 447208303 29526937600 301827 33554432000 4194304 4196468 140724272197120 140561489173136 140561536562901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30383] ppid=30378 vsize=28834900 memory=0 CPUtime=0.08 cores=0-7 /proc/30380/task/30383/stat : 30383 (java) S 30378 30378 26088 0 -1 1077944384 1535 0 0 0 4 4 0 0 20 0 28 0 447208303 29526937600 301827 33554432000 4194304 4196468 140724272197120 140561488120336 140561536562901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30384] ppid=30378 vsize=28834900 memory=8317482817917895235 CPUtime=0.11 cores=0-7 /proc/30380/task/30384/stat : 30384 (java) S 30378 30378 26088 0 -1 1077944384 495 0 0 0 5 6 0 0 20 0 28 0 447208303 29526937600 301827 33554432000 4194304 4196468 140724272197120 140561487067536 140561536562901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30385] ppid=30378 vsize=28834900 memory=441452 CPUtime=0.09 cores=0-7 /proc/30380/task/30385/stat : 30385 (java) S 30378 30378 26088 0 -1 1077944384 259 0 0 0 5 4 0 0 20 0 28 0 447208303 29526937600 301827 33554432000 4194304 4196468 140724272197120 140561486014736 140561536562901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30386] ppid=30378 vsize=28834900 memory=0 CPUtime=0.09 cores=0-7 /proc/30380/task/30386/stat : 30386 (java) S 30378 30378 26088 0 -1 1077944384 211 0 0 0 4 5 0 0 20 0 28 0 447208303 29526937600 301827 33554432000 4194304 4196468 140724272197120 140561484962960 140561536562901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30387] ppid=30378 vsize=28834900 memory=0 CPUtime=0.06 cores=0-7 /proc/30380/task/30387/stat : 30387 (java) S 30378 30378 26088 0 -1 1077944384 153 0 0 0 3 3 0 0 20 0 28 0 447208303 29526937600 301827 33554432000 4194304 4196468 140724272197120 140561483910160 140561536562901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30388] ppid=30378 vsize=28834900 memory=0 CPUtime=0.11 cores=0-7 /proc/30380/task/30388/stat : 30388 (java) S 30378 30378 26088 0 -1 1077944384 236 0 0 0 6 5 0 0 20 0 28 0 447208303 29526937600 301827 33554432000 4194304 4196468 140724272197120 140561482857360 140561536562901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30389] ppid=30378 vsize=28834900 memory=0 CPUtime=0.09 cores=0-7 /proc/30380/task/30389/stat : 30389 (java) S 30378 30378 26088 0 -1 1077944384 1315 0 0 0 5 4 0 0 20 0 28 0 447208303 29526937600 301827 33554432000 4194304 4196468 140724272197120 140561481804560 140561536562901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30390] ppid=30378 vsize=28834900 memory=0 CPUtime=0.02 cores=0-7 /proc/30380/task/30390/stat : 30390 (java) S 30378 30378 26088 0 -1 1077944384 1497 0 0 0 2 0 0 0 20 0 28 0 447208305 29526937600 301827 33554432000 4194304 4196468 140724272197120 140560134420848 140561536563842 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30391] ppid=30378 vsize=28834900 memory=0 CPUtime=0 cores=0-7 /proc/30380/task/30391/stat : 30391 (java) S 30378 30378 26088 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 447208305 29526937600 301827 33554432000 4194304 4196468 140724272197120 140560133366880 140561536562901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30392] ppid=30378 vsize=28834900 memory=0 CPUtime=0 cores=0-7 /proc/30380/task/30392/stat : 30392 (java) S 30378 30378 26088 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 447208306 29526937600 301827 33554432000 4194304 4196468 140724272197120 140560132313984 140561536562901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30393] ppid=30378 vsize=28834900 memory=0 CPUtime=0 cores=0-7 /proc/30380/task/30393/stat : 30393 (java) S 30378 30378 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447208308 29526937600 301827 33554432000 4194304 4196468 140724272197120 140560131262288 140561536571291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30394] ppid=30378 vsize=28834900 memory=279601566527856 CPUtime=2.91 cores=0-7 /proc/30380/task/30394/stat : 30394 (java) S 30378 30378 26088 0 -1 1077944384 8053 0 0 0 289 2 0 0 20 0 28 0 447208308 29526937600 301827 33554432000 4194304 4196468 140724272197120 140560130210672 140561536563842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30395] ppid=30378 vsize=28834900 memory=6944656592455097440 CPUtime=2.59 cores=0-7 /proc/30380/task/30395/stat : 30395 (java) S 30378 30378 26088 0 -1 1077944384 10000 0 0 0 256 3 0 0 20 0 28 0 447208308 29526937600 301827 33554432000 4194304 4196468 140724272197120 140560129157872 140561536563842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30396] ppid=30378 vsize=28834900 memory=0 CPUtime=2.52 cores=0-7 /proc/30380/task/30396/stat : 30396 (java) S 30378 30378 26088 0 -1 1077944384 6413 0 0 0 251 1 0 0 20 0 28 0 447208308 29526937600 301827 33554432000 4194304 4196468 140724272197120 140560128105072 140561536563842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30397] ppid=30378 vsize=28834900 memory=0 CPUtime=1.02 cores=0-7 /proc/30380/task/30397/stat : 30397 (java) S 30378 30378 26088 0 -1 1077944384 5721 0 0 0 99 3 0 0 20 0 28 0 447208308 29526937600 301827 33554432000 4194304 4196468 140724272197120 140560127052272 140561536563842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30398] ppid=30378 vsize=28834900 memory=0 CPUtime=0 cores=0-7 /proc/30380/task/30398/stat : 30398 (java) S 30378 30378 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447208308 29526937600 301827 33554432000 4194304 4196468 140724272197120 140560125999712 140561536562901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30399] ppid=30378 vsize=28834900 memory=0 CPUtime=0 cores=0-7 /proc/30380/task/30399/stat : 30399 (java) R 30378 30378 26088 0 -1 1077944384 183 0 0 0 0 0 0 0 20 0 28 0 447208309 29526937600 301827 33554432000 4194304 4196468 140724272197120 140560124946992 140561536563842 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30641] ppid=30378 vsize=28834900 memory=0 CPUtime=7.85 cores=0-7 /proc/30380/task/30641/stat : 30641 (java) R 30378 30378 26088 0 -1 4202560 162 0 0 0 785 0 0 0 20 0 28 0 447208903 29526937600 301827 33554432000 4194304 4196468 140724272197120 140559908744680 140561152658157 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30642] ppid=30378 vsize=28834900 memory=6944656592455359580 CPUtime=7.88 cores=0-7 /proc/30380/task/30642/stat : 30642 (java) R 30378 30378 26088 0 -1 4202560 192 0 0 0 788 0 0 0 20 0 28 0 447208903 29526937600 301827 33554432000 4194304 4196468 140724272197120 140559907692424 140561151393652 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30643] ppid=30378 vsize=28834900 memory=-6007362509463994004 CPUtime=7.72 cores=0-7 /proc/30380/task/30643/stat : 30643 (java) R 30378 30378 26088 0 -1 4202560 458 0 0 0 772 0 0 0 20 0 28 0 447208903 29526937600 301827 33554432000 4194304 4196468 140724272197120 140559906641032 140561151393599 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30644] ppid=30378 vsize=28834900 memory=6082202987142147159 CPUtime=7.83 cores=0-7 /proc/30380/task/30644/stat : 30644 (java) R 30378 30378 26088 0 -1 4202560 1817 0 0 0 776 7 0 0 20 0 28 0 447208903 29526937600 301827 33554432000 4194304 4196468 140724272197120 140559903483096 140561151763786 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30645] ppid=30378 vsize=28834900 memory=7811886505993070179 CPUtime=7.87 cores=0-7 /proc/30380/task/30645/stat : 30645 (java) R 30378 30378 26088 0 -1 4202560 281 0 0 0 787 0 0 0 20 0 28 0 447208903 29526937600 301827 33554432000 4194304 4196468 140724272197120 140559904535392 140561152837053 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30646] ppid=30378 vsize=28834900 memory=3618275472170469216 CPUtime=7.8 cores=0-7 /proc/30380/task/30646/stat : 30646 (java) R 30378 30378 26088 0 -1 4202560 372 0 0 0 779 1 0 0 20 0 28 0 447208903 29526937600 301827 33554432000 4194304 4196468 140724272197120 140559905587464 140561151342425 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30647] ppid=30378 vsize=28834900 memory=0 CPUtime=7.77 cores=0-7 /proc/30380/task/30647/stat : 30647 (java) R 30378 30378 26088 0 -1 4202560 475 0 0 0 775 2 0 0 20 0 28 0 447208903 29526937600 301827 33554432000 4194304 4196468 140724272197120 140559910850760 140561151946972 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30648] ppid=30378 vsize=28834900 memory=7523633057409034327 CPUtime=7.81 cores=0-7 /proc/30380/task/30648/stat : 30648 (java) R 30378 30378 26088 0 -1 4202560 610 0 0 0 780 1 0 0 20 0 28 0 447208903 29526937600 301827 33554432000 4194304 4196468 140724272197120 140559911903624 140561151762468 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 Current children cumulated CPU time: 105.31 s Current children cumulated vsize: 28948028 KiB Current children cumulated memory: 1208760 KiB [startup+14.4011 s] /proc/loadavg: 8.56 8.34 8.24 9/218 30648 /proc/meminfo: memFree=29478860/32770624 swapFree=66926784/67108860 [pid=30378] ppid=30375 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/30378/stat : 30378 (xcsp3-exec) S 30375 30378 26088 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447208302 115843072 363 33554432000 4194304 5098028 140729561426928 140729561425032 140224430752380 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28110848 140729561432956 140729561433198 140729561433198 140729561436106 0 /proc/30378/statm: 28282 363 304 221 0 87 0 [pid=30380] ppid=30378 vsize=28834900 memory=1207308 CPUtime=108.43 cores=0-7 /proc/30380/stat : 30380 (java) S 30378 30378 26088 0 -1 1077944320 58692 0 0 0 10760 83 0 0 20 0 28 0 447208302 29526937600 301827 33554432000 4194304 4196468 140724272197120 140724272179664 140561536552695 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 /proc/30380/statm: 7208725 301827 3537 1 0 7169825 0 [pid=30380/tid=30381] ppid=30378 vsize=28834900 memory=1207308 CPUtime=1.04 cores=0-7 /proc/30380/task/30381/stat : 30381 (java) S 30378 30378 26088 0 -1 1077944384 10267 0 0 0 99 5 0 0 20 0 28 0 447208302 29526937600 301827 33554432000 4194304 4196468 140724272197120 140561540793472 140561536562901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30382] ppid=30378 vsize=28834900 memory=4100 CPUtime=0.08 cores=0-7 /proc/30380/task/30382/stat : 30382 (java) S 30378 30378 26088 0 -1 1077944384 254 0 0 0 4 4 0 0 20 0 28 0 447208303 29526937600 301827 33554432000 4194304 4196468 140724272197120 140561489173136 140561536562901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30383] ppid=30378 vsize=28834900 memory=1412 CPUtime=0.08 cores=0-7 /proc/30380/task/30383/stat : 30383 (java) S 30378 30378 26088 0 -1 1077944384 1535 0 0 0 4 4 0 0 20 0 28 0 447208303 29526937600 301827 33554432000 4194304 4196468 140724272197120 140561488120336 140561536562901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30384] ppid=30378 vsize=28834900 memory=2968 CPUtime=0.11 cores=0-7 /proc/30380/task/30384/stat : 30384 (java) S 30378 30378 26088 0 -1 1077944384 495 0 0 0 5 6 0 0 20 0 28 0 447208303 29526937600 301827 33554432000 4194304 4196468 140724272197120 140561487067536 140561536562901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30385] ppid=30378 vsize=28834900 memory=1452 CPUtime=0.09 cores=0-7 /proc/30380/task/30385/stat : 30385 (java) S 30378 30378 26088 0 -1 1077944384 259 0 0 0 5 4 0 0 20 0 28 0 447208303 29526937600 301827 33554432000 4194304 4196468 140724272197120 140561486014736 140561536562901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30386] ppid=30378 vsize=28834900 memory=1452 CPUtime=0.09 cores=0-7 /proc/30380/task/30386/stat : 30386 (java) S 30378 30378 26088 0 -1 1077944384 211 0 0 0 4 5 0 0 20 0 28 0 447208303 29526937600 301827 33554432000 4194304 4196468 140724272197120 140561484962960 140561536562901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30387] ppid=30378 vsize=28834900 memory=263229955698534 CPUtime=0.06 cores=0-7 /proc/30380/task/30387/stat : 30387 (java) S 30378 30378 26088 0 -1 1077944384 153 0 0 0 3 3 0 0 20 0 28 0 447208303 29526937600 301827 33554432000 4194304 4196468 140724272197120 140561483910160 140561536562901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30388] ppid=30378 vsize=28834900 memory=-6860787125238664386 CPUtime=0.11 cores=0-7 /proc/30380/task/30388/stat : 30388 (java) S 30378 30378 26088 0 -1 1077944384 236 0 0 0 6 5 0 0 20 0 28 0 447208303 29526937600 301827 33554432000 4194304 4196468 140724272197120 140561482857360 140561536562901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30389] ppid=30378 vsize=28834900 memory=7752549240514114323 CPUtime=0.09 cores=0-7 /proc/30380/task/30389/stat : 30389 (java) S 30378 30378 26088 0 -1 1077944384 1315 0 0 0 5 4 0 0 20 0 28 0 447208303 29526937600 301827 33554432000 4194304 4196468 140724272197120 140561481804560 140561536562901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30390] ppid=30378 vsize=28834900 memory=8028676333680759155 CPUtime=0.02 cores=0-7 /proc/30380/task/30390/stat : 30390 (java) S 30378 30378 26088 0 -1 1077944384 1497 0 0 0 2 0 0 0 20 0 28 0 447208305 29526937600 301827 33554432000 4194304 4196468 140724272197120 140560134420848 140561536563842 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30391] ppid=30378 vsize=28834900 memory=0 CPUtime=0 cores=0-7 /proc/30380/task/30391/stat : 30391 (java) S 30378 30378 26088 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 447208305 29526937600 301827 33554432000 4194304 4196468 140724272197120 140560133366880 140561536562901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30392] ppid=30378 vsize=28834900 memory=56 CPUtime=0 cores=0-7 /proc/30380/task/30392/stat : 30392 (java) S 30378 30378 26088 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 447208306 29526937600 301827 33554432000 4194304 4196468 140724272197120 140560132313984 140561536562901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30393] ppid=30378 vsize=28834900 memory=0 CPUtime=0 cores=0-7 /proc/30380/task/30393/stat : 30393 (java) S 30378 30378 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447208308 29526937600 301827 33554432000 4194304 4196468 140724272197120 140560131262288 140561536571291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30394] ppid=30378 vsize=28834900 memory=0 CPUtime=2.91 cores=0-7 /proc/30380/task/30394/stat : 30394 (java) S 30378 30378 26088 0 -1 1077944384 8053 0 0 0 289 2 0 0 20 0 28 0 447208308 29526937600 301827 33554432000 4194304 4196468 140724272197120 140560130210672 140561536563842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30395] ppid=30378 vsize=28834900 memory=0 CPUtime=2.59 cores=0-7 /proc/30380/task/30395/stat : 30395 (java) S 30378 30378 26088 0 -1 1077944384 10000 0 0 0 256 3 0 0 20 0 28 0 447208308 29526937600 301827 33554432000 4194304 4196468 140724272197120 140560129157872 140561536563842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30396] ppid=30378 vsize=28834900 memory=0 CPUtime=2.52 cores=0-7 /proc/30380/task/30396/stat : 30396 (java) S 30378 30378 26088 0 -1 1077944384 6413 0 0 0 251 1 0 0 20 0 28 0 447208308 29526937600 301827 33554432000 4194304 4196468 140724272197120 140560128105072 140561536563842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30397] ppid=30378 vsize=28834900 memory=0 CPUtime=1.02 cores=0-7 /proc/30380/task/30397/stat : 30397 (java) S 30378 30378 26088 0 -1 1077944384 5721 0 0 0 99 3 0 0 20 0 28 0 447208308 29526937600 301827 33554432000 4194304 4196468 140724272197120 140560127052272 140561536563842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30398] ppid=30378 vsize=28834900 memory=-3123010188551861097 CPUtime=0 cores=0-7 /proc/30380/task/30398/stat : 30398 (java) S 30378 30378 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447208308 29526937600 301827 33554432000 4194304 4196468 140724272197120 140560125999712 140561536562901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30399] ppid=30378 vsize=28834900 memory=9364 CPUtime=0 cores=0-7 /proc/30380/task/30399/stat : 30399 (java) S 30378 30378 26088 0 -1 1077944384 183 0 0 0 0 0 0 0 20 0 28 0 447208309 29526937600 301827 33554432000 4194304 4196468 140724272197120 140560124946992 140561536563842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30641] ppid=30378 vsize=28834900 memory=1120 CPUtime=8.24 cores=0-7 /proc/30380/task/30641/stat : 30641 (java) R 30378 30378 26088 0 -1 4202560 217 0 0 0 824 0 0 0 20 0 28 0 447208903 29526937600 301827 33554432000 4194304 4196468 140724272197120 140559908744680 140561151342157 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30642] ppid=30378 vsize=28834900 memory=776 CPUtime=8.27 cores=0-7 /proc/30380/task/30642/stat : 30642 (java) R 30378 30378 26088 0 -1 4202560 202 0 0 0 827 0 0 0 20 0 28 0 447208903 29526937600 301827 33554432000 4194304 4196468 140724272197120 140559907692424 140561151393897 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30643] ppid=30378 vsize=28834900 memory=1552 CPUtime=8.11 cores=0-7 /proc/30380/task/30643/stat : 30643 (java) R 30378 30378 26088 0 -1 4202560 467 0 0 0 811 0 0 0 20 0 28 0 447208903 29526937600 301827 33554432000 4194304 4196468 140724272197120 140559906641032 140561151342540 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30644] ppid=30378 vsize=28834900 memory=8076 CPUtime=8.23 cores=0-7 /proc/30380/task/30644/stat : 30644 (java) R 30378 30378 26088 0 -1 4202560 1857 0 0 0 815 8 0 0 20 0 28 0 447208903 29526937600 301827 33554432000 4194304 4196468 140724272197120 140559903483096 140561151342243 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30645] ppid=30378 vsize=28834900 memory=4008 CPUtime=8.26 cores=0-7 /proc/30380/task/30645/stat : 30645 (java) R 30378 30378 26088 0 -1 4202560 758 0 0 0 825 1 0 0 20 0 28 0 447208903 29526937600 301827 33554432000 4194304 4196468 140724272197120 140559904535392 140561151702973 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30646] ppid=30378 vsize=28834900 memory=1556 CPUtime=8.19 cores=0-7 /proc/30380/task/30646/stat : 30646 (java) R 30378 30378 26088 0 -1 4202560 396 0 0 0 818 1 0 0 20 0 28 0 447208903 29526937600 301827 33554432000 4194304 4196468 140724272197120 140559905587464 140561151732613 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30647] ppid=30378 vsize=28834900 memory=2832 CPUtime=8.16 cores=0-7 /proc/30380/task/30647/stat : 30647 (java) R 30378 30378 26088 0 -1 4202560 513 0 0 0 813 3 0 0 20 0 28 0 447208903 29526937600 301827 33554432000 4194304 4196468 140724272197120 140559910850760 140561151342016 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 [pid=30380/tid=30648] ppid=30378 vsize=28834900 memory=1207308 CPUtime=8.2 cores=0-7 /proc/30380/task/30648/stat : 30648 (java) R 30378 30378 26088 0 -1 4202560 626 0 0 0 819 1 0 0 20 0 28 0 447208903 29526937600 301827 33554432000 4194304 4196468 140724272197120 140559911903624 140561151806661 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24080384 140724272198640 140724272198811 140724272198811 140724272201679 0 Current children cumulated CPU time: 108.43 s Current children cumulated vsize: 28948028 KiB Current children cumulated memory: 1208760 KiB Child status: 0 Real time (s): 14.4652 CPU time (s): 108.736 CPU user time (s): 107.887 CPU system time (s): 0.849896 CPU usage (%): 751.712 Max. virtual memory (cumulated for all children) (KiB): 28948028 Max. memory (cumulated for all children) (KiB): 1208760 getrusage(RUSAGE_CHILDREN,...) data: user time used= 107.887 system time used= 0.849896 maximum resident set size= 1207308 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 60277 page faults= 0 swaps= 0 block input operations= 0 block output operations= 160 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7180 involuntary context switches= 1913 # summary of solver processes directly reported to runsolver: # pid: 30378 # total CPU time (s): 108.736 # total CPU user time (s): 107.887 # total CPU system time (s): 0.849896 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.144868 second user time and 0.202373 second system time The end
Begin job on node107 at 2019-09-17 09:36:46 IDJOB=4400063 IDBENCH=115879 IDSOLVER=2855 FILE ID=node107/4400063-1568709525 RUNJOBID= node107-1568696839-26115 PBS_JOBID= 21703898 Free space on /tmp= 59040 MiB SOLVER NAME= choco-solver 2019-09-16 parallel BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-10.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-4400063-1568709525/watcher-4400063-1568709525 -o /tmp/evaluation-result-4400063-1568709525/solver-4400063-1568709525 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node107-1568696839-26115 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 150858422 HOME/instance-4400063-1568709525.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= e31de29e6699e81a7472a47d1439bb7a RANDOM SEED=150858422 node107.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 : 5334.11 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 : 5334.11 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 : 5334.11 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 : 5334.11 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: 30674800 kB MemAvailable: 31811720 kB Buffers: 226052 kB Cached: 1187116 kB SwapCached: 76296 kB Active: 682056 kB Inactive: 808172 kB Active(anon): 11000 kB Inactive(anon): 109076 kB Active(file): 671056 kB Inactive(file): 699096 kB Unevictable: 111200 kB Mlocked: 111200 kB SwapTotal: 67108860 kB SwapFree: 66926784 kB Dirty: 26120 kB Writeback: 16 kB AnonPages: 113072 kB Mapped: 42832 kB Shmem: 34400 kB Slab: 194744 kB SReclaimable: 165208 kB SUnreclaim: 29536 kB KernelStack: 3424 kB PageTables: 5244 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 497684 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 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: 101760 kB DirectMap2M: 33443840 kB Free space on /tmp at the end= 59012 MiB End job on node107 at 2019-09-17 09:37:01