Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| choco-solver 2019-09-24 | OPT | 26 | 32.4843 | 28.6358 |
| Name | LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-021.xml |
| MD5SUM | 6f45f3e4d1081bc980187c6d0b1f79c7 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 26 |
| Best CPU time to get the best result obtained on this benchmark | 31.7785 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 461 |
| Number of constraints | 250 |
| Number of domains | 41 |
| Minimum domain size | 2 |
| Maximum domain size | 41 |
| Distribution of domain sizes | [{"size":2,"count":232},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":20,"count":1},{"size":21,"count":2},{"size":23,"count":1},{"size":25,"count":1},{"size":27,"count":1},{"size":29,"count":1},{"size":31,"count":1},{"size":33,"count":1},{"size":35,"count":1},{"size":37,"count":1},{"size":39,"count":1},{"size":41,"count":1}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 20 |
| Distribution of variable degrees | [{"degree":0,"count":190},{"degree":2,"count":250},{"degree":20,"count":21}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 21 |
| Distribution of constraint arities | [{"arity":2,"count":21},{"arity":3,"count":211},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":1},{"arity":21,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 230 |
| Distribution of constraint types | [{"type":"intension","count":230},{"type":"sum","count":20}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.00 c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4406397-1569399090.xml" -tl '2400s' -p 1 0.10/0.19 c Choco e747e1e 0.10/0.20 c [HOME/instance-4406397-1569399090.xml, -tl, 2400s, -p, 1] 0.31/0.24 c simple solver 0.31/0.30 c parse instance... 1.26/0.68 c solve instance... 1.50/0.72 o 118 1.50/0.96 o 114 1.50/0.96 o 78 1.50/0.96 o 62 1.50/0.96 o 50 4.69/2.02 o 46 5.22/2.22 o 42 6.24/3.19 o 34 8.06/4.93 o 26 32.43/28.62 s OPTIMUM FOUND 32.43/28.62 v <instantiation> 32.43/28.62 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] y[0][0] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[1][0] y[1][1] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[2][0] y[2][1] y[2][2] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[3][0] y[3][1] y[3][2] y[3][3] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[4][0] y[4][1] y[4][2] y[4][3] y[4][4] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[5][0] y[5][1] y[5][2] y[5][3] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[6][0] y[6][1] y[6][2] y[6][3] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[6][12] y[6][13] y[7][0] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[7][10] y[7][11] y[7][12] y[8][0] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[8][10] y[8][11] y[9][0] y[9][1] y[9][2] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] y[9][10] y[10][0] y[10][1] y[10][2] y[10][3] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[11][0] y[11][1] y[11][2] y[11][3] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[12][0] y[12][1] y[12][2] y[12][3] y[12][4] y[12][5] y[12][6] y[12][7] y[13][0] y[13][1] y[13][2] y[13][3] y[13][4] y[13][5] y[13][6] y[14][0] y[14][1] y[14][2] y[14][3] y[14][4] y[14][5] y[15][0] y[15][1] y[15][2] y[15][3] y[15][4] y[16][0] y[16][1] y[16][2] y[16][3] y[17][0] y[17][1] y[17][2] y[18][0] y[18][1] y[19][0] c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] </list> 32.43/28.62 v <values>-1 -1 1 1 1 1 1 1 1 -1 -1 1 1 -1 1 -1 1 -1 1 1 -1 1 -1 1 1 1 1 1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 1 1 1 1 -1 -1 -1 -1 -1 1 1 1 1 1 -1 -1 -1 -1 1 1 1 1 -1 -1 1 -1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 1 -1 -1 1 1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 -1 -1 1 1 -1 1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 1 1 -1 1 -1 1 1 -1 1 -1 1 1 -1 1 -1 1 1 1 1 -1 1 -1 1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 -1 1 -1 1 1 1 -1 1 1 -1 1 -1 1 1 -1 1 -1 -1 1 -1 1 1 -1 -1 1 1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 -1 -1 -1 1 1 0 1 0 1 0 -3 0 1 0 1 0 1 0 1 0 1 0 -3 0 1 0 1 0 1 0 9 0 1 0 1 0 1 0 1 0 1 0 9 0 1 </values> 32.43/28.62 v </instantiation>
OK 26
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 (14079 MiB free)
memory of node 1: 16384 MiB (13389 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406397-1569399090/watcher-4406397-1569399090 -o /var/tmp/evaluation-result-4406397-1569399090/solver-4406397-1569399090 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node107-1569392946-4664 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 1 -ml 12000 -tdir HOME -seed 13758179 HOME/instance-4406397-1569399090.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=5954, runsolver pid=5951
[startup+0.100156 s]*
/proc/loadavg: 1.91 1.85 1.65 4/228 5970
/proc/meminfo: memFree=28111992/32770624 swapFree=66954216/67108860
[pid=5954] ppid=5951 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5954/stat : 5954 (xcsp3-exec) S 5951 5954 4632 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516164334 115843072 363 33554432000 4194304 5098028 140724815134544 140724815132648 139956392120956 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 18128896 140724815143768 140724815144025 140724815144025 140724815146950 0
/proc/5954/statm: 28282 363 304 221 0 87 0
[pid=5956] ppid=5954 vsize=15144776 memory=28468 CPUtime=0.1 cores=1,3,5,7
/proc/5956/stat : 5956 (java) S 5954 5954 4632 0 -1 1077944320 5559 0 0 0 9 1 0 0 20 0 15 0 516164334 15508250624 7117 33554432000 4194304 4196468 140730286574592 140730286557136 139623422025463 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
/proc/5956/statm: 3786194 7117 3056 1 0 3748377 0
[pid=5956/tid=5957] ppid=5954 vsize=15144776 memory=576460756329955459 CPUtime=0.07 cores=1,3,5,7
/proc/5956/task/5957/stat : 5957 (java) R 5954 5954 4632 0 -1 4202560 3597 0 0 0 7 0 0 0 20 0 15 0 516164335 15508250624 7117 33554432000 4194304 4196468 140730286574592 139623426255616 139623422047389 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5958] ppid=5954 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5956/task/5958/stat : 5958 (java) S 5954 5954 4632 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516164337 15508250624 7117 33554432000 4194304 4196468 140730286574592 139623350065808 139623422035669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5959] ppid=5954 vsize=15144776 memory=140021205025227 CPUtime=0 cores=1,3,5,7
/proc/5956/task/5959/stat : 5959 (java) S 5954 5954 4632 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516164337 15508250624 7117 33554432000 4194304 4196468 140730286574592 139623349013008 139623422035669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5960] ppid=5954 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5956/task/5960/stat : 5960 (java) S 5954 5954 4632 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516164337 15508250624 7117 33554432000 4194304 4196468 140730286574592 139623011838352 139623422035669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5961] ppid=5954 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5956/task/5961/stat : 5961 (java) S 5954 5954 4632 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516164337 15508250624 7117 33554432000 4194304 4196468 140730286574592 139623010785552 139623422035669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5962] ppid=5954 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5956/task/5962/stat : 5962 (java) S 5954 5954 4632 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516164338 15508250624 7117 33554432000 4194304 4196468 140730286574592 139622957882224 139623422036610 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5963] ppid=5954 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5956/task/5963/stat : 5963 (java) S 5954 5954 4632 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516164339 15508250624 7117 33554432000 4194304 4196468 140730286574592 139622956828192 139623422035669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5964] ppid=5954 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5956/task/5964/stat : 5964 (java) S 5954 5954 4632 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516164339 15508250624 7117 33554432000 4194304 4196468 140730286574592 139622955775344 139623422035669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5965] ppid=5954 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5956/task/5965/stat : 5965 (java) S 5954 5954 4632 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516164341 15508250624 7117 33554432000 4194304 4196468 140730286574592 139622954723664 139623422044059 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5966] ppid=5954 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5956/task/5966/stat : 5966 (java) S 5954 5954 4632 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 516164341 15508250624 7117 33554432000 4194304 4196468 140730286574592 139622953671024 139623422036610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5967] ppid=5954 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5956/task/5967/stat : 5967 (java) S 5954 5954 4632 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516164341 15508250624 7117 33554432000 4194304 4196468 140730286574592 139622952618224 139623422036610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5968] ppid=5954 vsize=15144776 memory=140021201417856 CPUtime=0.01 cores=1,3,5,7
/proc/5956/task/5968/stat : 5968 (java) S 5954 5954 4632 0 -1 1077944384 352 0 0 0 1 0 0 0 20 0 15 0 516164341 15508250624 7117 33554432000 4194304 4196468 140730286574592 139622951565424 139623422036610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5969] ppid=5954 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5956/task/5969/stat : 5969 (java) S 5954 5954 4632 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516164342 15508250624 7117 33554432000 4194304 4196468 140730286574592 139622950512864 139623422035669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5970] ppid=5954 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5956/task/5970/stat : 5970 (java) S 5954 5954 4632 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516164342 15508250624 7117 33554432000 4194304 4196468 140730286574592 139622949461168 139623422036610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 29920 KiB
[startup+0.210621 s]*
/proc/loadavg: 1.91 1.85 1.65 3/228 5970
/proc/meminfo: memFree=28099260/32770624 swapFree=66954216/67108860
[pid=5954] ppid=5951 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5954/stat : 5954 (xcsp3-exec) S 5951 5954 4632 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516164334 115843072 363 33554432000 4194304 5098028 140724815134544 140724815132648 139956392120956 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 18128896 140724815143768 140724815144025 140724815144025 140724815146950 0
/proc/5954/statm: 28282 363 304 221 0 87 0
[pid=5956] ppid=5954 vsize=15144776 memory=40300 CPUtime=0.31 cores=1,3,5,7
/proc/5956/stat : 5956 (java) S 5954 5954 4632 0 -1 1077944320 9281 0 0 0 29 2 0 0 20 0 15 0 516164334 15508250624 10075 33554432000 4194304 4196468 140730286574592 140730286557136 139623422025463 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
/proc/5956/statm: 3786194 10075 3310 1 0 3748377 0
[pid=5956/tid=5957] ppid=5954 vsize=15144776 memory=7883960649037381690 CPUtime=0.18 cores=1,3,5,7
/proc/5956/task/5957/stat : 5957 (java) R 5954 5954 4632 0 -1 4202560 6554 0 0 0 17 1 0 0 20 0 15 0 516164335 15508250624 10141 33554432000 4194304 4196468 140730286574592 139623426256592 139623406105950 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5958] ppid=5954 vsize=15144776 memory=10594 CPUtime=0 cores=1,3,5,7
/proc/5956/task/5958/stat : 5958 (java) S 5954 5954 4632 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516164337 15508250624 10141 33554432000 4194304 4196468 140730286574592 139623350065808 139623422035669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5959] ppid=5954 vsize=15144776 memory=3833604045457372832 CPUtime=0 cores=1,3,5,7
/proc/5956/task/5959/stat : 5959 (java) S 5954 5954 4632 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516164337 15508250624 10141 33554432000 4194304 4196468 140730286574592 139623349013008 139623422035669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5960] ppid=5954 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5956/task/5960/stat : 5960 (java) S 5954 5954 4632 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516164337 15508250624 10141 33554432000 4194304 4196468 140730286574592 139623011838352 139623422035669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5961] ppid=5954 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5956/task/5961/stat : 5961 (java) S 5954 5954 4632 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516164337 15508250624 10141 33554432000 4194304 4196468 140730286574592 139623010785552 139623422035669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5962] ppid=5954 vsize=15144776 memory=140021201417856 CPUtime=0 cores=1,3,5,7
/proc/5956/task/5962/stat : 5962 (java) S 5954 5954 4632 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516164338 15508250624 10141 33554432000 4194304 4196468 140730286574592 139622957882224 139623422036610 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5963] ppid=5954 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5956/task/5963/stat : 5963 (java) S 5954 5954 4632 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516164339 15508250624 10141 33554432000 4194304 4196468 140730286574592 139622956828192 139623422035669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5964] ppid=5954 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5956/task/5964/stat : 5964 (java) S 5954 5954 4632 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516164339 15508250624 10141 33554432000 4194304 4196468 140730286574592 139622955775344 139623422035669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5965] ppid=5954 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5956/task/5965/stat : 5965 (java) S 5954 5954 4632 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516164341 15508250624 10141 33554432000 4194304 4196468 140730286574592 139622954723664 139623422044059 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5966] ppid=5954 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/5956/task/5966/stat : 5966 (java) S 5954 5954 4632 0 -1 1077944384 534 0 0 0 2 0 0 0 20 0 15 0 516164341 15508250624 10141 33554432000 4194304 4196468 140730286574592 139622953671024 139623422036610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5967] ppid=5954 vsize=15144776 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/5956/task/5967/stat : 5967 (java) S 5954 5954 4632 0 -1 1077944384 99 0 0 0 1 0 0 0 20 0 15 0 516164341 15508250624 10141 33554432000 4194304 4196468 140730286574592 139622952618224 139623422036610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5968] ppid=5954 vsize=15144776 memory=140021201417856 CPUtime=0.07 cores=1,3,5,7
/proc/5956/task/5968/stat : 5968 (java) S 5954 5954 4632 0 -1 1077944384 793 0 0 0 7 0 0 0 20 0 15 0 516164341 15508250624 10141 33554432000 4194304 4196468 140730286574592 139622951565424 139623422036610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5969] ppid=5954 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5956/task/5969/stat : 5969 (java) S 5954 5954 4632 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516164342 15508250624 10141 33554432000 4194304 4196468 140730286574592 139622950512864 139623422035669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5970] ppid=5954 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5956/task/5970/stat : 5970 (java) S 5954 5954 4632 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516164342 15508250624 10141 33554432000 4194304 4196468 140730286574592 139622949461168 139623422036610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41752 KiB
[startup+0.310561 s]*
/proc/loadavg: 1.91 1.85 1.65 3/228 5970
/proc/meminfo: memFree=28067412/32770624 swapFree=66954216/67108860
[pid=5954] ppid=5951 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5954/stat : 5954 (xcsp3-exec) S 5951 5954 4632 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516164334 115843072 363 33554432000 4194304 5098028 140724815134544 140724815132648 139956392120956 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 18128896 140724815143768 140724815144025 140724815144025 140724815146950 0
/proc/5954/statm: 28282 363 304 221 0 87 0
[pid=5956] ppid=5954 vsize=15149032 memory=46520 CPUtime=0.5 cores=1,3,5,7
/proc/5956/stat : 5956 (java) S 5954 5954 4632 0 -1 1077944320 10510 0 0 0 47 3 0 0 20 0 15 0 516164334 15512608768 11630 33554432000 4194304 4196468 140730286574592 140730286557136 139623422025463 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
/proc/5956/statm: 3787258 11630 3341 1 0 3748377 0
[pid=5956/tid=5957] ppid=5954 vsize=15149032 memory=8317482817917895235 CPUtime=0.28 cores=1,3,5,7
/proc/5956/task/5957/stat : 5957 (java) R 5954 5954 4632 0 -1 4202560 7615 0 0 0 26 2 0 0 20 0 15 0 516164335 15512608768 11630 33554432000 4194304 4196468 140730286574592 139623426257840 139623406069093 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5958] ppid=5954 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/5956/task/5958/stat : 5958 (java) S 5954 5954 4632 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516164337 15512608768 11630 33554432000 4194304 4196468 140730286574592 139623350065808 139623422035669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5959] ppid=5954 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/5956/task/5959/stat : 5959 (java) S 5954 5954 4632 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516164337 15512608768 11630 33554432000 4194304 4196468 140730286574592 139623349013008 139623422035669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5960] ppid=5954 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/5956/task/5960/stat : 5960 (java) S 5954 5954 4632 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516164337 15512608768 11630 33554432000 4194304 4196468 140730286574592 139623011838352 139623422035669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5961] ppid=5954 vsize=15149032 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/5956/task/5961/stat : 5961 (java) S 5954 5954 4632 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516164337 15512608768 11630 33554432000 4194304 4196468 140730286574592 139623010785552 139623422035669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5962] ppid=5954 vsize=15149032 memory=7379517702019849078 CPUtime=0 cores=1,3,5,7
/proc/5956/task/5962/stat : 5962 (java) S 5954 5954 4632 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516164338 15512608768 11630 33554432000 4194304 4196468 140730286574592 139622957882224 139623422036610 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5963] ppid=5954 vsize=15149032 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/5956/task/5963/stat : 5963 (java) S 5954 5954 4632 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516164339 15512608768 11630 33554432000 4194304 4196468 140730286574592 139622956828192 139623422035669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5964] ppid=5954 vsize=15149032 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/5956/task/5964/stat : 5964 (java) S 5954 5954 4632 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516164339 15512608768 11630 33554432000 4194304 4196468 140730286574592 139622955775344 139623422035669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5965] ppid=5954 vsize=15149032 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/5956/task/5965/stat : 5965 (java) S 5954 5954 4632 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516164341 15512608768 11630 33554432000 4194304 4196468 140730286574592 139622954723664 139623422044059 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5966] ppid=5954 vsize=15149032 memory=-8412656567168561567 CPUtime=0.04 cores=1,3,5,7
/proc/5956/task/5966/stat : 5966 (java) S 5954 5954 4632 0 -1 1077944384 541 0 0 0 4 0 0 0 20 0 15 0 516164341 15512608768 11630 33554432000 4194304 4196468 140730286574592 139622953671024 139623422036610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5967] ppid=5954 vsize=15149032 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/5956/task/5967/stat : 5967 (java) S 5954 5954 4632 0 -1 1077944384 105 0 0 0 3 0 0 0 20 0 15 0 516164341 15512608768 11630 33554432000 4194304 4196468 140730286574592 139622952618224 139623422036610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5968] ppid=5954 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/5956/task/5968/stat : 5968 (java) R 5954 5954 4632 0 -1 4202560 953 0 0 0 12 0 0 0 20 0 15 0 516164341 15512608768 11630 33554432000 4194304 4196468 140730286574592 139622951565424 139623422037398 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5969] ppid=5954 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5956/task/5969/stat : 5969 (java) S 5954 5954 4632 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516164342 15512608768 11630 33554432000 4194304 4196468 140730286574592 139622950512864 139623422035669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5970] ppid=5954 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5956/task/5970/stat : 5970 (java) S 5954 5954 4632 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516164342 15512608768 11630 33554432000 4194304 4196468 140730286574592 139622949461168 139623422036610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 47972 KiB
[startup+0.701561 s]
/proc/loadavg: 1.91 1.85 1.65 5/228 5970
/proc/meminfo: memFree=28029252/32770624 swapFree=66954216/67108860
[pid=5954] ppid=5951 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5954/stat : 5954 (xcsp3-exec) S 5951 5954 4632 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516164334 115843072 363 33554432000 4194304 5098028 140724815134544 140724815132648 139956392120956 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 18128896 140724815143768 140724815144025 140724815144025 140724815146950 0
/proc/5954/statm: 28282 363 304 221 0 87 0
[pid=5956] ppid=5954 vsize=15151156 memory=81152 CPUtime=1.5 cores=1,3,5,7
/proc/5956/stat : 5956 (java) S 5954 5954 4632 0 -1 1077944320 15002 0 0 0 145 5 0 0 20 0 15 0 516164334 15514783744 20288 33554432000 4194304 4196468 140730286574592 140730286557136 139623422025463 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
/proc/5956/statm: 3787789 20288 3453 1 0 3748889 0
[pid=5956/tid=5957] ppid=5954 vsize=15151156 memory=-3704326594973231466 CPUtime=0.66 cores=1,3,5,7
/proc/5956/task/5957/stat : 5957 (java) R 5954 5954 4632 0 -1 4202560 9379 0 0 0 63 3 0 0 20 0 15 0 516164335 15514783744 20288 33554432000 4194304 4196468 140730286574592 139623426264096 139623032873408 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5958] ppid=5954 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5956/task/5958/stat : 5958 (java) S 5954 5954 4632 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516164337 15514783744 20288 33554432000 4194304 4196468 140730286574592 139623350065808 139623422035669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5959] ppid=5954 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5956/task/5959/stat : 5959 (java) S 5954 5954 4632 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516164337 15514783744 20288 33554432000 4194304 4196468 140730286574592 139623349013008 139623422035669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5960] ppid=5954 vsize=15151156 memory=708 CPUtime=0 cores=1,3,5,7
/proc/5956/task/5960/stat : 5960 (java) S 5954 5954 4632 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516164337 15514783744 20288 33554432000 4194304 4196468 140730286574592 139623011838352 139623422035669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5961] ppid=5954 vsize=15151156 memory=9364 CPUtime=0 cores=1,3,5,7
/proc/5956/task/5961/stat : 5961 (java) S 5954 5954 4632 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516164337 15514783744 20288 33554432000 4194304 4196468 140730286574592 139623010785552 139623422035669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5962] ppid=5954 vsize=15151156 memory=1120 CPUtime=0 cores=1,3,5,7
/proc/5956/task/5962/stat : 5962 (java) S 5954 5954 4632 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516164338 15514783744 20288 33554432000 4194304 4196468 140730286574592 139622957882224 139623422036610 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5963] ppid=5954 vsize=15151156 memory=776 CPUtime=0 cores=1,3,5,7
/proc/5956/task/5963/stat : 5963 (java) S 5954 5954 4632 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516164339 15514783744 20288 33554432000 4194304 4196468 140730286574592 139622956828192 139623422035669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5964] ppid=5954 vsize=15151156 memory=1724 CPUtime=0 cores=1,3,5,7
/proc/5956/task/5964/stat : 5964 (java) S 5954 5954 4632 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516164339 15514783744 20288 33554432000 4194304 4196468 140730286574592 139622955775344 139623422035669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5965] ppid=5954 vsize=15151156 memory=8220 CPUtime=0 cores=1,3,5,7
/proc/5956/task/5965/stat : 5965 (java) S 5954 5954 4632 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516164341 15514783744 20288 33554432000 4194304 4196468 140730286574592 139622954723664 139623422044059 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5966] ppid=5954 vsize=15151156 memory=3616 CPUtime=0.2 cores=1,3,5,7
/proc/5956/task/5966/stat : 5966 (java) R 5954 5954 4632 0 -1 4202560 1340 0 0 0 20 0 0 0 20 0 15 0 516164341 15514783744 20288 33554432000 4194304 4196468 140730286574592 139622953671024 139623406796371 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5967] ppid=5954 vsize=15151156 memory=1556 CPUtime=0.2 cores=1,3,5,7
/proc/5956/task/5967/stat : 5967 (java) S 5954 5954 4632 0 -1 1077944384 853 0 0 0 20 0 0 0 20 0 15 0 516164341 15514783744 20288 33554432000 4194304 4196468 140730286574592 139622952618224 139623422036610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5968] ppid=5954 vsize=15151156 memory=2832 CPUtime=0.39 cores=1,3,5,7
/proc/5956/task/5968/stat : 5968 (java) S 5954 5954 4632 0 -1 1077944384 2122 0 0 0 39 0 0 0 20 0 15 0 516164341 15514783744 20288 33554432000 4194304 4196468 140730286574592 139622951565424 139623422036610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5969] ppid=5954 vsize=15151156 memory=984 CPUtime=0 cores=1,3,5,7
/proc/5956/task/5969/stat : 5969 (java) S 5954 5954 4632 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516164342 15514783744 20288 33554432000 4194304 4196468 140730286574592 139622950512864 139623422035669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5970] ppid=5954 vsize=15151156 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/5956/task/5970/stat : 5970 (java) S 5954 5954 4632 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516164342 15514783744 20288 33554432000 4194304 4196468 140730286574592 139622949461168 139623422036610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
Current children cumulated CPU time: 1.5 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 82604 KiB
[startup+1.50068 s]
/proc/loadavg: 1.91 1.85 1.65 5/228 5970
/proc/meminfo: memFree=27970880/32770624 swapFree=66954216/67108860
[pid=5954] ppid=5951 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5954/stat : 5954 (xcsp3-exec) S 5951 5954 4632 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516164334 115843072 363 33554432000 4194304 5098028 140724815134544 140724815132648 139956392120956 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 18128896 140724815143768 140724815144025 140724815144025 140724815146950 0
/proc/5954/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/5954/stat : 5954 (xcsp3-exec) S 5951 5954 4632 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516164334 115843072 363 33554432000 4194304 5098028 140724815134544 140724815132648 139956392120956 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 18128896 140724815143768 140724815144025 140724815144025 140724815146950 0
/proc/5954/statm: 28282 363 304 221 0 87 0
[pid=5956] ppid=5954 vsize=15151156 memory=173368 CPUtime=29.63 cores=1,3,5,7
/proc/5956/stat : 5956 (java) S 5954 5954 4632 0 -1 1077944320 41301 0 0 0 2954 9 0 0 20 0 15 0 516164334 15514783744 43342 33554432000 4194304 4196468 140730286574592 140730286557136 139623422025463 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
/proc/5956/statm: 3787789 43342 3474 1 0 3748889 0
[pid=5956/tid=5957] ppid=5954 vsize=15151156 memory=171320 CPUtime=25.75 cores=1,3,5,7
/proc/5956/task/5957/stat : 5957 (java) R 5954 5954 4632 0 -1 4202560 12267 0 0 0 2570 5 0 0 20 0 15 0 516164335 15514783744 43342 33554432000 4194304 4196468 140730286574592 139623426264600 139623033975454 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5958] ppid=5954 vsize=15151156 memory=8220 CPUtime=0 cores=1,3,5,7
/proc/5956/task/5958/stat : 5958 (java) S 5954 5954 4632 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516164337 15514783744 43342 33554432000 4194304 4196468 140730286574592 139623350065808 139623422035669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5959] ppid=5954 vsize=15151156 memory=3616 CPUtime=0 cores=1,3,5,7
/proc/5956/task/5959/stat : 5959 (java) S 5954 5954 4632 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516164337 15514783744 43342 33554432000 4194304 4196468 140730286574592 139623349013008 139623422035669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5960] ppid=5954 vsize=15151156 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/5956/task/5960/stat : 5960 (java) S 5954 5954 4632 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516164337 15514783744 43342 33554432000 4194304 4196468 140730286574592 139623011838352 139623422035669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5961] ppid=5954 vsize=15151156 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/5956/task/5961/stat : 5961 (java) S 5954 5954 4632 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516164337 15514783744 43342 33554432000 4194304 4196468 140730286574592 139623010785552 139623422035669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5962] ppid=5954 vsize=15151156 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/5956/task/5962/stat : 5962 (java) S 5954 5954 4632 0 -1 1077944384 373 0 0 0 0 0 0 0 20 0 15 0 516164338 15514783744 43342 33554432000 4194304 4196468 140730286574592 139622957882224 139623422036610 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5963] ppid=5954 vsize=15151156 memory=21796 CPUtime=0 cores=1,3,5,7
/proc/5956/task/5963/stat : 5963 (java) S 5954 5954 4632 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516164339 15514783744 43342 33554432000 4194304 4196468 140730286574592 139622956828192 139623422035669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5964] ppid=5954 vsize=15151156 memory=2120 CPUtime=0 cores=1,3,5,7
/proc/5956/task/5964/stat : 5964 (java) S 5954 5954 4632 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516164339 15514783744 43342 33554432000 4194304 4196468 140730286574592 139622955775344 139623422035669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5965] ppid=5954 vsize=15151156 memory=12036 CPUtime=0 cores=1,3,5,7
/proc/5956/task/5965/stat : 5965 (java) S 5954 5954 4632 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516164341 15514783744 43342 33554432000 4194304 4196468 140730286574592 139622954723664 139623422044059 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5966] ppid=5954 vsize=15151156 memory=496 CPUtime=1.45 cores=1,3,5,7
/proc/5956/task/5966/stat : 5966 (java) S 5954 5954 4632 0 -1 1077944384 8787 0 0 0 144 1 0 0 20 0 15 0 516164341 15514783744 43342 33554432000 4194304 4196468 140730286574592 139622953671024 139623422036610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5967] ppid=5954 vsize=15151156 memory=1560 CPUtime=1.81 cores=1,3,5,7
/proc/5956/task/5967/stat : 5967 (java) S 5954 5954 4632 0 -1 1077944384 12616 0 0 0 180 1 0 0 20 0 15 0 516164341 15514783744 43342 33554432000 4194304 4196468 140730286574592 139622952618224 139623422036610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5968] ppid=5954 vsize=15151156 memory=0 CPUtime=0.58 cores=1,3,5,7
/proc/5956/task/5968/stat : 5968 (java) S 5954 5954 4632 0 -1 1077944384 5302 0 0 0 57 1 0 0 20 0 15 0 516164341 15514783744 43342 33554432000 4194304 4196468 140730286574592 139622951565424 139623422036610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5969] ppid=5954 vsize=15151156 memory=140024523784769 CPUtime=0 cores=1,3,5,7
/proc/5956/task/5969/stat : 5969 (java) S 5954 5954 4632 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516164342 15514783744 43342 33554432000 4194304 4196468 140730286574592 139622950512864 139623422035669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5970] ppid=5954 vsize=15151156 memory=140024523784770 CPUtime=0 cores=1,3,5,7
/proc/5956/task/5970/stat : 5970 (java) S 5954 5954 4632 0 -1 1077944384 654 0 0 0 0 0 0 0 20 0 15 0 516164342 15514783744 43342 33554432000 4194304 4196468 140730286574592 139622949461168 139623422036610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
Current children cumulated CPU time: 29.63 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 174820 KiB
[startup+27.4006 s]
/proc/loadavg: 1.97 1.86 1.66 3/228 5970
/proc/meminfo: memFree=26985904/32770624 swapFree=66954216/67108860
[pid=5954] ppid=5951 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5954/stat : 5954 (xcsp3-exec) S 5951 5954 4632 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516164334 115843072 363 33554432000 4194304 5098028 140724815134544 140724815132648 139956392120956 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 18128896 140724815143768 140724815144025 140724815144025 140724815146950 0
/proc/5954/statm: 28282 363 304 221 0 87 0
[pid=5956] ppid=5954 vsize=15151156 memory=175416 CPUtime=31.23 cores=1,3,5,7
/proc/5956/stat : 5956 (java) S 5954 5954 4632 0 -1 1077944320 41393 0 0 0 3114 9 0 0 20 0 15 0 516164334 15514783744 43854 33554432000 4194304 4196468 140730286574592 140730286557136 139623422025463 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
/proc/5956/statm: 3787789 43854 3474 1 0 3748889 0
[pid=5956/tid=5957] ppid=5954 vsize=15151156 memory=1284 CPUtime=27.35 cores=1,3,5,7
/proc/5956/task/5957/stat : 5957 (java) R 5954 5954 4632 0 -1 4202560 12355 0 0 0 2730 5 0 0 20 0 15 0 516164335 15514783744 43854 33554432000 4194304 4196468 140730286574592 139623426264600 139623033362587 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5958] ppid=5954 vsize=15151156 memory=1044 CPUtime=0 cores=1,3,5,7
/proc/5956/task/5958/stat : 5958 (java) S 5954 5954 4632 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516164337 15514783744 43854 33554432000 4194304 4196468 140730286574592 139623350065808 139623422035669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5959] ppid=5954 vsize=15151156 memory=708 CPUtime=0 cores=1,3,5,7
/proc/5956/task/5959/stat : 5959 (java) S 5954 5954 4632 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516164337 15514783744 43854 33554432000 4194304 4196468 140730286574592 139623349013008 139623422035669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5960] ppid=5954 vsize=15151156 memory=9364 CPUtime=0 cores=1,3,5,7
/proc/5956/task/5960/stat : 5960 (java) S 5954 5954 4632 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516164337 15514783744 43854 33554432000 4194304 4196468 140730286574592 139623011838352 139623422035669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5961] ppid=5954 vsize=15151156 memory=1120 CPUtime=0 cores=1,3,5,7
/proc/5956/task/5961/stat : 5961 (java) S 5954 5954 4632 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516164337 15514783744 43854 33554432000 4194304 4196468 140730286574592 139623010785552 139623422035669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5962] ppid=5954 vsize=15151156 memory=928 CPUtime=0 cores=1,3,5,7
/proc/5956/task/5962/stat : 5962 (java) S 5954 5954 4632 0 -1 1077944384 375 0 0 0 0 0 0 0 20 0 15 0 516164338 15514783744 43854 33554432000 4194304 4196468 140730286574592 139622957882224 139623422036610 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5963] ppid=5954 vsize=15151156 memory=1680 CPUtime=0 cores=1,3,5,7
/proc/5956/task/5963/stat : 5963 (java) S 5954 5954 4632 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516164339 15514783744 43854 33554432000 4194304 4196468 140730286574592 139622956828192 139623422035669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5964] ppid=5954 vsize=15151156 memory=1444 CPUtime=0 cores=1,3,5,7
/proc/5956/task/5964/stat : 5964 (java) S 5954 5954 4632 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516164339 15514783744 43854 33554432000 4194304 4196468 140730286574592 139622955775344 139623422035669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5965] ppid=5954 vsize=15151156 memory=880 CPUtime=0 cores=1,3,5,7
/proc/5956/task/5965/stat : 5965 (java) S 5954 5954 4632 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516164341 15514783744 43854 33554432000 4194304 4196468 140730286574592 139622954723664 139623422044059 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5966] ppid=5954 vsize=15151156 memory=1984 CPUtime=1.45 cores=1,3,5,7
/proc/5956/task/5966/stat : 5966 (java) S 5954 5954 4632 0 -1 1077944384 8787 0 0 0 144 1 0 0 20 0 15 0 516164341 15514783744 43854 33554432000 4194304 4196468 140730286574592 139622953671024 139623422036610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5967] ppid=5954 vsize=15151156 memory=2552 CPUtime=1.81 cores=1,3,5,7
/proc/5956/task/5967/stat : 5967 (java) S 5954 5954 4632 0 -1 1077944384 12616 0 0 0 180 1 0 0 20 0 15 0 516164341 15514783744 43854 33554432000 4194304 4196468 140730286574592 139622952618224 139623422036610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5968] ppid=5954 vsize=15151156 memory=1452 CPUtime=0.58 cores=1,3,5,7
/proc/5956/task/5968/stat : 5968 (java) S 5954 5954 4632 0 -1 1077944384 5302 0 0 0 57 1 0 0 20 0 15 0 516164341 15514783744 43854 33554432000 4194304 4196468 140730286574592 139622951565424 139623422036610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5969] ppid=5954 vsize=15151156 memory=175416 CPUtime=0 cores=1,3,5,7
/proc/5956/task/5969/stat : 5969 (java) S 5954 5954 4632 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516164342 15514783744 43854 33554432000 4194304 4196468 140730286574592 139622950512864 139623422035669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5970] ppid=5954 vsize=15151156 memory=52000 CPUtime=0 cores=1,3,5,7
/proc/5956/task/5970/stat : 5970 (java) S 5954 5954 4632 0 -1 1077944384 656 0 0 0 0 0 0 0 20 0 15 0 516164342 15514783744 43854 33554432000 4194304 4196468 140730286574592 139622949461168 139623422036610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
Current children cumulated CPU time: 31.23 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 176868 KiB
[startup+28.2006 s]*
/proc/loadavg: 1.97 1.86 1.66 3/228 5970
/proc/meminfo: memFree=26934096/32770624 swapFree=66954216/67108860
[pid=5954] ppid=5951 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5954/stat : 5954 (xcsp3-exec) S 5951 5954 4632 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516164334 115843072 363 33554432000 4194304 5098028 140724815134544 140724815132648 139956392120956 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 18128896 140724815143768 140724815144025 140724815144025 140724815146950 0
/proc/5954/statm: 28282 363 304 221 0 87 0
[pid=5956] ppid=5954 vsize=15151156 memory=177464 CPUtime=32.04 cores=1,3,5,7
/proc/5956/stat : 5956 (java) S 5954 5954 4632 0 -1 1077944320 41395 0 0 0 3195 9 0 0 20 0 15 0 516164334 15514783744 44366 33554432000 4194304 4196468 140730286574592 140730286557136 139623422025463 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
/proc/5956/statm: 3787789 44366 3474 1 0 3748889 0
[pid=5956/tid=5957] ppid=5954 vsize=15151156 memory=8317482817917895235 CPUtime=28.16 cores=1,3,5,7
/proc/5956/task/5957/stat : 5957 (java) R 5954 5954 4632 0 -1 4202560 12357 0 0 0 2811 5 0 0 20 0 15 0 516164335 15514783744 44366 33554432000 4194304 4196468 140730286574592 139623426264600 139623033973344 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5958] ppid=5954 vsize=15151156 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/5956/task/5958/stat : 5958 (java) S 5954 5954 4632 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516164337 15514783744 44366 33554432000 4194304 4196468 140730286574592 139623350065808 139623422035669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5959] ppid=5954 vsize=15151156 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/5956/task/5959/stat : 5959 (java) S 5954 5954 4632 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516164337 15514783744 44366 33554432000 4194304 4196468 140730286574592 139623349013008 139623422035669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5960] ppid=5954 vsize=15151156 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/5956/task/5960/stat : 5960 (java) S 5954 5954 4632 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516164337 15514783744 44366 33554432000 4194304 4196468 140730286574592 139623011838352 139623422035669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5961] ppid=5954 vsize=15151156 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/5956/task/5961/stat : 5961 (java) S 5954 5954 4632 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516164337 15514783744 44366 33554432000 4194304 4196468 140730286574592 139623010785552 139623422035669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5962] ppid=5954 vsize=15151156 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/5956/task/5962/stat : 5962 (java) S 5954 5954 4632 0 -1 1077944384 375 0 0 0 0 0 0 0 20 0 15 0 516164338 15514783744 44366 33554432000 4194304 4196468 140730286574592 139622957882224 139623422036610 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5963] ppid=5954 vsize=15151156 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/5956/task/5963/stat : 5963 (java) S 5954 5954 4632 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516164339 15514783744 44366 33554432000 4194304 4196468 140730286574592 139622956828192 139623422035669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5964] ppid=5954 vsize=15151156 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/5956/task/5964/stat : 5964 (java) S 5954 5954 4632 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516164339 15514783744 44366 33554432000 4194304 4196468 140730286574592 139622955775344 139623422035669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5965] ppid=5954 vsize=15151156 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/5956/task/5965/stat : 5965 (java) S 5954 5954 4632 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516164341 15514783744 44366 33554432000 4194304 4196468 140730286574592 139622954723664 139623422044059 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5966] ppid=5954 vsize=15151156 memory=6655300316396806240 CPUtime=1.45 cores=1,3,5,7
/proc/5956/task/5966/stat : 5966 (java) S 5954 5954 4632 0 -1 1077944384 8787 0 0 0 144 1 0 0 20 0 15 0 516164341 15514783744 44366 33554432000 4194304 4196468 140730286574592 139622953671024 139623422036610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5967] ppid=5954 vsize=15151156 memory=6944652177228980320 CPUtime=1.81 cores=1,3,5,7
/proc/5956/task/5967/stat : 5967 (java) S 5954 5954 4632 0 -1 1077944384 12616 0 0 0 180 1 0 0 20 0 15 0 516164341 15514783744 44366 33554432000 4194304 4196468 140730286574592 139622952618224 139623422036610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5968] ppid=5954 vsize=15151156 memory=6944656592455097440 CPUtime=0.58 cores=1,3,5,7
/proc/5956/task/5968/stat : 5968 (java) S 5954 5954 4632 0 -1 1077944384 5302 0 0 0 57 1 0 0 20 0 15 0 516164341 15514783744 44366 33554432000 4194304 4196468 140730286574592 139622951565424 139623422036610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5969] ppid=5954 vsize=15151156 memory=5794273890309521254 CPUtime=0 cores=1,3,5,7
/proc/5956/task/5969/stat : 5969 (java) S 5954 5954 4632 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516164342 15514783744 44366 33554432000 4194304 4196468 140730286574592 139622950512864 139623422035669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5970] ppid=5954 vsize=15151156 memory=6371015026855143783 CPUtime=0 cores=1,3,5,7
/proc/5956/task/5970/stat : 5970 (java) S 5954 5954 4632 0 -1 1077944384 656 0 0 0 0 0 0 0 20 0 15 0 516164342 15514783744 44366 33554432000 4194304 4196468 140730286574592 139622949461168 139623422036610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
Current children cumulated CPU time: 32.04 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 178916 KiB
[startup+28.6006 s]
/proc/loadavg: 1.97 1.86 1.66 3/228 5970
/proc/meminfo: memFree=26934096/32770624 swapFree=66954216/67108860
[pid=5954] ppid=5951 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5954/stat : 5954 (xcsp3-exec) S 5951 5954 4632 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516164334 115843072 363 33554432000 4194304 5098028 140724815134544 140724815132648 139956392120956 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 18128896 140724815143768 140724815144025 140724815144025 140724815146950 0
/proc/5954/statm: 28282 363 304 221 0 87 0
[pid=5956] ppid=5954 vsize=15151156 memory=177468 CPUtime=32.43 cores=1,3,5,7
/proc/5956/stat : 5956 (java) S 5954 5954 4632 0 -1 1077944320 41560 0 0 0 3234 9 0 0 20 0 15 0 516164334 15514783744 44367 33554432000 4194304 4196468 140730286574592 140730286557136 139623422025463 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
/proc/5956/statm: 3787789 44367 3474 1 0 3748889 0
[pid=5956/tid=5957] ppid=5954 vsize=15151156 memory=1164 CPUtime=28.55 cores=1,3,5,7
/proc/5956/task/5957/stat : 5957 (java) R 5954 5954 4632 0 -1 4202560 12458 0 0 0 2850 5 0 0 20 0 15 0 516164335 15514783744 44367 33554432000 4194304 4196468 140730286574592 139623426264264 139623034093040 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5958] ppid=5954 vsize=15151156 memory=8317482817917895235 CPUtime=0 cores=1,3,5,7
/proc/5956/task/5958/stat : 5958 (java) S 5954 5954 4632 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516164337 15514783744 44367 33554432000 4194304 4196468 140730286574592 139623350065808 139623422035669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5959] ppid=5954 vsize=15151156 memory=2724 CPUtime=0 cores=1,3,5,7
/proc/5956/task/5959/stat : 5959 (java) S 5954 5954 4632 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516164337 15514783744 44367 33554432000 4194304 4196468 140730286574592 139623349013008 139623422035669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5960] ppid=5954 vsize=15151156 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/5956/task/5960/stat : 5960 (java) S 5954 5954 4632 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516164337 15514783744 44367 33554432000 4194304 4196468 140730286574592 139623011838352 139623422035669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5961] ppid=5954 vsize=15151156 memory=177464 CPUtime=0 cores=1,3,5,7
/proc/5956/task/5961/stat : 5961 (java) S 5954 5954 4632 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516164337 15514783744 44367 33554432000 4194304 4196468 140730286574592 139623010785552 139623422035669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5962] ppid=5954 vsize=15151156 memory=167224 CPUtime=0 cores=1,3,5,7
/proc/5956/task/5962/stat : 5962 (java) S 5954 5954 4632 0 -1 1077944384 375 0 0 0 0 0 0 0 20 0 15 0 516164338 15514783744 44367 33554432000 4194304 4196468 140730286574592 139622957882224 139623422036610 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5963] ppid=5954 vsize=15151156 memory=1284 CPUtime=0 cores=1,3,5,7
/proc/5956/task/5963/stat : 5963 (java) S 5954 5954 4632 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516164339 15514783744 44367 33554432000 4194304 4196468 140730286574592 139622956828192 139623422035669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5964] ppid=5954 vsize=15151156 memory=1044 CPUtime=0 cores=1,3,5,7
/proc/5956/task/5964/stat : 5964 (java) S 5954 5954 4632 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516164339 15514783744 44367 33554432000 4194304 4196468 140730286574592 139622955775344 139623422035669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5965] ppid=5954 vsize=15151156 memory=708 CPUtime=0 cores=1,3,5,7
/proc/5956/task/5965/stat : 5965 (java) S 5954 5954 4632 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516164341 15514783744 44367 33554432000 4194304 4196468 140730286574592 139622954723664 139623422044059 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5966] ppid=5954 vsize=15151156 memory=9364 CPUtime=1.45 cores=1,3,5,7
/proc/5956/task/5966/stat : 5966 (java) S 5954 5954 4632 0 -1 1077944384 8789 0 0 0 144 1 0 0 20 0 15 0 516164341 15514783744 44367 33554432000 4194304 4196468 140730286574592 139622953671024 139623422036610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5967] ppid=5954 vsize=15151156 memory=1120 CPUtime=1.81 cores=1,3,5,7
/proc/5956/task/5967/stat : 5967 (java) S 5954 5954 4632 0 -1 1077944384 12618 0 0 0 180 1 0 0 20 0 15 0 516164341 15514783744 44367 33554432000 4194304 4196468 140730286574592 139622952618224 139623422036610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5968] ppid=5954 vsize=15151156 memory=776 CPUtime=0.58 cores=1,3,5,7
/proc/5956/task/5968/stat : 5968 (java) S 5954 5954 4632 0 -1 1077944384 5362 0 0 0 57 1 0 0 20 0 15 0 516164341 15514783744 44367 33554432000 4194304 4196468 140730286574592 139622951565424 139623422036610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5969] ppid=5954 vsize=15151156 memory=3580 CPUtime=0 cores=1,3,5,7
/proc/5956/task/5969/stat : 5969 (java) S 5954 5954 4632 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516164342 15514783744 44367 33554432000 4194304 4196468 140730286574592 139622950512864 139623422035669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
[pid=5956/tid=5970] ppid=5954 vsize=15151156 memory=52000 CPUtime=0 cores=1,3,5,7
/proc/5956/task/5970/stat : 5970 (java) S 5954 5954 4632 0 -1 1077944384 656 0 0 0 0 0 0 0 20 0 15 0 516164342 15514783744 44367 33554432000 4194304 4196468 140730286574592 139622949461168 139623422036610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36507648 140730286580699 140730286580874 140730286580874 140730286583759 0
Current children cumulated CPU time: 32.43 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 178920 KiB
Child status: 0
Real time (s): 28.6358
CPU time (s): 32.4843
CPU user time (s): 32.377
CPU system time (s): 0.10726
CPU usage (%): 113.44
Max. virtual memory (cumulated for all children) (KiB): 15266200
Max. memory (cumulated for all children) (KiB): 178920
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 32.377
system time used= 0.10726
maximum resident set size= 179872
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43074
page faults= 0
swaps= 0
block input operations= 8
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3370
involuntary context switches= 47
# summary of solver processes directly reported to runsolver:
# pid: 5954
# total CPU time (s): 32.4843
# total CPU user time (s): 32.377
# total CPU system time (s): 0.10726
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.187908 second user time and 0.29566 second system time
The end
Begin job on node107 at 2019-09-25 09:09:27 IDJOB=4406397 IDBENCH=127014 IDSOLVER=2870 FILE ID=node107/4406397-1569399090 RUNJOBID= node107-1569392946-4664 PBS_JOBID= 21705696 Free space on /var/tmp= 12536 MiB SOLVER NAME= choco-solver 2019-09-24 BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-021.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p 1 -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406397-1569399090/watcher-4406397-1569399090 -o /var/tmp/evaluation-result-4406397-1569399090/solver-4406397-1569399090 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node107-1569392946-4664 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 1 -ml 12000 -tdir HOME -seed 13758179 HOME/instance-4406397-1569399090.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 6f45f3e4d1081bc980187c6d0b1f79c7 RANDOM SEED=13758179 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: 28128436 kB MemAvailable: 31297512 kB Buffers: 94976 kB Cached: 3215816 kB SwapCached: 48120 kB Active: 2533348 kB Inactive: 1332740 kB Active(anon): 509424 kB Inactive(anon): 98960 kB Active(file): 2023924 kB Inactive(file): 1233780 kB Unevictable: 110316 kB Mlocked: 110316 kB SwapTotal: 67108860 kB SwapFree: 66954216 kB Dirty: 26288 kB Writeback: 0 kB AnonPages: 565480 kB Mapped: 68104 kB Shmem: 44600 kB Slab: 368420 kB SReclaimable: 339832 kB SUnreclaim: 28588 kB KernelStack: 3984 kB PageTables: 6560 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1306940 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 501760 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 /var/tmp at the end= 12512 MiB End job on node107 at 2019-09-25 09:09:55