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.05 | 2519.8999 |
| Name | OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbo-10-20-1.xml |
| MD5SUM | 4638a61ac265366c398136fe48691411 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 5 |
| Best CPU time to get the best result obtained on this benchmark | 98.546097 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 260 |
| Number of constraints | 241 |
| Number of domains | 3 |
| Minimum domain size | 2 |
| Maximum domain size | 21 |
| Distribution of domain sizes | [{"size":2,"count":200},{"size":20,"count":40},{"size":21,"count":20}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 21 |
| Distribution of variable degrees | [{"degree":2,"count":220},{"degree":5,"count":20},{"degree":21,"count":20}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 20 |
| Distribution of constraint arities | [{"arity":2,"count":2},{"arity":3,"count":200},{"arity":4,"count":2},{"arity":5,"count":14},{"arity":9,"count":2},{"arity":11,"count":20},{"arity":20,"count":1}] |
| Number of extensional constraints | 200 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":200},{"type":"allDifferent","count":1},{"type":"sum","count":20},{"type":"minimum","count":10},{"type":"maximum","count":10}] |
| Optimization problem | YES |
| Type of objective | min MAXIMUM |
0.00/0.04 c SAT : Variables: 1620 -- Clauses: 12260 0.00/0.04 c best=?? lower=0 upper=20 0.00/0.06 c 0.00/0.06 c This is cosoco 1.12 -- 0.00/0.06 c 0.00/0.06 c command line: cosoco -lc -model -restarts -sat HOME/instance-4266494-1502594773.xml 0.00/0.06 c enable optimization 0.00/0.06 c ========================================[ Problem Statistics ]=========================================== 0.00/0.06 c | 0.00/0.06 c | Parse time : 0.04 s 0.00/0.06 c | 0.00/0.06 c | Variables: 260 0.00/0.06 c | Domain Sizes: 2..21 0.00/0.06 c | 0.00/0.06 c | Constraints: 242 0.00/0.06 c | Arity: 2..20 -- Binary: 2 -- Ternary: 200 0.00/0.06 c | 0.00/0.06 c | Types: 0.00/0.06 c | All Different: 1 0.00/0.06 c | Extension: 200 (nb tuples: 400..490) -- (shared: 180) 0.00/0.06 c | Max constant: 1 0.00/0.06 c | Minimum Variable: 20 0.00/0.06 c | Sum: 20 0.00/0.06 c | 0.00/0.06 c ========================================================================================================= 0.00/0.06 o 7 0.00/0.06 c 1 calls to solver: best=7 lower=0 upper=6 0.00/0.09 o 6 1.49/1.55 o 5 1.49/1.55 c 3 calls to solver: best=5 lower=0 upper=4 2.00/2.03 conflict 22lvl : 8 bt4-562:0(219)X90844 35.29/35.36 conflict 17lvl : 5 bt5-422:0(276)X121104 2520.04/2519.90 2520.04/2519.90 c *** INTERRUPTED *** 2520.04/2519.90 c restarts : 600 2520.04/2519.90 c conflicts : 14672221 (5822 /sec) 2520.04/2519.90 c decisions : 30067232 (11931 /sec) 2520.04/2519.90 c propagations : 1329200374 (527451 /sec) 2520.04/2519.90 c root propagations : 200 2520.04/2519.90 c filter calls : 2041238266 (810000 /sec) 2520.04/2519.90 c useless filter calls : 1632766212 (79 %) 2520.04/2519.90 c 2520.04/2519.90 c clauses : 17769 2520.04/2519.90 c SAT propagations : 82366 2520.04/2519.90 c SAT conflicts : 1401 (2 learnts) 2520.04/2519.90 c Memory used : 33.88 MB 2520.04/2519.90 c CPU time : 2520.05 s 2520.04/2519.90 2520.04/2519.90 c nb Solutions = 3 2520.04/2519.90 s SATISFIABLE 2520.04/2519.90 c Best value found: 5 2520.04/2519.90 2520.04/2519.90 2520.04/2519.90 v <instantiation type='solution' cost='5'> 2520.04/2519.90 v <list>max[0] max[1] max[2] max[3] max[4] max[5] max[6] max[7] max[8] max[9] min[0] min[1] min[2] min[3] min[4] min[5] min[6] min[7] min[8] min[9] o[0][0] o[0][10] o[0][11] o[0][12] o[0][13] o[0][14] o[0][15] o[0][16] o[0][17] o[0][18] o[0][19] o[0][1] o[0][2] o[0][3] o[0][4] o[0][5] o[0][6] o[0][7] o[0][8] o[0][9] o[1][0] o[1][10] o[1][11] o[1][12] o[1][13] o[1][14] o[1][15] o[1][16] o[1][17] o[1][18] o[1][19] o[1][1] o[1][2] o[1][3] o[1][4] o[1][5] o[1][6] o[1][7] o[1][8] o[1][9] o[2][0] o[2][10] o[2][11] o[2][12] o[2][13] o[2][14] o[2][15] o[2][16] o[2][17] o[2][18] o[2][19] o[2][1] o[2][2] o[2][3] o[2][4] o[2][5] o[2][6] o[2][7] o[2][8] o[2][9] o[3][0] o[3][10] o[3][11] o[3][12] o[3][13] o[3][14] o[3][15] o[3][16] o[3][17] o[3][18] o[3][19] o[3][1] o[3][2] o[3][3] o[3][4] o[3][5] o[3][6] o[3][7] o[3][8] o[3][9] o[4][0] o[4][10] o[4][11] o[4][12] o[4][13] o[4][14] o[4][15] o[4][16] o[4][17] o[4][18] o[4][19] o[4][1] o[4][2] o[4][3] o[4][4] o[4][5] o[4][6] o[4][7] o[4][8] o[4][9] o[5][0] o[5][10] o[5][11] o[5][12] o[5][13] o[5][14] o[5][15] o[5][16] o[5][17] o[5][18] o[5][19] o[5][1] o[5][2] o[5][3] o[5][4] o[5][5] o[5][6] o[5][7] o[5][8] o[5][9] o[6][0] o[6][10] o[6][11] o[6][12] o[6][13] o[6][14] o[6][15] o[6][16] o[6][17] o[6][18] o[6][19] o[6][1] o[6][2] o[6][3] o[6][4] o[6][5] o[6][6] o[6][7] o[6][8] o[6][9] o[7][0] o[7][10] o[7][11] o[7][12] o[7][13] o[7][14] o[7][15] o[7][16] o[7][17] o[7][18] o[7][19] o[7][1] o[7][2] o[7][3] o[7][4] o[7][5] o[7][6] o[7][7] o[7][8] o[7][9] o[8][0] o[8][10] o[8][11] o[8][12] o[8][13] o[8][14] o[8][15] o[8][16] o[8][17] o[8][18] o[8][19] o[8][1] o[8][2] o[8][3] o[8][4] o[8][5] o[8][6] o[8][7] o[8][8] o[8][9] o[9][0] o[9][10] o[9][11] o[9][12] o[9][13] o[9][14] o[9][15] o[9][16] o[9][17] o[9][18] o[9][19] o[9][1] o[9][2] o[9][3] o[9][4] o[9][5] o[9][6] o[9][7] o[9][8] o[9][9] p[0] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] so[0] so[10] so[11] so[12] so[13] so[14] so[15] so[16] so[17] so[18] so[19] so[1] so[2] so[3] so[4] so[5] so[6] so[7] so[8] so[9] </list> 2520.04/2519.90 v <values>5 16 8 2 17 15 13 19 19 14 1 7 4 0 17 2 10 14 0 6 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 1 1 1 1 1 1 1 1 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 12 9 13 6 4 7 11 17 19 8 1 5 14 15 2 10 18 0 16 3 2 5 5 5 5 5 4 3 3 2 2 3 4 3 4 4 4 5 5 4 </values> 2520.04/2519.90 v </instantiation> 2520.04/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 (4688 MiB free)
memory of node 1: 16384 MiB (15022 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266494-1502594773/watcher-4266494-1502594773 -o /tmp/evaluation-result-4266494-1502594773/solver-4266494-1502594773 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1502567255-24592 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266494-1502594773.xml
running on 4 cores: 1,3,5,7
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=27817, runsolver pid=27814
[startup+0.100138 s]*
/proc/loadavg: 1.92 2.00 2.04 3/188 27818
/proc/meminfo: memFree=20181336/32770624 swapFree=67108860/67108860
[pid=27817] ppid=27814 vsize=34344 memory=6848 CPUtime=0.1 cores=1,3,5,7
/proc/27817/stat : 27817 (cosoco) R 27814 27817 24508 0 -1 4202496 1898 0 0 0 10 0 0 0 20 0 1 0 92565202 35168256 1712 33554432000 4194304 5972588 140732760778752 140732760765944 5319872 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 36102144 140732760786106 140732760786206 140732760786206 140732760788942 0
/proc/27817/statm: 8586 1712 848 435 0 1949 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 34344 KiB
Current children cumulated memory: 6848 KiB
[startup+0.209567 s]*
/proc/loadavg: 1.92 2.00 2.04 3/188 27818
/proc/meminfo: memFree=20181336/32770624 swapFree=67108860/67108860
[pid=27817] ppid=27814 vsize=34344 memory=6848 CPUtime=0.21 cores=1,3,5,7
/proc/27817/stat : 27817 (cosoco) R 27814 27817 24508 0 -1 4202496 1901 0 0 0 21 0 0 0 20 0 1 0 92565202 35168256 1712 33554432000 4194304 5972588 140732760778752 140732760765944 4935568 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 36102144 140732760786106 140732760786206 140732760786206 140732760788942 0
/proc/27817/statm: 8586 1712 848 435 0 1949 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 34344 KiB
Current children cumulated memory: 6848 KiB
[startup+0.308876 s]*
/proc/loadavg: 1.92 2.00 2.04 3/188 27818
/proc/meminfo: memFree=20181336/32770624 swapFree=67108860/67108860
[pid=27817] ppid=27814 vsize=34344 memory=6848 CPUtime=0.31 cores=1,3,5,7
/proc/27817/stat : 27817 (cosoco) R 27814 27817 24508 0 -1 4202496 1906 0 0 0 31 0 0 0 20 0 1 0 92565202 35168256 1712 33554432000 4194304 5972588 140732760778752 140732760765944 4935502 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 36102144 140732760786106 140732760786206 140732760786206 140732760788942 0
/proc/27817/statm: 8586 1712 848 435 0 1949 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 34344 KiB
Current children cumulated memory: 6848 KiB
[startup+0.700276 s]
/proc/loadavg: 1.92 2.00 2.04 3/188 27818
/proc/meminfo: memFree=20181336/32770624 swapFree=67108860/67108860
[pid=27817] ppid=27814 vsize=34344 memory=6848 CPUtime=0.69 cores=1,3,5,7
/proc/27817/stat : 27817 (cosoco) R 27814 27817 24508 0 -1 4202496 1917 0 0 0 69 0 0 0 20 0 1 0 92565202 35168256 1712 33554432000 4194304 5972588 140732760778752 140732760776200 4935428 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 36102144 140732760786106 140732760786206 140732760786206 140732760788942 0
/proc/27817/statm: 8586 1712 848 435 0 1949 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 34344 KiB
Current children cumulated memory: 6848 KiB
[startup+1.50027 s]
/proc/loadavg: 1.92 2.00 2.04 3/188 27818
/proc/meminfo: memFree=20181388/32770624 swapFree=67108860/67108860
[pid=27817] ppid=27814 vsize=34472 memory=7060 CPUtime=1.49 cores=1,3,5,7
/proc/27817/stat : 27817 (cosoco) R 27814 27817 24508 0 -1 4202496 1936 0 0 0 149 0 0 0 20 0 1 0 92565202 35299328 1765 33554432000 4194304 5972588 140732760778752 140732760776200 4934305 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 36102144 140732760786106 140732760786206 140732760786206 140732760788942 0
/proc/27817/statm: 8618 1765 850 435 0 1981 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 34472 KiB
Current children cumulated memory: 7060 KiB
[startup+3.10912 s]
/proc/loadavg: 1.92 2.00 2.04 3/188 27818
/proc/meminfo: memFree=20180816/32770624 swapFree=67108860/67108860
[pid=27817] ppid=27814 vsize=34472 memory=7180 CPUtime=3.1 cores=1,3,5,7
/proc/27817/stat : 27817 (cosoco) R 27814 27817 24508 0 -1 4202496 2800 0 0 0 310 0 0 0 20 0 1 0 92565202 35299328 1795 33554432000 4194304 5972588 140732760778752 140732760775976 4935596 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 36102144 140732760786106 140732760786206 140732760786206 140732760788942 0
/proc/27817/statm: 8618 1795 855 435 0 1981 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 34472 KiB
Current children cumulated memory: 7180 KiB
[startup+6.30026 s]
/proc/loadavg: 1.85 1.98 2.03 3/188 27818
/proc/meminfo: memFree=20180808/32770624 swapFree=67108860/67108860
[pid=27817] ppid=27814 vsize=34472 memory=7276 CPUtime=6.29 cores=1,3,5,7
/proc/27817/stat : 27817 (cosoco) R 27814 27817 24508 0 -1 4202496 3645 0 0 0 629 0 0 0 20 0 1 0 92565202 35299328 1819 33554432000 4194304 5972588 140732760778752 140732760775976 4935490 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 36102144 140732760786106 140732760786206 140732760786206 140732760788942 0
/proc/27817/statm: 8618 1819 855 435 0 1981 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 34472 KiB
Current children cumulated memory: 7276 KiB
[startup+12.7003 s]
/proc/loadavg: 1.86 1.98 2.03 3/188 27818
/proc/meminfo: memFree=20181164/32770624 swapFree=67108860/67108860
[pid=27817] ppid=27814 vsize=34472 memory=7288 CPUtime=12.69 cores=1,3,5,7
/proc/27817/stat : 27817 (cosoco) R 27814 27817 24508 0 -1 4202496 4495 0 0 0 1269 0 0 0 20 0 1 0 92565202 35299328 1822 33554432000 4194304 5972588 140732760778752 140732760775976 4935502 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 36102144 140732760786106 140732760786206 140732760786206 140732760788942 0
/proc/27817/statm: 8618 1822 855 435 0 1981 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 34472 KiB
Current children cumulated memory: 7288 KiB
[startup+25.5003 s]
/proc/loadavg: 1.89 1.98 2.03 3/188 27818
/proc/meminfo: memFree=20181624/32770624 swapFree=67108860/67108860
[pid=27817] ppid=27814 vsize=34472 memory=7336 CPUtime=25.49 cores=1,3,5,7
/proc/27817/stat : 27817 (cosoco) R 27814 27817 24508 0 -1 4202496 6193 0 0 0 2549 0 0 0 20 0 1 0 92565202 35299328 1834 33554432000 4194304 5972588 140732760778752 140732760775976 4934348 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 36102144 140732760786106 140732760786206 140732760786206 140732760788942 0
/proc/27817/statm: 8618 1834 855 435 0 1981 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 34472 KiB
Current children cumulated memory: 7336 KiB
[startup+51.109 s]
/proc/loadavg: 1.93 1.99 2.03 3/188 27818
/proc/meminfo: memFree=20181484/32770624 swapFree=67108860/67108860
[pid=27817] ppid=27814 vsize=34472 memory=7372 CPUtime=51.1 cores=1,3,5,7
/proc/27817/stat : 27817 (cosoco) R 27814 27817 24508 0 -1 4202496 7077 0 0 0 5110 0 0 0 20 0 1 0 92565202 35299328 1843 33554432000 4194304 5972588 140732760778752 140732760775976 5023242 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 36102144 140732760786106 140732760786206 140732760786206 140732760788942 0
/proc/27817/statm: 8618 1843 855 435 0 1981 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 34472 KiB
Current children cumulated memory: 7372 KiB
[startup+102.3 s]
/proc/loadavg: 2.02 2.00 2.04 3/188 27819
/proc/meminfo: memFree=20181888/32770624 swapFree=67108860/67108860
[pid=27817] ppid=27814 vsize=34472 memory=7384 CPUtime=102.3 cores=1,3,5,7
/proc/27817/stat : 27817 (cosoco) R 27814 27817 24508 0 -1 4202496 7945 0 0 0 10230 0 0 0 20 0 1 0 92565202 35299328 1846 33554432000 4194304 5972588 140732760778752 140732760775976 4935454 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 36102144 140732760786106 140732760786206 140732760786206 140732760788942 0
/proc/27817/statm: 8618 1846 855 435 0 1981 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 34472 KiB
Current children cumulated memory: 7384 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.00 2.04 3/188 27820
/proc/meminfo: memFree=20181544/32770624 swapFree=67108860/67108860
[pid=27817] ppid=27814 vsize=34472 memory=7408 CPUtime=162.3 cores=1,3,5,7
/proc/27817/stat : 27817 (cosoco) R 27814 27817 24508 0 -1 4202496 8819 0 0 0 16230 0 0 0 20 0 1 0 92565202 35299328 1852 33554432000 4194304 5972588 140732760778752 140732760775976 4935502 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 36102144 140732760786106 140732760786206 140732760786206 140732760788942 0
/proc/27817/statm: 8618 1852 855 435 0 1981 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 34472 KiB
Current children cumulated memory: 7408 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 27821
/proc/meminfo: memFree=20181216/32770624 swapFree=67108860/67108860
[pid=27817] ppid=27814 vsize=34688 memory=7492 CPUtime=222.3 cores=1,3,5,7
/proc/27817/stat : 27817 (cosoco) R 27814 27817 24508 0 -1 4202496 9738 0 0 0 22230 0 0 0 20 0 1 0 92565202 35520512 1873 33554432000 4194304 5972588 140732760778752 140732760775384 4935486 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 36102144 140732760786106 140732760786206 140732760786206 140732760788942 0
/proc/27817/statm: 8672 1873 855 435 0 2035 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 34688 KiB
Current children cumulated memory: 7492 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 27822
/proc/meminfo: memFree=20180136/32770624 swapFree=67108860/67108860
[pid=27817] ppid=27814 vsize=34688 memory=7492 CPUtime=282.31 cores=1,3,5,7
/proc/27817/stat : 27817 (cosoco) R 27814 27817 24508 0 -1 4202496 9743 0 0 0 28231 0 0 0 20 0 1 0 92565202 35520512 1873 33554432000 4194304 5972588 140732760778752 140732760775384 4978055 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 36102144 140732760786106 140732760786206 140732760786206 140732760788942 0
/proc/27817/statm: 8672 1873 855 435 0 2035 0
Current children cumulated CPU time: 282.31 s
Current children cumulated vsize: 34688 KiB
Current children cumulated memory: 7492 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 27823
/proc/meminfo: memFree=20180404/32770624 swapFree=67108860/67108860
[pid=27817] ppid=27814 vsize=34688 memory=7508 CPUtime=342.31 cores=1,3,5,7
/proc/27817/stat : 27817 (cosoco) R 27814 27817 24508 0 -1 4202496 10627 0 0 0 34231 0 0 0 20 0 1 0 92565202 35520512 1877 33554432000 4194304 5972588 140732760778752 140732760775384 4935463 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 36102144 140732760786106 140732760786206 140732760786206 140732760788942 0
/proc/27817/statm: 8672 1877 855 435 0 2035 0
Current children cumulated CPU time: 342.31 s
Current children cumulated vsize: 34688 KiB
Current children cumulated memory: 7508 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 27824
/proc/meminfo: memFree=20180316/32770624 swapFree=67108860/67108860
[pid=27817] ppid=27814 vsize=34688 memory=7508 CPUtime=402.31 cores=1,3,5,7
/proc/27817/stat : 27817 (cosoco) R 27814 27817 24508 0 -1 4202496 10635 0 0 0 40231 0 0 0 20 0 1 0 92565202 35520512 1877 33554432000 4194304 5972588 140732760778752 140732760775384 4934350 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 36102144 140732760786106 140732760786206 140732760786206 140732760788942 0
/proc/27817/statm: 8672 1877 855 435 0 2035 0
Current children cumulated CPU time: 402.31 s
Current children cumulated vsize: 34688 KiB
Current children cumulated memory: 7508 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 27825
/proc/meminfo: memFree=20180096/32770624 swapFree=67108860/67108860
[pid=27817] ppid=27814 vsize=34688 memory=7520 CPUtime=462.32 cores=1,3,5,7
/proc/27817/stat : 27817 (cosoco) R 27814 27817 24508 0 -1 4202496 11491 0 0 0 46232 0 0 0 20 0 1 0 92565202 35520512 1880 33554432000 4194304 5972588 140732760778752 140732760775384 4935653 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 36102144 140732760786106 140732760786206 140732760786206 140732760788942 0
/proc/27817/statm: 8672 1880 855 435 0 2035 0
Current children cumulated CPU time: 462.32 s
Current children cumulated vsize: 34688 KiB
Current children cumulated memory: 7520 KiB
################
# More data... #
################
/proc/27817/statm: 8672 1894 855 435 0 2035 0
Current children cumulated CPU time: 1782.4 s
Current children cumulated vsize: 34688 KiB
Current children cumulated memory: 7576 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 28176
/proc/meminfo: memFree=28732408/32770624 swapFree=67108860/67108860
[pid=27817] ppid=27814 vsize=34688 memory=7580 CPUtime=1842.4 cores=1,3,5,7
/proc/27817/stat : 27817 (cosoco) R 27814 27817 24508 0 -1 4202496 21445 0 0 0 184240 0 0 0 20 0 1 0 92565202 35520512 1895 33554432000 4194304 5972588 140732760778752 140732760775384 4935502 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 36102144 140732760786106 140732760786206 140732760786206 140732760788942 0
/proc/27817/statm: 8672 1895 855 435 0 2035 0
Current children cumulated CPU time: 1842.4 s
Current children cumulated vsize: 34688 KiB
Current children cumulated memory: 7580 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 28177
/proc/meminfo: memFree=28732160/32770624 swapFree=67108860/67108860
[pid=27817] ppid=27814 vsize=34688 memory=7580 CPUtime=1902.4 cores=1,3,5,7
/proc/27817/stat : 27817 (cosoco) R 27814 27817 24508 0 -1 4202496 22339 0 0 0 190240 0 0 0 20 0 1 0 92565202 35520512 1895 33554432000 4194304 5972588 140732760778752 140732760775384 4934318 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 36102144 140732760786106 140732760786206 140732760786206 140732760788942 0
/proc/27817/statm: 8672 1895 855 435 0 2035 0
Current children cumulated CPU time: 1902.4 s
Current children cumulated vsize: 34688 KiB
Current children cumulated memory: 7580 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 28178
/proc/meminfo: memFree=28732248/32770624 swapFree=67108860/67108860
[pid=27817] ppid=27814 vsize=34688 memory=7580 CPUtime=1962.41 cores=1,3,5,7
/proc/27817/stat : 27817 (cosoco) R 27814 27817 24508 0 -1 4202496 22350 0 0 0 196241 0 0 0 20 0 1 0 92565202 35520512 1895 33554432000 4194304 5972588 140732760778752 140732760775384 5099648 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 36102144 140732760786106 140732760786206 140732760786206 140732760788942 0
/proc/27817/statm: 8672 1895 855 435 0 2035 0
Current children cumulated CPU time: 1962.41 s
Current children cumulated vsize: 34688 KiB
Current children cumulated memory: 7580 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 28179
/proc/meminfo: memFree=28732316/32770624 swapFree=67108860/67108860
[pid=27817] ppid=27814 vsize=34688 memory=7584 CPUtime=2022.41 cores=1,3,5,7
/proc/27817/stat : 27817 (cosoco) R 27814 27817 24508 0 -1 4202496 23250 0 0 0 202241 0 0 0 20 0 1 0 92565202 35520512 1896 33554432000 4194304 5972588 140732760778752 140732760775384 4935454 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 36102144 140732760786106 140732760786206 140732760786206 140732760788942 0
/proc/27817/statm: 8672 1896 855 435 0 2035 0
Current children cumulated CPU time: 2022.41 s
Current children cumulated vsize: 34688 KiB
Current children cumulated memory: 7584 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 28180
/proc/meminfo: memFree=28732448/32770624 swapFree=67108860/67108860
[pid=27817] ppid=27814 vsize=34688 memory=7584 CPUtime=2082.41 cores=1,3,5,7
/proc/27817/stat : 27817 (cosoco) R 27814 27817 24508 0 -1 4202496 23265 0 0 0 208241 0 0 0 20 0 1 0 92565202 35520512 1896 33554432000 4194304 5972588 140732760778752 140732760775384 4931786 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 36102144 140732760786106 140732760786206 140732760786206 140732760788942 0
/proc/27817/statm: 8672 1896 855 435 0 2035 0
Current children cumulated CPU time: 2082.41 s
Current children cumulated vsize: 34688 KiB
Current children cumulated memory: 7584 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 28181
/proc/meminfo: memFree=28732332/32770624 swapFree=67108860/67108860
[pid=27817] ppid=27814 vsize=34688 memory=7592 CPUtime=2142.42 cores=1,3,5,7
/proc/27817/stat : 27817 (cosoco) R 27814 27817 24508 0 -1 4202496 24090 0 0 0 214242 0 0 0 20 0 1 0 92565202 35520512 1898 33554432000 4194304 5972588 140732760778752 140732760775384 4935463 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 36102144 140732760786106 140732760786206 140732760786206 140732760788942 0
/proc/27817/statm: 8672 1898 855 435 0 2035 0
Current children cumulated CPU time: 2142.42 s
Current children cumulated vsize: 34688 KiB
Current children cumulated memory: 7592 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 28182
/proc/meminfo: memFree=28732456/32770624 swapFree=67108860/67108860
[pid=27817] ppid=27814 vsize=34688 memory=7592 CPUtime=2202.42 cores=1,3,5,7
/proc/27817/stat : 27817 (cosoco) R 27814 27817 24508 0 -1 4202496 24139 0 0 0 220242 0 0 0 20 0 1 0 92565202 35520512 1898 33554432000 4194304 5972588 140732760778752 140732760775384 4971920 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 36102144 140732760786106 140732760786206 140732760786206 140732760788942 0
/proc/27817/statm: 8672 1898 855 435 0 2035 0
Current children cumulated CPU time: 2202.42 s
Current children cumulated vsize: 34688 KiB
Current children cumulated memory: 7592 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 28183
/proc/meminfo: memFree=28732148/32770624 swapFree=67108860/67108860
[pid=27817] ppid=27814 vsize=34688 memory=7592 CPUtime=2262.42 cores=1,3,5,7
/proc/27817/stat : 27817 (cosoco) R 27814 27817 24508 0 -1 4202496 24930 0 0 0 226242 0 0 0 20 0 1 0 92565202 35520512 1898 33554432000 4194304 5972588 140732760778752 140732760775384 4935502 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 36102144 140732760786106 140732760786206 140732760786206 140732760788942 0
/proc/27817/statm: 8672 1898 855 435 0 2035 0
Current children cumulated CPU time: 2262.42 s
Current children cumulated vsize: 34688 KiB
Current children cumulated memory: 7592 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 28192
/proc/meminfo: memFree=28731104/32770624 swapFree=67108860/67108860
[pid=27817] ppid=27814 vsize=34688 memory=7592 CPUtime=2322.43 cores=1,3,5,7
/proc/27817/stat : 27817 (cosoco) R 27814 27817 24508 0 -1 4202496 25052 0 0 0 232243 0 0 0 20 0 1 0 92565202 35520512 1898 33554432000 4194304 5972588 140732760778752 140732760775384 5328649 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 36102144 140732760786106 140732760786206 140732760786206 140732760788942 0
/proc/27817/statm: 8672 1898 855 435 0 2035 0
Current children cumulated CPU time: 2322.43 s
Current children cumulated vsize: 34688 KiB
Current children cumulated memory: 7592 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 28193
/proc/meminfo: memFree=28730952/32770624 swapFree=67108860/67108860
[pid=27817] ppid=27814 vsize=34688 memory=7596 CPUtime=2382.43 cores=1,3,5,7
/proc/27817/stat : 27817 (cosoco) R 27814 27817 24508 0 -1 4202496 25936 0 0 0 238243 0 0 0 20 0 1 0 92565202 35520512 1899 33554432000 4194304 5972588 140732760778752 140732760775384 4936000 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 36102144 140732760786106 140732760786206 140732760786206 140732760788942 0
/proc/27817/statm: 8672 1899 855 435 0 2035 0
Current children cumulated CPU time: 2382.43 s
Current children cumulated vsize: 34688 KiB
Current children cumulated memory: 7596 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 28194
/proc/meminfo: memFree=28731600/32770624 swapFree=67108860/67108860
[pid=27817] ppid=27814 vsize=34688 memory=7596 CPUtime=2442.44 cores=1,3,5,7
/proc/27817/stat : 27817 (cosoco) R 27814 27817 24508 0 -1 4202496 25962 0 0 0 244244 0 0 0 20 0 1 0 92565202 35520512 1899 33554432000 4194304 5972588 140732760778752 140732760775384 5338173 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 36102144 140732760786106 140732760786206 140732760786206 140732760788942 0
/proc/27817/statm: 8672 1899 855 435 0 2035 0
Current children cumulated CPU time: 2442.44 s
Current children cumulated vsize: 34688 KiB
Current children cumulated memory: 7596 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 28195
/proc/meminfo: memFree=28731312/32770624 swapFree=67108860/67108860
[pid=27817] ppid=27814 vsize=34688 memory=7596 CPUtime=2502.44 cores=1,3,5,7
/proc/27817/stat : 27817 (cosoco) R 27814 27817 24508 0 -1 4202496 26867 0 0 0 250244 0 0 0 20 0 1 0 92565202 35520512 1899 33554432000 4194304 5972588 140732760778752 140732760775384 4931747 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 36102144 140732760786106 140732760786206 140732760786206 140732760788942 0
/proc/27817/statm: 8672 1899 855 435 0 2035 0
Current children cumulated CPU time: 2502.44 s
Current children cumulated vsize: 34688 KiB
Current children cumulated memory: 7596 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.9 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 28195
/proc/meminfo: memFree=28731452/32770624 swapFree=67108860/67108860
[pid=27817] ppid=27814 vsize=34688 memory=7604 CPUtime=2520.04 cores=1,3,5,7
/proc/27817/stat : 27817 (cosoco) R 27814 27817 24508 0 -1 4202496 26879 0 0 0 252004 0 0 0 20 0 1 0 92565202 35520512 1901 33554432000 4194304 5972588 140732760778752 140732760775384 5319868 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 36102144 140732760786106 140732760786206 140732760786206 140732760788942 0
/proc/27817/statm: 8672 1901 855 435 0 2035 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 34688 KiB
Current children cumulated memory: 7604 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2519.9 s]
# the end of solver process 27817 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2520.05 s, system=0.007 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2519.9 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 28195
/proc/meminfo: memFree=28731452/32770624 swapFree=67108860/67108860
[pid=27817] ppid=27814 vsize=34688 memory=7604 CPUtime=2520.04 cores=1,3,5,7
/proc/27817/stat : 27817 (cosoco) R 27814 27817 24508 0 -1 4202496 26879 0 0 0 252004 0 0 0 20 0 1 0 92565202 35520512 1901 33554432000 4194304 5972588 140732760778752 140732760775384 5319868 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 36102144 140732760786106 140732760786206 140732760786206 140732760788942 0
/proc/27817/statm: 8672 1901 855 435 0 2035 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 34688 KiB
Current children cumulated memory: 7604 KiB
Child status: 1
Real time (s): 2519.9
CPU time (s): 2520.05
CPU user time (s): 2520.05
CPU system time (s): 0.007
CPU usage (%): 100.006
Max. virtual memory (cumulated for all children) (KiB): 34688
Max. memory (cumulated for all children) (KiB): 7604
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.05
system time used= 0.007
maximum resident set size= 7676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26926
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= 6
involuntary context switches= 747
# summary of solver processes directly reported to runsolver:
# pid: 27817
# total CPU time (s): 2520.05
# total CPU user time (s): 2520.05
# total CPU system time (s): 0.007
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.19974 second user time and 15.4042 second system time
The end
Begin job on node104 at 2017-08-13 05:11:55 IDJOB=4266494 IDBENCH=140520 IDSOLVER=2655 FILE ID=node104/4266494-1502594773 RUNJOBID= node104-1502567255-24592 PBS_JOBID= 20628287 Free space on /tmp= 61860 MiB SOLVER NAME= cosoco-sat 1.12 BENCH NAME= XCSP17/OpenStacks/OpenStacks-m2c-s1/OpenStacks-m2c-wbo-10-20-1.xml COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4266494-1502594773/watcher-4266494-1502594773 -o /tmp/evaluation-result-4266494-1502594773/solver-4266494-1502594773 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1502567255-24592 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266494-1502594773.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4638a61ac265366c398136fe48691411 RANDOM SEED=1293626108 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: 20185320 kB MemAvailable: 23446820 kB Buffers: 135756 kB Cached: 3420780 kB SwapCached: 0 kB Active: 8862172 kB Inactive: 3282656 kB Active(anon): 8591180 kB Inactive(anon): 25028 kB Active(file): 270992 kB Inactive(file): 3257628 kB Unevictable: 6528 kB Mlocked: 6528 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2504 kB Writeback: 0 kB AnonPages: 8619084 kB Mapped: 44672 kB Shmem: 25228 kB Slab: 122764 kB SReclaimable: 97432 kB SUnreclaim: 25332 kB KernelStack: 3632 kB PageTables: 21472 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 9911676 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 1689600 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= 61860 MiB End job on node104 at 2017-08-13 05:53:55