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) | 5 | 2520.0801 | 2519.9099 |
| Name | ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-16-18.xml |
| MD5SUM | dd156cd3c4e4f48d7499665f65319a51 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 4 |
| Best CPU time to get the best result obtained on this benchmark | 2400.0601 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 288 |
| Number of constraints | 18361 |
| Number of domains | 1 |
| Minimum domain size | 288 |
| Maximum domain size | 288 |
| Distribution of domain sizes | [{"size":288,"count":288}] |
| Minimum variable degree | 257 |
| Maximum variable degree | 257 |
| Distribution of variable degrees | [{"degree":257,"count":288}] |
| Minimum constraint arity | 4 |
| Maximum constraint arity | 288 |
| Distribution of constraint arities | [{"arity":4,"count":18360},{"arity":288,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 18360 |
| Distribution of constraint types | [{"type":"intension","count":18360},{"type":"lex","count":1}] |
| Optimization problem | YES |
| Type of objective | min MAXIMUM |
22.18/22.23 c SAT : Variables: 82944 -- Clauses: 11902752 22.18/22.23 c best=?? lower=0 upper=287 24.98/25.07 c 24.98/25.07 c This is cosoco 1.12 -- 24.98/25.07 c 24.98/25.07 c command line: cosoco -lc -model -restarts -sat HOME/instance-4266481-1502593717.xml 24.98/25.07 c enable optimization 24.98/25.07 c ========================================[ Problem Statistics ]=========================================== 24.98/25.07 c | 24.98/25.07 c | Parse time : 21.92 s 24.98/25.07 c | 24.98/25.07 c | Variables: 288 24.98/25.07 c | Domain Sizes: 288..288 24.98/25.07 c | 24.98/25.07 c | Constraints: 18393 24.98/25.07 c | Arity: 4..288 24.98/25.07 c | 24.98/25.07 c | Types: 24.98/25.07 c | Intension: 18360 24.98/25.07 c | Lex: 32 24.98/25.07 c | Max constant: 1 24.98/25.07 c | 24.98/25.07 c ========================================================================================================= 24.98/25.07 o 11 24.98/25.07 c 1 calls to solver: best=11 lower=0 upper=10 26.88/26.90 o 8 27.58/27.62 o 7 27.58/27.62 c 3 calls to solver: best=7 lower=0 upper=6 29.68/29.70 o 6 30.99/31.05 o 5 30.99/31.05 c 5 calls to solver: best=5 lower=0 upper=4 2520.07/2519.90 2520.07/2519.90 c *** INTERRUPTED *** 2520.07/2519.90 c restarts : 563 2520.07/2519.90 c conflicts : 473143 (188 /sec) 2520.07/2519.90 c decisions : 1402014 (556 /sec) 2520.07/2519.90 c propagations : 18435404 (7317 /sec) 2520.07/2519.90 c root propagations : 140958 2520.07/2519.90 c filter calls : 1962078790 (778787 /sec) 2520.07/2519.90 c useless filter calls : 1948359298 (99 %) 2520.07/2519.90 c 2520.07/2519.90 c clauses : 11906858 2520.07/2519.90 c SAT propagations : 2758 2520.07/2519.90 c SAT conflicts : 0 (0 learnts) 2520.07/2519.90 c Memory used : 1243.34 MB 2520.07/2519.90 c CPU time : 2519.4 s 2520.07/2519.90 2520.07/2519.90 c nb Solutions = 5 2520.07/2519.90 s SATISFIABLE 2520.07/2519.90 c Best value found: 5 2520.07/2519.90 2520.07/2519.90 2520.07/2519.90 v <instantiation type='solution' cost='5'> 2520.07/2519.90 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][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[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][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[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][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[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][1] 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][1] 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][1] 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][1] 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[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][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[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][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[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][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[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][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[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][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[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][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[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][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[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][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[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][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] </list> 2520.07/2519.90 v <values>0 3 3 3 4 4 4 4 4 1 2 2 3 3 3 3 3 3 3 0 4 2 2 2 0 5 1 2 1 1 4 4 4 0 3 0 4 4 2 4 3 3 5 1 4 3 0 1 4 2 2 5 3 5 4 3 5 5 5 1 4 1 3 3 0 3 2 5 4 4 1 5 4 1 3 0 4 5 1 0 2 3 1 0 0 4 2 2 4 0 4 2 4 2 1 5 0 3 5 3 1 0 3 1 0 2 5 4 4 5 0 3 5 2 3 2 2 3 2 1 5 0 5 5 5 0 1 1 1 2 0 0 0 0 2 0 0 1 1 1 1 1 1 1 2 2 2 3 1 1 1 3 2 1 0 1 0 0 0 0 2 2 3 4 4 2 4 5 5 2 1 1 0 0 2 2 3 4 1 2 3 0 0 0 2 3 3 3 3 1 0 2 1 2 4 2 2 3 3 2 4 1 3 2 5 1 4 1 0 2 2 1 2 3 0 0 3 0 3 4 2 0 2 4 2 1 1 0 2 0 4 1 0 5 3 4 2 1 5 4 5 5 0 2 0 1 2 3 4 2 4 4 3 2 4 1 1 5 2 4 1 2 0 3 3 2 5 1 4 5 3 3 0 1 0 1 4 2 0 2 1 0 1 4 2 0 2 4 </values> 2520.07/2519.90 v </instantiation> 2520.07/2519.90
OK 5
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 (12353 MiB free)
memory of node 1: 16384 MiB (7311 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266481-1502593717/watcher-4266481-1502593717 -o /tmp/evaluation-result-4266481-1502593717/solver-4266481-1502593717 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1502567255-24402 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266481-1502593717.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
Starting watchdog threadCurrent StackSize limit: 8192 KiB
solver pid=27936, runsolver pid=27933
[startup+0.100108 s]*
/proc/loadavg: 2.01 2.09 2.10 3/188 27937
/proc/meminfo: memFree=20137324/32770624 swapFree=67108860/67108860
[pid=27936] ppid=27933 vsize=28284 memory=4384 CPUtime=0.1 cores=0,2,4,6
/proc/27936/stat : 27936 (cosoco) R 27933 27936 24318 0 -1 4202496 1262 0 0 0 10 0 0 0 20 0 1 0 92443325 28962816 1096 33554432000 4194304 5972588 140732305684272 140732305680920 4884896 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 14749696 140732305687738 140732305687838 140732305687838 140732305690574 0
/proc/27936/statm: 7071 1096 716 435 0 434 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28284 KiB
Current children cumulated memory: 4384 KiB
[startup+0.209536 s]*
/proc/loadavg: 2.01 2.09 2.10 3/188 27937
/proc/meminfo: memFree=20136952/32770624 swapFree=67108860/67108860
[pid=27936] ppid=27933 vsize=28608 memory=4580 CPUtime=0.21 cores=0,2,4,6
/proc/27936/stat : 27936 (cosoco) R 27933 27936 24318 0 -1 4202496 1389 0 0 0 21 0 0 0 20 0 1 0 92443325 29294592 1145 33554432000 4194304 5972588 140732305684272 140732305680920 140233734073317 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 14749696 140732305687738 140732305687838 140732305687838 140732305690574 0
/proc/27936/statm: 7152 1145 716 435 0 515 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 28608 KiB
Current children cumulated memory: 4580 KiB
[startup+0.308832 s]*
/proc/loadavg: 2.01 2.09 2.10 3/188 27937
/proc/meminfo: memFree=20136580/32770624 swapFree=67108860/67108860
[pid=27936] ppid=27933 vsize=28872 memory=4840 CPUtime=0.31 cores=0,2,4,6
/proc/27936/stat : 27936 (cosoco) R 27933 27936 24318 0 -1 4202496 1473 0 0 0 31 0 0 0 20 0 1 0 92443325 29564928 1210 33554432000 4194304 5972588 140732305684272 140732305680920 140233734073317 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 14749696 140732305687738 140732305687838 140732305687838 140732305690574 0
/proc/27936/statm: 7218 1210 716 435 0 581 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 28872 KiB
Current children cumulated memory: 4840 KiB
[startup+0.700232 s]
/proc/loadavg: 2.01 2.09 2.10 3/188 27937
/proc/meminfo: memFree=20134064/32770624 swapFree=67108860/67108860
[pid=27936] ppid=27933 vsize=35476 memory=11488 CPUtime=0.69 cores=0,2,4,6
/proc/27936/stat : 27936 (cosoco) R 27933 27936 24318 0 -1 4202496 3221 0 0 0 69 0 0 0 20 0 1 0 92443325 36327424 2872 33554432000 4194304 5972588 140732305684272 140732305676040 140233743714507 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 14749696 140732305687738 140732305687838 140732305687838 140732305690574 0
/proc/27936/statm: 8869 2872 786 435 0 2232 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 35476 KiB
Current children cumulated memory: 11488 KiB
[startup+1.50024 s]
/proc/loadavg: 2.01 2.09 2.10 3/188 27937
/proc/meminfo: memFree=20123876/32770624 swapFree=67108860/67108860
[pid=27936] ppid=27933 vsize=51348 memory=27328 CPUtime=1.49 cores=0,2,4,6
/proc/27936/stat : 27936 (cosoco) R 27933 27936 24318 0 -1 4202496 7192 0 0 0 148 1 0 0 20 0 1 0 92443325 52580352 6832 33554432000 4194304 5972588 140732305684272 140732305677832 140233743732087 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 14749696 140732305687738 140732305687838 140732305687838 140732305690574 0
/proc/27936/statm: 12837 6832 786 435 0 6200 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 51348 KiB
Current children cumulated memory: 27328 KiB
[startup+3.10933 s]
/proc/loadavg: 2.01 2.09 2.10 3/188 27937
/proc/meminfo: memFree=20084196/32770624 swapFree=67108860/67108860
[pid=27936] ppid=27933 vsize=83352 memory=59368 CPUtime=3.1 cores=0,2,4,6
/proc/27936/stat : 27936 (cosoco) R 27933 27936 24318 0 -1 4202496 15341 0 0 0 308 2 0 0 20 0 1 0 92443325 85352448 14842 33554432000 4194304 5972588 140732305684272 140732305676040 4884544 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 14749696 140732305687738 140732305687838 140732305687838 140732305690574 0
/proc/27936/statm: 20838 14842 786 435 0 14201 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 83352 KiB
Current children cumulated memory: 59368 KiB
[startup+6.30022 s]
/proc/loadavg: 2.01 2.09 2.10 2/182 27983
/proc/meminfo: memFree=26545184/32770624 swapFree=67108860/67108860
[pid=27936] ppid=27933 vsize=145932 memory=121928 CPUtime=6.29 cores=0,2,4,6
/proc/27936/stat : 27936 (cosoco) R 27933 27936 24318 0 -1 4202496 31340 0 0 0 624 5 0 0 20 0 1 0 92443325 149434368 30482 33554432000 4194304 5972588 140732305684272 140732305677832 140233734073317 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 14749696 140732305687738 140732305687838 140732305687838 140732305690574 0
/proc/27936/statm: 36483 30482 786 435 0 29846 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 145932 KiB
Current children cumulated memory: 121928 KiB
[startup+12.7002 s]
/proc/loadavg: 2.00 2.09 2.10 3/188 27998
/proc/meminfo: memFree=26301940/32770624 swapFree=67108860/67108860
[pid=27936] ppid=27933 vsize=272732 memory=248656 CPUtime=12.69 cores=0,2,4,6
/proc/27936/stat : 27936 (cosoco) R 27933 27936 24318 0 -1 4202496 63363 0 0 0 1259 10 0 0 20 0 1 0 92443325 279277568 62164 33554432000 4194304 5972588 140732305684272 140732305677832 140233743644320 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 14749696 140732305687738 140732305687838 140732305687838 140732305690574 0
/proc/27936/statm: 68183 62164 786 435 0 61546 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 272732 KiB
Current children cumulated memory: 248656 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.09 2.10 3/188 27998
/proc/meminfo: memFree=25056544/32770624 swapFree=67108860/67108860
[pid=27936] ppid=27933 vsize=1267104 memory=1202512 CPUtime=25.47 cores=0,2,4,6
/proc/27936/stat : 27936 (cosoco) R 27933 27936 24318 0 -1 4202496 347407 0 0 0 2503 44 0 0 20 0 1 0 92443325 1297514496 300628 33554432000 4194304 5972588 140732305684272 140732305681128 140233734073317 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14749696 140732305687738 140732305687838 140732305687838 140732305690574 0
/proc/27936/statm: 316776 300628 842 435 0 310139 0
Current children cumulated CPU time: 25.47 s
Current children cumulated vsize: 1267104 KiB
Current children cumulated memory: 1202512 KiB
[startup+51.1097 s]
/proc/loadavg: 2.00 2.08 2.10 3/187 27999
/proc/meminfo: memFree=23899200/32770624 swapFree=67108860/67108860
[pid=27936] ppid=27933 vsize=1272912 memory=1208472 CPUtime=51.08 cores=0,2,4,6
/proc/27936/stat : 27936 (cosoco) R 27933 27936 24318 0 -1 4202496 395448 0 0 0 5062 46 0 0 20 0 1 0 92443325 1303461888 302118 33554432000 4194304 5972588 140732305684272 140732305671464 4969162 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14749696 140732305687738 140732305687838 140732305687838 140732305690574 0
/proc/27936/statm: 318228 302118 842 435 0 311591 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 1272912 KiB
Current children cumulated memory: 1208472 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.07 2.09 3/187 28000
/proc/meminfo: memFree=23896940/32770624 swapFree=67108860/67108860
[pid=27936] ppid=27933 vsize=1273044 memory=1210580 CPUtime=102.28 cores=0,2,4,6
/proc/27936/stat : 27936 (cosoco) R 27933 27936 24318 0 -1 4202496 498079 0 0 0 10177 51 0 0 20 0 1 0 92443325 1303597056 302645 33554432000 4194304 5972588 140732305684272 140732305680920 5071983 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14749696 140732305687738 140732305687838 140732305687838 140732305690574 0
/proc/27936/statm: 318261 302645 842 435 0 311624 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 1273044 KiB
Current children cumulated memory: 1210580 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.06 2.08 3/187 28001
/proc/meminfo: memFree=23897024/32770624 swapFree=67108860/67108860
[pid=27936] ppid=27933 vsize=1273044 memory=1210616 CPUtime=162.27 cores=0,2,4,6
/proc/27936/stat : 27936 (cosoco) R 27933 27936 24318 0 -1 4202496 577544 0 0 0 16173 54 0 0 20 0 1 0 92443325 1303597056 302654 33554432000 4194304 5972588 140732305684272 140732305680920 5273324 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14749696 140732305687738 140732305687838 140732305687838 140732305690574 0
/proc/27936/statm: 318261 302654 842 435 0 311624 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 1273044 KiB
Current children cumulated memory: 1210616 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.04 2.08 3/187 28002
/proc/meminfo: memFree=23896668/32770624 swapFree=67108860/67108860
[pid=27936] ppid=27933 vsize=1273044 memory=1210628 CPUtime=222.28 cores=0,2,4,6
/proc/27936/stat : 27936 (cosoco) R 27933 27936 24318 0 -1 4202496 633508 0 0 0 22171 57 0 0 20 0 1 0 92443325 1303597056 302657 33554432000 4194304 5972588 140732305684272 140732305680920 4966019 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14749696 140732305687738 140732305687838 140732305687838 140732305690574 0
/proc/27936/statm: 318261 302657 842 435 0 311624 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 1273044 KiB
Current children cumulated memory: 1210628 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.04 2.07 3/186 28004
/proc/meminfo: memFree=23897580/32770624 swapFree=67108860/67108860
[pid=27936] ppid=27933 vsize=1273044 memory=1210700 CPUtime=282.28 cores=0,2,4,6
/proc/27936/stat : 27936 (cosoco) R 27933 27936 24318 0 -1 4202496 662052 0 0 0 28169 59 0 0 20 0 1 0 92443325 1303597056 302675 33554432000 4194304 5972588 140732305684272 140732305680920 4965365 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14749696 140732305687738 140732305687838 140732305687838 140732305690574 0
/proc/27936/statm: 318261 302675 842 435 0 311624 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 1273044 KiB
Current children cumulated memory: 1210700 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.03 2.07 3/187 28006
/proc/meminfo: memFree=23896452/32770624 swapFree=67108860/67108860
[pid=27936] ppid=27933 vsize=1273176 memory=1210744 CPUtime=342.28 cores=0,2,4,6
/proc/27936/stat : 27936 (cosoco) R 27933 27936 24318 0 -1 4202496 695977 0 0 0 34168 60 0 0 20 0 1 0 92443325 1303732224 302686 33554432000 4194304 5972588 140732305684272 140732305681128 5099648 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14749696 140732305687738 140732305687838 140732305687838 140732305690574 0
/proc/27936/statm: 318294 302686 842 435 0 311657 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 1273176 KiB
Current children cumulated memory: 1210744 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.03 2.06 3/188 28015
/proc/meminfo: memFree=23895988/32770624 swapFree=67108860/67108860
[pid=27936] ppid=27933 vsize=1273176 memory=1210772 CPUtime=402.29 cores=0,2,4,6
/proc/27936/stat : 27936 (cosoco) R 27933 27936 24318 0 -1 4202496 734525 0 0 0 40167 62 0 0 20 0 1 0 92443325 1303732224 302693 33554432000 4194304 5972588 140732305684272 140732305681128 5053069 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14749696 140732305687738 140732305687838 140732305687838 140732305690574 0
/proc/27936/statm: 318294 302693 842 435 0 311657 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 1273176 KiB
Current children cumulated memory: 1210772 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.06 3/189 28039
/proc/meminfo: memFree=23895188/32770624 swapFree=67108860/67108860
[pid=27936] ppid=27933 vsize=1273176 memory=1210968 CPUtime=462.29 cores=0,2,4,6
/proc/27936/stat : 27936 (cosoco) R 27933 27936 24318 0 -1 4202496 763038 0 0 0 46166 63 0 0 20 0 1 0 92443325 1303732224 302742 33554432000 4194304 5972588 140732305684272 140732305681128 4909643 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14749696 140732305687738 140732305687838 140732305687838 140732305690574 0
/proc/27936/statm: 318294 302742 842 435 0 311657 0
Current children cumulated CPU time: 462.29 s
Current children cumulated vsize: 1273176 KiB
Current children cumulated memory: 1210968 KiB
################
# More data... #
################
/proc/27936/statm: 318294 302784 842 435 0 311657 0
Current children cumulated CPU time: 1782.39 s
Current children cumulated vsize: 1273176 KiB
Current children cumulated memory: 1211136 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 28077
/proc/meminfo: memFree=23891648/32770624 swapFree=67108860/67108860
[pid=27936] ppid=27933 vsize=1273176 memory=1211136 CPUtime=1842.4 cores=0,2,4,6
/proc/27936/stat : 27936 (cosoco) R 27933 27936 24318 0 -1 4202496 831162 0 0 0 184173 67 0 0 20 0 1 0 92443325 1303732224 302784 33554432000 4194304 5972588 140732305684272 140732305681128 4965365 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14749696 140732305687738 140732305687838 140732305687838 140732305690574 0
/proc/27936/statm: 318294 302784 842 435 0 311657 0
Current children cumulated CPU time: 1842.4 s
Current children cumulated vsize: 1273176 KiB
Current children cumulated memory: 1211136 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28079
/proc/meminfo: memFree=23891560/32770624 swapFree=67108860/67108860
[pid=27936] ppid=27933 vsize=1273176 memory=1211136 CPUtime=1902.41 cores=0,2,4,6
/proc/27936/stat : 27936 (cosoco) R 27933 27936 24318 0 -1 4202496 832159 0 0 0 190174 67 0 0 20 0 1 0 92443325 1303732224 302784 33554432000 4194304 5972588 140732305684272 140732305681128 4965342 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14749696 140732305687738 140732305687838 140732305687838 140732305690574 0
/proc/27936/statm: 318294 302784 842 435 0 311657 0
Current children cumulated CPU time: 1902.41 s
Current children cumulated vsize: 1273176 KiB
Current children cumulated memory: 1211136 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28080
/proc/meminfo: memFree=23891132/32770624 swapFree=67108860/67108860
[pid=27936] ppid=27933 vsize=1273176 memory=1211136 CPUtime=1962.41 cores=0,2,4,6
/proc/27936/stat : 27936 (cosoco) R 27933 27936 24318 0 -1 4202496 833136 0 0 0 196174 67 0 0 20 0 1 0 92443325 1303732224 302784 33554432000 4194304 5972588 140732305684272 140732305681128 5053090 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14749696 140732305687738 140732305687838 140732305687838 140732305690574 0
/proc/27936/statm: 318294 302784 842 435 0 311657 0
Current children cumulated CPU time: 1962.41 s
Current children cumulated vsize: 1273176 KiB
Current children cumulated memory: 1211136 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28081
/proc/meminfo: memFree=23891260/32770624 swapFree=67108860/67108860
[pid=27936] ppid=27933 vsize=1273176 memory=1211136 CPUtime=2022.42 cores=0,2,4,6
/proc/27936/stat : 27936 (cosoco) R 27933 27936 24318 0 -1 4202496 834119 0 0 0 202175 67 0 0 20 0 1 0 92443325 1303732224 302784 33554432000 4194304 5972588 140732305684272 140732305681128 4962170 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14749696 140732305687738 140732305687838 140732305687838 140732305690574 0
/proc/27936/statm: 318294 302784 842 435 0 311657 0
Current children cumulated CPU time: 2022.42 s
Current children cumulated vsize: 1273176 KiB
Current children cumulated memory: 1211136 KiB
[startup+2082.3 s]
/proc/loadavg: 2.52 2.18 2.10 3/187 28083
/proc/meminfo: memFree=23891396/32770624 swapFree=67108860/67108860
[pid=27936] ppid=27933 vsize=1273176 memory=1211136 CPUtime=2082.43 cores=0,2,4,6
/proc/27936/stat : 27936 (cosoco) R 27933 27936 24318 0 -1 4202496 835625 0 0 0 208176 67 0 0 20 0 1 0 92443325 1303732224 302784 33554432000 4194304 5972588 140732305684272 140732305681128 5072002 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14749696 140732305687738 140732305687838 140732305687838 140732305690574 0
/proc/27936/statm: 318294 302784 842 435 0 311657 0
Current children cumulated CPU time: 2082.43 s
Current children cumulated vsize: 1273176 KiB
Current children cumulated memory: 1211136 KiB
[startup+2142.3 s]
/proc/loadavg: 2.19 2.14 2.09 3/187 28084
/proc/meminfo: memFree=23891392/32770624 swapFree=67108860/67108860
[pid=27936] ppid=27933 vsize=1273176 memory=1211136 CPUtime=2142.43 cores=0,2,4,6
/proc/27936/stat : 27936 (cosoco) R 27933 27936 24318 0 -1 4202496 836385 0 0 0 214176 67 0 0 20 0 1 0 92443325 1303732224 302784 33554432000 4194304 5972588 140732305684272 140732305681128 4965342 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14749696 140732305687738 140732305687838 140732305687838 140732305690574 0
/proc/27936/statm: 318294 302784 842 435 0 311657 0
Current children cumulated CPU time: 2142.43 s
Current children cumulated vsize: 1273176 KiB
Current children cumulated memory: 1211136 KiB
[startup+2202.3 s]
/proc/loadavg: 2.07 2.12 2.09 3/187 28092
/proc/meminfo: memFree=23891312/32770624 swapFree=67108860/67108860
[pid=27936] ppid=27933 vsize=1273176 memory=1211136 CPUtime=2202.44 cores=0,2,4,6
/proc/27936/stat : 27936 (cosoco) R 27933 27936 24318 0 -1 4202496 837597 0 0 0 220177 67 0 0 20 0 1 0 92443325 1303732224 302784 33554432000 4194304 5972588 140732305684272 140732305681128 4965725 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14749696 140732305687738 140732305687838 140732305687838 140732305690574 0
/proc/27936/statm: 318294 302784 842 435 0 311657 0
Current children cumulated CPU time: 2202.44 s
Current children cumulated vsize: 1273176 KiB
Current children cumulated memory: 1211136 KiB
[startup+2262.3 s]
/proc/loadavg: 2.03 2.10 2.08 3/187 28093
/proc/meminfo: memFree=23891576/32770624 swapFree=67108860/67108860
[pid=27936] ppid=27933 vsize=1273176 memory=1211136 CPUtime=2262.44 cores=0,2,4,6
/proc/27936/stat : 27936 (cosoco) R 27933 27936 24318 0 -1 4202496 839047 0 0 0 226177 67 0 0 20 0 1 0 92443325 1303732224 302784 33554432000 4194304 5972588 140732305684272 140732305681128 4965773 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14749696 140732305687738 140732305687838 140732305687838 140732305690574 0
/proc/27936/statm: 318294 302784 842 435 0 311657 0
Current children cumulated CPU time: 2262.44 s
Current children cumulated vsize: 1273176 KiB
Current children cumulated memory: 1211136 KiB
[startup+2322.3 s]
/proc/loadavg: 2.01 2.08 2.08 3/187 28094
/proc/meminfo: memFree=23891704/32770624 swapFree=67108860/67108860
[pid=27936] ppid=27933 vsize=1273176 memory=1211136 CPUtime=2322.45 cores=0,2,4,6
/proc/27936/stat : 27936 (cosoco) R 27933 27936 24318 0 -1 4202496 839831 0 0 0 232178 67 0 0 20 0 1 0 92443325 1303732224 302784 33554432000 4194304 5972588 140732305684272 140732305681128 4965744 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14749696 140732305687738 140732305687838 140732305687838 140732305690574 0
/proc/27936/statm: 318294 302784 842 435 0 311657 0
Current children cumulated CPU time: 2322.45 s
Current children cumulated vsize: 1273176 KiB
Current children cumulated memory: 1211136 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.07 2.07 3/187 28095
/proc/meminfo: memFree=23891704/32770624 swapFree=67108860/67108860
[pid=27936] ppid=27933 vsize=1273176 memory=1211136 CPUtime=2382.46 cores=0,2,4,6
/proc/27936/stat : 27936 (cosoco) R 27933 27936 24318 0 -1 4202496 840500 0 0 0 238179 67 0 0 20 0 1 0 92443325 1303732224 302784 33554432000 4194304 5972588 140732305684272 140732305681128 5071307 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14749696 140732305687738 140732305687838 140732305687838 140732305690574 0
/proc/27936/statm: 318294 302784 842 435 0 311657 0
Current children cumulated CPU time: 2382.46 s
Current children cumulated vsize: 1273176 KiB
Current children cumulated memory: 1211136 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/187 28096
/proc/meminfo: memFree=23892108/32770624 swapFree=67108860/67108860
[pid=27936] ppid=27933 vsize=1273176 memory=1211136 CPUtime=2442.46 cores=0,2,4,6
/proc/27936/stat : 27936 (cosoco) R 27933 27936 24318 0 -1 4202496 841525 0 0 0 244179 67 0 0 20 0 1 0 92443325 1303732224 302784 33554432000 4194304 5972588 140732305684272 140732305681128 5071979 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14749696 140732305687738 140732305687838 140732305687838 140732305690574 0
/proc/27936/statm: 318294 302784 842 435 0 311657 0
Current children cumulated CPU time: 2442.46 s
Current children cumulated vsize: 1273176 KiB
Current children cumulated memory: 1211136 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/187 28097
/proc/meminfo: memFree=23891828/32770624 swapFree=67108860/67108860
[pid=27936] ppid=27933 vsize=1273176 memory=1211136 CPUtime=2502.47 cores=0,2,4,6
/proc/27936/stat : 27936 (cosoco) R 27933 27936 24318 0 -1 4202496 842302 0 0 0 250180 67 0 0 20 0 1 0 92443325 1303732224 302784 33554432000 4194304 5972588 140732305684272 140732305681128 4965690 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14749696 140732305687738 140732305687838 140732305687838 140732305690574 0
/proc/27936/statm: 318294 302784 842 435 0 311657 0
Current children cumulated CPU time: 2502.47 s
Current children cumulated vsize: 1273176 KiB
Current children cumulated memory: 1211136 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.9 s]
/proc/loadavg: 2.00 2.04 2.06 3/187 28097
/proc/meminfo: memFree=23891952/32770624 swapFree=67108860/67108860
[pid=27936] ppid=27933 vsize=1273176 memory=1211136 CPUtime=2520.07 cores=0,2,4,6
/proc/27936/stat : 27936 (cosoco) R 27933 27936 24318 0 -1 4202496 842451 0 0 0 251940 67 0 0 20 0 1 0 92443325 1303732224 302784 33554432000 4194304 5972588 140732305684272 140732305681128 4965365 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14749696 140732305687738 140732305687838 140732305687838 140732305690574 0
/proc/27936/statm: 318294 302784 842 435 0 311657 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 1273176 KiB
Current children cumulated memory: 1211136 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2519.91 s]
# the end of solver process 27936 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.4 s, system=0.680064 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2519.9 s]
/proc/loadavg: 2.00 2.04 2.06 3/187 28097
/proc/meminfo: memFree=23891952/32770624 swapFree=67108860/67108860
[pid=27936] ppid=27933 vsize=1273176 memory=1211136 CPUtime=2520.07 cores=0,2,4,6
/proc/27936/stat : 27936 (cosoco) R 27933 27936 24318 0 -1 4202496 842451 0 0 0 251940 67 0 0 20 0 1 0 92443325 1303732224 302784 33554432000 4194304 5972588 140732305684272 140732305681128 4965365 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14749696 140732305687738 140732305687838 140732305687838 140732305690574 0
/proc/27936/statm: 318294 302784 842 435 0 311657 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 1273176 KiB
Current children cumulated memory: 1211136 KiB
Child status: 1
Real time (s): 2519.91
CPU time (s): 2520.08
CPU user time (s): 2519.4
CPU system time (s): 0.680064
CPU usage (%): 100.007
Max. virtual memory (cumulated for all children) (KiB): 1273176
Max. memory (cumulated for all children) (KiB): 1211136
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.4
system time used= 0.680064
maximum resident set size= 1211200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 842501
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= 145
involuntary context switches= 765
# summary of solver processes directly reported to runsolver:
# pid: 27936
# total CPU time (s): 2520.08
# total CPU user time (s): 2519.4
# total CPU system time (s): 0.680064
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.50111 second user time and 20.2224 second system time
The end
Begin job on node105 at 2017-08-13 04:54:19 IDJOB=4266481 IDBENCH=139753 IDSOLVER=2655 FILE ID=node105/4266481-1502593717 RUNJOBID= node105-1502567255-24402 PBS_JOBID= 20628286 Free space on /tmp= 60664 MiB SOLVER NAME= cosoco-sat 1.12 BENCH NAME= XCSP17/ChessboardColoration/ChessboardColoration-int-s2/ChessboardColoration-int-16-18.xml COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4266481-1502593717/watcher-4266481-1502593717 -o /tmp/evaluation-result-4266481-1502593717/solver-4266481-1502593717 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1502567255-24402 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266481-1502593717.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= dd156cd3c4e4f48d7499665f65319a51 RANDOM SEED=1055972503 node105.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.17 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.17 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.17 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.17 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: 20137464 kB MemAvailable: 25464668 kB Buffers: 145912 kB Cached: 5457820 kB SwapCached: 0 kB Active: 7152860 kB Inactive: 5008788 kB Active(anon): 6560236 kB Inactive(anon): 25072 kB Active(file): 592624 kB Inactive(file): 4983716 kB Unevictable: 6236 kB Mlocked: 6236 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 3528 kB Writeback: 0 kB AnonPages: 6563272 kB Mapped: 45084 kB Shmem: 25228 kB Slab: 158948 kB SReclaimable: 133400 kB SUnreclaim: 25548 kB KernelStack: 3344 kB PageTables: 17760 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 8224632 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 4591616 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 60660 MiB End job on node105 at 2017-08-13 05:36:19