Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-16 parallel | OPT | 2 | 5.18079 | 1.17504 |
Name | Opd/Opd-sum-small/ Opd-09-024-008.xml |
MD5SUM | 0092e4980ed4af349e39cdcd3a0de294 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 2 |
Best CPU time to get the best result obtained on this benchmark | 2.49365 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 217 |
Number of constraints | 46 |
Number of domains | 2 |
Minimum domain size | 2 |
Maximum domain size | 23 |
Distribution of domain sizes | [{"size":2,"count":216},{"size":23,"count":1}] |
Minimum variable degree | 10 |
Maximum variable degree | 37 |
Distribution of variable degrees | [{"degree":10,"count":216},{"degree":37,"count":1}] |
Minimum constraint arity | 24 |
Maximum constraint arity | 216 |
Distribution of constraint arities | [{"arity":24,"count":9},{"arity":49,"count":36},{"arity":216,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"lex","count":1},{"type":"sum","count":45}] |
Optimization problem | YES |
Type of objective | min VAR |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4399856-1568702612.xml" -tl '20160s' -p 8 0.13/0.18 c Choco e747e1e 0.13/0.18 c [HOME/instance-4399856-1568702612.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.29 c parse instance... 1.42/0.69 c solve instance... 2.53/0.88 o 5 4.13/1.07 o 4 4.88/1.13 o 2 4.88/1.15 s OPTIMUM FOUND 4.88/1.15 v <instantiation> 4.88/1.15 v <list>z 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[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] 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[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] 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[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] 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[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] 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[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] 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[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] 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[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] 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[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] 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[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] </list> 4.88/1.15 v <values>2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 1 1 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 0 1 0 1 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 1 1 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 </values> 4.88/1.15 v </instantiation>
OK 2
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 (11632 MiB free) memory of node 1: 16384 MiB (14963 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399856-1568702612/watcher-4399856-1568702612 -o /tmp/evaluation-result-4399856-1568702612/solver-4399856-1568702612 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node140-1568700822-29673 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1745426744 HOME/instance-4399856-1568702612.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=31374, runsolver pid=31371 [startup+0.100162 s]* /proc/loadavg: 7.89 6.34 6.72 2/214 31395 /proc/meminfo: memFree=27218160/32770624 swapFree=66999436/67108860 [pid=31374] ppid=31371 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/31374/stat : 31374 (xcsp3-exec) S 31371 31374 29646 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446199661 115843072 363 33554432000 4194304 5098028 140729077142528 140729077140632 139870077317756 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11038720 140729077150581 140729077150825 140729077150825 140729077153738 0 /proc/31374/statm: 28282 363 304 221 0 87 0 [pid=31376] ppid=31374 vsize=28227396 memory=30072 CPUtime=0.13 cores=0-7 /proc/31376/stat : 31376 (java) S 31374 31374 29646 0 -1 1077944320 5487 0 0 0 11 2 0 0 20 0 20 0 446199661 28904853504 7518 33554432000 4194304 4196468 140721258812448 140721258794992 139755106856695 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 /proc/31376/statm: 7056849 7518 3119 1 0 7019032 0 [pid=31376/tid=31377] ppid=31374 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/31376/task/31377/stat : 31377 (java) R 31374 31374 29646 0 -1 4202560 3391 0 0 0 8 1 0 0 20 0 20 0 446199662 28904853504 7518 33554432000 4194304 4196468 140721258812448 139755111091232 139755106868630 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31378] ppid=31374 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31376/task/31378/stat : 31378 (java) S 31374 31374 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446199662 28904853504 7518 33554432000 4194304 4196468 140721258812448 139755026709648 139755106866901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31379] ppid=31374 vsize=28227396 memory=139730098992768 CPUtime=0 cores=0-7 /proc/31376/task/31379/stat : 31379 (java) S 31374 31374 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446199662 28904853504 7518 33554432000 4194304 4196468 140721258812448 139755025656848 139755106866901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31380] ppid=31374 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31376/task/31380/stat : 31380 (java) S 31374 31374 29646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446199662 28904853504 7518 33554432000 4194304 4196468 140721258812448 139755024604048 139755106866901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31381] ppid=31374 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31376/task/31381/stat : 31381 (java) S 31374 31374 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446199662 28904853504 7518 33554432000 4194304 4196468 140721258812448 139755023551248 139755106866901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31382] ppid=31374 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31376/task/31382/stat : 31382 (java) S 31374 31374 29646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446199662 28904853504 7518 33554432000 4194304 4196468 140721258812448 139755022498448 139755106866901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31383] ppid=31374 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/31376/task/31383/stat : 31383 (java) S 31374 31374 29646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446199662 28904853504 7518 33554432000 4194304 4196468 140721258812448 139755021445648 139755106866901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31384] ppid=31374 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31376/task/31384/stat : 31384 (java) S 31374 31374 29646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446199663 28904853504 7518 33554432000 4194304 4196468 140721258812448 139755020392848 139755106866901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31385] ppid=31374 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31376/task/31385/stat : 31385 (java) S 31374 31374 29646 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446199663 28904853504 7518 33554432000 4194304 4196468 140721258812448 139755019340048 139755106866901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31386] ppid=31374 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31376/task/31386/stat : 31386 (java) S 31374 31374 29646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446199664 28904853504 7518 33554432000 4194304 4196468 140721258812448 139753503857520 139755106867842 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31387] ppid=31374 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31376/task/31387/stat : 31387 (java) S 31374 31374 29646 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446199664 28904853504 7518 33554432000 4194304 4196468 140721258812448 139753502803488 139755106866901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31388] ppid=31374 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31376/task/31388/stat : 31388 (java) S 31374 31374 29646 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446199665 28904853504 7518 33554432000 4194304 4196468 140721258812448 139753501750640 139755106866901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31389] ppid=31374 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31376/task/31389/stat : 31389 (java) S 31374 31374 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446199667 28904853504 7518 33554432000 4194304 4196468 140721258812448 139753500698960 139755106875291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31390] ppid=31374 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31376/task/31390/stat : 31390 (java) S 31374 31374 29646 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 20 0 446199667 28904853504 7518 33554432000 4194304 4196468 140721258812448 139753499646320 139755106867842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31391] ppid=31374 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31376/task/31391/stat : 31391 (java) S 31374 31374 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446199667 28904853504 7518 33554432000 4194304 4196468 140721258812448 139753498593520 139755106867842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31392] ppid=31374 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31376/task/31392/stat : 31392 (java) S 31374 31374 29646 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 20 0 446199667 28904853504 7518 33554432000 4194304 4196468 140721258812448 139753497540720 139755106867842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31393] ppid=31374 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/31376/task/31393/stat : 31393 (java) R 31374 31374 29646 0 -1 4202560 360 0 0 0 1 0 0 0 20 0 20 0 446199667 28904853504 7518 33554432000 4194304 4196468 140721258812448 139753496487920 139755106868630 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31394] ppid=31374 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31376/task/31394/stat : 31394 (java) S 31374 31374 29646 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446199667 28904853504 7518 33554432000 4194304 4196468 140721258812448 139753495436384 139755106866901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31395] ppid=31374 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/31376/task/31395/stat : 31395 (java) S 31374 31374 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446199668 28904853504 7518 33554432000 4194304 4196468 140721258812448 139753494383664 139755106867842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 Current children cumulated CPU time: 0.13 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31524 KiB [startup+0.210243 s]* /proc/loadavg: 7.89 6.34 6.72 2/214 31395 /proc/meminfo: memFree=27206912/32770624 swapFree=66999436/67108860 [pid=31374] ppid=31371 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/31374/stat : 31374 (xcsp3-exec) S 31371 31374 29646 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446199661 115843072 363 33554432000 4194304 5098028 140729077142528 140729077140632 139870077317756 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11038720 140729077150581 140729077150825 140729077150825 140729077153738 0 /proc/31374/statm: 28282 363 304 221 0 87 0 [pid=31376] ppid=31374 vsize=28227396 memory=40508 CPUtime=0.33 cores=0-7 /proc/31376/stat : 31376 (java) S 31374 31374 29646 0 -1 1077944320 8911 0 0 0 30 3 0 0 20 0 20 0 446199661 28904853504 10127 33554432000 4194304 4196468 140721258812448 140721258794992 139755106856695 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 /proc/31376/statm: 7056849 10127 3267 1 0 7019032 0 [pid=31376/tid=31377] ppid=31374 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/31376/task/31377/stat : 31377 (java) R 31374 31374 29646 0 -1 4202560 6189 0 0 0 17 2 0 0 20 0 20 0 446199662 28904853504 10127 33554432000 4194304 4196468 140721258812448 139755111085408 139755086443094 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31378] ppid=31374 vsize=28227396 memory=331 CPUtime=0 cores=0-7 /proc/31376/task/31378/stat : 31378 (java) S 31374 31374 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446199662 28904853504 10127 33554432000 4194304 4196468 140721258812448 139755026709648 139755106866901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31379] ppid=31374 vsize=28227396 memory=288370106250704512 CPUtime=0 cores=0-7 /proc/31376/task/31379/stat : 31379 (java) S 31374 31374 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446199662 28904853504 10127 33554432000 4194304 4196468 140721258812448 139755025656848 139755106866901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31380] ppid=31374 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/31376/task/31380/stat : 31380 (java) S 31374 31374 29646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446199662 28904853504 10127 33554432000 4194304 4196468 140721258812448 139755024604048 139755106866901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31381] ppid=31374 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31376/task/31381/stat : 31381 (java) S 31374 31374 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446199662 28904853504 10127 33554432000 4194304 4196468 140721258812448 139755023551248 139755106866901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31382] ppid=31374 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31376/task/31382/stat : 31382 (java) S 31374 31374 29646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446199662 28904853504 10127 33554432000 4194304 4196468 140721258812448 139755022498448 139755106866901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31383] ppid=31374 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/31376/task/31383/stat : 31383 (java) S 31374 31374 29646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446199662 28904853504 10127 33554432000 4194304 4196468 140721258812448 139755021445648 139755106866901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31384] ppid=31374 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31376/task/31384/stat : 31384 (java) S 31374 31374 29646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446199663 28904853504 10127 33554432000 4194304 4196468 140721258812448 139755020392848 139755106866901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31385] ppid=31374 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31376/task/31385/stat : 31385 (java) S 31374 31374 29646 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446199663 28904853504 10127 33554432000 4194304 4196468 140721258812448 139755019340048 139755106866901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31386] ppid=31374 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31376/task/31386/stat : 31386 (java) S 31374 31374 29646 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446199664 28904853504 10127 33554432000 4194304 4196468 140721258812448 139753503857520 139755106867842 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31387] ppid=31374 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31376/task/31387/stat : 31387 (java) S 31374 31374 29646 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446199664 28904853504 10127 33554432000 4194304 4196468 140721258812448 139753502803488 139755106866901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31388] ppid=31374 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31376/task/31388/stat : 31388 (java) S 31374 31374 29646 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446199665 28904853504 10127 33554432000 4194304 4196468 140721258812448 139753501750640 139755106866901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31389] ppid=31374 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31376/task/31389/stat : 31389 (java) S 31374 31374 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446199667 28904853504 10127 33554432000 4194304 4196468 140721258812448 139753500698960 139755106875291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31390] ppid=31374 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31376/task/31390/stat : 31390 (java) S 31374 31374 29646 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 20 0 446199667 28904853504 10127 33554432000 4194304 4196468 140721258812448 139753499646320 139755106867842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31391] ppid=31374 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/31376/task/31391/stat : 31391 (java) S 31374 31374 29646 0 -1 1077944384 133 0 0 0 2 0 0 0 20 0 20 0 446199667 28904853504 10127 33554432000 4194304 4196468 140721258812448 139753498593520 139755106867842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31392] ppid=31374 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/31376/task/31392/stat : 31392 (java) S 31374 31374 29646 0 -1 1077944384 192 0 0 0 1 0 0 0 20 0 20 0 446199667 28904853504 10127 33554432000 4194304 4196468 140721258812448 139753497540720 139755106867842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31393] ppid=31374 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7 /proc/31376/task/31393/stat : 31393 (java) S 31374 31374 29646 0 -1 1077944384 775 0 0 0 8 0 0 0 20 0 20 0 446199667 28904853504 10127 33554432000 4194304 4196468 140721258812448 139753496487920 139755106867842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31394] ppid=31374 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31376/task/31394/stat : 31394 (java) S 31374 31374 29646 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446199667 28904853504 10127 33554432000 4194304 4196468 140721258812448 139753495436384 139755106866901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31395] ppid=31374 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/31376/task/31395/stat : 31395 (java) S 31374 31374 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446199668 28904853504 10127 33554432000 4194304 4196468 140721258812448 139753494383664 139755106867842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 41960 KiB [startup+0.309581 s]* /proc/loadavg: 7.89 6.34 6.72 4/214 31395 /proc/meminfo: memFree=27199640/32770624 swapFree=66999436/67108860 [pid=31374] ppid=31371 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/31374/stat : 31374 (xcsp3-exec) S 31371 31374 29646 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446199661 115843072 363 33554432000 4194304 5098028 140729077142528 140729077140632 139870077317756 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11038720 140729077150581 140729077150825 140729077150825 140729077153738 0 /proc/31374/statm: 28282 363 304 221 0 87 0 [pid=31376] ppid=31374 vsize=28231652 memory=49876 CPUtime=0.52 cores=0-7 /proc/31376/stat : 31376 (java) S 31374 31374 29646 0 -1 1077944320 10347 0 0 0 48 4 0 0 20 0 20 0 446199661 28909211648 12469 33554432000 4194304 4196468 140721258812448 140721258794992 139755106856695 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 /proc/31376/statm: 7057913 12469 3358 1 0 7019032 0 [pid=31376/tid=31377] ppid=31374 vsize=28231652 memory=6791534058613427641 CPUtime=0.3 cores=0-7 /proc/31376/task/31377/stat : 31377 (java) R 31374 31374 29646 0 -1 4202560 7250 0 0 0 27 3 0 0 20 0 20 0 446199662 28909211648 12469 33554432000 4194304 4196468 140721258812448 139755111085240 139755088441170 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31378] ppid=31374 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/31376/task/31378/stat : 31378 (java) S 31374 31374 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446199662 28909211648 12469 33554432000 4194304 4196468 140721258812448 139755026709648 139755106866901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31379] ppid=31374 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/31376/task/31379/stat : 31379 (java) S 31374 31374 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446199662 28909211648 12469 33554432000 4194304 4196468 140721258812448 139755025656848 139755106866901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31380] ppid=31374 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/31376/task/31380/stat : 31380 (java) S 31374 31374 29646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446199662 28909211648 12469 33554432000 4194304 4196468 140721258812448 139755024604048 139755106866901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31381] ppid=31374 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/31376/task/31381/stat : 31381 (java) S 31374 31374 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446199662 28909211648 12469 33554432000 4194304 4196468 140721258812448 139755023551248 139755106866901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31382] ppid=31374 vsize=28231652 memory=2244 CPUtime=0 cores=0-7 /proc/31376/task/31382/stat : 31382 (java) S 31374 31374 29646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446199662 28909211648 12469 33554432000 4194304 4196468 140721258812448 139755022498448 139755106866901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31383] ppid=31374 vsize=28231652 memory=139729983075247 CPUtime=0 cores=0-7 /proc/31376/task/31383/stat : 31383 (java) S 31374 31374 29646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446199662 28909211648 12469 33554432000 4194304 4196468 140721258812448 139755021445648 139755106866901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31384] ppid=31374 vsize=28231652 memory=139729983077552 CPUtime=0 cores=0-7 /proc/31376/task/31384/stat : 31384 (java) S 31374 31374 29646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446199663 28909211648 12469 33554432000 4194304 4196468 140721258812448 139755020392848 139755106866901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31385] ppid=31374 vsize=28231652 memory=139729983079856 CPUtime=0 cores=0-7 /proc/31376/task/31385/stat : 31385 (java) S 31374 31374 29646 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446199663 28909211648 12469 33554432000 4194304 4196468 140721258812448 139755019340048 139755106866901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31386] ppid=31374 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/31376/task/31386/stat : 31386 (java) S 31374 31374 29646 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446199664 28909211648 12469 33554432000 4194304 4196468 140721258812448 139753503857520 139755106867842 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31387] ppid=31374 vsize=28231652 memory=279459966166672 CPUtime=0 cores=0-7 /proc/31376/task/31387/stat : 31387 (java) S 31374 31374 29646 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446199664 28909211648 12469 33554432000 4194304 4196468 140721258812448 139753502803488 139755106866901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31388] ppid=31374 vsize=28231652 memory=279459966173584 CPUtime=0 cores=0-7 /proc/31376/task/31388/stat : 31388 (java) S 31374 31374 29646 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446199665 28909211648 12469 33554432000 4194304 4196468 140721258812448 139753501750640 139755106866901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31389] ppid=31374 vsize=28231652 memory=279459966114736 CPUtime=0 cores=0-7 /proc/31376/task/31389/stat : 31389 (java) S 31374 31374 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446199667 28909211648 12469 33554432000 4194304 4196468 140721258812448 139753500698960 139755106875291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31390] ppid=31374 vsize=28231652 memory=279459966187408 CPUtime=0.01 cores=0-7 /proc/31376/task/31390/stat : 31390 (java) S 31374 31374 29646 0 -1 1077944384 327 0 0 0 1 0 0 0 20 0 20 0 446199667 28909211648 12469 33554432000 4194304 4196468 140721258812448 139753499646320 139755106867842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31391] ppid=31374 vsize=28231652 memory=279459966194320 CPUtime=0.04 cores=0-7 /proc/31376/task/31391/stat : 31391 (java) R 31374 31374 29646 0 -1 4202560 261 0 0 0 4 0 0 0 20 0 20 0 446199667 28909211648 12469 33554432000 4194304 4196468 140721258812448 139753498574536 139755088035353 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31392] ppid=31374 vsize=28231652 memory=279459966192016 CPUtime=0.02 cores=0-7 /proc/31376/task/31392/stat : 31392 (java) S 31374 31374 29646 0 -1 1077944384 238 0 0 0 2 0 0 0 20 0 20 0 446199667 28909211648 12469 33554432000 4194304 4196468 140721258812448 139753497540720 139755106867842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31393] ppid=31374 vsize=28231652 memory=279459966208176 CPUtime=0.13 cores=0-7 /proc/31376/task/31393/stat : 31393 (java) S 31374 31374 29646 0 -1 1077944384 957 0 0 0 13 0 0 0 20 0 20 0 446199667 28909211648 12469 33554432000 4194304 4196468 140721258812448 139753496487920 139755106867842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31394] ppid=31374 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/31376/task/31394/stat : 31394 (java) S 31374 31374 29646 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446199667 28909211648 12469 33554432000 4194304 4196468 140721258812448 139753495436384 139755106866901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31395] ppid=31374 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/31376/task/31395/stat : 31395 (java) S 31374 31374 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446199668 28909211648 12469 33554432000 4194304 4196468 140721258812448 139753494383664 139755106867842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51328 KiB [startup+0.700969 s] /proc/loadavg: 7.89 6.34 6.72 3/214 31395 /proc/meminfo: memFree=27185056/32770624 swapFree=66999436/67108860 [pid=31374] ppid=31371 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/31374/stat : 31374 (xcsp3-exec) S 31371 31374 29646 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446199661 115843072 363 33554432000 4194304 5098028 140729077142528 140729077140632 139870077317756 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11038720 140729077150581 140729077150825 140729077150825 140729077153738 0 /proc/31374/statm: 28282 363 304 221 0 87 0 [pid=31376] ppid=31374 vsize=28233776 memory=99384 CPUtime=1.84 cores=0-7 /proc/31376/stat : 31376 (java) S 31374 31374 29646 0 -1 1077944320 14934 0 0 0 178 6 0 0 20 0 20 0 446199661 28911386624 24846 33554432000 4194304 4196468 140721258812448 140721258794992 139755106856695 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 /proc/31376/statm: 7058444 24846 3460 1 0 7019544 0 [pid=31376/tid=31377] ppid=31374 vsize=28233776 memory=279459966566064 CPUtime=0.67 cores=0-7 /proc/31376/task/31377/stat : 31377 (java) R 31374 31374 29646 0 -1 4202560 8725 0 0 0 63 4 0 0 20 0 20 0 446199662 28911386624 24846 33554432000 4194304 4196468 140721258812448 139755111093424 139755087192723 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31378] ppid=31374 vsize=28233776 memory=139729983284080 CPUtime=0 cores=0-7 /proc/31376/task/31378/stat : 31378 (java) S 31374 31374 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446199662 28911386624 24846 33554432000 4194304 4196468 140721258812448 139755026709648 139755106866901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31379] ppid=31374 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/31376/task/31379/stat : 31379 (java) S 31374 31374 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446199662 28911386624 24846 33554432000 4194304 4196468 140721258812448 139755025656848 139755106866901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31380] ppid=31374 vsize=28233776 memory=6020 CPUtime=0 cores=0-7 /proc/31376/task/31380/stat : 31380 (java) S 31374 31374 29646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446199662 28911386624 24846 33554432000 4194304 4196468 140721258812448 139755024604048 139755106866901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 ################ # More data... # ################ [pid=31376/tid=31377] ppid=31374 vsize=28766288 memory=6020 CPUtime=0.68 cores=0-7 /proc/31376/task/31377/stat : 31377 (java) S 31374 31374 29646 0 -1 1077944384 8776 0 0 0 64 4 0 0 20 0 28 0 446199662 29456678912 30318 33554432000 4194304 4196468 140721258812448 139755111097472 139755106866901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31378] ppid=31374 vsize=28766288 memory=612 CPUtime=0 cores=0-7 /proc/31376/task/31378/stat : 31378 (java) S 31374 31374 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446199662 29456678912 30318 33554432000 4194304 4196468 140721258812448 139755026709648 139755106866901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31379] ppid=31374 vsize=28766288 memory=1220 CPUtime=0 cores=0-7 /proc/31376/task/31379/stat : 31379 (java) S 31374 31374 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446199662 29456678912 30318 33554432000 4194304 4196468 140721258812448 139755025656848 139755106866901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31380] ppid=31374 vsize=28766288 memory=14004 CPUtime=0 cores=0-7 /proc/31376/task/31380/stat : 31380 (java) S 31374 31374 29646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 446199662 29456678912 30318 33554432000 4194304 4196468 140721258812448 139755024604048 139755106866901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31381] ppid=31374 vsize=28766288 memory=14060 CPUtime=0 cores=0-7 /proc/31376/task/31381/stat : 31381 (java) S 31374 31374 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446199662 29456678912 30318 33554432000 4194304 4196468 140721258812448 139755023551248 139755106866901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31382] ppid=31374 vsize=28766288 memory=2116 CPUtime=0 cores=0-7 /proc/31376/task/31382/stat : 31382 (java) S 31374 31374 29646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 446199662 29456678912 30318 33554432000 4194304 4196468 140721258812448 139755022498448 139755106866901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31383] ppid=31374 vsize=28766288 memory=23648 CPUtime=0 cores=0-7 /proc/31376/task/31383/stat : 31383 (java) S 31374 31374 29646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 446199662 29456678912 30318 33554432000 4194304 4196468 140721258812448 139755021445648 139755106866901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31384] ppid=31374 vsize=28766288 memory=31140 CPUtime=0 cores=0-7 /proc/31376/task/31384/stat : 31384 (java) S 31374 31374 29646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 446199663 29456678912 30318 33554432000 4194304 4196468 140721258812448 139755020392848 139755106866901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31385] ppid=31374 vsize=28766288 memory=4572432629679104663 CPUtime=0 cores=0-7 /proc/31376/task/31385/stat : 31385 (java) S 31374 31374 29646 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446199663 29456678912 30318 33554432000 4194304 4196468 140721258812448 139755019340048 139755106866901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31386] ppid=31374 vsize=28766288 memory=6655300316396806240 CPUtime=0 cores=0-7 /proc/31376/task/31386/stat : 31386 (java) S 31374 31374 29646 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 446199664 29456678912 30318 33554432000 4194304 4196468 140721258812448 139753503857520 139755106867842 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31387] ppid=31374 vsize=28766288 memory=164 CPUtime=0 cores=0-7 /proc/31376/task/31387/stat : 31387 (java) S 31374 31374 29646 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 446199664 29456678912 30318 33554432000 4194304 4196468 140721258812448 139753502803488 139755106866901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31388] ppid=31374 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/31376/task/31388/stat : 31388 (java) S 31374 31374 29646 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 446199665 29456678912 30318 33554432000 4194304 4196468 140721258812448 139753501750640 139755106866901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31389] ppid=31374 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/31376/task/31389/stat : 31389 (java) S 31374 31374 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446199667 29456678912 30318 33554432000 4194304 4196468 140721258812448 139753500698960 139755106875291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31390] ppid=31374 vsize=28766288 memory=0 CPUtime=0.29 cores=0-7 /proc/31376/task/31390/stat : 31390 (java) R 31374 31374 29646 0 -1 4202560 1237 0 0 0 29 0 0 0 20 0 28 0 446199667 29456678912 30318 33554432000 4194304 4196468 140721258812448 139753499642688 139755091786165 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31391] ppid=31374 vsize=28766288 memory=0 CPUtime=0.32 cores=0-7 /proc/31376/task/31391/stat : 31391 (java) R 31374 31374 29646 0 -1 1077944384 730 0 0 0 32 0 0 0 20 0 28 0 446199667 29456678912 30318 33554432000 4194304 4196468 140721258812448 139753498583568 139755106866901 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31392] ppid=31374 vsize=28766288 memory=0 CPUtime=0.31 cores=0-7 /proc/31376/task/31392/stat : 31392 (java) R 31374 31374 29646 0 -1 4202560 1011 0 0 0 31 0 0 0 20 0 28 0 446199667 29456678912 30318 33554432000 4194304 4196468 140721258812448 139753497520656 139755090353479 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31393] ppid=31374 vsize=28766288 memory=0 CPUtime=0.45 cores=0-7 /proc/31376/task/31393/stat : 31393 (java) S 31374 31374 29646 0 -1 1077944384 2200 0 0 0 45 0 0 0 20 0 28 0 446199667 29456678912 30318 33554432000 4194304 4196468 140721258812448 139753496483296 139755106866901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31394] ppid=31374 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/31376/task/31394/stat : 31394 (java) S 31374 31374 29646 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446199667 29456678912 30318 33554432000 4194304 4196468 140721258812448 139753495436384 139755106866901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31395] ppid=31374 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/31376/task/31395/stat : 31395 (java) S 31374 31374 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446199668 29456678912 30318 33554432000 4194304 4196468 140721258812448 139753494383664 139755106867842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 Current children cumulated CPU time: 2.53 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 122724 KiB [startup+1.00086 s]* /proc/loadavg: 7.66 6.32 6.71 13/222 31411 /proc/meminfo: memFree=27091464/32770624 swapFree=66999436/67108860 [pid=31374] ppid=31371 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/31374/stat : 31374 (xcsp3-exec) S 31371 31374 29646 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446199661 115843072 363 33554432000 4194304 5098028 140729077142528 140729077140632 139870077317756 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11038720 140729077150581 140729077150825 140729077150825 140729077153738 0 /proc/31374/statm: 28282 363 304 221 0 87 0 [pid=31376] ppid=31374 vsize=28766288 memory=162152 CPUtime=4.13 cores=0-7 /proc/31376/stat : 31376 (java) S 31374 31374 29646 0 -1 1077944320 19247 0 0 0 404 9 0 0 20 0 28 0 446199661 29456678912 40538 33554432000 4194304 4196468 140721258812448 140721258794992 139755106856695 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 /proc/31376/statm: 7191572 40538 3471 1 0 7152672 0 [pid=31376/tid=31377] ppid=31374 vsize=28766288 memory=0 CPUtime=0.68 cores=0-7 /proc/31376/task/31377/stat : 31377 (java) S 31374 31374 29646 0 -1 1077944384 8784 0 0 0 64 4 0 0 20 0 28 0 446199662 29456678912 40538 33554432000 4194304 4196468 140721258812448 139755111097472 139755106866901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31378] ppid=31374 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/31376/task/31378/stat : 31378 (java) S 31374 31374 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446199662 29456678912 40538 33554432000 4194304 4196468 140721258812448 139755026709648 139755106866901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31379] ppid=31374 vsize=28766288 memory=279460082007408 CPUtime=0 cores=0-7 /proc/31376/task/31379/stat : 31379 (java) S 31374 31374 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446199662 29456678912 40538 33554432000 4194304 4196468 140721258812448 139755025656848 139755106866901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31380] ppid=31374 vsize=28766288 memory=-1 CPUtime=0 cores=0-7 /proc/31376/task/31380/stat : 31380 (java) S 31374 31374 29646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 446199662 29456678912 40538 33554432000 4194304 4196468 140721258812448 139755024604048 139755106866901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31381] ppid=31374 vsize=28766288 memory=7813015662254644383 CPUtime=0 cores=0-7 /proc/31376/task/31381/stat : 31381 (java) S 31374 31374 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446199662 29456678912 40538 33554432000 4194304 4196468 140721258812448 139755023551248 139755106866901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31382] ppid=31374 vsize=28766288 memory=7162531440177276259 CPUtime=0 cores=0-7 /proc/31376/task/31382/stat : 31382 (java) S 31374 31374 29646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 446199662 29456678912 40538 33554432000 4194304 4196468 140721258812448 139755022498448 139755106866901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31383] ppid=31374 vsize=28766288 memory=3834030169650116148 CPUtime=0 cores=0-7 /proc/31376/task/31383/stat : 31383 (java) S 31374 31374 29646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 446199662 29456678912 40538 33554432000 4194304 4196468 140721258812448 139755021445648 139755106866901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31384] ppid=31374 vsize=28766288 memory=8318255677412212789 CPUtime=0 cores=0-7 /proc/31376/task/31384/stat : 31384 (java) S 31374 31374 29646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 446199663 29456678912 40538 33554432000 4194304 4196468 140721258812448 139755020392848 139755106866901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31385] ppid=31374 vsize=28766288 memory=301741386410230113 CPUtime=0 cores=0-7 /proc/31376/task/31385/stat : 31385 (java) S 31374 31374 29646 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446199663 29456678912 40538 33554432000 4194304 4196468 140721258812448 139755019340048 139755106866901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31386] ppid=31374 vsize=28766288 memory=288230376155061343 CPUtime=0 cores=0-7 /proc/31376/task/31386/stat : 31386 (java) S 31374 31374 29646 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 446199664 29456678912 40538 33554432000 4194304 4196468 140721258812448 139753503857520 139755106867842 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31387] ppid=31374 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/31376/task/31387/stat : 31387 (java) S 31374 31374 29646 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 446199664 29456678912 40538 33554432000 4194304 4196468 140721258812448 139753502803488 139755106866901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31388] ppid=31374 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/31376/task/31388/stat : 31388 (java) S 31374 31374 29646 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 446199665 29456678912 40538 33554432000 4194304 4196468 140721258812448 139753501750640 139755106866901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31389] ppid=31374 vsize=28766288 memory=20516 CPUtime=0 cores=0-7 /proc/31376/task/31389/stat : 31389 (java) S 31374 31374 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446199667 29456678912 40538 33554432000 4194304 4196468 140721258812448 139753500698960 139755106875291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31390] ppid=31374 vsize=28766288 memory=0 CPUtime=0.46 cores=0-7 /proc/31376/task/31390/stat : 31390 (java) R 31374 31374 29646 0 -1 4202560 1934 0 0 0 46 0 0 0 20 0 28 0 446199667 29456678912 40538 33554432000 4194304 4196468 140721258812448 139753499636032 139755086700264 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31391] ppid=31374 vsize=28766288 memory=0 CPUtime=0.46 cores=0-7 /proc/31376/task/31391/stat : 31391 (java) R 31374 31374 29646 0 -1 4202560 1989 0 0 0 46 0 0 0 20 0 28 0 446199667 29456678912 40538 33554432000 4194304 4196468 140721258812448 139753498579544 139755086102538 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31392] ppid=31374 vsize=28766288 memory=0 CPUtime=0.44 cores=0-7 /proc/31376/task/31392/stat : 31392 (java) R 31374 31374 29646 0 -1 1077944384 2195 0 0 0 44 0 0 0 20 0 28 0 446199667 29456678912 40538 33554432000 4194304 4196468 140721258812448 139753497531552 139755106866901 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31393] ppid=31374 vsize=28766288 memory=0 CPUtime=0.52 cores=0-7 /proc/31376/task/31393/stat : 31393 (java) R 31374 31374 29646 0 -1 1077944384 2518 0 0 0 52 0 0 0 20 0 28 0 446199667 29456678912 40538 33554432000 4194304 4196468 140721258812448 139753496487920 139755106867842 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31394] ppid=31374 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/31376/task/31394/stat : 31394 (java) S 31374 31374 29646 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446199667 29456678912 40538 33554432000 4194304 4196468 140721258812448 139753495436384 139755106866901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31395] ppid=31374 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/31376/task/31395/stat : 31395 (java) S 31374 31374 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446199668 29456678912 40538 33554432000 4194304 4196468 140721258812448 139753494383664 139755106867842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31404] ppid=31374 vsize=28766288 memory=0 CPUtime=0.07 cores=0-7 /proc/31376/task/31404/stat : 31404 (java) R 31374 31374 29646 0 -1 4202560 19 0 0 0 7 0 0 0 20 0 28 0 446199750 29456678912 40538 33554432000 4194304 4196468 140721258812448 139753480953880 139754701007774 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31405] ppid=31374 vsize=28766288 memory=0 CPUtime=0.08 cores=0-7 /proc/31376/task/31405/stat : 31405 (java) R 31374 31374 29646 0 -1 4202560 21 0 0 0 8 0 0 0 20 0 28 0 446199750 29456678912 40538 33554432000 4194304 4196468 140721258812448 139753482006784 139754701221625 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31406] ppid=31374 vsize=28766288 memory=139734393960063 CPUtime=0.06 cores=0-7 /proc/31376/task/31406/stat : 31406 (java) R 31374 31374 29646 0 -1 4202560 23 0 0 0 6 0 0 0 20 0 28 0 446199750 29456678912 40538 33554432000 4194304 4196468 140721258812448 139753484112296 139754699165959 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31407] ppid=31374 vsize=28766288 memory=0 CPUtime=0.08 cores=0-7 /proc/31376/task/31407/stat : 31407 (java) R 31374 31374 29646 0 -1 4202560 21 0 0 0 8 0 0 0 20 0 28 0 446199750 29456678912 40538 33554432000 4194304 4196468 140721258812448 139753478850168 139754701333188 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31408] ppid=31374 vsize=28766288 memory=0 CPUtime=0.07 cores=0-7 /proc/31376/task/31408/stat : 31408 (java) R 31374 31374 29646 0 -1 4202560 18 0 0 0 7 0 0 0 20 0 28 0 446199750 29456678912 40538 33554432000 4194304 4196468 140721258812448 139753479903240 139754701512065 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31409] ppid=31374 vsize=28766288 memory=0 CPUtime=0.11 cores=0-7 /proc/31376/task/31409/stat : 31409 (java) R 31374 31374 29646 0 -1 1077944384 18 0 0 0 11 0 0 0 20 0 28 0 446199750 29456678912 40538 33554432000 4194304 4196468 140721258812448 139753485165392 139755106866901 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31410] ppid=31374 vsize=28766288 memory=0 CPUtime=0.09 cores=0-7 /proc/31376/task/31410/stat : 31410 (java) R 31374 31374 29646 0 -1 4202560 20 0 0 0 9 0 0 0 20 0 28 0 446199750 29456678912 40538 33554432000 4194304 4196468 140721258812448 139753477797760 139754701170057 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31411] ppid=31374 vsize=28766288 memory=0 CPUtime=0.08 cores=0-7 /proc/31376/task/31411/stat : 31411 (java) R 31374 31374 29646 0 -1 4202560 18 0 0 0 8 0 0 0 20 0 28 0 446199750 29456678912 40538 33554432000 4194304 4196468 140721258812448 139753483061984 139754696970087 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 Current children cumulated CPU time: 4.13 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 163604 KiB [startup+1.117 s] /proc/loadavg: 7.66 6.32 6.71 13/222 31411 /proc/meminfo: memFree=27091464/32770624 swapFree=66999436/67108860 [pid=31374] ppid=31371 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/31374/stat : 31374 (xcsp3-exec) S 31371 31374 29646 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446199661 115843072 363 33554432000 4194304 5098028 140729077142528 140729077140632 139870077317756 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11038720 140729077150581 140729077150825 140729077150825 140729077153738 0 /proc/31374/statm: 28282 363 304 221 0 87 0 [pid=31376] ppid=31374 vsize=28766288 memory=183980 CPUtime=4.88 cores=0-7 /proc/31376/stat : 31376 (java) S 31374 31374 29646 0 -1 1077944320 19781 0 0 0 479 9 0 0 20 0 28 0 446199661 29456678912 45995 33554432000 4194304 4196468 140721258812448 140721258794992 139755106856695 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 /proc/31376/statm: 7191572 45995 3471 1 0 7152672 0 [pid=31376/tid=31377] ppid=31374 vsize=28766288 memory=0 CPUtime=0.68 cores=0-7 /proc/31376/task/31377/stat : 31377 (java) S 31374 31374 29646 0 -1 1077944384 8784 0 0 0 64 4 0 0 20 0 28 0 446199662 29456678912 45995 33554432000 4194304 4196468 140721258812448 139755111097472 139755106866901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31378] ppid=31374 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/31376/task/31378/stat : 31378 (java) S 31374 31374 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446199662 29456678912 45995 33554432000 4194304 4196468 140721258812448 139755026709648 139755106866901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31379] ppid=31374 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/31376/task/31379/stat : 31379 (java) S 31374 31374 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446199662 29456678912 45995 33554432000 4194304 4196468 140721258812448 139755025656848 139755106866901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31380] ppid=31374 vsize=28766288 memory=1452 CPUtime=0 cores=0-7 /proc/31376/task/31380/stat : 31380 (java) S 31374 31374 29646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 446199662 29456678912 45995 33554432000 4194304 4196468 140721258812448 139755024604048 139755106866901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31381] ppid=31374 vsize=28766288 memory=99384 CPUtime=0 cores=0-7 /proc/31376/task/31381/stat : 31381 (java) S 31374 31374 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446199662 29456678912 45995 33554432000 4194304 4196468 140721258812448 139755023551248 139755106866901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31382] ppid=31374 vsize=28766288 memory=279459966566064 CPUtime=0 cores=0-7 /proc/31376/task/31382/stat : 31382 (java) S 31374 31374 29646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 446199662 29456678912 45995 33554432000 4194304 4196468 140721258812448 139755022498448 139755106866901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31383] ppid=31374 vsize=28766288 memory=139729983284080 CPUtime=0 cores=0-7 /proc/31376/task/31383/stat : 31383 (java) S 31374 31374 29646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 446199662 29456678912 45995 33554432000 4194304 4196468 140721258812448 139755021445648 139755106866901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31384] ppid=31374 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/31376/task/31384/stat : 31384 (java) S 31374 31374 29646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 446199663 29456678912 45995 33554432000 4194304 4196468 140721258812448 139755020392848 139755106866901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31385] ppid=31374 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/31376/task/31385/stat : 31385 (java) S 31374 31374 29646 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446199663 29456678912 45995 33554432000 4194304 4196468 140721258812448 139755019340048 139755106866901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31386] ppid=31374 vsize=28766288 memory=134750304007468 CPUtime=0 cores=0-7 /proc/31376/task/31386/stat : 31386 (java) S 31374 31374 29646 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 446199664 29456678912 45995 33554432000 4194304 4196468 140721258812448 139753503857520 139755106867842 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31387] ppid=31374 vsize=28766288 memory=134750304007469 CPUtime=0 cores=0-7 /proc/31376/task/31387/stat : 31387 (java) S 31374 31374 29646 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 446199664 29456678912 45995 33554432000 4194304 4196468 140721258812448 139753502803488 139755106866901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31388] ppid=31374 vsize=28766288 memory=134750304007470 CPUtime=0 cores=0-7 /proc/31376/task/31388/stat : 31388 (java) S 31374 31374 29646 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 446199665 29456678912 45995 33554432000 4194304 4196468 140721258812448 139753501750640 139755106866901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31389] ppid=31374 vsize=28766288 memory=134750304007471 CPUtime=0 cores=0-7 /proc/31376/task/31389/stat : 31389 (java) S 31374 31374 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446199667 29456678912 45995 33554432000 4194304 4196468 140721258812448 139753500698960 139755106875291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31390] ppid=31374 vsize=28766288 memory=134750304007472 CPUtime=0.52 cores=0-7 /proc/31376/task/31390/stat : 31390 (java) R 31374 31374 29646 0 -1 4202560 2137 0 0 0 52 0 0 0 20 0 28 0 446199667 29456678912 45995 33554432000 4194304 4196468 140721258812448 139753499631280 139755086095173 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31391] ppid=31374 vsize=28766288 memory=134750304007473 CPUtime=0.5 cores=0-7 /proc/31376/task/31391/stat : 31391 (java) R 31374 31374 29646 0 -1 4202560 2093 0 0 0 50 0 0 0 20 0 28 0 446199667 29456678912 45995 33554432000 4194304 4196468 140721258812448 139753498579400 139755090244736 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31392] ppid=31374 vsize=28766288 memory=6020 CPUtime=0.5 cores=0-7 /proc/31376/task/31392/stat : 31392 (java) R 31374 31374 29646 0 -1 4202560 2212 0 0 0 50 0 0 0 20 0 28 0 446199667 29456678912 45995 33554432000 4194304 4196468 140721258812448 139753497533912 139755090342637 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31393] ppid=31374 vsize=28766288 memory=612 CPUtime=0.54 cores=0-7 /proc/31376/task/31393/stat : 31393 (java) D 31374 31374 29646 0 -1 4202560 2578 0 0 0 54 0 0 0 20 0 28 0 446199667 29456678912 45995 33554432000 4194304 4196468 140721258812448 139753496485176 139755099573658 0 4 0 16800975 18446744071582151463 0 0 -1 6 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31394] ppid=31374 vsize=28766288 memory=1220 CPUtime=0 cores=0-7 /proc/31376/task/31394/stat : 31394 (java) S 31374 31374 29646 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446199667 29456678912 45995 33554432000 4194304 4196468 140721258812448 139753495436384 139755106866901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 [pid=31376/tid=31395] ppid=31374 vsize=28766288 memory=14004 CPUtime=0 cores=0-7 /proc/31376/task/31395/stat : 31395 (java) S 31374 31374 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446199668 29456678912 45995 33554432000 4194304 4196468 140721258812448 139753494383664 139755106867842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38227968 140721258816490 140721258816662 140721258816662 140721258819535 0 Current children cumulated CPU time: 4.88 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 185432 KiB Child status: 0 Real time (s): 1.17504 CPU time (s): 5.18079 CPU user time (s): 5.03929 CPU system time (s): 0.141497 CPU usage (%): 440.904 Max. virtual memory (cumulated for all children) (KiB): 28879416 Max. memory (cumulated for all children) (KiB): 185432 getrusage(RUSAGE_CHILDREN,...) data: user time used= 5.03929 system time used= 0.141497 maximum resident set size= 217600 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 21009 page faults= 0 swaps= 0 block input operations= 0 block output operations= 72 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3132 involuntary context switches= 94 # summary of solver processes directly reported to runsolver: # pid: 31374 # total CPU time (s): 5.18079 # total CPU user time (s): 5.03929 # total CPU system time (s): 0.141497 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.028614 second user time and 0.057206 second system time The end
Begin job on node140 at 2019-09-17 08:42:52 IDJOB=4399856 IDBENCH=122987 IDSOLVER=2854 FILE ID=node140/4399856-1568702612 RUNJOBID= node140-1568700822-29673 PBS_JOBID= 21703906 Free space on /tmp= 58116 MiB SOLVER NAME= choco-solver 2019-09-16 parallel BENCH NAME= XCSP17/Opd/Opd-sum-small/Opd-09-024-008.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-4399856-1568702612/watcher-4399856-1568702612 -o /tmp/evaluation-result-4399856-1568702612/solver-4399856-1568702612 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node140-1568700822-29673 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1745426744 HOME/instance-4399856-1568702612.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 0092e4980ed4af349e39cdcd3a0de294 RANDOM SEED=1745426744 node140.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 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: 27235704 kB MemAvailable: 31847168 kB Buffers: 197576 kB Cached: 4656176 kB SwapCached: 2596 kB Active: 1635436 kB Inactive: 3228348 kB Active(anon): 5644 kB Inactive(anon): 53588 kB Active(file): 1629792 kB Inactive(file): 3174760 kB Unevictable: 106608 kB Mlocked: 106608 kB SwapTotal: 67108860 kB SwapFree: 66999436 kB Dirty: 26196 kB Writeback: 0 kB AnonPages: 296420 kB Mapped: 47176 kB Shmem: 40584 kB Slab: 265492 kB SReclaimable: 235372 kB SUnreclaim: 30120 kB KernelStack: 3920 kB PageTables: 5708 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506840 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 251904 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 58088 MiB End job on node140 at 2019-09-17 08:42:53