Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco-sat 1.12 | SAT (TO) | 6 | 2520.1699 | 2520.27 |
| Name | ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-23-25.xml |
| MD5SUM | d34e1ab3749b5ab5f756e156ef97f2b6 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 6 |
| Best CPU time to get the best result obtained on this benchmark | 2519.9399 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 575 |
| Number of constraints | 75901 |
| Number of domains | 1 |
| Minimum domain size | 575 |
| Maximum domain size | 575 |
| Distribution of domain sizes | [{"size":575,"count":575}] |
| Minimum variable degree | 530 |
| Maximum variable degree | 530 |
| Distribution of variable degrees | [{"degree":530,"count":575}] |
| Minimum constraint arity | 4 |
| Maximum constraint arity | 575 |
| Distribution of constraint arities | [{"arity":4,"count":75900},{"arity":575,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 75900 |
| Distribution of constraint types | [{"type":"intension","count":75900},{"type":"lex","count":1}] |
| Optimization problem | YES |
| Type of objective | min MAXIMUM |
94.19/94.29 c SAT : Variables: 330625 -- Clauses: 94889950 94.29/94.31 c best=?? lower=0 upper=574 112.39/112.48 c 112.39/112.48 c This is cosoco 1.12 -- 112.39/112.48 c 112.39/112.48 c command line: cosoco -lc -model -restarts -sat HOME/instance-4266483-1502593736.xml 112.39/112.48 c enable optimization 112.39/112.48 c ========================================[ Problem Statistics ]=========================================== 112.39/112.48 c | 112.39/112.48 c | Parse time : 92.27 s 112.39/112.48 c | 112.39/112.48 c | Variables: 575 112.39/112.48 c | Domain Sizes: 575..575 112.39/112.48 c | 112.39/112.48 c | Constraints: 75947 112.39/112.48 c | Arity: 4..575 112.39/112.48 c | 112.39/112.48 c | Types: 112.39/112.48 c | Intension: 75900 112.39/112.48 c | Lex: 46 112.39/112.48 c | Max constant: 1 112.39/112.48 c | 112.39/112.48 c ========================================================================================================= 112.39/112.48 o 13 112.39/112.48 c 1 calls to solver: best=13 lower=0 upper=12 125.59/125.61 o 12 142.69/142.79 o 10 142.69/142.79 c 3 calls to solver: best=10 lower=0 upper=9 153.58/153.68 o 9 170.10/170.12 o 8 170.10/170.12 c 5 calls to solver: best=8 lower=0 upper=7 200.88/200.99 o 7 907.43/907.56 o 6 907.43/907.56 c 7 calls to solver: best=6 lower=0 upper=5 2519.90/2520.01 2519.90/2520.01 c *** INTERRUPTED *** 2519.90/2520.01 c restarts : 545 2519.90/2520.01 c conflicts : 77794 (31 /sec) 2519.90/2520.01 c decisions : 357158 (142 /sec) 2519.90/2520.01 c propagations : 4742309 (1887 /sec) 2519.90/2520.01 c root propagations : 566303 2519.90/2520.01 c filter calls : 1103064449 (438972 /sec) 2519.90/2520.01 c useless filter calls : 1099894033 (99 %) 2519.90/2520.01 c 2519.90/2520.01 c clauses : 94894578 2519.90/2520.01 c SAT propagations : 754 2519.90/2520.01 c SAT conflicts : 0 (0 learnts) 2519.90/2520.01 c Memory used : 9361.87 MB 2519.90/2520.01 c CPU time : 2512.84 s 2519.90/2520.01 2519.90/2520.01 c nb Solutions = 7 2519.90/2520.01 s SATISFIABLE 2519.90/2520.01 c Best value found: 6 2519.90/2520.01 2519.90/2520.01 2519.90/2520.01 v <instantiation type='solution' cost='6'> 2519.90/2520.01 v <list>x[0][0] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][1] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[10][0] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][1] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[11][0] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][1] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[12][0] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][1] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[13][0] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][1] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[14][0] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][1] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[15][0] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][1] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[16][0] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][1] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[17][0] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][1] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[18][0] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][1] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[19][0] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][1] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[1][0] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][1] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[20][0] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][1] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[21][0] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][1] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[22][0] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][1] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[2][0] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][1] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[3][0] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][1] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[4][0] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][1] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[5][0] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][1] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[6][0] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][1] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[7][0] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][1] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[8][0] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][1] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[9][0] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][1] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] </list> 2519.90/2520.01 v <values>0 5 5 5 5 5 5 6 6 6 6 1 6 6 6 6 6 1 1 2 3 4 4 4 5 3 2 3 0 3 4 6 4 3 5 5 1 5 2 6 0 5 0 3 5 5 5 2 4 5 3 4 2 4 4 5 6 5 2 1 5 1 4 6 5 2 3 0 4 4 3 3 2 4 1 3 4 4 2 5 4 0 0 6 4 2 1 5 0 1 3 0 0 5 3 2 4 2 1 3 3 2 0 0 5 4 0 6 2 0 1 1 1 4 2 1 5 3 4 2 1 2 3 0 4 3 4 5 0 0 1 3 4 0 1 0 3 5 3 5 1 6 4 2 2 0 1 4 1 4 3 5 2 6 1 0 0 2 5 4 5 4 2 5 6 1 1 5 1 1 0 2 5 5 4 4 0 1 4 5 3 3 4 6 0 1 0 2 0 5 0 3 2 3 1 0 1 2 3 3 4 1 0 3 3 4 5 0 4 1 2 2 1 5 0 6 5 2 0 1 0 2 3 2 3 4 3 3 1 2 3 6 3 5 1 1 2 0 4 2 5 0 3 1 3 0 3 2 4 5 5 5 4 4 6 1 3 5 2 3 4 4 3 2 1 6 5 2 5 1 0 3 3 6 6 1 2 2 2 2 2 2 4 4 4 4 0 4 4 4 4 4 2 2 3 1 0 3 3 2 5 0 3 6 6 5 0 6 1 5 0 4 1 5 0 2 4 2 6 2 3 1 3 4 0 6 6 1 0 3 0 3 5 4 2 3 4 0 0 0 6 1 2 4 3 1 0 4 5 5 6 0 6 1 6 4 6 2 3 6 3 4 0 1 2 4 1 2 5 4 2 3 0 3 5 1 1 1 1 1 1 1 1 1 2 2 1 2 2 2 2 2 0 2 0 0 0 0 0 0 1 0 2 3 4 4 4 0 6 2 3 2 3 3 3 3 4 3 3 0 3 1 4 5 1 2 0 0 1 0 3 4 2 2 3 3 2 4 5 5 5 0 1 2 1 1 0 1 1 1 3 1 0 3 4 3 5 2 4 2 0 0 0 1 1 5 6 0 1 2 1 1 2 2 2 3 2 1 0 5 6 6 5 5 1 4 0 2 1 3 6 0 1 0 4 2 4 0 2 4 3 1 4 5 0 0 6 0 5 5 1 0 3 4 5 2 1 1 5 4 2 2 4 0 2 3 0 2 4 5 0 6 3 0 3 5 1 6 2 4 5 1 0 0 2 2 1 1 3 4 3 3 4 5 0 6 4 5 4 0 3 1 5 1 0 5 6 0 2 1 4 2 2 4 4 </values> 2519.90/2520.01 v </instantiation> 2519.90/2520.01
OK 6
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 (13042 MiB free)
memory of node 1: 16384 MiB (13647 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266483-1502593736/watcher-4266483-1502593736 -o /tmp/evaluation-result-4266483-1502593736/solver-4266483-1502593736 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1502567255-24591 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266483-1502593736.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=27569, runsolver pid=27566
[startup+0.100199 s]*
/proc/loadavg: 2.00 2.02 2.05 3/187 27570
/proc/meminfo: memFree=27327320/32770624 swapFree=67108860/67108860
[pid=27569] ppid=27566 vsize=30384 memory=6232 CPUtime=0.1 cores=0,2,4,6
/proc/27569/stat : 27569 (cosoco) R 27566 27569 24508 0 -1 4202496 1784 0 0 0 10 0 0 0 20 0 1 0 92461572 31113216 1558 33554432000 4194304 5972588 140721243738368 140721243735016 5674551 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 13254656 140721243747514 140721243747614 140721243747614 140721243750350 0
/proc/27569/statm: 7596 1558 716 435 0 959 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 30384 KiB
Current children cumulated memory: 6232 KiB
[startup+0.209558 s]*
/proc/loadavg: 2.00 2.02 2.05 3/187 27570
/proc/meminfo: memFree=27326948/32770624 swapFree=67108860/67108860
[pid=27569] ppid=27566 vsize=30708 memory=6668 CPUtime=0.21 cores=0,2,4,6
/proc/27569/stat : 27569 (cosoco) R 27566 27569 24508 0 -1 4202496 1906 0 0 0 21 0 0 0 20 0 1 0 92461572 31444992 1667 33554432000 4194304 5972588 140721243738368 140721243735016 140143776160768 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 13254656 140721243747514 140721243747614 140721243747614 140721243750350 0
/proc/27569/statm: 7677 1667 716 435 0 1040 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 30708 KiB
Current children cumulated memory: 6668 KiB
[startup+0.308889 s]*
/proc/loadavg: 2.00 2.02 2.05 3/187 27570
/proc/meminfo: memFree=27326576/32770624 swapFree=67108860/67108860
[pid=27569] ppid=27566 vsize=30972 memory=6928 CPUtime=0.31 cores=0,2,4,6
/proc/27569/stat : 27569 (cosoco) R 27566 27569 24508 0 -1 4202496 1988 0 0 0 31 0 0 0 20 0 1 0 92461572 31715328 1732 33554432000 4194304 5972588 140721243738368 140721243735016 5674583 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 13254656 140721243747514 140721243747614 140721243747614 140721243750350 0
/proc/27569/statm: 7743 1732 716 435 0 1106 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 30972 KiB
Current children cumulated memory: 6928 KiB
[startup+0.700336 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 27570
/proc/meminfo: memFree=27325568/32770624 swapFree=67108860/67108860
[pid=27569] ppid=27566 vsize=32148 memory=8296 CPUtime=0.69 cores=0,2,4,6
/proc/27569/stat : 27569 (cosoco) R 27566 27569 24508 0 -1 4202496 2402 0 0 0 69 0 0 0 20 0 1 0 92461572 32919552 2074 33554432000 4194304 5972588 140721243738368 140721243734936 5408449 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 13254656 140721243747514 140721243747614 140721243747614 140721243750350 0
/proc/27569/statm: 8037 2074 716 435 0 1400 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 32148 KiB
Current children cumulated memory: 8296 KiB
[startup+1.50034 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 27570
/proc/meminfo: memFree=27324308/32770624 swapFree=67108860/67108860
[pid=27569] ppid=27566 vsize=36168 memory=10960 CPUtime=1.49 cores=0,2,4,6
/proc/27569/stat : 27569 (cosoco) R 27566 27569 24508 0 -1 4202496 3631 0 0 0 148 1 0 0 20 0 1 0 92461572 37036032 2740 33554432000 4194304 5972588 140721243738368 140721243734936 5415114 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 13254656 140721243747514 140721243747614 140721243747614 140721243750350 0
/proc/27569/statm: 9042 2740 716 435 0 2405 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 36168 KiB
Current children cumulated memory: 10960 KiB
[startup+3.10943 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 27570
/proc/meminfo: memFree=27270676/32770624 swapFree=67108860/67108860
[pid=27569] ppid=27566 vsize=92212 memory=67156 CPUtime=3.1 cores=0,2,4,6
/proc/27569/stat : 27569 (cosoco) R 27566 27569 24508 0 -1 4202496 17936 0 0 0 307 3 0 0 20 0 1 0 92461572 94425088 16789 33554432000 4194304 5972588 140721243738368 140721243730136 4967517 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 13254656 140721243747514 140721243747614 140721243747614 140721243750350 0
/proc/27569/statm: 23053 16789 786 435 0 16416 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 92212 KiB
Current children cumulated memory: 67156 KiB
[startup+6.30033 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 27570
/proc/meminfo: memFree=27157472/32770624 swapFree=67108860/67108860
[pid=27569] ppid=27566 vsize=212652 memory=187880 CPUtime=6.29 cores=0,2,4,6
/proc/27569/stat : 27569 (cosoco) R 27566 27569 24508 0 -1 4202496 48442 0 0 0 622 7 0 0 20 0 1 0 92461572 217755648 46970 33554432000 4194304 5972588 140721243738368 140721243731928 140143775715130 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 13254656 140721243747514 140721243747614 140721243747614 140721243750350 0
/proc/27569/statm: 53163 46970 786 435 0 46526 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 212652 KiB
Current children cumulated memory: 187880 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27570
/proc/meminfo: memFree=26930660/32770624 swapFree=67108860/67108860
[pid=27569] ppid=27566 vsize=454368 memory=429448 CPUtime=12.69 cores=0,2,4,6
/proc/27569/stat : 27569 (cosoco) R 27566 27569 24508 0 -1 4202496 109597 0 0 0 1253 16 0 0 20 0 1 0 92461572 465272832 107362 33554432000 4194304 5972588 140721243738368 140721243731928 140143775715130 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 13254656 140721243747514 140721243747614 140721243747614 140721243750350 0
/proc/27569/statm: 113592 107362 786 435 0 106955 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 454368 KiB
Current children cumulated memory: 429448 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27571
/proc/meminfo: memFree=26439112/32770624 swapFree=67108860/67108860
[pid=27569] ppid=27566 vsize=937856 memory=913080 CPUtime=25.49 cores=0,2,4,6
/proc/27569/stat : 27569 (cosoco) R 27566 27569 24508 0 -1 4202496 231332 0 0 0 2517 32 0 0 20 0 1 0 92461572 960364544 228270 33554432000 4194304 5972588 140721243738368 140721243731928 140143775720031 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 13254656 140721243747514 140721243747614 140721243747614 140721243750350 0
/proc/27569/statm: 234497 228270 786 435 0 227860 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 937856 KiB
Current children cumulated memory: 913080 KiB
[startup+51.1094 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27571
/proc/meminfo: memFree=25454992/32770624 swapFree=67108860/67108860
[pid=27569] ppid=27566 vsize=1905552 memory=1880656 CPUtime=51.09 cores=0,2,4,6
/proc/27569/stat : 27569 (cosoco) R 27566 27569 24508 0 -1 4202496 473754 0 0 0 5043 66 0 0 20 0 1 0 92461572 1951285248 470164 33554432000 4194304 5972588 140721243738368 140721243731928 140143775722469 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 13254656 140721243747514 140721243747614 140721243747614 140721243750350 0
/proc/27569/statm: 476388 470164 786 435 0 469751 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 1905552 KiB
Current children cumulated memory: 1880656 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27572
/proc/meminfo: memFree=19813052/32770624 swapFree=67108860/67108860
[pid=27569] ppid=27566 vsize=8583796 memory=7535492 CPUtime=102.29 cores=0,2,4,6
/proc/27569/stat : 27569 (cosoco) R 27566 27569 24508 0 -1 4202496 1617804 0 0 0 9998 231 0 0 20 0 1 0 92461572 8789807104 1883873 33554432000 4194304 5972588 140721243738368 140721243735224 4965349 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 13254656 140721243747514 140721243747614 140721243747614 140721243750350 0
/proc/27569/statm: 2145949 1883873 841 435 0 2139312 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 8583796 KiB
Current children cumulated memory: 7535492 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 27573
/proc/meminfo: memFree=18780628/32770624 swapFree=67108860/67108860
[pid=27569] ppid=27566 vsize=9586012 memory=8537604 CPUtime=162.29 cores=0,2,4,6
/proc/27569/stat : 27569 (cosoco) R 27566 27569 24508 0 -1 4202496 2139525 0 0 0 15952 277 0 0 20 0 1 0 92461572 9816076288 2134401 33554432000 4194304 5972588 140721243738368 140721243735224 4965365 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 13254656 140721243747514 140721243747614 140721243747614 140721243750350 0
/proc/27569/statm: 2396503 2134401 842 435 0 2389866 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 9586012 KiB
Current children cumulated memory: 8537604 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27576
/proc/meminfo: memFree=18779988/32770624 swapFree=67108860/67108860
[pid=27569] ppid=27566 vsize=9586144 memory=8537772 CPUtime=222.28 cores=0,2,4,6
/proc/27569/stat : 27569 (cosoco) R 27566 27569 24508 0 -1 4202496 2186298 0 0 0 21950 278 0 0 20 0 1 0 92461572 9816211456 2134443 33554432000 4194304 5972588 140721243738368 140721243735816 5071999 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 13254656 140721243747514 140721243747614 140721243747614 140721243750350 0
/proc/27569/statm: 2396536 2134443 842 435 0 2389899 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 9586144 KiB
Current children cumulated memory: 8537772 KiB
[startup+282.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/187 27577
/proc/meminfo: memFree=18780324/32770624 swapFree=67108860/67108860
[pid=27569] ppid=27566 vsize=9586144 memory=8537792 CPUtime=282.28 cores=0,2,4,6
/proc/27569/stat : 27569 (cosoco) R 27566 27569 24508 0 -1 4202496 2268661 0 0 0 27947 281 0 0 20 0 1 0 92461572 9816211456 2134448 33554432000 4194304 5972588 140721243738368 140721243735816 5053097 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 13254656 140721243747514 140721243747614 140721243747614 140721243750350 0
/proc/27569/statm: 2396536 2134448 842 435 0 2389899 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 9586144 KiB
Current children cumulated memory: 8537792 KiB
[startup+342.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/188 27586
/proc/meminfo: memFree=18779040/32770624 swapFree=67108860/67108860
[pid=27569] ppid=27566 vsize=9586276 memory=8537820 CPUtime=342.29 cores=0,2,4,6
/proc/27569/stat : 27569 (cosoco) R 27566 27569 24508 0 -1 4202496 2306661 0 0 0 33945 284 0 0 20 0 1 0 92461572 9816346624 2134455 33554432000 4194304 5972588 140721243738368 140721243735112 5053069 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 13254656 140721243747514 140721243747614 140721243747614 140721243750350 0
/proc/27569/statm: 2396569 2134455 842 435 0 2389932 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 9586276 KiB
Current children cumulated memory: 8537820 KiB
[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/189 27610
/proc/meminfo: memFree=18778680/32770624 swapFree=67108860/67108860
[pid=27569] ppid=27566 vsize=9586276 memory=8537860 CPUtime=402.28 cores=0,2,4,6
/proc/27569/stat : 27569 (cosoco) R 27566 27569 24508 0 -1 4202496 2518368 0 0 0 39935 293 0 0 20 0 1 0 92461572 9816346624 2134465 33554432000 4194304 5972588 140721243738368 140721243735112 4908934 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 13254656 140721243747514 140721243747614 140721243747614 140721243750350 0
/proc/27569/statm: 2396569 2134465 842 435 0 2389932 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 9586276 KiB
Current children cumulated memory: 8537860 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 27611
/proc/meminfo: memFree=18779424/32770624 swapFree=67108860/67108860
[pid=27569] ppid=27566 vsize=9586276 memory=8537876 CPUtime=462.28 cores=0,2,4,6
/proc/27569/stat : 27569 (cosoco) R 27566 27569 24508 0 -1 4202496 3019280 0 0 0 45912 316 0 0 20 0 1 0 92461572 9816346624 2134469 33554432000 4194304 5972588 140721243738368 140721243735112 5099648 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 13254656 140721243747514 140721243747614 140721243747614 140721243750350 0
/proc/27569/statm: 2396569 2134469 842 435 0 2389932 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 9586276 KiB
Current children cumulated memory: 8537876 KiB
################
# More data... #
################
/proc/meminfo: memFree=20177820/32770624 swapFree=67108860/67108860
[pid=27569] ppid=27566 vsize=9586548 memory=8542332 CPUtime=1782.2 cores=0,2,4,6
/proc/27569/stat : 27569 (cosoco) R 27566 27569 24508 0 -1 4202496 9954565 0 0 0 177566 654 0 0 20 0 1 0 92461572 9816625152 2135583 33554432000 4194304 5972588 140721243738368 140721243725560 4908987 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 13254656 140721243747514 140721243747614 140721243747614 140721243750350 0
/proc/27569/statm: 2396637 2135583 842 435 0 2390000 0
Current children cumulated CPU time: 1782.2 s
Current children cumulated vsize: 9586548 KiB
Current children cumulated memory: 8542332 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 27841
/proc/meminfo: memFree=20178256/32770624 swapFree=67108860/67108860
[pid=27569] ppid=27566 vsize=9586548 memory=8542332 CPUtime=1842.2 cores=0,2,4,6
/proc/27569/stat : 27569 (cosoco) R 27566 27569 24508 0 -1 4202496 10139963 0 0 0 183558 662 0 0 20 0 1 0 92461572 9816625152 2135583 33554432000 4194304 5972588 140721243738368 140721243725560 4908843 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 13254656 140721243747514 140721243747614 140721243747614 140721243750350 0
/proc/27569/statm: 2396637 2135583 842 435 0 2390000 0
Current children cumulated CPU time: 1842.2 s
Current children cumulated vsize: 9586548 KiB
Current children cumulated memory: 8542332 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 27842
/proc/meminfo: memFree=20178296/32770624 swapFree=67108860/67108860
[pid=27569] ppid=27566 vsize=9586548 memory=8542332 CPUtime=1902.2 cores=0,2,4,6
/proc/27569/stat : 27569 (cosoco) R 27566 27569 24508 0 -1 4202496 10210365 0 0 0 189554 666 0 0 20 0 1 0 92461572 9816625152 2135583 33554432000 4194304 5972588 140721243738368 140721243725560 4962339 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 13254656 140721243747514 140721243747614 140721243747614 140721243750350 0
/proc/27569/statm: 2396637 2135583 842 435 0 2390000 0
Current children cumulated CPU time: 1902.2 s
Current children cumulated vsize: 9586548 KiB
Current children cumulated memory: 8542332 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 27843
/proc/meminfo: memFree=20178176/32770624 swapFree=67108860/67108860
[pid=27569] ppid=27566 vsize=9586548 memory=8542332 CPUtime=1962.2 cores=0,2,4,6
/proc/27569/stat : 27569 (cosoco) R 27566 27569 24508 0 -1 4202496 10337464 0 0 0 195547 673 0 0 20 0 1 0 92461572 9816625152 2135583 33554432000 4194304 5972588 140721243738368 140721243725560 5053056 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 13254656 140721243747514 140721243747614 140721243747614 140721243750350 0
/proc/27569/statm: 2396637 2135583 842 435 0 2390000 0
Current children cumulated CPU time: 1962.2 s
Current children cumulated vsize: 9586548 KiB
Current children cumulated memory: 8542332 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 27845
/proc/meminfo: memFree=20178240/32770624 swapFree=67108860/67108860
[pid=27569] ppid=27566 vsize=9586548 memory=8542332 CPUtime=2022.19 cores=0,2,4,6
/proc/27569/stat : 27569 (cosoco) R 27566 27569 24508 0 -1 4202496 10368306 0 0 0 201545 674 0 0 20 0 1 0 92461572 9816625152 2135583 33554432000 4194304 5972588 140721243738368 140721243725560 4965365 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 13254656 140721243747514 140721243747614 140721243747614 140721243750350 0
/proc/27569/statm: 2396637 2135583 842 435 0 2390000 0
Current children cumulated CPU time: 2022.19 s
Current children cumulated vsize: 9586548 KiB
Current children cumulated memory: 8542332 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 27846
/proc/meminfo: memFree=20178268/32770624 swapFree=67108860/67108860
[pid=27569] ppid=27566 vsize=9586548 memory=8542332 CPUtime=2082.19 cores=0,2,4,6
/proc/27569/stat : 27569 (cosoco) R 27566 27569 24508 0 -1 4202496 10483154 0 0 0 207538 681 0 0 20 0 1 0 92461572 9816625152 2135583 33554432000 4194304 5972588 140721243738368 140721243725560 4965339 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 13254656 140721243747514 140721243747614 140721243747614 140721243750350 0
/proc/27569/statm: 2396637 2135583 842 435 0 2390000 0
Current children cumulated CPU time: 2082.19 s
Current children cumulated vsize: 9586548 KiB
Current children cumulated memory: 8542332 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 27855
/proc/meminfo: memFree=20177172/32770624 swapFree=67108860/67108860
[pid=27569] ppid=27566 vsize=9586548 memory=8542332 CPUtime=2142.19 cores=0,2,4,6
/proc/27569/stat : 27569 (cosoco) R 27566 27569 24508 0 -1 4202496 10509315 0 0 0 213536 683 0 0 20 0 1 0 92461572 9816625152 2135583 33554432000 4194304 5972588 140721243738368 140721243725560 4962170 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 13254656 140721243747514 140721243747614 140721243747614 140721243750350 0
/proc/27569/statm: 2396637 2135583 842 435 0 2390000 0
Current children cumulated CPU time: 2142.19 s
Current children cumulated vsize: 9586548 KiB
Current children cumulated memory: 8542332 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 27856
/proc/meminfo: memFree=20177448/32770624 swapFree=67108860/67108860
[pid=27569] ppid=27566 vsize=9586548 memory=8542332 CPUtime=2202.19 cores=0,2,4,6
/proc/27569/stat : 27569 (cosoco) R 27566 27569 24508 0 -1 4202496 10631531 0 0 0 219531 688 0 0 20 0 1 0 92461572 9816625152 2135583 33554432000 4194304 5972588 140721243738368 140721243725560 5053071 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 13254656 140721243747514 140721243747614 140721243747614 140721243750350 0
/proc/27569/statm: 2396637 2135583 842 435 0 2390000 0
Current children cumulated CPU time: 2202.19 s
Current children cumulated vsize: 9586548 KiB
Current children cumulated memory: 8542332 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 27857
/proc/meminfo: memFree=20176980/32770624 swapFree=67108860/67108860
[pid=27569] ppid=27566 vsize=9586548 memory=8542332 CPUtime=2262.19 cores=0,2,4,6
/proc/27569/stat : 27569 (cosoco) R 27566 27569 24508 0 -1 4202496 10678509 0 0 0 225529 690 0 0 20 0 1 0 92461572 9816625152 2135583 33554432000 4194304 5972588 140721243738368 140721243725560 5071999 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 13254656 140721243747514 140721243747614 140721243747614 140721243750350 0
/proc/27569/statm: 2396637 2135583 842 435 0 2390000 0
Current children cumulated CPU time: 2262.19 s
Current children cumulated vsize: 9586548 KiB
Current children cumulated memory: 8542332 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 27858
/proc/meminfo: memFree=20176700/32770624 swapFree=67108860/67108860
[pid=27569] ppid=27566 vsize=9586548 memory=8542332 CPUtime=2322.19 cores=0,2,4,6
/proc/27569/stat : 27569 (cosoco) R 27566 27569 24508 0 -1 4202496 10785353 0 0 0 231523 696 0 0 20 0 1 0 92461572 9816625152 2135583 33554432000 4194304 5972588 140721243738368 140721243725560 4965247 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 13254656 140721243747514 140721243747614 140721243747614 140721243750350 0
/proc/27569/statm: 2396637 2135583 842 435 0 2390000 0
Current children cumulated CPU time: 2322.19 s
Current children cumulated vsize: 9586548 KiB
Current children cumulated memory: 8542332 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 27859
/proc/meminfo: memFree=20176852/32770624 swapFree=67108860/67108860
[pid=27569] ppid=27566 vsize=9586548 memory=8542332 CPUtime=2382.18 cores=0,2,4,6
/proc/27569/stat : 27569 (cosoco) R 27566 27569 24508 0 -1 4202496 10808153 0 0 0 237521 697 0 0 20 0 1 0 92461572 9816625152 2135583 33554432000 4194304 5972588 140721243738368 140721243725560 4965365 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 13254656 140721243747514 140721243747614 140721243747614 140721243750350 0
/proc/27569/statm: 2396637 2135583 842 435 0 2390000 0
Current children cumulated CPU time: 2382.18 s
Current children cumulated vsize: 9586548 KiB
Current children cumulated memory: 8542332 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 27860
/proc/meminfo: memFree=20176540/32770624 swapFree=67108860/67108860
[pid=27569] ppid=27566 vsize=9586548 memory=8542332 CPUtime=2442.19 cores=0,2,4,6
/proc/27569/stat : 27569 (cosoco) R 27566 27569 24508 0 -1 4202496 10861485 0 0 0 243519 700 0 0 20 0 1 0 92461572 9816625152 2135583 33554432000 4194304 5972588 140721243738368 140721243725560 4965342 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 13254656 140721243747514 140721243747614 140721243747614 140721243750350 0
/proc/27569/statm: 2396637 2135583 842 435 0 2390000 0
Current children cumulated CPU time: 2442.19 s
Current children cumulated vsize: 9586548 KiB
Current children cumulated memory: 8542332 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 27861
/proc/meminfo: memFree=20176692/32770624 swapFree=67108860/67108860
[pid=27569] ppid=27566 vsize=9586548 memory=8542332 CPUtime=2502.19 cores=0,2,4,6
/proc/27569/stat : 27569 (cosoco) R 27566 27569 24508 0 -1 4202496 10965336 0 0 0 249513 706 0 0 20 0 1 0 92461572 9816625152 2135583 33554432000 4194304 5972588 140721243738368 140721243725560 5071952 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 13254656 140721243747514 140721243747614 140721243747614 140721243750350 0
/proc/27569/statm: 2396637 2135583 842 435 0 2390000 0
Current children cumulated CPU time: 2502.19 s
Current children cumulated vsize: 9586548 KiB
Current children cumulated memory: 8542332 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.00 2.04 3/187 27861
/proc/meminfo: memFree=20176784/32770624 swapFree=67108860/67108860
[pid=27569] ppid=27566 vsize=9586548 memory=8542332 CPUtime=2519.9 cores=0,2,4,6
/proc/27569/stat : 27569 (cosoco) R 27566 27569 24508 0 -1 4202496 10984914 0 0 0 251283 707 0 0 20 0 1 0 92461572 9816625152 2135583 33554432000 4194304 5972588 140721243738368 140721243725560 5328722 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 13254656 140721243747514 140721243747614 140721243747614 140721243750350 0
/proc/27569/statm: 2396637 2135583 842 435 0 2390000 0
Current children cumulated CPU time: 2519.9 s
Current children cumulated vsize: 9586548 KiB
Current children cumulated memory: 8542332 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.27 s]
# the end of solver process 27569 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2512.84 s, system=7.33402 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2520.21 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 27861
/proc/meminfo: memFree=25641412/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 1
Real time (s): 2520.27
CPU time (s): 2520.17
CPU user time (s): 2512.84
CPU system time (s): 7.33402
CPU usage (%): 99.9959
Max. virtual memory (cumulated for all children) (KiB): 9586548
Max. memory (cumulated for all children) (KiB): 8542332
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2512.84
system time used= 7.33402
maximum resident set size= 8542396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10985005
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 219
involuntary context switches= 3176
# summary of solver processes directly reported to runsolver:
# pid: 27569
# total CPU time (s): 2520.17
# total CPU user time (s): 2512.84
# total CPU system time (s): 7.33402
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.56226 second user time and 18.8878 second system time
The end
Begin job on node104 at 2017-08-13 04:54:38 IDJOB=4266483 IDBENCH=139756 IDSOLVER=2655 FILE ID=node104/4266483-1502593736 RUNJOBID= node104-1502567255-24591 PBS_JOBID= 20628287 Free space on /tmp= 61860 MiB SOLVER NAME= cosoco-sat 1.12 BENCH NAME= XCSP17/ChessboardColoration/ChessboardColoration-int-s2/ChessboardColoration-int-23-25.xml COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4266483-1502593736/watcher-4266483-1502593736 -o /tmp/evaluation-result-4266483-1502593736/solver-4266483-1502593736 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1502567255-24591 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266483-1502593736.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d34e1ab3749b5ab5f756e156ef97f2b6 RANDOM SEED=1424888967 node104.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 27330992 kB MemAvailable: 30591668 kB Buffers: 135232 kB Cached: 3420516 kB SwapCached: 0 kB Active: 1729132 kB Inactive: 3281976 kB Active(anon): 1458244 kB Inactive(anon): 25028 kB Active(file): 270888 kB Inactive(file): 3256948 kB Unevictable: 6528 kB Mlocked: 6528 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 6620 kB Writeback: 0 kB AnonPages: 1461920 kB Mapped: 44824 kB Shmem: 25228 kB Slab: 123356 kB SReclaimable: 97348 kB SUnreclaim: 26008 kB KernelStack: 3280 kB PageTables: 7860 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1763432 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 1189888 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 112000 kB DirectMap2M: 33433600 kB Free space on /tmp at the end= 61856 MiB End job on node104 at 2017-08-13 05:36:39