Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Choco-solver 4.0.7 seq (493a269) | SAT (TO) | 107 | 2400.07 | 2392.31 |
| Name | LowAutocorrelation/ LowAutocorrelation-030_c18.xml |
| MD5SUM | 2e7b3311de08b1eac0c79f49a369770d |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 67 |
| Best CPU time to get the best result obtained on this benchmark | 2520.05 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 929 |
| Number of constraints | 493 |
| Number of domains | 59 |
| Minimum domain size | 2 |
| Maximum domain size | 59 |
| Distribution of domain sizes | [{"size":2,"count":466},{"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":22,"count":1},{"size":23,"count":2},{"size":24,"count":1},{"size":25,"count":2},{"size":26,"count":1},{"size":27,"count":2},{"size":28,"count":1},{"size":29,"count":2},{"size":30,"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},{"size":43,"count":1},{"size":45,"count":1},{"size":47,"count":1},{"size":49,"count":1},{"size":51,"count":1},{"size":53,"count":1},{"size":55,"count":1},{"size":57,"count":1},{"size":59,"count":1}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 29 |
| Distribution of variable degrees | [{"degree":0,"count":406},{"degree":2,"count":493},{"degree":29,"count":30}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 30 |
| Distribution of constraint arities | [{"arity":2,"count":30},{"arity":3,"count":436},{"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},{"arity":22,"count":1},{"arity":23,"count":1},{"arity":24,"count":1},{"arity":25,"count":1},{"arity":26,"count":1},{"arity":27,"count":1},{"arity":28,"count":1},{"arity":29,"count":1},{"arity":30,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 464 |
| Distribution of constraint types | [{"type":"intension","count":464},{"type":"sum","count":29}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.00 c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4292446-1532477073.xml" -tl '2400s' -p 1 -x 0 0.13/0.17 c Choco 493a269 0.13/0.17 c [HOME/instance-4292446-1532477073.xml, -tl, 2400s, -p, 1, -x, 0] 0.13/0.21 c simple solver 0.34/0.28 c parse instance... 1.59/0.76 c solve instance... 1.93/0.86 o 187 2.26/0.94 o 179 5.32/2.08 o 163 7.98/3.61 o 155 10.35/5.78 o 139 27.73/22.43 o 131 32.24/26.96 o 115 715.55/709.61 o 107 2400.05/2392.30 s SATISFIABLE 2400.05/2392.30 v <instantiation> 2400.05/2392.30 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] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] 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[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[0][25] y[0][26] y[0][27] y[0][28] 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[1][19] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[1][25] y[1][26] y[1][27] 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[2][18] y[2][19] y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[2][25] y[2][26] 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[3][17] y[3][18] y[3][19] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[3][25] 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[4][16] y[4][17] y[4][18] y[4][19] y[4][20] y[4][21] y[4][22] y[4][23] y[4][24] 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[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][20] y[5][21] y[5][22] y[5][23] 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[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][20] y[6][21] y[6][22] 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[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][20] y[7][21] 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[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][20] 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[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] 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[10][10] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] 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[11][9] y[11][10] y[11][11] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] 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[12][8] y[12][9] y[12][10] y[12][11] y[12][12] y[12][13] y[12][14] y[12][15] y[12][16] y[13][0] y[13][1] y[13][2] y[13][3] y[13][4] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[13][10] y[13][11] y[13][12] y[13][13] y[13][14] y[13][15] y[14][0] y[14][1] y[14][2] y[14][3] y[14][4] y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[15][0] y[15][1] y[15][2] y[15][3] y[15][4] y[15][5] y[15][6] y[15][7] y[15][8] y[15][9] y[15][10] y[15][11] y[15][12] y[15][13] y[16][0] y[16][1] y[16][2] y[16][3] y[16][4] y[16][5] y[16][6] y[16][7] y[16][8] y[16][9] y[16][10] y[16][11] y[16][12] y[17][0] y[17][1] y[17][2] y[17][3] y[17][4] y[17][5] y[17][6] y[17][7] y[17][8] y[17][9] y[17][10] y[17][11] y[18][0] y[18][1] y[18][2] y[18][3] y[18][4] y[18][5] y[18][6] y[18][7] y[18][8] y[18][9] y[18][10] y[19][0] y[19][1] y[19][2] y[19][3] y[19][4] y[19][5] y[19][6] y[19][7] y[19][8] y[19][9] y[20][0] y[20][1] y[20][2] y[20][3] y[20][4] y[20][5] y[20][6] y[20][7] y[20][8] y[21][0] y[21][1] y[21][2] y[21][3] y[21][4] y[21][5] y[21][6] y[21][7] y[22][0] y[22][1] y[22][2] y[22][3] y[22][4] y[22][5] y[22][6] y[23][0] y[23][1] y[23][2] y[23][3] y[23][4] y[23][5] y[24][0] y[24][1] y[24][2] y[24][3] y[24][4] y[25][0] y[25][1] y[25][2] y[25][3] y[26][0] y[26][1] y[26][2] y[27][0] y[27][1] y[28][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] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] 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] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] </list> 2400.05/2392.30 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 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 1 -1 1 -3 -2 -1 0 -1 2 1 0 1 -2 1 -6 1 2 -1 0 5 0 1 0 1 2 1 0 -1 2 -1 0 1 9 4 1 0 1 4 1 0 1 4 1 36 1 4 1 0 25 0 1 0 1 4 1 0 1 4 1 0 1 </values> 2400.05/2392.30 v </instantiation> 2400.05/2392.30 c Unexpected resolution interruption!
OK 107
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 (9826 MiB free)
memory of node 1: 16384 MiB (10190 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292446-1532477073/watcher-4292446-1532477073 -o /tmp/evaluation-result-4292446-1532477073/solver-4292446-1532477073 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532448430-22096 --watchdog 2560 HOME/xcsp3-exec -seed 820961732 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292446-1532477073.xml
running on 4 cores: 0,2,4,6
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=25525, runsolver pid=25522
[startup+0.100155 s]*
/proc/loadavg: 1.22 1.45 1.62 3/218 25541
/proc/meminfo: memFree=20480628/32770624 swapFree=67108860/67108860
[pid=25525] ppid=25522 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/25525/stat : 25525 (xcsp3-exec) S 25522 25525 22065 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 65270520 115843072 364 33554432000 4194304 5098028 140725987059520 140725987057624 140661607330428 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23908352 140725987062843 140725987063044 140725987063044 140725987065802 0
/proc/25525/statm: 28282 364 306 221 0 87 0
[pid=25527] ppid=25525 vsize=14082840 memory=27932 CPUtime=0.13 cores=0,2,4,6
/proc/25527/stat : 25527 (java) S 25525 25525 22065 0 -1 1077944320 5322 0 0 0 11 2 0 0 20 0 15 0 65270520 14420828160 6983 33554432000 4194304 4196468 140722347906720 140722347889264 140255139712759 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
/proc/25527/statm: 3520710 6983 3015 1 0 3483008 0
[pid=25527/tid=25528] ppid=25525 vsize=14082840 memory=8514701219880730789 CPUtime=0.09 cores=0,2,4,6
/proc/25527/task/25528/stat : 25528 (java) R 25525 25525 22065 0 -1 4202560 3295 0 0 0 8 1 0 0 20 0 15 0 65270520 14420828160 6983 33554432000 4194304 4196468 140722347906720 140255143944864 140254775882256 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25529] ppid=25525 vsize=14082840 memory=3472467810345399504 CPUtime=0 cores=0,2,4,6
/proc/25527/task/25529/stat : 25529 (java) S 25525 25525 22065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 65270521 14420828160 6983 33554432000 4194304 4196468 140722347906720 140255111555344 140255139722965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25530] ppid=25525 vsize=14082840 memory=139681450247808 CPUtime=0 cores=0,2,4,6
/proc/25527/task/25530/stat : 25530 (java) S 25525 25525 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65270521 14420828160 6983 33554432000 4194304 4196468 140722347906720 140254734293392 140255139722965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25531] ppid=25525 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25527/task/25531/stat : 25531 (java) S 25525 25525 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65270521 14420828160 6983 33554432000 4194304 4196468 140722347906720 140254733240848 140255139722965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25532] ppid=25525 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25527/task/25532/stat : 25532 (java) S 25525 25525 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65270521 14420828160 6983 33554432000 4194304 4196468 140722347906720 140254732188304 140255139722965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25533] ppid=25525 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25527/task/25533/stat : 25533 (java) S 25525 25525 22065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 65270522 14420828160 6983 33554432000 4194304 4196468 140722347906720 140254613821936 140255139723906 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25534] ppid=25525 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25527/task/25534/stat : 25534 (java) S 25525 25525 22065 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 65270523 14420828160 7049 33554432000 4194304 4196468 140722347906720 140254612768160 140255139722965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25535] ppid=25525 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25527/task/25535/stat : 25535 (java) S 25525 25525 22065 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 65270523 14420828160 7049 33554432000 4194304 4196468 140722347906720 140254611715568 140255139722965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25536] ppid=25525 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25527/task/25536/stat : 25536 (java) S 25525 25525 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65270525 14420828160 7049 33554432000 4194304 4196468 140722347906720 140254610664144 140255139731355 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25537] ppid=25525 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25527/task/25537/stat : 25537 (java) S 25525 25525 22065 0 -1 1077944384 428 0 0 0 0 0 0 0 20 0 15 0 65270525 14420828160 7049 33554432000 4194304 4196468 140722347906720 140254609610736 140255139723906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25538] ppid=25525 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25527/task/25538/stat : 25538 (java) S 25525 25525 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65270525 14420828160 7049 33554432000 4194304 4196468 140722347906720 140254608558192 140255139723906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25539] ppid=25525 vsize=14082840 memory=139681450247808 CPUtime=0.01 cores=0,2,4,6
/proc/25527/task/25539/stat : 25539 (java) R 25525 25525 22065 0 -1 4202560 345 0 0 0 1 0 0 0 20 0 15 0 65270525 14420828160 7049 33554432000 4194304 4196468 140722347906720 140254607505648 140255132809595 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25540] ppid=25525 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25527/task/25540/stat : 25540 (java) S 25525 25525 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65270525 14420828160 7049 33554432000 4194304 4196468 140722347906720 140254606453344 140255139722965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25541] ppid=25525 vsize=14082840 memory=139681450247808 CPUtime=0 cores=0,2,4,6
/proc/25527/task/25541/stat : 25541 (java) S 25525 25525 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65270526 14420828160 7049 33554432000 4194304 4196468 140722347906720 140254605400880 140255139723906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 29388 KiB
[startup+0.211963 s]*
/proc/loadavg: 1.22 1.45 1.62 4/218 25541
/proc/meminfo: memFree=20469588/32770624 swapFree=67108860/67108860
[pid=25525] ppid=25522 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/25525/stat : 25525 (xcsp3-exec) S 25522 25525 22065 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 65270520 115843072 364 33554432000 4194304 5098028 140725987059520 140725987057624 140661607330428 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23908352 140725987062843 140725987063044 140725987063044 140725987065802 0
/proc/25525/statm: 28282 364 306 221 0 87 0
[pid=25527] ppid=25525 vsize=14087096 memory=40248 CPUtime=0.34 cores=0,2,4,6
/proc/25527/stat : 25527 (java) S 25525 25525 22065 0 -1 1077944320 8070 0 0 0 31 3 0 0 20 0 15 0 65270520 14425186304 10062 33554432000 4194304 4196468 140722347906720 140722347889264 140255139712759 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
/proc/25527/statm: 3521774 10062 3205 1 0 3483008 0
[pid=25527/tid=25528] ppid=25525 vsize=14087096 memory=5854518564242424225 CPUtime=0.2 cores=0,2,4,6
/proc/25527/task/25528/stat : 25528 (java) R 25525 25525 22065 0 -1 4202560 5056 0 0 0 18 2 0 0 20 0 15 0 65270520 14425186304 10062 33554432000 4194304 4196468 140722347906720 140255143933752 140255123793246 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25529] ppid=25525 vsize=14087096 memory=3472467810345399504 CPUtime=0 cores=0,2,4,6
/proc/25527/task/25529/stat : 25529 (java) S 25525 25525 22065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 65270521 14425186304 10062 33554432000 4194304 4196468 140722347906720 140255111555344 140255139722965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25530] ppid=25525 vsize=14087096 memory=139681450247808 CPUtime=0 cores=0,2,4,6
/proc/25527/task/25530/stat : 25530 (java) S 25525 25525 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65270521 14425186304 10062 33554432000 4194304 4196468 140722347906720 140254734293392 140255139722965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25531] ppid=25525 vsize=14087096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25527/task/25531/stat : 25531 (java) S 25525 25525 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65270521 14425186304 10062 33554432000 4194304 4196468 140722347906720 140254733240848 140255139722965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25532] ppid=25525 vsize=14087096 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25527/task/25532/stat : 25532 (java) S 25525 25525 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65270521 14425186304 10062 33554432000 4194304 4196468 140722347906720 140254732188304 140255139722965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25533] ppid=25525 vsize=14087096 memory=139681450247808 CPUtime=0 cores=0,2,4,6
/proc/25527/task/25533/stat : 25533 (java) S 25525 25525 22065 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 65270522 14425186304 10062 33554432000 4194304 4196468 140722347906720 140254613821936 140255139723906 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25534] ppid=25525 vsize=14087096 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25527/task/25534/stat : 25534 (java) S 25525 25525 22065 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 65270523 14425186304 10062 33554432000 4194304 4196468 140722347906720 140254612768160 140255139722965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25535] ppid=25525 vsize=14087096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25527/task/25535/stat : 25535 (java) S 25525 25525 22065 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 65270523 14425186304 10062 33554432000 4194304 4196468 140722347906720 140254611715568 140255139722965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25536] ppid=25525 vsize=14087096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25527/task/25536/stat : 25536 (java) S 25525 25525 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65270525 14425186304 10062 33554432000 4194304 4196468 140722347906720 140254610664144 140255139731355 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25537] ppid=25525 vsize=14087096 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/25527/task/25537/stat : 25537 (java) S 25525 25525 22065 0 -1 1077944384 563 0 0 0 2 0 0 0 20 0 15 0 65270525 14425186304 10062 33554432000 4194304 4196468 140722347906720 140254609610736 140255139723906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25538] ppid=25525 vsize=14087096 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/25527/task/25538/stat : 25538 (java) R 25525 25525 22065 0 -1 1077944384 267 0 0 0 2 0 0 0 20 0 15 0 65270525 14425186304 10062 33554432000 4194304 4196468 140722347906720 140254608558192 140255139723906 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25539] ppid=25525 vsize=14087096 memory=139681450247808 CPUtime=0.07 cores=0,2,4,6
/proc/25527/task/25539/stat : 25539 (java) S 25525 25525 22065 0 -1 1077944384 878 0 0 0 7 0 0 0 20 0 15 0 65270525 14425186304 10062 33554432000 4194304 4196468 140722347906720 140254607505648 140255139723906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25540] ppid=25525 vsize=14087096 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25527/task/25540/stat : 25540 (java) S 25525 25525 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65270525 14425186304 10062 33554432000 4194304 4196468 140722347906720 140254606453344 140255139722965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25541] ppid=25525 vsize=14087096 memory=139681450247808 CPUtime=0 cores=0,2,4,6
/proc/25527/task/25541/stat : 25541 (java) S 25525 25525 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65270526 14425186304 10062 33554432000 4194304 4196468 140722347906720 140254605400880 140255139723906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 41704 KiB
[startup+0.310552 s]*
/proc/loadavg: 1.22 1.45 1.62 3/218 25541
/proc/meminfo: memFree=20463020/32770624 swapFree=67108860/67108860
[pid=25525] ppid=25522 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/25525/stat : 25525 (xcsp3-exec) S 25522 25525 22065 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 65270520 115843072 364 33554432000 4194304 5098028 140725987059520 140725987057624 140661607330428 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23908352 140725987062843 140725987063044 140725987063044 140725987065802 0
/proc/25525/statm: 28282 364 306 221 0 87 0
[pid=25527] ppid=25525 vsize=14087096 memory=47128 CPUtime=0.52 cores=0,2,4,6
/proc/25527/stat : 25527 (java) S 25525 25525 22065 0 -1 1077944320 8948 0 0 0 48 4 0 0 20 0 15 0 65270520 14425186304 11782 33554432000 4194304 4196468 140722347906720 140722347889264 140255139712759 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
/proc/25527/statm: 3521774 11782 3235 1 0 3483008 0
[pid=25527/tid=25528] ppid=25525 vsize=14087096 memory=8514701219881125277 CPUtime=0.29 cores=0,2,4,6
/proc/25527/task/25528/stat : 25528 (java) R 25525 25525 22065 0 -1 4202560 5759 0 0 0 27 2 0 0 20 0 15 0 65270520 14425186304 11782 33554432000 4194304 4196468 140722347906720 140255143946544 140255123793246 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25529] ppid=25525 vsize=14087096 memory=3472467810345399504 CPUtime=0 cores=0,2,4,6
/proc/25527/task/25529/stat : 25529 (java) S 25525 25525 22065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 65270521 14425186304 11782 33554432000 4194304 4196468 140722347906720 140255111555344 140255139722965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25530] ppid=25525 vsize=14087096 memory=139681450247808 CPUtime=0 cores=0,2,4,6
/proc/25527/task/25530/stat : 25530 (java) S 25525 25525 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65270521 14425186304 11782 33554432000 4194304 4196468 140722347906720 140254734293392 140255139722965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25531] ppid=25525 vsize=14087096 memory=18 CPUtime=0 cores=0,2,4,6
/proc/25527/task/25531/stat : 25531 (java) S 25525 25525 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65270521 14425186304 11782 33554432000 4194304 4196468 140722347906720 140254733240848 140255139722965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25532] ppid=25525 vsize=14087096 memory=139681329195039 CPUtime=0 cores=0,2,4,6
/proc/25527/task/25532/stat : 25532 (java) S 25525 25525 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65270521 14425186304 11782 33554432000 4194304 4196468 140722347906720 140254732188304 140255139722965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25533] ppid=25525 vsize=14087096 memory=279362658350848 CPUtime=0 cores=0,2,4,6
/proc/25527/task/25533/stat : 25533 (java) S 25525 25525 22065 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 65270522 14425186304 11782 33554432000 4194304 4196468 140722347906720 140254613821936 140255139723906 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25534] ppid=25525 vsize=14087096 memory=139681329171983 CPUtime=0 cores=0,2,4,6
/proc/25527/task/25534/stat : 25534 (java) S 25525 25525 22065 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 65270523 14425186304 11782 33554432000 4194304 4196468 140722347906720 140254612768160 140255139722965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25535] ppid=25525 vsize=14087096 memory=279362779428960 CPUtime=0 cores=0,2,4,6
/proc/25527/task/25535/stat : 25535 (java) S 25525 25525 22065 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 65270523 14425186304 11782 33554432000 4194304 4196468 140722347906720 140254611715568 140255139722965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25536] ppid=25525 vsize=14087096 memory=139681329176591 CPUtime=0 cores=0,2,4,6
/proc/25527/task/25536/stat : 25536 (java) S 25525 25525 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65270525 14425186304 11782 33554432000 4194304 4196468 140722347906720 140254610664144 140255139731355 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25537] ppid=25525 vsize=14087096 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/25527/task/25537/stat : 25537 (java) S 25525 25525 22065 0 -1 1077944384 583 0 0 0 4 0 0 0 20 0 15 0 65270525 14425186304 11782 33554432000 4194304 4196468 140722347906720 140254609610736 140255139723906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25538] ppid=25525 vsize=14087096 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/25527/task/25538/stat : 25538 (java) S 25525 25525 22065 0 -1 1077944384 286 0 0 0 4 0 0 0 20 0 15 0 65270525 14425186304 11782 33554432000 4194304 4196468 140722347906720 140254608558192 140255139723906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25539] ppid=25525 vsize=14087096 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/25527/task/25539/stat : 25539 (java) S 25525 25525 22065 0 -1 1077944384 1014 0 0 0 11 0 0 0 20 0 15 0 65270525 14425186304 11782 33554432000 4194304 4196468 140722347906720 140254607505648 140255139723906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25540] ppid=25525 vsize=14087096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25527/task/25540/stat : 25540 (java) S 25525 25525 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65270525 14425186304 11782 33554432000 4194304 4196468 140722347906720 140254606453344 140255139722965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25541] ppid=25525 vsize=14087096 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/25527/task/25541/stat : 25541 (java) S 25525 25525 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65270526 14425186304 11782 33554432000 4194304 4196468 140722347906720 140254605400880 140255139723906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 48584 KiB
[startup+0.700844 s]
/proc/loadavg: 1.28 1.46 1.62 6/218 25541
/proc/meminfo: memFree=20449160/32770624 swapFree=67108860/67108860
[pid=25525] ppid=25522 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/25525/stat : 25525 (xcsp3-exec) S 25522 25525 22065 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 65270520 115843072 364 33554432000 4194304 5098028 140725987059520 140725987057624 140661607330428 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23908352 140725987062843 140725987063044 140725987063044 140725987065802 0
/proc/25525/statm: 28282 364 306 221 0 87 0
[pid=25527] ppid=25525 vsize=14089220 memory=84368 CPUtime=1.59 cores=0,2,4,6
/proc/25527/stat : 25527 (java) S 25525 25525 22065 0 -1 1077944320 12739 0 0 0 153 6 0 0 20 0 15 0 65270520 14427361280 21092 33554432000 4194304 4196468 140722347906720 140722347889264 140255139712759 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
/proc/25527/statm: 3522305 21092 3338 1 0 3483520 0
[pid=25527/tid=25528] ppid=25525 vsize=14089220 memory=7660742144744843625 CPUtime=0.67 cores=0,2,4,6
/proc/25527/task/25528/stat : 25528 (java) S 25525 25525 22065 0 -1 1077944384 6625 0 0 0 64 3 0 0 20 0 15 0 65270520 14427361280 21092 33554432000 4194304 4196468 140722347906720 140255143947840 140255139722965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25529] ppid=25525 vsize=14089220 memory=5865465064658194540 CPUtime=0 cores=0,2,4,6
/proc/25527/task/25529/stat : 25529 (java) S 25525 25525 22065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 65270521 14427361280 21092 33554432000 4194304 4196468 140722347906720 140255111555344 140255139722965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25530] ppid=25525 vsize=14089220 memory=4638778398332764256 CPUtime=0 cores=0,2,4,6
/proc/25527/task/25530/stat : 25530 (java) S 25525 25525 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65270521 14427361280 21092 33554432000 4194304 4196468 140722347906720 140254734293392 140255139722965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25531] ppid=25525 vsize=14089220 memory=-7242455096852575424 CPUtime=0 cores=0,2,4,6
/proc/25527/task/25531/stat : 25531 (java) S 25525 25525 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65270521 14427361280 21092 33554432000 4194304 4196468 140722347906720 140254733240848 140255139722965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25532] ppid=25525 vsize=14089220 memory=8326441112149131693 CPUtime=0 cores=0,2,4,6
/proc/25527/task/25532/stat : 25532 (java) S 25525 25525 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65270521 14427361280 21092 33554432000 4194304 4196468 140722347906720 140254732188304 140255139722965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25533] ppid=25525 vsize=14089220 memory=-7737605734073691286 CPUtime=0 cores=0,2,4,6
/proc/25527/task/25533/stat : 25533 (java) S 25525 25525 22065 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 65270522 14427361280 21092 33554432000 4194304 4196468 140722347906720 140254613821936 140255139723906 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25534] ppid=25525 vsize=14089220 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/25527/task/25534/stat : 25534 (java) S 25525 25525 22065 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 65270523 14427361280 21092 33554432000 4194304 4196468 140722347906720 140254612768160 140255139722965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25535] ppid=25525 vsize=14089220 memory=6884 CPUtime=0 cores=0,2,4,6
/proc/25527/task/25535/stat : 25535 (java) S 25525 25525 22065 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 65270523 14427361280 21092 33554432000 4194304 4196468 140722347906720 140254611715568 140255139722965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25536] ppid=25525 vsize=14089220 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/25527/task/25536/stat : 25536 (java) S 25525 25525 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65270525 14427361280 21092 33554432000 4194304 4196468 140722347906720 140254610664144 140255139731355 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25537] ppid=25525 vsize=14089220 memory=19880 CPUtime=0.24 cores=0,2,4,6
/proc/25527/task/25537/stat : 25537 (java) R 25525 25525 22065 0 -1 4202560 1402 0 0 0 24 0 0 0 20 0 15 0 65270525 14427361280 21092 33554432000 4194304 4196468 140722347906720 140254609594208 140255121257344 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25538] ppid=25525 vsize=14089220 memory=1296 CPUtime=0.24 cores=0,2,4,6
/proc/25527/task/25538/stat : 25538 (java) R 25525 25525 22065 0 -1 4202560 1227 0 0 0 24 0 0 0 20 0 15 0 65270525 14427361280 21092 33554432000 4194304 4196468 140722347906720 140254608539208 140255132809651 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25539] ppid=25525 vsize=14089220 memory=2412 CPUtime=0.4 cores=0,2,4,6
/proc/25527/task/25539/stat : 25539 (java) R 25525 25525 22065 0 -1 1077944384 2183 0 0 0 39 1 0 0 20 0 15 0 65270525 14427361280 21092 33554432000 4194304 4196468 140722347906720 140254607503184 140255139722965 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25540] ppid=25525 vsize=14089220 memory=7668012111147524688 CPUtime=0 cores=0,2,4,6
/proc/25527/task/25540/stat : 25540 (java) S 25525 25525 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65270525 14427361280 21092 33554432000 4194304 4196468 140722347906720 140254606453344 140255139722965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25541] ppid=25525 vsize=14089220 memory=7451579857426993518 CPUtime=0 cores=0,2,4,6
/proc/25527/task/25541/stat : 25541 (java) S 25525 25525 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65270526 14427361280 21092 33554432000 4194304 4196468 140722347906720 140254605400880 140255139723906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
Current children cumulated CPU time: 1.59 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 85824 KiB
[startup+1.50081 s]
/proc/loadavg: 1.28 1.46 1.62 5/218 25541
/proc/meminfo: memFree=20406420/32770624 swapFree=67108860/67108860
[pid=25525] ppid=25522 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/25525/stat : 25525 (xcsp3-exec) S 25522 25525 22065 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 65270520 115843072 364 33554432000 4194304 5098028 140725987059520 140725987057624 140661607330428 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23908352 140725987062843 140725987063044 140725987063044 140725987065802 0
/proc/25525/statm: 28282 364 306 221 0 87 0
################
# More data... #
################
/proc/25527/task/25535/stat : 25535 (java) S 25525 25525 22065 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 65270523 14429458432 46174 33554432000 4194304 4196468 140722347906720 140254611715568 140255139722965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25536] ppid=25525 vsize=14091268 memory=185208 CPUtime=0 cores=0,2,4,6
/proc/25527/task/25536/stat : 25536 (java) S 25525 25525 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65270525 14429458432 46174 33554432000 4194304 4196468 140722347906720 140254610664144 140255139731355 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25537] ppid=25525 vsize=14091268 memory=1456 CPUtime=2.74 cores=0,2,4,6
/proc/25527/task/25537/stat : 25537 (java) S 25525 25525 22065 0 -1 1077944384 18356 0 0 0 272 2 0 0 20 0 15 0 65270525 14429458432 46174 33554432000 4194304 4196468 140722347906720 140254609610736 140255139723906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25538] ppid=25525 vsize=14091268 memory=1456 CPUtime=2.33 cores=0,2,4,6
/proc/25527/task/25538/stat : 25538 (java) S 25525 25525 22065 0 -1 1077944384 20020 0 0 0 230 3 0 0 20 0 15 0 65270525 14429458432 46174 33554432000 4194304 4196468 140722347906720 140254608558192 140255139723906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25539] ppid=25525 vsize=14091268 memory=184696 CPUtime=0.71 cores=0,2,4,6
/proc/25527/task/25539/stat : 25539 (java) S 25525 25525 22065 0 -1 1077944384 9713 0 0 0 69 2 0 0 20 0 15 0 65270525 14429458432 46174 33554432000 4194304 4196468 140722347906720 140254607505648 140255139723906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 24 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25540] ppid=25525 vsize=14091268 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/25527/task/25540/stat : 25540 (java) S 25525 25525 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65270525 14429458432 46174 33554432000 4194304 4196468 140722347906720 140254606453344 140255139722965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25541] ppid=25525 vsize=14091268 memory=184696 CPUtime=0.7 cores=0,2,4,6
/proc/25527/task/25541/stat : 25541 (java) S 25525 25525 22065 0 -1 1077944384 1497 0 0 0 34 36 0 0 20 0 15 0 65270526 14429458432 46174 33554432000 4194304 4196468 140722347906720 140254605400880 140255139723906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 28 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
Current children cumulated CPU time: 2329.93 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 186152 KiB
[startup+2382.3 s]
/proc/loadavg: 1.45 1.57 1.69 3/218 25766
/proc/meminfo: memFree=20325524/32770624 swapFree=67108860/67108860
[pid=25525] ppid=25522 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/25525/stat : 25525 (xcsp3-exec) S 25522 25525 22065 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 65270520 115843072 364 33554432000 4194304 5098028 140725987059520 140725987057624 140661607330428 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23908352 140725987062843 140725987063044 140725987063044 140725987065802 0
/proc/25525/statm: 28282 364 306 221 0 87 0
[pid=25527] ppid=25525 vsize=14091268 memory=179048 CPUtime=2390.04 cores=0,2,4,6
/proc/25527/stat : 25527 (java) S 25525 25525 22065 0 -1 1077944320 86676 0 0 0 238957 47 0 0 20 0 15 0 65270520 14429458432 44762 33554432000 4194304 4196468 140722347906720 140722347889264 140255139712759 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
/proc/25527/statm: 3522817 44762 3392 1 0 3484032 0
[pid=25527/tid=25528] ppid=25525 vsize=14091268 memory=179560 CPUtime=2381.19 cores=0,2,4,6
/proc/25527/task/25528/stat : 25528 (java) R 25525 25525 22065 0 -1 4202560 19018 0 0 0 238112 7 0 0 20 0 15 0 65270520 14429458432 44762 33554432000 4194304 4196468 140722347906720 140255143952304 140254782470745 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25529] ppid=25525 vsize=14091268 memory=179560 CPUtime=0.49 cores=0,2,4,6
/proc/25527/task/25529/stat : 25529 (java) S 25525 25525 22065 0 -1 1077944384 3148 0 0 0 47 2 0 0 20 0 15 0 65270521 14429458432 44762 33554432000 4194304 4196468 140722347906720 140255111555344 140255139722965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25530] ppid=25525 vsize=14091268 memory=1456 CPUtime=0.48 cores=0,2,4,6
/proc/25527/task/25530/stat : 25530 (java) S 25525 25525 22065 0 -1 1077944384 4056 0 0 0 45 3 0 0 20 0 15 0 65270521 14429458432 44762 33554432000 4194304 4196468 140722347906720 140254734293392 140255139722965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25531] ppid=25525 vsize=14091268 memory=1456 CPUtime=0.48 cores=0,2,4,6
/proc/25527/task/25531/stat : 25531 (java) S 25525 25525 22065 0 -1 1077944384 2551 0 0 0 46 2 0 0 20 0 15 0 65270521 14429458432 44762 33554432000 4194304 4196468 140722347906720 140254733240848 140255139722965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25532] ppid=25525 vsize=14091268 memory=179048 CPUtime=0.48 cores=0,2,4,6
/proc/25527/task/25532/stat : 25532 (java) S 25525 25525 22065 0 -1 1077944384 3342 0 0 0 47 1 0 0 20 0 15 0 65270521 14429458432 44762 33554432000 4194304 4196468 140722347906720 140254732188304 140255139722965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25533] ppid=25525 vsize=14091268 memory=1456 CPUtime=0.32 cores=0,2,4,6
/proc/25527/task/25533/stat : 25533 (java) S 25525 25525 22065 0 -1 1077944384 3612 0 0 0 29 3 0 0 20 0 15 0 65270522 14429458432 44762 33554432000 4194304 4196468 140722347906720 140254613821936 140255139723906 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25534] ppid=25525 vsize=14091268 memory=184692 CPUtime=0 cores=0,2,4,6
/proc/25527/task/25534/stat : 25534 (java) S 25525 25525 22065 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 65270523 14429458432 44762 33554432000 4194304 4196468 140722347906720 140254612768160 140255139722965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25535] ppid=25525 vsize=14091268 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25527/task/25535/stat : 25535 (java) S 25525 25525 22065 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 65270523 14429458432 44762 33554432000 4194304 4196468 140722347906720 140254611715568 140255139722965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25536] ppid=25525 vsize=14091268 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/25527/task/25536/stat : 25536 (java) S 25525 25525 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65270525 14429458432 44762 33554432000 4194304 4196468 140722347906720 140254610664144 140255139731355 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25537] ppid=25525 vsize=14091268 memory=1456 CPUtime=2.74 cores=0,2,4,6
/proc/25527/task/25537/stat : 25537 (java) S 25525 25525 22065 0 -1 1077944384 18356 0 0 0 272 2 0 0 20 0 15 0 65270525 14429458432 44762 33554432000 4194304 4196468 140722347906720 140254609610736 140255139723906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25538] ppid=25525 vsize=14091268 memory=0 CPUtime=2.33 cores=0,2,4,6
/proc/25527/task/25538/stat : 25538 (java) S 25525 25525 22065 0 -1 1077944384 20020 0 0 0 230 3 0 0 20 0 15 0 65270525 14429458432 44762 33554432000 4194304 4196468 140722347906720 140254608558192 140255139723906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25539] ppid=25525 vsize=14091268 memory=1456 CPUtime=0.71 cores=0,2,4,6
/proc/25527/task/25539/stat : 25539 (java) S 25525 25525 22065 0 -1 1077944384 9713 0 0 0 69 2 0 0 20 0 15 0 65270525 14429458432 44762 33554432000 4194304 4196468 140722347906720 140254607505648 140255139723906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 24 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25540] ppid=25525 vsize=14091268 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/25527/task/25540/stat : 25540 (java) S 25525 25525 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65270525 14429458432 44762 33554432000 4194304 4196468 140722347906720 140254606453344 140255139722965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25541] ppid=25525 vsize=14091268 memory=1692 CPUtime=0.72 cores=0,2,4,6
/proc/25527/task/25541/stat : 25541 (java) S 25525 25525 22065 0 -1 1077944384 1501 0 0 0 34 38 0 0 20 0 15 0 65270526 14429458432 44762 33554432000 4194304 4196468 140722347906720 140254605400880 140255139723906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 28 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
Current children cumulated CPU time: 2390.04 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 180504 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2392.3 s]
/proc/loadavg: 1.46 1.57 1.69 3/218 25766
/proc/meminfo: memFree=20326020/32770624 swapFree=67108860/67108860
[pid=25525] ppid=25522 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/25525/stat : 25525 (xcsp3-exec) S 25522 25525 22065 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 65270520 115843072 364 33554432000 4194304 5098028 140725987059520 140725987057624 140661607330428 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23908352 140725987062843 140725987063044 140725987063044 140725987065802 0
/proc/25525/statm: 28282 364 306 221 0 87 0
[pid=25527] ppid=25525 vsize=14091268 memory=178536 CPUtime=2400.05 cores=0,2,4,6
/proc/25527/stat : 25527 (java) S 25525 25525 22065 0 -1 1077944320 86790 0 0 0 239958 47 0 0 20 0 15 0 65270520 14429458432 44634 33554432000 4194304 4196468 140722347906720 140722347889264 140255139712759 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
/proc/25527/statm: 3522817 44634 3392 1 0 3484032 0
[pid=25527/tid=25528] ppid=25525 vsize=14091268 memory=178536 CPUtime=2391.19 cores=0,2,4,6
/proc/25527/task/25528/stat : 25528 (java) R 25525 25525 22065 0 -1 4202560 19023 0 0 0 239112 7 0 0 20 0 15 0 65270520 14429458432 44634 33554432000 4194304 4196468 140722347906720 140255143951680 140254782113908 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25529] ppid=25525 vsize=14091268 memory=179048 CPUtime=0.49 cores=0,2,4,6
/proc/25527/task/25529/stat : 25529 (java) S 25525 25525 22065 0 -1 1077944384 3173 0 0 0 47 2 0 0 20 0 15 0 65270521 14429458432 44634 33554432000 4194304 4196468 140722347906720 140255111555344 140255139722965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25530] ppid=25525 vsize=14091268 memory=179048 CPUtime=0.48 cores=0,2,4,6
/proc/25527/task/25530/stat : 25530 (java) S 25525 25525 22065 0 -1 1077944384 4093 0 0 0 45 3 0 0 20 0 15 0 65270521 14429458432 44634 33554432000 4194304 4196468 140722347906720 140254734293392 140255139722965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25531] ppid=25525 vsize=14091268 memory=1456 CPUtime=0.48 cores=0,2,4,6
/proc/25527/task/25531/stat : 25531 (java) S 25525 25525 22065 0 -1 1077944384 2565 0 0 0 46 2 0 0 20 0 15 0 65270521 14429458432 44634 33554432000 4194304 4196468 140722347906720 140254733240848 140255139722965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25532] ppid=25525 vsize=14091268 memory=1456 CPUtime=0.48 cores=0,2,4,6
/proc/25527/task/25532/stat : 25532 (java) S 25525 25525 22065 0 -1 1077944384 3371 0 0 0 47 1 0 0 20 0 15 0 65270521 14429458432 44634 33554432000 4194304 4196468 140722347906720 140254732188304 140255139722965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25533] ppid=25525 vsize=14091268 memory=179048 CPUtime=0.32 cores=0,2,4,6
/proc/25527/task/25533/stat : 25533 (java) S 25525 25525 22065 0 -1 1077944384 3616 0 0 0 29 3 0 0 20 0 15 0 65270522 14429458432 44634 33554432000 4194304 4196468 140722347906720 140254613821936 140255139723906 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25534] ppid=25525 vsize=14091268 memory=178536 CPUtime=0 cores=0,2,4,6
/proc/25527/task/25534/stat : 25534 (java) S 25525 25525 22065 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 65270523 14429458432 44634 33554432000 4194304 4196468 140722347906720 140254612768160 140255139722965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25535] ppid=25525 vsize=14091268 memory=178536 CPUtime=0 cores=0,2,4,6
/proc/25527/task/25535/stat : 25535 (java) S 25525 25525 22065 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 65270523 14429458432 44634 33554432000 4194304 4196468 140722347906720 140254611715568 140255139722965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25536] ppid=25525 vsize=14091268 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/25527/task/25536/stat : 25536 (java) S 25525 25525 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65270525 14429458432 44634 33554432000 4194304 4196468 140722347906720 140254610664144 140255139731355 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25537] ppid=25525 vsize=14091268 memory=1456 CPUtime=2.74 cores=0,2,4,6
/proc/25527/task/25537/stat : 25537 (java) S 25525 25525 22065 0 -1 1077944384 18356 0 0 0 272 2 0 0 20 0 15 0 65270525 14429458432 44634 33554432000 4194304 4196468 140722347906720 140254609610736 140255139723906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25538] ppid=25525 vsize=14091268 memory=178536 CPUtime=2.33 cores=0,2,4,6
/proc/25527/task/25538/stat : 25538 (java) S 25525 25525 22065 0 -1 1077944384 20020 0 0 0 230 3 0 0 20 0 15 0 65270525 14429458432 44634 33554432000 4194304 4196468 140722347906720 140254608558192 140255139723906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25539] ppid=25525 vsize=14091268 memory=1456 CPUtime=0.71 cores=0,2,4,6
/proc/25527/task/25539/stat : 25539 (java) S 25525 25525 22065 0 -1 1077944384 9713 0 0 0 69 2 0 0 20 0 15 0 65270525 14429458432 44634 33554432000 4194304 4196468 140722347906720 140254607505648 140255139723906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 24 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25540] ppid=25525 vsize=14091268 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25527/task/25540/stat : 25540 (java) S 25525 25525 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65270525 14429458432 44634 33554432000 4194304 4196468 140722347906720 140254606453344 140255139722965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25541] ppid=25525 vsize=14091268 memory=184692 CPUtime=0.72 cores=0,2,4,6
/proc/25527/task/25541/stat : 25541 (java) S 25525 25525 22065 0 -1 1077944384 1501 0 0 0 34 38 0 0 20 0 15 0 65270526 14429458432 44634 33554432000 4194304 4196468 140722347906720 140254605400880 140255139723906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 28 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 179992 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2392.31 s]
# the end of solver process 25525 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001144 s, system=0.001144 s
[startup+2392.31 s]
# the end of solver process 25527 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.59 s, system=0.476269 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2392.3 s]
/proc/loadavg: 1.46 1.57 1.69 3/218 25766
/proc/meminfo: memFree=20326020/32770624 swapFree=67108860/67108860
[pid=25525] ppid=25522 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/25525/stat : 25525 (xcsp3-exec) S 25522 25525 22065 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 65270520 115843072 364 33554432000 4194304 5098028 140725987059520 140725987057624 140661607330428 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23908352 140725987062843 140725987063044 140725987063044 140725987065802 0
/proc/25525/statm: 28282 364 306 221 0 87 0
[pid=25527] ppid=25525 vsize=14091268 memory=178536 CPUtime=2400.05 cores=0,2,4,6
/proc/25527/stat : 25527 (java) S 25525 25525 22065 0 -1 1077944320 86790 0 0 0 239958 47 0 0 20 0 15 0 65270520 14429458432 44634 33554432000 4194304 4196468 140722347906720 140722347889264 140255139712759 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
/proc/25527/statm: 3522817 44634 3392 1 0 3484032 0
[pid=25527/tid=25528] ppid=25525 vsize=14091268 memory=178536 CPUtime=2391.19 cores=0,2,4,6
/proc/25527/task/25528/stat : 25528 (java) R 25525 25525 22065 0 -1 4202560 19023 0 0 0 239112 7 0 0 20 0 15 0 65270520 14429458432 44634 33554432000 4194304 4196468 140722347906720 140255143951680 140254782113908 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25529] ppid=25525 vsize=14091268 memory=179048 CPUtime=0.49 cores=0,2,4,6
/proc/25527/task/25529/stat : 25529 (java) S 25525 25525 22065 0 -1 1077944384 3173 0 0 0 47 2 0 0 20 0 15 0 65270521 14429458432 44634 33554432000 4194304 4196468 140722347906720 140255111555344 140255139722965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25530] ppid=25525 vsize=14091268 memory=179048 CPUtime=0.48 cores=0,2,4,6
/proc/25527/task/25530/stat : 25530 (java) S 25525 25525 22065 0 -1 1077944384 4093 0 0 0 45 3 0 0 20 0 15 0 65270521 14429458432 44634 33554432000 4194304 4196468 140722347906720 140254734293392 140255139722965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25531] ppid=25525 vsize=14091268 memory=1456 CPUtime=0.48 cores=0,2,4,6
/proc/25527/task/25531/stat : 25531 (java) S 25525 25525 22065 0 -1 1077944384 2565 0 0 0 46 2 0 0 20 0 15 0 65270521 14429458432 44634 33554432000 4194304 4196468 140722347906720 140254733240848 140255139722965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25532] ppid=25525 vsize=14091268 memory=1456 CPUtime=0.48 cores=0,2,4,6
/proc/25527/task/25532/stat : 25532 (java) S 25525 25525 22065 0 -1 1077944384 3371 0 0 0 47 1 0 0 20 0 15 0 65270521 14429458432 44634 33554432000 4194304 4196468 140722347906720 140254732188304 140255139722965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25533] ppid=25525 vsize=14091268 memory=179048 CPUtime=0.32 cores=0,2,4,6
/proc/25527/task/25533/stat : 25533 (java) S 25525 25525 22065 0 -1 1077944384 3616 0 0 0 29 3 0 0 20 0 15 0 65270522 14429458432 44634 33554432000 4194304 4196468 140722347906720 140254613821936 140255139723906 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25534] ppid=25525 vsize=14091268 memory=178536 CPUtime=0 cores=0,2,4,6
/proc/25527/task/25534/stat : 25534 (java) S 25525 25525 22065 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 65270523 14429458432 44634 33554432000 4194304 4196468 140722347906720 140254612768160 140255139722965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25535] ppid=25525 vsize=14091268 memory=178536 CPUtime=0 cores=0,2,4,6
/proc/25527/task/25535/stat : 25535 (java) S 25525 25525 22065 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 65270523 14429458432 44634 33554432000 4194304 4196468 140722347906720 140254611715568 140255139722965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25536] ppid=25525 vsize=14091268 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/25527/task/25536/stat : 25536 (java) S 25525 25525 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65270525 14429458432 44634 33554432000 4194304 4196468 140722347906720 140254610664144 140255139731355 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25537] ppid=25525 vsize=14091268 memory=1456 CPUtime=2.74 cores=0,2,4,6
/proc/25527/task/25537/stat : 25537 (java) S 25525 25525 22065 0 -1 1077944384 18356 0 0 0 272 2 0 0 20 0 15 0 65270525 14429458432 44634 33554432000 4194304 4196468 140722347906720 140254609610736 140255139723906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25538] ppid=25525 vsize=14091268 memory=178536 CPUtime=2.33 cores=0,2,4,6
/proc/25527/task/25538/stat : 25538 (java) S 25525 25525 22065 0 -1 1077944384 20020 0 0 0 230 3 0 0 20 0 15 0 65270525 14429458432 44634 33554432000 4194304 4196468 140722347906720 140254608558192 140255139723906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25539] ppid=25525 vsize=14091268 memory=1456 CPUtime=0.71 cores=0,2,4,6
/proc/25527/task/25539/stat : 25539 (java) S 25525 25525 22065 0 -1 1077944384 9713 0 0 0 69 2 0 0 20 0 15 0 65270525 14429458432 44634 33554432000 4194304 4196468 140722347906720 140254607505648 140255139723906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 24 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25540] ppid=25525 vsize=14091268 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25527/task/25540/stat : 25540 (java) S 25525 25525 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65270525 14429458432 44634 33554432000 4194304 4196468 140722347906720 140254606453344 140255139722965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
[pid=25527/tid=25541] ppid=25525 vsize=14091268 memory=184692 CPUtime=0.72 cores=0,2,4,6
/proc/25527/task/25541/stat : 25541 (java) S 25525 25525 22065 0 -1 1077944384 1501 0 0 0 34 38 0 0 20 0 15 0 65270526 14429458432 44634 33554432000 4194304 4196468 140722347906720 140254605400880 140255139723906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 28 0 0 6293624 6294260 19152896 140722347910273 140722347910449 140722347910449 140722347913167 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 179992 KiB
Child status: 143
Real time (s): 2392.31
CPU time (s): 2400.07
CPU user time (s): 2399.59
CPU system time (s): 0.476269
CPU usage (%): 100.324
Max. virtual memory (cumulated for all children) (KiB): 14208220
Max. memory (cumulated for all children) (KiB): 230660
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.59
system time used= 0.476269
maximum resident set size= 232252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87557
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 62317
involuntary context switches= 2992
# summary of solver processes directly reported to runsolver:
# pid: 25525,25527
# total CPU time (s): 2400.07
# total CPU user time (s): 2399.59
# total CPU system time (s): 0.476269
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.5263 second user time and 15.9804 second system time
The end
Begin job on node103 at 2018-07-25 02:04:33 IDJOB=4292446 IDBENCH=141431 IDSOLVER=2747 FILE ID=node103/4292446-1532477073 RUNJOBID= node103-1532448430-22096 PBS_JOBID= 21021580 Free space on /tmp= 56708 MiB SOLVER NAME= Choco-solver 4.0.7 seq (493a269) BENCH NAME= XCSP18/LowAutocorrelation/LowAutocorrelation-030_c18.xml COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 11000 -p 1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4292446-1532477073/watcher-4292446-1532477073 -o /tmp/evaluation-result-4292446-1532477073/solver-4292446-1532477073 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532448430-22096 --watchdog 2560 HOME/xcsp3-exec -seed 820961732 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292446-1532477073.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 2e7b3311de08b1eac0c79f49a369770d RANDOM SEED=820961732 node103.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.48 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.48 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.48 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.48 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: 20497532 kB MemAvailable: 31770252 kB Buffers: 273252 kB Cached: 11187936 kB SwapCached: 0 kB Active: 3680712 kB Inactive: 8002480 kB Active(anon): 224920 kB Inactive(anon): 16996 kB Active(file): 3455792 kB Inactive(file): 7985484 kB Unevictable: 7116 kB Mlocked: 7116 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 20564 kB Writeback: 0 kB AnonPages: 228436 kB Mapped: 51548 kB Shmem: 17036 kB Slab: 287832 kB SReclaimable: 259904 kB SUnreclaim: 27928 kB KernelStack: 3856 kB PageTables: 5880 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1159888 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 155648 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 56688 MiB End job on node103 at 2018-07-25 02:44:26